Semantic & behavioral versioning
The symbol graph, interface diffs, and versioning an AI system's behaviour.
- What the symbol graph gives youOn by default, for Rust, TypeScript/JavaScript, Python and Go.
- Find a definition or every referencesemantic find-def and find-refs, and the rest of the query surface.
- Catch breaking interface changes before landingtovio semantic diff.
- Why my land was blocked by a semantic checkTVO-SEM-004, and what to do about it.
- Version an AI system's behaviourbehavioral snapshot, over model, prompts, tools, memory, retrieval and policy.
- Diff or roll back a behavioural versionbehavioral diff and rollback.
- What a SCIP moniker is, and how to get oneThe stable symbol name every semantic query takes as its argument.
- Reading a semantic diff, line by lineWhat each section of tovio semantic diff output means.
- Find what a change might breaksemantic impact, callers, tested-by and types.
- Require a semantic check on a protected laneThe one place the semantic layer is allowed to block, and how it behaves.
- Why the symbol graph never blocks your workThe advisory guarantee, and what it means when the index is missing or wrong.
- A worked example: versioning a prompt changeSnapshot, change, diff, decide, roll back.