RESULTS.json

{
  "step": "C415",
  "status": "passed",
  "assertions_passed": 20,
  "checks": [
    "bridge does not change paired lifts 3299",
    "all labelled lifts preserve source2K 3299",
    "all surviving coordinate pairs have a typed lift 3299",
    "bridge does not change paired lifts 3491",
    "all labelled lifts preserve source2K 3491",
    "all surviving coordinate pairs have a typed lift 3491",
    "bridge does not change paired lifts 3493",
    "all labelled lifts preserve source2K 3493",
    "all surviving coordinate pairs have a typed lift 3493",
    "bridge does not change paired lifts 3706",
    "all labelled lifts preserve source2K 3706",
    "all surviving coordinate pairs have a typed lift 3706",
    "bridge does not change paired lifts 3708",
    "all labelled lifts preserve source2K 3708",
    "all surviving coordinate pairs have a typed lift 3708",
    "bridge does not change paired lifts 3899",
    "all labelled lifts preserve source2K 3899",
    "all surviving coordinate pairs have a typed lift 3899",
    "C411 role-defined inventory",
    "C411 separate bridge inventory"
  ],
  "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 C410_DATA.json",
    "frozen C411_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."
}