Integrate the R437 carrier compiler, numerical invoice and paid local caller

research/r437-carrier-integration/ADMISSION-MATRIX.md

@@ -0,0 +1,27 @@
+# Admission matrix: what the integrated result establishes
+
+One scoped enabling result, significance class B. This table is a coverage map,
+not a selected-result update. The exact receipts and frozen review determine
+which checks actually passed; publication and hosted CI are separate statuses.
+
+| Boundary | New evidence | Exact qualification |
+|---|---|---|
+| Original/carrier source words and all COPY contracts | Independent complete659-column forward/reverse replay; nine capture projections; SOURCE writes and final arbitrary-DIRTY restoration | One full DIRTY capture differs. Its old operator is not reused. No new carrier is searched. |
+| Pooled owner transport | All63 moves, chronology,125856 slot occurrences, actual chart-ordered left/right injections and complementary IDLE coordinates | Separately checked BIT component; no retracted #3959 complex-side headline. Physical gather/refinement is a premise. |
+| Literal compiler/native requests | Complete903456 records, rebuilt codebook, actual stage/replica/event identity and matching independent digest; actual Driver and macro compiler IDLE consumers adapted | All finite metadata, not a production payload run or materialization of every GL64 plan. |
+| Algebraic request domain | All fresh local idempotents plus exact characteristic polynomials;1235 chart unit determinants;179802 owner-pair witnesses | Uniform over odd primes. Split bases are selected at each fixed admissible prime; one universally dyadic-unit elimination minor is not assumed. |
+| Changed bad-class/precision coverage | CompleteGL64 complementary-minor proof for every request class, unit ancestry/high-lift argument, explicit changed integer prefix and192/512 admission | Completed fallback and retained primitive/absolute route interface remain hypotheses. No floating-point or full rounding theorem is claimed. |
+| Actual numerically checked source entry | Named prime2^127-1, actual fresh catalogue/native SOURCE87 specification; canonical root widths, compatible stock and guarded regional native IDLE emission | Host finite arithmetic and finite compilation. Root e=n64,w2,h0; descendant path certificate and physical guard tariffs remain separate. |
+| Promoted SOURCE87 dirty acquisition | Actual Driver.local ordered dispatch traces both orientations; all659 acquisitions precede the changed MOVE; lost-read control rejects | Gather, routes and preceding residual bodies are explicitly symbolic here. Full dirty-state algebra is checked independently, not inferred from symbolic set union. |
+| Source producer to completed child | Actual Context/directory/child Program and copied handoff are consumed by incoming callbacks in the new below-cutoff bridge | Complete972-bit four-atom active-child fibre, finite external spectators, nonzero GOOD ancestry; generic admitted history, not a literal selected-root reachability certificate. |
+| Full residual and spectator connection | Full128-coordinate address identity modulo3 and9, including250 nonzero high fields, actual preparation, chronological pullback, and complete itinerary counts | Finite exact host algebra plus quantified pullback. It is not execution of9475 rows times all124 further atom coordinates or of the8692 adapter scans. General primitive/refinement remains inherited. |
+| Return, consumer and disposal | Actual computed child output is consumed by literal D next XOR; protected metadata, borrowed bytes/heads and terminal owned erasure | D consumer extension is distinguished from the matched C/D return interval. A reduced fibre is not substituted for a production residual. |
+| Logical original-root reserve | New Q+21 polynomial and directory absorption; exact compatible K^D divisor; retained11V_root+F_q under complete-packet/lifetime domain | Logical live storage. Finite tables, physical visited backing, permanent LEFT cells, blank-return and source setup time are not silently free. |
+| Whole paid improvement / selected kappa | Favorable inherited recursive exchange retained; exact additional864 ADDs and changed prefix included; complete outstanding inequality in BILL.md | A global physical gain, productive full-family time/stock admission, both supplier endpoints and outer transfer remain unestablished. Selected complex-bound result unchanged. |
+
+The meaningful new connection is source identity and replica-aware compiler
+consumption **plus** a proved numerical applicability boundary **plus** a real
+produced-child handoff/consumer contract. The result would not be significant
+if reduced to its request-table receipt or the already known reverse coefficient.
+Same-session AI comparison and review use shared frozen sources and are not
+independent human or proof-kernel acceptance.

research/r437-carrier-integration/ADMISSION-RESULT.json

@@ -0,0 +1,192 @@
+{
+  "actual_specification": {
+    "good": true,
+    "literal_source_code": {
+      "big_endian_sha256": "f22f11b89b8bd9674e4819b7cdf64caa75b9ea91b9ea35a31963131524258cb4",
+      "bit_length": 520204
+    },
+    "native_preparation_inverse_sha256": "2bdd659e19e949e686e7d7a0b414113374da3c683fde6d002f437bfd174dae55",
+    "native_preparation_sha256": "f621ce3539b7dd37d0e7f7281ba75d47383412569e8dd0b930fac64c040c2941",
+    "preparation_inverse_product_is_identity": true,
+    "rank": 2,
+    "specification_bound": true
+  },
+  "admitted_entry": {
+    "common": false,
+    "compatible_rows": {
+      "big_endian_sha256": "f6bf5a75756bf8267103578f24f2b5934e122da6d96e68100fc2b28853da7a01",
+      "bit_length": 1040413
+    },
+    "domain": {
+      "I": 8,
+      "L": 255,
+      "Q": 520213,
+      "e": 64,
+      "h": 0,
+      "n": 64,
+      "w": 2
+    },
+    "entry_certificate_modular_square_subtract_steps": 125,
+    "guard_before_continuation": true,
+    "guard_implementation": "host finite arithmetic; exact source/parameter guard, physical encoded guard tariff open",
+    "mode": "numerical",
+    "numerical_admitted": true,
+    "production_payload_execution": false,
+    "q": "170141183460469231731687303715884105727",
+    "rank": 2,
+    "request": 1676,
+    "request_key": [
+      "MOVE",
+      0,
+      0,
+      22397
+    ],
+    "row_multiplier": {
+      "big_endian_sha256": "4bf5122f344554c53bde2ebb8cd2b7e3d1600ad631c385a5d7cce23c7785459a",
+      "bit_length": 1
+    },
+    "source_identity": "bcea2a31e9001699148b6f1ff8524a0c6c4524d70ef47add027651da31389a73",
+    "stock_certificate_scope": "original root"
+  },
+  "constructor_adapter": {
+    "adapted_low_codes_sha256": "dbe5e7a1a6ccc5616fd4f350c67223739d49af98928d4153fecf49f9961b61a5",
+    "base_compiler_identity": "9be70d7e2d50c26730255b49548c4abd182897db0479cb35cf62b89a995de106",
+    "constructor_certificate_evaluations": 3,
+    "constructor_modular_square_subtract_steps": 375,
+    "prime_certificate": {
+      "exponent": 127,
+      "modular_square_subtract_steps": 125,
+      "q": "170141183460469231731687303715884105727",
+      "residue": 0
+    },
+    "retained_low_codes_sha256": "f657e17f6088c840e3f7783e662257630f6d2c1e71c217721ffbca4d6ac93e87",
+    "source_identity": "bcea2a31e9001699148b6f1ff8524a0c6c4524d70ef47add027651da31389a73"
+  },
+  "controls": [
+    "stale_codebook_handle",
+    "wrong_prime_certificate",
+    "composite_named_parameter",
+    "retained_constructor_composite_control",
+    "wrong_common_native_view",
+    "wrong_caller_request_key",
+    "wrong_replica_code_with_original_key",
+    "mismatched_specifications_context",
+    "untyped_integer_source",
+    "insufficient_stock",
+    "large_but_incompatible_stock",
+    "undersized_residue_width",
+    "padded_residue_width",
+    "undersized_source_width",
+    "wrong_root_index_width",
+    "wrong_root_precision",
+    "unrelated_history",
+    "descendant_without_root_path_certificate",
+    "actual_q3_cross_prime_handle",
+    "actual_cross_prime_specifications_context",
+    "semantic_fixture_is_not_numerically_admitted"
+  ],
+  "regional_emitter": {
+    "dimension": 64,
+    "emitter_certificate_modular_square_subtract_steps": 125,
+    "entry": {
+      "common": false,
+      "compatible_rows": {
+        "big_endian_sha256": "f6bf5a75756bf8267103578f24f2b5934e122da6d96e68100fc2b28853da7a01",
+        "bit_length": 1040413
+      },
+      "domain": {
+        "I": 8,
+        "L": 255,
+        "Q": 520213,
+        "e": 64,
+        "h": 0,
+        "n": 64,
+        "w": 2
+      },
+      "entry_certificate_modular_square_subtract_steps": 125,
+      "guard_before_continuation": true,
+      "guard_implementation": "host finite arithmetic; exact source/parameter guard, physical encoded guard tariff open",
+      "mode": "numerical",
+      "numerical_admitted": true,
+      "production_payload_execution": false,
+      "q": "170141183460469231731687303715884105727",
+      "rank": 14,
+      "request": 896352,
+      "request_key": [
+        "IDLE",
+        8,
+        0,
+        0
+      ],
+      "row_multiplier": {
+        "big_endian_sha256": "4bf5122f344554c53bde2ebb8cd2b7e3d1600ad631c385a5d7cce23c7785459a",
+        "bit_length": 1
+      },
+      "source_identity": "bcea2a31e9001699148b6f1ff8524a0c6c4524d70ef47add027651da31389a73",
+      "stock_certificate_scope": "original root"
+    },
+    "forged_provenance_rejected": true,
+    "low_classes_executed": 1,
+    "mutated_wrapped_context_rejected": true,
+    "native_specification_good": false,
+    "old_compiler_wrapped_identity_rejected": true,
+    "operations": {
+      "block": 65828,
+      "checkpoint": 1,
+      "clear": 1,
+      "gather": 1,
+      "node": 1,
+      "residual_begin": 1,
+      "residual_end": 1,
+      "return": 1,
+      "scatter": 1
+    },
+    "rank": 14,
+    "request": 896352,
+    "scope": "Actual SelectedBinding and Cursor macro emission at admitted q127; one native IDLE, one GL64 low class. No packet/tape payload execution."
+  },
+  "scope": "Actual q127 source/codebook/native specification and checked numerical+stock entry; guarded specification continuation and one actual native IDLE macro emission; no high-field directory or giant production payload executed. q3 fixture entry is semantic only. Physical encoded guard/compiler cost remains open.",
+  "semantic_fixture_entry": {
+    "common": false,
+    "compatible_rows": {
+      "big_endian_sha256": "b4b2fab41fd0a7ab8f92729e4049ab786f2b7de7db4938ba58754e3ce4c38be3",
+      "bit_length": 6520
+    },
+    "domain": {
+      "I": 13,
+      "L": 3,
+      "Q": 6512,
+      "e": 2048,
+      "h": 1,
+      "n": 64,
+      "w": 1
+    },
+    "entry_certificate_modular_square_subtract_steps": 0,
+    "guard_before_continuation": true,
+    "guard_implementation": "host finite arithmetic; exact source/parameter guard, physical encoded guard tariff open",
+    "mode": "semantic",
+    "numerical_admitted": false,
+    "production_payload_execution": false,
+    "q": "3",
+    "rank": 2,
+    "request": 1676,
+    "request_key": [
+      "MOVE",
+      0,
+      0,
+      22397
+    ],
+    "row_multiplier": {
+      "big_endian_sha256": "4bf5122f344554c53bde2ebb8cd2b7e3d1600ad631c385a5d7cce23c7785459a",
+      "bit_length": 1
+    },
+    "source_identity": "d854ee52df07cce2a47ded48539f6c25266c0c6f245c7b10a5dcafbb03f71a3b",
+    "stock_certificate_scope": "local semantic rows; no ancestor stock certificate"
+  },
+  "source_sha256": {
+    "admission.py": "d34f0166a936decc4de0cc07ab4f8ca8dac6ac03f83b74b85a851098c01f3eae",
+    "compiler.py": "df86b31a80e1827dc20a3a34f20305b4b9cbd3582e3d26b8a05ac90e346177fb",
+    "numerical.py": "83f2b60a90ab2d0354c5c84f48af246ab416605c3ae4bd62368bbe5f23bb53bb"
+  },
+  "status": "PASS_CHECKED_SOURCE_PARAMETER_ENTRY"
+}