pj 9f1dfe27ba docs: correct the snippets and numbers that drifted from the code

2026-08-14 22:41:53 +05:30

..

case-study.md

docs: correct the snippets and numbers that drifted from the code

2026-08-14 22:41:53 +05:30

cli.md

docs(cli): document --exit-on-violation, --max-steps, and exit codes

2026-08-13 00:33:58 +05:30

getting-started.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

index.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

introduction.md

docs: record that canvas apps need a dom proxy to be text-fuzzable

2026-08-13 20:48:14 +05:30

replay.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

runs.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

spec-language.md

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30