WIP: native nonlinear processing and second-front source audit

verification/programmes/oi-qm/reconstruction/native-y-continuation-20261024/CHECKPOINT-CHECKS.json

@@ -0,0 +1,200 @@
+{
+  "backlog_issue": 913,
+  "base_commit": "de6fe29324ade8a0826c18f7829786086dd590da",
+  "branch_v10": "Separate review accepts one-affine-J obstruction; no nonlinear prior adopted",
+  "checker_groups": 60,
+  "controller_v10": "Separate native review accepts affine J/Kplus/Kminus witness for two-sign phase code; previous-Y/current-XR scope explicit",
+  "controller_v10_reviewed_author_commit": "bf1bc9fb067e38417d8968e26a691debf7d3eb5f",
+  "current_handoff": "CURRENT-HANDOFF.md",
+  "fresh_initial_shared_seed_bits": 6,
+  "full_replay": {
+    "also_verified": "SHA256SUMS, reviewed input hashes and Python compilation of every file",
+    "command": "python3 -I -B replay.py",
+    "commit": "57dede93cf2e10281e99262ce508321f09fa15af",
+    "comparison": "each group's standard output byte-identical to its recorded output in both modes",
+    "environment": {
+      "cxx": "g++ 13.3.0",
+      "python": "3.13.16"
+    },
+    "exit_status": 0,
+    "group_labels": [
+      "continuation/checks",
+      "continuation/symbolic",
+      "parallel_v3/aux_routing/checks",
+      "parallel_v3/history_control/checks",
+      "parallel_v3/direct_reset/checks",
+      "parallel_v3/new_geometry/checks",
+      "parallel_v3/review/checks",
+      "parallel_v3/review/sidecar_check",
+      "parallel_v3/review/gadgets_check",
+      "parallel_v3/review/contract_check",
+      "parallel_v3/review/geometry_check",
+      "parallel_v3/review/herald_check",
+      "parallel_v3/integration/tagged_contract",
+      "junction_v4/checks",
+      "junction_v4/review/checks",
+      "six_source_v5/period/checks",
+      "six_source_v5/checks",
+      "six_source_v5/review/checks",
+      "outward_v6/checks",
+      "outward_v6/correction_checks",
+      "outward_v6/review/checks",
+      "reset_v7/probe",
+      "reset_v7/review/checks",
+      "reset_v8/probe",
+      "reset_v8/review/checks",
+      "history_v9/checks",
+      "history_v9/review/checks",
+      "reset_v9/checks",
+      "reset_v9/review/checks",
+      "reset_v9/review/history_corollary",
+      "branch_v10/checks",
+      "branch_v10/review/checks",
+      "herald_v10/checks",
+      "herald_v10/review/checks",
+      "layout_v10/checks",
+      "layout_v10/review/checks",
+      "branch_v10/local-controller/checks",
+      "branch_v10/local-controller/checks --symmetric",
+      "branch_v10/local-controller/review/checks",
+      "phase_joint_v10/checks",
+      "phase_joint_v10/review/checks",
+      "native_v11/checks",
+      "native_v11/review/checks",
+      "transport_audit_v1/checks",
+      "transport_audit_v1/review/checks",
+      "history_v11/checks",
+      "history_v11/review/checks",
+      "native_pool_v11/checks",
+      "native_pool_v11/review/checks",
+      "native_x_v12/checks",
+      "native_x_v12/review/checks",
+      "native_seed_v12/checks",
+      "native_seed_v12/review/checks",
+      "native_gate_v13/checks",
+      "native_gate_v13/review/checks",
+      "native_route_v13/checks",
+      "native_route_v13/review/checks",
+      "native_decode_v14/checks",
+      "native_decode_v14/review/round1/review_checks .",
+      "native_vread_v15/checks"
+    ],
+    "groups": 60,
+    "groups_failed": 0,
+    "groups_passed": 60,
+    "modes": [
+      "normal",
+      "-O"
+    ]
+  },
+  "herald_v10": "Separate review accepts synchronized remote G/z with unchanged P and explicit original-time source formula",
+  "herald_v10_reviewed_author_commit": "25220128c3c7991e4c22c917af56b68c02ab8051",
+  "history_v11_reviewed_author": "c326546f228a1769856fded2268b76d976a171d3",
+  "history_v9": "Separate review accepts conditional entire old-noise record/endpoint theorem at R+8; independent geometry extends to R+9 under 189 post-R fair bits",
+  "history_v9_review": "history_v9/review/REPORT.md",
+  "history_v9_reviewed_author_commit": "96e7b6249eedc221a364b79d996a080f0b850438",
+  "joint_masked_sign_corollary": "reset_v9/review/COROLLARY.md; additional deduction assessed separately at integration; conditional initial a independence and bank prior explicit",
+  "junction_review": "junction_v4/review/REPORT.md",
+  "junction_review_retained_input_hashes_verified": 5,
+  "junction_v4": "Independent review ACCEPTS unchanged-junction obstruction and six-source initial geometry; proposed output subsequently evaluated in six_source_v5",
+  "latest_groups": [
+    "native_gate_v13/checks",
+    "native_gate_v13/review/checks",
+    "native_route_v13/checks",
+    "native_route_v13/review/checks",
+    "native_decode_v14/checks",
+    "native_decode_v14/review/round1/review_checks",
+    "native_vread_v15/checks"
+  ],
+  "layout_v10": "Separate review accepts source-direction/order-three family obstruction, not general impossibility",
+  "manifest_files_verified": 429,
+  "native_decode_v14_author": "7f843073d9245635d5b2bbeb0cfdc9f42dc7db0a",
+  "native_decode_v14_plan": "36213be6354ef15442b4f3040ecdb511fd0b5641",
+  "native_decode_v14_review": "native_decode_v14/review/",
+  "native_decode_v14_scope": "All254 fixed q10 readouts x2^36 jointly affine E/N laws on the retained table:78 readouts,7464 laws; q10.A=s under1456 laws; no law with E=000; B and D jointly carry s in every q10.A law (B alone is s-free in 8, per the separate review); q10 is a private cell under Native A, not a permitted read; the separate review finds q10.A = x XOR f(k) for each affine f under an f-dependent law. No native consuming stage, Y operand, acceptance flag or history law.",
+  "native_failure": "11/16",
+  "native_gate_v13_review_commit": "b21d9a6c79da158db7798a0ea382c0f716137ca9",
+  "native_gate_v13_review_portability_fix": "Forward default-author-path correction only; mathematical engine and retained result unchanged. Standalone and published normal/-O outputs agree.",
+  "native_gate_v13_reviewed_author": "8ae927163c0fa340b312d634fc352df73753314f",
+  "native_gate_v13_scope": "Seven small original-time families; actual nonlinear old-sign/pool product,525 passive terminal pointers and local prefixes fail; no actual-L no-go.",
+  "native_pool_abstract_acceptance": "5/16 conditional on old preparation success; native predicate not implemented",
+  "native_pool_full_law_branches": [
+    "25/256 oldsuccess/abstractsuccess",
+    "55/256 oldsuccess/abstractfailure",
+    "11/16 oldterminalfailure"
+  ],
+  "native_pool_reviewed_author": "6e9a3ec567a1f3472bad3ed23c48b8111d2f0515",
+  "native_route_v13_review_commit": "0a1600b7f2a320831b63602b589b4e74b54d9cd8",
+  "native_route_v13_reviewed_author": "753fe4f69392ca940754489468e8c8235f6aa583",
+  "native_route_v13_scope": "Added original-time lower source E;32 compatible raw X pairs,16 affineE candidates,zero jointly affineE/N common raw binary codes; fixed redundant readouts decided in native_decode_v14.",
+  "native_seed_v12_reviewed_author": "1c91d3158e13eaa69c7fd1710932c9995d0288d7",
+  "native_success": "5/16",
+  "native_v11_reviewed_author": "7ec3f8234a148cadb58ebc6c8212b3b0233acabe",
+  "native_v12_resource_variants": {
+    "A": "Retains uniform F8/F10 and adds independent affine F9; no new blank shell",
+    "B": "Replaces optional F10 with original-time q10 readiness and one boundary source"
+  },
+  "native_vread_v15_head": "ca7d06de349e83cbfa253cbd4887b7708a0705cc",
+  "native_vread_v15_mutants": {
+    "command": "python3 -I -B native_vread_v15/mutants/make_mutants.py | cmp - native_vread_v15/mutants/OUTPUT.txt",
+    "commit": "57dede93cf2e10281e99262ce508321f09fa15af",
+    "exit_status": 0,
+    "result": "byte-identical; caught 32 of 32 mutants"
+  },
+  "native_vread_v15_plan": "ead2c38842222786c68551484b708c19f29c83ab",
+  "native_vread_v15_review": "native_vread_v15/review/",
+  "native_vread_v15_scope": "Hybrid test case, neither contract adopted: one native tick from q10 into the whole-V read at L+2 in the native_route_v13 geometry: NEGATIVE_FOR_CONSTRUCTION; the -x and +y current-slice keys are free and unseen by permitted records and V is a permutation of each, so no fixed readout of V equals s for every complement value; independence under a uniform free key; the -y key reaches port 0 (recovery not computed); conditional on the declared inventory being complete; no OI-wide no-go.",
+  "native_x_v12_new_initial_mask_bits": 3,
+  "native_x_v12_reviewed_author": "f24a57a7c23cc1818c04265cec7604f8bc2f410d",
+  "native_x_v12_total_local_resource_bits": 9,
+  "nested_manifests_verified": 50,
+  "normal_optimized_recorded_outputs": "byte-identical",
+  "off_repository_inputs": "OI_combined_handoff_2026-10-24_v1 and OI_native_Y_continuation_handoff_v1 are cited as provenance and are not in the repository; parallel_v3 SOURCE-GEOMETRY.json and herald.json are retained data whose generator is not in the repository (README.md).",
+  "outward_review_input_hashes_verified": 8,
+  "outward_v6": "Author depth1\u201312 census PASS; q7 raw qY.D transfer independently accepted; uncorrected q7 retains u and is not a full clean code; q2.A-only transfer fails",
+  "outward_v6_correction": "Independent actual-scale review ACCEPTS clean native00y construction and source/readiness compatibility; general late-input socket, full joint-record certification and native reset OPEN",
+  "outward_v6_review": "outward_v6/review/REPORT.md",
+  "parallel_obligations": "EQUIVALENCE-OBLIGATIONS.md",
+  "phase_joint_v10": "Separate integration review accepts conditional calibrated post-Y selected-phase law, all failures, and restricted whole-port terminal X/R records; reusable instrument OPEN",
+  "phase_joint_v10_reviewed_author_commit": "9b334367864c39e969072d9fbd46b0c049584963",
+  "programme_synthesis_provenance": {
+    "commit": "2d555f17c23bea31d32b3f5eb4c49d245b413a76",
+    "later_draft_not_used_as_baseline": "fd18205b47649ff4bd43857b908f6f646941e89f",
+    "location": "#885 (closed without merge), preserved branch research/missing-component-20261020",
+    "role": "provenance only"
+  },
+  "public_history_extension": "H=L+Delta,1<=Delta<=L; B=6P+18*68+189+24Delta; supplied8portinitialbank",
+  "python": "3.12 declared; full replay under 3.13.16",
+  "related_pull_requests": {
+    "911": "architecture and finite approximation; results not established here",
+    "912": "complete-record composition; results not established here"
+  },
+  "replay_commands": {
+    "all_groups": "python3 -I -B replay.py",
+    "latest_groups": "python3 -I -B replay.py --latest",
+    "working_directory": "this directory, as written; from elsewhere give the path to replay.py, which locates this directory from its own path"
+  },
+  "requirements": [
+    "Python 3 standard library",
+    "C++17 compiler g++"
+  ],
+  "reset_v7": "Separate-author internal review ACCEPTS exact actual interface and one-source/one-tick obstruction; both new groups pass packaged normal/-O replay",
+  "reset_v7_review": "reset_v7/review/REPORT.md",
+  "reset_v7_review_input_hashes_verified": 9,
+  "reset_v7_reviewed_author_commit": "f7058d59ea2136601a679a7fdd7b7573b1e4bfa7",
+  "reset_v8": "Separate-author review ACCEPTS native-family two-source route and arbitrary late-q7 socket exclusion; calibrated reset and joint public-history law OPEN",
+  "reset_v8_review": "reset_v8/review/REPORT.md",
+  "reset_v8_reviewed_author_commit": "e46d30fdd2c237b70ee7569f0044f2486f07f8ce",
+  "reset_v9": "Separate review accepts native-family masked route q9=(0,y XOR a,y XOR a), with actual dirty boundary; simultaneous calibrated reset OPEN",
+  "reset_v9_review": "reset_v9/review/REPORT.md",
+  "reset_v9_reviewed_author_commit": "328b74b88eaeddc798bf4693af78a571bf429787",
+  "retained_seed_count_context": "fresh_initial_shared_seed_bits=6 is the retained post-Y sampler prior; the new local masked resource uses the separately counted F8/F10 six bits plus F9 three bits.",
+  "reviewed_input_hashes_verified": 18,
+  "scientific_scope": "Native nonlinear small-family products, actual-scale second-front affine raw-code obstruction, fixed single-field q10.A sign delivery and the one-tick whole-V read (negative for its construction); native gate compilation, delayed storage/history and reusable closure open.",
+  "sensitive_data_scan": "PASS",
+  "shared_contract": "shared_v12/INTERFACE-CONTRACT.md",
+  "six_source_review": "six_source_v5/review/REPORT.md",
+  "six_source_review_input_hashes_verified": 15,
+  "six_source_v5": "Independent actual-scale review ACCEPTS endpoint-specific clean-transfer failure; full joint-history law and integrated reset OPEN",
+  "transport_audit_reviewed_author": "a3e8b7a201aae9f7ac6babf93173188f87ed8bb8"
+}