portreconcile

Overview ¶

Command portreconcile produces the honest gap ledger for the Pig port. It joins the compiler-derived upstream interface inventory to the human-ratified PORT_MAP dispositions and to the on-disk Go tree, classifying every top-level upstream declaration as audited-ported, implemented-unaudited (mapped Go code exists but the parity audit is not recorded), designed-out, partial/deferred, or a genuine gap (mapped Go target absent). Member declarations roll up to their parent's file, so the ledger measures missing behavior at file granularity rather than manufacturing one obligation per struct field.

The command exits non-zero when any declaration is a genuine gap, so CI can assert that the reconciled missing-file count stays zero.