Module grounding 

Grounding resolution — turning a Grounded edge’s foreign atom back into the Definition it names, by content-address agreement across the connected ontologies an archive declares.

This is the address-keyed DUAL of the name-keyed rebind: rebind asks “does the running system know a concept by this NAME at an agreeing address?”; resolution asks “does this connected ontology hold an atom at this ADDRESS?”. A foreign atom has no name in our archive — only a content address — so name-keyed rebind cannot reach it. AtomResolver is the one new primitive that can (inward gap #3).

Fail-closed, the lock decides

An archive declares its external connections in a ConnectedOntologies manifest: for each connected ontology, the root its lock pins. The resolver is built ONCE and gated — every declared ontology’s supplied archive must match its pinned root before a single atom resolves, so a version/content skew is refused up front (the G5 fail-closed spirit, now across archives). A grounded edge into an undeclared ontology, or naming an atom the connected ontology does not hold, returns a typed LinkError — never a silent miss and never a wrong bind.

Structs

AtomResolver

Resolves a Grounded edge target to the foreign atom it names, by content-address agreement across the loaded connected archives.

ConnectedOntologies

The [connected_ontologies] manifest — which ontologies this archive’s grounded edges point into, each pinned to a root the lock must satisfy.

ConnectedOntology

One declared connection: a connected ontology, the root its lock pins, and the role the grounding edges into it carry (the kind — denotes for the lexical floor; carried here so the floor spends no per-edge kind tag).

Enums

LinkError

Why a grounded edge could not be resolved — fail-closed, never a silent bind.

Functions

ground

Add typed cross-ontology grounding edges to an Archive’s nodes — the PRODUCE side of grounding, GENERAL over the lens (the resolve counterpart).