[RossRichardson]

The optional ordinary B2 calculation has been split out of PR #4270 so the pooled κ=1/580 admission remains focused on its B1 backend. This draft is based directly on canonical main 12fa8c5c844be21bfefb38a19503fbd867a11244 and has no dependency on #4270.

Summary

Reviewed head: 0ac8192bdf6b5217787ffe44c4b1d91732ef6b23.

Under the explicit source-relative completed-interface contracts in PROOF.md, the noncircular coupling 1/577 gives the ordinary saving 57697923247/33292900000000, with full wrapper coefficient 4283584 and sufficient original-width stock fit from 2^20. The written argument retains arbitrary dirty inputs, spectators, source access, precision, restoration and completed return.

All 54 pinned source files are reused directly from canonical paths, including the complete nested backend archives. This avoids the former 2.2 MB duplicate source archive and copied BIT evidence. The interval engine remains byte-identical; all 26 mathematical receipt fields and eleven negative controls match the historical B2 calculation. The package is ten files, 2,138 added lines and 101,911 bytes.

Scope and limits

This is a draft source-relative proof and exact cost/compatibility certificate. It does not implement or execute a production B2 factory and claims no new multiplication exponent. A faster complex/outer result requires a completed factory, caller-specific admission and all recursive/outer costs. PR #4270 does not use B2.

Test plan

• Hosted planning and replay checks passed at exact submitted head 0ac8192bdf6b5217787ffe44c4b1d91732ef6b23.
• Normal and optimized registered checks pass on Python 3.12.12 and match the same deterministic receipt.
• Exact-head metadata, committed-byte and source-history checks pass. Both commands also pass from a committed 64-file Git-free export without network or predecessor Git objects.
• All 54 canonical inputs equal the original archive bytes; missing, changed and symlinked canonical files reject. Fifteen mathematical/helper function ASTs, the exact frozen interval engine, 26 receipt fields and all eleven controls are preserved.
• Separate final gpt-6-astra review covers the extraction and its claim boundary before publication. AI review is distinct from independent human or formal-kernel certification.

Reproduce from the repository root:

python3 -B scripts/research_package.py --package research/ordinary-b2-bootstrap

Sources and credit

Jose Manuel supplies the retained ordinary, retuned coupling and fast-primitive sources; Rohan Arun supplies the PR185/387 argument lineage; the PR589 BIT profile and original notices retain their attribution. Prepared for Ross Richardson with substantial OpenAI Codex assistance in derivation, implementation and separate review.