EFA MVP Gate 1.0 — Refuse Pack (L2 Candidate)

Aligned to Claim Matrix v0.6 (concept DOI 10.5281/zenodo.23107937; version record 23934733)3 November 2026 The fixtures and runner are public; they implement the classes in §6 of the Claim Matrix; a third party can execute them without private context; this is an L2 candidate. This is the minimum publicly runnable test suite required for an L2 claim. It is not an L3 or L4 claim. Fixtures are bounded. Expected results are deterministic under the declared conditions. An independent party must be able to execute the suite without private context. Canonical outcomes under testALLOW · PAUSE · ESCALATE · BLOCKTerminal execution results: BIND · NO BINDNon-Formation is operationally BLOCK.PAUSE is human-mandatory. No transition fires on elapsed time.Fail-closed: UNKNOWN or CONFLICTING → ESCALATE; empty material-condition set → BLOCK; never ALLOW.