Conditional κ = 0.003644407895539 (+1.40810139e-7 over #7155): temporal chart306 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-chart306-continuation/APPLICATION.md

@@ -0,0 +1,11 @@
+# Complete application verification
+
+The direct source-bound early, native and complete17-stage application checks passed at κ=0.003644407895539. Registered isolated-cache replay passed, matching every frozen receipt field with all 23 scientific hashes unchanged.
+
+The unchanged signed caller is compared byte-for-byte with the authenticated source. Its complete invoice has110502 paid positions,22410 productive fields, surplus1424 and zero empty credit. Every changed native occurrence is charged. Ordinary work is781880696 <10^9. Full caller grid, rounded envelopes, physical bindings and fixed-tape substitution are freshly recomputed in RESULT.json. Precision context c=2430; the native minimal grid remains1125/F25, independently derived over exact prefix rows/scalar products and compared with integer replay.
+
+All3037 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. All20 native corruption controls and phase mutations reject. The exact timed coefficient certificate reconstructs all five gathers and seven injections. Whole forward/adjoint, owned lifecycle census, physical replay, both directed price engines and54 strict plus4 functional outer conditions pass. The exact owned census is61 labels,64 lifetimes and peak47; ascent mass remains56.
+
+NATIVE-RESULT.json and RESULT.json contain the full receipts. EARLY-RESULT.json retains its historical narrower pending list.
+
+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-chart306-continuation/DISCOVERY.json

@@ -0,0 +1,18 @@
+{
+  "status": "EXACT_TEMPORAL_NOMINATION_ONLY",
+  "counts": {
+    "frames": 4495,
+    "prefix_pure": 2590,
+    "suffix_pure": 2130,
+    "causal_nonzero_pairs": 1,
+    "resident_pairs": 1
+  },
+  "seconds": 23.834529041778296,
+  "source_head": "594d57036057f88f8bacc82e9c203bd4cb3276b9",
+  "paid_limit": 12000,
+  "scope": "Nomination only; no discovery arithmetic establishes native/physical/pricing acceptance. Full guarded certificate separately required.",
+  "packaged_search_sha256": "5c0dbcff3800c924cb425815f74aaec90b376f98c75d648e6ff20ff27b3ea5b1",
+  "command": "python3.12 -B discover_temporal.py --word SOURCE_WORD --out OUTPUT --paid-limit 12000 --kappa .003644267085400",
+  "entry_chart_result": "no_gain",
+  "exit_chart_result": "no_gain"
+}

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

@@ -0,0 +1,196 @@
+{
+  "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY",
+  "word_sha256": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3",
+  "native": {
+    "public": 1498,
+    "events": 76220,
+    "paid": {
+      "1": 3998,
+      "2": 853,
+      "3": 829,
+      "4": 225,
+      "5": 344,
+      "6": 14,
+      "7": 10,
+      "8": 5
+    },
+    "helpers": {
+      "1": 17,
+      "2": 21,
+      "3": 47,
+      "4": 222,
+      "5": 78,
+      "6": 43,
+      "7": 19,
+      "8": 35,
+      "9": 616
+    },
+    "rises": {
+      "1": 10,
+      "2": 4,
+      "3": 1,
+      "4": 6,
+      "5": 1,
+      "6": 1
+    },
+    "owned_peak": 47,
+    "lifetimes": 64,
+    "bad_inputs": []
+  },
+  "native_delta": {
+    "T": {
+      "4": 1,
+      "5": 1,
+      "9": -1
+    },
+    "P": {
+      "3": 1,
+      "5": 1,
+      "8": -1
+    }
+  },
+  "invoice": {
+    "P": {
+      "1": 68350,
+      "16": 416,
+      "2": 14501,
+      "24": 416,
+      "3": 14093,
+      "32": 416,
+      "4": 3825,
+      "40": 416,
+      "48": 416,
+      "5": 5848,
+      "56": 416,
+      "6": 238,
+      "64": 208,
+      "7": 170,
+      "8": 741,
+      "9": 32
+    },
+    "S": 1424,
+    "T": {
+      "1": 289,
+      "137": 208,
+      "17": 416,
+      "2": 357,
+      "25": 416,
+      "3": 799,
+      "33": 416,
+      "4": 3774,
+      "41": 416,
+      "49": 416,
+      "5": 1326,
+      "57": 416,
+      "6": 731,
+      "65": 416,
+      "7": 323,
+      "73": 208,
+      "8": 595,
+      "9": 10888
+    },
+    "empty_root_credits": 0
+  },
+  "gate": {
+    "claim": "3644407895539/1000000000000000",
+    "tested": "364440789553907/100000000000000000",
+    "raw_bracket": [
+      "36444078955399752291473031465479/10000000000000000000000000000000000",
+      "911101973884993807286825786637/250000000000000000000000000000000"
+    ],
+    "moment_margins": {
+      "36444078955399752291473031465479/10000000000000000000000000000000000": [
+        "538452337523920206672676705848416208923033602062537/20000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "2692261687619601033363383529242081044615168048803427/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "911101973884993807286825786637/250000000000000000000000000000000": [
+        "-592947735391185177723315110910526675671255956910243/50000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "-592947735391185177723315110910526675671255937691263/50000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ],
+      "364440789553907/100000000000000000": [
+        "35106208976078169308682508756072841823889613746332784157628818996661329/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+        "1755310448803908465434125437803642091194480687316639207881440951771987/5000000000000000000000000000000000000000000000000000000000000000000000000000000"
+      ]
+    },
+    "moment_margin_float": {
+      "36444078955399752291473031465479/10000000000000000000000000000000000": [
+        2.692261687619601e-29,
+        2.692261687619601e-29
+      ],
+      "911101973884993807286825786637/250000000000000000000000000000000": [
+        -1.1858954707823704e-29,
+        -1.1858954707823704e-29
+      ],
+      "364440789553907/100000000000000000": [
+        3.5106208976078167e-10,
+        3.5106208976078167e-10
+      ]
+    },
+    "derivative_upper": -381743.11655566044,
+    "alpha": [
+      0.9999999999999988,
+      0.9999999999999988
+    ],
+    "gamma": [
+      0.9407642489923767,
+      0.9407642489923767
+    ],
+    "delta": [
+      0.9060338152823023,
+      0.9060338152823023
+    ],
+    "minimum_log_power": 2236,
+    "written_log_power": 2237,
+    "compiler_gap": "1/100000000000000000",
+    "H": "16510400000000000000000",
+    "BIT_pin": "376669/100000000",
+    "BIT_margin": "12228210446093/100000000000000000",
+    "outer": {
+      "strict_count": 54,
+      "functional_count": 4,
+      "minimum_margin": "1/1000000000000000000",
+      "BIT_just_below_effective_rejected": true
+    },
+    "input_lift": {
+      "margins": {
+        "3644407895539/1000000000000000": [
+          "124340413725381578436168433909673800828712847806542525942299871259053399949237/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "124340413725381578436168433909673800828712847806542525942299871259053399951213/100000000000000000000000000000000000000000000000000000000000000000000000000000000"
+        ],
+        "364440789553907/100000000000000000": [
+          "6217020686269193241278723448501641155546113504608234908729909843712041038681/5000000000000000000000000000000000000000000000000000000000000000000000000000000",
+          "124340413725383864825574468970032823110922270092164698174598196874240820775571/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.003644407895539",
+    "previous_claim": "18221335427/5000000000000",
+    "gain": "1.40810139E-7",
+    "gain_exact": "140810139/1000000000000000",
+    "raw_bracket": [
+      "0.0036444078955399752291473031465479",
+      "0.003644407895539975229147303146548"
+    ],
+    "independent_raw_bracket": [
+      "0.00364440789553997522914730314654796",
+      "0.00364440789553997522914730314654797"
+    ],
+    "candidate_margin_at_old_upper": [
+      "5460840086576072368083028005866003247460959742809339138385104743052602663157649/100000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "341302505411004523005189250366625202966309983925583696149069046440787668627159/6250000000000000000000000000000000000000000000000000000000000000000000000000000"
+    ],
+    "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-chart306-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-chart306-continuation",
+  "hosted_scientific_ci": "not_established",
+  "completed_at": "2026-11-11T02:43:07.679411+00:00"
+}