{ "report": "C18", "status": "PASS", "check_count": 103, "check_names": [ "frozen input sources/FILE_18.md", "frozen input sources/FILE_09.md", "frozen input sources/MIRROR_HANDOFF.md", "frozen input sources/C03_RESULTS.json", "frozen input sources/C12_BASIS_CERTIFICATE.json", "frozen input sources/C13_SYMBOLIC_CERTIFICATE.json", "frozen input sources/C15_DEPENDENCY_CERTIFICATE.json", "frozen input sources/C16_SOURCE_DOMAIN.json", "frozen input sources/C16_BASIS_EXCHANGE_CERTIFICATE.json", "frozen input sources/C17_SUM_RECONSTRUCTION.json", "frozen input sources/C17_DEPENDENCY_CERTIFICATE.json", "frozen input sources/C17_RESULTS.json", "current controller FILE_18.md", "current controller FILE_09.md", "C17 completed checkpoint", "C03 completed checkpoint", "source full430 frame conversion retained", "regular source span components", "fixed normal head to fixed Arphaxad", "post-Flood source begetting suffix", "regular span and Creation field reconstructed", "fixed Creation field is 4421 through 4414", "preferred head rather than superseded Adam repair", "C17 sum and opening still match current source", "common-anchor opening gap", "source local ingredients", "six same-boundary MT/SP Flood offsets", "three primary MT/SP Noah offsets", "old bridge explicit source closing qualification", "old bridge value retained in handoff", "independent source opening comparisons", "868 has sum and bridge derivations", "13 and 17 family closures", "unequal flanks total two E", "source alternative-profile offset", "regular source flank agrees with retained alternate-profile form", "no change to retained C16 opening and Noah width", "alpha from original bridge identifies close/start displacement", "source member residual equals relative offset error", "17 bridge residual equals the same offset error", "17 closure decomposes into 13 closure plus flank closure", "two opening descriptions of flank closure", "source second opening condition", "equivalent existing-p form of second opening condition", "diagonal j=1 existing C16 coordinate image", "diagonal j=1 exact retained attachments", "diagonal j=1 source field membership", "diagonal j=2 existing C16 coordinate image", "diagonal j=2 exact retained attachments", "diagonal j=2 source field membership", "diagonal j=2 both seasonal 13 and 17 counts", "diagonal j=3 existing C16 coordinate image", "diagonal j=3 exact retained attachments", "diagonal j=3 source field membership", "diagonal j=3 both seasonal 13 and 17 counts", "diagonal j=4 existing C16 coordinate image", "diagonal j=4 exact retained attachments", "diagonal j=4 source field membership", "diagonal j=4 both seasonal 13 and 17 counts", "diagonal j=5 existing C16 coordinate image", "diagonal j=5 exact retained attachments", "diagonal j=5 source field membership", "diagonal j=5 both seasonal 13 and 17 counts", "diagonal j=6 existing C16 coordinate image", "diagonal j=6 exact retained attachments", "diagonal j=6 source field membership", "diagonal j=7 existing C16 coordinate image", "diagonal j=7 exact retained attachments", "diagonal j=7 source field membership", "seven alpha-diagonal source pairs", "five 13 source pairs on this diagonal", "six 17 source pairs on this diagonal", "four joint source pairs", "two complete source expansions", "complete expansions match the two existing C03 witnesses", "offset sigma=0 imported C13 release has exact member interpretation", "offset sigma=0 all cumulative endpoints source-admitted", "offset sigma=0 old equations except attachment retained", "offset sigma=0 attachment residual", "offset sigma=0 retained regular 13 expansion chain", "offset sigma=0 both cumulative lengths remain fixed", "offset sigma=0 17 and old bridge deviations", "offset sigma=1 imported C13 release has exact member interpretation", "offset sigma=1 all cumulative endpoints source-admitted", "offset sigma=1 old equations except attachment retained", "offset sigma=1 attachment residual", "offset sigma=1 retained regular 13 expansion chain", "offset sigma=1 both cumulative lengths remain fixed", "offset sigma=1 17 and old bridge deviations", "offset sigma=2 imported C13 release has exact member interpretation", "offset sigma=2 all cumulative endpoints source-admitted", "offset sigma=2 old equations except attachment retained", "offset sigma=2 attachment residual", "offset sigma=2 retained regular 13 expansion chain", "offset sigma=2 both cumulative lengths remain fixed", "offset sigma=2 17 and old bridge deviations", "same-index control corresponds to source G1 Flood start opening bridge", "one-step skew alone retains original bridge", "frozen 8993 common-row certificate", "17 closure certificate from CB and CE", "C15 two-residual grammar retained", "common-anchor cancellation in same-side gap", "common-anchor displacement of cross-Mirror widths" ], "main_result": "868=(5290-4421)-1=8395-6877-650; B=6877+868+598+650=8993", "domain_counts": { "analytically_derived_diagonal_pairs": 7, "source_13_pairs_on_diagonal": 5, "source_17_pairs_on_diagonal": 6, "joint_13_17_pairs": 4, "complete_13fold_expansion_chains": 2, "bounded_neighbor_controls": 3 }, "scope": { "regular_Gears": [ "Noah", "Shem", "Flood" ], "Creation": "fixed Normal/G2", "SP_person_companion": [ "Noah", "Shem" ], "Flood_start_close": "independent of person companion", "ordinary_regular": "full430, Terah0, MT/SP CainanOFF", "alternate_MT_p190": "retained comparison only, no new selector campaign", "LXX_cumulative": "native ON, derived OFF", "Mirror_axis": "January AD1; no civil year zero", "canonical_sources_modified": false, "historical_campaign_rerun": false, "new_historical_joins": false, "primers_or_Rounded_reopened": false, "Reports_11_25_completion_claimed": false } }