docs(demo): weak->strong inspect GIF filmed on the real gate-backed run (M3-GIF)#13
Merged
Conversation
… (M3-GIF) - docs/demo.gif (+ source docs/demo.cast): asciinema-recorded live run — inspect scores examples/naive-loop 0/weak (exit 1), then examples/coverage-repair 90/strong; typed commands simulated, every output is the real tool - examples/naive-loop/: the committed deliberately-weak DIY fixture so both verdicts in the GIF are reproducible from a fresh clone - docs/social-card.png: 1280x640 social preview card (setting it in repo settings is a separate gated step) - README: embed the GIF at the reserved M3-GIF marker with a reproduce-it-yourself caption
5 tasks
SollanSystems
added a commit
that referenced
this pull request
Jul 3, 2026
…cs (#15) * docs(roadmap): commit the v1.0 master roadmap + 4 strategic design specs The 2026-06-30 planning deliverables: the v0.3.4->v1.0 release arc (finding->milestone ledger, dependency graph, dogfood gaps) and the four mechanism specs it delegates to (v0.4 credibility enforcement, ST1 metrics baseline, ST2 portable contract spec, ST3 integration adapters). * chore(release): cut 0.5.0 — credibility enforcement + first screen Names the landed PRs #7-#13 (wedge enforcement, gate-backed example, first-screen rebuild, demo GIF, CLI + skill-surface fixes) as 0.5.0, matching the v1.0 roadmap's milestone numbering. No 0.4.x tag exists. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> --------- Co-authored-by: Claude Fable 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
inspectscoresexamples/naive-loop0/weak (exit 1), thenexamples/coverage-repair90/strong. Typed commands are simulated; every output byte is the real tool running..loop/state.jsonforce-added past the global.loop/ignore, same as coverage-repair).Verify
verify-fullPASS locally with the new fixture (pytest suite + plugin validate + doctors); the examples/ failure-mode and receipts-claim sweeps do not fire on the fixture.🤖 Generated with Claude Code