Conditional κ = 0.003643216822476 (+2.57803445e-7 over #7140): endpoint-funded split

docs/ci-verification.md

@@ -1,8 +1,25 @@
 # CI verification
 
-## Current selected-family replay: #6030
+## Current selected-family replay: #7000 with #7001
 
 The [selected record](../certificates/selected-result.json) binds conditional
+κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md),
+[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json),
+and [explicit source closure](../certificates/frontier7000-source.json).
+`make frontier7000-verify` follows that exact-source selected replay. The review
+reuses eleven authenticated preceding executions and records seven fresh serial
+application, scalar and complete native-catalogue executions. The earlier
+monolithic timeout is retained separately and is not completed coverage.
+Consult the receipts for exact commands, source heads and limits.
+
+The five inherited framework assumptions remain. No complete uniform word,
+literal multiplier execution, independent human proof or formal-kernel proof
+is asserted. Routine research submissions do not need to rerun this
+selected-family replay. The sections below preserve historical checkpoints.
+
+## Historical selected-family replay: #6030
+
+The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional
 κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md),
 [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json),
 and [explicit source closure](../certificates/frontier6030-source.json).

research/p104-endpoint-funded-split/APPLICATION.md

@@ -0,0 +1,11 @@
+# Complete application verification
+
+The direct source-bound early, native and full application checks pass at κ=0.003643216822476. Registered replay passed, matching every frozen receipt field.
+
+The caller is byte-identical to the retained signed17-stage caller. Its reconstructed paid count is110434, productive field count22342, surplus1424, and empty credit0. Every changed native occurrence is included. Ordinary source-unit work is779695108 <10^9. Fresh precision is c=2380 (source2362); the native minimal grid is1125/F25, independently derived over all exact prefix rows and scalar products and compared with integer forward replay. Caller grid, rounded envelopes, physical bindings and fixed-tape substitution are recomputed.
+
+All3039 paid/helper maps and104 main boundaries are covered by signed Pauli action and exact Gaussian phase. Six native chart pairs are additionally checked on all512 columns, including the new pair(3,529). All ten native corruption controls and phase mutations reject. Full forward/adjoint, ownership, finite physical replay, both complete directed price engines and54 strict plus4 functional outer conditions pass. The candidate adds666 ADDs,4 SCALEs and1 MOVE; owned inventory remains53 labels,56 lifetimes, peak44.
+
+The complete receipts are NATIVE-RESULT.json and RESULT.json. The early receipt is intentionally narrower and retains its historical pending list. All20 scientific source/receipt hashes were unchanged across registered replay; see REPLAY-INTEGRITY.json.
+
+Five inherited assumptions remain: native_all_columns, owned_erasure, compiler, precision_tape, analytic_recovery. Hosted scientific replay, overall CI, maintainer admission and independent human/formal acceptance are distinct.

research/p104-endpoint-funded-split/DISCOVERY.json

@@ -0,0 +1,34 @@
+{
+  "status": "BOUNDED_NOMINATION_SEARCH_NOT_ACCEPTANCE",
+  "source_head": "a95783a8c861248a759136d4285ea725499cf231",
+  "source_word_sha256": "81f9b2e0a170aa3ab0cd4bb1056c834ebe0b98eaf37abe5986c6e53abd1257ea",
+  "scope": "Exact kernel nomination with fully charged helper input/output extensions and contact-free path retiming; existing frames and source group(3,127); scalar-alphabet rescue. First positive witness materialized.",
+  "group": [
+    3,
+    127
+  ],
+  "pool": 1093,
+  "windows": 18155,
+  "counts": {
+    "systems": 40935,
+    "saved": 19625,
+    "pairs": 52795,
+    "unchanged_boundary": 31760,
+    "cost_reject": 20996
+  },
+  "nominees": 17,
+  "seconds": 111.28170570777729,
+  "selected": {
+    "frame": 529,
+    "cut": 44614,
+    "pivot": 146,
+    "input_extension": [
+      1479
+    ]
+  },
+  "other_bounded_tests": {
+    "entry_alpha_expansion": "no_gain",
+    "exit_alpha_expansion": "no_gain"
+  },
+  "limits": "Finite domain; no global optimality or acceptance inferred from nomination. Frozen WITNESS is checked independently of search."
+}

research/p104-endpoint-funded-split/EARLY-RESULT.json

@@ -0,0 +1,194 @@
+{
+  "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY",
+  "word_sha256": "3bb4d3a9d8a222af1155c366e52f0b787029b937f71d870f1e407feb1c1d9f33",
+  "native": {
+    "public": 1494,
+    "events": 75298,
+    "paid": {
+      "1": 3995,
+      "2": 854,
+      "3": 827,
+      "4": 224,
+      "5": 342,
+      "6": 15,
+      "7": 11,
+      "8": 6
+    },
+    "helpers": {
+      "1": 16,
+      "2": 21,
+      "3": 47,
+      "4": 219,
+      "5": 75,
+      "6": 43,
+      "7": 19,
+      "8": 34,
+      "9": 620
+    },
+    "rises": {
+      "1": 10,
+      "2": 4,
+      "3": 1,
+      "4": 6,
+      "5": 1,
+      "6": 1
+    },
+    "owned_peak": 44,
+    "lifetimes": 56,
+    "bad_inputs": []
+  },
+  "native_delta": {
+    "T": {
+      "2": 1,
+      "7": 1,
+      "8": -1
+    },
+    "P": {
+      "1": 1
+    }
+  },
+  "invoice": {
+    "P": {
+      "1": 68299,
+      "16": 416,
+      "2": 14518,
+      "24": 416,
+      "3": 14059,
+      "32": 416,
+      "4": 3808,
+      "40": 416,
+      "48": 416,
+      "5": 5814,
+      "56": 416,
+      "6": 255,
+      "64": 208,
+      "7": 187,
+      "8": 758,
+      "9": 32
+    },
+    "S": 1424,
+    "T": {
+      "1": 272,
+      "137": 208,
+      "17": 416,
+      "2": 357,
+      "25": 416,
+      "3": 799,
+      "33": 416,
+      "4": 3723,
+      "41": 416,
+      "49": 416,
+      "5": 1275,
+      "57": 416,
+      "6": 731,
+      "65": 416,
+      "7": 323,
+      "73": 208,
+      "8": 578,
+      "9": 10956
+    },
+    "empty_root_credits": 0
+  },
+  "gate": {
+    "claim": "910804205619/250000000000000",
+    "tested": "364321682247607/100000000000000000",
+    "raw_bracket": [
+      "1457286728990780624124945120203/400000000000000000000000000000000",
+      "9108042056192378900780907001269/2500000000000000000000000000000000"
+    ],
+    "moment_margins": {
+      "1457286728990780624124945120203/400000000000000000000000000000000": [
+        "2273183987785945091003015810461332751543178901736987/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "2273183987785945091003015810461332751543178940809867/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "9108042056192378900780907001269/2500000000000000000000000000000000": [
+        "-1606248736749284499150452672100924278429799872965867/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "-321249747349856899830090534420184855685959966833051/20000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "364321682247607/100000000000000000": [
+        "34199539244317534116896752841699885571424583853369643437300948306757579/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "34199539244317534116896752841699885571424583853369643437300948345522219/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ]
+    },
+    "moment_margin_float": {
+      "1457286728990780624124945120203/400000000000000000000000000000000": [
+        2.2731839877859452e-29,
+        2.2731839877859452e-29
+      ],
+      "9108042056192378900780907001269/2500000000000000000000000000000000": [
+        -1.6062487367492846e-29,
+        -1.6062487367492846e-29
+      ],
+      "364321682247607/100000000000000000": [
+        3.4199539244317534e-10,
+        3.4199539244317534e-10
+      ]
+    },
+    "derivative_upper": -381862.8775025715,
+    "alpha": [
+      0.9999999999999989,
+      0.9999999999999989
+    ],
+    "gamma": [
+      0.9408663506378053,
+      0.9408663506378053
+    ],
+    "delta": [
+      0.9032879005682555,
+      0.9032879005682555
+    ],
+    "minimum_log_power": 2235,
+    "written_log_power": 2236,
+    "compiler_gap": "1/100000000000000000",
+    "H": "16502900000000000000000",
+    "BIT_pin": "376669/100000000",
+    "BIT_margin": "12347317752393/100000000000000000",
+    "outer": {
+      "strict_count": 54,
+      "functional_count": 4,
+      "minimum_margin": "1/1000000000000000000",
+      "BIT_just_below_effective_rejected": true
+    },
+    "input_lift": {
+      "margins": {
+        "910804205619/250000000000000": [
+          "124301509492323414962316845627396329980766890611096158844373487594008327923183/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "62150754746161707481158422813698164990383445305548079422186743797004163962551/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "364321682247607/100000000000000000": [
+          "124301509492325701418017795296915414012173623857108304317789461155618554164317/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "124301509492325701418017795296915414012173623857108304317789461155618554166231/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ]
+      },
+      "interval_kappa_cap": "376669/100000000",
+      "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
+    }
+  },
+  "price": {
+    "claim_decimal": "0.003643216822476",
+    "previous_claim": "3642959019031/1000000000000000",
+    "gain": "2.57803445E-7",
+    "gain_exact": "51560689/200000000000000",
+    "raw_bracket": [
+      "0.0036432168224769515603123628005075",
+      "0.0036432168224769515603123628005076"
+    ],
+    "independent_raw_bracket": [
+      "0.00364321682247695156031236280050755",
+      "0.00364321682247695156031236280050756"
+    ],
+    "candidate_margin_at_old_upper": [
+      "2500329133576133019737602767763181295808627680611146929539506330346112652394981/25000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "5000658267152266039475205535526362591617255361222293859079012660692225322157841/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+    ],
+    "baseline_rejects_new_claim": true
+  },
+  "pending": [
+    "fresh integer grid",
+    "all affected physical chart maps",
+    "complete caller replay",
+    "ordinary and precision bounds",
+    "full source application"
+  ]
+}

research/p104-endpoint-funded-split/ENVIRONMENT.json

@@ -0,0 +1,8 @@
+{
+  "python": "3.12.14 (main, Aug 12 2026, 13:57:54) [Clang 21.0.0 (clang-2100.1.1.101)]",
+  "platform": "macOS-27.0.1-arm64-arm-64bit",
+  "verification_status": "PASS_REGISTERED_RESEARCH_PACKAGE",
+  "completed_at": "2026-11-11T00:32:26.383001+00:00",
+  "registered_command": "python3.12 -B scripts/research_package.py --package research/p104-endpoint-funded-split",
+  "hosted_scientific_ci": "pending_on_final_head"
+}