Model
Specification, inputs, and execution model
Execute 3 traces spanning ordinary, boundary, invalid, and adversarial inputs. Record state, output, and the first violated condition.
- Specification
- Define the expected Made World state transition before executing the trace.
- Test suite
- ordinary input, boundary input, invalid input, adversarial input
- Failure signal
- A state transition, output, or side effect diverges from the written specification.
- Tradeoff
- Compare correctness, trace cost, reliability, and consequences for users or data.
Evidence
Trace and failure analysis
Commit a falsifiable model and run the repeated trials to generate the dataset.