Classify a technical claim from supplied evidence. Returns support, contradiction, assumptions, missing evidence, and the next action.

Separate what is known, assumed, supported, contradicted, and still unverified, then propose a decisive experiment.

Challenge a proposed code change for scope creep, rewrites, contract assumptions, security implications, error handling, and missing validation.

Define the smallest direct evidence set and experiment required to establish a technical claim without speculation.

Detect repeated failed strategies, contradictions, unsupported conclusions, untested success claims, and premature rewrites from supplied reasoning and session history.