portable verifier check.json

{
  "status": "PASS",
  "scope": "Relocation plus three deliberate mutations of temporary copies only. Original source, journal and models unchanged.",
  "checks": [
    {
      "label": "relocated complete prefix with unrelated cwd",
      "expected_pass": true,
      "exit_code": 0,
      "status": "PASS",
      "passed": true,
      "actions": 80,
      "failed_labels": []
    },
    {
      "label": "require100 rejects the still-incomplete prefix",
      "expected_pass": false,
      "exit_code": 1,
      "status": "FAIL",
      "passed": true,
      "actions": 80,
      "failed_labels": [
        "one hundred completed actions",
        "C1582 final step",
        "C1582 Strategy review recorded"
      ]
    },
    {
      "label": "detect changed arithmetic model",
      "expected_pass": false,
      "exit_code": 1,
      "status": "FAIL",
      "passed": true,
      "actions": 80,
      "failed_labels": [
        "model/partitions_MT"
      ]
    },
    {
      "label": "detect changed journal record",
      "expected_pass": false,
      "exit_code": 1,
      "status": "FAIL",
      "passed": true,
      "actions": 80,
      "failed_labels": [
        "C1488 canonical record hash"
      ]
    },
    {
      "label": "detect changed source bytes",
      "expected_pass": false,
      "exit_code": 1,
      "status": "FAIL",
      "passed": true,
      "actions": 80,
      "failed_labels": [
        "source bound bytes and SHA: File18.md",
        "Babylonian verifier exits successfully",
        "Babylonian arithmetic status",
        "Babylonian/bound source bytes and SHA: File18.md"
      ]
    },
    {
      "label": "restored portable packet passes again",
      "expected_pass": true,
      "exit_code": 0,
      "status": "PASS",
      "passed": true,
      "actions": 80,
      "failed_labels": []
    }
  ]
}