diff --git a/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/circuit-interface/snapshot-audit/SNAPSHOT-ROWS-REVIEW.json b/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/circuit-interface/snapshot-audit/SNAPSHOT-ROWS-REVIEW.json new file mode 100644 index 0000000000..527634cc3b --- /dev/null +++ b/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/circuit-interface/snapshot-audit/SNAPSHOT-ROWS-REVIEW.json @@ -0,0 +1,445 @@ +{ + "FULL_helper_baseline_fields": [ + 224, + 225, + 226, + 227, + 228, + 229, + 230, + 231, + 232, + 233, + 234, + 235, + 236, + 237, + 238, + 239, + 240, + 241, + 242, + 243, + 244, + 245, + 246, + 247, + 248, + 249, + 250, + 251, + 252, + 253, + 254, + 255, + 256, + 257, + 258, + 259, + 260, + 261, + 262, + 263, + 264, + 265, + 266, + 267, + 268, + 269, + 270, + 271, + 272, + 274, + 276, + 278, + 279, + 280, + 281, + 283, + 284, + 285, + 286, + 287, + 288, + 290, + 292, + 294, + 295, + 296, + 297, + 299, + 300, + 301, + 302, + 303, + 304, + 306, + 308, + 310, + 312, + 313, + 315, + 316, + 317, + 318, + 319, + 320, + 322, + 324, + 326, + 328, + 329, + 331, + 332, + 333, + 334, + 335, + 336, + 338, + 340, + 342, + 343, + 344, + 345, + 347, + 348, + 349, + 350, + 351, + 352, + 354, + 356, + 358, + 359, + 360, + 361, + 363, + 364, + 365, + 366, + 367, + 368, + 370, + 372, + 374, + 375, + 376, + 377, + 379, + 380, + 381, + 382, + 383, + 384, + 386, + 388, + 390, + 391, + 392, + 393, + 395, + 396, + 397, + 398, + 399, + 400, + 401, + 402, + 403, + 404, + 405, + 406, + 407, + 408, + 409, + 410, + 411, + 412, + 413, + 414, + 415, + 416, + 417, + 418, + 419, + 420, + 421, + 422, + 423, + 424, + 425, + 426, + 427, + 428, + 429, + 430, + 431, + 432, + 433, + 434, + 435, + 436, + 437, + 438, + 439, + 440, + 441, + 442, + 443, + 444, + 445, + 446, + 447, + 456, + 457, + 458, + 459, + 460, + 461, + 462, + 463, + 464, + 465, + 466, + 467, + 468, + 469, + 470, + 471, + 472, + 473, + 474, + 475, + 476, + 477, + 478, + 479, + 480, + 481, + 482, + 483, + 486, + 487, + 488, + 489, + 490, + 491, + 492, + 493, + 494, + 495, + 496, + 497, + 499, + 502, + 503, + 504, + 505, + 506, + 507, + 511, + 514, + 515, + 516, + 517, + 518, + 519, + 520, + 521, + 522, + 523, + 524, + 525, + 526, + 527, + 528, + 529, + 530, + 534, + 535, + 536, + 537, + 538, + 539, + 540, + 541, + 542, + 544, + 545, + 546, + 547, + 548, + 549, + 550, + 551, + 552, + 553, + 558, + 559, + 560, + 561, + 562, + 563, + 564, + 565, + 568, + 569, + 570, + 571, + 576, + 577, + 578, + 579, + 592, + 593, + 594, + 595, + 596, + 597, + 598, + 599, + 600, + 601, + 602, + 603, + 604, + 605, + 606, + 607, + 608, + 609, + 610, + 611, + 612, + 613, + 614, + 615, + 616, + 617, + 618, + 619, + 620, + 621, + 622, + 623, + 624, + 625, + 626, + 627, + 628, + 629, + 630, + 631, + 632, + 633, + 634, + 635, + 636, + 637, + 638, + 639, + 640, + 641, + 642, + 643, + 644, + 645, + 646, + 647, + 648, + 649, + 650, + 651, + 652, + 653, + 654, + 655, + 656, + 657, + 658, + 659, + 660, + 661, + 662, + 663, + 664, + 665, + 666, + 667, + 668, + 669, + 670, + 671, + 672, + 673, + 674, + 675, + 676, + 677, + 678, + 679, + 680, + 681, + 682, + 683, + 684, + 685, + 686, + 687, + 688, + 689, + 690, + 691, + 692, + 693, + 694, + 695, + 696, + 697, + 698, + 699, + 700, + 701, + 702, + 703 + ], + "all_eight_private_fields_zero_after_last_use": true, + "all_formal_input_columns": 712, + "complete_interval_wire_count": 704, + "constant_intervals": 16687, + "controls": { + "changed_frame": "rejected", + "changed_private_coefficient": "rejected", + "missing_interval": "rejected" + }, + "distinct_frame_row_support_checks": 16023, + "exact_nonzero_support_coefficients": 98056, + "interval_endpoint_checks": 24199, + "interval_interior_update_checks": 16687, + "last_original_private_event": 8702, + "last_scalar_event": 24913, + "native_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "producer_or_checker_imports": [], + "reviewer_sha256": "c8a72435ce0dc8c8f2c387f2ce24bc3e900f9559d3fdc824e4fc4ee4055921fc", + "scalar_macros": { + "add": 19366, + "clear": 16, + "scale": 707 + }, + "scope": "Independent full712 scalar-row reconstruction, interval coverage, native canonical frame accesses and support law. The source minor/cone proof review is separate. Exact native phases for a new capture word, merged-flow synthesis, costs and hosting are not supplied.", + "source_pins": { + "core": "fa60b4af013dd8b8db289845e3ed597720ff955751ad270c3d58236b64080877", + "interface": "5c6c51fbffc07a683e922f17532fd90262ae9e23cc3560a696002073dd234ef3", + "proof": "be9575e1cac8706c42fddff243f435935e098d197edaf7f8689352c93b7e3961", + "receipt": "35698700474f2309a4eea2f192a5afbd2f42f580a7e0e510a0bb5687a87fdc2d", + "snapshots": "3dd1d7388c7d3bca104a21e642b5fcafe175d83a2f1dfce1a3ee3e86b864276c", + "word": "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219" + }, + "status": "PASS_INDEPENDENT_BACKWARD_SNAPSHOT_ROWS" +} diff --git a/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/ALGEBRA.json b/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/ALGEBRA.json new file mode 100644 index 0000000000..764c1541b6 --- /dev/null +++ b/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/ALGEBRA.json @@ -0,0 +1,92 @@ +{ + "arithmetic": "Integer group coefficients and Fraction", + "common_range_dimension_upper_bound_per_cover_element": "8/183", + "corner_port": 11, + "distinct_nonidentity_edge_products": 5824, + "equal_J_subspace_codimension_lower_bound_per_cover_element": "2912/183", + "gram_entry_distribution": { + "-2": 1904, + "0": 6608, + "2": 3920, + "4": 112 + }, + "interface_sha256": "5c6c51fbffc07a683e922f17532fd90262ae9e23cc3560a696002073dd234ef3", + "nonbraid_witness": { + "coefficient_in_K0_K1_K0_minus_K1_K0_K1_corner_0_0": "-1/8", + "coefficient_in_P0_P1_P0_minus_P1_P0_P1_corner_0_0": "1/21952", + "group_columns": [ + 2, + 524, + 521, + 517, + 16, + 32, + 64, + 128, + 256, + 13, + 1024, + 2048, + 4096, + 8192, + 16384, + 32768, + 65536 + ] + }, + "noncommutation_witness": { + "coefficient_in_commutator_P0_P1_corner_0_0": "-1/784", + "group_columns": [ + 5661, + 5662, + 19, + 7, + 5635, + 32, + 64, + 128, + 256, + 5131, + 4619, + 1547, + 2048, + 8192, + 16384, + 32768, + 65536 + ] + }, + "nonisoclinic_witness": { + "coefficient_in_P0_P1_P0_corner_0_0": "1/10976", + "coefficient_in_any_scalar_multiple_of_P0": "0", + "group_columns": [ + 5661, + 5662, + 19, + 7, + 5635, + 32, + 64, + 128, + 256, + 5131, + 4619, + 1547, + 2048, + 8192, + 16384, + 32768, + 65536 + ] + }, + "normalized_trace_P0": "8", + "normalized_trace_P0_P1": "4/7", + "normalized_trace_P0_P1_squared": "27/343", + "normalized_trace_P0_minus_P1_fourth_power": "4758/343", + "normalized_trace_P0_minus_P1_squared": "104/7", + "representation": "Full binary orthogonal matrices; no phase specialization", + "scope": "Exact group-algebra relations and a full-cover dimension bound. No changed supplier, paid router, or kappa claim.", + "source_base": "bce54fb3f895cbe5cd4c0eb477c3afeed100190f", + "star_transposition_checks": 3136, + "status": "PASS_EXACT_ROUTED_PROJECTION_ALGEBRA" +} diff --git a/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/QUERY-MOMENTS-REVIEW.json b/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/QUERY-MOMENTS-REVIEW.json new file mode 100644 index 0000000000..cb3581fdac --- /dev/null +++ b/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/QUERY-MOMENTS-REVIEW.json @@ -0,0 +1,24 @@ +{ + "checker_sha256": "877c902c658fef004511fbd55e4265ac6a6f044d8f8e2e294db29ef33aeca2c8", + "checks": { + "eight_field_cohorts": 8, + "fifth_contraction": "23/2592", + "fourth_contraction": "23/216", + "off_diagonal_support": 4224, + "ordinary_columns": 96, + "positive_measure_attains_first_five_moments": true, + "rank4": "4104/73", + "rank5": "15560/273", + "whole_fields": 57 + }, + "matrix_source_sha256": "5c6c51fbffc07a683e922f17532fd90262ae9e23cc3560a696002073dd234ef3", + "scope": "Independent proof review and exact arithmetic. The frozen finite route-support enumerations are inspected dependencies; this review does not rerun or replace them. The capacity statement uses the full fixed-source regular-cover payload module. No changing-source, native-child, cache construction, or supplier claim.", + "source_pins": { + "QUERY-FIFTH-MOMENT.json": "562d05a6f830f88d36efc148f81a01f3dfa95afbcab8195a9b5add02a5fdb742", + "QUERY-FOURTH-MOMENT.json": "df32110bbd285e3036bdb2082e3307b24edc7515953cab7a1b3b6b684adc1e66", + "QUERY-MOMENTS.md": "91121028d7f084d3c1d53a16ca8a3634ce4ede59fcab31c9a74c4a221c7d75e5", + "check_query_fifth_moment.py": "2eee310e2db3593d4844e9806be695c869d0c101e881d677b5429232beb0e0a4", + "check_query_fourth_moment.py": "e7ff30dfdc23dd929599c05aa037a082060906021d5e9a40e9f586e680d0449e" + }, + "status": "PASS_INDEPENDENT_QUERY_MOMENT_PROOF_AND_ARITHMETIC_REVIEW" +} diff --git a/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/temporal-reuse/SOURCE-MATRIX-BINDING.json b/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/temporal-reuse/SOURCE-MATRIX-BINDING.json new file mode 100644 index 0000000000..5c83649cc9 --- /dev/null +++ b/research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/temporal-reuse/SOURCE-MATRIX-BINDING.json @@ -0,0 +1,24 @@ +{ + "archive_sha256": "22c3f4dce4b897a1d423d1388801933e288b6a6b1906cb15e1b16a5eb68db754", + "fixed_minor_grams": "4 I8", + "full_gram": "56 I8", + "members": { + "slots/local/CANONICAL-WORD.json.gz": [ + "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219", + "4ddb29fb9bc6f27e0c0fbfcf19a2a93a3496ad900d0f6d89059d0305c9576c0c" + ], + "slots/local/LOCAL-PROGRAMS.json.gz": [ + "241fde27d4e43f5a9cb6b128f9f76c5131a53d09f0371676163f914d0b0fef3a", + "9f41d53659e9be84e20c661560c5687abbf5cd0660cdecbe01ad5eb29e6b8ee3" + ] + }, + "pair_products": { + "-2": 952, + "0": 3304, + "2": 1960 + }, + "reverse_output_forms": 8, + "source_columns": 112, + "source_cut": 12550, + "status": "PASS_REVERSE_SOURCE_MATRIX_BINDING" +} diff --git a/research/publication-reviews/centre-evidence-retention/README.md b/research/publication-reviews/centre-evidence-retention/README.md new file mode 100644 index 0000000000..a207df80ff --- /dev/null +++ b/research/publication-reviews/centre-evidence-retention/README.md @@ -0,0 +1,26 @@ +# Review evidence supplement + +This supplement retains 29 existing review outputs that were absent from +the 15 original publication heads. It adds 47,576 bytes of evidence. It +does not change a frozen package, checker, proof, receipt, or claim. + +The [file list](SUPPLEMENT-FILES.json) gives each exact source, +repository destination, byte count, SHA-256, and Git blob identity. It +also records all 15 original heads. The added evidence is: + +- Four encoder negative-control logs, in normal and optimized Python. +- The complete 21-file original-clean replay and guard-control output. +- Four query replay receipts with distinct final bytes. Their hashes + already occur in the published replay summary. + +The [independent retention review](REVIEW.md) checked these bindings. +[REVIEW.json](REVIEW.json) records the decision. Other local cold outputs +either duplicate published bytes, contain text already embedded in the +accepted replay record, or belong to temporary inputs and earlier runs. +Those local files remain preserved. + +The coordinator must copy the listed files without byte changes. The +final Git-object audit must check the supplement commit together with +the 15 original heads. The original head files must remain unchanged. +No mathematical replay or kappa calculation was run for this retention +change. The existing mathematical scope and open obligations remain. diff --git a/research/publication-reviews/centre-evidence-retention/REVIEW.json b/research/publication-reviews/centre-evidence-retention/REVIEW.json new file mode 100644 index 0000000000..b8a93a6bd3 --- /dev/null +++ b/research/publication-reviews/centre-evidence-retention/REVIEW.json @@ -0,0 +1,159 @@ +{ + "all_other_excluded_local_review_paths_classified": true, + "classified_exclusion_count": 644, + "clean_full_replay_summary_equals_committed_summary": true, + "clean_guard_bindings": [ + { + "checker": "replay.py", + "expected_rejection_recorded": true, + "index": 0, + "mode": "normal", + "sha256": "0a88a2765f5cf028d1e83e880c49f49f41e93e2a28cfe37e22f8fcaf4459ca15" + }, + { + "checker": "replay.py", + "expected_rejection_recorded": true, + "index": 0, + "mode": "optimized", + "sha256": "0a88a2765f5cf028d1e83e880c49f49f41e93e2a28cfe37e22f8fcaf4459ca15" + }, + { + "checker": "portable/check_physical_binding.py", + "expected_rejection_recorded": true, + "index": 1, + "mode": "normal", + "sha256": "d96a96a274fda6132b4857182aab34f511e577a9459c4357d2a700fc97737fb5" + }, + { + "checker": "portable/check_physical_binding.py", + "expected_rejection_recorded": true, + "index": 1, + "mode": "optimized", + "sha256": "d96a96a274fda6132b4857182aab34f511e577a9459c4357d2a700fc97737fb5" + }, + { + "checker": "portable/check_binding.py", + "expected_rejection_recorded": true, + "index": 2, + "mode": "normal", + "sha256": "264ac6664765de24813fa96a5c4b000c7d6b1855bddbde87d1053791b85fe560" + }, + { + "checker": "portable/check_binding.py", + "expected_rejection_recorded": true, + "index": 2, + "mode": "optimized", + "sha256": "264ac6664765de24813fa96a5c4b000c7d6b1855bddbde87d1053791b85fe560" + }, + { + "checker": "frozen/work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/check_review.py", + "expected_rejection_recorded": true, + "index": 3, + "mode": "normal", + "sha256": "4f1c43e677355901b66e23f38a8a91f6867b2f0098cf6c0f49e43a22d8ac758d" + }, + { + "checker": "frozen/work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/check_review.py", + "expected_rejection_recorded": true, + "index": 3, + "mode": "optimized", + "sha256": "4f1c43e677355901b66e23f38a8a91f6867b2f0098cf6c0f49e43a22d8ac758d" + } + ], + "encoder_negative_control_bindings": [ + { + "control": "false_requirement", + "expected_rejection_recorded": true, + "mode": "normal", + "sha256": "9a4598edd256287ff146ed6a012af3fdf64400abd54b42556d96b5ba3b6f100d" + }, + { + "control": "outside_read", + "expected_rejection_recorded": true, + "mode": "normal", + "sha256": "374d3d234977492d8097a2d68e6d2cc64fc715d2ef3b34117e4a516a85d28fcd" + }, + { + "control": "false_requirement", + "expected_rejection_recorded": true, + "mode": "optimized", + "sha256": "92467fb23a568bda3ca7573ef0a93b5dd97add6e48566083aaa60a6bf58ef431" + }, + { + "control": "outside_read", + "expected_rejection_recorded": true, + "mode": "optimized", + "sha256": "3ed8c4e09d3a64f2fc965befef226ba9d40642d292edfb19ca2d74a4c1a8f8e0" + } + ], + "frozen_file_edits": false, + "git_mutations": false, + "human_review_claimed": false, + "mathematical_replay_run": false, + "new_retained_bytes": 47576, + "new_retained_files": 29, + "open_material_findings_before_supplement": [ + "The 29 listed paths are absent from the original publication heads. Publish their exact bytes in the evidence-only supplement." + ], + "original_audit_literal_extension_counts": { + ".diff": 4, + ".log": 215, + ".patch": 14, + ".tex": 23 + }, + "original_head_count": 15, + "original_heads": { + "actual-query-information-bounds": "cb102a57254748651ce16aa4454bb611f6380e53", + "affine-centre-access": "4c42b1925ca589ca5a773f3e791d90b28dd79dfa", + "borrowed-centre-storage": "f6dea33c424d6097f7aef9e43a7ce2a134b878ab", + "centre-code-services": "dd6948e95eb002d903ce36dd21e0c075e00790ed", + "centre-metric-encoders": "6c6ff8b48ef238a7adebe2391c3c2912ae90f0c4", + "completed-prefix-outer": "5e3c47e9e60e47971bafe9d09aa8bb1ffb3e8927", + "finite-tagged-centre-reset": "27301def7e7319c1a3b5ac20400ed8ee49724f20", + "fixed-word-gauge-limits": "7bb92fa988137788c098945581a46009804be226", + "native-centre-capture": "a42061bdf5b8974baa21a0a4097bbc9de3a0da1c", + "ordered-centre-interfaces": "70b3c9ad0ee50502f91c31834ac7babc2ff52515", + "original-clean-source-interface": "c1fbda70f9a5be29ea901f156b763d31e4b81507", + "original-paired-gap": "6093fe10aad90178b3c650fed39862c169919f60", + "phase-coded-callers": "3c6a768e5391e6bc8355fe2bc849d2978afef8f6", + "raw-selected-centre-units": "0c4a16bfbcb18eb483bbe617f5ed340b1171356e", + "reciprocal-native-responses": "4c903ff856e2cfbd6fc91d98b6b430e1b4955e72" + }, + "package_bytes_changed": false, + "package_files_verified": 3393, + "publication_gate": "After the coordinator creates the supplement commit, verify its actual blobs and rerun the final audit with original heads plus the supplement.", + "query_receipt_bindings": [ + { + "check": "complete-snapshot-rows", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/circuit-interface/snapshot-audit/SNAPSHOT-ROWS-REVIEW.json", + "status": "PASS_INDEPENDENT_BACKWARD_SNAPSHOT_ROWS", + "summary_receipt_sha256": "099dd4a8e7c5b48eb9536c20c5812c875dbefb9dee819204c75650da67cb9cdd" + }, + { + "check": "cover-algebra", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/ALGEBRA.json", + "status": "PASS_EXACT_ROUTED_PROJECTION_ALGEBRA", + "summary_receipt_sha256": "a7fb6baa7afb90df77db94c80023144a5be3ae78db1aa6272adf7fb761b44b55" + }, + { + "check": "moment-review", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/QUERY-MOMENTS-REVIEW.json", + "status": "PASS_INDEPENDENT_QUERY_MOMENT_PROOF_AND_ARITHMETIC_REVIEW", + "summary_receipt_sha256": "479289a3444327e49d6c50619074c5dc596463b82d1ec4826a1e664f8ba1af23" + }, + { + "check": "source-matrix", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/temporal-reuse/SOURCE-MATRIX-BINDING.json", + "status": "PASS_REVERSE_SOURCE_MATRIX_BINDING", + "summary_receipt_sha256": "b3661339df9a160a078bf3c26fbe23bb1d389d5b3411ce63f0db6b4309bd3870" + } + ], + "query_summary_sha256": "f46154487e1d0eed171f370e220fecf72c42cb04bf4026ec02712a4d09d27b83", + "retention_manifest_sha256": "da061a2ae0c7103f94dce62de9a1f576bdc281c2f5e764cf4029de3d0de3d055", + "reviewer": "storage_package, the final publication byte auditor", + "schema": 1, + "scope": "Retention of existing accepted review outputs. No code, source proof, checker, frozen package, or mathematical claim changes.", + "standard_read": "/Users/aliromman/Projects/IntegerMultiplicationBounds/PR-DESCRIPTION-STANDARD.md", + "status": "ACCEPTED_EXACT_REVIEW_EVIDENCE_RETENTION", + "unclassified_paths": [] +} diff --git a/research/publication-reviews/centre-evidence-retention/REVIEW.md b/research/publication-reviews/centre-evidence-retention/REVIEW.md new file mode 100644 index 0000000000..4e1adb2aa9 --- /dev/null +++ b/research/publication-reviews/centre-evidence-retention/REVIEW.md @@ -0,0 +1,39 @@ +# Independent review of evidence retention + +Decision: accept exact retention of the 29 files in +[SUPPLEMENT-FILES.json](SUPPLEMENT-FILES.json). This review concerns +existing evidence. It does not certify a new mathematical result. + +The final publication byte auditor checked all 15 recorded heads. All +3,393 package files matched their accepted sources. The package and +annex ledgers passed, as did 952 material relative wrapper and review +links. A separate Git batch pass read the actual package and review +blobs and recomputed their byte counts, SHA-256 values, and Git object +identities. + +The retention list has four encoder control logs, the complete +21-file original-clean output directory set, and four query receipts. +All 29 destination paths are absent from their original heads. The +sources total 47,576 bytes. Their exact hashes and destinations are +fixed in the list. + +Each query receipt matches the SHA-256 recorded for its check in the +accepted and published replay summary. All four encoder logs end at +the expected rejection. The accepted review records each control's +failure in normal and optimized Python. All eight original-clean guard +logs end at the expected rejection, and their accepted control records +identify the same checker and mode. The complete original-clean replay +summary equals the already published summary byte for byte. + +The auditor classified all 644 local review paths excluded from the +initial publication map. After this retention list, no unclassified +final evidence remains. Duplicate package bytes, temporary package and +Git-object copies, later PR-body checks, and the earlier paired trial +record remain local. The paired final console text already occurs +exactly in its published accepted replay record. + +No source proof, checker, frozen package, or original head file was +edited. No mathematical check was rerun. This is a separate Codex-agent +review; it does not claim human review. The structured decision is in +[REVIEW.json](REVIEW.json). The final publication gate is an exact Git +blob check after the coordinator creates the supplement commit. diff --git a/research/publication-reviews/centre-evidence-retention/SUPPLEMENT-FILES.json b/research/publication-reviews/centre-evidence-retention/SUPPLEMENT-FILES.json new file mode 100644 index 0000000000..1a20f49a01 --- /dev/null +++ b/research/publication-reviews/centre-evidence-retention/SUPPLEMENT-FILES.json @@ -0,0 +1,462 @@ +{ + "copies": [ + { + "destination": "research/publication-reviews/centre-metric-encoders/failure-controls/normal-false_requirement/output.log", + "source": "reviews/centre-metric-encoders/failure-controls/normal-false_requirement/output.log" + }, + { + "destination": "research/publication-reviews/centre-metric-encoders/failure-controls/normal-outside_read/output.log", + "source": "reviews/centre-metric-encoders/failure-controls/normal-outside_read/output.log" + }, + { + "destination": "research/publication-reviews/centre-metric-encoders/failure-controls/optimized-false_requirement/output.log", + "source": "reviews/centre-metric-encoders/failure-controls/optimized-false_requirement/output.log" + }, + { + "destination": "research/publication-reviews/centre-metric-encoders/failure-controls/optimized-outside_read/output.log", + "source": "reviews/centre-metric-encoders/failure-controls/optimized-outside_read/output.log" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/REPLAY.json", + "source": "reviews/original-clean-source-interface/cold/replay/REPLAY.json" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/content/CHECK.json", + "source": "reviews/original-clean-source-interface/cold/replay/normal/content/CHECK.json" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/content/stdout.txt", + "source": "reviews/original-clean-source-interface/cold/replay/normal/content/stdout.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/owners/CHECKS.json", + "source": "reviews/original-clean-source-interface/cold/replay/normal/owners/CHECKS.json" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/owners/stdout.txt", + "source": "reviews/original-clean-source-interface/cold/replay/normal/owners/stdout.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/physical/CHECKS.json", + "source": "reviews/original-clean-source-interface/cold/replay/normal/physical/CHECKS.json" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/physical/stdout.txt", + "source": "reviews/original-clean-source-interface/cold/replay/normal/physical/stdout.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/content/CHECK.json", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/content/CHECK.json" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/content/stdout.txt", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/content/stdout.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/owners/CHECKS.json", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/owners/CHECKS.json" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/owners/stdout.txt", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/owners/stdout.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/physical/CHECKS.json", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/physical/CHECKS.json" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/physical/stdout.txt", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/physical/stdout.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/0-normal.txt", + "source": "reviews/original-clean-source-interface/guard-controls/0-normal.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/0-optimized.txt", + "source": "reviews/original-clean-source-interface/guard-controls/0-optimized.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/1-normal.txt", + "source": "reviews/original-clean-source-interface/guard-controls/1-normal.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/1-optimized.txt", + "source": "reviews/original-clean-source-interface/guard-controls/1-optimized.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/2-normal.txt", + "source": "reviews/original-clean-source-interface/guard-controls/2-normal.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/2-optimized.txt", + "source": "reviews/original-clean-source-interface/guard-controls/2-optimized.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/3-normal.txt", + "source": "reviews/original-clean-source-interface/guard-controls/3-normal.txt" + }, + { + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/3-optimized.txt", + "source": "reviews/original-clean-source-interface/guard-controls/3-optimized.txt" + }, + { + "destination": "research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/circuit-interface/snapshot-audit/SNAPSHOT-ROWS-REVIEW.json", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/circuit-interface/snapshot-audit/SNAPSHOT-ROWS-REVIEW.json" + }, + { + "destination": "research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/ALGEBRA.json", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/ALGEBRA.json" + }, + { + "destination": "research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/QUERY-MOMENTS-REVIEW.json", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/QUERY-MOMENTS-REVIEW.json" + }, + { + "destination": "research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/temporal-reuse/SOURCE-MATRIX-BINDING.json", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/temporal-reuse/SOURCE-MATRIX-BINDING.json" + } + ], + "file_count": 29, + "files": [ + { + "absent_at_original_head": true, + "bytes": 1363, + "destination": "research/publication-reviews/centre-metric-encoders/failure-controls/normal-false_requirement/output.log", + "git_blob_oid": "e4485b2a3fb37e979ac6c6835aa42ced55496277", + "package": "centre-metric-encoders", + "role": "negative-control output", + "sha256": "9a4598edd256287ff146ed6a012af3fdf64400abd54b42556d96b5ba3b6f100d", + "source": "reviews/centre-metric-encoders/failure-controls/normal-false_requirement/output.log", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/normal-false_requirement/output.log" + }, + { + "absent_at_original_head": true, + "bytes": 2917, + "destination": "research/publication-reviews/centre-metric-encoders/failure-controls/normal-outside_read/output.log", + "git_blob_oid": "d177b75ba04910574a063e7c09dcce203375b897", + "package": "centre-metric-encoders", + "role": "negative-control output", + "sha256": "374d3d234977492d8097a2d68e6d2cc64fc715d2ef3b34117e4a516a85d28fcd", + "source": "reviews/centre-metric-encoders/failure-controls/normal-outside_read/output.log", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/normal-outside_read/output.log" + }, + { + "absent_at_original_head": true, + "bytes": 1366, + "destination": "research/publication-reviews/centre-metric-encoders/failure-controls/optimized-false_requirement/output.log", + "git_blob_oid": "4f4609d38121181d9b0ff6303431174d95dd4a80", + "package": "centre-metric-encoders", + "role": "negative-control output", + "sha256": "92467fb23a568bda3ca7573ef0a93b5dd97add6e48566083aaa60a6bf58ef431", + "source": "reviews/centre-metric-encoders/failure-controls/optimized-false_requirement/output.log", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/optimized-false_requirement/output.log" + }, + { + "absent_at_original_head": true, + "bytes": 2920, + "destination": "research/publication-reviews/centre-metric-encoders/failure-controls/optimized-outside_read/output.log", + "git_blob_oid": "00176f28769e04defb0ab818ac871717e6185910", + "package": "centre-metric-encoders", + "role": "negative-control output", + "sha256": "3ed8c4e09d3a64f2fc965befef226ba9d40642d292edfb19ca2d74a4c1a8f8e0", + "source": "reviews/centre-metric-encoders/failure-controls/optimized-outside_read/output.log", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/optimized-outside_read/output.log" + }, + { + "absent_at_original_head": true, + "bytes": 2486, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/REPLAY.json", + "git_blob_oid": "0c20fc3f7186cf7f14433ee726bd8fa402c04a2a", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "cae2fccd87ea7537757822ea74ef35997fde5b7594347ae6139dc5013b487cd6", + "source": "reviews/original-clean-source-interface/cold/replay/REPLAY.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/REPLAY.json" + }, + { + "absent_at_original_head": true, + "bytes": 3468, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/content/CHECK.json", + "git_blob_oid": "ae17b12bb2a4a05ca43dacf1260bbf91e216a7a5", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "1f14ab4b77f547d9dea6d2ab9966a8081e639cd23b9e31f533a066158d918717", + "source": "reviews/original-clean-source-interface/cold/replay/normal/content/CHECK.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/normal/content/CHECK.json" + }, + { + "absent_at_original_head": true, + "bytes": 168, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/content/stdout.txt", + "git_blob_oid": "431d33fa7175aa781ac77dcd08bf968b0d13a8d6", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "30bb93c1797faf7f1e59f9af86f476aac473640f12c96341659452dee66c81c5", + "source": "reviews/original-clean-source-interface/cold/replay/normal/content/stdout.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/normal/content/stdout.txt" + }, + { + "absent_at_original_head": true, + "bytes": 1959, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/owners/CHECKS.json", + "git_blob_oid": "0f764ae16a0639e80f1b17dbe77fefb47e412b81", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "ac851b96b3806ccba16c09cdb7db351aab78b2e51f417f82a13fcf308c99b822", + "source": "reviews/original-clean-source-interface/cold/replay/normal/owners/CHECKS.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/normal/owners/CHECKS.json" + }, + { + "absent_at_original_head": true, + "bytes": 215, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/owners/stdout.txt", + "git_blob_oid": "413258f3acde0b2eddbf609bd2a96d90192a6922", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "a2fdd81c23acf4e66a93f25a432bd3cbcd5a439e811cb7b9c4c66c011d47b689", + "source": "reviews/original-clean-source-interface/cold/replay/normal/owners/stdout.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/normal/owners/stdout.txt" + }, + { + "absent_at_original_head": true, + "bytes": 4281, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/physical/CHECKS.json", + "git_blob_oid": "b873c95a3192198f996c638bc05c310c4a1411d0", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "93cc707fc5c0d7cae66f7ba527a35cea08919c6211f789c59ca4815a6144f162", + "source": "reviews/original-clean-source-interface/cold/replay/normal/physical/CHECKS.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/normal/physical/CHECKS.json" + }, + { + "absent_at_original_head": true, + "bytes": 820, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/normal/physical/stdout.txt", + "git_blob_oid": "5235493f2cc70f5b0fd310020e98d4c03993d8ad", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "b80e84bf6c6f8c1089e430be8b6389edab0bd73de3647e78cbe0a4cadd2e9833", + "source": "reviews/original-clean-source-interface/cold/replay/normal/physical/stdout.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/normal/physical/stdout.txt" + }, + { + "absent_at_original_head": true, + "bytes": 3468, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/content/CHECK.json", + "git_blob_oid": "ae17b12bb2a4a05ca43dacf1260bbf91e216a7a5", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "1f14ab4b77f547d9dea6d2ab9966a8081e639cd23b9e31f533a066158d918717", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/content/CHECK.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/optimized/content/CHECK.json" + }, + { + "absent_at_original_head": true, + "bytes": 168, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/content/stdout.txt", + "git_blob_oid": "431d33fa7175aa781ac77dcd08bf968b0d13a8d6", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "30bb93c1797faf7f1e59f9af86f476aac473640f12c96341659452dee66c81c5", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/content/stdout.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/optimized/content/stdout.txt" + }, + { + "absent_at_original_head": true, + "bytes": 1959, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/owners/CHECKS.json", + "git_blob_oid": "0f764ae16a0639e80f1b17dbe77fefb47e412b81", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "ac851b96b3806ccba16c09cdb7db351aab78b2e51f417f82a13fcf308c99b822", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/owners/CHECKS.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/optimized/owners/CHECKS.json" + }, + { + "absent_at_original_head": true, + "bytes": 215, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/owners/stdout.txt", + "git_blob_oid": "413258f3acde0b2eddbf609bd2a96d90192a6922", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "a2fdd81c23acf4e66a93f25a432bd3cbcd5a439e811cb7b9c4c66c011d47b689", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/owners/stdout.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/optimized/owners/stdout.txt" + }, + { + "absent_at_original_head": true, + "bytes": 4281, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/physical/CHECKS.json", + "git_blob_oid": "b873c95a3192198f996c638bc05c310c4a1411d0", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "93cc707fc5c0d7cae66f7ba527a35cea08919c6211f789c59ca4815a6144f162", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/physical/CHECKS.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/optimized/physical/CHECKS.json" + }, + { + "absent_at_original_head": true, + "bytes": 820, + "destination": "research/publication-reviews/original-clean-source-interface/cold/replay/optimized/physical/stdout.txt", + "git_blob_oid": "5235493f2cc70f5b0fd310020e98d4c03993d8ad", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "b80e84bf6c6f8c1089e430be8b6389edab0bd73de3647e78cbe0a4cadd2e9833", + "source": "reviews/original-clean-source-interface/cold/replay/optimized/physical/stdout.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/replay/optimized/physical/stdout.txt" + }, + { + "absent_at_original_head": true, + "bytes": 593, + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/0-normal.txt", + "git_blob_oid": "50ca926c0670cbb618132a943f00669375040fe3", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "0a88a2765f5cf028d1e83e880c49f49f41e93e2a28cfe37e22f8fcaf4459ca15", + "source": "reviews/original-clean-source-interface/guard-controls/0-normal.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/guard-controls/0-normal.txt" + }, + { + "absent_at_original_head": true, + "bytes": 593, + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/0-optimized.txt", + "git_blob_oid": "50ca926c0670cbb618132a943f00669375040fe3", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "0a88a2765f5cf028d1e83e880c49f49f41e93e2a28cfe37e22f8fcaf4459ca15", + "source": "reviews/original-clean-source-interface/guard-controls/0-optimized.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/guard-controls/0-optimized.txt" + }, + { + "absent_at_original_head": true, + "bytes": 618, + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/1-normal.txt", + "git_blob_oid": "ae7030f7de37a6fd698e9f4dcd6d1e9e4bc40b7f", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "d96a96a274fda6132b4857182aab34f511e577a9459c4357d2a700fc97737fb5", + "source": "reviews/original-clean-source-interface/guard-controls/1-normal.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/guard-controls/1-normal.txt" + }, + { + "absent_at_original_head": true, + "bytes": 618, + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/1-optimized.txt", + "git_blob_oid": "ae7030f7de37a6fd698e9f4dcd6d1e9e4bc40b7f", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "d96a96a274fda6132b4857182aab34f511e577a9459c4357d2a700fc97737fb5", + "source": "reviews/original-clean-source-interface/guard-controls/1-optimized.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/guard-controls/1-optimized.txt" + }, + { + "absent_at_original_head": true, + "bytes": 606, + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/2-normal.txt", + "git_blob_oid": "654afa6518e20bcffcc2e3264e2dcb6aa90b56b1", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "264ac6664765de24813fa96a5c4b000c7d6b1855bddbde87d1053791b85fe560", + "source": "reviews/original-clean-source-interface/guard-controls/2-normal.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/guard-controls/2-normal.txt" + }, + { + "absent_at_original_head": true, + "bytes": 606, + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/2-optimized.txt", + "git_blob_oid": "654afa6518e20bcffcc2e3264e2dcb6aa90b56b1", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "264ac6664765de24813fa96a5c4b000c7d6b1855bddbde87d1053791b85fe560", + "source": "reviews/original-clean-source-interface/guard-controls/2-optimized.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/guard-controls/2-optimized.txt" + }, + { + "absent_at_original_head": true, + "bytes": 718, + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/3-normal.txt", + "git_blob_oid": "1f94fd2414a4183931a6d9cbc403010f9eefe529", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "4f1c43e677355901b66e23f38a8a91f6867b2f0098cf6c0f49e43a22d8ac758d", + "source": "reviews/original-clean-source-interface/guard-controls/3-normal.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/guard-controls/3-normal.txt" + }, + { + "absent_at_original_head": true, + "bytes": 718, + "destination": "research/publication-reviews/original-clean-source-interface/guard-controls/3-optimized.txt", + "git_blob_oid": "1f94fd2414a4183931a6d9cbc403010f9eefe529", + "package": "original-clean-source-interface", + "role": "complete final replay and guard-control output", + "sha256": "4f1c43e677355901b66e23f38a8a91f6867b2f0098cf6c0f49e43a22d8ac758d", + "source": "reviews/original-clean-source-interface/guard-controls/3-optimized.txt", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/guard-controls/3-optimized.txt" + }, + { + "absent_at_original_head": true, + "bytes": 5352, + "destination": "research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/circuit-interface/snapshot-audit/SNAPSHOT-ROWS-REVIEW.json", + "git_blob_oid": "527634cc3b7f23afcd37116f55fe42a0ab39d1d5", + "package": "actual-query-information-bounds", + "role": "final replay receipt with distinct bytes", + "sha256": "099dd4a8e7c5b48eb9536c20c5812c875dbefb9dee819204c75650da67cb9cdd", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/circuit-interface/snapshot-audit/SNAPSHOT-ROWS-REVIEW.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/actual-query-information-bounds/cold-replay/work/lanes/circuit-interface/snapshot-audit/SNAPSHOT-ROWS-REVIEW.json" + }, + { + "absent_at_original_head": true, + "bytes": 2099, + "destination": "research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/ALGEBRA.json", + "git_blob_oid": "764c1541b6bfbba8169c6c7e33f81d4e9c839f21", + "package": "actual-query-information-bounds", + "role": "final replay receipt with distinct bytes", + "sha256": "a7fb6baa7afb90df77db94c80023144a5be3ae78db1aa6272adf7fb761b44b55", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/ALGEBRA.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/ALGEBRA.json" + }, + { + "absent_at_original_head": true, + "bytes": 1423, + "destination": "research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/QUERY-MOMENTS-REVIEW.json", + "git_blob_oid": "cb3581fdacaf34ae74313dc10396949a5e6a4297", + "package": "actual-query-information-bounds", + "role": "final replay receipt with distinct bytes", + "sha256": "479289a3444327e49d6c50619074c5dc596463b82d1ec4826a1e664f8ba1af23", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/QUERY-MOMENTS-REVIEW.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/actual-query-information-bounds/cold-replay/work/lanes/cover-algebra/QUERY-MOMENTS-REVIEW.json" + }, + { + "absent_at_original_head": true, + "bytes": 758, + "destination": "research/publication-reviews/actual-query-information-bounds/cold-replay/work/lanes/temporal-reuse/SOURCE-MATRIX-BINDING.json", + "git_blob_oid": "5c83649cc9fdeb9219e9b3f13d1abd7a4a059fad", + "package": "actual-query-information-bounds", + "role": "final replay receipt with distinct bytes", + "sha256": "b3661339df9a160a078bf3c26fbe23bb1d389d5b3411ce63f0db6b4309bd3870", + "source": "reviews/actual-query-information-bounds/cold-replay/work/lanes/temporal-reuse/SOURCE-MATRIX-BINDING.json", + "source_absolute": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/actual-query-information-bounds/cold-replay/work/lanes/temporal-reuse/SOURCE-MATRIX-BINDING.json" + } + ], + "original_heads": { + "actual-query-information-bounds": "cb102a57254748651ce16aa4454bb611f6380e53", + "affine-centre-access": "4c42b1925ca589ca5a773f3e791d90b28dd79dfa", + "borrowed-centre-storage": "f6dea33c424d6097f7aef9e43a7ce2a134b878ab", + "centre-code-services": "dd6948e95eb002d903ce36dd21e0c075e00790ed", + "centre-metric-encoders": "6c6ff8b48ef238a7adebe2391c3c2912ae90f0c4", + "completed-prefix-outer": "5e3c47e9e60e47971bafe9d09aa8bb1ffb3e8927", + "finite-tagged-centre-reset": "27301def7e7319c1a3b5ac20400ed8ee49724f20", + "fixed-word-gauge-limits": "7bb92fa988137788c098945581a46009804be226", + "native-centre-capture": "a42061bdf5b8974baa21a0a4097bbc9de3a0da1c", + "ordered-centre-interfaces": "70b3c9ad0ee50502f91c31834ac7babc2ff52515", + "original-clean-source-interface": "c1fbda70f9a5be29ea901f156b763d31e4b81507", + "original-paired-gap": "6093fe10aad90178b3c650fed39862c169919f60", + "phase-coded-callers": "3c6a768e5391e6bc8355fe2bc849d2978afef8f6", + "raw-selected-centre-units": "0c4a16bfbcb18eb483bbe617f5ed340b1171356e", + "reciprocal-native-responses": "4c903ff856e2cfbd6fc91d98b6b430e1b4955e72" + }, + "schema": 1, + "status": "ACCEPTED_EXACT_RETENTION_LIST", + "total_bytes": 47576 +} diff --git a/research/publication-reviews/centre-metric-encoders/failure-controls/normal-false_requirement/output.log b/research/publication-reviews/centre-metric-encoders/failure-controls/normal-false_requirement/output.log new file mode 100644 index 0000000000..e4485b2a3f --- /dev/null +++ b/research/publication-reviews/centre-metric-encoders/failure-controls/normal-false_requirement/output.log @@ -0,0 +1,16 @@ +Traceback (most recent call last): + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 129, in + worker() + ~~~~~~^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 56, in worker + runpy.run_path(script, run_name="__main__") + ~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "", line 294, in run_path + File "", line 98, in _run_module_code + File "", line 88, in _run_code + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/normal-false_requirement/probe.py", line 3, in + module['require'](False, 'EXPECTED_FALSE_REQUIREMENT_REJECTION') + ~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 24, in require + raise ValueError(message) +ValueError: EXPECTED_FALSE_REQUIREMENT_REJECTION diff --git a/research/publication-reviews/centre-metric-encoders/failure-controls/normal-outside_read/output.log b/research/publication-reviews/centre-metric-encoders/failure-controls/normal-outside_read/output.log new file mode 100644 index 0000000000..d177b75ba0 --- /dev/null +++ b/research/publication-reviews/centre-metric-encoders/failure-controls/normal-outside_read/output.log @@ -0,0 +1,27 @@ +Traceback (most recent call last): + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 129, in + worker() + ~~~~~~^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 56, in worker + runpy.run_path(script, run_name="__main__") + ~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "", line 294, in run_path + File "", line 98, in _run_module_code + File "", line 88, in _run_code + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/normal-outside_read/probe.py", line 2, in + Path('/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/outside.txt').read_bytes() + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^ + File "/opt/homebrew/Cellar/python@3.14/3.14.7/Frameworks/Python.framework/Versions/3.14/lib/python3.14/pathlib/__init__.py", line 777, in read_bytes + with self.open(mode='rb', buffering=0) as f: + ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^ + File "/opt/homebrew/Cellar/python@3.14/3.14.7/Frameworks/Python.framework/Versions/3.14/lib/python3.14/pathlib/__init__.py", line 771, in open + return io.open(self, mode, buffering, encoding, errors, newline) + ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 50, in audit + require(path == Path(os.devnull) or any(path.is_relative_to(base) for base in allowed), + ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + "File access outside the package, output, or Python runtime: " + str(path)) + ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 24, in require + raise ValueError(message) +ValueError: File access outside the package, output, or Python runtime: /Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/outside.txt diff --git a/research/publication-reviews/centre-metric-encoders/failure-controls/optimized-false_requirement/output.log b/research/publication-reviews/centre-metric-encoders/failure-controls/optimized-false_requirement/output.log new file mode 100644 index 0000000000..4f4609d381 --- /dev/null +++ b/research/publication-reviews/centre-metric-encoders/failure-controls/optimized-false_requirement/output.log @@ -0,0 +1,16 @@ +Traceback (most recent call last): + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 129, in + worker() + ~~~~~~^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 56, in worker + runpy.run_path(script, run_name="__main__") + ~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "", line 294, in run_path + File "", line 98, in _run_module_code + File "", line 88, in _run_code + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/optimized-false_requirement/probe.py", line 3, in + module['require'](False, 'EXPECTED_FALSE_REQUIREMENT_REJECTION') + ~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 24, in require + raise ValueError(message) +ValueError: EXPECTED_FALSE_REQUIREMENT_REJECTION diff --git a/research/publication-reviews/centre-metric-encoders/failure-controls/optimized-outside_read/output.log b/research/publication-reviews/centre-metric-encoders/failure-controls/optimized-outside_read/output.log new file mode 100644 index 0000000000..00176f2876 --- /dev/null +++ b/research/publication-reviews/centre-metric-encoders/failure-controls/optimized-outside_read/output.log @@ -0,0 +1,27 @@ +Traceback (most recent call last): + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 129, in + worker() + ~~~~~~^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 56, in worker + runpy.run_path(script, run_name="__main__") + ~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "", line 294, in run_path + File "", line 98, in _run_module_code + File "", line 88, in _run_code + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/optimized-outside_read/probe.py", line 2, in + Path('/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/outside.txt').read_bytes() + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^ + File "/opt/homebrew/Cellar/python@3.14/3.14.7/Frameworks/Python.framework/Versions/3.14/lib/python3.14/pathlib/__init__.py", line 777, in read_bytes + with self.open(mode='rb', buffering=0) as f: + ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^ + File "/opt/homebrew/Cellar/python@3.14/3.14.7/Frameworks/Python.framework/Versions/3.14/lib/python3.14/pathlib/__init__.py", line 771, in open + return io.open(self, mode, buffering, encoding, errors, newline) + ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 50, in audit + require(path == Path(os.devnull) or any(path.is_relative_to(base) for base in allowed), + ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + "File access outside the package, output, or Python runtime: " + str(path)) + ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/cold/package/replay.py", line 24, in require + raise ValueError(message) +ValueError: File access outside the package, output, or Python runtime: /Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/centre-metric-encoders/failure-controls/outside.txt diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/REPLAY.json b/research/publication-reviews/original-clean-source-interface/cold/replay/REPLAY.json new file mode 100644 index 0000000000..0c20fc3f71 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/REPLAY.json @@ -0,0 +1,60 @@ +{ + "status": "PASS_ORIGINAL_CLEAN_SOURCE_INTERFACE", + "source_files": 52, + "source_manifest_sha256": "2cec33dc56fc0ea4c2df35dbb2b2fccfce20fcbac3a748cf1dd6b95f8158d855", + "replay_sha256": "407ca0fd6392fc58909689edadfa4c0b365d839d403bd6089b6a55d053e4f03e", + "python": "3.14.7 (main, Aug 5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]", + "mode": "both", + "jobs": [ + { + "id": "content", + "mode": "normal", + "script": "frozen/work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/check_review.py", + "seconds": 5.156, + "receipt_sha256": "1f14ab4b77f547d9dea6d2ab9966a8081e639cd23b9e31f533a066158d918717", + "frozen_receipt_byte_equal": true + }, + { + "id": "physical", + "mode": "normal", + "script": "portable/check_physical_binding.py", + "seconds": 0.258, + "receipt_sha256": "93cc707fc5c0d7cae66f7ba527a35cea08919c6211f789c59ca4815a6144f162", + "frozen_receipt_byte_equal": true + }, + { + "id": "owners", + "mode": "normal", + "script": "portable/check_binding.py", + "seconds": 1.0, + "receipt_sha256": "ac851b96b3806ccba16c09cdb7db351aab78b2e51f417f82a13fcf308c99b822", + "frozen_receipt_byte_equal": true + }, + { + "id": "content", + "mode": "optimized", + "script": "frozen/work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/check_review.py", + "seconds": 4.863, + "receipt_sha256": "1f14ab4b77f547d9dea6d2ab9966a8081e639cd23b9e31f533a066158d918717", + "frozen_receipt_byte_equal": true + }, + { + "id": "physical", + "mode": "optimized", + "script": "portable/check_physical_binding.py", + "seconds": 0.273, + "receipt_sha256": "93cc707fc5c0d7cae66f7ba527a35cea08919c6211f789c59ca4815a6144f162", + "frozen_receipt_byte_equal": true + }, + { + "id": "owners", + "mode": "optimized", + "script": "portable/check_binding.py", + "seconds": 1.075, + "receipt_sha256": "ac851b96b3806ccba16c09cdb7db351aab78b2e51f417f82a13fcf308c99b822", + "frozen_receipt_byte_equal": true + } + ], + "normal_optimized_equal": true, + "scope": "Fresh all-column ordered content, physical-helper source binding, and exact original owner binding. Inherited raw native kernel and phase-history proofs are not rerun; no global data controller, parser admission, full costs, or kappa claim." +} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/normal/content/CHECK.json b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/content/CHECK.json new file mode 100644 index 0000000000..ae17b12bb2 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/content/CHECK.json @@ -0,0 +1,95 @@ +{ + "checks": { + "backward": { + "ADD_coefficient_magnitudes": { + "1/4": 448, + "1/8": 896, + "2": 448 + }, + "added_real_primitives": 22416, + "arbitrary_input_columns": 704, + "core_and_added_real_primitives": 226834, + "formal_nonzero_terms": 12464, + "helper_input_coefficients_in_data": 0, + "mutation_controls": { + "Q_in_place_of_Q_inverse": true, + "missing_mode_read_cleanup": true, + "missing_negations": true, + "missing_prefix": true, + "wrong_order": true + }, + "new_address_or_phase_maps": 0, + "new_fields": 0, + "new_native_children": 0, + "paid_native_rank": 5522, + "paid_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "physical_complex_ADDs": 1792, + "physical_complex_negations": 8, + "restored_helper_fields": 480, + "restored_mode_fields": 8, + "retained_native_events": 5056, + "retained_scalar_frame_checks": 20389 + }, + "forward": { + "ADD_coefficient_magnitudes": { + "1": 896, + "1/4": 448, + "2": 448 + }, + "added_real_primitives": 17040, + "arbitrary_input_columns": 704, + "core_and_added_real_primitives": 221458, + "formal_nonzero_terms": 12464, + "helper_input_coefficients_in_data": 0, + "mutation_controls": { + "missing_mode_read_cleanup": true, + "missing_negations": true, + "missing_prefix": true, + "wrong_order": true + }, + "new_address_or_phase_maps": 0, + "new_fields": 0, + "new_native_children": 0, + "paid_native_rank": 5522, + "paid_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "physical_complex_ADDs": 1792, + "physical_complex_negations": 8, + "restored_helper_fields": 480, + "restored_mode_fields": 8, + "retained_native_events": 5056, + "retained_scalar_frame_checks": 20389 + } + }, + "finite_order_or_involution_used": false, + "formal_algebra": "Free group on signed port letters; only adjacent inverse letters cancel.", + "ordered_D_identities_checked": 2, + "producer_imported_or_executed": false, + "raw_content_map_or_native_kernel_replay": false, + "raw_frame_chronology_checked": true, + "scope": "Local physical endpoint graphs and clean content map under the inherited original native interface. Global owner, controller, and recursion admission are excluded.", + "source_pins": { + "R": "5c6c51fbffc07a683e922f17532fd90262ae9e23cc3560a696002073dd234ef3", + "canonical": "4ddb29fb9bc6f27e0c0fbfcf19a2a93a3496ad900d0f6d89059d0305c9576c0c", + "core": "f271842a741584389e166e700e262f161b0dd570ce8c7a540f2717e90ead5205", + "core_review": "ff123b08b3ac58f20d12d4fbec575472086ace1708d3242519884dbffe534372", + "original_native_frame_review": "e79603bee7c4077b3637f9b7891bac59719183e922a71d5994aaf9d405d5322f", + "payload": "abfcbfc40bac24e284be63623d9b18f1bb6d4d6ec1b9fa7e9bba27330f323667", + "producer": "68bb00b61f0e430a56f0fb6786d507e07122dbd11e0ccf85f3f022accc2f04ea", + "proof": "dcd43c16e61fbf4aa2092b26cc1e1d09ce5c2e9ce4ad1a9bfd919ee4125676ab", + "receipt": "4732d3d45ec4be3a06d0f5bcc56fd4a14cdb1a18b357be5e3d2b06b5f0fa68d1", + "scalar_cost_convention": "3a595446631e133c994efa2d10c7b00cae0b8100e45f3990c8f55db82101fe49" + }, + "status": "PASS_INDEPENDENT_ORIGINAL_CLEAN_SOURCE_FREE_Q" +} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/normal/content/stdout.txt b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/content/stdout.txt new file mode 100644 index 0000000000..431d33fa71 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/content/stdout.txt @@ -0,0 +1,2 @@ +PASS_INDEPENDENT_ORIGINAL_CLEAN_SOURCE_FREE_Q +{"complete_scalar_costs": {"backward": 226834, "forward": 221458}, "restored_helpers": {"backward": 480, "forward": 480}} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/normal/owners/CHECKS.json b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/owners/CHECKS.json new file mode 100644 index 0000000000..0f764ae16a --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/owners/CHECKS.json @@ -0,0 +1,41 @@ +{ + "archive_members": { + "audit": "30bafff060afcfb3644e951214d66cfaffe58242881c652e28003958b42127cc", + "phases": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa", + "template": "2acf02b418078e37090495c601fe550448751d4f35912757b13a1f778efc7760" + }, + "archive_sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6", + "changed_old_phase_or_owner_events": 0, + "counts": { + "backward": 64, + "complete_F9_jobs": 1152, + "forward": 80, + "helper_jobs": 69120 + }, + "inherited_history_scope": "Only exact original jobs, axis histories, owner distinctness and native phase identities. No characteristic maps or altered mode repairs.", + "local_scalar_subtotal": 32234016, + "native_profile": { + "1": 349604, + "2": 60192, + "3": 62585, + "4": 20448, + "5": 11808, + "7": 7, + "48": 4866 + }, + "native_rank_mass": 1032192, + "remaining": "Changed routed D_plus/D_minus controller, parser lowering, finite precision, complete recursive invoice and supplier admission.", + "source_helper_stream_sha256": "f795c2ffbd51c3284aa8061152c3c3980e8bc01d86d7b56aec7c0e3036cd5b39", + "source_pins": { + "binding": "31fae7f2aa4a1f6b9cd5f55a8a34a7679ae6c77cafd37da465f3cb51a7e59141", + "checked_old_owner_history": "46db6bef10039a3123403c26825709e69c4af612ad5d943c2f46ee12b75ec4f4", + "inventory": "ee7cb00286581bfc041174e2bf6ed2c1a46481acc74488007198adc7c21f27a1", + "local_physical_review": "56b08d1b2772b61b2a5cbea0b0ff827d79c0fd335eb1f004168783b637dfee7e", + "original_phase_review": "8b8c4d814b44c2fc42cf9ad995f8451512309fcfc46bea9317ebe4b4d79e8a4d", + "producer": "3e9dd5c811dd2f4783766a3c7ff41b0a3efb7c6656abe889d8537377c134e0c3", + "proof": "c9fef9921185aa18e20d8c1b9f1b10289d488fc74d674f9afc408fb404040d65" + }, + "source_positions": 482, + "status": "PASS_INDEPENDENT_ORIGINAL_CLEAN_OWNER_BINDING", + "terminal_equation": "F W diag(I,Q) E diag(Q^-1,I)=F if and only if E=W^-1." +} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/normal/owners/stdout.txt b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/owners/stdout.txt new file mode 100644 index 0000000000..413258f3ac --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/owners/stdout.txt @@ -0,0 +1 @@ +{"counts": {"backward": 64, "complete_F9_jobs": 1152, "forward": 80, "helper_jobs": 69120}, "local_scalar_subtotal": 32234016, "native_rank_mass": 1032192, "status": "PASS_INDEPENDENT_ORIGINAL_CLEAN_OWNER_BINDING"} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/normal/physical/CHECKS.json b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/physical/CHECKS.json new file mode 100644 index 0000000000..b873c95a31 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/physical/CHECKS.json @@ -0,0 +1,151 @@ +{ + "actual_native_failure_witnesses": { + "omitted_final_mode_sign": { + "all_layer_characters": 0, + "difference": -2, + "required_complete_F9_multiplier": 1, + "uncorrected_mode_multiplier": -1 + }, + "wrong_output_Q_instead_of_inverse": { + "actual_Q_multiplier": [ + 0, + 1 + ], + "one_layer_character": 1, + "other_layer_characters": 0, + "port": 0, + "required_Q_inverse_multiplier": [ + 0, + -1 + ], + "same_port_data_difference": [ + 0, + 2 + ] + } + }, + "arbitrary_physical_helper_input": true, + "archive_members": { + "old": "241fde27d4e43f5a9cb6b128f9f76c5131a53d09f0371676163f914d0b0fef3a", + "word": "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219" + }, + "archive_sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6", + "checks": { + "backward": { + "added_complex_ADDs": 1792, + "added_complex_negations": 8, + "added_real_primitive_bound": 22416, + "complete_local_scalar_bound": 226834, + "magnitudes": { + "1/4": 448, + "1/8": 896, + "2": 448 + }, + "native_events_compared": 5056, + "paid_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "paid_rank": 5522 + }, + "forward": { + "added_complex_ADDs": 1792, + "added_complex_negations": 8, + "added_real_primitive_bound": 17040, + "complete_local_scalar_bound": 221458, + "magnitudes": { + "1": 896, + "1/4": 448, + "2": 448 + }, + "native_events_compared": 5056, + "paid_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "paid_rank": 5522 + } + }, + "common_exterior_checks": [ + { + "exterior_axes": 0, + "local_job_axes": 9, + "stage": 0 + }, + { + "exterior_axes": 8, + "local_job_axes": 9, + "stage": 1 + }, + { + "exterior_axes": 16, + "local_job_axes": 9, + "stage": 2 + }, + { + "exterior_axes": 24, + "local_job_axes": 9, + "stage": 3 + }, + { + "exterior_axes": 32, + "local_job_axes": 9, + "stage": 4 + }, + { + "exterior_axes": 40, + "local_job_axes": 9, + "stage": 5 + }, + { + "exterior_axes": 48, + "local_job_axes": 9, + "stage": 6 + }, + { + "exterior_axes": 56, + "local_job_axes": 9, + "stage": 7 + }, + { + "exterior_axes": 64, + "local_job_axes": 9, + "stage": 8 + } + ], + "complete_mode_jobs": [ + 225, + 226, + 229, + 232, + 241, + 242, + 257, + 258 + ], + "excluded_scope": "No supplier parser admission, changed data controller, complete global invoice, precision implementation, or supplier exponent.", + "inherited_scope": "Raw core content, exact native kernel and frame lowering, and the new complete 704-column algebra are pinned accepted dependencies.", + "no_cross_helper_or_data_endpoint_terms": "Accepted full 704-column new-word review.", + "pins": { + "content_checker": "df98f24aaacac57cfe043d901c8d64c95366b62fe20cbb80b71f871d72818e81", + "content_checks": "1f14ab4b77f547d9dea6d2ab9966a8081e639cd23b9e31f533a066158d918717", + "content_review": "679b94dbb4dbb8ba8d1c12aadf3a37f9b9e5176296905e6bf8007dfb3925cbfa", + "core": "f271842a741584389e166e700e262f161b0dd570ce8c7a540f2717e90ead5205", + "interface": "5c6c51fbffc07a683e922f17532fd90262ae9e23cc3560a696002073dd234ef3", + "payload": "abfcbfc40bac24e284be63623d9b18f1bb6d4d6ec1b9fa7e9bba27330f323667", + "prior_native_review": "5f0a1ed23f129c833a33909397ab524fb9f50c0b5e8a23f29931d0c1ec0406a7", + "producer": "68bb00b61f0e430a56f0fb6786d507e07122dbd11e0ccf85f3f022accc2f04ea", + "producer_receipt": "4732d3d45ec4be3a06d0f5bcc56fd4a14cdb1a18b357be5e3d2b06b5f0fa68d1", + "proof": "dcd43c16e61fbf4aa2092b26cc1e1d09ce5c2e9ce4ad1a9bfd919ee4125676ab", + "raw_review": "ff123b08b3ac58f20d12d4fbec575472086ace1708d3242519884dbffe534372" + }, + "status": "PASS_INDEPENDENT_ORIGINAL_CLEAN_PHYSICAL_HELPER_BINDING", + "unchanged_other_helper_blocks": 472, + "width_scope": "Every positive integer tensor width; the proof uses no parity or finite-order reduction." +} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/normal/physical/stdout.txt b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/physical/stdout.txt new file mode 100644 index 0000000000..5235493f2c --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/normal/physical/stdout.txt @@ -0,0 +1 @@ +{"checks": {"backward": {"added_complex_ADDs": 1792, "added_complex_negations": 8, "added_real_primitive_bound": 22416, "complete_local_scalar_bound": 226834, "magnitudes": {"1/4": 448, "1/8": 896, "2": 448}, "native_events_compared": 5056, "paid_profile": {"1": 2412, "2": 418, "3": 432, "4": 142, "5": 82}, "paid_rank": 5522}, "forward": {"added_complex_ADDs": 1792, "added_complex_negations": 8, "added_real_primitive_bound": 17040, "complete_local_scalar_bound": 221458, "magnitudes": {"1": 896, "1/4": 448, "2": 448}, "native_events_compared": 5056, "paid_profile": {"1": 2412, "2": 418, "3": 432, "4": 142, "5": 82}, "paid_rank": 5522}}, "status": "PASS_INDEPENDENT_ORIGINAL_CLEAN_PHYSICAL_HELPER_BINDING", "width_scope": "Every positive integer tensor width; the proof uses no parity or finite-order reduction."} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/content/CHECK.json b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/content/CHECK.json new file mode 100644 index 0000000000..ae17b12bb2 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/content/CHECK.json @@ -0,0 +1,95 @@ +{ + "checks": { + "backward": { + "ADD_coefficient_magnitudes": { + "1/4": 448, + "1/8": 896, + "2": 448 + }, + "added_real_primitives": 22416, + "arbitrary_input_columns": 704, + "core_and_added_real_primitives": 226834, + "formal_nonzero_terms": 12464, + "helper_input_coefficients_in_data": 0, + "mutation_controls": { + "Q_in_place_of_Q_inverse": true, + "missing_mode_read_cleanup": true, + "missing_negations": true, + "missing_prefix": true, + "wrong_order": true + }, + "new_address_or_phase_maps": 0, + "new_fields": 0, + "new_native_children": 0, + "paid_native_rank": 5522, + "paid_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "physical_complex_ADDs": 1792, + "physical_complex_negations": 8, + "restored_helper_fields": 480, + "restored_mode_fields": 8, + "retained_native_events": 5056, + "retained_scalar_frame_checks": 20389 + }, + "forward": { + "ADD_coefficient_magnitudes": { + "1": 896, + "1/4": 448, + "2": 448 + }, + "added_real_primitives": 17040, + "arbitrary_input_columns": 704, + "core_and_added_real_primitives": 221458, + "formal_nonzero_terms": 12464, + "helper_input_coefficients_in_data": 0, + "mutation_controls": { + "missing_mode_read_cleanup": true, + "missing_negations": true, + "missing_prefix": true, + "wrong_order": true + }, + "new_address_or_phase_maps": 0, + "new_fields": 0, + "new_native_children": 0, + "paid_native_rank": 5522, + "paid_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "physical_complex_ADDs": 1792, + "physical_complex_negations": 8, + "restored_helper_fields": 480, + "restored_mode_fields": 8, + "retained_native_events": 5056, + "retained_scalar_frame_checks": 20389 + } + }, + "finite_order_or_involution_used": false, + "formal_algebra": "Free group on signed port letters; only adjacent inverse letters cancel.", + "ordered_D_identities_checked": 2, + "producer_imported_or_executed": false, + "raw_content_map_or_native_kernel_replay": false, + "raw_frame_chronology_checked": true, + "scope": "Local physical endpoint graphs and clean content map under the inherited original native interface. Global owner, controller, and recursion admission are excluded.", + "source_pins": { + "R": "5c6c51fbffc07a683e922f17532fd90262ae9e23cc3560a696002073dd234ef3", + "canonical": "4ddb29fb9bc6f27e0c0fbfcf19a2a93a3496ad900d0f6d89059d0305c9576c0c", + "core": "f271842a741584389e166e700e262f161b0dd570ce8c7a540f2717e90ead5205", + "core_review": "ff123b08b3ac58f20d12d4fbec575472086ace1708d3242519884dbffe534372", + "original_native_frame_review": "e79603bee7c4077b3637f9b7891bac59719183e922a71d5994aaf9d405d5322f", + "payload": "abfcbfc40bac24e284be63623d9b18f1bb6d4d6ec1b9fa7e9bba27330f323667", + "producer": "68bb00b61f0e430a56f0fb6786d507e07122dbd11e0ccf85f3f022accc2f04ea", + "proof": "dcd43c16e61fbf4aa2092b26cc1e1d09ce5c2e9ce4ad1a9bfd919ee4125676ab", + "receipt": "4732d3d45ec4be3a06d0f5bcc56fd4a14cdb1a18b357be5e3d2b06b5f0fa68d1", + "scalar_cost_convention": "3a595446631e133c994efa2d10c7b00cae0b8100e45f3990c8f55db82101fe49" + }, + "status": "PASS_INDEPENDENT_ORIGINAL_CLEAN_SOURCE_FREE_Q" +} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/content/stdout.txt b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/content/stdout.txt new file mode 100644 index 0000000000..431d33fa71 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/content/stdout.txt @@ -0,0 +1,2 @@ +PASS_INDEPENDENT_ORIGINAL_CLEAN_SOURCE_FREE_Q +{"complete_scalar_costs": {"backward": 226834, "forward": 221458}, "restored_helpers": {"backward": 480, "forward": 480}} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/owners/CHECKS.json b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/owners/CHECKS.json new file mode 100644 index 0000000000..0f764ae16a --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/owners/CHECKS.json @@ -0,0 +1,41 @@ +{ + "archive_members": { + "audit": "30bafff060afcfb3644e951214d66cfaffe58242881c652e28003958b42127cc", + "phases": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa", + "template": "2acf02b418078e37090495c601fe550448751d4f35912757b13a1f778efc7760" + }, + "archive_sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6", + "changed_old_phase_or_owner_events": 0, + "counts": { + "backward": 64, + "complete_F9_jobs": 1152, + "forward": 80, + "helper_jobs": 69120 + }, + "inherited_history_scope": "Only exact original jobs, axis histories, owner distinctness and native phase identities. No characteristic maps or altered mode repairs.", + "local_scalar_subtotal": 32234016, + "native_profile": { + "1": 349604, + "2": 60192, + "3": 62585, + "4": 20448, + "5": 11808, + "7": 7, + "48": 4866 + }, + "native_rank_mass": 1032192, + "remaining": "Changed routed D_plus/D_minus controller, parser lowering, finite precision, complete recursive invoice and supplier admission.", + "source_helper_stream_sha256": "f795c2ffbd51c3284aa8061152c3c3980e8bc01d86d7b56aec7c0e3036cd5b39", + "source_pins": { + "binding": "31fae7f2aa4a1f6b9cd5f55a8a34a7679ae6c77cafd37da465f3cb51a7e59141", + "checked_old_owner_history": "46db6bef10039a3123403c26825709e69c4af612ad5d943c2f46ee12b75ec4f4", + "inventory": "ee7cb00286581bfc041174e2bf6ed2c1a46481acc74488007198adc7c21f27a1", + "local_physical_review": "56b08d1b2772b61b2a5cbea0b0ff827d79c0fd335eb1f004168783b637dfee7e", + "original_phase_review": "8b8c4d814b44c2fc42cf9ad995f8451512309fcfc46bea9317ebe4b4d79e8a4d", + "producer": "3e9dd5c811dd2f4783766a3c7ff41b0a3efb7c6656abe889d8537377c134e0c3", + "proof": "c9fef9921185aa18e20d8c1b9f1b10289d488fc74d674f9afc408fb404040d65" + }, + "source_positions": 482, + "status": "PASS_INDEPENDENT_ORIGINAL_CLEAN_OWNER_BINDING", + "terminal_equation": "F W diag(I,Q) E diag(Q^-1,I)=F if and only if E=W^-1." +} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/owners/stdout.txt b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/owners/stdout.txt new file mode 100644 index 0000000000..413258f3ac --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/owners/stdout.txt @@ -0,0 +1 @@ +{"counts": {"backward": 64, "complete_F9_jobs": 1152, "forward": 80, "helper_jobs": 69120}, "local_scalar_subtotal": 32234016, "native_rank_mass": 1032192, "status": "PASS_INDEPENDENT_ORIGINAL_CLEAN_OWNER_BINDING"} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/physical/CHECKS.json b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/physical/CHECKS.json new file mode 100644 index 0000000000..b873c95a31 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/physical/CHECKS.json @@ -0,0 +1,151 @@ +{ + "actual_native_failure_witnesses": { + "omitted_final_mode_sign": { + "all_layer_characters": 0, + "difference": -2, + "required_complete_F9_multiplier": 1, + "uncorrected_mode_multiplier": -1 + }, + "wrong_output_Q_instead_of_inverse": { + "actual_Q_multiplier": [ + 0, + 1 + ], + "one_layer_character": 1, + "other_layer_characters": 0, + "port": 0, + "required_Q_inverse_multiplier": [ + 0, + -1 + ], + "same_port_data_difference": [ + 0, + 2 + ] + } + }, + "arbitrary_physical_helper_input": true, + "archive_members": { + "old": "241fde27d4e43f5a9cb6b128f9f76c5131a53d09f0371676163f914d0b0fef3a", + "word": "16bc0ebb04b4be6c0ade74badc6a0c0cdba4215eda86e4ff9f13abf8ecebd219" + }, + "archive_sha256": "f1da80610bf33c58527f18ad63b4350d0b864e1d4486141ee17ac9bed4d529d6", + "checks": { + "backward": { + "added_complex_ADDs": 1792, + "added_complex_negations": 8, + "added_real_primitive_bound": 22416, + "complete_local_scalar_bound": 226834, + "magnitudes": { + "1/4": 448, + "1/8": 896, + "2": 448 + }, + "native_events_compared": 5056, + "paid_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "paid_rank": 5522 + }, + "forward": { + "added_complex_ADDs": 1792, + "added_complex_negations": 8, + "added_real_primitive_bound": 17040, + "complete_local_scalar_bound": 221458, + "magnitudes": { + "1": 896, + "1/4": 448, + "2": 448 + }, + "native_events_compared": 5056, + "paid_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82 + }, + "paid_rank": 5522 + } + }, + "common_exterior_checks": [ + { + "exterior_axes": 0, + "local_job_axes": 9, + "stage": 0 + }, + { + "exterior_axes": 8, + "local_job_axes": 9, + "stage": 1 + }, + { + "exterior_axes": 16, + "local_job_axes": 9, + "stage": 2 + }, + { + "exterior_axes": 24, + "local_job_axes": 9, + "stage": 3 + }, + { + "exterior_axes": 32, + "local_job_axes": 9, + "stage": 4 + }, + { + "exterior_axes": 40, + "local_job_axes": 9, + "stage": 5 + }, + { + "exterior_axes": 48, + "local_job_axes": 9, + "stage": 6 + }, + { + "exterior_axes": 56, + "local_job_axes": 9, + "stage": 7 + }, + { + "exterior_axes": 64, + "local_job_axes": 9, + "stage": 8 + } + ], + "complete_mode_jobs": [ + 225, + 226, + 229, + 232, + 241, + 242, + 257, + 258 + ], + "excluded_scope": "No supplier parser admission, changed data controller, complete global invoice, precision implementation, or supplier exponent.", + "inherited_scope": "Raw core content, exact native kernel and frame lowering, and the new complete 704-column algebra are pinned accepted dependencies.", + "no_cross_helper_or_data_endpoint_terms": "Accepted full 704-column new-word review.", + "pins": { + "content_checker": "df98f24aaacac57cfe043d901c8d64c95366b62fe20cbb80b71f871d72818e81", + "content_checks": "1f14ab4b77f547d9dea6d2ab9966a8081e639cd23b9e31f533a066158d918717", + "content_review": "679b94dbb4dbb8ba8d1c12aadf3a37f9b9e5176296905e6bf8007dfb3925cbfa", + "core": "f271842a741584389e166e700e262f161b0dd570ce8c7a540f2717e90ead5205", + "interface": "5c6c51fbffc07a683e922f17532fd90262ae9e23cc3560a696002073dd234ef3", + "payload": "abfcbfc40bac24e284be63623d9b18f1bb6d4d6ec1b9fa7e9bba27330f323667", + "prior_native_review": "5f0a1ed23f129c833a33909397ab524fb9f50c0b5e8a23f29931d0c1ec0406a7", + "producer": "68bb00b61f0e430a56f0fb6786d507e07122dbd11e0ccf85f3f022accc2f04ea", + "producer_receipt": "4732d3d45ec4be3a06d0f5bcc56fd4a14cdb1a18b357be5e3d2b06b5f0fa68d1", + "proof": "dcd43c16e61fbf4aa2092b26cc1e1d09ce5c2e9ce4ad1a9bfd919ee4125676ab", + "raw_review": "ff123b08b3ac58f20d12d4fbec575472086ace1708d3242519884dbffe534372" + }, + "status": "PASS_INDEPENDENT_ORIGINAL_CLEAN_PHYSICAL_HELPER_BINDING", + "unchanged_other_helper_blocks": 472, + "width_scope": "Every positive integer tensor width; the proof uses no parity or finite-order reduction." +} diff --git a/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/physical/stdout.txt b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/physical/stdout.txt new file mode 100644 index 0000000000..5235493f2c --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/cold/replay/optimized/physical/stdout.txt @@ -0,0 +1 @@ +{"checks": {"backward": {"added_complex_ADDs": 1792, "added_complex_negations": 8, "added_real_primitive_bound": 22416, "complete_local_scalar_bound": 226834, "magnitudes": {"1/4": 448, "1/8": 896, "2": 448}, "native_events_compared": 5056, "paid_profile": {"1": 2412, "2": 418, "3": 432, "4": 142, "5": 82}, "paid_rank": 5522}, "forward": {"added_complex_ADDs": 1792, "added_complex_negations": 8, "added_real_primitive_bound": 17040, "complete_local_scalar_bound": 221458, "magnitudes": {"1": 896, "1/4": 448, "2": 448}, "native_events_compared": 5056, "paid_profile": {"1": 2412, "2": 418, "3": 432, "4": 142, "5": 82}, "paid_rank": 5522}}, "status": "PASS_INDEPENDENT_ORIGINAL_CLEAN_PHYSICAL_HELPER_BINDING", "width_scope": "Every positive integer tensor width; the proof uses no parity or finite-order reduction."} diff --git a/research/publication-reviews/original-clean-source-interface/guard-controls/0-normal.txt b/research/publication-reviews/original-clean-source-interface/guard-controls/0-normal.txt new file mode 100644 index 0000000000..50ca926c06 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/guard-controls/0-normal.txt @@ -0,0 +1,7 @@ +Traceback (most recent call last): + File "", line 1, in + import runpy,sys; ns=runpy.run_path(sys.argv[1]); ns[sys.argv[2]](False,'independent-review-negative-control') + ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/package/replay.py", line 31, in require + raise ValueError(reason) +ValueError: independent-review-negative-control diff --git a/research/publication-reviews/original-clean-source-interface/guard-controls/0-optimized.txt b/research/publication-reviews/original-clean-source-interface/guard-controls/0-optimized.txt new file mode 100644 index 0000000000..50ca926c06 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/guard-controls/0-optimized.txt @@ -0,0 +1,7 @@ +Traceback (most recent call last): + File "", line 1, in + import runpy,sys; ns=runpy.run_path(sys.argv[1]); ns[sys.argv[2]](False,'independent-review-negative-control') + ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/package/replay.py", line 31, in require + raise ValueError(reason) +ValueError: independent-review-negative-control diff --git a/research/publication-reviews/original-clean-source-interface/guard-controls/1-normal.txt b/research/publication-reviews/original-clean-source-interface/guard-controls/1-normal.txt new file mode 100644 index 0000000000..ae7030f7de --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/guard-controls/1-normal.txt @@ -0,0 +1,7 @@ +Traceback (most recent call last): + File "", line 1, in + import runpy,sys; ns=runpy.run_path(sys.argv[1]); ns[sys.argv[2]](False,'independent-review-negative-control') + ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/package/portable/check_physical_binding.py", line 37, in require + raise ValueError(reason) +ValueError: independent-review-negative-control diff --git a/research/publication-reviews/original-clean-source-interface/guard-controls/1-optimized.txt b/research/publication-reviews/original-clean-source-interface/guard-controls/1-optimized.txt new file mode 100644 index 0000000000..ae7030f7de --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/guard-controls/1-optimized.txt @@ -0,0 +1,7 @@ +Traceback (most recent call last): + File "", line 1, in + import runpy,sys; ns=runpy.run_path(sys.argv[1]); ns[sys.argv[2]](False,'independent-review-negative-control') + ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/package/portable/check_physical_binding.py", line 37, in require + raise ValueError(reason) +ValueError: independent-review-negative-control diff --git a/research/publication-reviews/original-clean-source-interface/guard-controls/2-normal.txt b/research/publication-reviews/original-clean-source-interface/guard-controls/2-normal.txt new file mode 100644 index 0000000000..654afa6518 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/guard-controls/2-normal.txt @@ -0,0 +1,7 @@ +Traceback (most recent call last): + File "", line 1, in + import runpy,sys; ns=runpy.run_path(sys.argv[1]); ns[sys.argv[2]](False,'independent-review-negative-control') + ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/package/portable/check_binding.py", line 33, in need + raise ValueError(reason) +ValueError: independent-review-negative-control diff --git a/research/publication-reviews/original-clean-source-interface/guard-controls/2-optimized.txt b/research/publication-reviews/original-clean-source-interface/guard-controls/2-optimized.txt new file mode 100644 index 0000000000..654afa6518 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/guard-controls/2-optimized.txt @@ -0,0 +1,7 @@ +Traceback (most recent call last): + File "", line 1, in + import runpy,sys; ns=runpy.run_path(sys.argv[1]); ns[sys.argv[2]](False,'independent-review-negative-control') + ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/package/portable/check_binding.py", line 33, in need + raise ValueError(reason) +ValueError: independent-review-negative-control diff --git a/research/publication-reviews/original-clean-source-interface/guard-controls/3-normal.txt b/research/publication-reviews/original-clean-source-interface/guard-controls/3-normal.txt new file mode 100644 index 0000000000..1f94fd2414 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/guard-controls/3-normal.txt @@ -0,0 +1,7 @@ +Traceback (most recent call last): + File "", line 1, in + import runpy,sys; ns=runpy.run_path(sys.argv[1]); ns[sys.argv[2]](False,'independent-review-negative-control') + ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/package/frozen/work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/check_review.py", line 32, in need + raise ValueError(reason) +ValueError: independent-review-negative-control diff --git a/research/publication-reviews/original-clean-source-interface/guard-controls/3-optimized.txt b/research/publication-reviews/original-clean-source-interface/guard-controls/3-optimized.txt new file mode 100644 index 0000000000..1f94fd2414 --- /dev/null +++ b/research/publication-reviews/original-clean-source-interface/guard-controls/3-optimized.txt @@ -0,0 +1,7 @@ +Traceback (most recent call last): + File "", line 1, in + import runpy,sys; ns=runpy.run_path(sys.argv[1]); ns[sys.argv[2]](False,'independent-review-negative-control') + ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/original-clean-source-interface/cold/package/frozen/work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/check_review.py", line 32, in need + raise ValueError(reason) +ValueError: independent-review-negative-control