spec: V20, projection ("terminal" UX/UI) proving

Promotes V20 as operator-quality canon for ENGI.

  Proof-source commit: 2f3fb17

  This promotion closes the V20 first gate:

  - advances the canonical pointer from V19 to V20
  - preserves inherited V19 proof closure and reproducible-canon promotion gates before pointer advancement
  - adds generated operator acceptance transcript coverage for required proof-bearing workflows
  - adds deterministic DOM/geometry visual regression signatures for required operator states
  - adds deterministic accessibility budget coverage for labels, focus, keyboard operation, live status, landmarks, toggles, contrast, reduced motion, and projection safety
  - adds normalized local performance budget reporting without raw wall-clock samples in canonical bytes
  - adds projection-quality smoke coverage for public, reviewer, buyer, and internal principals
  - adds generated V20 quality summary and generated-only V20 _PROVEN_ appendix
  - records accepted V20 boundaries for inherited projection-policy coverage, representative mutation coverage, and deferred screenshot stability

  The implementation adds V20 quality report builders, V20 quality gate tests, V20 promotion support, V20 _PROVEN_ generation, browser posture updates, operator-facing accessibility semantics, and an
  aggregate non-E2E test script that avoids duplicating standalone browser listener setup.

  Validation completed through npm run promote:canon -- --version V20 --commit HEAD, including typecheck, unit, integration, E2E, inherited V19 gates, all V20 quality gates, aggregate non-E2E suite,
  generated appendix check, and git diff --check.

Author: geraldarthurdavis

.engi/v20-accessibility-report.json

@@ -0,0 +1,291 @@
+{
+  "acceptedExclusionCount": 0,
+  "acceptedExclusions": [],
+  "blockingFailureCount": 0,
+  "blockingFailures": [],
+  "branchModes": [
+    "patch",
+    "context"
+  ],
+  "browserContext": {
+    "engine": "chromium",
+    "execution": "deterministic-local-browser",
+    "network": "loopback-only",
+    "variancePolicy": "canonical-artifacts-use-normalized-classes"
+  },
+  "checkCount": 11,
+  "checks": [
+    {
+      "assertions": [
+        "button-name",
+        "select-name",
+        "input-name",
+        "mode-toggle-name"
+      ],
+      "checkId": "control-names",
+      "concern": "Buttons, selects, inputs, textareas, info badges, and mode toggles expose names.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    },
+    {
+      "assertions": [
+        "label-wrapped-controls",
+        "placeholder-not-sole-contract"
+      ],
+      "checkId": "form-labeling",
+      "concern": "Each form control has a visible label or equivalent programmatic label.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    },
+    {
+      "assertions": [
+        "tab-order-controls",
+        "enter-space-buttons",
+        "select-keyboard-change"
+      ],
+      "checkId": "keyboard-operation",
+      "concern": "Keyboard path can select scenario, projection, branch mode, run branch, switch surface mode, and reset.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    },
+    {
+      "assertions": [
+        "0. Operating picture",
+        "1. Depositing + candidate assets",
+        "2. Needing + measured demand",
+        "3. Depositing-to-needing fit",
+        "4. Ranked candidates + verification determinisms",
+        "5. Asset pack + branch artifacts",
+        "6. Settlement + journal diff",
+        "7. Ledger + policy surfaces"
+      ],
+      "checkId": "focus-order",
+      "concern": "Focus order follows the operator workflow order.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    },
+    {
+      "assertions": [
+        "button:focus-visible",
+        "input:focus-visible",
+        "select:focus-visible",
+        "textarea:focus-visible",
+        ".surface-mode-button:focus-visible"
+      ],
+      "checkId": "focus-visibility",
+      "concern": "Interactive controls expose focus-visible styling.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    },
+    {
+      "assertions": [
+        "#status[role=status]",
+        "aria-live=polite",
+        "aria-atomic=true"
+      ],
+      "checkId": "status-announcements",
+      "concern": "Status changes are announced through a polite status live region.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    },
+    {
+      "assertions": [
+        "header.hero",
+        "main.grid",
+        "section.panel",
+        ".panel-head h2"
+      ],
+      "checkId": "landmarks-and-sections",
+      "concern": "Header, main, summary, and major panels are navigable.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    },
+    {
+      "assertions": [
+        "role=tablist",
+        "aria-selected=true",
+        "aria-controls"
+      ],
+      "checkId": "toggle-state",
+      "concern": "Visual/raw surface toggles expose selected state.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    },
+    {
+      "assertions": [
+        "normal-text>=4.5",
+        "large-text>=3",
+        "non-text-ui>=3",
+        "focus-indicator>=3"
+      ],
+      "checkId": "contrast",
+      "concern": "Text and actionable controls meet the accepted local WCAG AA thresholds.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    },
+    {
+      "assertions": [
+        "prefers-reduced-motion: reduce"
+      ],
+      "checkId": "reduced-motion",
+      "concern": "Nonessential transitions are bounded under reduced-motion preference.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    },
+    {
+      "assertions": [
+        "public-no-private-required",
+        "reviewer-no-raw-required",
+        "buyer-no-raw-required"
+      ],
+      "checkId": "projection-safety",
+      "concern": "Accessibility checks do not require private artifacts in lower-privilege projections.",
+      "failureReason": "",
+      "passed": true,
+      "statesCovered": [
+        "initial-seeded-shell",
+        "targeted-branch-run",
+        "normalization-branch-run",
+        "projection-quality-smoke"
+      ]
+    }
+  ],
+  "colorScheme": "dark",
+  "contrastThresholds": {
+    "focusIndicatorRatio": 3,
+    "largeTextRatio": 3,
+    "nonTextUiRatio": 3,
+    "normalTextRatio": 4.5
+  },
+  "disabledControlExemption": "only-controls-not-required-to-complete-accepted-operator-flow",
+  "engine": "deterministic-dom-accessibility-contract",
+  "fixtureSeed": "engi-demo-v20-quality-fixture-v1",
+  "generatedAt": "2026-04-09T23:08:15-03:00",
+  "generatorId": "engi-demo.proven-generator.v1",
+  "locale": "en-US",
+  "missingCheckIds": [],
+  "passed": true,
+  "projectionPrincipals": [
+    "public",
+    "reviewer",
+    "buyer",
+    "internal"
+  ],
+  "proofSourceCommit": "2f3fb17983223d6951c257be9bfa663419bdfd7e",
+  "qualityRunnerId": "engi-demo.v20-quality-runner.v1",
+  "reducedMotion": "reduce",
+  "replayContext": {
+    "browserContext": {
+      "engine": "chromium",
+      "execution": "deterministic-local-browser",
+      "network": "loopback-only",
+      "variancePolicy": "canonical-artifacts-use-normalized-classes"
+    },
+    "colorScheme": "dark",
+    "fixtureSeed": "engi-demo-v20-quality-fixture-v1",
+    "generatedAt": "2026-04-09T23:08:15-03:00",
+    "generatorId": "engi-demo.proven-generator.v1",
+    "locale": "en-US",
+    "proofSourceCommit": "2f3fb17983223d6951c257be9bfa663419bdfd7e",
+    "qualityRunnerId": "engi-demo.v20-quality-runner.v1",
+    "reducedMotion": "reduce",
+    "timezone": "UTC",
+    "version": "V20",
+    "viewport": {
+      "height": 1200,
+      "width": 1440
+    },
+    "worktreeState": "clean"
+  },
+  "reportId": "v20-accessibility-report",
+  "requiredCheckIds": [
+    "control-names",
+    "form-labeling",
+    "keyboard-operation",
+    "focus-order",
+    "focus-visibility",
+    "status-announcements",
+    "landmarks-and-sections",
+    "toggle-state",
+    "contrast",
+    "reduced-motion",
+    "projection-safety"
+  ],
+  "scenarioIds": [
+    "auth-issuer-rollback",
+    "rust-validator-proof-gap",
+    "config-policy-precedence-incident",
+    "unsafe-patch-review-recovery",
+    "infra-deployment-mismatch",
+    "privacy-boundary-proof-export",
+    "polyglot-gateway-benchmark-remediation",
+    "auth-many-asset-normalization"
+  ],
+  "timezone": "UTC",
+  "version": "V20",
+  "viewport": {
+    "height": 1200,
+    "width": 1440
+  },
+  "worktreeState": "clean"
+}