readme.md

ipm-tools documentation

The language

• ipmt-spec.md — the complete ipmt grammar: type markers, aliases, arrow forms, edge tooltips, escaping, fence behaviour.
• ipmt-spec-ex.md — worked spec examples.
• ipmt-parser.md — parser output and behaviour.
• sst-gamma34.md — Semantic Spacetime γ(3,4) background.
• inline-ipmt-colors.md — inline token colour scheme.

Modeling

• how-to-model.md — choosing events / things / concepts.
• ipm-modeling-tips.md — practical tips.
• ipmt-ex/ — example models (valid and invalid).
• solver-examples/ — runnable node-kind solver demonstrations (undecided ::?etc nodes resolved per edge type).

The tools

• layout-gen.md — layout engine.
• ipmsvg-gen.md — SVG renderer.
• ipm-validate.md, ipm-validator-rules.md — semantic validation.
• md-embed.md — embedding ipmt SVGs in Markdown.
• ipmt-unresolved.md — fence meta + the # ipmt: pragma: the flag vocabulary (unresolved, defaults, embed=false) and rendering undecided ipmt through the node-kind solver.
• md-html.md — Markdown tree → self-contained static HTML site (config-driven; inlines the SVGs md-embed produced).
• ipm-rpc.md — the language server for the VS Code extension.

Developer guide

• dev/testing.md — testing & the autogenerated fixture corpus.
• dev/model-structure.md, dev/parser.md — internals.
• dev/test-data-structure.md — fixture corpus layout, file naming and the sources.json metadata.
• dev/live-preview-colors.md — how ipmt fences stay colored while the user types, and the two clocks that make it awkward.
• dev/layout-gen/layout7-engine.md and dev/layout-gen/ — the layout algorithm, its DSL rules, and design notes.
• dev-tools/ — notes on the cmd-dev/ utilities, including layout-audit (what an engine change moved, ranked), layout-timeline (when each diagram moved, week by week), ipmt-name-merge (puts a 2025-era engine's node names back) and states-corpus (the demo recorder's typed diagram states, captured as a layout corpus).

The gl: link convention

Dev docs and generated fixture pages use gl: source links — gl:pkg/layout7/route.go, gl:docs/ipmt-spec.md#L605-L608. Read them as paths from the repo root with an optional #L<from>[-L<to>] line range. They are produced and consumed by our tooling; GitHub renders them as plain text, so follow the path by hand there (the plain markdown link next to a gl: link, where present, is the clickable fallback).