automaton/contracts/verification.md at main - automaton - Gitea: Git with a cup of tea

hermes/automaton

Files

T

gitea 72ae07c310 Initial commit: minimal agent framework

2026-05-30 23:27:09 -04:00

221 B

Raw Permalink Blame History

Acceptance Criteria

All VALID bugs are fixed or justified
No new issues introduced
Code matches SPEC.md line-by-line

Stop Condition

When all checkboxes are checked, output "CONTRACT_MET" and stop.