{
  "affine_span_obstruction": {
    "anchor_independent_difference": "D_a(u)-D_a(v)=(25/23)*(u-v)",
    "anchored_expansion": "D_a(b)=a+(25/23)*(b-a)",
    "conclusion": "No one common anchored E map equals the held whole-biography translation.",
    "expanded_span": "12500/23",
    "limit": "This does not deny distinct endpoint-specific constructions or source prescriptions.",
    "residual": "1000/23",
    "source_and_target_Noah_bound_span": "500",
    "translation": "T(b)=b-460"
  },
  "all_checks_passed": true,
  "biographies": [
    {
      "E_expanded_Noah_Shem_width": "12500/23",
      "E_width_minus_actual_target_width": "1000/23",
      "MT_Noah_minus_SP_Shem": 40,
      "MT_centers": [
        3246,
        2746,
        2646,
        2296,
        2146
      ],
      "Noah_bound_gap_both": 500,
      "SP_Noah_minus_MT_Shem": 960,
      "SP_centers": [
        3706,
        3206,
        3106,
        2756,
        2606
      ],
      "gear": 1,
      "i": 3,
      "translation": -460
    },
    {
      "E_expanded_Noah_Shem_width": "12500/23",
      "E_width_minus_actual_target_width": "1000/23",
      "MT_Noah_minus_SP_Shem": 40,
      "MT_centers": [
        3248,
        2748,
        2648,
        2298,
        2148
      ],
      "Noah_bound_gap_both": 500,
      "SP_Noah_minus_MT_Shem": 960,
      "SP_centers": [
        3708,
        3208,
        3108,
        2758,
        2608
      ],
      "gear": 2,
      "i": 5,
      "translation": -460
    },
    {
      "E_expanded_Noah_Shem_width": "12500/23",
      "E_width_minus_actual_target_width": "1000/23",
      "MT_Noah_minus_SP_Shem": 40,
      "MT_centers": [
        3250,
        2750,
        2650,
        2300,
        2150
      ],
      "Noah_bound_gap_both": 500,
      "SP_Noah_minus_MT_Shem": 960,
      "SP_centers": [
        3710,
        3210,
        3110,
        2760,
        2610
      ],
      "gear": 3,
      "i": 7,
      "translation": -460
    }
  ],
  "check_count": 104,
  "checks": [
    {
      "actual": "500",
      "expected": "500",
      "name": "E times 460",
      "pass": true
    },
    {
      "actual": "40",
      "expected": "40",
      "name": "expansion gain",
      "pass": true
    },
    {
      "actual": "575",
      "expected": "575",
      "name": "E times 529",
      "pass": true
    },
    {
      "actual": "625",
      "expected": "625",
      "name": "E squared times 529",
      "pass": true
    },
    {
      "actual": "4600",
      "expected": "4600",
      "name": "File46 first expansion",
      "pass": true
    },
    {
      "actual": "5000",
      "expected": "5000",
      "name": "File46 second expansion",
      "pass": true
    },
    {
      "actual": "4232",
      "expected": "4232",
      "name": "File46 4232 is 8K",
      "pass": true
    },
    {
      "actual": "False",
      "expected": "False",
      "name": "460 is not divisible by 529",
      "pass": true
    },
    {
      "actual": "12500/23",
      "expected": "12500/23",
      "name": "second 460 expansion is nonintegral",
      "pass": true
    },
    {
      "actual": "540",
      "expected": "540",
      "name": "File09 bilateral outer width",
      "pass": true
    },
    {
      "actual": "500",
      "expected": "500",
      "name": "File09 older shoulder completion",
      "pass": true
    },
    {
      "actual": "500",
      "expected": "500",
      "name": "File09 younger shoulder completion",
      "pass": true
    },
    {
      "actual": "460",
      "expected": "460",
      "name": "File09 central source width",
      "pass": true
    },
    {
      "actual": "460",
      "expected": "460",
      "name": "Flood/Arphaxad opening source",
      "pass": true
    },
    {
      "actual": "40",
      "expected": "40",
      "name": "Flood/Arphaxad opening shoulder",
      "pass": true
    },
    {
      "actual": "500",
      "expected": "500",
      "name": "Flood/Arphaxad opening expanded",
      "pass": true
    },
    {
      "actual": "460",
      "expected": "460",
      "name": "Flood/Arphaxad terminal source",
      "pass": true
    },
    {
      "actual": "40",
      "expected": "40",
      "name": "Flood/Arphaxad terminal shoulder",
      "pass": true
    },
    {
      "actual": "500",
      "expected": "500",
      "name": "Flood/Arphaxad terminal expanded",
      "pass": true
    },
    {
      "actual": "460",
      "expected": "460",
      "name": "Cainan/Shelah opening source",
      "pass": true
    },
    {
      "actual": "40",
      "expected": "40",
      "name": "Cainan/Shelah opening shoulder",
      "pass": true
    },
    {
      "actual": "500",
      "expected": "500",
      "name": "Cainan/Shelah opening expanded",
      "pass": true
    },
    {
      "actual": "460",
      "expected": "460",
      "name": "Cainan/Shelah terminal source",
      "pass": true
    },
    {
      "actual": "40",
      "expected": "40",
      "name": "Cainan/Shelah terminal shoulder",
      "pass": true
    },
    {
      "actual": "500",
      "expected": "500",
      "name": "Cainan/Shelah terminal expanded",
      "pass": true
    },
    {
      "actual": "3",
      "expected": "3",
      "name": "held primary biography count",
      "pass": true
    },
    {
      "actual": "5",
      "expected": "5",
      "name": "i3/G1 role count",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/Noah birth context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/Shem birth context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/Flood start context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/Noah death context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/Shem death context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/-1/4/Noah birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/-1/4/Shem birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/-1/4/Flood start",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/-1/4/Noah death",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/-1/4/Shem death",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/1/4/Noah birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/1/4/Shem birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/1/4/Flood start",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/1/4/Noah death",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i3/G1/1/4/Shem death",
      "pass": true
    },
    {
      "actual": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "expected": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "name": "i3/G1/SP internal widths",
      "pass": true
    },
    {
      "actual": "950",
      "expected": "950",
      "name": "i3/G1/SP Noah lifespan",
      "pass": true
    },
    {
      "actual": "600",
      "expected": "600",
      "name": "i3/G1/SP Shem lifespan",
      "pass": true
    },
    {
      "actual": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "expected": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "name": "i3/G1/MT internal widths",
      "pass": true
    },
    {
      "actual": "950",
      "expected": "950",
      "name": "i3/G1/MT Noah lifespan",
      "pass": true
    },
    {
      "actual": "600",
      "expected": "600",
      "name": "i3/G1/MT Shem lifespan",
      "pass": true
    },
    {
      "actual": "40",
      "expected": "40",
      "name": "i3/G1 cross-role near gap",
      "pass": true
    },
    {
      "actual": "960",
      "expected": "960",
      "name": "i3/G1 cross-role outer gap",
      "pass": true
    },
    {
      "actual": "1000/23",
      "expected": "1000/23",
      "name": "i3/G1 anchored E mapping span obstruction",
      "pass": true
    },
    {
      "actual": "5",
      "expected": "5",
      "name": "i5/G2 role count",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/Noah birth context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/Shem birth context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/Flood start context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/Noah death context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/Shem death context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/-1/4/Noah birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/-1/4/Shem birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/-1/4/Flood start",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/-1/4/Noah death",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/-1/4/Shem death",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/1/4/Noah birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/1/4/Shem birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/1/4/Flood start",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/1/4/Noah death",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i5/G2/1/4/Shem death",
      "pass": true
    },
    {
      "actual": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "expected": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "name": "i5/G2/SP internal widths",
      "pass": true
    },
    {
      "actual": "950",
      "expected": "950",
      "name": "i5/G2/SP Noah lifespan",
      "pass": true
    },
    {
      "actual": "600",
      "expected": "600",
      "name": "i5/G2/SP Shem lifespan",
      "pass": true
    },
    {
      "actual": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "expected": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "name": "i5/G2/MT internal widths",
      "pass": true
    },
    {
      "actual": "950",
      "expected": "950",
      "name": "i5/G2/MT Noah lifespan",
      "pass": true
    },
    {
      "actual": "600",
      "expected": "600",
      "name": "i5/G2/MT Shem lifespan",
      "pass": true
    },
    {
      "actual": "40",
      "expected": "40",
      "name": "i5/G2 cross-role near gap",
      "pass": true
    },
    {
      "actual": "960",
      "expected": "960",
      "name": "i5/G2 cross-role outer gap",
      "pass": true
    },
    {
      "actual": "1000/23",
      "expected": "1000/23",
      "name": "i5/G2 anchored E mapping span obstruction",
      "pass": true
    },
    {
      "actual": "5",
      "expected": "5",
      "name": "i7/G3 role count",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/Noah birth context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/Shem birth context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/Flood start context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/Noah death context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/Shem death context translation",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/-1/4/Noah birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/-1/4/Shem birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/-1/4/Flood start",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/-1/4/Noah death",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/-1/4/Shem death",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/1/4/Noah birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/1/4/Shem birth",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/1/4/Flood start",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/1/4/Noah death",
      "pass": true
    },
    {
      "actual": "-460",
      "expected": "-460",
      "name": "i7/G3/1/4/Shem death",
      "pass": true
    },
    {
      "actual": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "expected": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "name": "i7/G3/SP internal widths",
      "pass": true
    },
    {
      "actual": "950",
      "expected": "950",
      "name": "i7/G3/SP Noah lifespan",
      "pass": true
    },
    {
      "actual": "600",
      "expected": "600",
      "name": "i7/G3/SP Shem lifespan",
      "pass": true
    },
    {
      "actual": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "expected": "[Fraction(500, 1), Fraction(100, 1), Fraction(350, 1), Fraction(150, 1)]",
      "name": "i7/G3/MT internal widths",
      "pass": true
    },
    {
      "actual": "950",
      "expected": "950",
      "name": "i7/G3/MT Noah lifespan",
      "pass": true
    },
    {
      "actual": "600",
      "expected": "600",
      "name": "i7/G3/MT Shem lifespan",
      "pass": true
    },
    {
      "actual": "40",
      "expected": "40",
      "name": "i7/G3 cross-role near gap",
      "pass": true
    },
    {
      "actual": "960",
      "expected": "960",
      "name": "i7/G3 cross-role outer gap",
      "pass": true
    },
    {
      "actual": "1000/23",
      "expected": "1000/23",
      "name": "i7/G3 anchored E mapping span obstruction",
      "pass": true
    },
    {
      "actual": "15",
      "expected": "15",
      "name": "center checks",
      "pass": true
    },
    {
      "actual": "30",
      "expected": "30",
      "name": "exact component checks",
      "pass": true
    },
    {
      "actual": "502",
      "expected": "502",
      "name": "textual binding retained",
      "pass": true
    }
  ],
  "parameters": {
    "E": "25/23",
    "K": "529"
  },
  "positive_local_File09_examples": [
    {
      "base": 4836,
      "completed_generated": 4796,
      "completion": 40,
      "expanded_width": 500,
      "family": "Flood/Arphaxad opening",
      "older": 5296,
      "source_width": 460
    },
    {
      "base": 4829,
      "completed_generated": 4789,
      "completion": 40,
      "expanded_width": 500,
      "family": "Flood/Arphaxad terminal",
      "older": 5289,
      "source_width": 460
    },
    {
      "base": 4398,
      "completed_generated": 4358,
      "completion": 40,
      "expanded_width": 500,
      "family": "Cainan/Shelah opening",
      "older": 4858,
      "source_width": 460
    },
    {
      "base": 4391,
      "completed_generated": 4351,
      "completion": 40,
      "expanded_width": 500,
      "family": "Cainan/Shelah terminal",
      "older": 4851,
      "source_width": 460
    }
  ],
  "prohibitions_observed": [
    "No fitted anchors",
    "No new endpoint search",
    "No C325 calculation",
    "No cumulative Gear operation",
    "No imported MT/LXX SP companions"
  ],
  "scope": "Finite arithmetic ingredients and operator distinction only.",
  "source": {
    "name": "C322_DATA.json",
    "sha256": "28593cd3042d88d3b55fe9f4fc8050a8a51ddaa92504edfa0ab3613a566f490c"
  },
  "source_audit_limit": "No numerical check proves source absence. The bounded textual audit is recorded separately.",
  "step": "C324"
}