Conditional κ = 0.003643989339627 (+5.50833208e-7 over #7145): temporal chart237 continuation

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-temporal-chart237-continuation/APPLICATION.md

@@ -0,0 +1,11 @@
+# Complete application verification
+
+The direct source-bound early, native and complete17-stage application checks passed at κ=0.003643989339627. Registered isolated-cache replay passed, matching every frozen receipt field; all 22 scientific hashes were unchanged. See REPLAY.txt and REPLAY-INTEGRITY.json.
+
+The unchanged signed caller is compared byte-for-byte with the authenticated source. Its complete invoice has110468 paid positions,22376 productive fields, surplus1424 and zero empty credit. Every changed native occurrence is charged. Ordinary work is780087468 <10^9. Full caller grid, rounded envelopes, physical bindings and fixed-tape substitution are freshly recomputed in RESULT.json. Precision context c=2380; the native minimal grid remains1125/F25, independently derived over exact prefix rows/scalar products and compared with integer replay.
+
+All3038 paid/helper maps and104 main boundaries are checked by complete signed Pauli action and exact Gaussian phase. Additionally,5 native chart pairs are checked on all512 columns. All18 native corruption controls and phase mutations reject. The exact timed coefficient certificate reconstructs both gathers and all six injections. Whole forward/adjoint, owned lifecycle census, physical replay, both directed price engines and54 strict plus4 functional outer conditions pass. The exact owned census is57 labels,60 lifetimes and peak45; ascent mass remains56.
+
+NATIVE-RESULT.json and RESULT.json contain the full receipts. EARLY-RESULT.json retains its historical narrower pending list. The initial full native scientific stages passed but receipt serialization found a metadata key mismatch; that was corrected and the entire native gate rerun. No failed receipt was promoted.
+
+Five inherited assumptions remain: native_all_columns, owned_erasure, compiler, precision_tape, analytic_recovery. Local finite replay, hosted scientific verification, overall CI, maintainer admission and independent human/formal acceptance are distinct.

research/p104-temporal-chart237-continuation/DISCOVERY.json

@@ -0,0 +1,60 @@
+{
+  "status": "EXACT_TEMPORAL_NOMINATION_ONLY",
+  "counts": {
+    "frames": 3552,
+    "prefix_pure": 1440,
+    "suffix_pure": 1176,
+    "causal_nonzero_pairs": 1,
+    "resident_pairs": 1
+  },
+  "seconds": 20.422969208098948,
+  "scope": "Bounded nomination only; every accepted claim is reconstructed by separate exact source-aware checks.",
+  "source_head": "db8f31c4a1d9e191976e2c92951e6d2dea886a27",
+  "search_sha256": "e2fc08d79e546d0a8a50675be49255cd0271b13eceebf6358f75b78faec1d991",
+  "command": "python3.12 -B discover_temporal.py --word SOURCE_WORD --out OUTPUT --paid-limit 5000 --kappa .003643438506419",
+  "preceding_negative_screens": {
+    "scope": "Fresh complete-profile improvement on PR7145 endpoint/temporal composition",
+    "trigger_head": "db8f31c4a1d9e191976e2c92951e6d2dea886a27",
+    "status": "draft_published_full_verification_pending",
+    "artifact_dir": ".local/round5",
+    "existing_chart_results": {
+      "entry": "no_gain",
+      "exit": "no_gain"
+    },
+    "endpoint_pool_result": "No nominees:51442 pair checks,20997 cost rejections; finite domain only.",
+    "expanded_catalogue": {
+      "source_frames": 1096,
+      "added_frames": 4653,
+      "interval_ranks": [
+        2,
+        3
+      ],
+      "intervals": 930
+    },
+    "additional_domain": "Bounded alpha-beta swaps on interacting public chart-label pairs; discovery only.",
+    "entry_pair_swaps": "No gain in2851 interacting label pairs",
+    "other_group_domain": "Up to12 most-populated remaining helper boundary groups of rank>=4; stop at first nominee.",
+    "expanded_exit": "no_gain_5748_labels",
+    "exit_pair_swaps": "no_gain_2851_pairs",
+    "other_helper_groups": "12 groups completed without a nominee",
+    "temporal_domain": "Exact pure prefix/suffix kernels across neutral contact-free paths, ordered by causal availability. Nomination only.",
+    "expanded_entry": "no_gain_5748_labels",
+    "neutral_temporal": "No nominee in977 frames;366 pure prefix and309 pure suffix kernel vectors.",
+    "transport_normalization": "No invoice change; directed gate correctly rejected unchanged candidate. No publication.",
+    "owned_monotone_paths": "No eligible contact-free monotone owned paths with multiple MOVEs.",
+    "paid_temporal_domain": "First5000 individually affordable existing-frame midpoint paths, combined with all neutral temporal observations. Nomination only.",
+    "temporal_nominee": {
+      "frame": 237,
+      "cut": 36813,
+      "pivot": 1082,
+      "paths_tested": 3552,
+      "status": "materialized_exact_gate_running"
+    },
+    "pr": 7147,
+    "candidate_kappa": "0.003643989339627",
+    "candidate_package": "research/p104-temporal-chart237-continuation",
+    "early_exact": "passed_source_bound_packaged_gate"
+  },
+  "packaged_search_sha256": "5c0dbcff3800c924cb425815f74aaec90b376f98c75d648e6ff20ff27b3ea5b1",
+  "packaging_note": "Original nomination script retained semantically; encode/smooth/legal dependencies inlined verbatim from the local discovery helper, with package-local support/split imports. No search rerun or acceptance is inferred."
+}

research/p104-temporal-chart237-continuation/EARLY-RESULT.json

@@ -0,0 +1,196 @@
+{
+  "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY",
+  "word_sha256": "80cec71719bb2b620004756a05935c51643c2591af3b95dce0d93008331d6ad9",
+  "native": {
+    "public": 1496,
+    "events": 75356,
+    "paid": {
+      "1": 3996,
+      "2": 854,
+      "3": 828,
+      "4": 225,
+      "5": 343,
+      "6": 14,
+      "7": 10,
+      "8": 6
+    },
+    "helpers": {
+      "1": 16,
+      "2": 21,
+      "3": 47,
+      "4": 221,
+      "5": 77,
+      "6": 43,
+      "7": 19,
+      "8": 34,
+      "9": 618
+    },
+    "rises": {
+      "1": 10,
+      "2": 4,
+      "3": 1,
+      "4": 6,
+      "5": 1,
+      "6": 1
+    },
+    "owned_peak": 45,
+    "lifetimes": 60,
+    "bad_inputs": []
+  },
+  "native_delta": {
+    "T": {
+      "4": 1,
+      "5": 1,
+      "9": -1
+    },
+    "P": {
+      "1": 1,
+      "5": 1,
+      "6": -1
+    }
+  },
+  "invoice": {
+    "P": {
+      "1": 68316,
+      "16": 416,
+      "2": 14518,
+      "24": 416,
+      "3": 14076,
+      "32": 416,
+      "4": 3825,
+      "40": 416,
+      "48": 416,
+      "5": 5831,
+      "56": 416,
+      "6": 238,
+      "64": 208,
+      "7": 170,
+      "8": 758,
+      "9": 32
+    },
+    "S": 1424,
+    "T": {
+      "1": 272,
+      "137": 208,
+      "17": 416,
+      "2": 357,
+      "25": 416,
+      "3": 799,
+      "33": 416,
+      "4": 3757,
+      "41": 416,
+      "49": 416,
+      "5": 1309,
+      "57": 416,
+      "6": 731,
+      "65": 416,
+      "7": 323,
+      "73": 208,
+      "8": 578,
+      "9": 10922
+    },
+    "empty_root_credits": 0
+  },
+  "gate": {
+    "claim": "3643989339627/1000000000000000",
+    "tested": "364398933962707/100000000000000000",
+    "raw_bracket": [
+      "455498667453447453365489878829/125000000000000000000000000000000",
+      "36439893396275796269239190306321/10000000000000000000000000000000000"
+    ],
+    "moment_margins": {
+      "455498667453447453365489878829/125000000000000000000000000000000": [
+        "780455362880507767174966027441180074943709395865003/25000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "780455362880507767174966027441180074943709405614317/25000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "36439893396275796269239190306321/10000000000000000000000000000000000": [
+        "-756783933327105026331756121998310118451860218641251/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "-151356786665421005266351224399662023690372035997407/20000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "364398933962707/100000000000000000": [
+        "9883208656882276382297043537364054733991804816283016255585218775884233/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "19766417313764552764594087074728109467983609632566032511170437590333837/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ]
+    },
+    "moment_margin_float": {
+      "455498667453447453365489878829/125000000000000000000000000000000": [
+        3.121821451522031e-29,
+        3.121821451522031e-29
+      ],
+      "36439893396275796269239190306321/10000000000000000000000000000000000": [
+        -7.56783933327105e-30,
+        -7.56783933327105e-30
+      ],
+      "364398933962707/100000000000000000": [
+        1.9766417313764553e-10,
+        1.9766417313764553e-10
+      ]
+    },
+    "derivative_upper": -381782.5117945118,
+    "alpha": [
+      0.9999999999999993,
+      0.9999999999999993
+    ],
+    "gamma": [
+      0.9408123391015217,
+      0.9408123391015217
+    ],
+    "delta": [
+      0.9046606894418722,
+      0.9046606894418722
+    ],
+    "minimum_log_power": 2236,
+    "written_log_power": 2237,
+    "compiler_gap": "1/100000000000000000",
+    "H": "16510400000000000000000",
+    "BIT_pin": "376669/100000000",
+    "BIT_margin": "12270066037293/100000000000000000",
+    "outer": {
+      "strict_count": 54,
+      "functional_count": 4,
+      "minimum_margin": "1/1000000000000000000",
+      "BIT_just_below_effective_rejected": true
+    },
+    "input_lift": {
+      "margins": {
+        "3643989339627/1000000000000000": [
+          "124326742487117040932614411598047912100586180480988105256614752326458953723007/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "124326742487117040932614411598047912100586180480988105256614752326458953724949/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "364398933962707/100000000000000000": [
+          "124326742487119327345317160907404199369873157162722895489814752527181034413251/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "62163371243559663672658580453702099684936578581361447744907376263590517207597/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ]
+      },
+      "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.003643989339627",
+    "previous_claim": "3643438506419/1000000000000000",
+    "gain": "5.50833208E-7",
+    "gain_exact": "68854151/125000000000000",
+    "raw_bracket": [
+      "0.003643989339627579626923919030632",
+      "0.0036439893396275796269239190306321"
+    ],
+    "independent_raw_bracket": [
+      "0.00364398933962757962692391903063208",
+      "0.00364398933962757962692391903063209"
+    ],
+    "candidate_margin_at_old_upper": [
+      "21364670663055541035769819970123863058294103575739813128035664955665103008548129/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "21364670663055541035769819970123863058294103575739813128035664955665103043187613/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+    ],
+    "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-temporal-chart237-continuation/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",
+  "registered_command": "python3.12 -B scripts/research_package.py --package research/p104-temporal-chart237-continuation",
+  "hosted_scientific_ci": "not_established",
+  "completed_at": "2026-11-11T01:43:03.305277+00:00"
+}