Independent verification: PR3605's staged 644/660 words pass an exact audit against the PR3133 control (no κ claim)

research/staged-644-660-independent-audit/ROOT-RESULT.json

@@ -0,0 +1,167 @@
+{
+ "aggregate_witness_recount": {
+  "bins": 1491840,
+  "capacity_rank_units": 35804160,
+  "controls_rejected": 6,
+  "idle": {
+   "1": 174156,
+   "3": 48334,
+   "4": 1,
+   "48": 283185,
+   "5": 10792,
+   "6": 3
+  },
+  "scope": "arithmetic of the published integer witness with the audited widths; windows as published; no literal journal or chronology"
+ },
+ "attribution": {
+  "PR3148 idle + PR3605 local": {
+   "bracket_30_digits": [
+    "1826582763822943966796899637/1000000000000000000000000000000",
+    "913291381911471983398449819/500000000000000000000000000000"
+   ],
+   "rank_mass": 48151800,
+   "shift_from_PR3148_lower": 9.680526914434695e-05
+  },
+  "PR3148 local + PR3605 idle": {
+   "bracket_30_digits": [
+    "65325438777578337491804849/40000000000000000000000000000",
+    "816567984719729218647560613/500000000000000000000000000000"
+   ],
+   "rank_mass": 48178440,
+   "shift_from_PR3148_lower": -9.664152523913857e-05
+  }
+ },
+ "coverage_law": {
+  "forced_capacity_54W": 35804160,
+  "per_call_mass_minus_width_units": 1856,
+  "rank_mass_72W_plus_64N": 48165120,
+  "rank_mass_moved_PR3148_to_PR3605": 97186
+ },
+ "histograms": {
+  "PR3148": {
+   "M_lower_at_D_minus_1": 2.7336604517475374e-25,
+   "M_upper_at_C_minus_1": -1.0375926953082e-26,
+   "bracket_30_digits": [
+    "216222186834824626485862957/125000000000000000000000000000",
+    "1729777494678597011886903657/1000000000000000000000000000000"
+   ],
+   "decimal_engine_root_70_digits": "0.001729777494678597011886903656817803609005754813360929082708328901175575",
+   "histogram": {
+    "1": 16376940,
+    "2": 4821840,
+    "3": 1567431,
+    "4": 679320,
+    "48": 282569,
+    "5": 147075,
+    "8": 53280
+   },
+   "published_bracket": [
+    "17297774946785970118869/10000000000000000000000000",
+    "1729777494678597011887/1000000000000000000000000"
+   ],
+   "published_digits": 25
+  },
+  "PR3605": {
+   "M_lower_at_D_minus_1": 4.1334262440831736e-25,
+   "M_upper_at_C_minus_1": -2.4237067270536225e-24,
+   "bracket_30_digits": [
+    "346001309907768369401170861/200000000000000000000000000000",
+    "865003274769420923502927153/500000000000000000000000000000"
+   ],
+   "decimal_engine_root_70_digits": "0.001730006549538841847005854305451473616183688862135324240199051199479098",
+   "histogram": {
+    "1": 16417896,
+    "2": 4835160,
+    "3": 1540174,
+    "4": 679321,
+    "48": 283185,
+    "5": 143992,
+    "6": 3,
+    "8": 53280
+   },
+   "published_bracket": [
+    "346001309907768369401/200000000000000000000000",
+    "865003274769420923503/500000000000000000000000"
+   ],
+   "published_digits": 24
+  }
+ },
+ "idle_delta": {
+  "1": 996,
+  "3": -617,
+  "4": 1,
+  "48": 616,
+  "5": -3083,
+  "6": 3
+ },
+ "local_delta_per_call": {
+  "1": 6,
+  "2": 2,
+  "3": -4
+ },
+ "mass_changing_sensitivity_PR3605": {
+  "+1 rank-1 child (rank mass +1)": {
+   "bracket_30_digits": [
+    "1729999212951825119741563069/1000000000000000000000000000000",
+    "172999921295182511974156307/100000000000000000000000000000"
+   ],
+   "shift_from_PR3605_lower": -7.336587016727264e-09
+  },
+  "+1 rank-48 child (rank mass +48)": {
+   "bracket_30_digits": [
+    "345931348752233296299287263/200000000000000000000000000000",
+    "432414185940291620374109079/250000000000000000000000000000"
+   ],
+   "shift_from_PR3605_lower": -3.4980577767536554e-07
+  },
+  "-1 rank-1 child (rank mass -1)": {
+   "bracket_30_digits": [
+    "1730013886126120365249152379/1000000000000000000000000000000",
+    "86500694306306018262457619/50000000000000000000000000000"
+   ],
+   "shift_from_PR3605_lower": 7.336587278518243e-09
+  },
+  "-1 rank-48 child (rank mass -48)": {
+   "bracket_30_digits": [
+    "865178177482133737937284553/500000000000000000000000000000",
+    "1730356354964267475874569107/1000000000000000000000000000000"
+   ],
+   "shift_from_PR3605_lower": 3.498054254256289e-07
+  }
+ },
+ "mass_conserving_sensitivity_PR3605": {
+  "+1 relabel (rank-48 idle child <-> 48 rank-1 children)": {
+   "bracket_30_digits": [
+    "1730004198960502862962895247/1000000000000000000000000000000",
+    "108125262435031428935180953/62500000000000000000000000000"
+   ],
+   "shift_from_PR3605_lower": -2.350578338984043e-09
+  },
+  "-1 relabel (rank-48 idle child <-> 48 rank-1 children)": {
+   "bracket_30_digits": [
+    "86500445006178693387823839/50000000000000000000000000000",
+    "1730008900123573867756476781/1000000000000000000000000000000"
+   ],
+   "shift_from_PR3605_lower": 2.3505847320207507e-09
+  },
+  "least relabels putting the PR3605 root below 0.00173": 3,
+  "least relabels putting the PR3605 root below the PR3148 root": 98,
+  "most rank-mass units moved that cannot put the PR3605 root below 0.00173": 133,
+  "most rank-mass units moved that cannot put the PR3605 root below the PR3148 root": 4678,
+  "one width-8 role moved from a full bin to an empty capacity-48 bin": {
+   "bracket_30_digits": [
+    "865003138289842471247704021/500000000000000000000000000000",
+    "1730006276579684942495408043/1000000000000000000000000000000"
+   ],
+   "shift_from_PR3605_lower": -2.7295915690451043e-10
+  }
+ },
+ "model": "M(b)=sum_r r*H[r]*(73/r)^b/(73*663040)",
+ "rank_mass": 48165120,
+ "root_delta_PR3605_minus_PR3148": [
+  "28631857530604389868831/125000000000000000000000000000",
+  "4581097204896702379013/20000000000000000000000000000"
+ ],
+ "status": "PASS_EXACT_MOMENT_BRACKETS",
+ "stock_times_dimension": 48401920
+}

research/staged-644-660-independent-audit/SOURCES.json

@@ -0,0 +1,173 @@
+{
+  "schema_version": 1,
+  "base_commit": "20ecf2891d80b5acf18d980b2164fb44ea7faa90",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
+      "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "67f085acd86acd7d4e03922d9cf4b26bca66fed5",
+      "sha256": "47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0"
+    },
+    {
+      "path": "research/coupled-carrier-cap740/CLAIM.json",
+      "usage": "input",
+      "git_blob": "aa3d8e87fc139d636cd19eaa4cd375fca2c780cf",
+      "sha256": "338165d75d87a1a576750ec92772640e641bc91076e91b686d8ec7ad6f9d6d19"
+    },
+    {
+      "path": "research/rank7-coupled-586-588-carrier-fold/edits/FINAL-WORD-base.json.gz",
+      "usage": "input",
+      "git_blob": "cb4cc24a4545944627ad595c0c5080196952b9f0",
+      "sha256": "300a9b8ad1d554f0e6f84f43f3f5fd870a5b4e5f81ad856900b6e8999684892e"
+    },
+    {
+      "path": "research/rank7-coupled-586-588-carrier-fold/edits/FINAL-WORD-extra.json.gz",
+      "usage": "input",
+      "git_blob": "decc8f26d8aab108baf75f0d8b2d1012eb06d076",
+      "sha256": "495d030f1e03b90e954dad3043994f03293d41b9ed220a3beaef849df435d3f0"
+    },
+    {
+      "path": "research/coupled-carrier-independent-audit/verify.py",
+      "usage": "provenance",
+      "git_blob": "18044e841b53b3d3779d8f7c15f19d98ba3f00fe",
+      "sha256": "59d7f658992afbcb0e86b763c07d73f706b3841f177522126cd3def5adffc41d"
+    },
+    {
+      "path": "research/rank7-coupled-586-588-carrier-fold/vendor/audit_local.py",
+      "usage": "provenance",
+      "git_blob": "8224873d0497cf0b4c202f31b145fa273553d978",
+      "sha256": "a38940094f7d19cd6376aafdd4734fa68eabc9aff4c98c3c4a3e9540328b1c90"
+    }
+  ],
+  "snapshot": [
+    {
+      "local": "inputs/STAGED644-660-base.json.gz",
+      "source_path": "research/staged-644-660-width-reduction/STAGED644-660-base.json.gz",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "dc6d321b1e8e2a837a1ff7bb60e8f8f78d043db5",
+      "sha256": "735c540b1fe29d0ceeb4d2f304ec941e5f2bd3bc92bafc8cce2b4f9a67a3b653"
+    },
+    {
+      "local": "inputs/STAGED644-660-extra.json.gz",
+      "source_path": "research/staged-644-660-width-reduction/STAGED644-660-extra.json.gz",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "78e7b2bb0653c8dcc0133980a19dd9d97ebdb67e",
+      "sha256": "886338fc32da14f3389a82c8120a1bcf9c5e2f0ec3e9b2d377fdae809e1d977f"
+    },
+    {
+      "local": "inputs/STAGED-PAIR-RECORD-base.json.gz",
+      "source_path": "research/staged-644-660-width-reduction/STAGED-PAIR-RECORD-base.json.gz",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "042dbc69aee653e0a3c66a5910f14c741e5b39a7",
+      "sha256": "a6ae4188be998990ecb176fef5929e8e1dfce3726e372c0da2a290fe8ea73532"
+    },
+    {
+      "local": "inputs/STAGED-PAIR-RECORD-extra.json.gz",
+      "source_path": "research/staged-644-660-width-reduction/STAGED-PAIR-RECORD-extra.json.gz",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "67f04ae395ec5f05586af438eeb2ad2db23c9c82",
+      "sha256": "33a39d46d4d19bdeb6f0b6abb38cc80c68219e1ae10dd7e1acaccedc14b47236"
+    },
+    {
+      "local": "inputs/PR3605-CLAIM.json",
+      "source_path": "research/staged-644-660-conditional-release/CLAIM.json",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "445e6a83a4cdc6e8630e86f20990b50d1311f81d",
+      "sha256": "2e721209f626d5111142951b1f26383d6746b4f230a4625244b5e5c84d6079d5"
+    },
+    {
+      "local": "inputs/AGGREGATE-INTEGER-FLOW.json.gz",
+      "source_path": "research/staged-644-660-conditional-release/owners/AGGREGATE-INTEGER-FLOW.json.gz",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "104962d079d315f3caf5269ff0e8ff0fbae7fee8",
+      "sha256": "392d9ff80e641a79c9375e71df7f745e9d48f6e0914851a4ed4ecd079e0df2e9"
+    }
+  ],
+  "read_only_references": [
+    {
+      "source_path": "research/staged-644-660-width-reduction/PROOF.md",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "020ab84ae73b04a94d5f49dae77c37d766ceb532",
+      "sha256": "525b010f3a895bdb11313f9938ad1b742df64bcee0b5671399230b1ded541baf",
+      "usage": "read for the claims under audit; not imported or executed"
+    },
+    {
+      "source_path": "research/staged-644-660-width-reduction/staged_pair.py",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "ca3e3effb97f46485ab7ac8c15ce4a92e1f93fbe",
+      "sha256": "25fc9b025dbb90358032013303adea650a5f19937fd3edf30b6c6fd023e2d747",
+      "usage": "read for the claims under audit; not imported or executed"
+    },
+    {
+      "source_path": "research/staged-644-660-width-reduction/check_scope.py",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "cea3481a639a18f13d457c926d7a3db45525797e",
+      "sha256": "f8eefd425a0d570167e14febcacfbb38a6bb29d820d808be426180cf31b5a947",
+      "usage": "read for the claims under audit; not imported or executed"
+    },
+    {
+      "source_path": "research/staged-644-660-width-reduction/verify.py",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "7f2f6170705a77a8ca5e31007d986912373a33f0",
+      "sha256": "0ef49b725fc132cd5fc26a9a81028739896232d938bae22cef132384c7cbab13",
+      "usage": "read for the claims under audit; not imported or executed"
+    },
+    {
+      "source_path": "research/staged-644-660-conditional-release/DERIVATION.md",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "30710a70b9d9e2b8625ba69fcfbf4c2ba736a8e9",
+      "sha256": "0570b25a98261ed62c9c5709e14a8f6f6c5a921a73286739212c3954c3e7de27",
+      "usage": "read for the claims under audit; not imported or executed"
+    },
+    {
+      "source_path": "research/rank7-coupled-586-588-carrier-fold/edits/FINAL-WORD-base.json.gz",
+      "source_commit": "51eb9c4ee9e4722010d308aa3309e039d3940cc2",
+      "source_pr": 3133,
+      "git_blob": "cb4cc24a4545944627ad595c0c5080196952b9f0",
+      "sha256": "300a9b8ad1d554f0e6f84f43f3f5fd870a5b4e5f81ad856900b6e8999684892e",
+      "usage": "identity of the main-branch input with its predecessor head"
+    },
+    {
+      "source_path": "research/coupled-carrier-cap740/CLAIM.json",
+      "source_commit": "f2927a4b8afcf0701a6b945e14f30de1d94f5176",
+      "source_pr": 3148,
+      "git_blob": "aa3d8e87fc139d636cd19eaa4cd375fca2c780cf",
+      "sha256": "338165d75d87a1a576750ec92772640e641bc91076e91b686d8ec7ad6f9d6d19",
+      "usage": "identity of the main-branch input with its predecessor head"
+    },
+    {
+      "source_path": "research/staged-644-660-width-reduction/check_residual.py",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "7e75bde5b4c3a0d345b89e71631abeb9994781ec",
+      "sha256": "e34b06ae725f062d15ad83cbd3ef2f91d3d78c380ccc93c8d2deba1c9e354c70",
+      "usage": "cited for the native rank-7 residual identity, which this package does not check; not imported or executed"
+    },
+    {
+      "source_path": "research/staged-644-660-conditional-release/owners/verify_aggregate.py",
+      "source_commit": "3efbb5de06a49ffeea6684482f2d3fe48cdca3fb",
+      "source_pr": 3605,
+      "git_blob": "a5e828b6de7eb691e94eec1ee52ea47fd9a2971f",
+      "sha256": "c10a0eb62799f73dd577a5bec86e91b0124ec8b2cdf95bd68807299cf1521866",
+      "usage": "read for the aggregate-witness legality checks that root.py reimplements (all but the literal T37 order and the owner.windows window classes/bin counts); not imported or executed"
+    }
+  ],
+  "snapshot_provenance": "Exact Git blob bytes of PR3605 head 3efbb5de (unmerged at base 20ecf289); verify.py authenticates them by SHA256. The PR3133 parent words and PR3148 claim are read from main and pinned in files. Provenance rows: Arham Tahir's coupled-carrier-independent-audit/verify.py, whose frame-bill and free-word structure audit_core.py re-implements without importing; and the inherited auditor audit_local.py, which only the optional crosscheck_inherited.py executes (it also checks this SHA256 itself)."
+}