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

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 20 additions & 0 deletions research/staged-644-660-owner-successor/ADAPTATIONS.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"changes": [
"explicit source/literal/native/predecessor/output paths",
"complete decompressed predecessor payload equality replaces regenerated gzip container equality"
],
"fixed_inventory_dual": {
"adapted_sha256": "639820c9ccf72b88ae16768055ec5500a66004784f57a2fa5f218bf4d2e4ee05",
"changes": [
"Retain complete Cartesian pattern enumeration, exact basis solve, every reduced-cost sign and all three root enclosures.",
"Remove local budget/owner/outer receipt comparisons; all mathematical quantities are recomputed.",
"Resolve authenticated PR3531 source from explicit predecessor archive argument.",
"Replace every assertion with explicit ValueError, preserving conditions under optimized Python."
],
"original_sha256": "7c055c464ef5d422e976d1f61a26953681db0be94e94cfa12c46038063b041d7",
"source": "conditional-review/review_budget.py (separate local mathematical review)"
},
"independent_owner_adapted_sha256": "8d02dff267938cdb373aa617a411d8e67700e130609d2714e98ccf814e32eaef",
"independent_owner_source_sha256": "778887542c162f4b665b8ed70b583f69e557a968befa68acf7d4cabb35d0f68e",
"unchanged": "All2,717,280-row chronology/family/active-pair/prefix/invoice checks; exact five owner destinations and24-row differential; original five local predicate controls (not whole-journal corruption claims)."
}
17 changes: 17 additions & 0 deletions research/staged-644-660-owner-successor/ARTIFACTS.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
{
"ADAPTATIONS.json": "8d19ca6b4ca5a55ce6253fbde0fb41e761c63d32af555b046472861facce49a4",
"CLAIM.json": "aa4f56010fd4c1e620c742a091932ef3af05cca13886915c1c44f30e9f961aab",
"JOURNAL.json": "8a13c2d03ca4cf1bdadabda373e8b02f3b620a5d02b6ae232ccff4a659f2966f",
"apply_journal.py": "a63a0a6fc4f1e7bfff72c92a4bad69cfa99778a5e1c7a7d2b0cccc39dac621af",
"check.py": "c6f9d552a63fdd8e27f4bc44515dc19220e4eecc9634b9955744accdcd724287",
"check_budget.py": "639820c9ccf72b88ae16768055ec5500a66004784f57a2fa5f218bf4d2e4ee05",
"check_release_binding.py": "1cef4fefeca83fa04eb7758d2a3304d62e4026cba2b240277413ceaec5237661",
"evidence/ACTUAL-RELEASE.tar.gz": "46f61dfd4f38d184bddc7aa1737eadfc834f30199edf5ae8761516fd10f0a17b",
"evidence/MANIFEST.json": "8b6dcb4667b923c14afba91510ab48dcaa3661c455f80d60d37fd01cfc342ad1",
"independent_owners.py": "8d02dff267938cdb373aa617a411d8e67700e130609d2714e98ccf814e32eaef",
"predecessor.py": "0b80a7c56f291c676fd1fc5b852716287f006278a2019220146bf658e013c33a",
"reproduce.py": "84bebf6ca3484474056a50a98790fe948e27361887ece249ea6f5bf50f2b9730",
"vendor/PR3605-MANIFEST.json": "9ad414a6dca4cff40b376ac8c3d6a039a85f19e6611ea4e649af354b74e0928e",
"vendor/PR3605-SOURCES.tar.gz": "c00e3d494295e2d069c7abb210676ca0ff0ff95f68d467c8552960fe78a4fed6",
"verify.py": "91110e50c6a201dfc5d1510819d8a5e8f015500390489727d73d0251d1b7f545"
}
40 changes: 40 additions & 0 deletions research/staged-644-660-owner-successor/CLAIM.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,40 @@
{
"actual_chart_count": 8758,
"actual_controller_controls": 25,
"charged_prefix_bits": 2048,
"complex_lower": "0.001730006690311348872326",
"complex_upper": "0.001730006690311348872327",
"exact_gain_over_PR3605": "140772507025321/1000000000000000000000000",
"final_review_sha256": "b462df012121d234437541e0873d32fb9c5f881374438a61899a32b6cd009cda",
"generated_package_manifest_sha256": "d6aa8f2c029beb040f3c65df5906cf2c748b881245cb2d50ef0435321dc787de",
"histogram": {
"1": 16417892,
"2": 4835160,
"3": 1540174,
"4": 679320,
"48": 283185,
"5": 143993,
"7": 3,
"8": 53280
},
"idle": {
"1": 174152,
"3": 48334,
"48": 283185,
"5": 10793,
"7": 3
},
"kappa": "17300066903113488723259999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
"kappa_decimal": "0.0017300066903113488723259999999999999999999998999999999999999999999999",
"live": 663040,
"physical": 663549,
"predecessor_head": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
"prefix_bits": 1479,
"release_receipt_sha256": "ee5e3f2d4d75fd7596f736e03c680b65441f032d1346dccbec4678b6975e40d7",
"reserved_prefix_bits": 1512,
"roles": 2717280,
"row_coefficient": 19551,
"scope": "No finite release binding gap found in this scope. Publication checks and maintainer adoption remain separate. All inherited all-size/compiler/uniform coefficient and stock/physical hosting/SCALAR-COPY-CLEAR/zero-allocation/internal rounding/tape/bootstrap time/PR559/recovery/analytic/BIT H1-H5 hypotheses remain conditional; no unconditional or formal-kernel theorem.",
"source_manifest_sha256": "adb145b4f36ca330c34c0dbdb847351dafdc4ca9cd7bb4e1de01ed634d96bfe1",
"status": "CONDITIONAL_RELEASE_BOUND"
}
Loading