dot-iu-cutter v0.5 — First Snapshot MARK Dry-run Output Review · Coverage & Scope Review

basis: existing coverage_proof.json + review_evaluation.json + manifest summary excluded index + verification-result (V-6..V-15)

4. Scope correctness review

4.1 enacted_only purity

scope_policy (manifest_header): enacted_only
verification V-6: 60/60 candidates effective_status=enacted; zero candidates sourced from 📋/📝/⛔
result: PASS — no non-enacted unit leaked into candidates[]

4.2 Exclusions (4 — every non-enacted row itemised, none silently dropped)

Title	effective_status	reason	status_basis	span
Luật Schema Đối tượng Chuẩn (UOSL) v0.1.2 — Điều 44	controlled_draft	controlled_draft_deferred	tier_2_explicit_row_marker	L269-271
Luật Workflow — Điều 34 group	draft	draft_excluded_by_enacted_only	tier_1_group_header	L276-278
Luật Luồng DL v1.1 (data-connection-law.md)	obsolete	obsolete_excluded	tier_1_group_header	L282-283
Hiến pháp v3.9	obsolete	obsolete_excluded	tier_1_group_header	L284-285

controlled_draft_excluded: Điều 44 — PASS (dieu_44_excluded=true; verification V-7 exact match)
draft_excluded:            Điều 34 Workflow — PASS
obsolete_excluded:         2 rows (data-connection-law v1.1, Hiến pháp v3.9) — PASS
exclusion_reasons_recorded: PASS — all 4 carry reason + status_basis + span (verification V-8: none silently dropped)
excluded_count:            4 (controlled_draft=1, draft=1, obsolete=2) — reconciles with manifest_header

Điều 44 specifically: excluded via tier_2_explicit_row_marker, reason controlled_draft_deferred. review_evaluation.dieu_44_excluded == true. This is the correct and intended behaviour for the controlled-draft UOSL law — it must remain excluded through CUT.

5. Coverage / reconstruction review

coverage_proof.json:
  region_length:    17522
  lines_total:      308
  candidate_lines:  229
  excluded_lines:   10
  noncontent_lines: 69
  reconstruction_ok: true

Independent arithmetic check (this review):

candidate_lines + excluded_lines + noncontent_lines = 229 + 10 + 69 = 308 = lines_total  ✅ EXACT

Line partition closes with zero gap and zero overlap — every region line is attributed to exactly one of {candidate, excluded, noncontent}.

coverage_closed (review_evaluation): true        → PASS (verification V-9)
no_overlap (review_evaluation):      true        → PASS (verification V-10)
no_uncovered_enacted_body_text:      reconstruction_ok=true ⇒ enacted⊕excluded⊕noncontent == full region → PASS (V-15)
reconstruction_property:             true        → PASS (V-9, V-15)
excluded_spans_documented:           4 spans (L269-271, L276-278, L282-283, L284-285) → PASS (V-8)
region_length_consistency:           manifest_header.snapshot_region_length 17522 == coverage_proof.region_length 17522 == fixture region length → PASS (V-1)

Coverage & scope verdict

enacted_only_purity:        PASS
dieu_44_controlled_draft:   EXCLUDED (correct) — must stay excluded at CUT
draft / obsolete:           EXCLUDED (correct)
exclusion_reasons:          fully itemised, none silently dropped
coverage_closed:            PASS
no_overlap:                 PASS
reconstruction:             PASS (229+10+69=308 exact)
defects_found:              NONE
scope_carry_forward:        Điều 44 must remain excluded through the CUT row-set; CUT command-review must not silently re-include controlled_draft/draft/obsolete rows