F3: graphdb_query language -- Q1-Q6, snapshot sessions, bounded BFS#25

Merged

david-w-t merged 20 commits into

davidwt-com:mainfrom

david-w-t:develop

May 25, 2026

Commits on May 24, 2026

F3 draft: graphdb_language query language design doc

david-w-t
and
claude
committed
F3 design: snapshot-semantics freshness model
david-w-t
committed
F3 design: rename query module to graphdb_query
david-w-t
committed
F3 implementation plan: graphdb_query TDD task breakdown
david-w-t
committed
F3 Task 0: resolve_value/2 returns Source; add bind_qc_value/3
david-w-t
committed
F3 Task 0 review: symmetric source wrapping; defensive update; tighter test
david-w-t
committed
F3 Task 1: graphdb_query.hrl -- AST records, types, continuation
david-w-t
committed
F3 Task 2: graphdb_query skeleton + sup wiring + smoke tests
david-w-t
committed
F3 Task 2 review: clarify attach_session comment; durable placeholder query
david-w-t
committed
F3 Task 3: Q1 get_node -- walking skeleton end-to-end

david-w-t
and
claude
committed
F3 Task 3 review: drop unobservable neg-cache; verify cache-hit; refresh header
david-w-t
committed
F3 Task 4: Q1b get_arcs -- relationships table via index reads
david-w-t
committed
F3 Task 4 review: add Q1b cache-hit-skips-mnesia test
david-w-t
committed
F3 Task 5: Q2 describe_attribute -- taxonomy + label resolution

david-w-t
and
claude
committed
F3 Task 6: Q3 describe_class -- taxonomy + QC inheritance

david-w-t
and
claude
committed
F3 Task 7: Q4 describe_instance -- inheritance + both-direction arcs

david-w-t
and
claude
committed
F3 Task 8: Q5 list_instances_of -- recursive set query

david-w-t
and
claude
committed

Commits on May 25, 2026