RESULTS.json

{
  "step": "C387",
  "status": "passed",
  "assertions_passed": 86,
  "checks": [
    "admitted Noah context (0, 'SP', 'primary')",
    "admitted Shem mode (0, 'SP', 'primary', '500/100')",
    "horizontal Shem J remains valid (0, 'SP', 'primary', '500/100')",
    "exact vertical mode residual (0, 'SP', 'primary', '500/100')",
    "unique typed MT input membership (0, 'SP', 'primary', '500/100')",
    "admitted Noah context (0, 'SP', 'companion')",
    "admitted Shem mode (0, 'SP', 'companion', '500/100')",
    "horizontal Shem J remains valid (0, 'SP', 'companion', '500/100')",
    "exact vertical mode residual (0, 'SP', 'companion', '500/100')",
    "unique typed MT input membership (0, 'SP', 'companion', '500/100')",
    "admitted Noah context (0, 'LXX', None)",
    "admitted Shem mode (0, 'LXX', None, '500/100')",
    "horizontal Shem J remains valid (0, 'LXX', None, '500/100')",
    "exact vertical mode residual (0, 'LXX', None, '500/100')",
    "unique typed MT input membership (0, 'LXX', None, '500/100')",
    "admitted Noah context (1, 'SP', 'primary')",
    "admitted Shem mode (1, 'SP', 'primary', '500/100')",
    "horizontal Shem J remains valid (1, 'SP', 'primary', '500/100')",
    "exact vertical mode residual (1, 'SP', 'primary', '500/100')",
    "unique typed MT input membership (1, 'SP', 'primary', '500/100')",
    "admitted Shem mode (1, 'SP', 'primary', '502/98')",
    "horizontal Shem J remains valid (1, 'SP', 'primary', '502/98')",
    "exact vertical mode residual (1, 'SP', 'primary', '502/98')",
    "unique typed MT input membership (1, 'SP', 'primary', '502/98')",
    "admitted Noah context (1, 'SP', 'companion')",
    "admitted Shem mode (1, 'SP', 'companion', '500/100')",
    "horizontal Shem J remains valid (1, 'SP', 'companion', '500/100')",
    "exact vertical mode residual (1, 'SP', 'companion', '500/100')",
    "unique typed MT input membership (1, 'SP', 'companion', '500/100')",
    "admitted Shem mode (1, 'SP', 'companion', '502/98')",
    "horizontal Shem J remains valid (1, 'SP', 'companion', '502/98')",
    "exact vertical mode residual (1, 'SP', 'companion', '502/98')",
    "unique typed MT input membership (1, 'SP', 'companion', '502/98')",
    "admitted Noah context (1, 'LXX', None)",
    "admitted Shem mode (1, 'LXX', None, '500/100')",
    "horizontal Shem J remains valid (1, 'LXX', None, '500/100')",
    "exact vertical mode residual (1, 'LXX', None, '500/100')",
    "unique typed MT input membership (1, 'LXX', None, '500/100')",
    "admitted Shem mode (1, 'LXX', None, '502/98')",
    "horizontal Shem J remains valid (1, 'LXX', None, '502/98')",
    "exact vertical mode residual (1, 'LXX', None, '502/98')",
    "unique typed MT input membership (1, 'LXX', None, '502/98')",
    "admitted Noah context (2, 'SP', 'primary')",
    "admitted Shem mode (2, 'SP', 'primary', '500/100')",
    "horizontal Shem J remains valid (2, 'SP', 'primary', '500/100')",
    "exact vertical mode residual (2, 'SP', 'primary', '500/100')",
    "unique typed MT input membership (2, 'SP', 'primary', '500/100')",
    "admitted Noah context (2, 'SP', 'companion')",
    "admitted Shem mode (2, 'SP', 'companion', '500/100')",
    "horizontal Shem J remains valid (2, 'SP', 'companion', '500/100')",
    "exact vertical mode residual (2, 'SP', 'companion', '500/100')",
    "unique typed MT input membership (2, 'SP', 'companion', '500/100')",
    "admitted Noah context (2, 'LXX', None)",
    "admitted Shem mode (2, 'LXX', None, '500/100')",
    "horizontal Shem J remains valid (2, 'LXX', None, '500/100')",
    "exact vertical mode residual (2, 'LXX', None, '500/100')",
    "unique typed MT input membership (2, 'LXX', None, '500/100')",
    "admitted Noah context (3, 'SP', 'primary')",
    "admitted Shem mode (3, 'SP', 'primary', '500/100')",
    "horizontal Shem J remains valid (3, 'SP', 'primary', '500/100')",
    "exact vertical mode residual (3, 'SP', 'primary', '500/100')",
    "unique typed MT input membership (3, 'SP', 'primary', '500/100')",
    "admitted Shem mode (3, 'SP', 'primary', '502/98')",
    "horizontal Shem J remains valid (3, 'SP', 'primary', '502/98')",
    "exact vertical mode residual (3, 'SP', 'primary', '502/98')",
    "unique typed MT input membership (3, 'SP', 'primary', '502/98')",
    "admitted Noah context (3, 'SP', 'companion')",
    "admitted Shem mode (3, 'SP', 'companion', '500/100')",
    "horizontal Shem J remains valid (3, 'SP', 'companion', '500/100')",
    "exact vertical mode residual (3, 'SP', 'companion', '500/100')",
    "unique typed MT input membership (3, 'SP', 'companion', '500/100')",
    "admitted Shem mode (3, 'SP', 'companion', '502/98')",
    "horizontal Shem J remains valid (3, 'SP', 'companion', '502/98')",
    "exact vertical mode residual (3, 'SP', 'companion', '502/98')",
    "unique typed MT input membership (3, 'SP', 'companion', '502/98')",
    "admitted Noah context (3, 'LXX', None)",
    "admitted Shem mode (3, 'LXX', None, '500/100')",
    "horizontal Shem J remains valid (3, 'LXX', None, '500/100')",
    "exact vertical mode residual (3, 'LXX', None, '500/100')",
    "unique typed MT input membership (3, 'LXX', None, '500/100')",
    "admitted Shem mode (3, 'LXX', None, '502/98')",
    "horizontal Shem J remains valid (3, 'LXX', None, '502/98')",
    "exact vertical mode residual (3, 'LXX', None, '502/98')",
    "unique typed MT input membership (3, 'LXX', None, '502/98')",
    "finite mode inventory",
    "failed modes retain source validity"
  ],
  "source_checks_passed": 16,
  "source_checks": [
    "frozen PREVIOUS_CERTIFICATE.json",
    "frozen PREVIOUS_RESULTS.json",
    "frozen PREVIOUS_DATA.json",
    "frozen PREVIOUS_CHECKPOINT.md",
    "frozen PREVIOUS_NEXT_STEP.json",
    "frozen File_18.md",
    "frozen File_09.md",
    "frozen C286_DATA.json",
    "frozen C287_DATA.json",
    "frozen C271_REGISTER.json",
    "frozen C385_DATA.json",
    "frozen C339_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json"
  ],
  "canonical_or_graph_edits": false,
  "check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}