{
 "report": "crack-conformal-guarantee.html",
 "generated": "2026-07-13",
 "code_sha": "e3b393bfb592bc9dd82b1efe407fd95d867b9548",
 "claims": [
  {
   "metric": "Özgenel α=0.10 보장 운영점의 test FNR(독립 원본 208장, 전 시드 성립)",
   "value": 0.0431,
   "ci": [
    0.0361,
    0.052
   ],
   "seeds": [
    0.052,
    0.0412,
    0.0361
   ],
   "n_seed": 3,
   "std": 0.0067,
   "uncertainty_kind": "model_seed_range"
  },
  {
   "metric": "Özgenel α=0.05 test FNR(성립 시드 2/3만 — s0 불가 판정)",
   "value": 0.0325,
   "ci": [
    0.0308,
    0.0341
   ],
   "seeds": [
    0.0308,
    0.0341
   ],
   "n_seed": 2,
   "std": 0.0017,
   "uncertainty_kind": "model_seed_range"
  },
  {
   "metric": "BCL α=0.20 test FNR(성립 시드 2/3 — s2 불가 판정, 패치풀 보장)",
   "value": 0.1197,
   "ci": [
    0.0954,
    0.1439
   ],
   "seeds": [
    0.1439,
    0.0954
   ],
   "n_seed": 2,
   "std": 0.0243,
   "uncertainty_kind": "model_seed_range"
  },
  {
   "metric": "BCL 보장 운영점의 무크랙 FP 이미지율(게이트 전, 실측 공개 — 보장 아님)",
   "value": 0.566,
   "ci": [
    0.5553,
    0.5767
   ],
   "seeds": [
    0.5767,
    0.5553
   ],
   "n_seed": 2,
   "std": 0.0107,
   "uncertainty_kind": "model_seed_range"
  }
 ],
 "data": [
  {
   "name": "Özgenel(독립 원본 458, scale0.25, 3-way: 스케일선택100 제외→cal150/test208)",
   "sha256": "efb574fa95c30d5881e5ff4750a6fda9e586a132fb9e3db3b848cfad0c1ac464",
   "license": "CC BY 4.0(file-level 확정)",
   "files": 916,
   "provenance": "real_heldout"
  },
  {
   "name": "BCL 비철(패치 풀 5769: cal2000/test3769 — 같은 원본사진 유래 패치 공유 명기)",
   "sha256": "edc1146e9f1484eb1ffec90006d269aec34219aacd9bd4d1a5348fbdf11dbb4a",
   "license": "CC0 1.0(file-level 확정)",
   "files": 11538,
   "provenance": "real_heldout"
  },
  {
   "name": "BCL noise(무크랙 FP 비용, 1500 서브샘플)",
   "sha256": "e73fe5f7cb0d9aa5e6e55dcdf8ee4a0d14de9e470e6661283e03b077c7773869",
   "license": "CC0 1.0",
   "files": 6390,
   "provenance": "real_heldout"
  }
 ],
 "split": {
  "type": "OOD",
  "proof": "모델은 korea075(한국 드론인프라)만 학습 — 두 셋 모두 학습·모델선택 미사용 zero-shot. CRC cal/test는 파일명 md5 결정론(콘텐츠 독립). Özgenel=독립 원본(스케일선택 100장 제외 3-way). BCL=패치 풀(photo-level 공유 → 풀 내 보장, 신규현장 이전 아님 — split_unit로 결과 JSON에 강제 명기).",
  "leakage_check": "학습-시험 교집합 0. Özgenel 선행실험(스케일선택) 사용분 제외. BCL 패치누수는 은폐 아닌 스코프 명기."
 },
 "seeds": [
  0,
  1,
  2
 ],
 "seed_independence": "시드별 (모델,캘리) 쌍 독립 CRC — 보장 가능 α가 시드마다 다름(그 자체가 발견). t̂ 평균·차용 금지 명기.",
 "ci_method": "ci=시드별 test FNR의 min-max. CRC 보장은 기대값(marginal) — 단일분할 test FNR≤α는 sanity(전 셀 통과).",
 "labels": {
  "verified_n": 9,
  "verifier": "Claude 육안검증(외부셋 마스크 오버레이=실크랙 정합, crack-external-ood와 동일 데이터) + CRC 구현 3렌즈 적대검증·MC 20k 재현. 인간 스팟체크 권장.",
  "auto_label_flagged": false,
  "note": "GT=원저자 픽셀마스크. 스코어=배포규칙 동치(이진화→20px blob필터→4px 유클리드 허용, grid 하강스윕)."
 },
 "model": "korea075 학습 U-Net eff-b4 3시드(외부 OOD와 동일 체크포인트) · CRC grid 0.02~0.96",
 "caveats": [
  "보장=기대값·교환가능 추출 한정. 촬영조건 변경 시 재캘리 필수(현장별 캘리가 제품 절차).",
  "BCL=패치 풀 보장(신규현장 이전 입증 아님). FP는 보장 아닌 실측 공개(게이트 85% 기각은 별도 실측).",
  "점수 포화로 t̂ grid 상단 포화 — 지배 요인은 검출기 고유 놓침 바닥(개선=모델·데이터, 임계 아님).",
  "α=0.05 보장에 최소 크랙포함 라벨 이미지 19장(실용 수백 장) — 현장 캘리 표본 요건."
 ]
}