Skip to content

Superseded by #1112 - #1109

Closed
Wronskode wants to merge 1 commit into
CrocSwap:mainfrom
Wronskode:research/frontier1042-invoice-audit-seed81
Closed

Wronskode wants to merge 1 commit into
CrocSwap:mainfrom
Wronskode:research/frontier1042-invoice-audit-seed81

Conversation

@Wronskode

@Wronskode Wronskode commented Oct 13, 2026 •

Copy link
Copy Markdown
Contributor

Superseded by #1112.

…ap steps, 94 outer slacks (seed 81, no new kappa)

Standard-library re-computation of the selected record's per-vertex envelope,
strict finite guards (with the group order checked two ways and by small-case
brute force), bootstrap chain and 47+47 outer slacks, read as data from the
pinned committed assembly and replay archive. 15 negative controls. Credits
PR771's earlier guard audit of the #626 invoice.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@Wronskode
Wronskode force-pushed the research/frontier1042-invoice-audit-seed81 branch from fdb5b6f to 3a6a13c Compare October 13, 2026 18:23
@Wronskode Wronskode changed the title Independent verification: selected PR1042 finite invoice, 9 guards, 14 bootstrap steps and 94 outer slacks (seed 81, no new kappa) Superseded by #1112 Oct 13, 2026
@Wronskode Wronskode closed this Oct 13, 2026
@Wronskode
Wronskode deleted the research/frontier1042-invoice-audit-seed81 branch October 13, 2026 18:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant