Skip to content

Commit 340bb03

Browse files
author
Dylan Bobby Storey
committed
metis: archive completed initiatives I-0034/I-0035/I-0036 and trailing completed tasks
- I-0034 (CALL subquery): transitioned decompose -> active -> completed -> archived. All 7 sub-tasks (T-0173..T-0179) cascade-archived. Code has been done for a while; the orchestration explicitly noted this. - I-0035 / I-0036: already at completed phase, now archived (sub-tasks cascade-archived). - T-0233 (Phase D quantifier validation): transitioned active -> completed -> archived. Acceptance criteria met by the Quantifier1-4 [15] family validation that landed during the long session. - Issue-61 bug tasks T-0180/0185/0186/0187/0188/0189/0190/0191: archived (long-completed, were sitting in backlog/bugs). - T-0168, T-0169 (REC-09, REC-14): archived from I-0033 tasks. - T-0218 ([TCK] SIGSEGV in build_query_results), T-0230 ([TCK] Phase A literal-type validation): archived. No code changes — pure metis cleanup. Trimmed the active-work view to the documents that actually represent open work.
1 parent 6075f80 commit 340bb03

35 files changed

Lines changed: 103 additions & 39 deletions

.metis/backlog/bugs/GQLITE-T-0180.md renamed to .metis/archived/backlog/bugs/GQLITE-T-0180.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ created_at: 2026-03-29T17:25:30.858263+00:00
77
updated_at: 2026-03-29T17:34:32.350528+00:00
88
parent:
99
blocked_by: []
10-
archived: false
10+
archived: true
1111

1212
tags:
1313
- "#task"
@@ -55,6 +55,8 @@ Option 1 is the right fix for the test suite — the test is supposed to test pa
5555

5656
## Acceptance Criteria
5757

58+
## Acceptance Criteria
59+
5860
- [ ] `angreal test functional` runs all test files through to completion (no early exit at 26)
5961
- [ ] Test 26 parameterized CREATE still validates that the node was created correctly
6062
- [ ] No test files are silently skipped

.metis/backlog/bugs/GQLITE-T-0185.md renamed to .metis/archived/backlog/bugs/GQLITE-T-0185.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ created_at: 2026-04-18T16:54:18.439013+00:00
77
updated_at: 2026-04-18T22:56:22.640844+00:00
88
parent:
99
blocked_by: []
10-
archived: false
10+
archived: true
1111

1212
tags:
1313
- "#task"
@@ -63,6 +63,8 @@ Ensure an `UNWIND` variable referenced inside a subsequent `MATCH` property patt
6363

6464
## Acceptance Criteria
6565

66+
## Acceptance Criteria
67+
6668
- [ ] `UNWIND [{id:"b"}] AS item MATCH (n:L {k: item.id}) RETURN n` returns only the matching row.
6769
- [ ] Works equivalently for `UNWIND $param AS item MATCH (n:L {k: item.id})`.
6870
- [ ] Direct `$param` in MATCH property patterns continues to work (already passing).

.metis/backlog/bugs/GQLITE-T-0186.md renamed to .metis/archived/backlog/bugs/GQLITE-T-0186.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ created_at: 2026-04-18T16:54:20.342159+00:00
77
updated_at: 2026-04-18T19:57:57.044313+00:00
88
parent:
99
blocked_by: []
10-
archived: false
10+
archived: true
1111

1212
tags:
1313
- "#task"
@@ -60,6 +60,8 @@ Persist `$param` values supplied to relationship inline properties in `CREATE (a
6060

6161
## Acceptance Criteria
6262

63+
## Acceptance Criteria
64+
6365
- [ ] `CREATE (a)-[:REL {prop: $p}]->(b)` stores the bound `$p` value into the appropriate edge_props table.
6466
- [ ] Works for all supported scalar types (text, int, real, bool).
6567
- [ ] Literal-value relationship properties continue to work (regression).

.metis/backlog/bugs/GQLITE-T-0187.md renamed to .metis/archived/backlog/bugs/GQLITE-T-0187.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ created_at: 2026-04-18T16:54:21.519693+00:00
77
updated_at: 2026-04-18T20:19:07.911196+00:00
88
parent:
99
blocked_by: []
10-
archived: false
10+
archived: true
1111

1212
tags:
1313
- "#task"
@@ -60,6 +60,8 @@ Make `ON CREATE SET r.prop = $param` / `ON MATCH SET r.prop = $param` persist `$
6060

6161
## Acceptance Criteria
6262

63+
## Acceptance Criteria
64+
6365
- [ ] `ON CREATE SET r.prop = $param` writes the parameter value into edge_props.
6466
- [ ] `ON MATCH SET r.prop = $param` updates the parameter value on edge_props.
6567
- [ ] Inline MERGE rel properties `MERGE (a)-[r:T {k: $v}]->(b)` also persist (shared with #61.2 / GQLITE-T-0186).

.metis/backlog/bugs/GQLITE-T-0188.md renamed to .metis/archived/backlog/bugs/GQLITE-T-0188.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ created_at: 2026-04-18T16:54:23.029615+00:00
77
updated_at: 2026-04-18T22:43:14.237659+00:00
88
parent:
99
blocked_by: []
10-
archived: false
10+
archived: true
1111

1212
tags:
1313
- "#task"
@@ -61,6 +61,8 @@ Implement Cypher map-merge semantics for `SET node += {k: v, ...}` so that the m
6161

6262
## Acceptance Criteria
6363

64+
## Acceptance Criteria
65+
6466
- [ ] `SET n += {a: 1, b: 2}` adds/overwrites properties `a` and `b`, leaves others intact (merge semantics).
6567
- [ ] `SET n = {a: 1, b: 2}` (if supported) replaces all properties (strict semantics — verify separately).
6668
- [ ] `SET n += $map` works with parameterized map values.

.metis/backlog/bugs/GQLITE-T-0189.md renamed to .metis/archived/backlog/bugs/GQLITE-T-0189.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ created_at: 2026-04-18T16:54:24.149371+00:00
77
updated_at: 2026-04-18T22:43:14.997274+00:00
88
parent:
99
blocked_by: []
10-
archived: false
10+
archived: true
1111

1212
tags:
1313
- "#task"
@@ -60,6 +60,8 @@ Fix scope resolution so that a relationship variable bound by `MERGE (a)-[r:T ..
6060

6161
## Acceptance Criteria
6262

63+
## Acceptance Criteria
64+
6365
- [ ] `MERGE (a)-[r:T {...}]->(b) SET r.k = v` applies the SET to the merged relationship.
6466
- [ ] Works whether the MERGE creates or matches the edge.
6567
- [ ] Node MERGE+SET continues to work (regression).

.metis/backlog/bugs/GQLITE-T-0190.md renamed to .metis/archived/backlog/bugs/GQLITE-T-0190.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ created_at: 2026-04-18T16:54:25.738054+00:00
77
updated_at: 2026-04-18T22:43:16.143218+00:00
88
parent:
99
blocked_by: []
10-
archived: false
10+
archived: true
1111

1212
tags:
1313
- "#task"
@@ -65,6 +65,8 @@ Return correct target-node property values when traversing a relationship patter
6565

6666
## Acceptance Criteria
6767

68+
## Acceptance Criteria
69+
6870
- [ ] `MATCH (s)-[r]->(t) RETURN s.k, t.k` returns both `s.k` and `t.k` correctly.
6971
- [ ] Works for all scalar property types (text/int/real/bool).
7072
- [ ] Works for unbound source and/or unbound target (e.g., `MATCH ()-[r]->(t) RETURN t.*`).

.metis/backlog/bugs/GQLITE-T-0191.md renamed to .metis/archived/backlog/bugs/GQLITE-T-0191.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ created_at: 2026-04-18T16:54:27.225857+00:00
77
updated_at: 2026-04-18T22:58:38.352171+00:00
88
parent:
99
blocked_by: []
10-
archived: false
10+
archived: true
1111

1212
tags:
1313
- "#task"
@@ -68,6 +68,8 @@ Almost certainly a downstream manifestation of **GQLITE-T-0190** (bug #61.6 —
6868

6969
## Acceptance Criteria
7070

71+
## Acceptance Criteria
72+
7173
- [ ] Above query returns `[{"package":"numpy"}]`.
7274
- [ ] Multi-target variations (multiple packages, duplicates) return correct DISTINCT set.
7375
- [ ] `ORDER BY` on target-node property preserves results.

.metis/backlog/bugs/GQLITE-T-0218.md renamed to .metis/archived/backlog/bugs/GQLITE-T-0218.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ created_at: 2026-05-13T17:03:48.991954+00:00
77
updated_at: 2026-05-13T20:26:55.833124+00:00
88
parent:
99
blocked_by: []
10-
archived: false
10+
archived: true
1111

1212
tags:
1313
- "#task"

.metis/backlog/bugs/GQLITE-T-0230.md renamed to .metis/archived/backlog/bugs/GQLITE-T-0230.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ created_at: 2026-05-14T01:54:01.015759+00:00
77
updated_at: 2026-05-14T02:06:21.890442+00:00
88
parent:
99
blocked_by: []
10-
archived: false
10+
archived: true
1111

1212
tags:
1313
- "#task"
@@ -53,6 +53,8 @@ Variables and expressions whose type cannot be statically determined are skipped
5353

5454
## Acceptance Criteria
5555

56+
## Acceptance Criteria
57+
5658
- [x] Validation logic implemented in `src/backend/transform/transform_validate.{c,h}` + wiring in `src/backend/executor/cypher_executor.c` and `Makefile`.
5759
- [x] Emits `SyntaxError: InvalidArgumentType: Type mismatch: expected Boolean but was <Type>` per TCK convention.
5860
- [x] No regression on existing passing scenarios (fail count dropped by exactly the same as pass increase; error/skipped unchanged).

0 commit comments

Comments
 (0)