Skip to content

Research audit: replay all 14 K492 assembly helper-count reversions #766

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 2 commits into from
Oct 14, 2026
Merged

Research audit: replay all 14 K492 assembly helper-count reversions #766

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
5b830a6
Audit all 14 K492 assembly helper-count reversions
gaboroa14 Oct 13, 2026
56bac67
Record completed audit and PR 766 handoff
gaboroa14 Oct 13, 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
71 changes: 71 additions & 0 deletions research/k492-helper-accounting-audit/CLAIM.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,71 @@
{
"track": "Adversarial mathematical audit",
"assignment_seed": 73,
"random_source": "Python secrets.randbelow(100), backed by operating-system randomness",
"drawn_at_utc": "2026-10-13T04:45:58.535853+00:00",
"base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
"candidate_tasks": [
{
"index": 0,
"task": "Audit the dead-port condition for K492 cold-end forward absorptions.",
"decision": "Not selected; related cold-wrapper and restoration audits #702/#712 already active."
},
{
"index": 1,
"task": "Audit all 14 assembly-side R versus R0 substitutions documented in K492 PROOF-NOTE-R.",
"decision": "Selected: seed % 3 = 1; the maintainer review explicitly excludes the unavailable original revert suite."
},
{
"index": 2,
"task": "Audit the prime-power inverse resultant/cofactor bound.",
"decision": "Not selected; independent resultant work #668 and composite extension #666 overlap."
}
],
"claim": {
"object": "research/complex-k492-owner-repair/code/assemble.py: the 14 assemble.* sites in PROOF-NOTE-R.md",
"method": "Pin selected #626 receipts and code, independently recount R/R0 conservation and invoice charges, then revert each documented assembly-side expression in memory one at a time; require the precise intended assertion failure, with unchanged baseline and equivalent-parent positive controls.",
"expected_deliverable": "Standalone standard-library audit, exact deterministic receipt, source pins, mathematical/accounting scope note and one research-audit PR; no new kappa.",
"expected_finish_utc": "2026-10-13T05:26:00Z",
"verification_reserved_from_utc": "2026-10-13T05:16:00Z"
},
"coordination": {
"checked_at_utc": "2026-10-13T04:49:06.049256+00:00",
"pinned_issues": [],
"open_issues": [
650
],
"claim_location": "Local: no sprint coordination issue exists.",
"open_pr_snapshot_count": 539,
"open_pr_max": 720,
"overlap": "Read relevant open PR metadata and central ledger; #675 covers owner timing/bridge omission, #706 covers independent moment bounds. Neither supplies the documented source-reversion controls. #626 is incorporated at selected pin; no existing PR will be modified."
},
"status": "completed and submitted",
"handoff": {
"completed_at_utc": "2026-10-13T05:19:07.318337+00:00",
"pull_request": "https://github.com/CrocSwap/integer-mult-bounds/pull/766",
"branch": "audit/k492-helper-accounting-seed73",
"result": "All 14 documented assembly source reversions replayed: 13 intended assertion rejections and 1 full-receipt-identical parent-bank control. Additional independent native width/role/program recount, two source controls and eight harness/recount controls pass. No current implementation defect or new kappa claimed.",
"verification_started_by_utc": "2026-10-13T05:15:00Z",
"verification": [
"Deterministic audit receipt match",
"All 114 existing production assembly admission controls",
"make selected-record-check",
"Minimal 23-input export from unrelated working directory",
"Corrupt source and expected-receipt exports rejected",
"Optimized Python explicitly refused",
"git diff --cached --check"
],
"final_overlap_snapshot": {
"open_pr_count": 582,
"highest_pr_number": 763,
"concurrent_pr": 724,
"concurrent_head": "624ccfe44b1c5816f0279481d91cca6a5a2290ab",
"additional_coverage": "Compared PR724 source: it replays an AST-selected invoice/finite-guard slice with 7 source rejections and 1 equivalent control. This result replays all 14 documented assembly sites, including earlier provider/width/column/index checks, executes the entire assembly, and counts operations from all four local programs. Matching invoice deltas are credited corroboration, not priority."
},
"unresolved": [
"Original other 18 scratch sites and R=504 fixture not reproduced",
"Parent idle count, archived local algebra/restoration/phase admission and all-size/physical/analytic obligations remain inherited",
"No full make verify, cold supplier reconstruction, remote CI or formal theorem verification claimed"
]
}
}
310 changes: 310 additions & 0 deletions research/k492-helper-accounting-audit/EXPECTED.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,310 @@
{
"accounting": {
"data_rows": 7168,
"helper_roles": 35424,
"hosted_rebased_pervertex": 1833791190482956,
"mapped_spots": [
264,
276,
288,
300
],
"nonlocal_items": {
"bridges": 16128,
"data_routes": 32256,
"helper_routes": 70848,
"moves": 7168,
"parent_banks": 4536,
"parent_idle": 16128,
"parent_live": 11704,
"parent_physical": 12218,
"port_routes": 16128,
"shifts": 3584,
"wrappers": 4713984
},
"old_spot_widths": {
"ck": [
7,
8,
9,
7
],
"jp8": [
8,
9,
9,
8
]
},
"parent_helpers": 504,
"parent_live": 11704,
"parent_physical": 12218,
"physical_rows": 7670,
"provider_helpers": 492,
"providers": {
"ck": {
"columns": 716,
"entrance_rank": 424,
"helpers": 492,
"local": {
"backward": {
"coefficient_work_primitive_count": 111779,
"events": 27256,
"macros": 21936,
"paid_profile": {
"1": 2596,
"2": 552,
"3": 304,
"4": 160,
"5": 70,
"6": 8,
"8": 8
},
"post_wrappers": 238,
"pre_wrappers": 238,
"real_component_primitives": 224986
},
"forward": {
"coefficient_work_primitive_count": 111747,
"events": 27256,
"macros": 21936,
"paid_profile": {
"1": 2596,
"2": 552,
"3": 304,
"4": 160,
"5": 70,
"6": 8,
"8": 8
},
"post_wrappers": 238,
"pre_wrappers": 238,
"real_component_primitives": 224938
}
},
"local_adapters": 426400,
"terminal_codimension": 146,
"width_inventory": {
"4": 30,
"5": 48,
"7": 68,
"8": 92,
"9": 254
},
"width_sum": 3858
},
"jp8": {
"columns": 716,
"entrance_rank": 380,
"helpers": 492,
"local": {
"backward": {
"coefficient_work_primitive_count": 127930,
"events": 27909,
"macros": 22693,
"paid_profile": {
"1": 2512,
"2": 400,
"3": 448,
"4": 160,
"5": 70,
"6": 8,
"8": 8
},
"post_wrappers": 226,
"pre_wrappers": 226,
"real_component_primitives": 257280
},
"forward": {
"coefficient_work_primitive_count": 127898,
"events": 27909,
"macros": 22693,
"paid_profile": {
"1": 2512,
"2": 400,
"3": 448,
"4": 160,
"5": 70,
"6": 8,
"8": 8
},
"post_wrappers": 226,
"pre_wrappers": 226,
"real_component_primitives": 257232
}
},
"local_adapters": 437040,
"terminal_codimension": 146,
"width_inventory": {
"4": 30,
"5": 48,
"7": 36,
"8": 112,
"9": 266
},
"width_sum": 3902
}
},
"removed_parent_registers": [
448,
458,
460,
470,
472,
482,
580,
590,
592,
602,
604,
614
],
"stale_provider_route_overcharge": 358516260864,
"substituted_parent_bank_undercharge": 22407266304,
"unhosted_pervertex": 1833791190783112
},
"audit_controls": [
"stale_native_helper_count",
"dependent_frame_basis",
"missing_helper_role",
"duplicate_helper_role",
"wrong_helper_width",
"unpinned_source",
"absent_mutation_anchor",
"ambiguous_mutation_anchor"
],
"base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
"documented_sites": 14,
"selected_kappa": "51110230636731/31250000000000000",
"source_controls": [
{
"assertion_line": 42,
"mutated_source_sha256": "997153c0535ef9563fef659087abb136f14147b4dac5e148b3c871144015c660",
"name": "assemble.R",
"original": "R=invoice['helpers'];",
"outcome": "rejected_at_expected_assertion",
"replacement": "R=504;"
},
{
"assertion_line": 43,
"mutated_source_sha256": "a2f4d47192ea7aad60bb7a8edf6501e1f9dbd8439dced76bff410787fdf5304a",
"name": "assemble.owners_per_call",
"original": "owner['owners_per_call']==2*112+R",
"outcome": "rejected_at_expected_assertion",
"replacement": "owner['owners_per_call']==728"
},
{
"assertion_line": 43,
"mutated_source_sha256": "0d89f93408a88c66ded9a1e3a26142265f75c55b7300f84e78f507a401e113db",
"name": "assemble.hosted_72R",
"original": "==72*R==pin(",
"outcome": "rejected_at_expected_assertion",
"replacement": "==72*504==pin("
},
{
"assertion_line": 50,
"mutated_source_sha256": "a608f6f9afb7b2394a6624d97bffa79330b786ce30569a99f314d7c172ce0523",
"name": "assemble.stock_helpers",
"original": "local_helpers=R,",
"outcome": "rejected_at_expected_assertion",
"replacement": "local_helpers=504,"
},
{
"assertion_line": 55,
"mutated_source_sha256": "8e0aef320555f68ada50daa458bf7b842e313c5698f793cb40875c7cd73c65cc",
"name": "assemble.provider_helpers",
"original": "assert p['helpers']==R and",
"outcome": "rejected_at_expected_assertion",
"replacement": "assert p['helpers']==504 and"
},
{
"assertion_line": 55,
"mutated_source_sha256": "c37d9d84e1271d6ef8a8a9706ae65f7f390a28086f00df3ad5326f18f628161e",
"name": "assemble.provider_n",
"original": "p['n']==2*112+R",
"outcome": "rejected_at_expected_assertion",
"replacement": "p['n']==728"
},
{
"assertion_line": 60,
"mutated_source_sha256": "d8004f39c174873f180e58c55a99d5f1413e6431f6586661452de6811f7a7dd4",
"name": "assemble.width_sum",
"original": "==9*R-p['entrance_rank']",
"outcome": "rejected_at_expected_assertion",
"replacement": "==9*504-p['entrance_rank']"
},
{
"assertion_line": 60,
"mutated_source_sha256": "dbe6bc1efdca972f148b44708ae3a71ddfd3764d4e4345aa0bfa70febf9e0b7d",
"name": "assemble.width_len",
"original": "len(p['widths'])==R",
"outcome": "rejected_at_expected_assertion",
"replacement": "len(p['widths'])==504"
},
{
"assertion_line": 76,
"mutated_source_sha256": "a8261f357c6be313e87a4be2ad9ebdf05c1069a6b9a26cc8a62594db8508ba90",
"name": "assemble.exact_columns",
"original": "z['all_exact_columns']==2*112+R",
"outcome": "rejected_at_expected_assertion",
"replacement": "z['all_exact_columns']==728"
},
{
"assertion_line": 76,
"mutated_source_sha256": "52e7f0a24e34ca5c823fb57a257c9cf9d2048dda2fa2ee468cd439da8e7da216",
"name": "assemble.dirty_columns",
"original": "z['dirty_helper_columns']==R",
"outcome": "rejected_at_expected_assertion",
"replacement": "z['dirty_helper_columns']==504"
},
{
"assertion_line": 84,
"mutated_source_sha256": "c25fbaffaecfd9def42f64709f1be3ca4398c4ab55416ba6c7cd67a104cf251d",
"name": "assemble.local_adapters",
"original": "p['children']+2*112+R+8",
"outcome": "rejected_at_expected_assertion",
"replacement": "p['children']+728+8"
},
{
"assertion_line": 126,
"mutated_source_sha256": "92bdbd579eee47cb2882c391595787a649c35b4a73fcd04b8d556445ab0bd2b9",
"name": "assemble.route_items",
"original": "+2*72*R+",
"outcome": "rejected_at_expected_assertion",
"replacement": "+2*72*504+"
},
{
"assertion_line": null,
"mutated_source_sha256": "309775c3463e2d74be58a9b80ad56fcf1700983fc11378381a6256e66d2d4488",
"name": "assemble.parent_banks",
"original": "+9*parent_banks+",
"outcome": "accepted_identical_assembly",
"replacement": "+9*504+"
},
{
"assertion_line": 61,
"mutated_source_sha256": "22d3dbe7e6e6ef563628e2138cd47e04f7ecc6c0dd8a77f47359d1be94a78b01",
"name": "assemble.spot_width8",
"original": "for h in SPOT)",
"outcome": "rejected_at_expected_assertion",
"replacement": "for h in (270,282,294,306))"
},
{
"assertion_line": 126,
"mutated_source_sha256": "63188cc501e3622ef65580b9c448987295405aa01e20c26cf6d757798731ae31",
"name": "control.parent_banks_use_provider_R",
"original": "+9*parent_banks+",
"outcome": "rejected_at_expected_assertion",
"replacement": "+9*R+"
},
{
"assertion_line": null,
"mutated_source_sha256": "904bfce7e3e365933c3ac7d888f14cd0c133e51cae7f85623f1734113a03369b",
"name": "control.equivalent_provider_count",
"original": "R=invoice['helpers'];",
"outcome": "accepted_identical_assembly",
"replacement": "R=504-12;"
}
],
"status": "PASS_SCOPED_K492_HELPER_ACCOUNTING_AUDIT"
}
Loading