swaitsandClaude Fable 5.1 fc4430c685 docs: the repository of its own: licences, CI, citations checked in form (P13 step 6) ...

spec/ and examples/ are CC BY 4.0, the code MIT OR Apache-2.0. The
verbatim-pin and rules.md-id checks need wanderbooks' vendored sources and
rules.md, so they move to wanderbooks; here a citation is checked in form.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01HS8WZziDnyxunC23MUxrLp

2026-10-29 16:35:23 -06:00

..

derive.rs

feat(bookspec): the checker derives the examples' figures from the rules (P13 step 5)

2026-10-29 12:51:30 -06:00

lean.rs

feat(bookspec): the five laws as Lean theorems (P13 step 4)

2026-10-29 12:51:30 -06:00

rules.rs

feat(bookspec): the checker crate, the Engine trait and the runner (P13)

2026-10-26 21:22:46 -06:00

schema.rs

fix(bookspec): the schema refuses a key only its query may name (P13)

2026-10-26 21:23:16 -06:00

spec.rs

docs: the repository of its own: licences, CI, citations checked in form (P13 step 6)

2026-10-29 16:35:23 -06:00