Skip to content

feat(relations): make MATERIALIZE_RESIDUE per-op enrichment live - #287

Merged
discreteds merged 5 commits into
developfrom
discreteds/materialize-residue-enrichment
Aug 15, 2026
Merged

feat(relations): make MATERIALIZE_RESIDUE per-op enrichment live#287
discreteds merged 5 commits into
developfrom
discreteds/materialize-residue-enrichment

Conversation

@discreteds

Copy link
Copy Markdown
Member

Implements item 98. Design: mountainash-central 2026-08-14-relation-materialize-residue-enrichment-design.md (Revision 6).

…ment

A dialect-scoped (UNION_ALL, *) residue fact cannot fire today -- the
declarative prefer set is empty, so the forced native TypeError
propagates raw. Deliberately red -- the next task carries the RKEY.

Item 98. Design: mountainash-central
2026-08-14-relation-materialize-residue-enrichment-design.md
Rename _present_expression_function_keys -> _present_operation_keys and
include op.operation_key, so a relation residue fact keyed by an RKEY is
selectable via enrich_materialization's prefer_operation_keys filter.
Updates the pinned-contract test to expect the added RKEY.

Item 98. Design: mountainash-central
2026-08-14-relation-materialize-residue-enrichment-design.md
…s for residue enrichment

enrich_materialization gains a dialect= override; _dispatch stops wrapping
handler ops and each handler wraps only its native call via
_enrich_native_call (children compile outside the wrap); the declarative
path threads item 95's _authoritative_dialect.

Item 98. Design: mountainash-central
2026-08-14-relation-materialize-residue-enrichment-design.md
… validation

Add RelationOperationDef.wraps_native_call and reject a handler-routed
MATERIALIZE_RESIDUE fact whose op does not declare it, closing the silent
dead-declaration hole for future unwrapped handlers.

Item 98. Design: mountainash-central
2026-08-14-relation-materialize-residue-enrichment-design.md
@discreteds
discreteds merged commit e6aa4b8 into develop Aug 15, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant