Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 31 additions & 0 deletions SOURCES.json
Original file line number Diff line number Diff line change
Expand Up @@ -500,5 +500,36 @@
],
"scope": "Conditional on retained analytic, uniform-recursion and fixed-tape contracts; complete local paired-cube schedule, exact core sharing and scalar charge supplied in the proof.",
"curation": "Selected paired-coordinate cube only, compact frozen carrier arcs and bit subset, exact suppliers and assembly. Excludes fallback shared_core results, paired-five motifs, other candidate graphs, search screens and PDFs."
},
"paired_cube_h21_bit_extension": {
"contributor": "eumemic",
"assistance": "Prepared with Anthropic Claude assistance.",
"predecessor_pr": 144,
"predecessor_commit": "c8b22bc5c10dba497ac25804e27d9647d818e2ff",
"kappa": "5108289/10000000000",
"proof": "notes/paired-cube-note.tex",
"certificate": "certificates/paired-cube-network.json",
"bit_word": "references/paired-cube/fib-bit-h21/SOURCE.json",
"change": "PR144 paired cubes at p=11 (h=22) with frozen carrier arcs, and a hash-pinned h=21 bit word in PR97 format with a PR144-style gauge subset; PR144 scripts, checks and assembly otherwise unchanged.",
"adopted": [
{
"pr": 144,
"contributor": "icekylinx",
"commit": "c8b22bc5c10dba497ac25804e27d9647d818e2ff",
"role": "Paired-cube complex construction, shared cores, bit gauge-subset rule, finite bridge and assembly."
},
{
"pr": 97,
"contributor": "Zhihao Chen (jacklightChen)",
"commit": "e15350b66e4bf796153a68c240a6cc1b788abe3e",
"role": "Unchanged frozen-word reader deferred.py and literal frame ledger, run on the h=21 word."
},
{
"contributor": "Swapnil Jain",
"commit": "741e7aa078392553815df7926ee17ac5e25a8c38",
"role": "Round-seven bit producer lineage (PR62 interval strips) and checkers, run on the h=21 word."
}
],
"scope": "Conditional on the retained PR144 analytic, uniform-recursion and fixed-tape contracts."
}
}
176 changes: 85 additions & 91 deletions certificates/paired-cube-bit-input.json
Original file line number Diff line number Diff line change
@@ -1,105 +1,99 @@
{
"R": 28866,
"W_per_vertex": 32408,
"R": 21526,
"W_per_vertex": 24186,
"auxiliary_histogram": {
"0": 0,
"1": 54934,
"10": 158,
"11": 455,
"12": 195,
"13": 342,
"14": 110,
"15": 860,
"16": 768,
"17": 1447,
"18": 613,
"19": 760,
"2": 64843,
"20": 2387,
"21": 413,
"22": 0,
"3": 13324,
"4": 11006,
"5": 6031,
"6": 1625,
"7": 750,
"8": 1163,
"9": 494
"1": 42453,
"10": 1532,
"11": 2552,
"12": 166,
"13": 1055,
"14": 825,
"15": 1018,
"16": 824,
"17": 156,
"18": 1890,
"19": 325,
"2": 27535,
"3": 5405,
"4": 4506,
"5": 3006,
"6": 2191,
"7": 294,
"8": 539,
"9": 1011
},
"child_histogram": {
"1": 193950,
"10": 474,
"11": 1365,
"12": 585,
"13": 1059,
"14": 330,
"15": 2580,
"16": 3180,
"17": 4935,
"18": 3246,
"19": 9987,
"2": 200588,
"20": 7161,
"21": 1242,
"22": 75,
"3": 40116,
"4": 33642,
"48": 72,
"5": 18126,
"51": 131,
"54": 806,
"57": 3871,
"6": 4875,
"60": 1307,
"63": 1596,
"66": 1760,
"7": 2250,
"8": 3489,
"9": 1482
"1": 150003,
"10": 4596,
"11": 7656,
"12": 498,
"13": 3177,
"14": 2916,
"15": 4014,
"16": 3834,
"17": 5643,
"18": 5670,
"19": 987,
"2": 87191,
"20": 81,
"3": 16848,
"39": 3,
"4": 13548,
"42": 103,
"45": 111,
"48": 874,
"5": 9018,
"51": 2982,
"54": 993,
"57": 1189,
"6": 6573,
"60": 1320,
"7": 882,
"8": 1617,
"9": 3033
},
"copied_center_histogram": {
"22": 23
"20": 21
},
"deficit_per_vertex": 2024,
"h": 23,
"loss": 506,
"m": 69,
"omitted_roles": 2022,
"rank_per_vertex": 2234128,
"deficit_per_vertex": 1400,
"h": 21,
"loss": 420,
"m": 63,
"omitted_roles": 1335,
"rank_per_vertex": 1522318,
"selected_rank_histogram": {
"16": 72,
"17": 131,
"18": 806,
"19": 3871,
"20": 1307,
"21": 1596,
"22": 1760
"13": 3,
"14": 103,
"15": 111,
"16": 874,
"17": 2982,
"18": 993,
"19": 1189,
"20": 1320
},
"selected_roles": 9543,
"selection_file": "references/paired-cube/pr97-subset/selection.json",
"selection_sha256": "5a41dee894702cb880385d826648a3e759b85a6de6824ecbef63b73b8c6e1354",
"selected_roles": 7575,
"selection_file": "references/paired-cube/fib-bit-h21/selection.json",
"selection_sha256": "bb9d9415c5689449c52bd194009b85adcc215503b2410927f4fa8c74d3f37b3a",
"source_data_histogram": {
"1": 5061,
"13": 11,
"16": 198,
"17": 22,
"19": 1540,
"3": 23,
"4": 208,
"5": 11
"1": 3790,
"15": 190,
"17": 1140,
"3": 180,
"4": 10
},
"source_manifest": "references/partial-gauge/pr97/SOURCE.json",
"source_manifest_sha256": "68fb539abcd6df21d142e4e204b6e9482eb7f9cd3907650f54bd058070266596",
"source_manifest": "references/paired-cube/fib-bit-h21/SOURCE.json",
"source_manifest_sha256": "f8f6cb09c6a20e5650e8e6989a73188265158a9af8170d2a4e2339a482d43f06",
"target_data_histogram": {
"1": 4655,
"16": 94,
"17": 176,
"18": 469,
"19": 1029,
"2": 839,
"21": 1,
"22": 2,
"3": 25
"1": 3758,
"13": 4,
"14": 147,
"15": 130,
"16": 454,
"17": 585,
"19": 4,
"2": 642,
"20": 6,
"3": 31
},
"v": 1771
"v": 1330
}
136 changes: 66 additions & 70 deletions certificates/paired-cube-complex-input.json
Original file line number Diff line number Diff line change
@@ -1,86 +1,82 @@
{
"R": 26417,
"W_per_vertex": 29937,
"c": 24767,
"R": 18473,
"W_per_vertex": 21113,
"c": 16148,
"child_histogram": {
"1": 79374,
"10": 5829,
"11": 3261,
"12": 3291,
"13": 2028,
"14": 6972,
"15": 2478,
"16": 6789,
"17": 4794,
"18": 1194,
"19": 11760,
"2": 81787,
"20": 11880,
"21": 2640,
"22": 2712,
"23": 0,
"24": 0,
"3": 34704,
"4": 29763,
"5": 22455,
"6": 8535,
"60": 4840,
"7": 7929,
"8": 7881,
"9": 3603
"1": 59292,
"10": 3171,
"11": 939,
"12": 4536,
"13": 2121,
"14": 5178,
"15": 3075,
"16": 837,
"17": 9438,
"18": 8910,
"19": 1980,
"2": 58071,
"20": 2046,
"21": 0,
"22": 0,
"3": 23694,
"4": 20973,
"5": 16770,
"54": 3630,
"6": 5652,
"7": 3801,
"8": 5250,
"9": 2658
},
"copied_centers_already": true,
"deficit_per_vertex": 1936,
"h": 24,
"loss": 528,
"m": 72,
"matched": 6074,
"deficit_per_vertex": 1320,
"h": 22,
"loss": 440,
"m": 66,
"matched": 3472,
"matching_frames": "coordinate",
"phase1_operations": 13616,
"q": 7724,
"rank_per_vertex": 2153528,
"phase1_operations": 10096,
"q": 5797,
"rank_per_vertex": 1392138,
"remaining_internal_histogram": [
11459,
19418,
24329,
11568,
9921,
7485,
2845,
2643,
2627,
1201,
1943,
1087,
1097,
676,
2324,
826,
2263,
1598,
398,
3920,
440,
880,
904,
7015,
14484,
17157,
7898,
6991,
5590,
1884,
1267,
1750,
886,
1057,
313,
1512,
707,
1726,
1025,
279,
3146,
330,
660,
682,
0,
0
],
"selected_rank_histogram": {
"20": 4840
"18": 3630
},
"selected_roles": 4840,
"selected_roles": 3630,
"source_data_histogram": {
"1": 1760,
"2": 1760,
"20": 1760
"1": 1320,
"18": 1320,
"2": 1320
},
"target_data_histogram": {
"0": 12760,
"1": 5280,
"20": 1760
"0": 9570,
"1": 3960,
"18": 1320
},
"total_M_operations": 49424,
"untouched_non_source_roles": 15417,
"v": 1760
"total_M_operations": 33301,
"untouched_non_source_roles": 10335,
"v": 1320
}
Loading