Big refactoring - compile patterns once and expand rows purely - #528

Merged

balhoff merged 25 commits into

May 20, 2026

Commits on May 13, 2026

Parse Manchester templates at compile time.

balhoff
and
claude
committed
6816da3
Add Expansion module for pure row-time axiom construction.

balhoff
and
claude
committed
376a64d
Wire Generate through Expansion and drop row-time code in ExpandedDOSDP.

balhoff
and
claude
committed
507a012

Commits on May 14, 2026

Commits on May 15, 2026

Add Phase 0.3 behavior-preservation harness for the generate path.

balhoff
and
claude
committed
3f628c0
Extend behavior-preservation harness to query, terms, and docs.

balhoff
and
claude
committed
d661e6d
Resolve class-label bindings at row time so prototype works again.

balhoff
and
claude
committed
d2b7ccc
Catch placeholder IRIs in annotation subject and value positions.

balhoff
and
claude
committed
39dc441
Close out Phase 0.3 with audit-by-shape and broader query coverage.

balhoff
and
claude
committed
c7bfc4a

Commits on May 17, 2026

Introduce a placeholder RowBindings constructor for Phase 3.0.1.

balhoff
and
claude
committed
74f21d3

Commits on May 18, 2026

Collapse to one expansion path for Phase 3.0.2.

balhoff
and
claude
committed
57db37c
Emit MultiValue placeholders for list and data_list vars.

balhoff
and
claude
committed
61f700e
Recognize $name literal placeholders as SPARQL variables.

balhoff
and
claude
committed
2a0648d
Add isLiteral filter for $name annotation-value placeholders.

balhoff
and
claude
committed
a83653d
Audit literal-walker coverage against OWL API enums.

balhoff
and
claude
committed
87d7ce8

Commits on May 19, 2026

Split ExpandedDOSDP into focused modules for Phase 3.1.

balhoff
and
claude
committed
3b2df37
Add module-level docstring to DocsMarkdown.

balhoff
and
claude
committed
9dec3a5
Fix two row-expansion correctness regressions.

balhoff
and
claude
committed
530f2b0
Extend correctness tests with regression-prone shapes.

balhoff
and
claude
committed
c3c8927
Drop empty GCI templates silently to match the class-expression types.

balhoff
and
claude
committed
d827b48
Restrict DOSDP variable names
balhoff
committed
58516e4
Simplify describePiece and pin variableNames walker coverage.

balhoff
and
claude
committed
6a00743