Extract optional ordinary B2 bootstrap with canonical-source replay

research/ordinary-b2-bootstrap/B2-PINS.json

@@ -0,0 +1,37 @@
+{
+  "historical_result": {
+    "commit": "46965e30a34af44499a1442daeb94cd3b68fa67a",
+    "mathematical_projection_sha256": "9f2b0b27f20ee0e0f126a33351c39c41e070f801141e761957ad038642084ce6",
+    "path": "research/complex-pooled-full-admission/evidence/B2-BOOTSTRAP.json",
+    "projection_omits": [
+      "source_pins_sha256",
+      "local_inputs",
+      "source_bundle"
+    ],
+    "sha256": "f7780281e1920aa7067ffcf68e293f2d975126a9760ca63df08390e055bf7b82"
+  },
+  "local_inputs": {
+    "frozen/interval_engine.py": "c4740234bee2bab8292aeef7fb561246cff8a060ea6e96f0bc14a7b69c62042c"
+  },
+  "schema_version": 3,
+  "scientific_base": "12fa8c5c844be21bfefb38a19503fbd867a11244",
+  "scope": "Pins for read-only B2 arithmetic, inspected theorem sources, and complete ordinary backend compatibility; no production source activation.",
+  "source_bundle": {
+    "kind": "declared-pinned-repository-inputs",
+    "manifest": "SOURCE-MANIFEST.json",
+    "manifest_sha256": "de0120c931050ea9d82758455aec5cb3addf384ebd9eed6ee708c442168ba38f"
+  },
+  "source_inputs": {
+    "research/bootstrap-depth-audit/sources/pr387/PROOF.md": "15997b908604d124d688482db46e58da3117ecf1c176597afb1556a767c073d8",
+    "research/community-round8-audit/pr185-proof-reviewed.md": "bbac6ec77f315dd76324f4595b8c7a9b0ec719f3903d0c56c61f23990326e8fa",
+    "research/physical-complex-compact/PROOF.md": "ec6395822ae500242f3fe5e2cf40caf9a7f9fa259d475d2c14970d951ff4df48",
+    "research/retuned-ordinary-coupling/PROOF.md": "3e554832c38b4b801f55b20868679f3283bc90cd5a9d8ce1960f828ed2655f22",
+    "research/retuned-ordinary-coupling/inputs/pr2899-export.tar.gz": "0fef1707c6460418fd01fd49faf0d8ff7945907fa57284765c852a12d2674d3c",
+    "research/retuned-ordinary-coupling/interface.py": "25707c61b9fc6c1f09388c7cc72d269be0f8f8cae4dbc7cd5c2d00ce7fadf839",
+    "research/selected-bit-fast-primitives/PROOF.md": "c6912c307304b71ab51a5b9647df19a3e2c85efaca5bb3f1b635e918a62b5978",
+    "research/selected-bit-fast-primitives/compile_routes.py": "1bfef464dfb3e33d9d57f53b657b2d1fe3598bc453be49000a5e782b622e8585",
+    "research/selected-bit-fast-primitives/inputs/pr2899.tar": "fc4a2e07423835737c8fb3872664b16ff12aa4cf83b1e26e49878debef40c531",
+    "research/selected-bit-fast-primitives/stage.py": "44e334162d12868ce6bb50c501cd2eba8c527f59ce7a144614edd8cd6f533647",
+    "research/selected-bit-fast-primitives/stage_sources.py": "55c6631cce4f76e14b66b6195468c36b544e2374cc6c59702135c664bff10822"
+  }
+}

research/ordinary-b2-bootstrap/README.md

@@ -0,0 +1,48 @@
+# Optional ordinary B2 bootstrap (draft)
+
+Prepared by Ross Richardson with substantial OpenAI Codex assistance.
+Apache-2.0. Jose Manuel's ordinary and fast-primitive sources, Rohan Arun's
+PR185/387 arguments and the retained PR589 BIT profile keep their credit.
+
+This is the optional B2 result split from PR #4270. It stands on canonical
+main `12fa8c5c844be21bfefb38a19503fbd867a11244` and has no dependency on that
+PR. Under the explicit source-relative completed-interface contracts in
+[PROOF.md](PROOF.md), one ordinary bootstrap at coupling `1/577` gives
+saving `57697923247/33292900000000`, with complete wrapper coefficient
+`4283584` and sufficient original-width stock fit from `2^20`.
+
+The draft preserves the written proof and exact mathematical evidence.
+Its checker does not construct or execute the production B2 factory, and
+this ordinary-rate comparison does not claim a new multiplication exponent.
+All arbitrary-input, spectator, restoration, precision and completed-return
+premises in the proof remain requirements.
+
+The same 54 source files and nested backend archives are reused directly
+from exact canonical paths, declared in [VERIFY.json](VERIFY.json) and pinned
+by [SOURCE-MANIFEST.json](SOURCE-MANIFEST.json). The frozen interval engine
+is an exact copy of the earlier `joint_bound.py` (SHA256
+`c4740234bee2bab8292aeef7fb561246cff8a060ea6e96f0bc14a7b69c62042c`);
+it is compiled from authenticated bytes and only its pure moment is used.
+No duplicate source-closure archive or copied BIT evidence is added.
+`B2-PINS.json` binds every mathematical field and all eleven controls to
+the historical receipt while identifying the three changed transport fields.
+
+From the repository root:
+
+```sh
+python3 -B scripts/research_package.py --package research/ordinary-b2-bootstrap
+```
+
+The registered normal and optimized runs compare the same full deterministic
+receipt. A Git-free export includes all 54 declared files; missing or changed
+source inputs fail. [PROOF.md](PROOF.md) states the exact mathematical and
+execution scope.
+
+## Open next questions
+
+- Implement the two-owner production B2 factory at the complete dirty returned
+  interface, then independently check endpoint/restoration and source access.
+  The first step is the explicit registry composition in the proof.
+- Bind that completed implementation to a concrete complex compact caller,
+  paying every stopping, hosting, precision and outer cost. Production
+  implementation and a separate caller-specific admission are prerequisites.