RESULTS.json

{
  "step": "C283",
  "status": "passed",
  "assertions_passed": 98,
  "checks": [
    "formula j2 states000",
    "23 divisibility j2 states000",
    "formula j2 states001",
    "23 divisibility j2 states001",
    "formula j2 states010",
    "23 divisibility j2 states010",
    "formula j2 states011",
    "23 divisibility j2 states011",
    "formula j2 states100",
    "23 divisibility j2 states100",
    "formula j2 states101",
    "23 divisibility j2 states101",
    "formula j2 states110",
    "23 divisibility j2 states110",
    "formula j2 states111",
    "23 divisibility j2 states111",
    "formula j3 states000",
    "23 divisibility j3 states000",
    "formula j3 states001",
    "23 divisibility j3 states001",
    "formula j3 states010",
    "23 divisibility j3 states010",
    "formula j3 states011",
    "23 divisibility j3 states011",
    "formula j3 states100",
    "23 divisibility j3 states100",
    "formula j3 states101",
    "23 divisibility j3 states101",
    "formula j3 states110",
    "23 divisibility j3 states110",
    "formula j3 states111",
    "23 divisibility j3 states111",
    "formula j4 states000",
    "23 divisibility j4 states000",
    "formula j4 states001",
    "23 divisibility j4 states001",
    "formula j4 states010",
    "23 divisibility j4 states010",
    "formula j4 states011",
    "23 divisibility j4 states011",
    "formula j4 states100",
    "23 divisibility j4 states100",
    "formula j4 states101",
    "23 divisibility j4 states101",
    "formula j4 states110",
    "23 divisibility j4 states110",
    "formula j4 states111",
    "23 divisibility j4 states111",
    "formula j5 states000",
    "23 divisibility j5 states000",
    "formula j5 states001",
    "23 divisibility j5 states001",
    "formula j5 states010",
    "23 divisibility j5 states010",
    "formula j5 states011",
    "23 divisibility j5 states011",
    "formula j5 states100",
    "23 divisibility j5 states100",
    "formula j5 states101",
    "23 divisibility j5 states101",
    "formula j5 states110",
    "23 divisibility j5 states110",
    "formula j5 states111",
    "23 divisibility j5 states111",
    "formula j6 states000",
    "23 divisibility j6 states000",
    "formula j6 states001",
    "23 divisibility j6 states001",
    "formula j6 states010",
    "23 divisibility j6 states010",
    "formula j6 states011",
    "23 divisibility j6 states011",
    "formula j6 states100",
    "23 divisibility j6 states100",
    "formula j6 states101",
    "23 divisibility j6 states101",
    "formula j6 states110",
    "23 divisibility j6 states110",
    "formula j6 states111",
    "23 divisibility j6 states111",
    "formula j7 states000",
    "23 divisibility j7 states000",
    "formula j7 states001",
    "23 divisibility j7 states001",
    "formula j7 states010",
    "23 divisibility j7 states010",
    "formula j7 states011",
    "23 divisibility j7 states011",
    "formula j7 states100",
    "23 divisibility j7 states100",
    "formula j7 states101",
    "23 divisibility j7 states101",
    "formula j7 states110",
    "23 divisibility j7 states110",
    "formula j7 states111",
    "23 divisibility j7 states111",
    "unique allK profile",
    "four17K patterns"
  ],
  "source_checks_passed": 8,
  "source_checks": [
    "frozen input PREVIOUS_CERTIFICATE.json",
    "frozen input PREVIOUS_RESULTS.json",
    "frozen input PREVIOUS_CHECKPOINT.md",
    "frozen input C279_DATA.json",
    "frozen input C280_DATA.json",
    "frozen input C282_DATA.json",
    "predecessor binding PREVIOUS_RESULTS.json",
    "predecessor binding PREVIOUS_CHECKPOINT.md"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}