You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit 4d709b2
Browse filesBrowse the repository at this point in the historyBrowse files
Copy file name to clipboardExpand all lines: .claude/board/STATUS_BOARD.md
+16-16Lines changed: 16 additions & 16 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -22,29 +22,29 @@ Plan: `.claude/plans/software-awareness-graph-v1.md`. No new opcode, Quack varia
22
22
23
23
| D-id | scope | status | gate / falsifier |
24
24
|---|---|---|---|
25
-
| D-SAG-1-0 | inventory: Bible work (6-lane fixture, English KJV; no 7-language graph in code), OGAR identities, dir-sim provenance, Quack/mask-risc |In PR| every row cites code or says documented-only |
26
-
| D-SAG-1-1 | typed schema + projection of prepared methods with tiers and provenance |In PR|`tests/awareness.rs` projection test; one identity, one kind |
27
-
| D-SAG-1-2 | queries A–D through Quack; compiler verdicts as edges |In PR| answers == the programs; falsifiers 1–10, each disable-verified |
28
-
| D-SAG-1-3 | H1 candidate + tier-labelled measurement; MDL measure with counterexample |In PR|`examples/awareness_loop.rs`; MDL test |
29
-
| D-SAG-1-4 | multi-hop dependency via relation carrier / factored `EqU32Via`|Queued (needs D-CMH-G1-4) | two-hop answer == closure computed from the programs |
30
-
| D-SAG-1-5 | G1 `CALLS` edges + method-reference refusals |In PR|`method_references_are_calls_edges_and_cycles_are_the_compilers`; callers via Quack; `MethodCycle` recorded, never re-derived |
31
-
| D-SAG-1-6 | persist as a Lance dataset; source revision from git; canonical body digest |Queued| reload equals projection; toolchain change keeps digests |
25
+
| D-SAG-1-0 | inventory: Bible work (6-lane fixture, English KJV; no 7-language graph in code), OGAR identities, dir-sim provenance, Quack/mask-risc |Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory)| every row cites code or says documented-only |
26
+
| D-SAG-1-1 | typed schema + projection of prepared methods with tiers and provenance |Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory)|`tests/awareness.rs` projection test; one identity, one kind |
27
+
| D-SAG-1-2 | queries A–D through Quack; compiler verdicts as edges |Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory)| answers == the programs; falsifiers 1–10, each disable-verified |
28
+
| D-SAG-1-3 | H1 candidate + tier-labelled measurement; MDL measure with counterexample |Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory)|`examples/awareness_loop.rs`; MDL test |
29
+
| D-SAG-1-4 | multi-hop dependency via relation carrier / factored `EqU32Via`|Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory) | two-hop answer == closure computed from the programs |
30
+
| D-SAG-1-5 | G1 `CALLS` edges + method-reference refusals |Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory)|`method_references_are_calls_edges_and_cycles_are_the_compilers`; callers via Quack; `MethodCycle` recorded, never re-derived |
31
+
| D-SAG-1-6 | persist as a Lance dataset; source revision from git; canonical body digest |Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory)| reload equals projection; toolchain change keeps digests |
32
32
33
33
## D-CMH-G1 — Gremlin as a composable ClassId algebra (2026-10-12)
| D-CMH-G1-2 | typed Gremlin steps → method body |Shipped (#1508) | == direct Quack program; both frontends == row oracle |
42
-
| D-CMH-G1-3 | Gremlin-shaped runtime declarations |Shipped (#1508) | loads after the build; effects refused at load |
43
-
| D-CMH-G1-4a | functional relation carrier: `out(rel)`, `out(rel).has`, `count()`|Shipped (#1514; ConflictingUniverse fix follows) | row loop over the text at n ∈ {1,64,65,4097}; 6 disable runs red; R2IL refuses (no `GATHER`) |
44
-
| D-CMH-G1-4b | edge table as the anchor (`E()`, M:N one hop, `outE/inV`) + `Fold::Distinct` (`out(rel).dedup().count()`) |In PR| bag and set == row loop over the text at n ∈ {1,64,65,4097}; unordered key lane refused (`LaneNotOrdered`); 7 disable runs red |
45
-
| D-CMH-G1-4 | rest: a second hop (blocked on the chained-hop decision), `V(parent).in(rel)` spelling, `bothE`|Queued| — |
| D-CMH-G1-6 | ordered `I32` conditions + `MIN`/`MAX` folds as method steps; R2IL `MIN`/`MAX` wired |In PR| both frontends == row loop incl. empty selection; 8 disable runs red |
39
+
| D-CMH-G1-0 | vocabulary → algebra matrix, TinkerPop 3.7.7 |Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory) | every row cites a test, a refusal or the missing capability |
| D-CMH-G1-2 | typed Gremlin steps → method body |Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory) | == direct Quack program; both frontends == row oracle |
42
+
| D-CMH-G1-3 | Gremlin-shaped runtime declarations |Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory) | loads after the build; effects refused at load |
43
+
| D-CMH-G1-4a | functional relation carrier: `out(rel)`, `out(rel).has`, `count()`|Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory) | row loop over the text at n ∈ {1,64,65,4097}; 6 disable runs red; R2IL refuses (no `GATHER`) |
44
+
| D-CMH-G1-4b | edge table as the anchor (`E()`, M:N one hop, `outE/inV`) + `Fold::Distinct` (`out(rel).dedup().count()`) |Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory)| bag and set == row loop over the text at n ∈ {1,64,65,4097}; unordered key lane refused (`LaneNotOrdered`); 7 disable runs red |
45
+
| D-CMH-G1-4 | rest: a second hop (blocked on the chained-hop decision), `V(parent).in(rel)` spelling, `bothE`|Withdrawn 2026-10-12 (backup `backup/session-011BMJ-2026-10-12`; see entry session-reset-inventory)| — |
| ndarray |`backup/session-011BMJ-2026-10-12`|`master` at `e726f98`, with `mask_gather_chain_u32` (#358) |
21
+
22
+
## Removed
23
+
24
+
| item | where | why |
25
+
|---|---|---|
26
+
|`method.rs`, `call.rs`, `decl.rs`, `gremlin.rs`, `awareness.rs`|`crates/lance-graph-glove-parity/src`| own `MethodBody` algebra, lowered per call through `Filter::cmp` over value lanes with fresh scratch (`run_quack`), no `Compiled`, no `lower_fused`, no resident planes |
27
+
|`Relation { fk }`, `ForeignLane` hops, `Cond::Reaches/Via`, edge-table anchor, `Fold::Distinct`|`method.rs`| foreign-key model; a hop is a coordinate range, not a key read |
28
+
| SAG graph (`Vec<Edge>`, `retain`, `HashSet`) |`awareness.rs`| O(edges) per operation; built on the removed method layer |
29
+
| 10 test files, 2 method fixtures, 4 examples |`crates/lance-graph-glove-parity/{tests,examples}`| test the removed code |
|`mask_gather_chain_u32[_under]`, `ChainHop`, `ChainTest`| ndarray (#359 removes) | same |
32
+
|`lance-graph-r2il` dependency, OGAR checkout in `glove-parity.yml`| crate `Cargo.toml`, workflow | only the method layer needed them; both restored to their state before this session |
33
+
34
+
## Kept, and why
35
+
36
+
| item | why |
37
+
|---|---|
38
+
|`basis.rs`, `tests/authority.rs`, `tests/canonical_front.rs`| another session's work (D-XGP-1/2); untouched, tests green |
39
+
| r2il edits: every fold reads a resident plane as its mask (`8d5a36fb`); MIN/MAX and ordered-i32 procedures (`964a95c5`); declarative bodies (`0dbb6b52`, `b61f62fa`) | woven into r2il's own procedure surface; reviewed in the rebuild, not reverted blind |
40
+
| contract: compute DAG reads all 256 field positions (`6a83f99f`) | a correctness fix in `class_view.rs`, independent of the method layer |
41
+
| build: native target-cpu, debug 0, x86_64 pinned to v3 for wheels (`5cfc8453`, `12cdfde9`) | build configuration, not a primitive |
42
+
| NAL recipe audit, CE64 plateau, nal-polyfill plan, planner revision/receipt probes | research and oracle tests, no query path |
43
+
44
+
## The rebuild (D-CMR)
45
+
46
+
A class method is a binding `classid × WideFieldMask → an existing fold`: one
47
+
`Compiled` mask-risc program over resident planes and coordinate ranges
48
+
(`Lowering::Range`, ternlog fusion, the fold terminals, `CountKeyRunsU32`,
49
+
Quack `lower_fused`, `fold_ranges`, `prefix_*`). A call resolves the binding
50
+
and runs the compiled program; it does not lower, allocate or interpret. Chained
51
+
hops are coordinate-range intersections inside the same program. A fold that
52
+
does not exist is reported as a gap in the fold catalogue, not built in the
53
+
method layer.
54
+
55
+
OPEN: #1523 anchors `ProposedMethod` on `awareness::Candidate`, which this
56
+
reset removes; the anchor moves to the rebuilt binding.
| 2026-10-12 |`D-CMR-RESET`| method layer was a second algebra beside the folds and slower than a row loop (430–480 µs vs 283 µs); moved to backup, rebuild as bindings over existing folds |[2026-10-12-session-reset-inventory.md](2026-10-12-session-reset-inventory.md)|
33
34
| 2026-10-12 |`D-SAG-5-0`|Post-#1509 SAG self-querying, provenance and limited attention with NARS/Hyperon/PLN comparisons; research prompt and high-signal falsifiers |[2026-10-12-sag-reflexive-cognition-research.md](2026-10-12-sag-reflexive-cognition-research.md)|
34
35
| 2026-10-12 |`D-SAG-CAP-1`|`ProposedMethod` canonical over six SAG PRs; one four-state status; stale multi-hop claims corrected |[2026-10-12-sag-capstone-alignment.md](2026-10-12-sag-capstone-alignment.md)|
Copy file name to clipboardExpand all lines: .claude/plans/gremlin-composable-algebra-v1.md
+2Lines changed: 2 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,5 +1,7 @@
1
1
# gremlin-composable-algebra-v1 — Gremlin steps as typed building blocks of ClassId methods (D-CMH-G1)
2
2
3
+
> **⊘ WITHDRAWN 2026-10-12.** The code this plan describes was removed from main and kept on `backup/session-011BMJ-2026-10-12`. It built class methods as a second algebra beside the existing folds, lowered per call over value lanes, and modelled hops as foreign-key reads. See `.claude/board/entries/2026-10-12-session-reset-inventory.md`.
4
+
3
5
> **Status:** MEASURED for the slice in §2 (code: `crates/lance-graph-glove-parity/src/{method,gremlin,decl}.rs`,
4
6
> tests `tests/{compose,gremlin}.rs`). The vocabulary matrix (§4) is ANALYSIS against code and tests,
5
7
> one row per step family. Stacked on #1507 (runtime declarations); independent of #1506.
Copy file name to clipboardExpand all lines: .claude/plans/sag-capstone-alignment-v1.md
+10-8Lines changed: 10 additions & 8 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -36,9 +36,12 @@ optimization is a proposal" (#1511).
36
36
> names what would change and what must be shown first. It can never execute,
37
37
> and no stage downstream of it may treat its existence as authorization.
38
38
39
-
It has exactly two shapes, and both are already anchored on main:
39
+
It has exactly two shapes. ⊘ Both anchors named below were removed from
40
+
main by the method-layer reset (#1524, `D-CMR-RESET`; the code is kept on
41
+
`backup/session-011BMJ-2026-10-12`). The name and the two shapes stand; the
42
+
code anchor is re-decided when the class-method rebuild (D-CMR) lands:
40
43
41
-
| shape | anchor on main| what it carries | what it is not |
44
+
| shape |former anchor (removed by #1524)| what it carries | what it is not |
42
45
|---|---|---|---|
43
46
|**rewrite** — a pure, structural optimization |`awareness::Candidate { kind, methods, obligations }` ("never a rewrite") | the candidate, its open `Obligation`s, evidence tier and provenance, and a read-only verification query | not applied: it still needs a semantic-equivalence oracle (NULL / bag / set), a cost measurement and an operator decision |
44
47
|**action** — an external effect |`EffectClass::Propose` on `MethodBody::Action` ("builds an inert proposal"); every call refuses with `NotPure`| the effect, its preconditions (source ETag/version, policy revision, target identity) and its simulated impact | not dispatched: it needs fresh OGAR authorization, then provider receipt and re-observation |
@@ -64,10 +67,9 @@ spelled (#1511); prose is left as is. A scheduler decision is `Pure` or
64
67
**Name check.**`lance_graph_ontology::MappingProposal` is unrelated (an
65
68
ontology mapping); it keeps its name.
66
69
67
-
**When code lands,**`ProposedMethod` is a type in
68
-
`lance-graph-glove-parity::awareness`, built from `Candidate` (rewrite) or
69
-
from an `EffectClass::Propose` method (action). No other crate defines its
70
-
own proposal type.
70
+
**When code lands,**`ProposedMethod` is one type, in the crate the D-CMR
71
+
rebuild puts class methods in (`lance-graph-glove-parity::awareness` no
72
+
longer exists after #1524). No other crate defines its own proposal type.
71
73
72
74
## 3. One status vocabulary: unknown is not false
73
75
@@ -128,8 +130,8 @@ These are true at the #1509 base and false now. The plans keep their text
128
130
2.**SAG defects A and B remain UNVERIFIED** (#1510 plan is right). The
129
131
fixes were written in #1519, which was closed unmerged with the method
130
132
layer reset (kept on `backup/session-011BMJ-2026-10-12-sagfix`); the
131
-
shared-provenance and stale-`BlockedBy`failure modes are still possible
132
-
in the shipped `awareness.rs`.
133
+
`awareness.rs` itself was removed by #1524, so both failure modes must be
134
+
re-tested on whatever replaces it.
133
135
3.**OGAR #357 status.** Still unverified upstream; the plans' "RFC" is the
Copy file name to clipboardExpand all lines: .claude/plans/software-awareness-graph-v1.md
+2Lines changed: 2 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,5 +1,7 @@
1
1
# D-SAG-1 — Software-awareness graph: the methods, programs and evidence of lance-graph as graph rows
2
2
3
+
> **⊘ WITHDRAWN 2026-10-12.** The code this plan describes was removed from main and kept on `backup/session-011BMJ-2026-10-12`. It built class methods as a second algebra beside the existing folds, lowered per call over value lanes, and modelled hops as foreign-key reads. See `.claude/board/entries/2026-10-12-session-reset-inventory.md`.
4
+
3
5
**Status:** MEASURED for one concept's methods (#1504's `BillableWorkEntry` set).
0 commit comments