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
docs: remove redundant data-load section from Tutorial-01 The load step is already covered in Tutorial-Setup. Repeating it here risks users re-running the transacts and throwing off tx_count.
docs: persist Corestore dataset to --file corestore.graph in Tutorial-01
docs: tutorial section 1 — basic transact + query