L4 Glitch / Research Quarantine Stack — Core Specification v0.1

Key Points

• To provide a normative framework for handling runtime collisions and research quarantine protocols.
• Defines core specifications of the L4 glitch/research quarantine stack.
• Establishes rules for handling runtime collisions.
• Outlines mechanisms for challengeability and lawful state transitions.
• Clarifies the management of runtime collisions in research settings.
• Promotes accountability through witness discipline in research practices.
• Encourages explicit state transitions instead of ambiguous continuations.