RESULTS.json

{
  "step": "C371",
  "status": "passed",
  "assertions_passed": 93,
  "checks": [
    "nonzero difference slope",
    "general unique meeting input coefficient",
    "general common output coefficient",
    "460 pivots select598 and600",
    "cumulative normal form 00:i7",
    "regular normal form 00:i7",
    "matched event pivot source 00:i7",
    "cumulative normal form 00:i6",
    "regular normal form 00:i6",
    "matched event pivot source 00:i6",
    "cumulative normal form 00:i5",
    "regular normal form 00:i5",
    "matched event pivot source 00:i5",
    "cumulative normal form 00:i4",
    "regular normal form 00:i4",
    "matched event pivot source 00:i4",
    "cumulative normal form 00:i3",
    "regular normal form 00:i3",
    "matched event pivot source 00:i3",
    "cumulative normal form 02:i7",
    "regular normal form 02:i7",
    "cumulative normal form 02:i6",
    "regular normal form 02:i6",
    "cumulative normal form 02:i5",
    "regular normal form 02:i5",
    "matched event pivot source 02:i5",
    "cumulative normal form 02:i4",
    "regular normal form 02:i4",
    "matched event pivot source 02:i4",
    "cumulative normal form 02:i3",
    "regular normal form 02:i3",
    "matched event pivot source 02:i3",
    "cumulative normal form 20:i7",
    "regular normal form 20:i7",
    "matched event pivot source 20:i7",
    "cumulative normal form 20:i6",
    "regular normal form 20:i6",
    "matched event pivot source 20:i6",
    "cumulative normal form 20:i5",
    "regular normal form 20:i5",
    "matched event pivot source 20:i5",
    "cumulative normal form 20:i4",
    "regular normal form 20:i4",
    "matched event pivot source 20:i4",
    "cumulative normal form 20:i3",
    "regular normal form 20:i3",
    "matched event pivot source 20:i3",
    "cumulative normal form 22:i7",
    "regular normal form 22:i7",
    "cumulative normal form 22:i6",
    "regular normal form 22:i6",
    "cumulative normal form 22:i5",
    "regular normal form 22:i5",
    "matched event pivot source 22:i5",
    "cumulative normal form 22:i4",
    "regular normal form 22:i4",
    "matched event pivot source 22:i4",
    "cumulative normal form 22:i3",
    "regular normal form 22:i3",
    "matched event pivot source 22:i3",
    "cumulative six source agreements",
    "regular four source agreements",
    "joint two source agreements",
    "selector agrees with prior different role test",
    "companion alternative boundary 2",
    "alternative pivots unique meeting not current source 2",
    "companion alternative boundary 4",
    "alternative pivots unique meeting not current source 4",
    "same-offset component agreement ('cumulative', 2, Fraction(-1, 4))",
    "fixed pivots fail component equality ('cumulative', 2, Fraction(-1, 4))",
    "same-offset component agreement ('cumulative', 2, Fraction(1, 4))",
    "fixed pivots fail component equality ('cumulative', 2, Fraction(1, 4))",
    "same-offset component agreement ('cumulative', 3, Fraction(-1, 4))",
    "fixed pivots fail component equality ('cumulative', 3, Fraction(-1, 4))",
    "same-offset component agreement ('cumulative', 3, Fraction(1, 4))",
    "fixed pivots fail component equality ('cumulative', 3, Fraction(1, 4))",
    "same-offset component agreement ('cumulative', 4, Fraction(-1, 4))",
    "fixed pivots fail component equality ('cumulative', 4, Fraction(-1, 4))",
    "same-offset component agreement ('cumulative', 4, Fraction(1, 4))",
    "fixed pivots fail component equality ('cumulative', 4, Fraction(1, 4))",
    "same-offset component agreement ('cumulative', 5, Fraction(-1, 4))",
    "fixed pivots fail component equality ('cumulative', 5, Fraction(-1, 4))",
    "same-offset component agreement ('cumulative', 5, Fraction(1, 4))",
    "fixed pivots fail component equality ('cumulative', 5, Fraction(1, 4))",
    "same-offset component agreement ('regular', 3, Fraction(-1, 4))",
    "fixed pivots fail component equality ('regular', 3, Fraction(-1, 4))",
    "same-offset component agreement ('regular', 3, Fraction(1, 4))",
    "fixed pivots fail component equality ('regular', 3, Fraction(1, 4))",
    "same-offset component agreement ('regular', 5, Fraction(-1, 4))",
    "fixed pivots fail component equality ('regular', 5, Fraction(-1, 4))",
    "same-offset component agreement ('regular', 5, Fraction(1, 4))",
    "fixed pivots fail component equality ('regular', 5, Fraction(1, 4))",
    "phase inventory"
  ],
  "source_checks_passed": 17,
  "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 C319_DATA.json",
    "frozen C365_DATA.json",
    "frozen C368_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."
}