Independent verification: every child record and endpoint adapter of the selected frontier1094 CLIFFORD-RECIPES exact with global phase (no new kappa)

research/frontier1094-recipes-exact-seed76/CASES.json

@@ -0,0 +1,69 @@
+{
+  "archive": {
+    "path": "research/community-frontier1094-audit/selected-replay.tar.gz",
+    "sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6",
+    "pinned_by": "docs/research/community-batch1099-integration.json"
+  },
+  "prefix": "candidate/strict/",
+  "certificate": "research/community-frontier1094-audit/ASSEMBLY.json",
+  "certificate_sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045",
+  "selected_record": "certificates/selected-result.json",
+  "checkpoint_dir": "certificates/checkpoints",
+  "members": {
+    "assembly": "ASSEMBLY.json",
+    "template": "global/hosted/GLOBAL-TEMPLATE.json.gz",
+    "owner_audit": "global/audit/OWNERS-AND-PROFILE.json",
+    "canonical_word": "global/base/providers/gauge44/CANONICAL-WORD.json.gz",
+    "recipes": "global/base/providers/gauge44/CLIFFORD-RECIPES.json",
+    "review": "global/base/providers/gauge44/CLIFFORD-REVIEW.json",
+    "local_programs": "global/base/providers/gauge44/LOCAL-PROGRAMS.json.gz"
+  },
+  "source_artifact_keys": {
+    "canonical_word": "providers/gauge44/CANONICAL-WORD.json.gz",
+    "recipes": "providers/gauge44/CLIFFORD-RECIPES.json",
+    "review": "providers/gauge44/CLIFFORD-REVIEW.json",
+    "local_programs": "providers/gauge44/LOCAL-PROGRAMS.json.gz"
+  },
+  "twin_prefix": "global8/base/providers/gauge44/",
+  "decoys": {
+    "recipes": "global/base/split-centres/CLIFFORD-RECIPES.json",
+    "canonical_word": "global/base/split-centres/CANONICAL-WORD.json.gz"
+  },
+  "slot_pins": {
+    "path": "research/gauge44-slots-t16/construction/slots/SLOT-PINS-k8.json",
+    "sha256": "55dd229684febecb80638eff9c6b3986623e8539c6c956753b350209c3e0efe2",
+    "listed_in": "research/community-frontier1094-audit/SELECTED-SOURCE.json"
+  },
+  "selected_source": {
+    "path": "research/community-frontier1094-audit/SELECTED-SOURCE.json",
+    "sha256": "79b3de5db3dbcb9829789ba58e9e45758926031e2a7d80667a08429d369be53b"
+  },
+  "fixtures": {
+    "lean_exact": {
+      "path": "research/hyperplane-end-lean/HyperplaneEnd/Exact.lean",
+      "sha256": "eebf3a3982af7ab9be45777b272a6aaa523206fa7667ceb6df63ad6589fd8183"
+    },
+    "pr1415": {
+      "path": "research/hpe-lean-semantic-binding/RESULT.json",
+      "sha256": "9c0b3f39d9ef68ed8484f29fd9cb5d57e931580a882157afb593fb28839cbfdf"
+    },
+    "pr702": {
+      "path": "research/cold-wrapper-amplitude-audit/EXPECTED.json",
+      "sha256": "64d9a891148c84bb6e5454ac6a02399a2abb3e553ee62f2719f8ed061eb8a501"
+    }
+  },
+  "expected": {
+    "R": 480,
+    "h": 9,
+    "v": 112,
+    "frames": 1004,
+    "frame_dims": {"0": 1, "1": 120, "2": 168, "3": 168, "4": 73, "5": 27, "6": 168, "7": 152, "8": 126, "9": 1},
+    "children": 2896,
+    "child_ranks": {"1": 1928, "2": 380, "3": 408, "4": 124, "5": 40, "8": 16},
+    "descending_children": 8,
+    "adapters": 224,
+    "port_weights": {"3": 77, "7": 35},
+    "events_per_orientation": {"climb": 3486, "center": 8, "adapter": 1090},
+    "review_status": "PASS_NEW_WORD_EXACT_LOCAL_PHASE_RECIPES"
+  }
+}

research/frontier1094-recipes-exact-seed76/RESULT.json

@@ -0,0 +1,76 @@
+{
+ "binding": {
+  "archive": "research/community-frontier1094-audit/selected-replay.tar.gz",
+  "archive_sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6",
+  "canonical_word_gz_sha256": "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219",
+  "canonical_word_payload_sha256": "4ddb29fb9bc6f27e0c0fbfcf19a2a93a3496ad900d0f6d89059d0305c9576c0c",
+  "certificate": "research/community-frontier1094-audit/ASSEMBLY.json",
+  "certificate_sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045",
+  "global8_twin_byte_identical": true,
+  "local_programs_gz_sha256": "241fde27d4e43f5a9cb6b128f9f76c5131a53d09f0371676163f914d0b0fef3a",
+  "owner_audit_sha256": "30bafff060afcfb3644e951214d66cfaffe58242881c652e28003958b42127cc",
+  "recipes_sha256": "d0768f2164d5f64a2fdbec422f1cfde4e400818792f1904ca541958377243731",
+  "record_or_checkpoint": "certificates/selected-result.json or certificates/checkpoints/frontier1094.json",
+  "review_sha256": "cb0e10a8b284f176526c17177e91186ce09aa3e88b4f6acc561051daa072b0d0",
+  "slot_pins_sha256": "55dd229684febecb80638eff9c6b3986623e8539c6c956753b350209c3e0efe2",
+  "template_sha256": "9c4c51425251389ee9a747c465814cd07c64812c15b7aeef704dad7d65395a74"
+ },
+ "calibration": {
+  "hand_and_structure": "hand values, shortcut agreement and basis dependence",
+  "lean_exact": "3 pairs: canon gate lists, monomial gate lists and rank-7 identities equal the Exact.lean literals",
+  "pr1415": "3 operator digests of T_U o T_E^-1 reproduced",
+  "pr702": "14 frame kernels reproduced (word frames [37, 66, 95, 124, 153, 182, 211, 240, 269, 298, 327, 356, 385, 414])"
+ },
+ "controls": {
+  "adapter_port": "rejected 2/2",
+  "adapter_role": "rejected 2/2",
+  "cz_cross_term": "rejected 7/7",
+  "direction": "rejected 5/5",
+  "fourier_sign": "rejected 7/7",
+  "frame_basis": "rejected 2/2; reordered rows pass 2/2",
+  "gate_order": "rejected 5/5",
+  "global_phase": "rejected 7/7",
+  "input_character": "rejected 7/7",
+  "one_gate": "rejected 4/4",
+  "swap_wrappers": "rejected 5/5",
+  "translation": "rejected 7/7"
+ },
+ "evaluation": {
+  "K_histogram": {
+   "1": 120,
+   "16": 8,
+   "2": 400,
+   "3": 480,
+   "4": 254,
+   "5": 64,
+   "6": 432,
+   "7": 416,
+   "8": 476,
+   "9": 246
+  },
+  "adapters": 224,
+  "children": 2896,
+  "columns": 512,
+  "comparator": "exact packed Gaussian integers, scaled to a common 2^K",
+  "global_phase_included": true,
+  "radix_rule": "beta = 2K + 2",
+  "receipts_sha256": "aaf7b41d99e9e5d4123f230ca5d22478a396f8a5c822e51d35e527d750084f34"
+ },
+ "inventory": {
+  "child_ranks": {
+   "1": 1928,
+   "2": 380,
+   "3": 408,
+   "4": 124,
+   "5": 40,
+   "8": 16
+  },
+  "descending": 8,
+  "frames": 1004,
+  "gate_order_equivalent_adapters": "224 of 224",
+  "monomials": 6016,
+  "relabel_keys": 2896
+ },
+ "scope": "Record level: every child record and endpoint adapter of the gauge44 CLIFFORD-RECIPES.json equals T_new T_old^-1 (climb and centre relabels) or satisfies Lemma G H6; not the 36 residual wrapper recipes, the identity adapters, the executor bridge, a Lean proof or a new kappa",
+ "status": "PASS_FRONTIER1094_RECIPES_EXACT"
+}

research/frontier1094-recipes-exact-seed76/SOURCES.json

@@ -0,0 +1,78 @@
+{
+  "schema_version": 1,
+  "base_commit": "0b1cccf86e2f5132ed286a26ef0a681a495740ea",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11",
+      "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "06c96f5579bb67ed1b86d334e78fbed7da6945f1",
+      "sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075"
+    },
+    {
+      "path": "docs/research/community-batch1099-integration.json",
+      "usage": "input",
+      "git_blob": "9d60e86c0e494d17bec5e28eda41b275c9ede64e",
+      "sha256": "684c50d1ac69863e1fcc0a34bf76c54bac576f6bbde79b3c67d8432a495c8c1c"
+    },
+    {
+      "path": "research/cold-wrapper-amplitude-audit/EXPECTED.json",
+      "usage": "input",
+      "git_blob": "64bb189e2e5c86da68f1b53bec8296a4220f583b",
+      "sha256": "64d9a891148c84bb6e5454ac6a02399a2abb3e553ee62f2719f8ed061eb8a501"
+    },
+    {
+      "path": "research/community-frontier1094-audit/ASSEMBLY.json",
+      "usage": "input",
+      "git_blob": "5fd676df060f3b450782fdf5ff5f6beb63a5eeb0",
+      "sha256": "1122cb3a575f8c788345fc1bf4c108ac7c3250fb81a5988671f5eb04b3ab3045"
+    },
+    {
+      "path": "research/community-frontier1094-audit/SELECTED-SOURCE.json",
+      "usage": "input",
+      "git_blob": "6a75493790b4eff9c4a98051ef8b01d6aad0d5a8",
+      "sha256": "79b3de5db3dbcb9829789ba58e9e45758926031e2a7d80667a08429d369be53b"
+    },
+    {
+      "path": "research/community-frontier1094-audit/selected-replay.tar.gz",
+      "usage": "input",
+      "git_blob": "c24daf067f9c543421d89ca2eeaa4eb78a57fb6f",
+      "sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6"
+    },
+    {
+      "path": "research/complex-frame-distance-seed80/README.md",
+      "usage": "provenance",
+      "git_blob": "65cf3dccba7f5090fc5158b9dc2209de58a2e35a",
+      "sha256": "ab1efeeb987b9c253633a06c9744a11067e467918a715ee3434fcf3d6c7d204a"
+    },
+    {
+      "path": "research/e8-lemma-g-lean/LemmaG/Stream.lean",
+      "usage": "provenance",
+      "git_blob": "e89897190307a6f3fcfb858f8de00cc5a7f49b3e",
+      "sha256": "7138f4b859d0574a803e99401f05ef5e0ec9eeac0eb480775cd9b86595c365f8"
+    },
+    {
+      "path": "research/gauge44-slots-t16/construction/slots/SLOT-PINS-k8.json",
+      "usage": "input",
+      "git_blob": "2702c368f4de0b671577aee9a0e2df41c1b27658",
+      "sha256": "55dd229684febecb80638eff9c6b3986623e8539c6c956753b350209c3e0efe2"
+    },
+    {
+      "path": "research/hpe-lean-semantic-binding/RESULT.json",
+      "usage": "input",
+      "git_blob": "c9169b5d5d483fc66dcb1ca5c27f2c2fa7124288",
+      "sha256": "9c0b3f39d9ef68ed8484f29fd9cb5d57e931580a882157afb593fb28839cbfdf"
+    },
+    {
+      "path": "research/hyperplane-end-lean/HyperplaneEnd/Exact.lean",
+      "usage": "input",
+      "git_blob": "1af33a206a9ba6c4826b3a1516d104e770380869",
+      "sha256": "eebf3a3982af7ab9be45777b272a6aaa523206fa7667ceb6df63ad6589fd8183"
+    }
+  ]
+}

research/frontier1094-recipes-exact-seed76/TASK.json

@@ -0,0 +1,71 @@
+{
+  "schema_version": 1,
+  "task_id": "independent-moment",
+  "priority_revision": 3,
+  "base_commit": "0b1cccf86e2f5132ed286a26ef0a681a495740ea",
+  "original_card": {
+    "id": "independent-moment",
+    "question": "Can one selected pricing or assembly claim be checked by a genuinely independent exact implementation?",
+    "starting_points": [
+      "certificates/selected-result.json"
+    ],
+    "methods": [
+      "Reconstruct the rank ledger from original operations rather than trusting its aggregate.",
+      "Implement certified moment inequalities through a different exact enclosure method."
+    ],
+    "acceptance_gate": "Demonstrate independence, source binding, positive cases and semantic failure controls.",
+    "first_step": {
+      "command": [
+        "python3",
+        "-B",
+        "scripts/research_baseline.py"
+      ],
+      "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY",
+      "inspect": "Record the selected certificate and complex_profile rather than taking a PR headline as input.",
+      "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay."
+    },
+    "first_experiment": "Recompute one small part of the ledger or one certified enclosure using an independent implementation.",
+    "bottleneck_link": "Independent pricing prevents unsupported frontier claims and can reveal genuine accounting slack.",
+    "allowed_variations": [
+      "Reconstruct either a source ledger or a numeric enclosure with a different method."
+    ],
+    "scope_change_triggers": [
+      "Importing the primary function and calling its output independent verification."
+    ],
+    "overlap_terms": [
+      "independent moment",
+      "rank histogram",
+      "exact enclosure"
+    ]
+  },
+  "scope_status": "refined",
+  "actual_scope": "One selected assembly premise checked by a genuinely independent exact implementation: Lemma G's RecipesExact on the selected frontier1094 gauge44 word. Every one of the 2,896 stored child recipes satisfies L o F_r o R = T_new o T_old^-1 and every one of the 224 endpoint adapters satisfies its defining identity (Lemma G's H6), exactly on all 512 columns of C^(2^9), global phase included, with a kernel written from scratch and calibrated against Lean-literal and published operator digests.",
+  "scope_change_reason": "The card's method (reconstruct from original operations, not aggregates) is applied to the selected word's stored phase recipes rather than its rank ledger: the rank ledger was rebuilt independently in our #1262 and the frame ranks by seed80 (no phase claim). The producer's lower_child check (signed Z4 tableau plus column 0) is complete but ran in the producer's own code at generation time; the Lemma G package's independent checkers (I-tr, check_adapters.py) ran on four other words. No pricing number changes.",
+  "bottleneck_link": "Side result on the selected record's soundness, no kappa change. Every climb priced as a rank-r child relies on its recipe executing T_new o T_old^-1 exactly. This gives a second, independent, byte-bound check of that premise at record level for every child record and endpoint adapter of the selected word's CLIFFORD-RECIPES.json; the 36 residual wrapper recipes, the identity adapters, the executor bridge and a Lean formalisation of this instance stay open.",
+  "budget_minutes": 210,
+  "stop_rule": "Stop when all 2,896 children and 224 adapters are checked exactly on all columns with a calibrated kernel and the mutation controls reject; pre-declared fallback: report adapters plus every edge with dim(new) <= 7 as checked and the rest as pending if the full set cannot be finished.",
+  "outcome": "completed",
+  "evidence": "RESULT.json: binding to frontier1094 certificate 1122cb3a, capsule f1da8061, recipes d0768f21, word payload 4ddb29fb (gz 16bc0ebb); inventory 1,004 frames, 2,896 children (ranks 1:1928, 2:380, 3:408, 4:124, 5:40, 8:16; 8 descending centre reversals) = relabel keys of both orientations (3,486 climbs + 8 centres each), 224 adapters, 6,016 monomials well formed; calibration: Exact.lean gate lists and three rank-7 pair identities, #1415's three operator digests, #702's 14 frame kernels (word frames 37+29k) reproduced; evaluation: 2,896 children and 224 adapters exact on 512 columns, global phase included, K histogram {1:120,2:400,3:480,4:254,5:64,6:432,7:416,8:476,9:246,16:8}, about 33 s CPU; 12 semantic controls rejected (phase, input character, CZ term, translation, swapped wrappers, direction, gate order, F_r sign, C_[r] as one gate, adapter port, adapter role, frame basis), positive reordered-rows control passes. 26 tests pass. All 224 endpoint monomials satisfy q(Gx) = q(x), so the D/P order is pinned by the children controls and FX1, not by adapters.",
+  "author": "Sagar Thakrar (thakrarsagar)",
+  "ai_assistance": "Substantial: Claude (Anthropic) via Claude Code. Parallel read-only scout and judge subagents selected the question (both judges ranked it first); four read-only reader subagents and a synthesizer extracted the specification from the Lean files, the capsule and the producer code (read as specification only); the kernel and verifier were then written fresh and checked by the calibration fixtures and controls. A post-PR adversarial review (three reviewers and a verifier) corrected the description of the producer's check (complete but not independent), the scope headline, the identity-adapter count and the credits, and added evaluator-level and inventory negative tests.",
+  "open_questions": [
+    {
+      "question": "Does the emitted/hosted executor apply these records with exactly these semantics (the bridge rec(A,B) = the record's circuit operator)?",
+      "why_it_matters": "RecipesExact is about the stream's relabels; this package certifies the stored records, so the executor bridge (H1, check_extended_labels, lg_phys.run) is what connects them.",
+      "first_step": "Replay the forward orientation's first 100 climb events through an independent statevector executor of the emitted program and compare with the record operators.",
+      "blocked_by": "An independent executor for the emitted program format."
+    },
+    {
+      "question": "Are the 36 residual wrapper recipes (RESIDUAL-ADAPTERS.json) and their 480 residual events per orientation exact?",
+      "why_it_matters": "They are the remaining non-identity recipes of the selected word and feed Lemma A.",
+      "first_step": "Reuse clifford.py on RESIDUAL-ADAPTERS.json after binding it through the owner audit; the Lean pairs 2:999 and 3:998 are already among them.",
+      "blocked_by": "None."
+    },
+    {
+      "question": "Can the per-record packed check be emitted as a certificate that Lean's Clifford.check kernel-checks for this instance?",
+      "why_it_matters": "The packed equality used here is the Lean check's radix rule; kernel-checking it would turn this independent replay into a formal result for the instance.",
+      "first_step": "Emit the 3,120 identities as Lean `check` terms for one rank class and time `lake build` with an approved toolchain.",
+      "blocked_by": "A Lean toolchain (not installed here)."
+    }
+  ]
+}

research/frontier1094-recipes-exact-seed76/VERIFY.json

@@ -0,0 +1,45 @@
+{
+  "schema_version": 1,
+  "status": "ready",
+  "python": "3.12",
+  "requirements": [],
+  "inputs": [
+    "certificates/selected-result.json",
+    "docs/research/community-batch1099-integration.json",
+    "research/cold-wrapper-amplitude-audit/EXPECTED.json",
+    "research/community-frontier1094-audit/ASSEMBLY.json",
+    "research/community-frontier1094-audit/SELECTED-SOURCE.json",
+    "research/community-frontier1094-audit/selected-replay.tar.gz",
+    "research/gauge44-slots-t16/construction/slots/SLOT-PINS-k8.json",
+    "research/hpe-lean-semantic-binding/RESULT.json",
+    "research/hyperplane-end-lean/HyperplaneEnd/Exact.lean"
+  ],
+  "commands": [
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "timeout_seconds": 600,
+      "checks": "Byte binding selected record -> frontier1094 certificate -> capsule -> owner audit/template -> gauge44 CANONICAL-WORD, CLIFFORD-RECIPES, CLIFFORD-REVIEW, LOCAL-PROGRAMS and SLOT-PINS-k8; inventory (2,896 child records = directed edges incl. both centre directions = climb/centre relabel keys of both orientations; ranks, nesting; 224 endpoint adapters; 6,016 monomials well formed); kernel calibration against the Exact.lean literals, #1415's operator digests and #702's 14 frame kernels; every child L F_r R T_old = T_new and every adapter identity exact on all 512 columns with global phase (packed Gaussian integers, beta = 2K+2); 12 semantic mutation controls rejected; RESULT.json byte-identical."
+    },
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-B",
+        "-m",
+        "unittest",
+        "discover",
+        "-s",
+        "{package}",
+        "-p",
+        "test_package.py"
+      ],
+      "timeout_seconds": 300,
+      "checks": "Standard-library-only imports; projective and column-0-only comparators shown to accept phase and input-character errors that the exact comparator rejects; radix guard, measured digit bound on the 16-gate identities and a collision at beta = 2K; 12 semantic controls; rank-class phase mutants; mutated child and adapter records rejected by evaluate(); receipts list each pair once; I5/I6/I7 and fixture-pin negatives; decoy recipes/word, flipped recipe byte, duplicate key, flipped archive byte and unsafe members rejected; calibration reproduced."
+    }
+  ]
+}