v2 step 2: add did2.query in-memory evaluator

[stevevanhooser]

Summary

Implements step 2 of docs/v2/PLAN.md §9: the in-memory query evaluator over V_gamma documents. This becomes the executable spec the SQL compiler (step 3) will be tested against.

Key Changes

• src/did/+did2/query.m — V_gamma query value + evaluator:

  • Four-tuple {field, operation, param1, param2} search structure with and() / or() composition.
  • Operators from did-schema/schemas/did_query_model.md: exact_string, exact_string_anycase, contains_string, regexp, exact_number, lessthan(eq) / greaterthan(eq), hasfield, hasmember, hasanysubfield_contains_string, hasanysubfield_exact_string, isa, depends_on. ~-prefix negation on every operator except or.
  • Dot-path resolution with [*] array-of-structure iteration (existential semantics; independent quantifier across multiple [*] predicates per the model spec).
  • matches(doc), filter(docs, AsMask=) for list evaluation; static all() / none() helpers; resolvePath() and evaluate() exposed for the upcoming SQL compiler's reference-impl test harness.

• tests/+did2/+unittest/testQuery.m — Function-based tests covering every operator, the ~ negation prefix, AND/OR composition, single and nested [*] iteration, the independent-quantifier semantics, filter / AsMask, and both did2.document and plain-struct input branches.

• docs/v2/PLAN.md — Progress-log entry for step 2.

Implementation Details

• isa matches the concrete class or any entry of document_class.superclasses[*].class_name. depends_on accepts a * wildcard on the name. Both operate directly on the V_gamma wire shape — no V_alpha-style lowering.
• Composition: and() concatenates search-structure arrays; or() builds a single search structure whose operation is or and whose param1 / param2 are the sub-search-structure arrays. evaluateAll AND-s its struct array (empty matches vacuously); the or branch short-circuits on param1.
• ~or is rejected at construction time with did2:query:badOperator (per the model spec, negating a boolean is expressed by combining negated leaves).
• Unresolvable paths return {}. With a scalar operator that means no match; with ~-negation the match flips to true (literal reading of the spec).

Test plan

• CI passes: did2.unittest.testQuery and pre-existing did2.unittest.testSchemaCache / did2.unittest.testDocumentScaffold all run green.
• No regressions in the legacy +did suite.

https://claude.ai/code/session_013i5twd1zXsZyFXRjb4hbwL

---

Generated by Claude Code