Evidence

ADOPTION VERIFY.json

Download source fileOpen in research workspace
{
  "status": "All supplied fragments executed without root begin/finish or journal writes",
  "question_records": 28,
  "fragments_checked": 21,
  "assertions_passed": 44,
  "details": [
    {
      "id": "KQ02",
      "checks": {
        "E": true,
        "P": true,
        "calibration": true
      }
    },
    {
      "id": "KQ03",
      "checks": {
        "E": true,
        "J": true,
        "calibration": true
      }
    },
    {
      "id": "KQ04",
      "checks": {
        "column_dependency": true,
        "constant_dependency": true
      }
    },
    {
      "id": "KQ06",
      "checks": {
        "predicted_fraction": true
      }
    },
    {
      "id": "KQ07",
      "checks": {
        "changed_factor": true,
        "nonzero_difference": true
      }
    },
    {
      "id": "KQ08",
      "checks": {
        "fraction_composition": true,
        "factor_composition": true
      }
    },
    {
      "id": "KQ09",
      "checks": {
        "different_operations": true,
        "nested": true,
        "sequential": true
      }
    },
    {
      "id": "KQ11",
      "checks": {
        "kernel": true,
        "nonzero": true
      }
    },
    {
      "id": "KQ12",
      "checks": {
        "all_four": true,
        "zero_total_defects": true
      }
    },
    {
      "id": "KQ14",
      "checks": {
        "fixed_total": true,
        "not_universal": true
      }
    },
    {
      "id": "KQ15",
      "checks": {
        "left_kernel": true,
        "rank_two_minor": true
      }
    },
    {
      "id": "KQ16",
      "checks": {
        "full_reconstruction": true
      }
    },
    {
      "id": "KQ17",
      "checks": {
        "complete_field_dependency": true
      }
    },
    {
      "id": "KQ18",
      "checks": {
        "geometric": true,
        "second_difference": true
      }
    },
    {
      "id": "KQ20",
      "checks": {
        "complete": true,
        "matching_domains": true,
        "only_JP_empty": true
      }
    },
    {
      "id": "KQ21",
      "checks": {
        "C480_field": true,
        "fixed_field_fails": true,
        "cosets": true
      }
    },
    {
      "id": "KQ22",
      "checks": {
        "source_reconstruction": true,
        "image_reconstruction": true,
        "full_anchored_map": true
      }
    },
    {
      "id": "KQ23",
      "checks": {
        "all_nine_covariant": true
      }
    },
    {
      "id": "KQ25",
      "checks": {
        "complete_nine": true,
        "pointwise_volume": true,
        "total": true
      }
    },
    {
      "id": "KQ26",
      "checks": {
        "same_naked_total": true,
        "different_measure": true
      }
    },
    {
      "id": "KQ27",
      "checks": {
        "remeasurement": true
      }
    }
  ],
  "reader_words": 454
}
Edition and provenance

ADOPTION_VERIFY.json

SHA-256 41ccfa0d90d2a27c3800203f648ab217ea23e603801227ecf800579220a5bd06

C480–C1634/Research_Cycles/C0932_C1131/prep/key_constraints/ADOPTION_VERIFY.json