# task-2553+40 — TRACK C 보고: 기존 사례 policy_profile 인스턴스 + dry-run 검증

> Lv.3 · dev1-team 헤르메스 1회 · TTL 2.5h · **결과: TRACK_C_PASS** · HOLD 미적중 · 실 merge/write/thread resolve 0

## 1. 목표 달성

기존 task-2553 4개 사례를 C1 정본 schema 로 valid 한 policy_profile 인스턴스로
인스턴스화하고, C1 engine(`anu_v3/policy_profile_engine.py`, byte-0 read-only)
정본 API 로 dry-run 하여 **기존 실제 결과와 contract 레벨 일치**를 입증.

| 대상 | 신규 인스턴스 | 출처 사례 | engine status | gate(engine==profile==+35) | actual provenance |
|---|---|---|---|---|---|
| clean replacement PR merge | task-2553+40.clean_replacement_pr_merge.json | +12 | RESOLVED | 11==11==11 | HOLD_FOR_CHAIR |
| test-only hardening PR merge | task-2553+40.test_only_hardening_pr_merge.json | +26 | RESOLVED | 14==14==14 | COMPLETE_MERGED |
| review thread cleanup | task-2553+40.review_thread_cleanup.json | +11 | RESOLVED | 14==14==14 | RESOLVED_THREAD__MERGE_READY |
| post-merge smoke artifact closeout | task-2553+40.post_merge_smoke_artifact_closeout.json | +13 | RESOLVED | 9==9==9 | DONE |

4/4 contract 일치. mismatch 0.

## 2. 비교 의미론 (+36 settled, 변경 불가)

C1 engine 은 **PURE CONTRACT DERIVER** 다. status ∈ {RESOLVED, HOLD_FOR_CHAIR}
이며 역사적 runtime terminal status(HOLD_FOR_CHAIR/COMPLETE_MERGED/
RESOLVED_THREAD/DONE)를 재생하지 않는다. 따라서 "기존 실제 결과와 일치"는
**contract 레벨 충실성** 비교 — engine 이 산출한 gate 조건 집합 / HOLD trigger
집합 / allowed / forbidden / packet·evidence schema 가 그 사례를 실제 통치한
contract 와 일치하는지. `actual_terminal_status` 는 source event read-only
provenance 로 동반 기록(engine 재생 대상 아님). 4 대상 모두 RESOLVED 는
gate present + allowed∩forbidden 모순 0 의 **정상 pure-deriver 산출**이며
엔진 결함이 아니다.

## 3. 검증

- regression `tests/regression/test_policy_profile_instances_dryrun_2553plus40.py`
  — **10 passed**. 4 인스턴스 schema valid(engine generic meta-schema), canonical
  `parse_goal_request -> resolve_policy` dry-run, gate roundtrip, 권한 누수 0,
  legacy API(goal_type/boundary) fail-guard, 미존재 profile fail-closed,
  actual provenance 독립 재도출.
- 실 merge/write/thread resolve 0: `NoRealMergeStaticTest` 가 engine 모듈 AST
  스캔으로 network/merge/subprocess import 부재 정적 입증. 비교 invariants 전부 0.
- C1 engine byte-0: `2363e291…bc6be` 전후 동일. 기존 거버넌스 profile
  `test_only_hardening_pr_merge_v1.json` byte-0: `7e161d7d…2a13` 동일.
- 오염 검사: +35 regression 7 passed / 1 skipped(engine-present 정상 분기 —
  오염 아님). git HEAD `20456b5f…` · branch `task/task-2553p1-f1-clean-replacement`
  전후 동일, tracked mutation 0.

## 4. §9 false-positive 자동 수렴 (중간보고 0)

초기 comparator 의 baseline gate-count 도출이 +35 closeout 대상의 scalar gate
predicate `reconcile_pass`(8-key list 와 별개 표현, =8+1)를 list-only flatten 으로
누락 → closeout baseline 8 vs engine 9 의 false positive. **엔진 결함 아님**
(engine 은 충실 인코딩된 profile 에서 9를 정상 도출). comparator 의
`baseline_gate_names()` 를 list 항목 + 비-meta scalar bool gate predicate 합산으로
보정, engine/profile 무변경하여 §9 자동 수렴. §6 HOLD 미적중.

## 5. 산출물 (§4 allowlist 한정, 이 외 write 0)

policy_profiles/task-2553+40.{clean_replacement_pr_merge,test_only_hardening_pr_merge,
review_thread_cleanup,post_merge_smoke_artifact_closeout}.json ·
tests/regression/test_policy_profile_instances_dryrun_2553plus40.py ·
events/task-2553+40.{dry-run-comparison,decision,result}.json · 본 보고서.

## 6. 결론

TRACK_C_PASS. 4 사례 모두 신규 additive policy_profile 인스턴스로
인스턴스화되어 C1 engine 정본 API dry-run 에서 contract 레벨 충실 일치.
실 merge/GitHub write/thread resolve 0, engine·거버넌스 profile byte-0,
cross-track contamination 0, HOLD 미적중. consolidated 입력은 batch 통합 ANU
사후 (단독·중간 보고 0). 완료 직후 normal completion callback 발사(MANDATORY §8).