Complete coupled-output caller: conditional κ = 0.003027288235 (+5e-12 over #5400)

research/coupled-helper-neutral-completion/.gitattributes

@@ -0,0 +1,2 @@
+* -text -filter
+capsule/** whitespace=-blank-at-eof

research/coupled-helper-neutral-completion/CLAIMS.json

@@ -0,0 +1,56 @@
+{
+  "additional_global_normalizer_fieldmaps": 30368,
+  "assumptions": [
+    {
+      "id": "native_all_columns",
+      "statement": "Retained native operators, phase conventions, spectators and whole-job adapters work at every positive column multiplicity."
+    },
+    {
+      "id": "owned_erasure",
+      "statement": "Owned streams and suspended centers obey the retained allocation, erasure and ownership contracts."
+    },
+    {
+      "id": "compiler",
+      "statement": "The finite mixed-target compiler and chronological product, completion and splitting satisfy the retained uniform closure contract."
+    },
+    {
+      "id": "precision_tape",
+      "statement": "Retained fixed-tape movement and precision/storage prescriptions apply to the new fixed finite template."
+    },
+    {
+      "id": "analytic_recovery",
+      "statement": "Analytic decomposition, fine-prime avoidance and exact integer recovery follow the retained upstream/outer framework."
+    }
+  ],
+  "candidate_kappa": ".003027288235",
+  "canonical_main": "1ec1119972c9aefe42525172d07b332fcff81cb4",
+  "comparison_kappa": ".00302728823",
+  "conjunction_sha256": "2172779f65f16b073a25e393bb0ac9cc320135360ad57c6f576917cda1ffd106",
+  "construction_credit": "Dillon (@dillona), PR5402, supplies the unrestricted coupled provider; Ali Romman supplies PR5383 cached-center identities and PR5398 direct backward controller. Chris R/Clear1nsight supplies PR5407 independent component review, PR5400 predecessor caller review and this completion. All existing notices and earlier contributor credit are retained.",
+  "gain": "1/200000000000",
+  "gain_type": "compiler headroom only; no recursive economic saving",
+  "global_extra_paid_H8": 144,
+  "global_extra_productive_H8": 144,
+  "global_paid_count": 64260,
+  "global_productive_count": 10928,
+  "global_route_plan_sha256": "a02e79fb4615f4f987e3b3617c2b42eea2c1d7415cc66fa702a8b0cd28e6387e",
+  "implementation": "NEUTRAL-CALLER-v16c raw macro/physical IDs plus WHOLECALLER-PLAN-v1 authoritative common145 geometry and chronological target/IDLE route words; joined by CALLER-BINDING-RESULT-v1.",
+  "kappa_maximality_claimed": false,
+  "local_original_arbitrary_inputs": 632,
+  "local_owned_arbitrary_inputs": 17,
+  "local_owned_zero_returns": 17,
+  "local_positive_helper_count": 408,
+  "native_provider": "Unchanged PR5402 unrestricted component accepted by PR5407 is authenticated reuse; no new full native provider replay.",
+  "new_contribution": "A complete 632-input local caller restoring the eight coupled modes through eight explicitly paid rank-8 jobs, composed with the existing direct controller, with a fresh compiler-headroom candidate.",
+  "new_unconditional_or_formal_kernel_theorem": false,
+  "raw_ceiling_changed": false,
+  "raw_global_private_fields": 418,
+  "raw_signed_profile_changed": false,
+  "same_selected_assumptions_required": true,
+  "schema_version": 1,
+  "scientific_status": "PASS_CONDITIONAL_COMPLETE_CONJUNCTION",
+  "selected_baseline": ".0030217758",
+  "selected_record_changed": false,
+  "selection_authorized": false,
+  "tested_saving": ".003027288245"
+}

research/coupled-helper-neutral-completion/COMMANDS.json

@@ -0,0 +1,158 @@
+{
+  "schema": "serial-frozen-independent-commands/1",
+  "commands": [
+    {
+      "name": "source-loading",
+      "engine": "bootstrap_checks/check_source_loading.py",
+      "argv": [],
+      "outputs": [
+        {
+          "path": "bootstrap_checks/FRESH.json",
+          "expected": "reports/expected/source-loading.json",
+          "drop": []
+        }
+      ],
+      "timeout_seconds": 10
+    },
+    {
+      "name": "helper-aliases",
+      "engine": "swarm-coupled-caller-sol-high-20261024/agents/challenge/check_helper_aliases_v2.py",
+      "argv": [
+        "--output",
+        "swarm-coupled-caller-sol-high-20261024/agents/challenge/FRESH-ALIAS-RESULT.json",
+        "--aliases",
+        "swarm-coupled-caller-sol-high-20261024/agents/challenge/FRESH-ALIAS-WORDS.json"
+      ],
+      "outputs": [
+        {
+          "path": "swarm-coupled-caller-sol-high-20261024/agents/challenge/FRESH-ALIAS-RESULT.json",
+          "expected": "reports/expected/aliases.json",
+          "drop": []
+        },
+        {
+          "path": "swarm-coupled-caller-sol-high-20261024/agents/challenge/FRESH-ALIAS-WORDS.json",
+          "expected": "reports/expected/alias-words.json",
+          "drop": []
+        }
+      ],
+      "timeout_seconds": 30
+    },
+    {
+      "name": "local",
+      "engine": "swarm-coupled-caller-sol-high-20261024/agents/challenge/check_neutral_v16c.py",
+      "argv": [
+        "--backward",
+        "swarm-coupled-caller-sol-high-20261024/agents/caller/NEUTRAL-BACKWARD-v16c.json",
+        "--forward",
+        "swarm-coupled-caller-sol-high-20261024/agents/caller/NEUTRAL-FORWARD-v16c.json",
+        "--output",
+        "swarm-coupled-caller-sol-high-20261024/agents/challenge/FRESH-LOCAL.json"
+      ],
+      "outputs": [
+        {
+          "path": "swarm-coupled-caller-sol-high-20261024/agents/challenge/FRESH-LOCAL.json",
+          "expected": "reports/expected/local.json",
+          "drop": []
+        }
+      ],
+      "timeout_seconds": 45
+    },
+    {
+      "name": "global",
+      "engine": "swarm-coupled-caller-sol-high-20261024/agents/challenge/check_wholecaller_v1.py",
+      "argv": [
+        "--plan",
+        "swarm-coupled-caller-sol-high-20261024/agents/challenge/WHOLECALLER-PLAN-v1.json",
+        "--output",
+        "swarm-coupled-caller-sol-high-20261024/agents/challenge/FRESH-GLOBAL.json"
+      ],
+      "outputs": [
+        {
+          "path": "swarm-coupled-caller-sol-high-20261024/agents/challenge/FRESH-GLOBAL.json",
+          "expected": "reports/expected/global.json",
+          "drop": []
+        }
+      ],
+      "timeout_seconds": 120
+    },
+    {
+      "name": "caller-binding",
+      "engine": "swarm-coupled-caller-sol-high-20261024/agents/challenge/check_caller_binding_v1.py",
+      "argv": [
+        "--output",
+        "swarm-coupled-caller-sol-high-20261024/agents/challenge/FRESH-CALLER-BINDING.json"
+      ],
+      "outputs": [
+        {
+          "path": "swarm-coupled-caller-sol-high-20261024/agents/challenge/FRESH-CALLER-BINDING.json",
+          "expected": "reports/expected/caller-binding.json",
+          "drop": []
+        }
+      ],
+      "timeout_seconds": 15
+    },
+    {
+      "name": "invoice-funding",
+      "engine": "swarm-coupled-caller-sol-high-20261024/agents/invoice/check_neutral_literal.py",
+      "argv": [
+        "--backward",
+        "swarm-coupled-caller-sol-high-20261024/agents/caller/NEUTRAL-BACKWARD-v16c.json",
+        "--forward",
+        "swarm-coupled-caller-sol-high-20261024/agents/caller/NEUTRAL-FORWARD-v16c.json",
+        "--output-dir",
+        "swarm-coupled-caller-sol-high-20261024/agents/invoice/FRESH-INVOICE"
+      ],
+      "outputs": [
+        {
+          "path": "swarm-coupled-caller-sol-high-20261024/agents/invoice/FRESH-INVOICE/INVOICE-NEUTRAL-LITERAL.json",
+          "expected": "reports/expected/invoice.json",
+          "drop": []
+        },
+        {
+          "path": "swarm-coupled-caller-sol-high-20261024/agents/invoice/FRESH-INVOICE/FUNDING-NEUTRAL-LITERAL.json",
+          "expected": "reports/expected/funding.json",
+          "drop": []
+        }
+      ],
+      "timeout_seconds": 60
+    },
+    {
+      "name": "precision",
+      "engine": "swarm-coupled-caller-sol-high-20261024/agents/precision/check_v16_precision_v3.py",
+      "argv": [
+        "--output",
+        "swarm-coupled-caller-sol-high-20261024/agents/precision/FRESH-PRECISION.json"
+      ],
+      "outputs": [
+        {
+          "path": "swarm-coupled-caller-sol-high-20261024/agents/precision/FRESH-PRECISION.json",
+          "expected": "reports/expected/precision.json",
+          "drop": [
+            "seconds"
+          ]
+        }
+      ],
+      "timeout_seconds": 20
+    },
+    {
+      "name": "conjunction",
+      "engine": "swarm-coupled-caller-sol-high-20261024/agents/invoice/check_neutral_closure.py",
+      "argv": [
+        "--root",
+        ".",
+        "--manifest",
+        "swarm-coupled-caller-sol-high-20261024/agents/invoice/NEUTRAL-CLOSURE-INPUTS-v1.json",
+        "--output",
+        "swarm-coupled-caller-sol-high-20261024/agents/invoice/FRESH-CONJUNCTION.json"
+      ],
+      "outputs": [
+        {
+          "path": "swarm-coupled-caller-sol-high-20261024/agents/invoice/FRESH-CONJUNCTION.json",
+          "expected": "reports/expected/conjunction.json",
+          "drop": []
+        }
+      ],
+      "timeout_seconds": 30
+    }
+  ]
+}

research/coupled-helper-neutral-completion/README.md

@@ -0,0 +1,39 @@
+# Complete coupled-helper caller and compiler-headroom candidate
+
+This package supplies a complete local caller for the eight coupled outputs in [PR #5402](https://github.com/CrocSwap/integer-mult-bounds/pull/5402). It preserves all 632 arbitrary original inputs, uses 17 arbitrary owned fields that return to zero, and returns 224 standard main outputs plus 408 positive Gaussian helper outputs. Eight explicitly paid rank-8 jobs repair the eight original coupled modes. Both directions are specified literally and checked independently.
+
+The conditional mathematical certificate is **κ = 0.003027288235**, compared with **0.00302728823** in [PR #5398](https://github.com/CrocSwap/integer-mult-bounds/pull/5398) and its [independent review #5400](https://github.com/CrocSwap/integer-mult-bounds/pull/5400). The increase is exactly **5 × 10⁻¹²**. It uses freshly funded compiler and outer parameters at tested saving 0.003027288245. The aggregate certificate passes all 25 named gates. This is a positive lower certificate, with no κ-maximality claim. Registered and read-only export replay are separate publication checks.
+
+**The recursive price profile gains zero.** The complete controller adds 144 paid rank-8 jobs and 144 productive rank-8 targets. They cancel rank by rank for every exponent. The raw moment and its ceiling stay unchanged. Any accepted numerical increase in this package is compiler headroom below the existing ceiling. The higher-upside 120-owner decoder remains open and is not an input to this result.
+
+## Construction and evidence
+
+The new backward body first retains each original mode in an owned field and presents zero mode inputs to the unchanged coupled provider. It computes the required mode correction, applies eight routed canonical positive rank-8 jobs, and adds the corrected retained fields back to the provider's mode outputs. Full coordinate matchers return the original modes as positive canonical rank-8 targets. The remaining 400 helpers use independently checked, phase-exact positive adapters. All maps, child routes, clears, swaps and sign operations appear in the literal packet and its invoice.
+
+The forward body follows by the explicit direct-controller signed-swap and Q² conversion. The global representation uses all eighteen backward bodies and the original controller's explicit edge wrappers; it does not also substitute forward bodies. Matrix boundary execution is right boundary, chronological physical events, then left boundary. Each occurrence receives distinct helper and owned storage.
+
+The final implementation joins two frozen artifacts: `NEUTRAL-CALLER-v16c.json` supplies the raw macro, actual register IDs and allocation; `WHOLECALLER-PLAN-v1.json` supplies the authoritative common 145-axis geometry, coordinate routes and corrected normalization order. The independent binding checker joins them field by field. All 30,368 additional main, helper and idle normalizer maps are charged ordinary work, including 1,792 native central translations. The raw program has 418 private field positions, with a shared query bank reused only after zero return. The raw macro alone is not the fully normalized program.
+
+The independent checks separate local free-operator identities, signed phase and absolute anchor checks, global chronology, literal recursive invoicing, directed rational endpoint arithmetic, and fresh physical/precision bounds. Frozen earlier provider acceptance is reused with source provenance. No new full provider evaluation or full-history scientific replay is claimed. The registered wrapper runs scientific source with assertions retained in both wrapper modes, including modules loaded directly from file paths, and compares every stable mathematical output with frozen expected results.
+
+## Scope and credit
+
+The selected record remains **0.0030217758**. The five retained native, ownership, compiler, tape/precision and analytic-recovery assumptions remain explicit in `CLAIMS.json`. This is conditional research evidence; it does not claim an unconditional theorem or formal-kernel acceptance.
+
+Dillon (@dillona) supplies #5402's unrestricted coupled provider. Ali Romman supplies #5383's cached-center identities and #5398's direct backward controller. Chris R (@Clear1nsight) supplies the independent component review in #5407, predecessor review #5400 and this completion and review package, with substantial OpenAI Codex assistance. Existing source notices and source-bound predecessor packages retain earlier contributor credit, including Cao Yifan, Dugongue, Cinna Davis, zxv, Jacob Alan Sussman, Ryanson Jonathan and the full native, code, scalar, controller, compiler and analytic lineage. The released promoted 120-owner handoff and the obstruction/ceiling work in #5408, #5409 and #5412 guide the parallel research but are not claimed as this package's construction. Source origins and exact copied byte identities are recorded separately from scientific acceptance.
+
+Apache-2.0. Run only this scoped package's registered commands; optional full-history, Lean and Docker checks are not part of its acceptance.
+
+## Reproduction
+
+The registered runner authenticates source bindings before serial independent replay:
+
+```sh
+python3 -B scripts/research_package.py --package research/coupled-helper-neutral-completion
+```
+
+It runs normal and optimized wrappers, with every scientific module compiled at optimization level zero in both modes. `verify.py --bindings-only` checks the frozen local bytes and portable raw Git provenance without a scientific replay. Each replay writes its outputs to a new private temporary directory outside the frozen package. The selected construction's separate cold reproduction command is outside this package's scope.
+
+## Open next questions
+
+Can the promoted 120-owner caller use retained histories to remove the negative-bank code while paying every query, Gaussian child, ordinary map and temporary field? The first test is one chronological feedforward correction and an explicit post-code inverse on the frozen three-factor rows. The current obstacle is a complete all-input Gaussian decoder; its absence prevents crediting the optimistic larger price-plane margins.