EFA MVP Gate 1.0 — Refuse Pack (L2 Candidate)
Year: 2026
Type: preprint
Abstract: 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.
Author: Rupp, Charles
Language: English
Topic: Access Control and Trust
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7225826868
Cites:
Cited by:
Related to: