feat(proof): consistent default artifact output with --no-artifacts opt-out#187

Merged

tonyketcham merged 9 commits into

mainfrom

toeknee/proof-artifact-consistency-6c59

May 11, 2026

Commits on May 10, 2026

feat(proof): default artifact output with --no-artifacts opt-out

cursoragent
and
tonyketcham
committed

Commits on May 11, 2026

fix(proof): address adversarial review findings H1, L2, M2

cursoragent
and
tonyketcham
committed
docs(proof): address PR review on artifact flags + log index write failures

cursoragent
and
tonyketcham
committed
fix(proof): resilient _index.md writes on success and shutdown paths

cursoragent
and
tonyketcham
committed
feat(proof): default transcript artifacts under .flatbread/artifacts

cursoragent
and
tonyketcham
committed
chore: stop ignoring .flatbread/artifacts (allow committing Proof transcripts)

cursoragent
and
tonyketcham
committed
Merge branch 'main' into toeknee/proof-artifact-consistency-6c59
tonyketcham
authored
chore: fix Prettier formatting in SKILL.md and run_dag.ts
cursoragent
committed
fix feedback
tonyketcham
committed