I study acceptance planning and observable contract behavior through the decisions, constraints and evidence that shape delivery. Specify invariants, permissions, state transitions, external inputs, pause conditions, upgrade paths, and recovery procedures.
