Skip to content

M3 + M4 + M5 closeout; retire TASKS-HIGH.md #13

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
david-w-t merged 5 commits into from
May 9, 2026
Merged

M3 + M4 + M5 closeout; retire TASKS-HIGH.md #13

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
8fa16a8
M4: atomic reciprocal attribute pair
david-w-t May 9, 2026
bc32c5c
M3: validate add_relationship endpoints and target_kind
david-w-t May 9, 2026
3c4300f
M5: per-arc AVPs at connection creation
david-w-t May 9, 2026
88735c7
Docs: M3 + M4 + M5 closeout in TASKS-MEDIUM, refresh test counts
david-w-t May 9, 2026
b457636
Retire TASKS-HIGH.md
david-w-t May 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions ARCHITECTURE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ SPDX-License-Identifier: GPL-2.0-or-later
> implementation progresses within an already-described component. The canonical
> spec is [`the-knowledge-network.md`](the-knowledge-network.md); the kernel
> implements that model. Outstanding work is grouped by severity in
> `TASKS-HIGH.md`, `TASKS-MEDIUM.md`, and `TASKS-LOW.md`.
> `TASKS-MEDIUM.md` and `TASKS-LOW.md`.

---

Expand All @@ -27,7 +27,7 @@ SPDX-License-Identifier: GPL-2.0-or-later
| `graphdb_instance` | Implemented — compositional hierarchy + four-level inheritance with multi-class membership (H4) and ambiguity-detecting class resolver (H5) |
| `graphdb_rules` | Stub |
| `graphdb_language` | Stub |
| Tests | 209 passing (145 Common Test + 64 EUnit) |
| Tests | 218 passing (154 Common Test + 64 EUnit) |

The kernel is functional under multi-inheritance and multi-class-
membership semantics. Template features beyond the connection-arc
Expand Down
16 changes: 8 additions & 8 deletions CLAUDE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,6 @@ SeerStoneGraphDb/
├── rebar.lock # Locked dependency versions
├── Makefile # Convenience targets (compile, shell, release, clean, rebar3)
├── ARCHITECTURE.md # High-level architecture; kept current with the code
├── TASKS-HIGH.md # Inheritance/membership correctness bugs
├── TASKS-MEDIUM.md # Semantic departures + query language + rules engine
├── TASKS-LOW.md # Polish, perf, OTP plumbing, dictionary wiring
└── CLAUDE.md # This file
Expand Down Expand Up @@ -264,12 +263,13 @@ These are outstanding items — all previously known bugs have been fixed.

## Remaining Work

Remaining tasks are organised by severity in three files: `TASKS-HIGH.md`,
`TASKS-MEDIUM.md`, `TASKS-LOW.md`. High items are correctness bugs in
inheritance and class membership. Medium covers semantic gaps plus the
query language (Task 6) and rules engine (E1). Low covers polish,
Remaining tasks are organised by severity in two files:
`TASKS-MEDIUM.md` and `TASKS-LOW.md`. Medium covers semantic gaps plus
the query language (Task 6) and rules engine (E1). Low covers polish,
performance, OTP plumbing, and dictionary wiring (Task 7). Critical
schema-level work is complete (PR #9, commit `ce2e281`).
schema-level work is complete (PR #9, commit `ce2e281`); the
high-severity inheritance/membership correctness work landed in PR
#12 (commit `61c5488`).

## Configuration

Expand Down Expand Up @@ -324,8 +324,8 @@ detail.
- Implementation progress within an already-described component.

The canonical spec is `the-knowledge-network.md` — it does **not** track
the code. Outstanding work lives in `TASKS-HIGH.md`, `TASKS-MEDIUM.md`,
and `TASKS-LOW.md`.
the code. Outstanding work lives in `TASKS-MEDIUM.md` and
`TASKS-LOW.md`.

## Storage Technologies Used

Expand Down
33 changes: 16 additions & 17 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,9 +29,9 @@ underway:
| `graphdb_rules` | Gen_server stub — deferred to Enhancements (pattern recognition, relationship constraints) |
| `graphdb_language` | Gen_server stub — next to implement (Task 6) |

**209 tests** (64 EUnit + 145 Common Test) — all passing. See
`TASKS-HIGH.md`, `TASKS-MEDIUM.md`, and `TASKS-LOW.md` for the
prioritised task list (organised by severity).
**218 tests** (64 EUnit + 154 Common Test) — all passing. See
`TASKS-MEDIUM.md` and `TASKS-LOW.md` for the prioritised task list
(organised by severity).

---

Expand Down Expand Up @@ -84,7 +84,6 @@ SeerStoneGraphDb/
│ └── nref/ # Globally unique node-reference ID allocator
├── rebar.config # rebar3 umbrella build configuration
├── Makefile # Convenience targets (compile, shell, release, clean)
├── TASKS-HIGH.md # Inheritance/membership correctness bugs
├── TASKS-MEDIUM.md # Semantic departures + query language + rules engine
├── TASKS-LOW.md # Polish, perf, OTP plumbing, dictionary wiring
└── CLAUDE.md # Project guide and coding conventions
Expand Down Expand Up @@ -231,17 +230,17 @@ Priority order — each step applies only to attributes not yet resolved by a hi
./rebar3 eunit --app=graphdb && ./rebar3 ct
```

| Suite | Type | Tests | Coverage |
| ------------------------- | ----- | ----- | ------------------------------------------------------------------------------------------------------------------------- |
| `graphdb_bootstrap_tests` | EUnit | 37 | Term parsing, validation, record conversion |
| `graphdb_mgr_tests` | EUnit | 9 | Direction validation, client-side arg checks |
| `graphdb_class_tests` | EUnit | 11 | `is_valid_parent_kind/1`, `collect_qc_nrefs/2` |
| `graphdb_instance_tests` | EUnit | 7 | `find_avp_value/2` |
| `graphdb_bootstrap_SUITE` | CT | 17 | Full bootstrap load, Mnesia tables, idempotency, error handling |
| `graphdb_mgr_SUITE` | CT | 23 | Bootstrap init, read ops, category guard, write stubs, cache audit/repair |
| `graphdb_attr_SUITE` | CT | 16 | Attribute create/lookup, seeding, relationship types |
| `graphdb_class_SUITE` | CT | 44 | Class create, QC, lookups, hierarchy, multi-inheritance (H3), inheritance, templates |
| `graphdb_instance_SUITE` | CT | 45 | Instance create, relationships, lookups, hierarchy, four-level inheritance, connections, multi-class membership (H4 + H5) |
| Suite | Type | Tests | Coverage |
| ------------------------- | ----- | ----- | --------------------------------------------------------------------------------------------------------------------------------------------------- |
| `graphdb_bootstrap_tests` | EUnit | 37 | Term parsing, validation, record conversion |
| `graphdb_mgr_tests` | EUnit | 9 | Direction validation, client-side arg checks |
| `graphdb_class_tests` | EUnit | 11 | `is_valid_parent_kind/1`, `collect_qc_nrefs/2` |
| `graphdb_instance_tests` | EUnit | 7 | `find_avp_value/2` |
| `graphdb_bootstrap_SUITE` | CT | 17 | Full bootstrap load, Mnesia tables, idempotency, error handling |
| `graphdb_mgr_SUITE` | CT | 23 | Bootstrap init, read ops, category guard, write stubs, cache audit/repair |
| `graphdb_attr_SUITE` | CT | 17 | Attribute create/lookup, seeding, relationship types, atomic reciprocal pair (M4) |
| `graphdb_class_SUITE` | CT | 44 | Class create, QC, lookups, hierarchy, multi-inheritance (H3), inheritance, templates |
| `graphdb_instance_SUITE` | CT | 53 | Instance create, relationships (incl. M3 validation, M5 per-arc AVPs), lookups, hierarchy, four-level inheritance, multi-class membership (H4 + H5) |

Each CT test case runs in an isolated Mnesia database with a fresh nref
allocator in a private temp directory.
Expand Down Expand Up @@ -315,8 +314,8 @@ controlled by `logger_level` in `config/sys.config`.

See `CLAUDE.md` for detailed coding conventions, the NYI/UEM macro pattern,
module header format, naming conventions, and the git workflow. See
`TASKS-HIGH.md`, `TASKS-MEDIUM.md`, and `TASKS-LOW.md` for the prioritised
list of remaining implementation work, organised by severity.
`TASKS-MEDIUM.md` and `TASKS-LOW.md` for the prioritised list of remaining
implementation work, organised by severity.

Key conventions at a glance:

Expand Down
119 changes: 0 additions & 119 deletions TASKS-HIGH.md
View file
Open in desktop

This file was deleted.

Loading
Loading