integer-mult-bounds/certificates/checkpoints/frontier4359.json at main · CrocSwap/integer-mult-bounds · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
{
  "status": "Maintainer-reviewed conditional productive-helper construction; see integration receipt for publication state",
  "kappa": "23/10000",
  "decimal": "0.0023",
  "source_prs": [
    4359,
    4268,
    3945,
    4085,
    2979,
    4076,
    4088,
    1673,
    1758,
    1786,
    23,
    555,
    589
  ],
  "source_manifest": "certificates/frontier4359-source.json",
  "certificate": "research/kappa-rebuild/CLAIM.json",
  "certificate_sha256": "d575e6b99aa8e37fbf2ab328eeecc175cedf584e4842d9711bfb522f208f73e5",
  "proof": "docs/research/pr-intake-evidence/pr4359/PROOF-REVIEW.md",
  "proof_supplements": {
    "notes/batched-bit-rows.tex": "ef72c0ead19373cbc19c8a3aacb44dd0f75353ee5f4d055f775a986a4878022c",
    "notes/batched-complex-rows.tex": "64c70926a8705874f1c9b42a2f703e42cad4e90f927f544458cfdf729540236c",
    "notes/compact-control-movement.tex": "b963c3d2f4e1b7059aa289bb4b4ac89b688920bcf42f5b20d7698cdef0132cc6",
    "notes/general-clifford-frames.tex": "c9bb9655b594583c6b4bab8cb485233f1d1e588f83858cf1e4c3530cee8fed54",
    "notes/stopped-product-complex.tex": "4738089103a4b263b3b0ef458f5ef35519c696f1ea871ae79e508d3720f5870a",
    "notes/three-stage-cover-bit.tex": "47123a756f823c83a0d48cca2bf5add6472cd88410b13aed345e70c8834fb511",
    "notes/three-stage-cover-rows.tex": "6ad97a5cd7d6aecf978a81226e1c2763d37840caca130c61f3bf5c4ac111c5c8",
    "references/semantic-bulk/pr23/semantic-bulk-17-note.tex": "652242b05174bb776ffc6165af170df9c8cf220dbd0fc26c24d778f320dbabc8",
    "research/e8-bit-carrier-skeleton/code/bit/export_records.py": "8a5999601f917dbb492bb9ae9a344611f18cc7cedc53dc3c76496a369e530eb3",
    "research/e8-bit-carrier-skeleton/code/nine/geometry.py": "36eeda3184bd009e89462b65c8725d10860c444f8da8f1f87e5f6e50120011ca",
    "research/e8-bit-p111-tuned/code/gen_p3.py": "438b83f10d70ceca7cf78049420204b7de2dc61682f913c50a62596106ad84cd",
    "research/e8-bit-p111-tuned/code/xcheck_p.py": "af3decc877e27c00001cf56f50c6c09566e8e101297ab34c7860aed96a06d80e",
    "research/e8-bit-p111-tuned/tune/EXPECTED.json": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4",
    "research/e8-bit-p111-tuned/tune/apply.py": "806ae4cb2648e4f05dcf56bd089891fd3ba33a6ee5fe76d3329e322c6770c1a1",
    "research/e8-bit-p111-tuned/tune/wlib.py": "a37fdf3cdf5f62945c2a90193401c0e9edc9dd3cda8d8cb36a3b9c329ebe4dbc",
    "research/t74-native-fast/vendor/native/new/code/borrow/vendor/clifford/clifford_exact.py": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
    "docs/research/pr-intake-evidence/pr4359/PROOF-REVIEW.md": "7d67bb814285f7634029fbd378c6457156545f0b38858cc1c6ec34b68cd9d162"
  },
  "review": "docs/research/pr-intake-evidence/pr4359/PROOF-REVIEW.md",
  "validation": "docs/research/pr-intake-evidence/pr4359/VALIDATION.json",
  "integration": "docs/research/pr-intake-evidence/pr4359/INTEGRATION.json",
  "reproduce": "make frontier4359-verify",
  "scope": "Productive-helper p3 construction under retained analytic decomposition, exact recovery, native ordered movement, fixed-tape execution, fine-prime padding and gauge-free outer estimates. Changed interfaces reviewed with AI assistance; no formal or independent human verification of the full theorem. Winning uniform templates are algorithm-defined, not materialized. Frozen claim publication booleans describe submission time. Unrelated H-branch research is not selected.",
  "previous_kappa": "836330098538459/500000000000000000",
  "previous_record": "certificates/checkpoints/frontier1094.json",
  "audited_source_head": "da637c87c89482bc4c86be36bd0071b3d400dbed"
}