feat(queen): verify retained Memory attention evidence

[dmitrii-f-t27]

Closes #1368. Source evidence: Memory #122 / merged PR #123.

The closed Memory #115 cell currently has no accepted issue-level proof. This adds a compiler-checked policy that binds 17 exact source hashes, the retained FPGA evidence, and successful canonical push CI at the current default-branch HEAD. Reopened/other issues and missing, changed or failing evidence remain unknown. Corona still requires its GDS evidence.

The shared reader foundation is accepted in #1363 (8afec86b). The catalog now imports 114 Memory specs from accepted c47a9921d9b6ce3dbdea61a077447354040c5c3a, including the missing attention and evidence specs. Shared-core, actual GitHub atlas and onboarding counts are regenerated consistently: 1778 specs, 14 game worlds and 1641 issues. Catalog inventory does not grant proof by itself.

Specification: memory_issue_proof.t27. Native seal, 16 vectors, consumer tests.

Validation passed: 45 Memory +37 Corona scenarios, two 16-row policy matrices, native policy tests, shared-core/atlas/catalog/world/display/map/language contracts, onboarding 10 tests /54 assertions and production build. Typecheck ratchet adds no errors to the existing 179-error baseline. Full canonical source CI and app publication/live acceptance remain pending. No changed live color is claimed.

{
  "version": 1,
  "head_sha": "ecc370874f316e86cad6e4df021a4be3e6dfc1da",
  "summary": "The closed Memory attention issue has no accepted proof in the Queen map. Bind retained FPGA evidence, a native sealed policy and exact-current canonical CI before granting coverage, and refresh the catalog from accepted source.",
  "changes": [
    "Extend the accepted Corona reader with a Memory profile that checks 17 source file hashes and canonical successful CI at the current default branch HEAD.",
    "Add the native Memory policy seal, 16 conformance rows and 45 reader scenarios while preserving the 37 Corona cases and mandatory Corona GDS checks.",
    "Import 114 Memory specifications from accepted c47a992, including the two missing evidence/attention specs; regenerate shared core and atlas from actual GitHub observations.",
    "Synchronize onboarding counts with the 1778-spec catalog and render retained FPGA evidence links using existing navigation behavior."
  ],
  "tests": [
    {
      "command": "npm run check:queen-issue-proof",
      "status": "passed",
      "result": "Corona 37 cases and Memory 45 cases; each policy replays 16 conformance vectors, 2 tests / 19 assertions.",
      "evidence": "https://github.com/dmitrii-f-t27/trinity/blob/ecc370874f316e86cad6e4df021a4be3e6dfc1da/apps/website/qa/queen-memory-proof.mjs"
    },
    {
      "command": "npm run check:queen-worlds && npm run check:queen-displays && npm run check:queen-continuous",
      "status": "passed",
      "result": "Public repository identity, lifecycle, proof-gated cell paint and continuous map checks passed.",
      "evidence": "https://github.com/dmitrii-f-t27/trinity/blob/ecc370874f316e86cad6e4df021a4be3e6dfc1da/apps/website/qa/queen-repository-worlds.mjs"
    },
    {
      "command": "npm run typecheck:ratchet",
      "status": "passed",
      "result": "179 existing errors across 26 files equal the accepted baseline; no file gained errors. This is not a clean typecheck.",
      "evidence": "https://github.com/dmitrii-f-t27/trinity/blob/ecc370874f316e86cad6e4df021a4be3e6dfc1da/apps/website/scripts/typecheck-ratchet.mjs"
    },
    {
      "command": "npm run build:ci",
      "status": "passed",
      "result": "Production Vite bundle built successfully.",
      "evidence": "apps/website/dist/"
    },
    {
      "command": "PATH=/path/to/zig-0.16.0:$PATH t27c seal --save specs/queen/memory_issue_proof.t27",
      "status": "passed",
      "result": "Pinned native compiler generated the seal and executed 2/2 policy tests. An initial Zig 0.15 attempt was blocked; rerun with 0.16.0 passed.",
      "evidence": "https://github.com/dmitrii-f-t27/trinity/blob/ecc370874f316e86cad6e4df021a4be3e6dfc1da/apps/website/.trinity/seals/queen_queen_memory_issue_proof.json"
    },
    {
      "command": "Canonical source CI completion, app deployment and live cell acceptance",
      "status": "not_run",
      "result": "Source PR123 is merged as c47a992 and its spec artifact passed, but the complete canonical workflow is still running. The app release and live accepted cell have not been verified.",
      "evidence": "https://github.com/dmitrii-f-t27/trinity-memory/actions/runs/37221239322"
    },
    {
      "command": "npm run check:queen-catalog",
      "status": "passed",
      "result": "1778 real specifications across 14 contributing repositories; exact source edges and no fake issue identity. Proof links obey the existing navigation contract.",
      "evidence": "https://github.com/dmitrii-f-t27/trinity/blob/ecc370874f316e86cad6e4df021a4be3e6dfc1da/apps/website/qa/queen-catalog-hive.mjs"
    },
    {
      "command": "npm run check:shared-core && npm run check:queen-atlas && npm run check:queen-languages",
      "status": "passed",
      "result": "The shared core, 14-world / 1641-issue atlas and 437 English / 437 Russian keys pass their contracts.",
      "evidence": "https://github.com/dmitrii-f-t27/trinity/blob/ecc370874f316e86cad6e4df021a4be3e6dfc1da/apps/website/qa/queen-universe-atlas.mjs"
    },
    {
      "command": "node scripts/onboarding-from-spec.mjs --sync && node scripts/onboarding-from-spec.mjs --check",
      "status": "passed",
      "result": "Initial production prebuild rejected five stale catalog counts. The generator synchronized the spec and served copies; 10 tests / 54 assertions passed and the final production build succeeded.",
      "evidence": "https://github.com/dmitrii-f-t27/trinity/blob/ecc370874f316e86cad6e4df021a4be3e6dfc1da/apps/website/specs/catalog/onboarding.t27"
    }
  ],
  "limitations": [
    "The complete canonical source CI must finish successfully before live Memory coverage can be accepted; a successful spec artifact alone does not satisfy the production reader.",
    "Catalog health remains descriptive: imported Memory inventory has 89 ok and 25 warn specifications; this is not a claim that every catalog entry is verified.",
    "Typecheck ratchet preserves 179 existing errors across 26 files; it does not establish a clean typecheck.",
    "No app publication, changed live cell color, new board measurement, full-model result or reward is claimed. App Actions billing/startup failure was reported to the repository owner and requires a successful actual run."
  ],
  "tags": [
    "Engineering",
    "Verification"
  ],
  "blog": {
    "title": "A closed attention issue still needs proof in the map",
    "summary": "A sealed Memory policy and refreshed accepted-source catalog pass local evidence-reader and production-build checks, while live acceptance still depends on canonical CI and publication.",
    "outline": [
      "The attention issue was already closed on GitHub, while the live map had only keyword candidates and no accepted issue-level evidence. This change adds the missing verification path for that existing work.",
      "The Memory policy checks the native contract, retained measurement verifier, 17 file hashes and successful canonical CI at current HEAD. Forty-five reader cases reject changed, missing and unavailable proof; the original Corona checks remain intact.",
      "The accepted Memory source is now cataloged and the local production build passes after synchronizing the onboarding counts. Complete canonical CI, the actual pinned app release and live cell verification still determine whether the change has reached the user."
    ]
  }
}