Executable evidence for AI-assisted code
A plausible answer
is not evidence.
Apply the same six falsifiable requirements to a familiar-looking implementation and its corrected revision. The claim stays fixed. The evidence determines the verdict.
Controlled comparison
Choose a specimen.
DETECTING EXECUTION MODE
SUPPLIED CLAIM“Implementation complete.”
EVIDENCE-DERIVED VERDICTNOT YET TESTED
— / 6GATES PASSED
- 01Familiar examplesWAITING
- 02Input and output contractWAITING
- 03Conservation of totalWAITING
- 04Deterministic tiesWAITING
- 05Boundary behaviorWAITING
- 06Efficiency budgetWAITING
Inspect the machine receipt
Run the gauntlet to produce evidence.
Scientific method
Treat the claim as a hypothesis.
- Statea falsifiable requirement
- Isolateone independent property
- Testunder repeatable conditions
- Reviseagainst observed evidence
- Re-runthe unchanged experiment
Python is the specimen, not the boundary. The same structure applies wherever deterministic checks can produce inspectable evidence.