Skip to content

Research: verify the complete PR2979 native/helper boundary - #3442

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w4-b7-native-closure-20261018
Oct 18, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w4-b7-native-closure-20261018

Conversation

@petalas

@petalas petalas commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

Summary

Verify the finite source/native boundary of both complete original PR2979 streams and all 408 arbitrary dirty-helper outputs, in both orientations.

 native review coverage
- PR3038/3238 endpoint and private-free cones
+ both complete streams and every original dirty-helper output

The new package is research/rank7-complete-native-boundary. Every word, allocation and paid cost stays unchanged. No new supplier, kappa or selected-frontier change is claimed.

Evidence

  • Before: PR3238 covered 2,648/3,167 native classes and 3,717/4,537 native event occurrences per provider. Its helper output root was helper249.
    After: all 3,481 classes and 5,125 native occurrences per orientation pass, adding 833/314 classes and 1,408/588 event occurrences. Across both providers, 13,924 phase-exact identity checks on 512 address columns, 1,632 helper observations and 364 actual private frees pass. A separate retained backward source-covector algorithm checks every helper too.
  • A literal inverse-transpose ADD sign fault at event 21,886 leaves helper287 equal to x287-2*x286 while all older private-free/helper249 observations pass. The complete helper check rejects it. Newly covered native global-phase faults also reject.
  • Fresh registered Python 3.12.15 / NumPy 2.3.5 replay, eight normal/optimized behavior groups, Ruff, original-source lineage, and all 33 committed-byte/source-history comparisons pass. The actual committed Git-free export passes both fresh full providers in normal Python and both test modes; all 34 payload/transport files, modes and inodes remain unchanged.

Canonical base is 6f100d4bb5083f8c35d96fd95a539811c62f245c; original construction is be191346391661f4d35fc0d1508d0a6029572576. Exact pins, full receipts, proof, reproduction and remaining obligations are committed. Canonical scoped claim.

The source decoder, native selector, Gaussian kernel, forward arithmetic and backward covectors are credited reused independent checking tools. This extends their coverage. Individual identities already covered by the group-A/B audits and the parallel group-C audit #3436 retain their credit. The increments above are relative to PR3238, not claims of new individual identities across all those audits.

Merge Danger

Door: two-way

Blast Radius: research

Only an isolated research package is added. Physical rational scalar/COPY/CLEAR and zero-allocation contracts remain premises. Normalized helper restoration retains its paid native residual factor. Physical backing/owner fit, precision/tape, intended source/target application, supplier/outer and universal obligations remain separate. Independent human and formal proof-kernel review are unclaimed.

@Mister-Meeseeks
Mister-Meeseeks merged commit a27b870 into CrocSwap:main Oct 18, 2026
2 checks passed
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.

2 participants