enumerate-validator-assumptions

Purpose

Enumerate assumptions embedded in a validator, benchmark, sandbox, or test.

Input contract

required: [validator_artifact, target_claim]
optional: [data_generation, measurement, simulator, oracle, metric, initialization, acceptance_rule]
constraints: [assumptions must be classified by source and role]

Procedure

1. Inspect data generation, measurement, simulator, oracle, metric, initialization, and acceptance.
2. Record each assumption and its relation to the target.
3. Mark evidence, uncertainty, and potential circularity.

If validator assumptions and dependencies are explicit, consider build-noncircularity-matrix as the next tactic.