Skip to content

Research audit: PR626 owner boundaries and bridge-omission blind spot #675

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 1 commit into from
Oct 13, 2026
Merged

Research audit: PR626 owner boundaries and bridge-omission blind spot #675

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
24 changes: 24 additions & 0 deletions research/owner-boundary-audit/CLAIM.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
{
"track": "adversarial mathematical audit",
"assignment_seed": 60,
"seed_source": "Python secrets.randbelow(100), operating-system randomness",
"base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
"selected_kappa": "51110230636731/31250000000000000",
"object": "PR626 whole-owner availability at local-call, bridge, and idle-completion boundaries",
"method": "Independent event traversal of the inherited physical controller; enumerate every owner-replica/child/call eligibility and check all 35,424 literal roles; boundary mutations and shared-call negative controls",
"deliverable": "Scoped mathematical audit note, standalone standard-library checker, source pins and deterministic receipt; no new kappa",
"expected_finish_utc": "2026-10-13T03:53:30Z",
"coordination": "No pinned issues returned by GitHub GraphQL; no open sprint issue found. Local claim used as instructed.",
"candidates": [
"Cyclic inverse infinity-norm transfer: not selected; #621 review and #628/#663 overlap",
"Cold-helper restoration: not selected; #617/#633 and #663 overlap",
"Whole-owner boundary timing: selected; event-state method distinct from PR626's interval-reconstruction and PR553's historical formal instance"
],
"scope_exclusions": "No native provider reconstruction, allocation optimization, global-frontier edits, or all-size/analytic proof",
"status": "completed",
"completed_at_utc": "2026-10-13T03:40:57.640413+00:00",
"result": "All 10,368 eligibility decisions and 35,424 selected roles pass; 2,736 roles use closing blocks. All 72 single bridge deletions preserve timing admission but break the normalized scalar identity. Added nine exact scalar witnesses and 956 rejection controls; no new kappa.",
"result_link": "https://github.com/tekuuu/integer-mult-bounds/tree/audit/seed60-owner-boundaries/research/owner-boundary-audit",
"overlap_refresh": "2026-10-13T03:38Z: no pinned coordination issue; PR553 historical proof remains credited, new PRs through671 do not duplicate this current-table timing/scalar comparison.",
"verification": "Normal and optimized standalone checks match EXPECTED byte-for-byte; selected-record-check and staged whitespace check pass; see VALIDATION.json."
}
257 changes: 257 additions & 0 deletions research/owner-boundary-audit/EXPECTED.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,257 @@
{
"status": "PASS_PR626_NEXT_TOUCH_BOUNDARY_AUDIT",
"base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
"assignment_seed": 60,
"replica_events": 240,
"idle_deadlines_including_zero_rank": 160,
"nonzero_windows": 144,
"eligibility_decisions": 10368,
"admitted_decisions": 2958,
"eligibility_sha256": "558ada03e26384a2068f9847473c881e3cfbbd9b27882f8b46e4c66d8d0f886f",
"roles": 35424,
"cross_replica_roles": 28404,
"occupied_owner_groups": 13913,
"closing_block_admitted_child_calls": 144,
"closing_block_helper_roles": 2736,
"valid_roles_rejected_if_borrower_replica_is_used": 12614,
"negative_controls": {
"deadline_before_call": 144,
"intervening_bridge_destination": 144,
"intervening_bridge_source": 144,
"same_family_disjoint_coordinates": 1,
"unknown_event": 1,
"window_endpoint_shift": 522
},
"bridge_deletion_sensitivity": {
"nonterminal_no_change": 48,
"terminal_no_change": 24
},
"scalar_bridge_omission_counterexamples": [
{
"source_event": 3,
"input_basis_column": 0,
"actual_output": [
1,
0,
0,
1,
0,
0,
0,
0
],
"expected_output": [
1,
0,
0,
0,
0,
0,
0,
0
],
"changed_matrix_entries": 4
},
{
"source_event": 6,
"input_basis_column": 0,
"actual_output": [
1,
0,
0,
-1,
0,
0,
0,
0
],
"expected_output": [
1,
0,
0,
0,
0,
0,
0,
0
],
"changed_matrix_entries": 3
},
{
"source_event": 9,
"input_basis_column": 1,
"actual_output": [
0,
1,
0,
0,
0,
-1,
0,
0
],
"expected_output": [
0,
1,
0,
0,
0,
0,
0,
0
],
"changed_matrix_entries": 6
},
{
"source_event": 12,
"input_basis_column": 2,
"actual_output": [
0,
0,
1,
0,
0,
-1,
0,
0
],
"expected_output": [
0,
0,
1,
0,
0,
0,
0,
0
],
"changed_matrix_entries": 3
},
{
"source_event": 15,
"input_basis_column": 1,
"actual_output": [
0,
1,
0,
0,
0,
0,
0,
1
],
"expected_output": [
0,
1,
0,
0,
0,
0,
0,
0
],
"changed_matrix_entries": 8
},
{
"source_event": 18,
"input_basis_column": 4,
"actual_output": [
0,
0,
0,
0,
1,
0,
0,
-1
],
"expected_output": [
0,
0,
0,
0,
1,
0,
0,
0
],
"changed_matrix_entries": 3
},
{
"source_event": 25,
"input_basis_column": 1,
"actual_output": [
0,
1,
0,
0,
0,
0,
0,
-1
],
"expected_output": [
0,
1,
0,
0,
0,
0,
0,
0
],
"changed_matrix_entries": 6
},
{
"source_event": 26,
"input_basis_column": 1,
"actual_output": [
0,
1,
0,
0,
0,
1,
0,
0
],
"expected_output": [
0,
1,
0,
0,
0,
0,
0,
0
],
"changed_matrix_entries": 4
},
{
"source_event": 27,
"input_basis_column": 1,
"actual_output": [
0,
1,
0,
-1,
0,
0,
0,
0
],
"expected_output": [
0,
1,
0,
0,
0,
0,
0,
0
],
"changed_matrix_entries": 2
}
],
"scope": "Finite pinned PR626 controller and literal owner roles; native widths, normalized residual semantics, atomic calls and all-size realization are inherited, not re-proved. No new kappa."
}
Loading