1. HACI Source
Spec §3.1: !Declare | ?Inquire | >Observe | Prefix=outbound | Suffix=inbound | .=scope
2. HACI IR
// IR will appear here...
Spec §4: AST → IR. Tracks ownership, scope, lineage. Deterministic byte order.
3. Symbol Table + DepGraph
// Symbols & Dependencies...
Spec §5: Symbol Table = upstream objects. DepGraph = FSS proposals. OG read-only.
4. Merge States
OG
FSS
BSS
OG'
// Merge states...
OG' Hash: -
Spec §6: OG immutable | FSS proposes | BSS validates | OG' commit only on success