feat(queen): verify retained Memory attention evidence

apps/website/.trinity/seals/queen_queen_memory_issue_proof.json

@@ -0,0 +1,19 @@
+{
+  "gen_hash_c": "sha256:1fc8028838199f002744ccc8c4f07d0c484ab3891a5860b40dbfe4d61d75b193",
+  "gen_hash_rust": "sha256:20697fa6f847927370e5db58eefa12f7c0199ea8b49a4744283471e3f6fe54e0",
+  "gen_hash_verilog": "sha256:e526dfed7b4ae3a450284f0bdf03285e10f8019721da787e35b03ac05ac19a0d",
+  "gen_hash_zig": "sha256:9bf4a15ac36afa28ecc2b09bf94c90a53cdbaaa07e68b51ea5efe5e38d49a38e",
+  "module": "queen_memory_issue_proof",
+  "ring": 12,
+  "sealed_at": "2026-10-04T16:00:44Z",
+  "sealed_by": "t27c-bootstrap@0.4.0",
+  "spec_hash": "sha256:7875901e265be6cca4915b21f6d9dad525922383406f9243ea5891e56f8056e9",
+  "spec_path": "specs/queen/memory_issue_proof.t27",
+  "tests": {
+    "failed": 0,
+    "failing": [],
+    "forced": false,
+    "passed": 2,
+    "total": 2
+  }
+}

apps/website/conformance/queen_memory_issue_proof.json

@@ -0,0 +1,70 @@
+{
+  "spec_path": "specs/queen/memory_issue_proof.t27",
+  "spec_hash": "7875901e265be6cca4915b21f6d9dad525922383406f9243ea5891e56f8056e9",
+  "vectors": [
+    {
+      "mask": 0,
+      "expected": 0
+    },
+    {
+      "mask": 1,
+      "expected": 0
+    },
+    {
+      "mask": 2,
+      "expected": 0
+    },
+    {
+      "mask": 3,
+      "expected": 0
+    },
+    {
+      "mask": 4,
+      "expected": 0
+    },
+    {
+      "mask": 5,
+      "expected": 0
+    },
+    {
+      "mask": 6,
+      "expected": 0
+    },
+    {
+      "mask": 7,
+      "expected": 0
+    },
+    {
+      "mask": 8,
+      "expected": 0
+    },
+    {
+      "mask": 9,
+      "expected": 0
+    },
+    {
+      "mask": 10,
+      "expected": 0
+    },
+    {
+      "mask": 11,
+      "expected": 0
+    },
+    {
+      "mask": 12,
+      "expected": 0
+    },
+    {
+      "mask": 13,
+      "expected": 0
+    },
+    {
+      "mask": 14,
+      "expected": 0
+    },
+    {
+      "mask": 15,
+      "expected": 1
+    }
+  ]
+}

apps/website/public/agents.t27

@@ -1,5 +1,5 @@
 ; GENERATED by apps/website/scripts/onboarding-from-spec.mjs (gHashTag/trinity)
-; from specs/catalog/onboarding.t27, sha256 6fdda3ba4f6eba6e70374fe260a28067e2a7a55fab2c91626d404586383035af
+; from specs/catalog/onboarding.t27, sha256 b0b993292013f0de28d9111de91d529eeac2101f1510d5a7d46d994c37bb828a
 ; Served as https://t27.ai/agents.t27 and https://t27.ai/llms.txt -- the same bytes at both addresses.
 ; Do not edit either file: edit the spec and re-run the generator.
 
@@ -101,9 +101,9 @@ pub const JS_TS_DIVERGENCES : u16 = 0;
 pub const REQUIRES_RUNNING_OUR_CODE : bool = false;
 
 ; --- The corpus on the day this was written --------------------------------------------------
-pub const MEASURED_AT : str = "2026-10-02";
-pub const SPEC_COUNT : u16 = 1776;
-pub const SPEC_LINES : u32 = 489198;
+pub const MEASURED_AT : str = "2026-10-04";
+pub const SPEC_COUNT : u16 = 1778;
+pub const SPEC_LINES : u32 = 490448;
 ; Health as the manifest reports it. The three add up to SPEC_COUNT, and the test below says so.
 ; These moved a long way on 2026-09-21, and the cause was the instrument, not the corpus: the
 ; wasm served here until then was built from no committed source, and it accepted anything.
@@ -116,8 +116,8 @@ pub const SPEC_LINES : u32 = 489198;
 ; On 2026-10-01 it grew: 160 more specs and two more worlds (trinity#1176). That refresh moved
 ; the manifest and not these numbers, and the publish of t27.ai failed on this file until they
 ; were written; the scan now runs this check before it commits a refresh.
-pub const HEALTH_OK : u16 = 1369;
-pub const HEALTH_WARN : u16 = 231;
+pub const HEALTH_OK : u16 = 1370;
+pub const HEALTH_WARN : u16 = 232;
 pub const HEALTH_FAIL : u16 = 176;
 ; Repositories the manifest was built from, and the worlds the scan found on GitHub.
 pub const REPO_COUNT : u8 = 14;
@@ -147,7 +147,7 @@ pub const HEALTH_FAIL_JS_ONLY : u16 = 0;
 ; Announced, not dropped. A spec here emits a real module that says inside itself what it left
 ; out, as data -- `__NOT_EMITTED__`, a list a tool can read without parsing comments. That is
 ; neither whole nor broken, so it is counted apart and coloured a warning, never a pass.
-pub const HEALTH_PARTIAL : u16 = 131;
+pub const HEALTH_PARTIAL : u16 = 132;
 
 ; --- The game --------------------------------------------------------------------------------
 pub const GAME : str = "Queen Hive";

apps/website/public/llms.txt

@@ -1,5 +1,5 @@
 ; GENERATED by apps/website/scripts/onboarding-from-spec.mjs (gHashTag/trinity)
-; from specs/catalog/onboarding.t27, sha256 6fdda3ba4f6eba6e70374fe260a28067e2a7a55fab2c91626d404586383035af
+; from specs/catalog/onboarding.t27, sha256 b0b993292013f0de28d9111de91d529eeac2101f1510d5a7d46d994c37bb828a
 ; Served as https://t27.ai/agents.t27 and https://t27.ai/llms.txt -- the same bytes at both addresses.
 ; Do not edit either file: edit the spec and re-run the generator.
 
@@ -101,9 +101,9 @@ pub const JS_TS_DIVERGENCES : u16 = 0;
 pub const REQUIRES_RUNNING_OUR_CODE : bool = false;
 
 ; --- The corpus on the day this was written --------------------------------------------------
-pub const MEASURED_AT : str = "2026-10-02";
-pub const SPEC_COUNT : u16 = 1776;
-pub const SPEC_LINES : u32 = 489198;
+pub const MEASURED_AT : str = "2026-10-04";
+pub const SPEC_COUNT : u16 = 1778;
+pub const SPEC_LINES : u32 = 490448;
 ; Health as the manifest reports it. The three add up to SPEC_COUNT, and the test below says so.
 ; These moved a long way on 2026-09-21, and the cause was the instrument, not the corpus: the
 ; wasm served here until then was built from no committed source, and it accepted anything.
@@ -116,8 +116,8 @@ pub const SPEC_LINES : u32 = 489198;
 ; On 2026-10-01 it grew: 160 more specs and two more worlds (trinity#1176). That refresh moved
 ; the manifest and not these numbers, and the publish of t27.ai failed on this file until they
 ; were written; the scan now runs this check before it commits a refresh.
-pub const HEALTH_OK : u16 = 1369;
-pub const HEALTH_WARN : u16 = 231;
+pub const HEALTH_OK : u16 = 1370;
+pub const HEALTH_WARN : u16 = 232;
 pub const HEALTH_FAIL : u16 = 176;
 ; Repositories the manifest was built from, and the worlds the scan found on GitHub.
 pub const REPO_COUNT : u8 = 14;
@@ -147,7 +147,7 @@ pub const HEALTH_FAIL_JS_ONLY : u16 = 0;
 ; Announced, not dropped. A spec here emits a real module that says inside itself what it left
 ; out, as data -- `__NOT_EMITTED__`, a list a tool can read without parsing comments. That is
 ; neither whole nor broken, so it is counted apart and coloured a warning, never a pass.
-pub const HEALTH_PARTIAL : u16 = 131;
+pub const HEALTH_PARTIAL : u16 = 132;
 
 ; --- The game --------------------------------------------------------------------------------
 pub const GAME : str = "Queen Hive";

apps/website/public/t27/files/dmitrii-f-t27/trinity-memory/specs/memory/attention_evidence.t27

@@ -0,0 +1,38 @@
+// SPDX-License-Identifier: Apache-2.0
+// Issue: https://github.com/dmitrii-f-t27/trinity-memory/issues/122
+// Coverage: https://github.com/dmitrii-f-t27/trinity-memory/issues/115
+// Retained layer-0 attention/residual qualification, not a new board run.
+// The consumer first verifies all manifest source/* hashes against this tree,
+// hashes the retained archive, then executes its raw CRC and simulation replay.
+// No receipt flag, closed issue or generated seal alone constitutes this proof.
+// Queen must additionally require accepted default-branch source and green CI.
+module TrinityMemoryAttentionEvidence {
+    pub const TMAE_ISSUE: u32 = 115;
+    pub const TMAE_PAIRS: u32 = 4;
+    pub const TMAE_SIMULATIONS: u32 = 8;
+    pub const TMAE_CONTROLS: u32 = 4;
+
+    pub fn tmae_accept(source_current: bool, archive_exact: bool,
+                       replay_passed: bool, pairs: u32,
+                       simulations: u32, controls: u32) -> bool {
+        return source_current && archive_exact && replay_passed
+            && pairs == TMAE_PAIRS && simulations == TMAE_SIMULATIONS
+            && controls == TMAE_CONTROLS;
+    }
+
+    test complete_retained_evidence {
+        assert tmae_accept(true, true, true, 4, 8, 4);
+        assert TMAE_ISSUE == 115;
+    }
+    test missing_or_wrong_evidence {
+        assert !tmae_accept(false, true, true, 4, 8, 4);
+        assert !tmae_accept(true, false, true, 4, 8, 4);
+        assert !tmae_accept(true, true, false, 4, 8, 4);
+        assert !tmae_accept(true, true, true, 3, 8, 4);
+        assert !tmae_accept(true, true, true, 4, 7, 4);
+        assert !tmae_accept(true, true, true, 4, 8, 3);
+        assert !tmae_accept(true, true, true, 5, 8, 4);
+        assert !tmae_accept(true, true, true, 4, 9, 4);
+        assert !tmae_accept(true, true, true, 4, 8, 5);
+    }
+}