Merge pull request #146 from engineeredsoftware/v39/gate-11-promotion-readiness

V39 Gate 11: Promotion Readiness

Author: geraldarthurdavis

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

@@ -211,7 +211,15 @@ jobs:
               if [ -f scripts/check-v39-gate10-local-staging-reading-rehearsal.mjs ]; then
                 node scripts/check-v39-gate10-local-staging-reading-rehearsal.mjs --skip-branch-check --skip-package-tests
               fi
+              if [ -f scripts/check-v39-gate11-promotion-readiness.mjs ]; then
+                node scripts/check-v39-gate11-promotion-readiness.mjs --promotion-mode --skip-branch-check --skip-package-tests
+              fi
             fi
+          elif [ "$POINTER" = "V39" ]; then
+            node scripts/check-bitcode-spec-family.mjs --version V39 --mode promoted --current-target V39
+            node scripts/check-bitcode-canonical-inputs.mjs --current-target V39
+            node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V39 --draft-target V40
+            node scripts/check-v39-gate11-promotion-readiness.mjs --promotion-mode --skip-branch-check --skip-package-tests
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2
             exit 1

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

@@ -340,7 +340,15 @@ jobs:
               if [ -f scripts/check-v39-gate10-local-staging-reading-rehearsal.mjs ]; then
                 node scripts/check-v39-gate10-local-staging-reading-rehearsal.mjs --skip-branch-check --skip-package-tests
               fi
+              if [ -f scripts/check-v39-gate11-promotion-readiness.mjs ]; then
+                node scripts/check-v39-gate11-promotion-readiness.mjs --promotion-mode --skip-branch-check --skip-package-tests
+              fi
             fi
+          elif [ "$POINTER" = "V39" ]; then
+            node scripts/check-bitcode-spec-family.mjs --version V39 --mode promoted --current-target V39
+            node scripts/check-bitcode-canonical-inputs.mjs --current-target V39
+            node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V39 --draft-target V40
+            node scripts/check-v39-gate11-promotion-readiness.mjs --promotion-mode --skip-branch-check --skip-package-tests
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2
             exit 1
@@ -460,6 +468,9 @@ jobs:
           if [ -f packages/protocol/test/v39-local-staging-reading-rehearsal.test.js ]; then
             pnpm --dir packages/protocol exec node --test --test-force-exit test/v39-local-staging-reading-rehearsal.test.js
           fi
+          if [ -f packages/protocol/test/v39-promotion-readiness.test.js ]; then
+            pnpm --dir packages/protocol exec node --test --test-force-exit test/v39-promotion-readiness.test.js
+          fi
           pnpm --filter @bitcode/protocol test
 
       - name: Test staged Reading route and Terminal harness contracts

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

@@ -0,0 +1,169 @@
+name: V39 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-v39:
+    name: V39 Promotion Validation
+    if: >-
+      ${{
+        github.event_name == 'workflow_dispatch' ||
+        (
+          github.event.pull_request.base.ref == 'main' &&
+          github.event.pull_request.head.ref == 'version/v39' &&
+          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 V39 promotion readiness
+        run: |
+          POINTER="$(cat BITCODE_SPEC.txt)"
+          if [ "$POINTER" = "V38" ]; then
+            node scripts/check-bitcode-spec-family.mjs --version V39 --mode draft --current-target V38
+            node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V38 --draft-target V39
+            node scripts/check-bitcode-canonical-inputs.mjs --current-target V38
+            node scripts/check-v39-gate1-commercial-reading-roadmap-opening.mjs --skip-branch-check
+            node scripts/check-v39-gate2-depository-supply-indexing.mjs --skip-branch-check --skip-package-tests
+            node scripts/check-v39-gate3-enterprise-reading-ux-state.mjs --skip-branch-check --skip-uapi-tests
+            node scripts/check-v39-gate4-read-need-review-resynthesis.mjs --skip-branch-check --skip-package-tests --skip-uapi-tests
+            node scripts/check-v39-gate5-read-fits-finding-runtime.mjs --skip-branch-check --skip-package-tests
+            node scripts/check-v39-gate6-assetpack-preview-quote-boundary.mjs --skip-branch-check --skip-package-tests
+            node scripts/check-v39-gate7-settlement-rights-delivery.mjs --skip-branch-check --skip-package-tests
+            node scripts/check-v39-gate8-operational-telemetry-repair-readback.mjs --skip-branch-check --skip-package-tests --skip-uapi-tests
+            node scripts/check-v39-gate9-interface-conversation-product-parity.mjs --skip-branch-check --skip-package-tests --skip-interface-tests
+            node scripts/check-v39-gate10-local-staging-reading-rehearsal.mjs --skip-branch-check --skip-package-tests
+            node scripts/check-v39-gate11-promotion-readiness.mjs --promotion-mode --skip-branch-check --skip-package-tests
+            node scripts/promote-bitcode-canon.mjs --version V39 --commit HEAD --dry-run
+          elif [ "$POINTER" = "V39" ]; then
+            node scripts/check-bitcode-spec-family.mjs --version V39 --mode promoted --current-target V39
+            node scripts/check-bitcode-canonical-inputs.mjs --current-target V39
+            node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V39 --draft-target V40
+            node scripts/check-v39-gate11-promotion-readiness.mjs --promotion-mode --skip-branch-check --skip-package-tests
+          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 \
+            tests/api/conversationSessionRouteHistory.test.ts \
+            tests/api/conversationSessionRouteHistoryContract.test.ts \
+            tests/api/conversationStreamEventContract.test.ts \
+            tests/conversationStreamPipelineLog.test.tsx \
+            tests/conversationWritingWorkspace.test.tsx \
+            tests/conversationSourceSelector.test.tsx \
+            tests/conversationTerminalHandoff.test.tsx \
+            tests/api/conversationPersistencePrivacyRedaction.test.ts \
+            tests/conversationPersistencePrivacyPanel.test.tsx \
+            tests/api/conversationTelemetryProofHooks.test.ts \
+            tests/conversationTelemetryProofPanel.test.tsx \
+            tests/api/conversationRehearsal.test.ts \
+            tests/conversationRehearsalPanel.test.tsx \
+            --runInBand
+          git diff --check
+
+      - name: Promote V39 canon files
+        if: >-
+          ${{
+            github.event_name == 'pull_request' &&
+            github.event.pull_request.head.ref == 'version/v39'
+          }}
+        env:
+          HEAD_BRANCH: ${{ github.event.pull_request.head.ref }}
+        run: |
+          if [ "$(cat BITCODE_SPEC.txt)" = "V39" ]; then
+            echo "BITCODE_SPEC.txt already points to V39."
+            exit 0
+          fi
+          PROOF_SOURCE_COMMIT="$(git rev-parse HEAD)"
+          npm run promote:canon -- --version V39 --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_V39.md \
+            BITCODE_SPEC_V39_DELTA.md \
+            BITCODE_SPEC_V39_NOTES.md \
+            BITCODE_SPEC_V39_PARITY_MATRIX.md \
+            BITCODE_SPEC_V39_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 V39"
+          git push origin "HEAD:$HEAD_BRANCH"

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

@@ -266,6 +266,7 @@ deterministic source-safe proof artifact is
 
 Gate 11 closes V39 with promotion readiness.
 It must generate V39 proof support, validate every V39 artifact, update promotion workflows, preserve V38 active / V39 draft to V39 active / draft V40 posture, and block promotion if Depository supply, Reading UX, Need review, Finding Fits, preview/quote, settlement/delivery, telemetry/repair, interface parity, local/staging rehearsal, or source-safety evidence is incomplete.
+The package-owned closure type is `V39CommercialReadingPromotionReadinessReport`; the deterministic source-safe artifact is `.bitcode/v39-promotion-readiness-report.json`, checked by `pnpm run check:v39-gate11`.
 
 ## V39 non-goals
 
@@ -558,8 +559,8 @@ Generated canon for V39 includes source-safe `.bitcode/v39-*` artifacts, generat
 Generated artifacts must be reproducible, deterministic where possible, and blocked when source-safe payload rules fail.
 Inherited V19 reproducible-canon artifacts remain the baseline for deterministic generated proof.
 Inherited V20 operator-quality artifacts remain the baseline for operator-visible quality.
-Exact generated-artifact inventory matrix includes `.bitcode/v39-spec-family-report.json`, `.bitcode/v39-canonical-input-report.json`, `.bitcode/v39-canon-posture-drift-report.json`, `.bitcode/v39-inference-surface-inventory.json`, `.bitcode/v39-ptrr-failsafe-thricified-stack.json`, `.bitcode/v39-prompt-benchmark-report.json`, `.bitcode/v39-disclosure-boundary-report.json`, and later `.bitcode/v39-*` gate artifacts.
-V39 specifying generated artifacts include inference inventory, prompt benchmark, telemetry disclosure, depository search, AssetPack handoff, rehearsal, and promotion readiness reports.
+Exact generated-artifact inventory matrix includes `.bitcode/v39-spec-family-report.json`, `.bitcode/v39-canonical-input-report.json`, `.bitcode/v39-canon-posture-drift-report.json`, `.bitcode/v39-depository-supply-indexing.json`, `.bitcode/v39-enterprise-reading-ux-state.json`, `.bitcode/v39-read-need-review-resynthesis.json`, `.bitcode/v39-read-fits-finding-runtime.json`, `.bitcode/v39-assetpack-preview-quote-boundary.json`, `.bitcode/v39-settlement-rights-delivery.json`, `.bitcode/v39-operational-telemetry-repair-readback.json`, `.bitcode/v39-interface-conversation-product-parity.json`, `.bitcode/v39-local-staging-reading-rehearsal.json`, and `.bitcode/v39-promotion-readiness-report.json`.
+V39 specifying generated artifacts include Depository supply indexing, enterprise Reading UX state, ReadNeed review/resynthesis, ReadFitsFinding runtime, AssetPack preview/quote, settlement rights delivery, operational telemetry/repair readback, interface parity, local/staging rehearsal, and promotion readiness reports.
 Shared generated-artifact fields: version, currentTarget, artifactRoot, sourceRoots, proofRoots, disclosureTier, generatedAt, and command.
 Artifact-specific generated payload fields: prompt ids, PromptPart ids, phase ids, agent ids, step ids, Failsafe ids, ThricifiedGeneration ids, tool ids, fit ids, ranking roots, and settlement roots.
 Artifact confidentiality and disclosability taxonomy: public, source-safe, buyer-visible, reviewer-visible, operator-only, and forbidden.
@@ -572,6 +573,8 @@ Validation canon includes `pnpm run check:v39-gate1`, `pnpm run check:v39-gate2`
 
 Promotion canon requires all V39 gates to close, V39 proof support to exist, a V39 promotion workflow to pass, and the promotion commit to change only accepted canon artifacts and the `BITCODE_SPEC.txt` pointer from V38 to V39.
 The V39 promotion readiness canon is `.bitcode/v39-promotion-readiness-report.json`, `BITCODE_SPEC_V39_PROVEN.md`, `v39-canon-promotion.yml`, `check:v39-gate11`, `node scripts/promote-bitcode-canon.mjs --version V39 --commit HEAD --dry-run`, and the V39 active / draft V40 posture checks.
+`V39CommercialReadingPromotionReadinessReport` is package-backed in `packages/protocol/src/canonical/v39-commercial-reading-promotion-readiness-report.js`.
+It proves all Gate 2 through Gate 10 artifacts are present, parseable, source-safe, workflow-wired, and covered by generated proof support; it blocks value-bearing mainnet admission and preserves protected source, raw protected prompts, raw provider responses, unpaid AssetPack source, credentials, wallet private material, and private settlement payloads.
 
 ## appendices and canonical supporting material
 

BITCODE_SPEC_V39.md

@@ -261,3 +261,6 @@ Closure acceptance:
 Closure implementation:
 
 - Pending Gate 11 work must define the package-backed commercial Reading promotion readiness report, V39 promotion workflow, promotion command support, generated proof appendix support, active V39 / draft V40 post-promotion posture, and blocked value-bearing mainnet evidence.
+- `V39CommercialReadingPromotionReadinessReport` is implemented in `packages/protocol/src/canonical/v39-commercial-reading-promotion-readiness-report.js` and generates `.bitcode/v39-promotion-readiness-report.json`.
+- The generated artifact is `source-safe-commercial-reading-promotion-readiness-metadata` and covers all V39 Gate 2 through Gate 10 artifacts, `BITCODE_SPEC_V39_PROVEN.md` generation support, `v39-canon-promotion.yml`, gate/canon workflow posture, promotion dry-run support, source-safety checks, and value-bearing mainnet blocking.
+- promotion scripts support V39 through `node scripts/promote-bitcode-canon.mjs --version V39 --commit HEAD --dry-run`, `scripts/prepare-bitcode-spec-family-promotion.mjs`, `scripts/prepare-bitcode-runtime-canon-promotion.mjs --version V39 --next-draft V40`, `packages/protocol/src/canonical/proven-generator.js`, and `pnpm run check:v39-gate11`.

BITCODE_SPEC_V39_DELTA.md

@@ -309,6 +309,13 @@ generated artifacts.
 ## Gate 11 implementation notes
 
 Gate 11 closes V39 by binding every commercial Reading gate artifact, V39 proof appendix generation, workflow posture, promotion command support, and post-promotion runtime posture into one source-safe promotion-readiness contract. After promotion, runtime posture must become active V39 / draft V40 and `BITCODE_SPEC.txt` may point to V39 only through the V39 promotion workflow.
+The Gate 11 contract is `V39CommercialReadingPromotionReadinessReport` with generated artifact `.bitcode/v39-promotion-readiness-report.json`. It binds all commercial Reading closure artifacts, source-safety evidence, `BITCODE_SPEC_V39_PROVEN.md` support, `v39-canon-promotion.yml`, `pnpm run check:v39-gate11`, and active V39 / draft V40 runtime posture.
+
+## Post-V39 planning notes
+
+The next specification target should focus on exhaustive commercial application testing depth: browser E2E across all rich website interactions and state possibilities, visual and screenshot comparison coverage, integration tests for pipeline primitives and the real Reading implementations, Conversation/API tests, and unit coverage for packages, primitives, isolated implementations, and real commercial implementations.
+
+The following specification target should focus singularly on Prompt and PromptPart excellence, treating prompts as programs. V38's inference correctness hardening in commercial systems and V40's testing and benchmarking depth should make V41's prompt work measurable: every raw PromptPart and every composed Prompt should be audited, benchmarked, semantically repartitioned where useful, retitled or rewritten where optimal, catalogued with registry and interpolation contracts, and validated against the inference callsites they serve. Reading pipelines are the primary focus, with Conversation inference points covered as well.
 
 ## V39 gate plan