probe_reference_closure's hard-reference measurement is blind on R13/R14: those records expose no locatable handle stream (292 records per file report "no boundary"), so the closure argument that settles "declared but unwalked = over-declaration" on R2004+ cannot be run on that band. Deriving the R13/R14 handle-area boundary (the spec's common-entity-data layout puts handles after the object data, but nothing self-delimits) would extend the closure proof to all seven versions.
Follow-up from PR #80.
probe_reference_closure's hard-reference measurement is blind on R13/R14: those records expose no locatable handle stream (292 records per file report "no boundary"), so the closure argument that settles "declared but unwalked = over-declaration" on R2004+ cannot be run on that band. Deriving the R13/R14 handle-area boundary (the spec's common-entity-data layout puts handles after the object data, but nothing self-delimits) would extend the closure proof to all seven versions.
Follow-up from PR #80.