Crate seesaw_tgg

Expand description

§seesaw-core

Core engine for delta-extended Triple Graph Grammars with ghost overlays.

See the accompanying paper (chapters T₁–T₈) for the formal foundation.

ident: the two shared types. GhostId is the structurally derived identity of every node, Status its lifecycle state.
rules: the rule format. Declarative bidirectional rules, loading and validation, lowering into two directed creation plans. rules::load is the one way from a rule file to plans.
graph: the model. Map-based, anonymous connections, value-free identity.
plan: what a lowered rule is — a creation plan the engine executes.
engine: the delta-local cascade with retraction.

Users write rules against rules. The layers below become visible only where a cascade is driven or a graph is read.

engine: The engine: the delta-local cascade.
graph: The model: everything is a node, connections are anonymous.
hash: Fast, deterministic, dependency-free hasher for internal indices (perf lever A).
ident: Identity and lifecycle state: the two types every layer shares.
plan: The creation plan: what a lowered rule is, and how it is applied.
rules: The rule format: declarative, named, purely positive.