Terms
Bounded
Restricted to an explicit structural or capability vocabulary rather than open-ended arbitrary behavior.
Technical records
Saved test outputs and review records used to support a technical result.
Independent generation attempt
A producer attempt that is not secretly steered by prior case-specific outputs or reviewer scratch material.
Representability
The existence of at least one valid way to express a required behavior using the available application vocabulary and supported execution subset.
Runtime support
The subset of admitted graph structures the current executor actually implements.
Falsification
A test design in which the architecture is permitted to fail rather than having the target rewritten until success is guaranteed.