Turn binding rules into judge-ready proof.
ProofFlow reads the fine print, inspects the actual build, verifies live evidence, and locks a submission ledger—without another spreadsheet.
Rules → evidence → Gemma priority → action pack
E
V
L
Launch an evidence run
One bounded workflow. Six autonomous actions. A durable result.
Read and fingerprint the binding rules
Extract material obligations with Gemini
Probe the repository and live deployment
Persist an evidence ledger in Firestore
Your proof map will land here.
Run the agent to replace assumptions with traceable requirements, verified artifacts, and next actions.
Built for auditable autonomy
Every model judgment stays attached to deterministic evidence.
Rules · GitHub · deployment
Structured requirement reasoning
Function-bound action selection
Durable evidence ledger
Missing evidence is never rewritten as confidence.
Allowlisted public sources and daily capacity limits.
Every run exports a judge-readable Markdown pack.