Owner consolidation on PR610: conditional κ = 0.001625434703655052

research/complex-571-cold14-repacking-audit/ASSEMBLY-CONTROLS.json

@@ -0,0 +1,147 @@
+{
+  "status": "PASS_EXACT_MIXED_048_ALLCOLD_NATIVE_ASSEMBLY_ADMISSION_NEGATIVE_CONTROLS",
+  "valid_receipt_kappa": "406358675913763/250000000000000000",
+  "input_sha256": {
+    "owner_audit": "c1b9df63511441e44a7c70f24d1e4658d8c5cee48fbcf45e2f5da0c4ffb2cf71",
+    "fresh_invoice": "02d67e405528adbbd823c5c02dbeff9c4684210780e4d48553fa691721f44427",
+    "inputs/PR543-EXPECTED.json": "06eccee9f6b77e140833df83407e7996dc948c17d49b0779ab171fbe463fd28d",
+    "engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482",
+    "engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098",
+    "engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c"
+  },
+  "assembler_sha256": "7d3b340817ff0e2b9054286c24af622500d31c3b175caec14dacd71e5a3e5414",
+  "rejected_controls": [
+    "empty_certification_maps",
+    "failed_invoice_status",
+    "nonboolean_precision_check",
+    "wrong_owner_role_count",
+    "understated_physical_stock",
+    "changed_profile_same_rank_mass",
+    "insufficient_finite_C0",
+    "missing_finite_check",
+    "wrong_reflected_orientation_selfconsistent_totals",
+    "missing_selected_call",
+    "wrong_selected_primitive_sum",
+    "wrong_selected_coefficient_work_sum",
+    "unpaid_wrapper_factors",
+    "wrong_global_compiler",
+    "wrong_global_adapter_maximum",
+    "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",
+    "reordered_complete_calls",
+    "understated_explicit_idle_remainders",
+    "understated_actual_chart_types",
+    "wrong_cross_replica_role_count",
+    "old_no_cold_wrapper_counts_selfconsistent",
+    "ck:missing_provider",
+    "ck:missing_backward_orientation",
+    "ck:unpaid_scalar_primitive",
+    "ck:wrong_local_artifact_binding",
+    "ck:false_dirty_restoration",
+    "ck:wrong_declared_provider_count",
+    "ck:wrong_local_compiler",
+    "ck:wrong_local_adapter_charge",
+    "ck:wrong_local_primitive_bound",
+    "ck:forged_provider_and_call_program_hash",
+    "ck:provider_at_wrong_call",
+    "ck:stale_partner_program_consistent_call_hashes",
+    "ck:stale_partner_profile_consistent_child_total",
+    "ck:relocated_against_partner_same_counts",
+    "ck:compensating_false_profiles_with_jp8",
+    "ck:synchronized_forged_source_recipe_hash",
+    "ck:synchronized_forged_phase_review_semantics",
+    "ck:width_order_swap_4_5",
+    "ck:width_inventory_shift_4_5",
+    "ck:width_order_swap_4_7",
+    "ck:width_inventory_shift_4_7",
+    "ck:width_order_swap_4_8",
+    "ck:width_inventory_shift_4_8",
+    "ck:width_order_swap_4_9",
+    "ck:width_inventory_shift_4_9",
+    "ck:width_order_swap_5_7",
+    "ck:width_inventory_shift_5_7",
+    "ck:width_order_swap_5_8",
+    "ck:width_inventory_shift_5_8",
+    "ck:width_order_swap_5_9",
+    "ck:width_inventory_shift_5_9",
+    "ck:width_order_swap_7_8",
+    "ck:width_inventory_shift_7_8",
+    "ck:width_order_swap_7_9",
+    "ck:width_inventory_shift_7_9",
+    "ck:width_order_swap_8_9",
+    "ck:width_inventory_shift_8_9",
+    "ck:cold_helper_width_swap_270",
+    "ck:cold_helper_width_swap_282",
+    "ck:cold_helper_width_swap_294",
+    "ck:cold_helper_width_swap_306",
+    "jp8:missing_provider",
+    "jp8:missing_backward_orientation",
+    "jp8:unpaid_scalar_primitive",
+    "jp8:wrong_local_artifact_binding",
+    "jp8:false_dirty_restoration",
+    "jp8:wrong_declared_provider_count",
+    "jp8:wrong_local_compiler",
+    "jp8:wrong_local_adapter_charge",
+    "jp8:wrong_local_primitive_bound",
+    "jp8:forged_provider_and_call_program_hash",
+    "jp8:provider_at_wrong_call",
+    "jp8:stale_partner_program_consistent_call_hashes",
+    "jp8:stale_partner_profile_consistent_child_total",
+    "jp8:relocated_against_partner_same_counts",
+    "jp8:compensating_false_profiles_with_ck",
+    "jp8:synchronized_forged_source_recipe_hash",
+    "jp8:synchronized_forged_phase_review_semantics",
+    "jp8:width_order_swap_4_5",
+    "jp8:width_inventory_shift_4_5",
+    "jp8:width_order_swap_4_7",
+    "jp8:width_inventory_shift_4_7",
+    "jp8:width_order_swap_4_8",
+    "jp8:width_inventory_shift_4_8",
+    "jp8:width_order_swap_4_9",
+    "jp8:width_inventory_shift_4_9",
+    "jp8:width_order_swap_5_7",
+    "jp8:width_inventory_shift_5_7",
+    "jp8:width_order_swap_5_8",
+    "jp8:width_inventory_shift_5_8",
+    "jp8:width_order_swap_5_9",
+    "jp8:width_inventory_shift_5_9",
+    "jp8:width_order_swap_7_8",
+    "jp8:width_inventory_shift_7_8",
+    "jp8:width_order_swap_7_9",
+    "jp8:width_inventory_shift_7_9",
+    "jp8:width_order_swap_8_9",
+    "jp8:width_inventory_shift_8_9",
+    "jp8:cold_helper_width_swap_270",
+    "jp8:cold_helper_width_swap_282",
+    "jp8:cold_helper_width_swap_294",
+    "jp8:cold_helper_width_swap_306",
+    "wrong_owner_receipt_hash"
+  ],
+  "discovery_accepted_controls": [],
+  "exact_outer_controls": [
+    "next_grid",
+    "zero_eta",
+    "zero_beta",
+    "unit_beta"
+  ],
+  "conservative_outer_controls": [
+    "next_grid",
+    "zero_eta",
+    "zero_beta",
+    "unit_beta"
+  ],
+  "recurrence_model_controls": [
+    "native_complex_endpoint_rejected_with_old_surcharge",
+    "omitting_bit_surcharge_would_fail_next_endpoint_rejection"
+  ],
+  "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."
+}

research/complex-571-cold14-repacking-audit/README.md

@@ -0,0 +1,30 @@
+# Contributor replay: twelve-move PR610 owner consolidation
+
+Jeremy Diviney, with OpenAI Codex assistance, rebuilt the revised
+[complex-571-cold14 package](../complex-571-cold14/OWNER-CONSOLIDATION.md) from its
+pinned sources with the default committed SPEC and no reused baseline or providers.
+All 41 stages pass. Conditional κ is 0.001625434703655052, above PR610's
+0.00162536523418317 at b7c680ea38b9a25a89fce189bb927b45842362d0.
+
+This is contributor validation of the new map, awaiting independent review.
+It does not update the repository's selected certificate. Package inputs are bound
+by the manifest and SPEC hashes in VALIDATION.json and RECEIPT.json; the latter
+also records all 41 stage exits and hashes of the regenerated proof artifacts.
+RESULT.json records exact rational endpoints, conditional scope and no-reuse flags.
+ASSEMBLY-CONTROLS.json records all 114 rejected mutations. The owner check rejects
+23 mutations; phase and generated-identity controls pass. make gen4-bank-verify
+also passes its nine stages and 112 immutable source pins. The full repository-wide
+make verify target was not rerun for this standalone research-package change.
+
+The discovery tool reproduces the frozen nomination exactly. Of 36,288 owner
+records, twelve change placement and two change only offset. Provider circuits,
+recipes, dispatch, source pins and verifier code remain byte-identical to PR610.
+The exact rational and decimal κ fields agree. No solver or floating objective is
+trusted for admission.
+
+Follow the package's OWNER-CONSOLIDATION.md to reproduce. The predecessor sources,
+licenses, AI disclosures, cited bit supplier and all-size/compiler/hosting/precision/
+analytic assumptions remain as described in its NOTICE.md. This is not an
+unconditional multiplication theorem, optimality proof or full Lean certification.
+
+The full repository `make verify` subsequently passed on submitted PR618 commit `c0874b2491382210546a592df0aba8223fee4f9f`, including all 84 isolated test modules, the gen4 checkpoint and historical patch checks. That checkout remained clean. `MAKE-VERIFY.log.gz` retains the complete log; its decompressed SHA-256 is in VALIDATION.json.