Merge pull request #109 from engineeredsoftware/v36/gate-10-promotion-readiness

V36 Gate 10: Exchange Promotion Readiness

Author: geraldarthurdavis

.bitcode/v36-promotion-readiness-report.json

@@ -97,6 +97,17 @@ jobs:
               if [ -f scripts/check-v36-gate9-exchange-rehearsal.mjs ]; then
                 node scripts/check-v36-gate9-exchange-rehearsal.mjs --skip-branch-check
               fi
+              if [ -f scripts/check-v36-gate10-promotion-readiness.mjs ]; then
+                node scripts/check-v36-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
+              fi
+            fi
+          elif [ "$POINTER" = "V36" ]; then
+            node scripts/check-bitcode-canonical-inputs.mjs --current-target V36
+            node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V36 --draft-target V37
+            node scripts/check-bitcode-spec-family.mjs --version V36 --mode promoted --current-target V36
+            node scripts/check-v36-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
+            if [ -f BITCODE_SPEC_V37.md ]; then
+              node scripts/check-bitcode-spec-family.mjs --version V37 --mode draft --current-target V36
             fi
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2

.github/workflows/bitcode-canon-quality.yml

@@ -225,6 +225,17 @@ jobs:
               if [ -f scripts/check-v36-gate9-exchange-rehearsal.mjs ]; then
                 node scripts/check-v36-gate9-exchange-rehearsal.mjs --skip-branch-check
               fi
+              if [ -f scripts/check-v36-gate10-promotion-readiness.mjs ]; then
+                node scripts/check-v36-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
+              fi
+            fi
+          elif [ "$POINTER" = "V36" ]; then
+            node scripts/check-bitcode-spec-family.mjs --version V36 --mode promoted --current-target V36
+            node scripts/check-bitcode-canonical-inputs.mjs --current-target V36
+            node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V36 --draft-target V37
+            node scripts/check-v36-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
+            if [ -f BITCODE_SPEC_V37.md ]; then
+              node scripts/check-bitcode-spec-family.mjs --version V37 --mode draft --current-target V36
             fi
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2
@@ -288,16 +299,17 @@ jobs:
           pnpm --dir packages/protocol exec node --test --test-force-exit test/v36-exchange-dispute-repair-revenue-route.test.js
           pnpm --dir packages/protocol exec node --test --test-force-exit test/v36-exchange-ux-proof.test.js
           pnpm --dir packages/protocol exec node --test --test-force-exit test/v36-exchange-rehearsal.test.js
-          pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/btd-crypto.test.ts --runInBand
-          pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/auxillaries-contract.test.ts --runInBand
-          pnpm --dir packages/executions-mcp/src/mcp-server run test:mcp -- --runTestsByPath src/__tests__/unit/auth.test.ts --runInBand
-          pnpm --dir packages/executions-mcp/src/mcp-server run test:mcp -- --runTestsByPath src/__tests__/unit/mcp-tool-contract.test.ts src/__tests__/unit/pipeline-ingress-contract.test.ts --runInBand
-          pnpm --dir packages/chatgptapp exec jest --runTestsByPath src/__tests__/chatgpt-action-contract.test.ts src/__tests__/tools.test.ts --runInBand
-          pnpm --filter @bitcode/pipeline-hosts exec jest --config jest.config.cjs --runTestsByPath src/__tests__/asset-pack-harness.test.ts --runInBand
-          pnpm --filter @bitcode/pipeline-hosts exec jest --config jest.config.cjs --runTestsByPath src/__tests__/distributed-execution-runtime-receipt.test.ts --runInBand
+          pnpm --dir packages/protocol exec node --test --test-force-exit test/v36-promotion-readiness.test.js
+          pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/btd-crypto.test.ts --runInBand --forceExit
+          pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/auxillaries-contract.test.ts --runInBand --forceExit
+          pnpm --dir packages/executions-mcp/src/mcp-server run test:mcp -- --runTestsByPath src/__tests__/unit/auth.test.ts --runInBand --forceExit
+          pnpm --dir packages/executions-mcp/src/mcp-server run test:mcp -- --runTestsByPath src/__tests__/unit/mcp-tool-contract.test.ts src/__tests__/unit/pipeline-ingress-contract.test.ts --runInBand --forceExit
+          pnpm --dir packages/chatgptapp exec jest --runTestsByPath src/__tests__/chatgpt-action-contract.test.ts src/__tests__/tools.test.ts --runInBand --forceExit
+          pnpm --filter @bitcode/pipeline-hosts exec jest --config jest.config.cjs --runTestsByPath src/__tests__/asset-pack-harness.test.ts --runInBand --forceExit
+          pnpm --filter @bitcode/pipeline-hosts exec jest --config jest.config.cjs --runTestsByPath src/__tests__/distributed-execution-runtime-receipt.test.ts --runInBand --forceExit
           pnpm --filter @bitcode/pipeline-asset-pack exec jest --config jest.config.cjs --passWithNoTests --forceExit
-          pnpm --filter @bitcode/pipeline-asset-pack exec jest --config jest.config.cjs --runTestsByPath src/__tests__/reading-pipeline-observability.test.ts src/__tests__/reading-pipeline-contract.test.ts src/__tests__/v32-reading-pipeline-proof-coverage.test.ts --runInBand
-          pnpm --filter @bitcode/pipeline-asset-pack exec jest --config jest.config.cjs --runTestsByPath src/__tests__/asset-pack-disclosure.test.ts src/__tests__/postprocess.test.ts src/__tests__/read-need.test.ts --runInBand
+          pnpm --filter @bitcode/pipeline-asset-pack exec jest --config jest.config.cjs --runTestsByPath src/__tests__/reading-pipeline-observability.test.ts src/__tests__/reading-pipeline-contract.test.ts src/__tests__/v32-reading-pipeline-proof-coverage.test.ts --runInBand --forceExit
+          pnpm --filter @bitcode/pipeline-asset-pack exec jest --config jest.config.cjs --runTestsByPath src/__tests__/asset-pack-disclosure.test.ts src/__tests__/postprocess.test.ts src/__tests__/read-need.test.ts --runInBand --forceExit
           pnpm --filter @bitcode/pipeline-hosts exec jest --config jest.config.cjs --passWithNoTests --forceExit
           pnpm --filter @bitcode/protocol test
 

.github/workflows/bitcode-gate-quality.yml

@@ -0,0 +1,158 @@
+name: V36 Canon Promotion
+
+on:
+  pull_request:
+    branches:
+      - main
+    types:
+      - opened
+      - synchronize
+      - reopened
+      - ready_for_review
+  workflow_dispatch:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
+permissions:
+  contents: write
+  pull-requests: read
+
+jobs:
+  promote-v36:
+    name: V36 Promotion Validation
+    if: >-
+      ${{
+        github.event_name == 'workflow_dispatch' ||
+        (
+          github.event.pull_request.base.ref == 'main' &&
+          github.event.pull_request.head.ref == 'version/v36' &&
+          github.event.pull_request.head.repo.full_name == github.repository
+        )
+      }}
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout version branch
+        uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.head.ref || github.ref_name }}
+          token: ${{ github.token }}
+          fetch-depth: 0
+
+      - name: Setup pnpm
+        uses: pnpm/action-setup@v4
+
+      - name: Setup Node
+        uses: actions/setup-node@v4
+        with:
+          node-version: "24"
+          cache: pnpm
+
+      - name: Install dependencies
+        run: pnpm install --frozen-lockfile
+
+      - name: Validate V36 promotion readiness
+        run: |
+          POINTER="$(cat BITCODE_SPEC.txt)"
+          if [ "$POINTER" = "V35" ]; then
+            node scripts/check-bitcode-spec-family.mjs --version V36 --mode draft --current-target V35
+            node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V35 --draft-target V36
+            node scripts/check-bitcode-canonical-inputs.mjs --current-target V35
+            node scripts/check-v36-gate1-exchange-roadmap-opening.mjs --skip-branch-check
+            node scripts/check-v36-gate2-exchange-activity-book-market-master-detail.mjs --skip-branch-check
+            node scripts/check-v36-gate3-exchange-intent-order-contracts.mjs --skip-branch-check
+            node scripts/check-v36-gate4-exchange-rights-transfer-review.mjs --skip-branch-check
+            node scripts/check-v36-gate5-exchange-pricing-quote.mjs --skip-branch-check
+            node scripts/check-v36-gate6-exchange-settlement-reconciliation.mjs --skip-branch-check
+            node scripts/check-v36-gate7-exchange-dispute-repair-revenue-route.mjs --skip-branch-check
+            node scripts/check-v36-gate8-exchange-ux-proof.mjs --skip-branch-check
+            node scripts/check-v36-gate9-exchange-rehearsal.mjs --skip-branch-check
+            node scripts/check-v36-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
+            node scripts/promote-bitcode-canon.mjs --version V36 --commit HEAD --dry-run
+          elif [ "$POINTER" = "V36" ]; then
+            node scripts/check-bitcode-spec-family.mjs --version V36 --mode promoted --current-target V36
+            node scripts/check-bitcode-canonical-inputs.mjs --current-target V36
+            node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V36 --draft-target V37
+            node scripts/check-v36-gate10-promotion-readiness.mjs --promotion-mode --skip-branch-check
+          else
+            echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2
+            exit 1
+          fi
+          pnpm test:qa:v28:pipeline-readback
+          pnpm --filter @bitcode/protocol typecheck
+          pnpm --filter @bitcode/protocol test
+          pnpm --filter @bitcode/btd typecheck
+          pnpm --filter @bitcode/btd test
+          npm --prefix protocol-demonstration test
+          npm --prefix protocol-demonstration run test:v28-mvp-qa
+          pnpm --filter @bitcode/pipeline-asset-pack typecheck
+          pnpm --filter @bitcode/pipeline-hosts typecheck
+          pnpm --filter @bitcode/pipeline-asset-pack exec jest --config jest.config.cjs --passWithNoTests --forceExit
+          pnpm --filter @bitcode/pipeline-hosts exec jest --config jest.config.cjs --passWithNoTests --forceExit
+          pnpm --dir uapi exec jest --runTestsByPath \
+            tests/userDataRoute.test.ts \
+            tests/auxillariesWalletPane.test.tsx \
+            tests/auxillariesContent.access.test.tsx \
+            tests/auxillariesWorkspacePanels.access.test.tsx \
+            tests/auxillariesWorkspacePanels.test.tsx \
+            tests/api/auxillariesGithubConnectionRoute.test.ts \
+            tests/api/vcsRoutes.test.ts \
+            tests/auxillariesExternalsPane.test.tsx \
+            tests/profileStep.test.tsx \
+            tests/api/readReviewRoute.test.ts \
+            tests/api/pipelineHarnessRoute.test.ts \
+            tests/terminalPipelineHarnessClient.test.ts \
+            tests/terminalDepositReadWorkbench.test.ts \
+            tests/terminalTransactionQuery.test.ts \
+            tests/terminalTransactionReadModel.test.ts \
+            tests/terminalProtocolProjection.test.ts \
+            tests/terminalInterfaceIntegrationRegression.test.ts \
+            tests/terminalWalletBtcOperation.test.ts \
+            tests/terminalJournalReconciliation.test.ts \
+            tests/terminalOrganizationAuthority.test.ts \
+            tests/protocolCommercialBoundary.test.ts \
+            tests/terminalTransactionDetailCards.test.tsx \
+            tests/terminalTransactionDetailSnapshot.test.ts \
+            tests/terminalUxBrowserProof.test.tsx \
+            tests/bitcodeBrowserAccessibilityResponsiveProof.test.ts \
+            tests/pipelineExecutionLogHeader.test.tsx \
+            --runInBand
+          pnpm --dir uapi exec playwright install chromium --with-deps
+          pnpm --dir uapi run test:e2e:terminal-ux
+          pnpm --dir uapi run test:e2e:v32-browser-proof
+          git diff --check
+
+      - name: Promote V36 canon files
+        if: >-
+          ${{
+            github.event_name == 'pull_request' &&
+            github.event.pull_request.head.ref == 'version/v36'
+          }}
+        env:
+          HEAD_BRANCH: ${{ github.event.pull_request.head.ref }}
+        run: |
+          if [ "$(cat BITCODE_SPEC.txt)" = "V36" ]; then
+            echo "BITCODE_SPEC.txt already points to V36."
+            exit 0
+          fi
+          PROOF_SOURCE_COMMIT="$(git rev-parse HEAD)"
+          npm run promote:canon -- --version V36 --commit "$PROOF_SOURCE_COMMIT"
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          git add \
+            BITCODE_SPEC.txt \
+            BITCODE_SPEC_V36.md \
+            BITCODE_SPEC_V36_DELTA.md \
+            BITCODE_SPEC_V36_NOTES.md \
+            BITCODE_SPEC_V36_PARITY_MATRIX.md \
+            BITCODE_SPEC_V36_PROVEN.md \
+            protocol-demonstration/src/canon-posture.js \
+            protocol-demonstration/README.md \
+            packages/protocol/src/canon-posture.js \
+            packages/protocol/data/state.json \
+            packages/protocol/README.md \
+            .bitcode
+          git commit -m "Promote Bitcode canon to V36"
+          git push origin "HEAD:$HEAD_BRANCH"

.github/workflows/v36-canon-promotion.yml

@@ -244,6 +244,28 @@ payment credentials, object-storage private bytes, provider tokens, protected
 prompts, protected model responses, buyer private repository payloads, or secret
 values.
 
+## V36 Gate 10 ExchangePromotionReadinessReport canon
+
+Gate 10 implements `ExchangePromotionReadinessReport` as the package-owned
+contract that proves V36 can promote from active V35 / draft V36 to active V36 /
+draft V37.
+
+`ExchangePromotionReadinessReport` covers every V36 Exchange generated artifact,
+the V36 promotion workflow, gate-quality and canon-quality workflow posture,
+promotion command planning, dry-run support, generated proof appendix support,
+runtime posture rewriting, and source-safe generated promotion evidence.
+
+Gate 10 emits `.bitcode/v36-promotion-readiness-report.json` with
+`source-safe-exchange-promotion-readiness-metadata`.
+The artifact may expose artifact ids, proof roots, checksums, source-safe source
+evidence, documentation evidence, validation commands, promotion workflow
+coverage, and pre/post-promotion posture; it must not expose protected source,
+unpaid AssetPack source, wallet private material, private payment credentials,
+object-storage private bytes, provider tokens, protected prompts, protected
+model responses, buyer private repository payloads, or secret values.
+
+The exact post-promotion posture token is V36 active / draft V37.
+
 ## Canonical Bitcode executive summary
 
 Bitcode measures technical knowledge, finds deposits that fit reviewed Reads, synthesizes source-bearing AssetPacks, and settles read rights in BTC with BTD range and rights receipts.
@@ -728,6 +750,11 @@ V36 validation consists of:
 - workflow checks for gate PRs and promotion PRs;
 - source-safe diff hygiene.
 
+## V36 promotion readiness canon
+
+V36 promotion readiness canon is carried by `ExchangePromotionReadinessReport`
+and `.bitcode/v36-promotion-readiness-report.json`.
+
 ## V36 promotion canon
 
 V36 promotion may occur only after all ten gates close and the version promotion workflow validates:

BITCODE_SPEC_V36.md

@@ -175,6 +175,7 @@ Gate 10 owns final generated proof, promotion workflow support, source-safe `.bi
 Closure acceptance:
 
 - V36 promotion checks validate all Exchange artifacts, contracts, UI proof, telemetry/docs/runbook bindings, settlement/reconciliation evidence, repair evidence, rehearsal proof, and generated proof appendix support;
+- `.bitcode/v36-promotion-readiness-report.json` is generated from the package-owned `ExchangePromotionReadinessReport` builder with `source-safe-exchange-promotion-readiness-metadata`;
 - promotion scripts support V36 command planning, dry-run, generated proof output, and derived promotion commit body generation;
 - promotion rewrites runtime posture to active V36 / draft V37 only after validations pass.
 

BITCODE_SPEC_V36_DELTA.md

@@ -61,6 +61,16 @@ Read V36 as:
 9. Gate 9: Local Staging Exchange Rehearsal And Proof Coverage.
 10. Gate 10: V36 Promotion Readiness.
 
+## Gate 10 closure notes
+
+Gate 10 closes when `ExchangePromotionReadinessReport` is package-owned and
+generated through `.bitcode/v36-promotion-readiness-report.json`.
+The generated artifact carries
+`source-safe-exchange-promotion-readiness-metadata`, covers every V36 Exchange
+artifact, proves promotion workflow and proof appendix support, and records that
+promotion rewrites runtime posture to active V36 / draft V37 only after
+validation succeeds.
+
 ## Gate 1 working notes
 
 Gate 1 closes when: