A contract that has no runtime table of facts to walk at all.
This is a STRONGER absence than a gap and is reported rather than skipped: silently omitting
such a contract would make the census read "two contracts, mostly fine" while a third was the
largest hole of the three. The list below is EMPTY, and that is a result rather than a
default — StageboxContract was its one member, and it was retired 2026-08-23 rather than
made walkable (an internal spec). Adding a contract to
CONTRACT_NAMES that has no walkable table puts it here, and
contract-census.test.ts proves the mechanism over a fixture so an empty list cannot read as
a broken one.
A contract that has no runtime table of facts to walk at all.
This is a STRONGER absence than a gap and is reported rather than skipped: silently omitting such a contract would make the census read "two contracts, mostly fine" while a third was the largest hole of the three. The list below is EMPTY, and that is a result rather than a default —
StageboxContractwas its one member, and it was retired 2026-08-23 rather than made walkable (an internal spec). Adding a contract to CONTRACT_NAMES that has no walkable table puts it here, andcontract-census.test.tsproves the mechanism over a fixture so an empty list cannot read as a broken one.