{
  "fit": "Synthetic functional acceptance cases and simulated local continuity with pre-enrolled test keys.",
  "measuredDateKst": "2026-11-14",
  "project": "corvel.l8",
  "rounds": [
    {
      "backend": "iverilog",
      "capsuleSha256": "6fe7a5b49fd87dd80a9be478313c82762967799a94b39c1a0889a009e3b318ed",
      "cases": [
        {
          "class": "backpressured-reset-flush",
          "expected": "reject",
          "id": "l8_b4cc772f32eb85d1a7b20983",
          "observed": {
            "caught_up": "accept",
            "current_offline": "reject",
            "full_copy": "reject",
            "independent_spec": "reject",
            "public": "accept"
          },
          "sha256": "d10f4d2d3c8ddc5b9c7d63132a7e172b2db770d237508fea444df968d37583e4"
        },
        {
          "class": "asynchronous-reset-edge",
          "expected": "reject",
          "id": "l8_7e5b035ce1669cba940db2b6",
          "observed": {
            "caught_up": "reject",
            "current_offline": "reject",
            "full_copy": "reject",
            "independent_spec": "reject",
            "public": "accept"
          },
          "sha256": "bb2fefb56ce74731c8d5d732decf89be23c5cfd804af26296cc1793743bb9ebe"
        },
        {
          "class": "singleton-frame-end",
          "expected": "reject",
          "id": "l8_dc4c09478295e810c9a5845d",
          "observed": {
            "caught_up": "reject",
            "current_offline": "reject",
            "full_copy": "reject",
            "independent_spec": "reject",
            "public": "reject"
          },
          "sha256": "6c12935b9aab0e919487830963a92534e5756863c4b08b0db68e0a3ed13a1da3"
        },
        {
          "class": "output-clock-process",
          "expected": "accept",
          "id": "l8_8e8b8d4251265e5807c6170c",
          "observed": {
            "caught_up": "accept",
            "current_offline": "accept",
            "full_copy": "accept",
            "independent_spec": "accept",
            "public": "accept"
          },
          "sha256": "38ca95bffb973f04d270f9742b5137d9186d8b12fb8e3eef56031d04796589a2"
        },
        {
          "class": "memory-reset-process",
          "expected": "accept",
          "id": "l8_634bada8d67b6e00c33bb6ab",
          "observed": {
            "caught_up": "accept",
            "current_offline": "accept",
            "full_copy": "accept",
            "independent_spec": "accept",
            "public": "accept"
          },
          "sha256": "1f5a9fcc811dec85e806e7f5a1b0584f2561dfe869b51e455933eb2c1a789a45"
        }
      ],
      "conditions": {
        "icarusOnPath": true,
        "primaryTestKeyAvailable": true,
        "verilatorOnPath": false
      },
      "continuity": {
        "approved": true,
        "forwarded": true,
        "registeredElsewhere": true,
        "staleOrAlteredRejected": true,
        "unregistered": false
      },
      "functional": {
        "clone": 5,
        "reference": 5,
        "total": 5
      },
      "id": 1,
      "issuer": "primary",
      "logic": "4-state",
      "missedViolations": {
        "caught_up": 1,
        "current_offline": 0,
        "full_copy": 0,
        "independent_spec": 0,
        "public": 2
      },
      "undetermined": {
        "caught_up": 0,
        "current_offline": 0,
        "full_copy": 0,
        "independent_spec": 0,
        "public": 0
      }
    },
    {
      "backend": "iverilog",
      "capsuleSha256": "d56debf2e0177b995aeeaf1443afc7b48aa542cba23a131f21373e3ce24da574",
      "cases": [
        {
          "class": "local-write-during-stall",
          "expected": "reject",
          "id": "l8_821c592b2f5e48608102ac7e",
          "observed": {
            "caught_up": "accept",
            "current_offline": "reject",
            "full_copy": "reject",
            "independent_spec": "accept",
            "public": "accept"
          },
          "sha256": "7c6e103f8d0dceed243fb408ba93f8cf41ebaedc61d6f506907c9cdd0b43a3fc"
        },
        {
          "class": "independent-bank-write",
          "expected": "reject",
          "id": "l8_989391b9de05e416a23a1b33",
          "observed": {
            "caught_up": "reject",
            "current_offline": "reject",
            "full_copy": "reject",
            "independent_spec": "reject",
            "public": "reject"
          },
          "sha256": "0e73b014c7163ba2f481e8b1662cc42c7f6859840cba85124a47bbbfc23e4ebd"
        },
        {
          "class": "reversible-lane-layout",
          "expected": "accept",
          "id": "l8_aec86079edd32f37d8ce0a6c",
          "observed": {
            "caught_up": "accept",
            "current_offline": "accept",
            "full_copy": "accept",
            "independent_spec": "accept",
            "public": "accept"
          },
          "sha256": "95fcf9d11726c888f5261d04241954bbd47b67bae76de45c59e11f1018142f6c"
        },
        {
          "class": "same-address-read-old",
          "expected": "reject",
          "id": "l8_d45f8491ab473f393fdc8f57",
          "observed": {
            "caught_up": "accept",
            "current_offline": "reject",
            "full_copy": "reject",
            "independent_spec": "reject",
            "public": "accept"
          },
          "sha256": "3bc8d101089880e03d68e6ba2622aa1a32ba0d084aa674cdd2ad699e2a9a9e45"
        },
        {
          "class": "linear-addressed-storage",
          "expected": "accept",
          "id": "l8_b8527c6f09fe4c57d3ee8538",
          "observed": {
            "caught_up": "accept",
            "current_offline": "accept",
            "full_copy": "accept",
            "independent_spec": "accept",
            "public": "unavailable"
          },
          "sha256": "2dbc69602067c3e5c2a9a34ee35447e7487e73ed96a996896acde42694ddb7b2"
        }
      ],
      "conditions": {
        "icarusOnPath": true,
        "primaryTestKeyAvailable": false,
        "verilatorOnPath": false
      },
      "continuity": {
        "approved": true,
        "forwarded": true,
        "registeredElsewhere": true,
        "staleOrAlteredRejected": true,
        "unregistered": false
      },
      "functional": {
        "clone": 5,
        "reference": 5,
        "total": 5
      },
      "id": 2,
      "issuer": "standby",
      "logic": "4-state",
      "missedViolations": {
        "caught_up": 2,
        "current_offline": 0,
        "full_copy": 0,
        "independent_spec": 1,
        "public": 2
      },
      "undetermined": {
        "caught_up": 0,
        "current_offline": 0,
        "full_copy": 0,
        "independent_spec": 0,
        "public": 1
      }
    },
    {
      "backend": "verilator",
      "capsuleSha256": "d5ba028e8129af6c504f4e6fcae0e1b3e77c141439d53560bd39120b660f1d74",
      "cases": [
        {
          "class": "telemetry-clock-process",
          "expected": "accept",
          "id": "l8_5cab0fea6c85f029e09957a3",
          "observed": {
            "caught_up": "accept",
            "current_offline": "accept",
            "full_copy": "accept",
            "independent_spec": "accept",
            "public": "accept"
          },
          "sha256": "45de998202ed807a192fbf5e004993d4f4ae4b70270cd9d17c16b5a7649f52f9"
        },
        {
          "class": "split-counter-carry",
          "expected": "accept",
          "id": "l8_b0632cfa7896571e05594a86",
          "observed": {
            "caught_up": "accept",
            "current_offline": "accept",
            "full_copy": "accept",
            "independent_spec": "accept",
            "public": "accept"
          },
          "sha256": "2f7995a44c658603954a64d33a25fc307cf1acfbd0a0521e0974fabe2754e4a6"
        },
        {
          "class": "mac-commit-versus-transfer",
          "expected": "reject",
          "id": "l8_a61938854f605050fbd71760",
          "observed": {
            "caught_up": "reject",
            "current_offline": "reject",
            "full_copy": "reject",
            "independent_spec": "reject",
            "public": "accept"
          },
          "sha256": "188c79527591a71f1bb23b8ad1aa3f288c8e9c0c1617bfeff82fedd298c55796"
        },
        {
          "class": "stall-counter-period",
          "expected": "reject",
          "id": "l8_00326954d02c91977fb8e7e0",
          "observed": {
            "caught_up": "accept",
            "current_offline": "reject",
            "full_copy": "reject",
            "independent_spec": "reject",
            "public": "accept"
          },
          "sha256": "962ea3c8bfb359e136de71c5440d6fad409814c928d1fab058436ae6626f6254"
        },
        {
          "class": "bank-conflict-modulo",
          "expected": "reject",
          "id": "l8_63483ba75f569f24aa78daf4",
          "observed": {
            "caught_up": "accept",
            "current_offline": "reject",
            "full_copy": "reject",
            "independent_spec": "reject",
            "public": "accept"
          },
          "sha256": "223ec31018abc0525f2c604478130c8ba773436cb652a994e777e778950b9f2c"
        }
      ],
      "conditions": {
        "icarusOnPath": false,
        "primaryTestKeyAvailable": false,
        "verilatorOnPath": true
      },
      "continuity": {
        "approved": true,
        "forwarded": true,
        "registeredElsewhere": true,
        "staleOrAlteredRejected": true,
        "unregistered": false
      },
      "functional": {
        "clone": 5,
        "reference": 5,
        "total": 5
      },
      "id": 3,
      "issuer": "standby",
      "logic": "2-state",
      "missedViolations": {
        "caught_up": 2,
        "current_offline": 0,
        "full_copy": 0,
        "independent_spec": 0,
        "public": 3
      },
      "undetermined": {
        "caught_up": 0,
        "current_offline": 0,
        "full_copy": 0,
        "independent_spec": 0,
        "public": 0
      }
    }
  ],
  "schema": "moaticle.corvel-forge.replay.v1",
  "sourcePins": {
    "evidence/cases/candidates.json": "4dffbe452f964cc8f8bbddfe88f93b778e9294569c6c6cc8d856cc4a5b5dba1d",
    "evidence/cases/seal.json": "eb79dda66f9a86208b6dfc700e178c2962f1a150baf61111a9a53a25caf45f95",
    "evidence/cases/truth.json": "93d0d63cb35a9b5372696b92478944c4ac19b37ba8d67a337a1714597f3b2ad8",
    "evidence/continuity-measurement.json": "523df8e73906d24c588a5550062aa37c1eb0eefda9cf2f841316ee017142872f",
    "evidence/measurement.json": "41eeabd6349b0a16d76c69202b865e6c86bb4fcb8136c1957d6483be664544eb",
    "evidence/package-versions.json": "cf574677d798a1b4665ff6e39982f66376faa0f2fc8cc5e32f7033f2715e59f5"
  },
  "totals": {
    "continuity": {
      "approved": 3,
      "forwarded": 3,
      "total": 3,
      "unregistered": 0
    },
    "functional": {
      "clone": 15,
      "reference": 15,
      "total": 15
    }
  }
}