C15 RESULTS.json

{
  "report": "C15",
  "status": "PASS",
  "check_count": 149,
  "check_names": [
    "input sources/FILE_18.md",
    "input sources/FILE_09.md",
    "input sources/MIRROR_HANDOFF.md",
    "input sources/C05_RESULTS.json",
    "input sources/C09_FAMILY_MAP.json",
    "input sources/C10_RESULTS.json",
    "input sources/C11_RESULTS.json",
    "input sources/C12_RESULTS.json",
    "input sources/C12_BASIS_CERTIFICATE.json",
    "input sources/C13_SYMBOLIC_CERTIFICATE.json",
    "input sources/C14_RESULTS.json",
    "input sources/C14_SOURCE_GRAPH.json",
    "controller FILE_18.md",
    "controller FILE_09.md",
    "C05 completed status",
    "C10 completed status",
    "C11 completed status",
    "C12 completed status",
    "C14 completed status",
    "cumulative source fields agree with retained handoff",
    "fixed Creation source field",
    "retained unit",
    "P6_10_3plus7 incidence certificate",
    "P6_20_3plus17 incidence certificate",
    "P6_20_10plus10 incidence certificate",
    "P6 reflected 17 equality certificate",
    "N04_10_3plus7 incidence certificate",
    "N04_20_3plus17 incidence certificate",
    "N04_20_10plus10 incidence certificate",
    "N04 reflected 17 equality certificate",
    "N04_2_460plus598 incidence certificate",
    "N04_13_11plus2 incidence certificate",
    "N04_7_2plus5 incidence certificate",
    "N04_5_3plus2 incidence certificate",
    "N04_10_5plus5 incidence certificate",
    "N04_17_actual_flanks incidence certificate",
    "N04_1248_profile_plus_2 incidence certificate",
    "N04_17_origin_core_profile_tail incidence certificate",
    "N04_868plus190_equals_E source equality",
    "N04_2_equal_source_images source equality",
    "N04_17_equals_13plus_twice2 source equality",
    "N04 exact non-path dependency decomposition",
    "N04_cumulative_to_Conquest translated endpoints",
    "N04_cumulative_to_regular translated endpoints",
    "N04 fixed-origin double 25over23 expansion",
    "N03_10_3plus7 incidence certificate",
    "N03_20_3plus17 incidence certificate",
    "N03_20_10plus10 incidence certificate",
    "N03 reflected 17 equality certificate",
    "N03_2_460plus598 incidence certificate",
    "N03_13_11plus2 incidence certificate",
    "N03_7_2plus5 incidence certificate",
    "N03_5_3plus2 incidence certificate",
    "N03_10_5plus5 incidence certificate",
    "N03_17_actual_flanks incidence certificate",
    "N03_1248_profile_plus_2 incidence certificate",
    "N03_17_origin_core_profile_tail incidence certificate",
    "N03_868plus190_equals_E source equality",
    "N03_2_equal_source_images source equality",
    "N03_17_equals_13plus_twice2 source equality",
    "N03 exact non-path dependency decomposition",
    "N03_cumulative_to_Conquest translated endpoints",
    "N03_cumulative_to_regular translated endpoints",
    "N03 unsupported MT birth excluded from graph",
    "N02_10_3plus7 incidence certificate",
    "N02_20_3plus17 incidence certificate",
    "N02_20_10plus10 incidence certificate",
    "N02 reflected 17 equality certificate",
    "N02_2_460plus598 incidence certificate",
    "N02_13_11plus2 incidence certificate",
    "N02_7_2plus5 incidence certificate",
    "N02_5_3plus2 incidence certificate",
    "N02_10_5plus5 incidence certificate",
    "N02_17_actual_flanks incidence certificate",
    "N02_1248_profile_plus_2 incidence certificate",
    "N02_17_origin_core_profile_tail incidence certificate",
    "N02_868plus190_equals_E source equality",
    "N02_2_equal_source_images source equality",
    "N02_17_equals_13plus_twice2 source equality",
    "N02 exact non-path dependency decomposition",
    "N02_cumulative_to_Conquest translated endpoints",
    "N02_cumulative_to_regular translated endpoints",
    "N02 fixed-origin double 25over23 expansion",
    "N01_10_3plus7 incidence certificate",
    "N01_20_3plus17 incidence certificate",
    "N01_20_10plus10 incidence certificate",
    "N01 reflected 17 equality certificate",
    "N01_2_460plus598 incidence certificate",
    "N01_13_11plus2 incidence certificate",
    "N01_7_2plus5 incidence certificate",
    "N01_5_3plus2 incidence certificate",
    "N01_10_5plus5 incidence certificate",
    "N01_17_actual_flanks incidence certificate",
    "N01_1248_profile_plus_2 incidence certificate",
    "N01_17_origin_core_profile_tail incidence certificate",
    "N01_868plus190_equals_E source equality",
    "N01_2_equal_source_images source equality",
    "N01_17_equals_13plus_twice2 source equality",
    "N01 exact non-path dependency decomposition",
    "N01_cumulative_to_Conquest translated endpoints",
    "N01_cumulative_to_regular translated endpoints",
    "N01 unsupported MT birth excluded from graph",
    "N01_12_2plus10 incidence certificate",
    "N01_12_5plus7 incidence certificate",
    "N01_12_7plus5 incidence certificate",
    "N01_22_12plus10 incidence certificate",
    "N01_22_2plus20 incidence certificate",
    "N01_22_5plus17 incidence certificate",
    "N01_new_head_to_old_2 translated endpoints",
    "N01_new_head_to_Conquest translated endpoints",
    "seven retained native 11fold edges",
    "original opening role remains a coordinate",
    "P6_self20_to_mixed20 translated endpoints",
    "P6 fixed opening registers absolute branch coordinate",
    "N04_self20_to_mixed20 translated endpoints",
    "N04 fixed opening registers absolute branch coordinate",
    "N03_self20_to_mixed20 translated endpoints",
    "N03 fixed opening registers absolute branch coordinate",
    "N02_self20_to_mixed20 translated endpoints",
    "N02 fixed opening registers absolute branch coordinate",
    "N01_self20_to_mixed20 translated endpoints",
    "N01 fixed opening registers absolute branch coordinate",
    "tracked family set",
    "four prefixes and two complete fixed-origin expansions",
    "sole inherited 12fold attachment",
    "five bare 13fold edges include opening case",
    "all registered nodes passed source membership",
    "unsupported companion MT births never become graph nodes",
    "formal one-point counterexample to path-only 17 equality",
    "symbolic 2 residual",
    "symbolic 10 residual",
    "symbolic 11 residual",
    "symbolic 12 residual",
    "symbolic 13 residual",
    "symbolic 17 residual",
    "symbolic 20_mixed residual",
    "symbolic 22 residual",
    "symbolic 10_right residual",
    "two branch calibration residuals",
    "gamma and delta independently generate branch departures",
    "symbolic projection reproduces all N01 registered points",
    "independently released opening adds one residual direction",
    "C13 unit residual is the present gamma",
    "C13 mixed residual is gamma plus delta",
    "no added residual rank on the previously held C13 release",
    "opening residual dependent on unit residual on C13 release",
    "twelve-node family projection relative rank",
    "C14 attachment adds one node and one relation",
    "C12 fuller basis remains separately recorded"
  ],
  "graph_counts": {
    "typed_nodes": 77,
    "duration_edges": 124,
    "reflection_relations": 15,
    "path_identity_certificates": 53,
    "other_equality_certificates": 17,
    "finite_interval_correspondences": 15,
    "family_edge_counts": {
      "2": 17,
      "10": 10,
      "11": 7,
      "12": 1,
      "13": 5,
      "17": 14,
      "20": 6,
      "22": 1
    }
  },
  "domain_table": [
    {
      "branch": "P6",
      "C10_offset": 0,
      "t": -5284,
      "A": 5296,
      "N": 3709,
      "M": 2651,
      "Z": 6,
      "D": 5284,
      "Noah_binding": "SP G3 companion",
      "mixed_10_17_20": true,
      "source_2fold_midpoint": false,
      "Conquest_11plus2_prefix": false,
      "full_fixed_Creation_13_expansion": false,
      "retained_12_22_attachment": false,
      "historical_join_labels": []
    },
    {
      "branch": "N04",
      "C10_offset": 1,
      "t": -5285,
      "A": 5295,
      "N": 3708,
      "M": 2650,
      "Z": 5,
      "D": 5285,
      "Noah_binding": "SP G2 primary",
      "mixed_10_17_20": true,
      "source_2fold_midpoint": true,
      "Conquest_11plus2_prefix": true,
      "full_fixed_Creation_13_expansion": true,
      "retained_12_22_attachment": false,
      "historical_join_labels": [
        "J05"
      ]
    },
    {
      "branch": "N03",
      "C10_offset": 2,
      "t": -5286,
      "A": 5294,
      "N": 3707,
      "M": 2649,
      "Z": 4,
      "D": 5286,
      "Noah_binding": "SP G2 companion",
      "mixed_10_17_20": true,
      "source_2fold_midpoint": true,
      "Conquest_11plus2_prefix": true,
      "full_fixed_Creation_13_expansion": false,
      "retained_12_22_attachment": false,
      "historical_join_labels": [],
      "full_expansion_obstruction_MT_Noah": 3057
    },
    {
      "branch": "N02",
      "C10_offset": 3,
      "t": -5287,
      "A": 5293,
      "N": 3706,
      "M": 2648,
      "Z": 3,
      "D": 5287,
      "Noah_binding": "SP G1 primary",
      "mixed_10_17_20": true,
      "source_2fold_midpoint": true,
      "Conquest_11plus2_prefix": true,
      "full_fixed_Creation_13_expansion": true,
      "retained_12_22_attachment": false,
      "historical_join_labels": [
        "J02",
        "J03",
        "J04"
      ]
    },
    {
      "branch": "N01",
      "C10_offset": 4,
      "t": -5288,
      "A": 5292,
      "N": 3705,
      "M": 2647,
      "Z": 2,
      "D": 5288,
      "Noah_binding": "SP G1 companion",
      "mixed_10_17_20": true,
      "source_2fold_midpoint": true,
      "Conquest_11plus2_prefix": true,
      "full_fixed_Creation_13_expansion": false,
      "retained_12_22_attachment": true,
      "historical_join_labels": [
        "J01"
      ],
      "full_expansion_obstruction_MT_Noah": 3055
    }
  ],
  "branch_calibrations": {
    "E": 1058,
    "W": 6877,
    "alpha": 868,
    "p": 190,
    "gamma": 0,
    "delta": 0,
    "O": 5290,
    "omega": 0
  },
  "symbolic_ranks": {
    "branch_residuals": 2,
    "opening_independently_released": 3,
    "C13_actual_release": 2
  },
  "main_conclusions": [
    "12=2+10 and 22=12+10 have source-qualified path certificates",
    "17=13+2*2 uses calibrated disjoint attachments alpha+p=E plus equal-E correspondence",
    "mixed 20fold paths are finite translations of the opening self-Mirror interval with explicit endpoint role changes",
    "N01 retained12/22 and N02/N04 full fixed-Creation expansions occupy different source domains"
  ],
  "controls": {
    "regular_Gears": [
      "Noah",
      "Shem",
      "Flood"
    ],
    "SP_companion": [
      "Noah",
      "Shem"
    ],
    "Creation": "fixed Normal/G2",
    "principal_regular": "full430,Terah0,MT-SP CainanOFF",
    "midpoint_exception": "explicit MT full430/CainanON/Terah+60",
    "canonical_edits": false,
    "historical_campaign_rerun": false,
    "all_pairs_search": false,
    "new_historical_joins": false,
    "Reports_11_25_completion_claimed": false
  }
}