Implement beta8 compiler functionality gate

.brik/manifest.json

@@ -2,7 +2,7 @@
   "schema": "brik64.cli_project_manifest.v1",
   "schemaVersion": "brik64.cli_project_manifest.v1",
   "project": "brik64-cli",
-  "cliVersion": "0.1.0-beta.7",
+  "cliVersion": "0.1.0-beta.8",
   "lane": "cli_0_1_beta",
   "generationClaim": "assisted_generation_non_claim",
   "preferred_engine": "auto",

CHANGELOG.md

@@ -3,6 +3,35 @@
 All notable BRIK64 CLI changes are recorded here. This file is required for
 every beta, release candidate, or public release train.
 
+## 0.1.0-beta.8
+
+### Added
+
+- Adds bounded source-to-source PCD emission for executable TypeScript, Rust,
+  and Python programs.
+- Adds generated target tests that execute emitted programs and check expected
+  behavior across supported target languages.
+- Adds parser support for arithmetic expressions, comparisons, boolean
+  conditions, nested branches, and expression returns.
+- Adds adversarial parser coverage for malformed input, binary data, oversized
+  PCD files, unsupported statements, and path traversal attempts.
+- Adds a local package smoke check that extracts the beta8 tarball and runs the
+  packaged CLI outside the repository checkout.
+
+### Changed
+
+- Updates `brik64 emit` from static candidate output toward executable output
+  for the supported beta PCD syntax.
+- Keeps unsupported syntax fail-closed with actionable parser errors.
+
+### Compatibility
+
+- macOS and Linux continue to use the portable Node.js CLI package and require
+  Node.js 20 or newer.
+- Windows native executables are not published in this beta.
+- This beta does not claim formal certification for arbitrary user code,
+  universal correctness, or independent toolchain closure.
+
 ## 0.1.0-beta.7
 
 ### Added

README.md

@@ -5,7 +5,7 @@ workflows. It helps developers initialize `.brik` metadata, work with PCD files,
 create local candidate evidence, emit supported language targets, and prepare
 artifacts for managed platform workflows.
 
-Current public beta: `0.1.0-beta.7`
+Current beta candidate: `0.1.0-beta.8`
 
 ## Install
 
@@ -24,10 +24,10 @@ brik64 help
 
 The npm package namespace is reserved for SDK libraries, not CLI installation.
 
-## Beta7 Command Surface
+## Beta8 Command Surface
 
-`0.1.0-beta.7` focuses on local/managed workflow parity and clearer terminal
-behavior.
+`0.1.0-beta.8` focuses on making PCD emission executable for the supported
+beta syntax while keeping local/managed workflow boundaries intact.
 
 - `brik64 init` creates `.brik/manifest.json` and does not create `AGENTS.md`.
 - `brik64 doctor` prints a human-readable workspace summary.
@@ -40,7 +40,8 @@ behavior.
 - `brik64 certify <file.pcd>` writes a local candidate certificate.
 - `brik64 verify <file.pcd>` checks local certificate and AST/hash coherence.
 - `brik64 emit <file.pcd> --target <ts|rust|python> --out <dir> --tests`
-  emits supported target files and generated tests.
+  emits executable target files and generated tests for supported beta PCD
+  expressions and branches.
 - `brik64 polymerize <files.pcd...> --out polymer.pcd` combines compatible PCD
   files into a deterministic local polymer candidate.
 - `brik64 migrate <file.pcd>` converts supported legacy PCD syntax into the
@@ -67,9 +68,9 @@ SDKs are distributed separately from the CLI. Current beta SDK package
 coordinates:
 
 ```sh
-npm install @brik64/core@0.1.0-beta.7
-pip install brik64==0.1.0b7
-cargo add brik64-core@0.1.0-beta.7
+npm install @brik64/core@0.1.0-beta.8
+pip install brik64==0.1.0b8
+cargo add brik64-core@0.1.0-beta.8
 ```
 
 SDK packages are language libraries. They do not install the CLI, issue managed

evidence/beta8-adversarial/report.json

@@ -0,0 +1,47 @@
+{
+  "schemaVersion": "brik64.cli_beta8_adversarial_gate.v1",
+  "generatedAt": "2026-06-06T02:26:14Z",
+  "iter_id": "BRIK64-CLI-BETA8-ADVERSARIAL-20260606-R1",
+  "lane": "cli_0_1_beta8",
+  "decision": "PASS_BRIK64_CLI_BETA8_ADVERSARIAL",
+  "rc": 0,
+  "cliVersion": "0.1.0-beta.8",
+  "cliSha256": "sha256:63f28a941626edb18cee7b794e9f3c05acdc29db94e8387e02809ed402a7f8ed",
+  "executableEdgeFixture": {
+    "path": "pcd/edge_precedence.pcd",
+    "sha256": "sha256:de6c384a4f4146f78e1ea040176206b49aed6725a35db10b447a8d42fe75bf63"
+  },
+  "passChecks": 9,
+  "failClosedChecks": 12,
+  "generatedTargetExecution": {
+    "typescript": true,
+    "rust": true,
+    "python": true
+  },
+  "failClosedSurface": [
+    "empty_pcd",
+    "binary_input",
+    "too_large_input",
+    "legacy_syntax",
+    "missing_fn",
+    "too_many_params",
+    "invalid_param",
+    "missing_return",
+    "unsupported_statement",
+    "unsupported_expression_token",
+    "malformed_expression",
+    "unclosed_block"
+  ],
+  "claim_boundary": {
+    "public_claims_allowed": false,
+    "public_release_allowed": false,
+    "adversarial_gate_passed": true,
+    "compiler_functionality_scope": "supported_beta8_pcd_subset_only",
+    "fixpoint_claim_allowed": false,
+    "n5_formal_claim_allowed": false,
+    "rust_independence_claim_allowed": false
+  },
+  "blockers": [],
+  "warnings": [],
+  "next_action": "run beta8 package smoke and release-train sync gates"
+}

evidence/beta8-compiler-functionality/report.json

@@ -0,0 +1,49 @@
+{
+  "schemaVersion": "brik64.cli_beta8_compiler_functionality_gate.v1",
+  "generatedAt": "2026-06-06T02:26:12Z",
+  "iter_id": "BRIK64-CLI-BETA8-COMPILER-FUNCTIONALITY-20260606-R1",
+  "lane": "cli_0_1_beta8",
+  "decision": "PASS_BRIK64_CLI_BETA8_COMPILER_FUNCTIONALITY",
+  "rc": 0,
+  "cliVersion": "0.1.0-beta.8",
+  "cliSha256": "sha256:63f28a941626edb18cee7b794e9f3c05acdc29db94e8387e02809ed402a7f8ed",
+  "fixture": {
+    "path": "pcd/branch_math.pcd",
+    "sha256": "sha256:09742f0ef4d80b4f465da256d8d44b4c587306c07015ecb77cada308c1d70404"
+  },
+  "executedTargets": {
+    "typescript": {
+      "programSha256": "sha256:608f6244ed6563765b31e6e42b722eb2c7889b87f7fdb7ca5e86740eb1675a95",
+      "test": "node out-ts/program.test.mjs",
+      "passed": true
+    },
+    "rust": {
+      "programSha256": "sha256:bbe9b972902349fdb4b5884858e840b2c004c2173eb24f605958a913d6075e5d",
+      "test": "rustc out-rust/program_test.rs && ./out-rust/program_test",
+      "passed": true
+    },
+    "python": {
+      "programSha256": "sha256:ca5c353fdd06e4b65b9b6366deea679b2816544af1843932ecdb59d471a742b6",
+      "test": "PYTHONPATH=out-python python3 out-python/test_program.py",
+      "passed": true
+    }
+  },
+  "adversarial": {
+    "unknown_identifier_fail_closed": true,
+    "unsupported_target_fail_closed": true,
+    "path_traversal_fail_closed": true,
+    "stack_trace_leaked": false
+  },
+  "claim_boundary": {
+    "public_claims_allowed": false,
+    "public_release_allowed": false,
+    "compiler_functionality_claim_allowed": true,
+    "compiler_functionality_scope": "supported_beta8_pcd_subset_only",
+    "fixpoint_claim_allowed": false,
+    "n5_formal_claim_allowed": false,
+    "rust_independence_claim_allowed": false
+  },
+  "blockers": [],
+  "warnings": [],
+  "next_action": "run beta8 adversarial gate and package smoke before public release train"
+}

evidence/beta8-package-smoke/report.json

@@ -0,0 +1,35 @@
+{
+  "schemaVersion": "brik64.cli_beta8_package_smoke.v1",
+  "version": "0.1.0-beta.8",
+  "decision": "PASS_BRIK64_CLI_BETA8_LOCAL_PACKAGE_SMOKE",
+  "releaseEligible": false,
+  "lane": "cli_0_1_beta8",
+  "package": {
+    "path": "evidence/beta8-package/brik64-cli-0.1.0-beta.8.tgz",
+    "sha256": "6138e0f330f0843e0469ae9483497ccaacfc56db096c8ee691e21a69d566823a"
+  },
+  "checks": [
+    "extract",
+    "version",
+    "help",
+    "init",
+    "certify",
+    "emit_ts",
+    "emit_rust",
+    "emit_python",
+    "generated_ts_exec",
+    "generated_rust_exec",
+    "generated_python_exec",
+    "verify",
+    "cloud_verify_no_entitlement"
+  ],
+  "claim_boundary": {
+    "public_claims_allowed": false,
+    "public_release_allowed": false,
+    "local_package_smoke_passed": true,
+    "fixpoint_claim_allowed": false,
+    "n5_formal_claim_allowed": false,
+    "rust_independence_claim_allowed": false
+  },
+  "next_action": "run platform smoke, sync gates and public release train"
+}

evidence/beta8-package/SHA256SUMS

@@ -0,0 +1,3 @@
+6138e0f330f0843e0469ae9483497ccaacfc56db096c8ee691e21a69d566823a  brik64-cli-0.1.0-beta.8.tgz
+0d8816da52deffafa71b9c016450b99d6652987efa495062603deab33dff3eb1  package.manifest.json
+8b5fcf5b9f322573e57a6e6e3518c37d97c863eea39312d30bdb4d2d22d19a55  stage-checksums.tsv

evidence/beta8-package/package.manifest.json

@@ -0,0 +1,28 @@
+{
+  "schemaVersion": "brik64.cli_beta8_package_manifest.v1",
+  "version": "0.1.0-beta.8",
+  "decision": "PASS_BRIK64_CLI_BETA8_PACKAGE_BUILT",
+  "releaseEligible": false,
+  "lane": "cli_0_1_beta8",
+  "generationClaim": "internal_generation_non_claim",
+  "package": {
+    "path": "evidence/beta8-package/brik64-cli-0.1.0-beta.8.tgz",
+    "sha256": "6138e0f330f0843e0469ae9483497ccaacfc56db096c8ee691e21a69d566823a",
+    "bytes": 24485
+  },
+  "inputGates": [
+    "PASS_BRIK64_CLI_BETA8_COMPILER_FUNCTIONALITY",
+    "PASS_BRIK64_CLI_BETA8_ADVERSARIAL"
+  ],
+  "requiredPublicReleaseGates": [
+    "beta8_package_smoke",
+    "platform_smoke",
+    "curl_gcp_installer_beta8",
+    "github_release_beta8",
+    "web_docs_changelog_beta8",
+    "skills_beta8",
+    "sdk_beta8_or_no_change_evidence",
+    "public_claim_scan"
+  ],
+  "boundary": "Beta8 local package candidate only. Public release remains blocked until package, platform, installer, GitHub, SDK, docs, web, changelog, skills and public-claim gates pass together."
+}

evidence/beta8-package/stage-checksums.tsv

@@ -0,0 +1,19 @@
+fc964c7a8ed406be061b5b0f7870a817f4499138f52aa2cc634c5bec4a843fb3  .brik/manifest.json
+d117870091ed333c4c180eb4fe0ac5f61aee55a0da5fb67ebea23863d57b4f3f  CHANGELOG.md
+08ed88b54153f473ae8c29972d137b5a9f6893fd3178754e61a2ef29ae040e47  LICENSE
+b70107f9dd359eb374de9a9dce99821ed5dbbd021116645e0d32c67fb7fc9b18  NOTICE
+7b4fbb4b65e30e58f2dbf28ad0fddd1b0eb9641bfef9d586358e0343e1f33ccb  README.md
+cf39e055374caeecaac773d9802098a7c1717e271be4b00c25d2a2a9bf157aa1  SECURITY.md
+11a5eadb7ec6f7d07e329c767026ae9576bdaf99c1d411781e5f88108e7d852e  engines/l4plus-n5/checksums.tsv
+221774c3a8f9e1cf630521a12a2a62f265d34313cdeaf7bb30ca69f60bd3a8d8  engines/l4plus-n5/runtime-bundle.manifest.json
+6f2a3eff7b3cbf80debb823f1771df5364d6f1fdf2c0b6c2dab8e109c04dc757  engines/l4plus-n5/serial.txt
+c447d0d037ef61d67f7fcd8609807fb8e75b7470171ea76fd497ccaeed8275e9  evidence/beta8-adversarial/report.json
+e6bdb94bdb68f81c1ea13d520d193cbb5985ae842c9d0cc7983677c1a4906616  evidence/beta8-compiler-functionality/report.json
+3b99b7e885e6bf2d730bd7f4ca3c3bae00270f775523c66150d21d2004e70628  package.json
+2a629b0c88a96c81a42f3e5949900798fe25886aec7ac203855ba7540cd3b36c  pcd/cli_account_session.pcd
+ff48eaeb3848e39c5400fcbb9fc293e5fffb649db2e32454f900080be660ef1c  pcd/cli_core.pcd
+3ea78bd6e28c15b409318be8107590e2a833ca6bea98df8a974f4ac7e0beb6ed  pcd/cli_migrate.pcd
+4813a13cecb6e9644e22c7736fb46acacc5a381bf4f444e74ef3301a20dafcde  pcd/cli_polymer.pcd
+eeada3bbe77fc19a4387acbf4fced480b06acd1776b8d1587d69ec8e855c0e24  pcd/cli_polymerize.pcd
+6987959306e52657f53de2ac6e1d35c8389d4ce1e571db381e978dcf650e96ad  pcd/cli_verify.pcd
+63f28a941626edb18cee7b794e9f3c05acdc29db94e8387e02809ed402a7f8ed  src/brik.js

evidence/beta8-package/stage/brik64-cli-0.1.0-beta.8/.brik/manifest.json

@@ -0,0 +1,53 @@
+{
+  "schema": "brik64.cli_project_manifest.v1",
+  "schemaVersion": "brik64.cli_project_manifest.v1",
+  "project": "brik64-cli",
+  "cliVersion": "0.1.0-beta.8",
+  "lane": "cli_0_1_beta",
+  "generationClaim": "assisted_generation_non_claim",
+  "preferred_engine": "auto",
+  "polymer_strategy": "local_ast",
+  "managed_platform": {
+    "enabled": false,
+    "routing": "local_default"
+  },
+  "semanticSourceStatus": "candidate_pcd_seed",
+  "semanticSourceRoot": "pcd/",
+  "compositionPcd": "pcd/cli_polymer.pcd",
+  "bootstrapEntrypoint": "src/brik.js",
+  "publicBinaryName": "brik",
+  "engineTierPolicy": {
+    "publicOfflineRuntime": "local_runtime",
+    "registeredManagedRuntime": "managed_platform",
+    "internalArtifactFactory": "private_factory",
+    "l6DistributionAllowed": false,
+    "l5EmbeddedFreeRuntimeAllowed": false
+  },
+  "claimBoundary": {
+    "releaseAuthorized": false,
+    "releaseAllowed": false,
+    "fixpointClaimAuthorized": false,
+    "n5ClaimAuthorized": false,
+    "formalCertificationAuthorized": false,
+    "rustIndependenceClaimAuthorized": false
+  },
+  "methodologyTransition": {
+    "target": "pcd_first_cli_iteration",
+    "requiredBeforePublicBeta": [
+      "pcd_semantic_source_complete",
+      "pcd_polymer_composition_report_present",
+      "pcd_certification_report_present",
+      "brik_compiler_build_report_present",
+      "macos_arm64_execution_report_present",
+      "linux_distro_execution_reports_present",
+      "windows_x64_execution_report_present",
+      "release_claim_boundary_gate_pass"
+    ],
+    "currentStatus": "bootstrap_non_release"
+  },
+  "certification": {
+    "certifiesFormalCorrectness": false,
+    "certifiesTests": false,
+    "certifiesFixpoint": false
+  }
+}