Skip to content

feat(base-mereology, base-query): add Composites.verify and Index.reindex#62

Merged
deer merged 1 commit into
mainfrom
verify_reindex
May 11, 2026
Merged

feat(base-mereology, base-query): add Composites.verify and Index.reindex#62
deer merged 1 commit into
mainfrom
verify_reindex

Conversation

@deer
Copy link
Copy Markdown
Collaborator

@deer deer commented May 11, 2026

  • Composites.verify(root, suspect) — walks the transitive composition of a Composite (including the root) and returns every reachable Composite that matches the caller-supplied predicate but exposes no parts. Catches the class of bug fixed in fix(expression-codemodel): implement otherParts() for Literal and TemplateExpression codemodel.build#54 before it silently corrupts TypeReference derivation. Three tests cover the no-suspects path, the flagging path, and predicate filtering.
  • Index.reindex(object) — default method on Index that unindexes then re-indexes an object. Replaces the hand-rolled unindex/index pair that CodeModelTraitable currently repeats at every trait mutation site. One test in IndexCompatibilityTests verifies that a mutated @Indexable value is reflected correctly after a reindex call.

@deer deer merged commit 1154a1b into main May 11, 2026
3 checks passed
@deer deer deleted the verify_reindex branch May 11, 2026 06:02
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