Skip to content

Classify every consumer of the bit-0 census prune: no relied exclusion affected (no new κ) #4946

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 3 commits into from
Oct 23, 2026
Merged

Classify every consumer of the bit-0 census prune: no relied exclusion affected (no new κ) #4946

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
0f06b7e
Bind the faulty PR2542 engine bytes to the 01021323 false prune
JoyboyBrian Oct 23, 2026
319e59f
Register the source-impact verifier with -O control
JoyboyBrian Oct 23, 2026
e15c500
Document the whole-tree classification, revalidation list and open qu…
JoyboyBrian Oct 23, 2026
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
387 changes: 387 additions & 0 deletions research/census-prune-source-impact/INVENTORY.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,387 @@
{
"schema_version": 1,
"base_commit": "cef4b52f2a59009865bf8eabde1be3f159063703",
"faulty_engine_sha256": "82e4c407b58864c74ffd14d47f00b6b1675005ee0e0173909b7bd092491175e4",
"pinned": [
{
"path": "research/universal-f7-singleton-seedb859517b/engine.py",
"pr": 2542,
"role": "FAULTY_ENGINE",
"sha256": "82e4c407b58864c74ffd14d47f00b6b1675005ee0e0173909b7bd092491175e4",
"evidence": [
"def cyclic_census",
"nq & 1"
]
},
{
"path": "research/universal-f7-singleton-l20-seed06704c39/engine.py",
"pr": 2634,
"role": "FAULTY_ENGINE",
"sha256": "82e4c407b58864c74ffd14d47f00b6b1675005ee0e0173909b7bd092491175e4",
"evidence": [
"def cyclic_census"
]
},
{
"path": "research/f7-17point-cover-audit-seedcfa215c2/vendor/pr2542_engine.py",
"pr": 2773,
"role": "FAULTY_ENGINE",
"sha256": "82e4c407b58864c74ffd14d47f00b6b1675005ee0e0173909b7bd092491175e4",
"evidence": [
"def cyclic_census"
]
},
{
"path": "research/universal-f7-singleton-l20-census-complete-seedfd938f30/f7_census.c",
"pr": 2691,
"role": "FAULTY_NATIVE_RULE",
"sha256": "b4722f59811b9920e1f364e68a228ad5ad34cf98f9c490a3655d78dc2e9ae23b",
"evidence": [
"nq\\s*&\\s*1",
"BUDGET\\s+27|BUDGET\\s*=\\s*27"
]
},
{
"path": "research/universal-f7-singleton-seedb859517b/search.py",
"pr": 2542,
"role": "RETIRED_EXCLUSION_CALLER",
"sha256": "d8bad428035806848f9e0dc6caa3193e1a9abbad6a589dff3ef0e0b66f5f006c",
"evidence": [
"cyclic_census\\(7, 18, budget=9, simple=True"
]
},
{
"path": "research/universal-f7-singleton-seedb859517b/README.md",
"pr": 2542,
"role": "RETIRED_EXCLUSION_CLAIM",
"sha256": "c3c541a5019aad83b95228de4472c8ab149cec376666b431d4dab57bca72f246",
"evidence": [
"20\\s*(<=|≤)\\s*f\\(7\\)|f\\(7\\)\\s*(>=|≥)\\s*20\\b",
"15,?775,?992"
]
},
{
"path": "research/universal-f7-singleton-l20-seed06704c39/census20.py",
"pr": 2634,
"role": "RETIRED_EXCLUSION_CALLER",
"sha256": "b403d815dad917440e238a7cafe4e15aa296f590e87c85c86653f06cba243055",
"evidence": [
"cyclic_census\\(",
"budget\\s*=\\s*27|BUDGET\\s*=\\s*27"
]
},
{
"path": "research/universal-f7-singleton-l20-seed06704c39/README.md",
"pr": 2634,
"role": "RETIRED_EXCLUSION_CLAIM",
"sha256": "01ecc4b0c133f9853144c363fa988c89ae967521de326e1c62db0ddc0d7a9bec",
"evidence": [
"798,?901,?058"
]
},
{
"path": "research/universal-f7-singleton-l20-census-complete-seedfd938f30/README.md",
"pr": 2691,
"role": "RETIRED_EXCLUSION_CLAIM",
"sha256": "d0435c3637b8fb756b6e05783a47e148e1737ee13faaac634a3432ccffd1228f",
"evidence": [
"6,?305,?209,?079",
"\\(10,10\\)"
]
},
{
"path": "research/f7-17point-cover-audit-seedcfa215c2/verify.py",
"pr": 2773,
"role": "HISTORICAL_ANCHOR_CALLER",
"sha256": "2e6b6dadb285ae30115629c7dd0ed441f4e61e1979ddacbe129ef31926114278",
"evidence": [
"cyclic_census\\(7, 18, budget=9, simple=True",
"\"hits\": 0"
]
},
{
"path": "research/f7-17point-cover-audit-seedcfa215c2/README.md",
"pr": 2773,
"role": "STALE_CITATION",
"sha256": "753eeec4f8dd171b1662153dd4ba9b887c56f331e44af552d1dfaa36190c368b",
"evidence": [
"20\\s*(<=|≤)\\s*f\\(7\\)|f\\(7\\)\\s*(>=|≥)\\s*20\\b",
"15,?775,?992",
"even-weight|even weight"
]
},
{
"path": "research/f7-17point-fourier-obstruction-seedb5e318fe/verify.py",
"pr": 2870,
"role": "HISTORICAL_ANCHOR_RECEIPT",
"sha256": "a4c03264fb68bf0ae95a684c093f36772a0a73469bd6966895042dac4c9d2644",
"evidence": [
"\"l18_universal\": 0",
"\"l18_nodes\": 15775992"
]
},
{
"path": "research/f7-18point-cover-question-seed6d34356c/ANCHOR-REPRO.json",
"pr": 2911,
"role": "HISTORICAL_ANCHOR_RECEIPT",
"sha256": "00bae824caa6b7eba6165290a9cfded9a09b63f4332dd7a8e38696c1b0f82974",
"evidence": [
"15,?775,?992",
"universal"
]
},
{
"path": "research/f7-18point-vanishing-seedfc618722/ANCHOR-REPRO.json",
"pr": 2933,
"role": "HISTORICAL_ANCHOR_RECEIPT",
"sha256": "3400b4a2b3cbc00082d278a393832f80143d913ec7c7a2b1fcd73cf8e341fa5f",
"evidence": [
"\"l18_universal\": 0"
]
},
{
"path": "research/f7-18point-tight-classes-seed4c1e7b30/README.md",
"pr": 2961,
"role": "STALE_CITATION",
"sha256": "3e539305c90e770c2794d1945497df7dd7c51ccdb6ff836d2b3438f1075687d4",
"evidence": [
"20\\s*(<=|≤)\\s*f\\(7\\)|f\\(7\\)\\s*(>=|≥)\\s*20\\b"
]
},
{
"path": "research/f7-18point-avtail-seed010d26fa/README.md",
"pr": 3023,
"role": "STALE_CITATION",
"sha256": "ca9f89f813bac5180cb25ab3db2b7336966edff3e86b5d7b9cb016426cc6c9fd",
"evidence": [
"20\\s*(<=|≤)\\s*f\\(7\\)|f\\(7\\)\\s*(>=|≥)\\s*20\\b",
"01021323",
"unaffected by that correction"
]
},
{
"path": "research/f7-bit0-false-prune/verify.py",
"pr": 3096,
"role": "AUDIT_CALLER",
"sha256": "eee36f4d00dba9ecd39cf35df283ee7575154ae272ce91f50f538c99912053a0",
"evidence": [
"cyclic_census",
"01021323"
]
},
{
"path": "research/f7-set-word-pruning-boundary/verify.py",
"pr": 3215,
"role": "AUDIT_CALLER",
"sha256": "8ff0b6fa72e69ef892eba7922ecf61808d28c9be15ce684b436225651b187c6e",
"evidence": [
"cyclic_census",
"01021323"
]
},
{
"path": "research/connector-capacity-parity-audit/verify.py",
"pr": 3224,
"role": "AUDIT_CALLER",
"sha256": "57a0ff10eb991a21b345a7c9cbfc502a64b4943c77d1e3d401febe486d8eeb54",
"evidence": [
"cyclic_census"
]
},
{
"path": "research/f7-independent-full-replay/verify.py",
"pr": 3333,
"role": "AUDIT_CALLER",
"sha256": "77c59038be801a79908b543a7e1175931f7d6dd1a299dc3d9bf8716a00a35d46",
"evidence": [
"cyclic_census"
]
},
{
"path": "research/f7-weight-parity-census-correction/engine/corrected_census.c",
"pr": 2973,
"role": "REPLACEMENT_ENGINE",
"sha256": "265ead915d1b490c1923bce9b894ecac60f6195fc3d2ceadd6b25077238f415a",
"evidence": [
"Hamming-weight parity",
"__builtin_popcount",
"parity\\(nq\\)"
]
},
{
"path": "research/f7-union-support-audit/census.cpp",
"pr": 3005,
"role": "REPLACEMENT_ENGINE",
"sha256": "3cd2c77fdb613e0463148265d9be084bcaa871f0a2c6c40ae3d94fea27c06949",
"evidence": [
"std::popcount"
]
},
{
"path": "research/f7-independent-full-replay/replay.c",
"pr": 3333,
"role": "REPLACEMENT_ENGINE",
"sha256": "7dd0c29fbadfd54aa6ba985745bfff5703b281a5746cfe042166bfb561101a4c",
"evidence": [
"parity"
]
},
{
"path": "research/f7-l22-union-census/engine/union_census.c",
"pr": 3818,
"role": "REPLACEMENT_ENGINE",
"sha256": "d34a322fc6c9fd41bc9dae337d3e84923f9dfb938c1af42de491cf536fe3cabe",
"evidence": [
"__builtin_popcount",
"parity\\(nq\\)"
]
},
{
"path": "research/f7-l22-deep-shard-census/deep_census.py",
"pr": 4221,
"role": "REPLACEMENT_DRIVER",
"sha256": "9a63bed90a4ea0e1254bdd43fd35b0d4a846f71c1ad2feb7ae166e8a2082b690",
"evidence": [
"union_census"
]
},
{
"path": "research/connector-covering-code/README.md",
"pr": 3058,
"role": "REPLACEMENT_SET_LEVEL",
"sha256": "35252e16e58481df87fc7ac3eb7326bf87e991f9fd8f7e30d14716c16f2152e4",
"evidence": [
"f\\(7\\) >= 22 follows from sections 1-2 alone",
"uses neither the PR2542/PR2634/PR2691 censuses"
]
}
],
"coverage": [
{
"prefix": "research/universal-f7-singleton-seedb859517b/",
"class": "RETIRED_WORD_EXCLUSION",
"must_trigger": true,
"reason": "PR2542 (navinor): L18 simple-cycle word exclusion and f(7)>=20 made with the bit-0/balanced budget. Replacement: PR2973 L18 (9,9) row; PR3058 sections 1-2 give f(7)>=22 with no census."
},
{
"prefix": "research/universal-f7-singleton-l20-seed06704c39/",
"class": "RETIRED_WORD_EXCLUSION",
"must_trigger": true,
"reason": "PR2634 (navinor): byte-identical engine; partial L20 simple-cycle census with budget 27. Replacement: PR2973 five L20 rows, PR3005, PR3333."
},
{
"prefix": "research/universal-f7-singleton-l20-census-complete-seedfd938f30/",
"class": "RETIRED_WORD_EXCLUSION",
"must_trigger": true,
"reason": "PR2691 (NicholasStone): native nq&1 grouping with BUDGET 27; (10,10) L20 receipt. Replacement: PR2973 (10,10) row, PR3005, PR3333."
},
{
"prefix": "research/f7-17point-cover-audit-seedcfa215c2/",
"class": "SET_LEVEL_WITH_HISTORICAL_ANCHOR",
"must_trigger": true,
"reason": "PR2773 (navinor): set-level weight-parity rows; verify.py re-runs the PR2542 L18 counters from the vendored faulty engine as a reproduction anchor; README cites 20<=f(7) from PR2542."
},
{
"prefix": "research/f7-17point-fourier-obstruction-seedb5e318fe/",
"class": "SET_LEVEL_WITH_HISTORICAL_ANCHOR",
"must_trigger": true,
"reason": "PR2870 (navinor): set-level Fourier rows; records the PR2542 L18 counters as an anchor receipt."
},
{
"prefix": "research/f7-18point-cover-question-seed6d34356c/",
"class": "SET_LEVEL_WITH_HISTORICAL_ANCHOR",
"must_trigger": true,
"reason": "PR2911 (navinor): set-level; L18 anchor receipt and 20<=f(7) citation."
},
{
"prefix": "research/f7-18point-vanishing-seedfc618722/",
"class": "SET_LEVEL_WITH_HISTORICAL_ANCHOR",
"must_trigger": true,
"reason": "PR2933 (navinor): set-level; L18 anchor receipt and 20<=f(7) citation."
},
{
"prefix": "research/f7-18point-tight-classes-seed4c1e7b30/",
"class": "SET_LEVEL_STALE_CITATION",
"must_trigger": true,
"reason": "PR2961 (navinor): set-level; cites the 20<=f(7) gap only."
},
{
"prefix": "research/f7-18point-avtail-seed010d26fa/",
"class": "SET_LEVEL_STALE_CITATION",
"must_trigger": true,
"reason": "PR3023 (navinor): set-level; cites 20<=f(7) at its base and records the PR2973 correction."
},
{
"prefix": "research/f7-bit0-false-prune/",
"class": "AUDIT_CALLER",
"must_trigger": true,
"reason": "PR3096 (jwr404): calls the faulty engine to exhibit the false prune."
},
{
"prefix": "research/f7-set-word-pruning-boundary/",
"class": "AUDIT_CALLER",
"must_trigger": true,
"reason": "PR3215 (commdata2338): six-file inventory and set-level joint_covers audit."
},
{
"prefix": "research/connector-capacity-parity-audit/",
"class": "AUDIT_CALLER",
"must_trigger": true,
"reason": "PR3224 (commdata2338): calibration call of the faulty engine."
},
{
"prefix": "research/f7-independent-full-replay/",
"class": "AUDIT_CALLER",
"must_trigger": true,
"reason": "PR3333 (1337isnot1337): predecessor-behaviour check plus an independent corrected replay."
},
{
"prefix": "research/f7-weight-parity-census-correction/",
"class": "REPLACEMENT",
"must_trigger": true,
"reason": "PR2973 (NicholasStone): corrected engine; cites the old receipt only as history."
},
{
"prefix": "research/community-",
"class": "INTAKE_ARCHIVE",
"must_trigger": true,
"reason": "Maintainer intake/audit records quoting PR bodies at intake time; frozen, not claims."
},
{
"prefix": "docs/research/pr-ledger.json",
"class": "PR_TITLE_LIST",
"must_trigger": true,
"reason": "PR ledger stores the PR2542 title."
},
{
"prefix": "research/half-stage-evacuation/",
"class": "PR_TITLE_LIST",
"must_trigger": true,
"reason": "Recent-PR title snapshot."
},
{
"prefix": "research/paired-swap-normal45/FRONTIER.json",
"class": "PR_TITLE_LIST",
"must_trigger": true,
"reason": "Recent-PR title snapshot."
},
{
"prefix": "research/replica-tail-gain/references/",
"class": "PR_TITLE_LIST",
"must_trigger": true,
"reason": "Recent-PR title snapshot."
},
{
"prefix": "research/superior-replica-kappa/references/",
"class": "PR_TITLE_LIST",
"must_trigger": true,
"reason": "Recent-PR title snapshot."
},
{
"prefix": "research/tensor-block-kappa/references/",
"class": "PR_TITLE_LIST",
"must_trigger": true,
"reason": "Recent-PR title snapshot."
}
]
}
Loading