Conditional κ = 0.001592518729588709: one call-specific cold-kernel provider

.github/workflows/complex-mixed-coldkernel.yml

@@ -0,0 +1,31 @@
+name: Mixed cold-kernel provider
+on:
+  pull_request:
+    paths:
+      - 'research/complex-mixed-coldkernel/**'
+      - '.github/workflows/complex-mixed-coldkernel.yml'
+  workflow_dispatch:
+permissions:
+  contents: read
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python }}
+      - run: python -B research/complex-mixed-coldkernel/verify.py --work /tmp/mixed-coldkernel-replay
+      - uses: actions/upload-artifact@v4
+        if: always()
+        with:
+          name: mixed-coldkernel-receipt-${{ matrix.python }}
+          path: |
+            /tmp/mixed-coldkernel-replay/RESULT.json
+            /tmp/mixed-coldkernel-replay/RECEIPT.json
+            /tmp/mixed-coldkernel-replay/STAGES.json
+            /tmp/mixed-coldkernel-replay/ASSEMBLY.json
+            /tmp/mixed-coldkernel-replay/ASSEMBLY-CONTROLS.json

research/complex-mixed-coldkernel-validation/COMPARISON.json

@@ -0,0 +1,19 @@
+{
+  "status": "PASS_FINAL_CLEAN_ARCHIVE_AND_INDEPENDENT_CORRECTED_ADMISSION",
+  "python_versions": [
+    "3.11.5",
+    "3.12.13"
+  ],
+  "source_manifest_sha256": "0b065a05c8e553278591a7de38137c7f03550b36c6144923ba89ca091d39de1a",
+  "archive_sha256": "c608c977fcfbf9092f3def4130803e77a00604e55572bec5184af385c5e72098",
+  "final_clean_replay_seconds": 216.36973224999383,
+  "kappa": "0.001592518729588709",
+  "exact_assembly_differences": [
+    "/template_sha256",
+    "/input_sha256/owner_audit",
+    "/input_sha256/fresh_invoice"
+  ],
+  "comparison": "All mathematical assembly fields agree exactly. Three run-bound receipt/template hashes vary with phase-review timing and are checked within their own actual replay.",
+  "initial_failure": "Original exploratory gzip OS header19 differed from portable255; decompressed raw/canonical/program contents identical. Original binding rejection retained. Frozen plan normalized, then all corrected admission stages passed. Final Python3.12 archive replay passed from scratch.",
+  "scope": "Conditional finite complex witness composed with cited unchanged PR543 bit supplier. All-size compiler, common-label/mutable-source realization, whole-call hosting, precision/tape and analytic transfer remain assumptions. No unconditional theorem or full Lean certification."
+}

research/complex-mixed-coldkernel-validation/README.md

@@ -0,0 +1,5 @@
+# Validation
+
+The final source archive passed a full Python 3.12.13 reconstruction and replay in 216.37 seconds. Python 3.11.5 independently completed all native construction and phase checks; its original binding rejected nonportable exploratory gzip headers. The original rejection is preserved. After normalizing the frozen plan, all mixed controller, invoice and exact assembly stages passed. The final cold archive replay starts from scratch with that correction. All mathematical assembly fields agree exactly; three run-bound hashes reflect phase timing.
+
+No GitHub CI success is claimed. See COMPARISON.json and the per-run receipts.

research/complex-mixed-coldkernel-validation/python311-corrected-admission/ASSEMBLY-CONTROLS.json

@@ -0,0 +1,62 @@
+{
+  "status": "PASS_EXACT_MIXED_ASSEMBLY_ADMISSION_NEGATIVE_CONTROLS",
+  "valid_receipt_kappa": "1592518729588709/1000000000000000000",
+  "input_sha256": {
+    "owner_audit": "7eb3dedef9048e52ce036cc737263c8fad43d4902d55502b7aaffa475f83a881",
+    "fresh_invoice": "db19313fd07b410dbca0ed5c29bc382333a8e7e07ee846a1892e13b0d751bd26",
+    "inputs/PR543-EXPECTED.json": "06eccee9f6b77e140833df83407e7996dc948c17d49b0779ab171fbe463fd28d",
+    "engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482",
+    "engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098",
+    "engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c"
+  },
+  "assembler_sha256": "6a2708e543e40e5d50fb16adb9258aae02875808633433bfc0e46f6a7007f2a7",
+  "rejected_controls": [
+    "empty_certification_maps",
+    "missing_provider_backward_orientation",
+    "failed_invoice_status",
+    "nonboolean_precision_check",
+    "wrong_owner_role_count",
+    "understated_physical_stock",
+    "changed_profile_same_rank_mass",
+    "insufficient_finite_C0",
+    "unpaid_scalar_primitive",
+    "wrong_local_artifact_binding",
+    "false_dirty_restoration",
+    "missing_finite_check",
+    "width_inventory_wrong_same_total",
+    "width_order_wrong_same_inventory",
+    "compensating_false_provider_profiles",
+    "wrong_reflected_orientation_selfconsistent_totals",
+    "forged_provider_and_call_program_hash",
+    "cold_provider_at_wrong_call",
+    "wrong_declared_provider_count",
+    "missing_selected_call",
+    "wrong_selected_primitive_sum",
+    "wrong_selected_coefficient_work_sum",
+    "unpaid_wrapper_factors",
+    "wrong_local_compiler",
+    "wrong_global_compiler",
+    "wrong_local_adapter_charge",
+    "wrong_global_adapter_maximum",
+    "wrong_local_primitive_bound",
+    "understated_exact_prefix_and_global_sum",
+    "wrong_global_prefix_sum",
+    "wrong_row_prefix_reserve",
+    "wrong_parent_geometry_charge",
+    "wrong_rebased_geometry_charge",
+    "wrong_complete_pervertex_envelope",
+    "wrong_prior_added_complete_invoice",
+    "wrong_finite_router_bits",
+    "wrong_finite_literal_bits",
+    "wrong_finite_physical_stock_bits",
+    "wrong_finite_row_coefficient",
+    "wrong_owner_receipt_hash"
+  ],
+  "exact_outer_controls": [
+    "next_grid",
+    "zero_eta",
+    "zero_beta",
+    "unit_beta"
+  ],
+  "scope": "Complete receipt schema; ordered widths and both reflected providers; exact program, work and paid-profile binding; independently recounted compiler, conservative envelope and finite inequalities. Does not replace fresh physical replay."
+}