seesaw_tgg/lib.rs
1//! # seesaw-core
2//!
3//! Kern-Engine für delta-extended Triple Graph Grammars mit Ghost-Overlays.
4//!
5//! Siehe die Kapitel T₁–T₈ im Arbeitsstand-PDF (`seesaw_rev2/main.tex`) für
6//! die formale Grundlage.
7//!
8//! ## Module
9//!
10//! - [`graph`]: typisierte attributierte Graphen, Status-Annotation,
11//! parent-rooted Ghost-IDs (T₂, T₅).
12//! - [`ops`]: atomare Operationen, Delta-Einträge, Overlay-Anwendung,
13//! Rollup-Index κ (T₁, T₂, T₃).
14//! - [`engine`]: Pattern-Matching, Rule-Trait, Rang-Selektion, Cascade,
15//! Backtracking (T₃, T₄, T₆).
16//! - [`fold`]: Nullifikation, Konsolidierung, Materialisierung,
17//! Netto-Delta, Transitions-Graph (T₅, T₇).
18
19pub mod engine;
20pub mod fold;
21pub mod graph;
22pub mod ops;
23pub mod rule;
24pub mod viz;
25pub mod xmi;