Evidence

main v1 obligation audit.json

Download source fileOpen in research workspace
{
  "rows": [
    {
      "obligation": "O1",
      "locations": [
        "Local changes become",
        "Peleg"
      ],
      "present": true
    },
    {
      "obligation": "O2",
      "locations": [
        "SP births constrain",
        "488"
      ],
      "present": true
    },
    {
      "obligation": "O3",
      "locations": [
        "two generators",
        "calibration"
      ],
      "present": true
    },
    {
      "obligation": "O4",
      "locations": [
        "Rounded rows form",
        "2580"
      ],
      "present": true
    },
    {
      "obligation": "O5",
      "locations": [
        "Original duration words",
        "Arphaxad"
      ],
      "present": true
    },
    {
      "obligation": "O6",
      "locations": [
        "equal-gain",
        "13w=12u"
      ],
      "present": true
    },
    {
      "obligation": "O7",
      "locations": [
        "by construction",
        "147 relation"
      ],
      "present": true
    },
    {
      "obligation": "O8",
      "locations": [
        "Counts extend",
        "NT slots"
      ],
      "present": true
    },
    {
      "obligation": "O9",
      "locations": [
        "What the common explanation achieves",
        "next discriminating"
      ],
      "present": true
    }
  ],
  "assessment": "All nine substantive questions have named sections; independent reader review will test clarity and warranted claims."
}
Edition and provenance

main_v1_obligation_audit.json

SHA-256 19c7b23f2050970f89a929656c7d86a12f803574f44ddf4c07f747983daada9b

C480–C1634/Research_Cycles/C1132_C1431_Recovered/model/main_v1_obligation_audit.json