Module correspondence

Structs§

ArtifactDecodeCache: Per-run, type-erased cache for decoded artifacts used by in-process rules.
CorrespondenceEngineConfig: In-process registration surface for correspondence rule packs.
Edit: One open-vocabulary edit in a link’s edit list.
EditProjection
ExpandDescriptor
ExpandOutput
LinkCtx
LinkProposal
LinkRef
MemberMatch: One slot in a parse rule’s correlated input member-set (CFM-83).
NodeId: Stable identity of one side-tree node.
NodeMatch: Metadata-only declarative filter over an ItemRef.
PairDescriptor
PairOutput
ParseDescriptor
ParseGroup: A resolved group of member nodes handed to a multi-input ParseRule.
ParseOutput
ParsedArtifact
ParsedChild
ProjectionAnnotationContext
ProjectionHint: Product-facing projection metadata supplied by rules, not inferred by core.
RowIdentityPolicies
WriteOutput
WriterDescriptor

CoreRule: One rule registered with the correspondence-first saturation engine.
Correlation: How the engine groups candidate sibling nodes into one parse-claim input.
ShapeFilter: Shape filter for edit-list writers.
TreeSide: Which side tree a node belongs to in the correspondence-first IR.

edit_count_summary: Generic summary for edit-count fallback projection.
member_set: The full ordered member-set of a parse rule: the anchor (always a required size-1 member) followed by the rule’s extra_members. This is the list the engine fills by NodeMatch when enumerating candidate sibling groups; index 0 is always the required anchor.
parse_arity: A parse claim’s arity: the number of declared member slots (anchor + extras). Drives arity-descending precedence — larger claims are attempted first.
projection_hint_is_default