Tooling: cross-platform byte/codec reproducibility of the make verify surface (no new kappa)

Makefile

@@ -1,6 +1,13 @@
 .PHONY: verify note audit-note tuned-note reuse-note incidence-note dag-note shared-point-note paired-note compact-note complex-note ternary-note fetch
 .DEFAULT_GOAL := verify
 
+# Decode and encode text as UTF-8 regardless of the host locale.  Without
+# this, checks that read UTF-8 proof sources through the locale codec fail on
+# non-UTF-8 hosts (Windows/cp1252, POSIX under LC_ALL=C).  Frozen packages
+# whose checker sources are hash-pinned by a publication manifest rely on this
+# switch instead of source edits.
+export PYTHONUTF8=1
+
 .PHONY: community-audit-check
 community-audit-check:
 	python3 scripts/audit_community_candidate.py --check docs/research/community-audit-arithmetic.json

certificates/affine-vector-screens.json

@@ -142,7 +142,7 @@
   "scope": "Only I plus each full stated zero relation. Other supported binary matrices and subfamilies remain untested.",
   "source_sha256": {
     "docs/research/affine-vector-screens.md": "22e5beab6df8127fc4377142768fc1a0a3317d7e8fba52c089670ecf1aa076b6",
-    "scripts/audit_affine_vectors.py": "a3fccaeadb9a5db72c33787a055a54374504a6aa231907080396b2cf822e94a7",
+    "scripts/audit_affine_vectors.py": "22005bf227b71c5fda051b79d9dc32cc33e4eab0a4202e1041d8576dfcf563f8",
     "scripts/experiments/affine_vector_screens.py": "756778eeca27f490adc7354a122dc50c40375156259991469c47a90949118ea1",
     "scripts/experiments/affine_vector_witnesses.json": "672a4318c48f5286ce088d34736c38957b7f662a5f753d440dbc638e7da5f62a",
     "scripts/experiments/cube_core_family.py": "e58f1f4067bda2d4838343f42ec2505316f006561f0702e869847d88b85413a8",

certificates/batched-network.json

@@ -257,11 +257,11 @@
     "notes/controlled-projector-basis.tex": "e5e83753be8fe41c81fd372a922e256cb1fecb155ce308de6c59edf8723fe08a",
     "notes/fast-gaussian-resampling.tex": "1a81e6b7f9228adace139ef891684db3a894e2a8b6f41b5234275627d25fe455",
     "notes/projector-batching.tex": "7c4708f0cd3f0b2c3a02f13d5f0808b2d7976dbb9145ba9cad48a33c9619e13c",
-    "scripts/batched_bit_rank_moment.py": "f23bcecb8a71fcc89bc69f8e9f7845483f4b150951099bb296f82c4eba29820c",
-    "scripts/batched_network.py": "45d918d5a064339299c21a12f02462ac3fe7e18380fa6a5a6e2542566865b830",
+    "scripts/batched_bit_rank_moment.py": "eecda7c7d65606ae71a1ffede4ef252e2c4b63a20c27be7bfcb5e481f73f2afb",
+    "scripts/batched_network.py": "6ed64906364430a432a0471b725ce098a33516d3f91b29e45b4dae006eb53a79",
     "scripts/bulk_complex_guard.py": "e64bb4e086205155fddf85cea86dbc8f9dcd09af4654d8e4b5c3b2c9b4d04e66",
-    "scripts/controlled_bit_rank_moment.py": "572a1aea08b5b62da000588862d4724fdb47326b95282b76b8e49dd6923f73a0",
-    "scripts/make_batched_patch.py": "dbf2e939833a282e261511a89cf6fd1c59d51c73db0c6ef65f0605c7ebd7ae6a"
+    "scripts/controlled_bit_rank_moment.py": "37b8bbd0a344b2f2225dc42b0ae08184aa0708c9894af3b8fd2893070556f876",
+    "scripts/make_batched_patch.py": "90c55760e4cab7093903a75b44f896d5d5d979a9659b634f8381a2e393ab635e"
   },
   "retained_PR7_commit": "6725c6a17b17871a35353fd29157f4ed851bc114",
   "scope": "Exact exponent and assembly arithmetic for the new batching and dependency-path proofs, consuming the retained PR #7 finite producers and the stated upstream analytic and tape interfaces.",

certificates/block-carry-audit.json

@@ -275,7 +275,7 @@
   ],
   "source_sha256": {
     "docs/research/block-carry-audit.md": "a73886c6040e29931d7344263bc3f57109136e5b1c3fd32efdb825026f7bff5e",
-    "scripts/audit_block_carry.py": "2835f9262e0f835259a18c11aa3469643a19483d62daff90dbb91ddcb46e4505"
+    "scripts/audit_block_carry.py": "e8911e66a68803e0c7321c00aeac6ba06ad78c5080d8fe81878ad5833eae36f9"
   },
   "status": "EXACT BLOCK CARRY SCHEDULE; RETAINED COLUMN RETURNS DEFEAT CARRY READOUT; NO NEW KAPPA",
   "upstream_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a"

certificates/block-core.json

@@ -1027,7 +1027,7 @@
   "source_sha256": {
     "certificates/paired-network.json": "3b28a213059130bf683c3c70c57e083d90d2ffb0a401b8a50332b98b9ebb303f",
     "docs/research/block-core.md": "1e060c64c376e3f8cdf48c207b309d8e03fae871a836e60673c422b2e39f0531",
-    "scripts/audit_block_core.py": "a6ee56d5c238691701e9f17e9f2e7ed109a192d974614f58bdeca57a441ab968",
+    "scripts/audit_block_core.py": "766e5794b1b8ab7a573ffe82e53b65fe1acda0c04de12346dd023a5e0a79ce1a",
     "scripts/experiments/block_core.py": "af94018e8f4b80219a8e9e104eae21e34b66fc670217d03ef54862b59c051fc9",
     "scripts/experiments/rank_product_core.py": "7a91c1188c5d42e864a5d2e42397b09c435b526ae4f4210c44bf615de488708e",
     "scripts/experiments/shared_core.py": "d3c59b61229956cb54ae1ef9145ed213abdf1ae743929de145a77c43656f01a8"

certificates/core-limits.json

@@ -435,7 +435,7 @@
   "retained_kappa": "1/2147483648",
   "source_sha256": {
     "docs/research/core-limits.md": "e1b7b3afdda6265ae16791b4c79fcdd6705d67065163e1672cd68f0166e4501d",
-    "scripts/audit_core_limits.py": "33060eda83c47372daf887fbdbb5e684d2a0a193e527449443948880cbb0c70c",
+    "scripts/audit_core_limits.py": "a4fa5376b7a171ad30e08ca61220fc7acc5a69bcc108e23e4bd5521de1fa2200",
     "scripts/experiments/core_limits.py": "a31a27cc24cf0349a507d1141a2b965ea25f1c60f355d7e13c581305a12d3a43"
   },
   "status": "NECESSARY CORE LIMITS AND INCIDENCE RIGIDITY; NO NEW KAPPA",

certificates/cube-core-family.json

@@ -849,7 +849,7 @@
   "scope": "The large bit central factor is proved generatively; the raw ledger uses all-role completion. Free-side values are benchmarks only. Code screens reject only their specified full-support binary matrices.",
   "source_sha256": {
     "docs/research/cube-core-family.md": "f16140c5ad963d7d3ca8f95a9b54d3d5b0e9da577091862522cd6176cd2da7bb",
-    "scripts/audit_cube_cores.py": "eaf815316abe1a55b43a62e71252243562486248f3275f4a28ee286a34c5cb07",
+    "scripts/audit_cube_cores.py": "7b6e9717e795756c321fdfba56c37314dcb858b2f926061f4fd38bc6be10c17f",
     "scripts/experiments/cube_core_family.py": "e58f1f4067bda2d4838343f42ec2505316f006561f0702e869847d88b85413a8",
     "scripts/experiments/rank_product_core.py": "7a91c1188c5d42e864a5d2e42397b09c435b526ae4f4210c44bf615de488708e"
   },

certificates/cyclic-topology-audit.json

@@ -2237,7 +2237,7 @@
   "full_improved_frame_certificate_supplied": false,
   "source_sha256": {
     "docs/research/cyclic-topology-audit.md": "156f3bc880738b1a6d378fd5d1d97297fd1ae457eb71160690ccb1cc1f42fc4c",
-    "scripts/audit_cyclic_topology.py": "b20ece2cf1337e1808e35b602a0120c6aedaf602fa2315560726a149e9838c29",
+    "scripts/audit_cyclic_topology.py": "eac3182bd57392dbc57a28332c4c4bfbef3dbe45e2e1f41deb5a12b1956e74e2",
     "scripts/finite_bit_contract.py": "3cff26a332cb6056f656b824e3a523fb8937d15206ddcc4118b911ac8df1b2a7"
   },
   "status": "GENERAL EXACT VERIFIER; ROUTING OBSTRUCTION; NO NEW KAPPA",

certificates/disjoint-tensor-compression.json

@@ -338,9 +338,9 @@
   "source_sha256": {
     "docs/research/disjoint-tensor-compression.md": "d7d59f70653b8fbb3cb31fbe6466f73ae48a6b79852f2fe649a9d38e1b9763d1",
     "notes/disjoint-tensor-compression.tex": "528cba56872313b8cd63ff11f523a399dfb3c85cae1a764110ae9d26ac9151ac",
-    "scripts/audit_disjoint_tensor.py": "477db540e972b82751fac6a3a6d6e38fb4141e967261b1f9c260e2c686479a78",
+    "scripts/audit_disjoint_tensor.py": "0630ccbf1394c0ef07eebf72fa93ec7d3684bd3931d7be40a691180606e3f389",
     "scripts/binary_phase_frames.py": "4148cfa313cf050ed25296e8db36d35871520b8318fd086c7d1facf0c6af67d7",
-    "scripts/complex_compression.py": "9b6f758a5985ba5d9fdd726fe6556b3d3b4bd9d98aaf8ba06a7bb58093c4c504",
+    "scripts/complex_compression.py": "e04cf3260388fbc2b109598221e6054e47eacd27d236a50e2c87268e45ecc9b1",
     "scripts/exclusion_circuit.py": "b253f9d7318becda1c1f3b24e2287ed44a9c27fcea00cf9d531afb950d0457a0",
     "scripts/experiments/disjoint_tensor.py": "102dd59bf96033f96ba0dab4c2aba77b3a7a73b67b0f96929ff8b20a98b91cd8"
   },

certificates/dyadic-central-factor.json

@@ -98,9 +98,9 @@
     "notes/complex-compression.tex": "10312815290c7bb8ef4db153e30fba13c032bf17ccaf991a34f1aa6340405a0d",
     "notes/disjoint-tensor-compression.tex": "528cba56872313b8cd63ff11f523a399dfb3c85cae1a764110ae9d26ac9151ac",
     "notes/dyadic-central-factor.tex": "24c0543fb2fd815f114021f929c3efefa1ae79f29c2f7968585bcd4595a96158",
-    "scripts/audit_complex_centers.py": "166b18f560cd0d520d23fa29ee8147e0ea056358c4268a466ec458195a97a960",
+    "scripts/audit_complex_centers.py": "db1a80bdd19ee979e971efcc89cdfe8a06ea085c55c3a5fa4ca38c53446cc8ef",
     "scripts/binary_phase_frames.py": "4148cfa313cf050ed25296e8db36d35871520b8318fd086c7d1facf0c6af67d7",
-    "scripts/complex_compression.py": "9b6f758a5985ba5d9fdd726fe6556b3d3b4bd9d98aaf8ba06a7bb58093c4c504",
+    "scripts/complex_compression.py": "e04cf3260388fbc2b109598221e6054e47eacd27d236a50e2c87268e45ecc9b1",
     "scripts/exclusion_circuit.py": "b253f9d7318becda1c1f3b24e2287ed44a9c27fcea00cf9d531afb950d0457a0",
     "scripts/experiments/complex_centers.py": "3744396587d729253d80980f6310b56e7bf0ea21b165bd178d0d6d4c49faf2e2",
     "scripts/experiments/disjoint_tensor.py": "102dd59bf96033f96ba0dab4c2aba77b3a7a73b67b0f96929ff8b20a98b91cd8",

certificates/fano-completion-audit.json

@@ -7476,7 +7476,7 @@
   "solver_required_for_replay": false,
   "source_sha256": {
     "docs/research/fano-completion-audit.md": "ebdf7452c0dc1810d3820263341c25541ad75b1b0d9f4668011309ef0ec969e2",
-    "scripts/audit_fano_completion.py": "427c369eb2adec9214c5e804bb4413c5a1c4ecbe74ed81c4d65e1b11faa60ed0",
+    "scripts/audit_fano_completion.py": "655aead2c075b9e5b3ce6b1b66ed6d1e831061764366a14608722680d2b71f25",
     "scripts/experiments/fano_completion.py": "6cade2a36b910bf7e68a872dc4fd3560837935cffe80f9526cd012a28b247738",
     "scripts/experiments/fano_routing_witnesses.json": "2017a4401c16ac58ccd7911b1d2128f1a93a98b108672db709e0c21cda4bb693",
     "scripts/experiments/partial_routing.py": "dd67bf46aa70f1372d49c30c4fbbaff5664e27331a79ca3319251ceeec11ec00",

certificates/fano-permutation-audit.json

@@ -12053,7 +12053,7 @@
   "solver_required_for_replay": false,
   "source_sha256": {
     "docs/research/fano-permutation-audit.md": "52ba51b7f3db041b0c7d220ea7cf3488aaf69f41335257f8adcb70a451db6758",
-    "scripts/audit_fano_permutation.py": "168d286a09c9c25852c3edd8832c1dab3c30e8fec87c050a6daec8d075822bc5",
+    "scripts/audit_fano_permutation.py": "d30afbaec55288066ffbac45bf95743e8a200c95d7195141d93313f4a6374ab8",
     "scripts/experiments/fano_completion.py": "6cade2a36b910bf7e68a872dc4fd3560837935cffe80f9526cd012a28b247738",
     "scripts/experiments/fano_permuted_completion.py": "0b48e0ba6399ac9864b733998ff32222e7c25c99de052ab8ea5196872f8010d4",
     "scripts/experiments/fano_permuted_routing_witnesses.json": "b7093d006713f0b026c49b62ac4c502731630d17d15f56a2b63284ad8f4f8102",

certificates/general-network-guard.json

@@ -192,7 +192,7 @@
     "certificates/complex-compression.json": "cf13df2ad68ca0db41e3c5a9dc36accc9cac92d9ec105831ae2bb95365a17927",
     "docs/research/general-network-guard.md": "92074c0c22d41ecea5b2c138e0ebc8e82fe1c27f86d6bd302840f0494a22f7e4",
     "notes/general-network-guard.tex": "f627914b46f355eb996d22e273cb98e0a4a9dd98e41ce0bb7c95dc2c906a9d86",
-    "scripts/audit_general_guard.py": "885743e70450f8da77dd8eee619eb784bd10b3078d4229baf4af2791a2e483c1",
+    "scripts/audit_general_guard.py": "1df04d0eb1f28381cfbb6f7f776246f01d463f9c831b9a57ffc216e11d3cf73f",
     "scripts/experiments/subset_core_family.py": "373a45a8fb4294cdf72d510d54e16d21535227b085aefb008aa092b3ad26e4de",
     "scripts/general_network_guard.py": "790a2064449afdbffd6dbd4adbcf4a28eaf41931ce7134e4a4e8766f3764270c"
   },

certificates/inplace-side.json

@@ -5607,7 +5607,7 @@
   ],
   "source_sha256": {
     "docs/research/inplace-side.md": "c228f131d95f3ea348455c13378c19ed6e3c75af7e14cf68ea0ada445ab3ac72",
-    "scripts/audit_inplace_side.py": "16d295f9f9250d35f6f1de2843d5e13c7adbf88d595ebcd0b65b00d1a938acd9",
+    "scripts/audit_inplace_side.py": "fdbc0fe1807bb827409a4717e1c27ca88b4a2f10f32018cb98aa6e013644dad6",
     "scripts/experiments/core_limits.py": "a31a27cc24cf0349a507d1141a2b965ea25f1c60f355d7e13c581305a12d3a43",
     "scripts/experiments/inplace_side.py": "4e7cb3df2e263f6c7f5907c55e3ee04c08926e6dbc984bbda1722a27b0a48ff6",
     "scripts/experiments/inplace_side_witnesses.json": "90fe710f5daa35cc9e4892b29d712d66110b7b2b4c404da95a960ea7041618b9"

certificates/joint-return-audit.json

@@ -198,7 +198,7 @@
   "scope": "Retained row/column high frames, coordinate-complement early gates on outside points, fixed outer data/auxiliary cuts, and readout containing the row carry. Both return credits are allowed simultaneously; all other new costs are ignored.",
   "source_sha256": {
     "docs/research/joint-return-audit.md": "9c9aaf566f3acc54cff112db5147ae1b41ad9bbdecd1c778ea62888ff94c4265",
-    "scripts/audit_joint_return.py": "da515bbd86dc9597e016c39ce2ea189343699a2d36f51f2224f4c2e39fa69601"
+    "scripts/audit_joint_return.py": "9df7205c7a75552e80b3e7412e7e8602b7216dc7f2b9c2b0bb3c8583f2e32f11"
   },
   "status": "EXACT EARLY READOUT; TWO COORDINATE RETURNS STILL LOSE RANK; NO NEW KAPPA",
   "upstream_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a"

certificates/parity-side.json

@@ -118,7 +118,7 @@
   "scope": "Exact specified DAGs and their deterministic source-span coarsenings only. No lower bound on all parity circuits, all repairs, or arbitrary phase interfaces.",
   "source_sha256": {
     "docs/research/parity-side.md": "75de20f8dcd3d1a2e2d19bc087eda50a6cc77027651f48198868426a80cd12f2",
-    "scripts/audit_parity_side.py": "7cbdd405ce11fa6f7ffcbef3811174f8685ad4640e9330176601d3b3d3e95390",
+    "scripts/audit_parity_side.py": "b2f6c3ec08cad013b3ea242bb17ccf89b0be443f54eb1b103adf0c814213dd84",
     "scripts/binary_phase_frames.py": "4148cfa313cf050ed25296e8db36d35871520b8318fd086c7d1facf0c6af67d7",
     "scripts/experiments/disjoint_tensor.py": "102dd59bf96033f96ba0dab4c2aba77b3a7a73b67b0f96929ff8b20a98b91cd8",
     "scripts/experiments/mixed_point_circuit.py": "f509362b5031976a22af351fd158ae0b4520fa4f286a5176ec37023d672a7ddc",

certificates/positive-side-core.json

@@ -23100,7 +23100,7 @@
   ],
   "source_sha256": {
     "docs/research/positive-side-core.md": "fab9ff0ed8de56cb9c4c1587b65f956f706ab8f3b8afcb9212366218e227f49d",
-    "scripts/audit_positive_side.py": "b021aad944d8a6c023e57b1b48937854803bbb370240c93e0fe359d831c838c9",
+    "scripts/audit_positive_side.py": "0dae3c30f55c0ea4c80b43f192c89b7b36559c014acb6bb6ca0bfdc38b5262ab",
     "scripts/exclusion_circuit.py": "b253f9d7318becda1c1f3b24e2287ed44a9c27fcea00cf9d531afb950d0457a0",
     "scripts/experiments/positive_side_core.py": "0d453ab7e869d2cf6a43d6865de82583edb390d3c75038271f0fc09e0f3828ba",
     "scripts/experiments/rank_product_core.py": "7a91c1188c5d42e864a5d2e42397b09c435b526ae4f4210c44bf615de488708e",

certificates/prime-subset-limits.json

@@ -5319,10 +5319,10 @@
   ],
   "source_sha256": {
     "docs/research/prime-subset-limits.md": "a7271bc0cfc366843f80aad07aba08ca18fa1228393adc2e7b2afcb3f9e997e9",
-    "scripts/audit_prime_subset_limits.py": "8f5c51d415c3248ce965d93469518e8d219020a1192c7be544a1a5f4b95dc1c9",
+    "scripts/audit_prime_subset_limits.py": "17fec0db1f7de1d6b6be251e50993768ebfcc24c8ccff8dfdaa9f25b61e80a34",
     "scripts/experiments/core_limits.py": "a31a27cc24cf0349a507d1141a2b965ea25f1c60f355d7e13c581305a12d3a43",
     "scripts/experiments/prime_subset_limits.py": "3768743ebfd982b7704fdda9c8ee8dd8cfbb4fd126a78396349d075560c047fb",
-    "scripts/search_network.py": "3a4faa5037d9b8e7ca5828afac193a96b6966a8b114f14937921795b24ec4f6a"
+    "scripts/search_network.py": "7365b498427b50dd9faccfbe7a447985dd273c1e2b840fa65774f302ab600446"
   },
   "status": "SCOPED PRIME-POWER FAMILY CEILING; NO NEW KAPPA",
   "upstream_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a"

certificates/quadratic-affine-vectors.json

@@ -433,7 +433,7 @@
   "scope": "Full orthogonality central matrices on exactly the declared real/Gaussian families; not arbitrary supported matrices or subfamilies.",
   "source_sha256": {
     "docs/research/quadratic-affine-vectors.md": "2fefaa114b274944c7eaf26297c062d76a7a5e18c541e40479250ed6d1a8e084",
-    "scripts/audit_quadratic_affine.py": "9b7b3a7b8bcf417d95f19e44ff488733e7a3f4757fd12bd98d417e1d01d70425",
+    "scripts/audit_quadratic_affine.py": "54816412e0a264da6168a68ec5b81d18787f1c3f3322f798c040f99f7dfc30d8",
     "scripts/experiments/quadratic_affine.py": "8f9252bd092eb14779997c6767e090377e91f4d57e6526e9840ae0dd7dcc8f9c",
     "scripts/experiments/quadratic_affine_witnesses.json": "3efcebf41650681a8a21a901cd2f81dc07a0c4d28064b883af16b10c3e0036c3"
   },

certificates/rank-product-core.json

@@ -6052,9 +6052,9 @@
   "source_sha256": {
     "certificates/paired-network.json": "3b28a213059130bf683c3c70c57e083d90d2ffb0a401b8a50332b98b9ebb303f",
     "docs/research/rank-product-core.md": "1028abd145b367f94960264a874b847cdbeb3b4d84dd6d3a890fe4203922bd41",
-    "scripts/audit_joint_frames.py": "3df8061392ce0ba42bbde8c02f2a30c8141145e70e9a48c18da73d3aafb14423",
-    "scripts/audit_rank_product_core.py": "1471f17e86d6c02d5c288116cc3a53544c881ded47a3500f70dac97b366e46a7",
-    "scripts/audit_stage_pair.py": "f4823525abb553f76ea33adf61ed51e88ec38dd6c346dbcac86f69ffa8fb0375",
+    "scripts/audit_joint_frames.py": "7addffad1872205f8996880e52fdf148aa2becb90a9e51d8062c323dedc38a2d",
+    "scripts/audit_rank_product_core.py": "15587265e8e5a90fbcc0acc93f925de575a096fa977cc2bd36790ac249e2e66b",
+    "scripts/audit_stage_pair.py": "c9b49194039a8d18612a5c17f92fb3cb357b46fbcd288649d0ffca2521ac65f8",
     "scripts/experiments/rank_product_core.py": "7a91c1188c5d42e864a5d2e42397b09c435b526ae4f4210c44bf615de488708e",
     "scripts/finite_bit_contract.py": "3cff26a332cb6056f656b824e3a523fb8937d15206ddcc4118b911ac8df1b2a7"
   },

certificates/shared-core.json

@@ -5031,7 +5031,7 @@
   "retained_kappa": "1/2147483648",
   "source_sha256": {
     "docs/research/shared-core.md": "e0e42401e178dae89944a121bb2c50c1cfe75d1de8f0d23eee7c6079f31a110c",
-    "scripts/audit_shared_core.py": "fd257e22b8eef948bd29c2934d15f96ea93bea439e51229965bed53d75e09307",
+    "scripts/audit_shared_core.py": "9df47ab69b2688e2b1b72903b466c352b97ae50e556022caf69cedc9150664a5",
     "scripts/experiments/rank_product_core.py": "7a91c1188c5d42e864a5d2e42397b09c435b526ae4f4210c44bf615de488708e",
     "scripts/experiments/shared_core.py": "d3c59b61229956cb54ae1ef9145ed213abdf1ae743929de145a77c43656f01a8"
   },

certificates/signed-sparse-core.json

@@ -6316,7 +6316,7 @@
   "retained_kappa": "1/2147483648",
   "source_sha256": {
     "docs/research/signed-sparse-core.md": "af33e2775b22b2cbf3cd584b34c767c7c49e3e3e3a34996a24f723d537699446",
-    "scripts/audit_signed_sparse.py": "5b64f4098fcf9092d3e24526f4d6ba90528104fe66396e3e7ee64a7eaf3c8a51",
+    "scripts/audit_signed_sparse.py": "7d58966bf40a8e4cb4c521d97c24b442d57b19a2d75ee081679e9dc1b0d10c2b",
     "scripts/experiments/cube_core_family.py": "e58f1f4067bda2d4838343f42ec2505316f006561f0702e869847d88b85413a8",
     "scripts/experiments/rank_product_core.py": "7a91c1188c5d42e864a5d2e42397b09c435b526ae4f4210c44bf615de488708e",
     "scripts/experiments/shared_core.py": "d3c59b61229956cb54ae1ef9145ed213abdf1ae743929de145a77c43656f01a8",

certificates/single-intersection.json

@@ -52853,7 +52853,7 @@
   "scope": "Full-support matrices C=I+A_j only. Exclusions need not hold for other supported binary matrices; unresolved cases remain. Free-side savings are not constructions.",
   "source_sha256": {
     "docs/research/single-intersection.md": "c3a9be97b38f4ac1e7983842d9f23656671e877ad5144f41894818f4551aa4dd",
-    "scripts/audit_single_intersection.py": "1de7f9a62edc93c624ff2693ae9bb725cf6dc9735ff1caad56f6913aae9448ee",
+    "scripts/audit_single_intersection.py": "1b561f2b0f2c1da790cdebddd3cd6fd80da5ca4f437b30a712d83e9f498db00b",
     "scripts/experiments/single_intersection.py": "08ddae46e5621a5b4c525b504e67ae655abe9b49461d894feaa7abc89a51847d",
     "scripts/experiments/single_intersection_witnesses.json": "c2308a3d21991f5828b0519b191b470f48b2fbbcaa5af0f7aed3986cc7534185"
   },

certificates/split-centers-audit.json

@@ -254,7 +254,7 @@
   "scope": "Exact local active-factor paths and scalar restoration. Family optimum only for the specified hyperplane labels, fixed boundaries, D=0 and B=I; not a lower bound on other point-split matrices or schedules.",
   "source_sha256": {
     "docs/research/early-sharing-and-centers.md": "f8706dbda32f7a07081f4010400ba15124b8ae8edacf73867392f1ce2d7d2d50",
-    "scripts/audit_split_centers.py": "c5cfd0e89120c918b81c4ef0b69b767342457daa1b29ce2b7821658ea7ba6f2a"
+    "scripts/audit_split_centers.py": "810bb7f1a5ef80719df57f4bd17b1c5edffffb2d82a0d91c98813c196e1575ec"
   },
   "status": "POINT-SPLIT LOCAL RANK SAVING; NO NEW KAPPA",
   "upstream_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a"