feat(stack): 검증 범위를 기본 포함으로 뒤집는다 (대장님 94a)

[bhyi4]

stack.json 은 원장 4개를 이름으로 적고 있었고, 같은 디렉토리의 78개가 그 옆에서 검증 밖이었다.

★ 원인은 판단이 아니었다 — am_ledger·pm_ledger 가 문자열 한 칸이라 들어갈 자리가 없었다. 아무도 "빼자" 고 고르지 않았으니 뒤집을 사람도 없었고, 그래서 그 범위가 12일(08-06~) 동안 안 움직였다.

무엇이 바뀌나

ledger_dir 아래 *.jsonl 은 전부 범위다. 빼려면 적어야 한다.

"excluded": {
  "proxy_prescreen.jsonl": {
    "reason":        "해시체인 원장이 아님 — 43줄 전부 seal·prev_seal 키 없음",
    "decided_by":    "[거울]",  "decided_at": "2026-08-19",
    "evidence":      "…",
    "recheck_if":    "seal 필드가 한 줄이라도 생기면 재검토",
    "recheck_probe": {"kind": "any_line_has_key", "key": "seal"}   // ← 기계가 본다
  }
}

네 칸 중 하나라도 빠지면	그 제외는 존중 안 하고 FAIL — 서명 없는 제외가 애초에 이 사달을 냈다
recheck_probe	되돌릴 조건을 기계가 본다. 제외가 제 사유보다 오래 살면 FAIL
am_ledger·pm_ledger	리스트도 받는다 (한 칸짜리 슬롯이 원인이었으므로)
판정줄	분모를 같이 낸다 — scope: N ledger(s) · D declared · A auto-included · E excluded

실측 (우리 원장)

before: === verdict: ALL OK (17/17) ===     ← 선언 4개만
after : --- scope: 82 ledger(s) · 4 declared · 76 auto-included · 2 excluded ---
        === verdict: ALL OK (93/93) ===

자동편입 76개 전부 linkage 정상 — 숨어 있던 파손은 없었다.

⚠️ 제외 2건(proxy_prescreen 43줄 · proxy_axes 11줄)은 seal·prev_seal 키가 한 줄도 없는 비체인 로그다. 전달받은 목록은 "체인 없는 원장 1개" 였는데 전수 census 로 세니 2개였다(그 앞 전달은 4개). 한 줄짜리 정상 체인 원장 11개는 제외가 아니라 편입 대상이다 — 그 셋을 면제하면 정상 원장이 영구 면제된다.

기각조건을 실제로 발동시켰다

초록만 보고 내는 게 이 레포가 잡으려는 병이라, 가드가 울리는 것을 먼저 봤다(시험으로 못 박음):

조작	결과
제외한 원장에 seal 이 생기면	❌ exclusion is stale: a line now has 'seal' · exit 1
decided_by 빠진 제외	❌ the exclusion is incomplete — missing ['decided_by'] · exit 1
아무도 안 적은 원장	✅ 자동 편입돼 linkage 검사를 받는다

범위 밖

이건 수리 둘 중 첫째다. MCP stack_verify_all 은 stack.json 을 아예 안 읽어서 여기를 고쳐도 그 경로엔 아무 일도 안 일어난다 — 그건 mirror-stack-mcp#36 으로 따로 냈다.

⚠️ 로컬에서 전체 스위트가 끝까지 안 돌아 CI 판정을 기다린다. 신규 시험 6건 + test_vacuous_pass 3건은 로컬 통과(9 passed).

[bhyi4]

대장님 승인 머지 — B(중대 변경·feat). #57 폭로 78/82 미검증 구조 근본 수리: 검증 범위 기본 포함(제외는 reason/decided_by/decided_at/recheck_if 서명 강제·미서명 거부·stale FAIL)·am/pm 리스트·am CLI 부재 degrade·verdict scope 분모. 버전 0.38.1→0.39.0·신규테스트 7·CI 4/4·이상 0.