docs(retro): join 73 proof sources to implementation-reference accounting

docs/retro/RETRO_PROOF_SOURCE_JOIN_20261025.json

@@ -0,0 +1 @@
+{"schema":"retro-proof-source-join/v1-ordinal-compact","status":"NOT A RESULT; organizational source accounting; credit 0; scientific effect NONE; OBL OPEN","generated_at":"2026-10-25T22:20:06Z","proof_inventory":["d6g8k5htny-coder/Math-","ab856c1e99bfa12c37c7663d65f8b17c4551d61a","docs/integration/2026-10-23-postcut-proof-sources.md","a1008e928c56cb360509db0f894b5fafae435df3","9f3fb6918b28e6378c034ebc19e76d432f5391cb","ordinals are the 1-based order of its 73 additional proof-path entries"],"main_snapshot":["6332601a0169890ccebd67f9d34e0aaa2ac67f08","de8982fab32c61f129f4a1248047c2d5a6f54d28"],"other_input_blobs":{"retro_unit_inventory":"09cd239635708ef0226f443ad679f72bc6e40d14","implementation_reference_audit":"49082238102aa4b5139a86813249e87d47552eb5","open_math_pr_overlay":"26f16dfc06f9b83632e0336fb87f1aa386401045","v2_binding_register":"6b67c9c91d69056a447357dfe6d438a0eaeff492"},"counts":{"proof_paths":73,"unique_proof_blobs":70,"canonical_packets":34,"path_class":{"canonical_top_level":20,"embedded_input_copy":4,"embedded_source_copy":1,"nested_packet_proof":48},"implementation_reference_class_packets":{"local_code_language_reference":28,"no_implementation_found":6},"duplicate_blob_groups":3,"packets_with_existing_v2_binding":0,"packets_with_landed_node_candidate_proposal":32,"proof_paths_using_open_pr_overlay_as_source_identity":0,"packets_with_inventory_only_without_node_ids":2},"role_codes":{"C":"canonical_top_level","N":"nested_packet_proof","I":"embedded_input_copy","S":"embedded_source_copy"},"roles_by_ordinal":"CCCCCCCCCCCCCCCCCCCCNIIIINNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNSNNNN","duplicate_groups":{"dup-01":["66d9c4c7f7862b51ef3461197e8949731fa5b5de","frontiers/gaussian_short_bar_theory_20261017/asymmetric_elder/PROOF.md","frontiers/compact_morse_elder_adapter_20261018/inputs/Math-/frontiers/gaussian_short_bar_theory_20261017/asymmetric_elder/PROOF.md"],"dup-02":["9c79a672f5d81e04972032b2f1faf185f4664fa5","frontiers/unique_replacement_bar_intensity_20261001/PROOF.md","frontiers/replacement_bar_occurrence_20261001/sources/c50/PROOF.md"],"dup-03":["d61fd11a826856baecb4cf4cd8a76ad5c25350dd","frontiers/gaussian_short_bar_theory_20261017/smooth_gaussian_manifold_admission/PROOF.md","frontiers/compact_morse_elder_adapter_20261018/inputs/Math-/frontiers/gaussian_short_bar_theory_20261017/smooth_gaussian_manifold_admission/PROOF.md"]},"duplicate_ordinal_roles":{"20":["dup-02","canonical"],"24":["dup-01","alias_copy"],"25":["dup-03","alias_copy"],"27":["dup-01","canonical"],"30":["dup-03","canonical"],"69":["dup-02","alias_copy"]},"lane_artifact_columns":["kind","path","blob"],"lane_artifacts":{"GB-8b":["node_candidate_proposal","docs/retro/GB-8b.agent2.node-candidates.json","1d6cf0f49514efeaaaec6145839625852c6c83e7"],"GB-8e":["node_candidate_proposal","docs/retro/GB-8e.agent5.node-candidates.json","fb991513fa2b704e6202f855cc58be558c197031"],"GB-8f":["node_candidate_proposal","docs/retro/GB-8f.agent6.node-candidates.json","366f19700150da152e958c928a7fc9dd6a186cfe"],"GB-8g":["node_candidate_proposal","docs/retro/GB-8g.agent7.node-candidates.json","7b593f075b5b0eda897d658bd04abb6125bb72db"],"GB-8i":["node_candidate_proposal","docs/retro/GB-8i.agent9.node-candidates.json","181f805d4c4057fbdd345c6cd6ce69b633c350d3"],"GB-8k":["node_candidate_proposal","docs/retro/GB-8k/agent11-GB-8k.proposals.json","c533686d18d316b4b80829c7126eb650b0515b4f"],"GB-8l":["node_candidate_proposal","docs/retro/GB-8l.agent12.node-candidates.json","ae01793ab01a78ca1001f9f50fdb0e121855aac4"],"GB-8m":["node_candidate_proposal","docs/retro/GB-8m.agent13.node-candidates.json","a94c271b38aa025329c5a3343b1f4e5a57718ffa"],"GB-8n":["node_candidate_proposal","docs/retro/GB-8n-agent14.proposal.json","2d03a7628108f84c4b30cf5f861069187b278a0f"],"GB-8o":["node_candidate_proposal","docs/retro/GB-8o.agent16.node-candidates.json","9ec6132b435fc5d62fc6be216250df9d764b6941"],"GB-8r":["node_candidate_proposal","docs/retro/GB-8r.agent7.node-candidates.json","52a0e2b0921eb9c10863fda63084327596f35712"],"GB-8s":["inventory_without_node_ids","docs/retro/GB-8s.agent1.inventory.json","3c1e4e5495b50faaab40930975224e25407ffe2d"],"GB-8t":["node_candidate_proposal","docs/retro/GB-8t.agent2.node-candidates.json","47dc63a46cda51790933b73cd89cc36ae7ce348b"],"GB-8w":["node_candidate_proposal","docs/retro/GB-8w.agent5.node-candidates.json","0358ec26076a714a90367ec5d38fdc356c1921be"]},"packet_columns":["unit","proof_inventory_ordinals","implementation_class","implementation_paths","lane","landed_node_candidate_proposal","existing_v2_binding"],"packets":[["frontiers/c6_hard_direction_factorization_20260930",[1],"local_code_language_reference",["frontiers/c6_hard_direction_factorization_20260930/factorization.py",".github/workflows/c6-hard-direction-factorization.yml"],"GB-8k",true,false],["frontiers/c7_elder_two_thirds_20261007",[21],"local_code_language_reference",["frontiers/c7_elder_two_thirds_20261007/C7/author_controls.py","frontiers/c7_elder_two_thirds_20261007/replay.py",".github/workflows/lifetime-c7-elder.yml","tests/test_lifetime_c7_elder_replay_evidence.py"],"GB-8e",true,false],["frontiers/candidate_parity_rate_20261001",[2],"local_code_language_reference",["frontiers/candidate_parity_rate_20261001/parity_check.py",".github/workflows/candidate-parity-rate.yml",".github/workflows/d1-sharp-remainder.yml"],"GB-8r",true,false],["frontiers/compact_morse_elder_adapter_20261018",[3,22,23,24,25],"local_code_language_reference",["frontiers/compact_morse_elder_adapter_20261018/inputs/C291/SourceLifetimeField.lean","frontiers/compact_morse_elder_adapter_20261018/inputs/C291/SourceLifetimeGeometry.lean"],"GB-8l",true,false],["frontiers/cusp_torus_transfer_20261001",[4],"local_code_language_reference",["frontiers/cusp_torus_transfer_20261001/test_sources.py","frontiers/cusp_torus_transfer_20261001/test_transfer.py",".github/workflows/c2-torus-transfer.yml",".github/workflows/cusp-torus-transfer.yml"],"GB-8l",true,false],["frontiers/d1_line_20261004",[5],"local_code_language_reference",["frontiers/d1_line_20261004/line_check.py",".github/workflows/d1-line.yml"],"GB-8e",true,false],["frontiers/d1_sharp_remainder_20261001",[6],"local_code_language_reference",["frontiers/d1_sharp_remainder_20261001/d1p_check.py",".github/workflows/d1-line.yml",".github/workflows/d1-sharp-remainder.yml"],"GB-8e",true,false],["frontiers/d1_third_order_law_20261001",[7],"local_code_language_reference",["frontiers/d1_third_order_law_20261001/d1_check.py",".github/workflows/candidate-parity-rate.yml",".github/workflows/d1-line.yml"],"GB-8e",true,false],["frontiers/em_intermediate_elder_20261006",[26],"local_code_language_reference",["frontiers/em_intermediate_elder_20261006/EM/author_controls.py","frontiers/em_intermediate_elder_20261006/replay.py",".github/workflows/em-intermediate-elder.yml","tests/test_em_intermediate_elder_replay_evidence.py"],"GB-8b",true,false],["frontiers/far_elder_flat_ridge_20260930",[8],"local_code_language_reference",["frontiers/far_elder_flat_ridge_20260930/c89_replay.py","frontiers/far_elder_flat_ridge_20260930/c89_reviewer_controls.py",".github/workflows/far-elder-flat-ridge.yml"],"GB-8l",true,false],["frontiers/far_sector_lifetime_refinement_20261022",[9],"no_implementation_found",[],"GB-8g",true,false],["frontiers/finite_l_d2_coefficient_20261018",[10],"local_code_language_reference",["frontiers/finite_l_d2_coefficient_20261018/coefficient.py","frontiers/finite_l_d2_coefficient_20261018/contract.py"],"GB-8e",true,false],["frontiers/full_spectrum_enclosure_method_20261018",[11],"no_implementation_found",[],"GB-8w",true,false],["frontiers/gaussian_a4_elder_sector_20261017",[12],"no_implementation_found",[],"GB-8m",true,false],["frontiers/gaussian_short_bar_theory_20261017",[27,28,29,30],"no_implementation_found",[],"GB-8w",true,false],["frontiers/lifetime_c3r_rate_20261013",[31],"local_code_language_reference",["frontiers/lifetime_c3r_rate_20261013/controls/c3r_exact.py","frontiers/lifetime_c3r_rate_20261013/controls/c3r_mutants.py",".github/workflows/lifetime-c3r-rate.yml","tests/test_lifetime_c3r_replay.py"],"GB-8e",true,false],["frontiers/lifetime_cj_model_j_20261012",[32],"local_code_language_reference",["frontiers/lifetime_cj_model_j_20261012/CJ/author_controls.py","frontiers/lifetime_cj_model_j_20261012/replay.py",".github/workflows/lifetime-cj-model-j.yml","tests/test_lifetime_cj_model_j_replay_evidence.py"],"GB-8f",true,false],["frontiers/lifetime_dd_model_d_20261013",[33],"local_code_language_reference",["frontiers/lifetime_dd_model_d_20261013/certificate/ddS.py","frontiers/lifetime_dd_model_d_20261013/certificate/dd_controls.py",".github/workflows/lifetime-dd-model-d.yml","tests/test_lifetime_dd_replay_evidence.py"],"GB-8f",true,false],["frontiers/lifetime_two_thirds_chain_20261007",[34,35,36,37],"local_code_language_reference",["frontiers/lifetime_two_thirds_chain_20261007/C3/author_controls.py","frontiers/lifetime_two_thirds_chain_20261007/EM1/author_controls.py",".github/workflows/lifetime-two-thirds-chain.yml","main:tests/test_reader_links.py"],"GB-8f",true,false],["frontiers/moving_remote_collision_20261003",[13],"local_code_language_reference",["frontiers/moving_remote_collision_20261003/author_controls.py","frontiers/moving_remote_collision_20261003/review/independent_controls.py",".github/workflows/moving-remote-collision.yml"],"GB-8b",true,false],["frontiers/nongaussian_smoothing_admission_20261017",[14],"no_implementation_found",[],"GB-8w",true,false],["frontiers/ordinary_short_bar_occurrence_20261001",[15],"local_code_language_reference",["frontiers/ordinary_short_bar_occurrence_20261001/check.py","frontiers/ordinary_short_bar_occurrence_20261001/test_check.py",".github/workflows/ordinary-short-bar-occurrence-all-d.yml",".github/workflows/ordinary-short-bar-occurrence.yml"],"GB-8s",false,false],["frontiers/original_finite_l_gaussian_binding_20261017",[16],"no_implementation_found",[],"GB-8w",true,false],["frontiers/planar_compact_k_chain_20261006",[38,39,40,41],"local_code_language_reference",["frontiers/planar_compact_k_chain_20261006/A4_1/author_controls.py","frontiers/planar_compact_k_chain_20261006/A4_2/author_controls.py",".github/workflows/planar-compact-k-chain.yml","tests/test_planar_compact_k_replay_evidence.py"],"GB-8n",true,false],["frontiers/planar_rejected_endpoint_margin_20261003",[42],"local_code_language_reference",["frontiers/planar_rejected_endpoint_margin_20261003/A4/author_controls.py","frontiers/planar_rejected_endpoint_margin_20261003/replay.py",".github/workflows/planar-rejected-endpoint-margin.yml"],"GB-8n",true,false],["frontiers/planar_soft_layer_chain_20261003",[43,44,45,46,47,48,49,50,51,52,53,54,55,56],"local_code_language_reference",["frontiers/planar_soft_layer_chain_20261003/C101/author_controls.py","frontiers/planar_soft_layer_chain_20261003/C101/checker.py",".github/workflows/planar-soft-layer-chain.yml","main:tests/test_reader_links.py"],"GB-8n",true,false],["frontiers/qs_d3_soft_layer_chain_20261005",[57,58,59,60,61,62,63,64,65,66,67,68],"local_code_language_reference",["frontiers/qs_d3_soft_layer_chain_20261005/A3/author_controls.py","frontiers/qs_d3_soft_layer_chain_20261005/A3_1/author_controls.py",".github/workflows/qs-d3-soft-layer-chain.yml","tests/test_qs_d3_replay_evidence.py"],"GB-8i",true,false],["frontiers/replacement_bar_occurrence_20261001",[17,69],"local_code_language_reference",["frontiers/replacement_bar_occurrence_20261001/check_exact.py","frontiers/replacement_bar_occurrence_20261001/test_exact.py",".github/workflows/replacement-bar-occurrence.yml","main:tests/test_reader_links.py"],"GB-8s",false,false],["frontiers/small_lifetime_shape_20260930",[18],"local_code_language_reference",["frontiers/small_lifetime_shape_20260930/shape.py","frontiers/small_lifetime_shape_20260930/test_jacobian.py",".github/workflows/small-lifetime-shape.yml"],"GB-8f",true,false],["frontiers/strict_unique_replacement_coefficient_20261003",[19],"local_code_language_reference",["frontiers/strict_unique_replacement_coefficient_20261003/check.py",".github/workflows/strict-unique-replacement-coefficient.yml","main:tests/test_reader_links.py"],"GB-8i",true,false],["frontiers/tl_soft_layer_20261006",[70],"local_code_language_reference",["frontiers/tl_soft_layer_20261006/TL/author_controls.py","frontiers/tl_soft_layer_20261006/replay.py",".github/workflows/tl-soft-layer.yml","tests/test_tl_soft_layer_replay_evidence.py"],"GB-8o",true,false],["frontiers/ts_small_kappa_20261006",[71],"local_code_language_reference",["frontiers/ts_small_kappa_20261006/TS/author_controls.py","frontiers/ts_small_kappa_20261006/replay.py",".github/workflows/ts-small-kappa.yml","tests/test_ts_small_kappa_replay_evidence.py"],"GB-8o",true,false],["frontiers/unique_replacement_bar_intensity_20261001",[20],"local_code_language_reference",["frontiers/unique_replacement_bar_intensity_20261001/check_exact.py","frontiers/unique_replacement_bar_intensity_20261001/test_sources.py",".github/workflows/unique-replacement-bars.yml","main:tests/test_reader_links.py"],"GB-8t",true,false],["frontiers/v24_dc_two_thirds_sign_20261007",[72,73],"local_code_language_reference",["frontiers/v24_dc_two_thirds_sign_20261007/DC/author_controls.py","frontiers/v24_dc_two_thirds_sign_20261007/V24/author_controls.py",".github/workflows/lifetime-v24-dc-sign.yml","tests/test_lifetime_v24_dc_sign_replay_evidence.py"],"GB-8f",true,false]],"global_dispositions":{"semantic_proof_to_implementation_edge":"UNREVIEWED_NOT_ASSERTED","open_pr_overlay_used_as_source_identity":false},"limits":["implementation reference presence is not semantic equivalence","node-candidate proposal is not a graph node, accepted theorem, status change, or v2 binding","aliases and embedded copies are not additional mathematical results","NO IMPLEMENTATION FOUND is limited to the pinned audit","typed dependency edges require later source-bound semantic review"]}