research: realize PR992 sharp T29 profile with exact bin inventories

research/t29-capacity-audit/ACCEPTANCE.json

@@ -0,0 +1,33 @@
+{
+  "accepted_at": "2026-10-13T19:18:51.199838+00:00",
+  "status": "ACCEPTED_FOR_PUBLICATION",
+  "review_receipt": "POSTFIX-REVIEW.json",
+  "review_receipt_sha256": "0dd6de88afd4a4644cbddf929fc4ae5e42f34d7bb6c8ff2efb5a5b65e77402b4",
+  "resolved_findings": {
+    "R1": "resolved: two explicit checked realizations, no claim all necessary-range values feasible",
+    "R2": "resolved: all seven aggregate and inventory deltas independently agree",
+    "R3": "resolved: semantic profile check before default and write; eight relocated malformed-profile CLI failures create no output",
+    "R4": "resolved: one Cartesian enumeration plus independent maximum-price DP"
+  },
+  "scientific_scope": "historical fixed-U8 PR992 T29 integer packing; no chronology/geometry/physical owner/new kappa/PR1042 claim",
+  "reviewed_implementation_unchanged": true,
+  "leader_post_review_edits": {
+    "CLAIM.json": "Added supported result and scope; original prospective claim retained.",
+    "README.md": "Corrected file ownership and linked accepted post-fix review; mathematical content and reproduction unchanged."
+  },
+  "package_sha256": {
+    "CLAIM.json": "56d1593d52cee036f22971c9acc28d84f8d9fc30f78dfea3fba9f7e905976f16",
+    "EXPECTED.json": "2d6301982d58e9176b3d1fd2353803ef1e183d8f22bf3ee2c9d26af4ed069384",
+    "FINAL-REVIEW.json": "73c73cc89f822d90f30ff1cc88e1dcc8f21a405a9d0d380a0409640705c25027",
+    "OVERLAP.json": "56dc7882e699c89533526e9914ea221ba141a353ab29fc4eda8c3431a7bc5a13",
+    "POSTFIX-REVIEW.json": "0dd6de88afd4a4644cbddf929fc4ae5e42f34d7bb6c8ff2efb5a5b65e77402b4",
+    "PROOF.md": "9fc548c21d2d7ee8b23dcb67d9001b8bc604f1e2a7bea32f3303b12e5053a02e",
+    "README.md": "a5fc57725fe397d57d35d860dbef42efe8051388b73b5d09f2f6ff7ca2fb8b47",
+    "REVIEW.md": "fc922062470afcc0b6c03a7a5de8b66ba64b5777fc9eeb5ecdc140662e227d53",
+    "SOURCES.json": "412117fd06d9f7b6f45ee394c5ad03f66ba20737a47ebb658f08719b37799695",
+    "WITNESS.json": "07f269952622b3cb562dd3988f1e5e55b491dc1fcc0c46f848208641b10aadbd",
+    "review.py": "344678eac3a3ddeef8ab91502ce33b375accfa4521c53107bbc40517f9a6f6df",
+    "verify.py": "6c58b45b5633c7f619d03cca0337d213c87d1192041b4eb3e5ea1c11605b7430"
+  },
+  "review_type": "Separate AI agent review; not independent human peer review."
+}

research/t29-capacity-audit/CLAIM.json

@@ -0,0 +1,33 @@
+{
+  "track": "adversarial mathematical audit",
+  "assignment_seed": 69,
+  "base_commit": "ba82555c64e1879e4b7decce28186f208fcb8262",
+  "claim_at": "2026-10-13T18:44:13.315534+00:00",
+  "object": "T29 sharp aggregate profile from t37-integrality-audit (PR992): capacity-tagged whole-helper integer bin-pattern realization",
+  "method": "Enumerate legal patterns; exact checked integer witness or exact obstruction certificate with independent implementation and meaningful inventory-preserving controls.",
+  "expected_deliverable": "One source-pinned scoped audit package with reproducible exact checker, evidence and limitations; at most one focused PR.",
+  "expected_finish": "Initial implementation and independent review within approximately60minutes; evidence-driven estimate, not a user hard budget.",
+  "scope_excluded": [
+    "chronology",
+    "geometry",
+    "physical owner schedule",
+    "new kappa",
+    "current1042 changed supplier"
+  ],
+  "coordination": "No open coordination issue surfaced in Astra read-only check. Local claim, ongoing overlap refresh before submission.",
+  "hypothesis": "q_b6cf2a2ce15a43ed:e10",
+  "predecessors": [
+    "PR942 fixed-U8 all-T bound",
+    "PR992 integrality sharpness witness"
+  ],
+  "assistance": "Fable5.1 max implementation; Astra mathematical review; Antigravity Gemini3.8Flash High brainstorming/controls; Codex leader.",
+  "result": {
+    "status": "supported",
+    "statement": "Two distinct exact integer realizations satisfy the fixed-U8 T29 capacity quotas, helper inventories and remainder profile.",
+    "bins": 58464,
+    "helpers": 131544,
+    "negative_controls": 31,
+    "independent_review": "POSTFIX-REVIEW.json",
+    "limits": "Abstract capacity-tagged packing only; no chronology, geometry, physical owner schedule, new kappa or changed PR1042 supplier claim."
+  }
+}