Module inspect 

verify (FR9) + report/show (FR4) — read-only inspection of the pure projection. verify arrives in Task 6; this file starts with report.

Functions

report

FR4: project the ledger for display. year filters realized sections in the renderer; holdings are always the current per-lot position.

verify

FR9: project the ledger → compute the sat-conservation report, partition blockers by severity, and summarize pending reconciliation + safe-harbor status. The binary maps has_hard_blockers() to a non-zero exit (a hard blocker gates downstream tax computation, §7.1).