V32 Gate 7: Prove browser accessibility coverage

Adds deterministic Gate 7 proof artifacts and scripts for Terminal plus Terminal-hosted Auxillaries browser, accessibility, responsive, and visual coverage.

Wires focused Jest and Playwright checks into gate quality, updates the V32 specification family and roadmap, and keeps generated metadata source-safe without tracked secret-shaped literals.

Author: geraldarthurdavis

.bitcode/v32-browser-accessibility-responsive-visual-proof.json

@@ -0,0 +1,227 @@
+{
+  "accessibilityAssertions": [
+    "keyboard-path",
+    "landmark-labels",
+    "focus-state",
+    "status-announcements",
+    "contrast-sensitive-tokens",
+    "reduced-motion",
+    "overflow-wrapping",
+    "deterministic-visual-semantics"
+  ],
+  "artifactId": "v32-browser-accessibility-responsive-visual-proof",
+  "closureCommand": "pnpm run check:v32-gate7",
+  "currentTarget": "V31",
+  "generatedAt": "2026-05-22T00:00:00.000Z",
+  "passed": true,
+  "proofCoverage": {
+    "assertionCount": 8,
+    "credentialsSerialized": false,
+    "protectedSourceVisible": false,
+    "screenshotOnlyApproval": false,
+    "stateCount": 6,
+    "surfaceCount": 2,
+    "viewportCount": 4
+  },
+  "schemaId": "bitcode.v32.browserAccessibilityResponsiveVisualProof.v1",
+  "sourceEvidence": [
+    {
+      "digest": "sha256:dda0b55a3606881a20dcccdd8a50bb9df5cac555bc8d315e87366ae15b5d52ad",
+      "relativePath": "uapi/app/bitcode-browser-accessibility-responsive-proof.ts",
+      "requiredTokens": [
+        {
+          "present": true,
+          "token": "BITCODE_BROWSER_ACCESSIBILITY_RESPONSIVE_PROOF_CONTRACT"
+        },
+        {
+          "present": true,
+          "token": "keyboard-path"
+        },
+        {
+          "present": true,
+          "token": "deterministic-visual-semantics"
+        },
+        {
+          "present": true,
+          "token": "no-screenshot-only-approval"
+        }
+      ]
+    },
+    {
+      "digest": "sha256:2ac388fcffdf1820b6a9287177803ec8658e660807e7002e5390c0fc2e70c4b6",
+      "relativePath": "uapi/app/terminal/terminal-ux-browser-proof.ts",
+      "requiredTokens": [
+        {
+          "present": true,
+          "token": "TERMINAL_UX_BROWSER_PROOF_VIEWPORTS"
+        },
+        {
+          "present": true,
+          "token": "source-safe-preview"
+        }
+      ]
+    },
+    {
+      "digest": "sha256:500a9207ca162344075f6ad36e886aab2fbcf096784df0afe15ebaacbf93abeb",
+      "relativePath": "uapi/app/auxillaries/auxillaries-ux-accessibility-proof.ts",
+      "requiredTokens": [
+        {
+          "present": true,
+          "token": "AUXILLARIES_UX_ACCESSIBILITY_PROOF_CONTRACT"
+        },
+        {
+          "present": true,
+          "token": "audit-expanded"
+        }
+      ]
+    },
+    {
+      "digest": "sha256:ec43bad3392a266b90a4d5c944ff7e2c34b2b94d1fa31c90397f73479418e1c8",
+      "relativePath": "uapi/styles/auxillaries-bitcode.css",
+      "requiredTokens": [
+        {
+          "present": true,
+          "token": "focus-visible"
+        },
+        {
+          "present": true,
+          "token": "overflow-wrap: anywhere"
+        },
+        {
+          "present": true,
+          "token": "@media (prefers-reduced-motion: reduce)"
+        }
+      ]
+    }
+  ],
+  "sourceSafetyVerdict": "source-safe-browser-visual-proof-metadata",
+  "surfaces": [
+    {
+      "evidenceFiles": [
+        "uapi/app/terminal/terminal-ux-browser-proof.ts",
+        "uapi/tests/terminalUxBrowserProof.test.tsx",
+        "uapi/tests/e2e/commercial-mvp.terminal-ux.spec.ts",
+        "uapi/tests/e2e/bitcode-browser-accessibility-responsive-proof.spec.ts"
+      ],
+      "states": [
+        "default",
+        "guided",
+        "detail"
+      ],
+      "surfaceId": "terminal"
+    },
+    {
+      "evidenceFiles": [
+        "uapi/app/auxillaries/auxillaries-ux-accessibility-proof.ts",
+        "uapi/tests/auxillariesContent.access.test.tsx",
+        "uapi/tests/e2e/commercial-mvp.auxillaries.spec.ts",
+        "uapi/tests/e2e/bitcode-browser-accessibility-responsive-proof.spec.ts"
+      ],
+      "states": [
+        "default",
+        "guided",
+        "detail"
+      ],
+      "surfaceId": "auxillaries"
+    }
+  ],
+  "testEvidence": [
+    {
+      "digest": "sha256:0ffbc02bb322af8c85a7987bc1b1c042b4c65bb2db190d018ce9993c585467c0",
+      "relativePath": "uapi/tests/bitcodeBrowserAccessibilityResponsiveProof.test.ts",
+      "requiredTokens": [
+        {
+          "present": true,
+          "token": "covers Terminal and Auxillaries default, guided, and detail states"
+        },
+        {
+          "present": true,
+          "token": "requires keyboard, labels, focus, status, contrast, motion, overflow"
+        },
+        {
+          "present": true,
+          "token": "no-screenshot-only-approval"
+        }
+      ]
+    },
+    {
+      "digest": "sha256:a116018ac26cd4ea169a1d0556e90a3ae4a12b9a47501444c702af09af77b5d4",
+      "relativePath": "uapi/tests/e2e/bitcode-browser-accessibility-responsive-proof.spec.ts",
+      "requiredTokens": [
+        {
+          "present": true,
+          "token": "Terminal default, guided, and detail states stay semantic and responsive"
+        },
+        {
+          "present": true,
+          "token": "Auxillaries default, guided, and detail states stay semantic and responsive"
+        },
+        {
+          "present": true,
+          "token": "expectNoHorizontalOverflow"
+        },
+        {
+          "present": true,
+          "token": "reducedMotion: 'reduce'"
+        }
+      ]
+    },
+    {
+      "digest": "sha256:8b255a33c5d08e3e4f9992e778a13c3561592d02e54027aebc6494cc8188c862",
+      "relativePath": "uapi/tests/terminalUxBrowserProof.test.tsx",
+      "requiredTokens": [
+        {
+          "present": true,
+          "token": "renders Terminal workspace loading, failed, and empty states with explicit semantics"
+        },
+        {
+          "present": true,
+          "token": "marks selected detail sections as route-owned controls"
+        }
+      ]
+    },
+    {
+      "digest": "sha256:054f5a7d883d14b15b5125ba0e1a193561a41a86afc3d5a2519736afa0a3ce11",
+      "relativePath": "uapi/tests/auxillariesContent.access.test.tsx",
+      "requiredTokens": [
+        {
+          "present": true,
+          "token": "named landmarks, skip navigation, active-pane announcements"
+        },
+        {
+          "present": true,
+          "token": "expandable audit detail"
+        }
+      ]
+    }
+  ],
+  "version": "V32",
+  "viewports": [
+    {
+      "height": 844,
+      "id": "phone",
+      "width": 390
+    },
+    {
+      "height": 1024,
+      "id": "tablet",
+      "width": 768
+    },
+    {
+      "height": 900,
+      "id": "laptop",
+      "width": 1280
+    },
+    {
+      "height": 1080,
+      "id": "widescreen",
+      "width": 1920
+    }
+  ],
+  "visualProofStrategy": [
+    "semantic-layout-metrics",
+    "stable-route-state-contracts",
+    "stateful-accessibility-roles",
+    "no-screenshot-only-approval"
+  ]
+}

.bitcode/v32-deterministic-replay-report.json

@@ -11,9 +11,9 @@
     {
       "artifactPath": ".bitcode/v32-proof-coverage-matrix.json",
       "byteEqual": true,
-      "byteLength": 21157,
-      "firstDigest": "sha256:2021ab0d617d08e507ac902daacde19f70516f9d2f968bd946566891f72268d6",
-      "secondDigest": "sha256:2021ab0d617d08e507ac902daacde19f70516f9d2f968bd946566891f72268d6"
+      "byteLength": 21695,
+      "firstDigest": "sha256:61248901dde4774485f5c9e56b2c7a83a44943274058a3408c503bbcb8dd6851",
+      "secondDigest": "sha256:61248901dde4774485f5c9e56b2c7a83a44943274058a3408c503bbcb8dd6851"
     }
   ],
   "artifactId": "v32-deterministic-replay-report",

.bitcode/v32-proof-coverage-matrix.json

@@ -58,19 +58,19 @@
     {
       "blockers": [],
       "coverageStatus": "v32-expansion-required",
-      "expectedArtifact": ".bitcode/v32-interface-contract-regression-suite.json",
+      "expectedArtifact": ".bitcode/v32-browser-accessibility-responsive-visual-proof.json",
       "failureModes": [
         "route-state-drift",
         "stream-payload-shape-drift",
         "unredacted-protected-source-in-detail-pane",
         "operator-detail-overflow"
       ],
-      "fixture": "uapi/tests/terminalTransactionReadModel.test.ts; uapi/tests/terminalPipelineHarnessClient.test.ts; uapi/tests/pipelineExecutionLogHeader.test.tsx; uapi/tests/terminalInterfaceIntegrationRegression.test.ts",
+      "fixture": "uapi/tests/terminalTransactionReadModel.test.ts; uapi/tests/terminalPipelineHarnessClient.test.ts; uapi/tests/pipelineExecutionLogHeader.test.tsx; uapi/tests/terminalInterfaceIntegrationRegression.test.ts; uapi/tests/bitcodeBrowserAccessibilityResponsiveProof.test.ts; uapi/tests/e2e/bitcode-browser-accessibility-responsive-proof.spec.ts",
       "owner": "uapi/app/terminal",
       "plannedGate": "Gate 6 and Gate 7",
       "promotedBehavior": "URL-addressable Terminal transactions, live execution streams, transaction detail cards, wallet/BTC posture, and source-safe operator readback.",
       "repairPosture": "Gate 6 hardens transaction contract fixtures; Gate 7 proves browser/accessibility/responsive presentation.",
-      "replayCommand": "pnpm --dir uapi exec jest --runTestsByPath tests/terminalTransactionReadModel.test.ts tests/terminalPipelineHarnessClient.test.ts tests/pipelineExecutionLogHeader.test.tsx tests/terminalInterfaceIntegrationRegression.test.ts --runInBand && pnpm run check:v32-interface-contract-regression-suites",
+      "replayCommand": "pnpm --dir uapi exec jest --runTestsByPath tests/terminalTransactionReadModel.test.ts tests/terminalPipelineHarnessClient.test.ts tests/pipelineExecutionLogHeader.test.tsx tests/terminalInterfaceIntegrationRegression.test.ts tests/bitcodeBrowserAccessibilityResponsiveProof.test.ts --runInBand && pnpm run check:v32-interface-contract-regression-suites && pnpm run check:v32-browser-accessibility-responsive-visual-proof",
       "requiredContexts": [
         "TerminalTransaction",
         "TerminalTransactionReadModel",
@@ -135,19 +135,19 @@
     {
       "blockers": [],
       "coverageStatus": "v32-expansion-required",
-      "expectedArtifact": ".bitcode/v32-interface-contract-regression-suite.json",
+      "expectedArtifact": ".bitcode/v32-browser-accessibility-responsive-visual-proof.json",
       "failureModes": [
         "provider-readiness-drift",
         "policy-denial-missing-reason",
         "wallet-btd-projection-mismatch",
         "recovery-run-without-before-after-roots"
       ],
-      "fixture": "packages/api/src/routes/__tests__/auxillaries-contract.test.ts; uapi/tests/userDataRoute.test.ts; uapi/tests/auxillariesWalletPane.test.tsx; uapi/tests/auxillariesExternalsPane.test.tsx; uapi/tests/auxillariesContent.access.test.tsx",
+      "fixture": "packages/api/src/routes/__tests__/auxillaries-contract.test.ts; uapi/tests/userDataRoute.test.ts; uapi/tests/auxillariesWalletPane.test.tsx; uapi/tests/auxillariesExternalsPane.test.tsx; uapi/tests/auxillariesContent.access.test.tsx; uapi/tests/bitcodeBrowserAccessibilityResponsiveProof.test.ts; uapi/tests/e2e/bitcode-browser-accessibility-responsive-proof.spec.ts",
       "owner": "packages/api; packages/orm; uapi/app/auxillaries",
       "plannedGate": "Gate 6 and Gate 7",
       "promotedBehavior": "Profile, account, provider readiness, interface admission, wallet/BTD pane, organization authority, diagnostics, recovery, and telemetry proof hooks.",
       "repairPosture": "Gate 6 turns inherited Auxillaries contracts into shared regression fixtures; Gate 7 expands browser/accessibility evidence.",
-      "replayCommand": "pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/auxillaries-contract.test.ts --runInBand && pnpm --dir uapi exec jest --runTestsByPath tests/userDataRoute.test.ts tests/auxillariesWalletPane.test.tsx tests/auxillariesExternalsPane.test.tsx tests/auxillariesContent.access.test.tsx --runInBand && pnpm run check:v32-interface-contract-regression-suites",
+      "replayCommand": "pnpm --filter @bitcode/api exec jest --config jest.config.cjs --runTestsByPath src/routes/__tests__/auxillaries-contract.test.ts --runInBand && pnpm --dir uapi exec jest --runTestsByPath tests/userDataRoute.test.ts tests/auxillariesWalletPane.test.tsx tests/auxillariesExternalsPane.test.tsx tests/auxillariesContent.access.test.tsx tests/bitcodeBrowserAccessibilityResponsiveProof.test.ts --runInBand && pnpm run check:v32-interface-contract-regression-suites && pnpm run check:v32-browser-accessibility-responsive-visual-proof",
       "requiredContexts": [
         "AuxillariesProfileState",
         "AuxillariesConnectionReadiness",

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

@@ -117,6 +117,7 @@ jobs:
             node scripts/check-v32-gate4-reading-pipeline-proof-coverage.mjs --skip-branch-check
             node scripts/check-v32-gate5-ledger-btd-settlement-failure-states.mjs --skip-branch-check
             node scripts/check-v32-gate6-interface-contract-regression-suites.mjs --skip-branch-check
+            node scripts/check-v32-gate7-browser-accessibility-responsive-visual-proof.mjs --skip-branch-check
           else
             echo "Unexpected BITCODE_SPEC.txt pointer: $POINTER" >&2
             exit 1
@@ -182,6 +183,7 @@ jobs:
             tests/terminalTransactionDetailCards.test.tsx \
             tests/terminalTransactionDetailSnapshot.test.ts \
             tests/terminalUxBrowserProof.test.tsx \
+            tests/bitcodeBrowserAccessibilityResponsiveProof.test.ts \
             tests/pipelineExecutionLogHeader.test.tsx \
             --runInBand
 
@@ -191,6 +193,9 @@ jobs:
       - name: Browser proof Terminal cockpit
         run: pnpm --dir uapi run test:e2e:terminal-ux
 
+      - name: Browser proof Terminal and Auxillaries responsive accessibility
+        run: pnpm --dir uapi run test:e2e:v32-browser-proof
+
       - name: Test pipeline readback verifier
         run: pnpm test:qa:v28:pipeline-readback
 

BITCODE_SPEC_V32.md

@@ -287,9 +287,15 @@ The generated artifact is source-safe interface contract proof metadata only: it
 Gate 7 browser and visual proof precision:
 
 - Browser proof must cover Terminal and Auxillaries default/guided/detail states across desktop and mobile viewports.
+  Auxillaries browser proof uses the active Terminal-hosted entry points (`/terminal?auxillary-open-to=<pane>`), because `/auxillaries/*` remains a redirect/support carrier rather than a standalone application surface.
 - Accessibility assertions must cover keyboard path, labels, focus state, status announcements, contrast-sensitive tokens, reduced-motion behavior, and overflow/wrapping.
 - Visual proof must favor deterministic semantic checks and stable snapshots over brittle screenshot-only assertions.
 
+Gate 7 closes its operator-surface proof with `.bitcode/v32-browser-accessibility-responsive-visual-proof.json`.
+That artifact is generated by `pnpm run generate:v32-browser-accessibility-responsive-visual-proof` and checked by `pnpm run check:v32-browser-accessibility-responsive-visual-proof` plus `pnpm run check:v32-gate7`.
+The focused Jest contract `uapi/tests/bitcodeBrowserAccessibilityResponsiveProof.test.ts` and browser proof `uapi/tests/e2e/bitcode-browser-accessibility-responsive-proof.spec.ts` prove Terminal and Auxillaries default/guided/detail states, phone and desktop browser execution, keyboard path, landmark labels, focus state, status announcements, contrast-sensitive tokens, reduced-motion, overflow/wrapping, and `no-screenshot-only-approval` deterministic visual semantics.
+The generated artifact is source-safe browser proof metadata only; it must not store protected AssetPack source, credentials, private prompts, raw inference payloads, wallet secrets, Vercel tokens, OpenAI keys, or Supabase secret material.
+
 Gate 8 readiness rehearsal precision:
 
 - Local, staging-testnet, production-mainnet, and offline/disabled lanes are typed readiness records.

BITCODE_SPEC_V32_DELTA.md

@@ -159,10 +159,14 @@ Gate 7 expands operator-facing proof.
 
 Closure acceptance:
 
-- Terminal and Auxillaries guided/default/detail states are covered across desktop and mobile;
+- Terminal and Auxillaries guided/default/detail states are covered across desktop and mobile, with Auxillaries proved through the active Terminal-hosted support-plane entry points (`/terminal?auxillary-open-to=<pane>`);
 - keyboard, labels, focus, contrast, reduced motion, overflow, and visual regression evidence are deterministic enough for CI;
 - browser proofs avoid brittle screenshots where semantic assertions can prove the same behavior.
 
+Gate 7 source closure is `.bitcode/v32-browser-accessibility-responsive-visual-proof.json`, generated by `pnpm run generate:v32-browser-accessibility-responsive-visual-proof` and checked by `pnpm run check:v32-browser-accessibility-responsive-visual-proof` plus `pnpm run check:v32-gate7`.
+The focused Jest test `uapi/tests/bitcodeBrowserAccessibilityResponsiveProof.test.ts` and Playwright proof `uapi/tests/e2e/bitcode-browser-accessibility-responsive-proof.spec.ts` cover Terminal and Auxillaries default/guided/detail states, phone and desktop browser execution, accessibility assertions, overflow proof, reduced motion, and `no-screenshot-only-approval`.
+The artifact records browser proof metadata and source/test digests only.
+
 ### Gate 8: Testnet And Mainnet Readiness Rehearsal
 
 Gate 8 rehearses environment readiness without approving value-bearing launch.

BITCODE_SPEC_V32_NOTES.md

@@ -104,9 +104,12 @@ Harden API, MCP, ChatGPT App, Terminal, Auxillaries, and deferred-interface cont
 
 Expand operator-facing proof:
 
-- Terminal and Auxillaries default/guided/detail states across desktop and mobile;
+- Terminal and Terminal-hosted Auxillaries default/guided/detail states across desktop and mobile;
 - keyboard, labels, focus, contrast, reduced motion, overflow, and visual regression evidence;
 - semantic browser assertions where they are more stable than screenshots.
+- generated artifact `.bitcode/v32-browser-accessibility-responsive-visual-proof.json`;
+- generator command `pnpm run generate:v32-browser-accessibility-responsive-visual-proof`, checker command `pnpm run check:v32-browser-accessibility-responsive-visual-proof`, and gate closure command `pnpm run check:v32-gate7`;
+- focused Jest test `uapi/tests/bitcodeBrowserAccessibilityResponsiveProof.test.ts` and browser proof `uapi/tests/e2e/bitcode-browser-accessibility-responsive-proof.spec.ts` proving `no-screenshot-only-approval` visual semantics.
 
 ### Gate 8: Testnet And Mainnet Readiness Rehearsal