Link cookbook recipes and tutorials to the time travel visualizer
Each time-related cookbook recipe gets a link that replays its own
Datalog in the visualizer. Tutorial sections 1 to 3 link to the
visualizer's corestore-tutorial sample at the matching transaction.
Home, the sidebar and Use Cases link to the visualizer too.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0134t1hJSVQnoAimuRboLxRp
Fix doc drift found by running every datalog example
- Per-fact valid time uses a 4th-element map, not a 5-element vector
(Cookbook-Bitemporal-Modeling, Datalog-Reference; EBNF fact rule).
- Performance-Tuning: fix rule syntax; replace the 3-arity bounded-depth
rule (rules take 1 or 2 args, INT-028) with a working per-hop pattern.
- Datalog-Reference: document the rule arity limit.
- Quoted error messages now match the engine and carry their codes.
- Use-Cases/Home: bindings live in their own repos. Android and JVM are
io.github.project-minigraf on Maven Central, Swift is minigraf-swift,
C tarballs are on minigraf-c releases. Fix imports and dead links.
- Architecture: v8 keys are on the v3 branch, not main; document
error.rs, magic_sets.rs, browser/, fault_inject.rs; bindings table.
- Comparison: ~1.2MB budget; WASM row lists WASM targets only.
- Tutorial-01: fix Tutorial-03 link.
Refs project-minigraf/minigraf#383, #405, #407
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01BBxgR4mnF8VMVGa42idcxx
chore: update BENCHMARKS.md links to docs/
docs: add Performance-Tuning wiki page and navigation (#191)
docs(cookbook): add cookbook ToC to Home and Sidebar (#190)
docs: add tutorial series navigation to Home and Learning-Resources
docs(wiki): Comparison — platform support row, WASM v1.0.0; Home — file format v7, Packages section
Add temporal reasoning demo link
docs: fix file format reference v5 → v6
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
wiki: add Architecture, Datalog Reference, Use Cases, Comparison, Learning Resources