Skip to content

Stream complete R437 high-prefix directories into the actual leaf/XOR consumer - #5055

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r7-r437-streaming-directory
Oct 23, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r7-r437-streaming-directory

Conversation

@JoyboyBrian

Copy link
Copy Markdown
Contributor

The complete high-prefix producer now feeds the actual prefix-local leaf/XOR consumer synchronously, preserving every old physical occurrence, duplicate prefix and source odometer position. It replaces the entire newly materialized directory with persistent saved/current prefix roles and one odometer. The source-bound induction and explicit backing/cleanup ledger close the full-producer obligation left by #4981; this is a scoped functional interface result, with no new bound or total physical reserve claim.

The complete generic q3,w2,d2 cube checks all 81 high matrices across three physical prefixes (including repeated bytes), all 243 serialized prefixes, 1458 real callbacks per arm and the full 19683-bit dirty output against original eager execution and independent byte/permutation oracles. A separately labelled actual64 SOURCE87 nonzero-high calibration uses the same consumer code on two selected prefixes, with actual compiled incoming coefficients and the literal following XOR event. It does not execute the 3**4096 full producer domain.

The package retains complete source/target/result backing, encoded Count setup, all callbacks and the original leaf allocator. Per-prefix leaf Tape allocation remains a retention path; full GL64 gather, Context/codebook construction, fixed-tape tariff, stock/precision/native/compiler and outer admission remain open. PROOF.md and TASK.json state the family gate and next useful whole-caller obligation. The existing-directory audit #4927 is a separate scope.

Validation: metadata/source pins, registered normal and optimized complete-cube and actual64 commands, source-history preflight, official committed export and Git-free cold direct replay; source-pin and typed-receipt rejection controls are recorded in the author report. No Lean, Docker or huge production payload replay. Sources and prior authors are retained. Prepared by JoyboyBrian with substantial OpenAI Codex assistance.

Canonical investigation: #4682 (comment)

Overlap checkpoint: 320 open PR bodies at 06:50:51UTC, 4130 Discussions at 06:51:43UTC and 6710 notes at base f259dabc7d70e0db8d6d36bfda888f008bbfecc1; complete cached inventories do not cover arbitrary unseen diffs or private work. No novelty certificate or scientific acceptance is inferred.

Submission refresh: canonical main 4c0a359d88f22f05189d51f48387750b801a45d4; governing guidance, selected record and this contribution's source inputs remain unchanged from the scientific base. Fresh overlap covers 309 open PR bodies, 4,156 Discussion records and all 6,760 local notes with complete reported pagination/inventory. New public deltas were checked; this remains advisory text coverage, excluding arbitrary diffs and unpublished work.

@Mister-Meeseeks
Mister-Meeseeks merged commit 9269eea into CrocSwap:main Oct 23, 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