C80 RESULTS.json

{
  "check_count": 10,
  "checks": [
    {
      "actual": [
        2456,
        2456
      ],
      "check": "N02 two different routes meet at the same lower Flood",
      "expected": [
        2456,
        2456
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "9823/4",
          "9825/4"
        ],
        [
          "9823/4",
          "9825/4"
        ]
      ],
      "check": "N02 same equality in both phase components",
      "expected": [
        [
          "9823/4",
          "9825/4"
        ],
        [
          "9823/4",
          "9825/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": "1225/6877",
      "check": "N02 equality is pointwise rather than equality of maps",
      "expected": "1225/6877",
      "passed": true
    },
    {
      "actual": [
        2458,
        2458
      ],
      "check": "N04 two different routes meet at the same lower Flood",
      "expected": [
        2458,
        2458
      ],
      "passed": true
    },
    {
      "actual": [
        [
          "9831/4",
          "9833/4"
        ],
        [
          "9831/4",
          "9833/4"
        ]
      ],
      "check": "N04 same equality in both phase components",
      "expected": [
        [
          "9831/4",
          "9833/4"
        ],
        [
          "9831/4",
          "9833/4"
        ]
      ],
      "passed": true
    },
    {
      "actual": "1225/6877",
      "check": "N04 equality is pointwise rather than equality of maps",
      "expected": "1225/6877",
      "passed": true
    },
    {
      "actual": [
        253,
        1,
        -300
      ],
      "check": "normalized closure coefficients",
      "expected": [
        253,
        1,
        -300
      ],
      "passed": true
    },
    {
      "actual": [
        253,
        1,
        -300
      ],
      "check": "factorized coefficient identity",
      "expected": [
        253,
        1,
        -300
      ],
      "passed": true
    },
    {
      "actual": [
        0,
        0
      ],
      "check": "the two exact roots",
      "expected": [
        0,
        0
      ],
      "passed": true
    },
    {
      "actual": true,
      "check": "only retained root is order-preserving",
      "expected": true,
      "passed": true
    }
  ],
  "input_verification": [
    {
      "file": "File_18.md",
      "sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5"
    },
    {
      "file": "File_09.md",
      "sha256": "45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e"
    },
    {
      "file": "C15_GRAPH.json",
      "sha256": "dc86bd891d48189fdfaec6531d24bf9b97ee25359f368019a220fed754d08916"
    },
    {
      "file": "C16_DOMAIN.json",
      "sha256": "415afb6b427e1bf3e5ed2420952c24540d716d7371b99509fb085d88fc8b844a"
    },
    {
      "file": "C22_GRAMMAR.json",
      "sha256": "e045f7613bf168813526daaf2e20014f6ebbad2bc57a87ffe2a0e85d18d26469"
    },
    {
      "file": "C43_CERTIFICATE.json",
      "sha256": "e1205aa777befd7f2608e34161c1686b309ffaf6f9496b8a967fd2d5e6a26794"
    },
    {
      "file": "File_61.md",
      "sha256": "d580afd48d6e12d6a798c4c9fa2824aab54252c6235300645af985c0d52cea09"
    },
    {
      "file": "File_62.md",
      "sha256": "be42daca1d82dac987c6c1e3f083a3bf267d023b9cfffee86565539cff4ed15d"
    },
    {
      "file": "C65_CERTIFICATE.json",
      "sha256": "7a87b13433acf7a6ed7270ef4552a8d8dcdd73e9ccd8c5b3bff1632504e33e8e"
    },
    {
      "file": "C72_CERTIFICATE.json",
      "sha256": "c69a687747948521b1cd189082968f81ab2102b2707be1a9b0cd517708d3aa48"
    },
    {
      "file": "C72_REPORT.md",
      "sha256": "d6a6b82326acedbd8bfa4390c61fe0ece704fb08ee9390ffeae2100605a8acb8"
    },
    {
      "file": "C72_CHECKPOINT.md",
      "sha256": "f9e2277135a168a477e86ee5fe76c70ce30f64a69bbb6a1d84e97155ba37e431"
    },
    {
      "file": "C01_REPORT.md",
      "sha256": "7bbf912ef6729b12691b259f11d77d79b6c9584a072565cb943c1660af0460b4"
    },
    {
      "file": "C05_REPORT.md",
      "sha256": "f83cf905bb3ffaf57913f28cc100c638c91350e2cb2f055517cec3d75d45c2bf"
    },
    {
      "file": "C09_REPORT.md",
      "sha256": "458dcbf89e697267bb796b821855057a2431e94a7fc0f84e8a335c637eb88013"
    }
  ],
  "next_step": "Separate this ratio closure from source calibration of the 529 scale and the two-year Gear interval.",
  "passed": true,
  "report": "C80"
}