{
  "schema": "moaticle.site.corvel-study.v1",
  "recovery": {
    "source_sha256": "dbad967201d19dda924483f7197b91bfec6e7bd6d4ae38cc57be7c37926a483a",
    "scope": {
      "ko": "합성 RTL과 시험 키로 동일한 수신 권한과 복구를 비교한 로컬 시험입니다.",
      "en": "The local experiment compared equal recipient authorization and state recovery using synthetic RTL and test keys."
    },
    "rounds": [
      {
        "round": 1,
        "backend": "iverilog",
        "selected": "original",
        "valid": {
          "original": true,
          "clone": true
        },
        "recovery_method": null,
        "recovered_sequence": null,
        "recovered_state_sha256": null,
        "same_recovered_state": null,
        "complete_copy_state_sha256": null,
        "checks": {}
      },
      {
        "round": 2,
        "backend": "iverilog",
        "selected": "clone",
        "valid": {
          "original": true,
          "clone": true
        },
        "recovery_method": "final-proof",
        "recovered_sequence": 1,
        "recovered_state_sha256": "3df7af328e64740d55bd17eb465808f903e6d54457f7f0d1150abca2ef4ba66c",
        "same_recovered_state": null,
        "complete_copy_state_sha256": null,
        "checks": {
          "valid_but_unselected": "rejected"
        }
      },
      {
        "round": 3,
        "backend": "verilator",
        "selected": "original",
        "valid": {
          "original": true,
          "clone": true
        },
        "recovery_method": "snapshot",
        "recovered_sequence": 2,
        "recovered_state_sha256": "ed12d229510afec7cdb5845942470b5e567f2bb6db62c5ae5a5608a4051a3195",
        "same_recovered_state": null,
        "complete_copy_state_sha256": null,
        "checks": {
          "old_pending_replay": "rejected"
        }
      },
      {
        "round": 4,
        "backend": "iverilog",
        "selected": "clone",
        "valid": {
          "original": null,
          "clone": true
        },
        "recovery_method": "final-proof",
        "recovered_sequence": 3,
        "recovered_state_sha256": "3ad34fcd199ab7ac7d6453f4db195bb03e123584f4848a5e51cdfe960662c1b9",
        "same_recovered_state": true,
        "complete_copy_state_sha256": "3ad34fcd199ab7ac7d6453f4db195bb03e123584f4848a5e51cdfe960662c1b9",
        "checks": {
          "valid_but_unselected": "rejected",
          "missing_snapshot": "rejected",
          "stale_checkpoint": "rejected"
        }
      }
    ]
  },
  "incident": {
    "source_sha256": "1b3dc31fdb43c79c9c8e06f9356b6fbdbbd7141b3634d13f8f6a90bb4feeec1a",
    "scope": {
      "ko": "같은 Mac의 Icarus에서 합성 RTL 위반을 비교했습니다. 회귀는 이미 알려진 사례를 다시 실행한 결과입니다.",
      "en": "Both paths ran synthetic RTL violations in Icarus on the same Mac. Regression results come from replaying known cases."
    },
    "comparisons": [
      {
        "id": "exact-copy-final",
        "label": {
          "ko": "기존 방식의 완전 복제",
          "en": "Full copy of the existing method"
        },
        "mode": "full-copy",
        "misses": {
          "corvel": 2,
          "clone": 2,
          "total": 2
        },
        "validated_seconds": {
          "corvel": 12.328817500000001,
          "clone": 12.756679
        },
        "unrated": {
          "corvel": 0,
          "clone": 0
        },
        "measurement_sha256": "e46f7aacd901d93fd2f5a175001025f1bf00c6b8b7e484a9b61d493e89e1dc49"
      },
      {
        "id": "followup-redesign",
        "label": {
          "ko": "새 묶음 2 · 경계 조합 대 이전 방식",
          "en": "New set 2 · Edge coverage vs. prior method"
        },
        "mode": "new",
        "misses": {
          "corvel": 3,
          "clone": 4,
          "total": 7
        },
        "validated_seconds": {
          "corvel": 3.8918760000000003,
          "clone": 6.1859245000000005
        },
        "unrated": {
          "corvel": 0,
          "clone": 0
        },
        "measurement_sha256": "cbf886bffe2e98b47c723b998db46427d4b9f459adf33afde37b4d9eb391696f"
      },
      {
        "id": "followup-full-copy",
        "label": {
          "ko": "새 묶음 2 · 경계 조합의 완전 복제",
          "en": "New set 2 · Full copy of edge coverage"
        },
        "mode": "full-copy",
        "misses": {
          "corvel": 3,
          "clone": 3,
          "total": 7
        },
        "validated_seconds": {
          "corvel": 4.5700275,
          "clone": 4.438451
        },
        "unrated": {
          "corvel": 0,
          "clone": 0
        },
        "measurement_sha256": "7d7884ab2c72a5d4cb33b3d41964de4d16ab8eba6ebdf4544d6bfade28f9ab71"
      },
      {
        "id": "final-comparison",
        "label": {
          "ko": "새 묶음 3 · 재조립 대 경계 조합",
          "en": "New set 3 · Reassembly vs. edge coverage"
        },
        "mode": "new",
        "misses": {
          "corvel": 2,
          "clone": 2,
          "total": 8
        },
        "validated_seconds": {
          "corvel": 5.7863405000000006,
          "clone": 5.528452000000001
        },
        "unrated": {
          "corvel": 0,
          "clone": 0
        },
        "measurement_sha256": "666ee98f58658f7338334581de7229e6e4625902ee9774151c937c954eba2eee"
      },
      {
        "id": "final-full-copy",
        "label": {
          "ko": "새 묶음 3 · 재조립의 완전 복제",
          "en": "New set 3 · Full copy of the reassembly"
        },
        "mode": "full-copy",
        "misses": {
          "corvel": 2,
          "clone": 2,
          "total": 8
        },
        "validated_seconds": {
          "corvel": 6.994857,
          "clone": 6.9554
        },
        "unrated": {
          "corvel": 0,
          "clone": 0
        },
        "measurement_sha256": "05091a40af5f1b72d73bfa6d4cee91f1b9090621644413cd48bcb6df986dc490"
      },
      {
        "id": "retention-comparison-rerun",
        "label": {
          "ko": "새 묶음 4 · 한도 변경 뒤 직전 방식 대조",
          "en": "New set 4 · Prior method after the limit change"
        },
        "mode": "new",
        "misses": {
          "corvel": 4,
          "clone": 4,
          "total": 8
        },
        "validated_seconds": {
          "corvel": 3.817179,
          "clone": 3.5362349999999996
        },
        "unrated": {
          "corvel": 0,
          "clone": 0
        },
        "measurement_sha256": "d2ed70605dbf54e15ede67034525446ee247e17d6e92b186bae9a5f0321ffd46"
      },
      {
        "id": "retention-full-copy-rerun",
        "label": {
          "ko": "새 묶음 4 · 한도 변경 뒤 완전 복제",
          "en": "New set 4 · Full copy after the limit change"
        },
        "mode": "full-copy",
        "misses": {
          "corvel": 4,
          "clone": 4,
          "total": 8
        },
        "validated_seconds": {
          "corvel": 3.562742,
          "clone": 3.816403
        },
        "unrated": {
          "corvel": 0,
          "clone": 0
        },
        "measurement_sha256": "99c692200c8b77f68495cab0641b63cc365f50ec6f0191f3bb03939f79b73af6"
      },
      {
        "id": "interactions-regression",
        "label": {
          "ko": "묶음 4 · 알려진 위반 회귀",
          "en": "Set 4 · Regression on known violations"
        },
        "mode": "regression",
        "misses": {
          "corvel": 0,
          "clone": 4,
          "total": 8
        },
        "validated_seconds": {
          "corvel": 4.4863800000000005,
          "clone": 3.7455770000000004
        },
        "unrated": {
          "corvel": 0,
          "clone": 0
        },
        "measurement_sha256": "89b2caea8906ee8abc2070a5e00e558fd60d6aaf483e4c91fff9dad5ca0dee59"
      }
    ],
    "long_regression": {
      "corvel": {
        "missed": 0,
        "total": 3,
        "validated_seconds": 41.549906
      },
      "clone": {
        "missed": 3,
        "total": 3,
        "validated_seconds": 12.37875
      },
      "measurement_sha256": "89b2caea8906ee8abc2070a5e00e558fd60d6aaf483e4c91fff9dad5ca0dee59",
      "scope": {
        "ko": "네 번째 묶음 중 장주기 회귀 한 건",
        "en": "One long-cycle regression case in the fourth set"
      }
    },
    "next_plan": {
      "status": "ready_for_trial",
      "input_sha256": "70ee876bdc6a792373c88a1ee7e14f8abc0dd4682d20ddd77fe0cec026ddd729",
      "artifact": "이전 실패와 실행 규칙에 새 제보를 합쳐 후보 캡슐을 빌드하고 독립 채점한다.",
      "outcome_metric": "발견 시간, 두 번 재생하고 서명한 검수 규칙 완료 시간, 신규 위반 미검출, 정상 거부와 판정 불능",
      "kill_condition": "같은 자료와 권한의 완전 복제와 동률이거나 정상 거부·판정 불능이 증가하면 현재 구조의 우위 주장을 기각한다.",
      "followup_days": 30,
      "contradictions": [
        "complete-copy"
      ],
      "artifact_en": "Build a candidate capsule from the new report, earlier failures and executable rules, then score it on an independent path.",
      "outcome_metric_en": "Discovery time, rule completion time after two replays and signing, new violations missed, false rejections and inconclusive cases.",
      "kill_condition_en": "Reject an advantage claim if a full copy with the same materials and permissions ties, or if false rejections or inconclusive outcomes increase.",
      "source_sha256": "4b1c46675c5d7ac0e3cc2f1247bb85ce70f7a337899965bc1cfcd5691272f94d"
    },
    "qualified_capsule": {
      "rule_count": 19,
      "new_rules": 15,
      "cases_passed": 5,
      "cases_total": 5,
      "source_sha256": "3c57430e543d165f4fab2fc74728f842577969baa2aef75793240acfc1114147"
    }
  }
}