Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
b0046b3
quack: ruff taint probe — MeTTa lowerable verdict as presence-bit clo…
claude Oct 16, 2026
b4a3552
quack: semantic-map probe — Haspelmath's grams as Cartesian presence …
claude Oct 16, 2026
e2b7388
board: grammar-on-coordinates breadcrumb entry (annotations, TEKAMOLO…
claude Oct 16, 2026
ef0aa59
deepnsm-v2: wire every CE64 field of a parsed triple from its source
claude Oct 16, 2026
dc5c3f6
deepnsm-v2 wire: silence twins for the rival reset, zero pressure and…
claude Oct 16, 2026
9943fec
quack: wired_reasoning_probe — wire field rules as Datalog over prese…
claude Oct 16, 2026
f97f4ed
deepnsm-v2 wire: weil claims go through the belief arena
claude Oct 16, 2026
81f28a6
deepnsm-v2 wire: make the single-implication silence test bite
claude Oct 16, 2026
ed7e757
board: weil -> belief arena wired; qualia palette separation measured
claude Oct 16, 2026
d2d2ba2
deepnsm-v2 wire: qualia register — (operand : qualia) pairs for S, P,…
claude Oct 16, 2026
7c9048f
deepnsm-v2 wire: an adjective does not cross a sentence (test)
claude Oct 16, 2026
e1de661
deepnsm-v2 wire: sentence-bound adjective test bites (shared noun)
claude Oct 16, 2026
5e8a56e
board: qualia register wired; word -> qualia source deferred
claude Oct 16, 2026
e31cd08
wire: W is the prior state's witness slot; activation is the update's…
claude Oct 16, 2026
ceecd2d
board: W arc and update-caused activation
claude Oct 16, 2026
18c2363
wire: the Gadamer gate decides each update; contradiction is kept
claude Oct 16, 2026
c9a3e13
wire: 43..45 is the Haspelmath function; antecedents both ways; quoru…
claude Oct 16, 2026
fe0df60
board: Gadamer gate, Haspelmath orientation, peer loci
claude Oct 16, 2026
f9b730e
plan: ce64-grammar-wiring-v1 (D-CGW-0..12); board rows, plan index, l…
claude Oct 16, 2026
4d9dece
Merge remote-tracking branch 'origin/main' into ccr-9f3b8075-74u47l-r…
claude Oct 16, 2026
443c330
board: #1590 arc entry
claude Oct 16, 2026
2898f12
wire: count Kausal claims after the gate; Pos::Adv is adverbial
claude Oct 16, 2026
7e81bd6
plan: CE64 is a contract with one global meaning per field (D-CGW-1, …
claude Oct 16, 2026
cd1b1b3
plan: D-CGW-13 cross-oracle readout on CE64, D-CGW-14 OpenPSI as a qu…
claude Oct 16, 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
8 changes: 8 additions & 0 deletions .claude/board/INTEGRATION_PLANS.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,11 @@
## 2026-10-16 (5) — ce64-grammar-wiring-v1 — every CE64 upper-half field of a parsed triple from its source → `.claude/plans/ce64-grammar-wiring-v1.md`

**Status:** D-CGW-0 in PR; D-CGW-1..12 PROPOSAL, test-first.

- Ships the `deepnsm-v2::wire` field map, the Gadamer gate in front of counting, the W arc, the Haspelmath orientation and the peer loci.
- First gate: wire edges carry readings of 43..45 and 46..49 that existing readers interpret differently (pathology triad, inference mantissa); they stay in the probe until a versioned binding exists (D-CGW-1).
- Then: frequency default with antecedent-tested promotion (D-CGW-2), case-driven argument order (D-CGW-3), concessive resistance (D-CGW-5), counterfactual lanes to `Causes` (D-CGW-4), cross-cohort arcs (D-CGW-6), layout widenings behind the envelope audit (D-CGW-7/8).

## 2026-10-16 (4) — catch-up: 14 plans of 2026-10-12..16 and 59 imported plans had no index entry

**Status:** INDEX CATCH-UP; no plan status changes. The 14 dated plans below were read at their header and status line; the 59 imported ones were not read.
Expand Down
5 changes: 5 additions & 0 deletions .claude/board/LATEST_STATE.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
## 2026-10-16 — CE64 grammar wiring (branch `ccr-9f3b8075-74u47l-ce64-grammar-wiring`, in PR)

- `deepnsm-v2::wire` writes every CausalEdge64 field of a parsed triple from a named source, with the Gadamer gate (`contract::revision`) deciding before anything is counted; W is the statement's Markov arc in a `WitnessTable<64>`; 43..45 is the Haspelmath dative-map function; loci carry Antecedent, TEKAMOLO, Quorum and Contradiction pointers. Probe: `lance-graph-quack/examples/wired_reasoning_probe.rs`. Plan: `ce64-grammar-wiring-v1.md` (D-CGW-0..12).
- Contract inventory delta: none (consumes `revision`, `witness_table`, `causal_witness`, `epistemic_state5`). `deepnsm-v2` gains `wire` and `DativeFunction::ALL`; `causal-edge` gains `activation` / `novelty_wisdom` accessors.

## 2026-10-16 — board catch-up for merged PRs #1388–#1588 (in PR)

- **`PR_ARC_INVENTORY.md`:** 115 merged PRs between #1388 and #1588 had no entry; each now has one, written from its description and file list, in date order. Hygiene-only PRs (#1527, #1528, #1563, #1568, #1583) get none, per the termination clause.
Expand Down
7 changes: 7 additions & 0 deletions .claude/board/PR_ARC_INVENTORY.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,10 @@
## 2026-10-16 — lance-graph PR #1590 (merged `2a6d502d`, branch `ccr-9f3b8075-74u47l-violation-banners`, head `d43a6ac5`, 1 commit) — board: mark the gather designs as violations; point at D-HOLO H14c/H14d

- **Added:** capital-letter VIOLATION banners on plans `wcoj-closing-atoms-v1`, `quack-multitable-bind-v1`, `metta-datalog-assimilation-v1-council-v3`, the D-CMR-5 row, the joins line of `relalg-v1`; entries `wcoj-closing-atoms-council`, `wcoj-probes-1-3`, `coresearch-wcoj-leapfrog`, `asm-accepted-proposals`; STATUS rows D-QMB-0..5, D-ASM-11/11A/11B, D-CMR-5, D-RA-4; both 2026-10-16 INTEGRATION_PLANS entries; `TD-NO-BOUNDED-U32-GATHER-1`. Each names `d-holo-h14c-thought-first-v1.md` and `d-holo-h14d-logic-mask-read-v1.md` as the correct plans.
- **Locked:** a read at a position taken from another lane's values (gather, foreign lanes, the preimage hop) is a violation; nothing is deleted.
- **Deferred / open:** the gather surface that already exists in code is a separate change.
- **Confidence:** n/a (board).

## 2026-10-16 — lance-graph PR #1588 (merged `399c8558`, branch `ccr-9f3b8075-74u47l-cats-validity`, head `ba4d0b19`, 3 commits) — sap: optional CATS code fields bind three-valued through validity planes

- **Added:** `CatsBatch::bind` builds one validity plane per optional `U32` field (`OPTIONAL_CODE_FIELDS = [6, 7, 8, 16, 20, 21]`, unit test pins it against `FIELDS`); `CatsBatch::masks(live)` returns live first, then the validity planes; `CatsBinder::field` binds optional fields with `validity: Some(validity_mask(..))`. Files: `lance-graph-sap` `bind.rs`, `binder.rs`, `tests/binder.rs`; two hypothesis notes in `lance-graph-glove-parity` `basis.rs`; `LATEST_STATE.md`, `PR_ARC_INVENTORY.md`.
Expand Down
22 changes: 22 additions & 0 deletions .claude/board/STATUS_BOARD.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,25 @@
## D-CGW — CE64 grammar wiring: every upper-half field of a parsed triple from its source (2026-10-16)

Plan: `.claude/plans/ce64-grammar-wiring-v1.md`. Entry: `entries/2026-10-16-grammar-coordinates-annotation-wiring.md` §7–§11. Related: D-SMD-2 (grammar topology from Haspelmath maps), D-SAG-CF-1 (counterfactual contract), D-LXC-29 (8 rails), EW64 OD-5.

| D-id | scope | status | gate / falsifier |
|---|---|---|---|
| **D-CGW-0** | `deepnsm-v2::wire`: CE64 0..63 from named sources; Gadamer gate before counting; W = Markov arc in `WitnessTable<64>`; activation = update-caused frequency change; 43..45 = Haspelmath function; Antecedent / TEKAMOLO / Quorum / Contradiction loci; qualia register; `wired_reasoning_probe` | In PR | 229 tests; probe 741 rows, 5 rules, 0 violations; disable runs red per entry §7–§11 |
| **D-CGW-1** | one global meaning per CE64 field, held in the `causal-edge` contract (no per-tenant readings; superseded the same day); amend 43..45 to orientation with all triad readers migrated | Queued | one code table shared by accessor, writer and readers; field isolation 43..49. **Gate:** wire edges stay in the probe until this lands |
| **D-CGW-2** | frequency-ranked default reading (COCA, DeReKo) + antecedent-tested promotion of the alternative (relative pronoun) with agreement | Queued | `der Mann, der …` promoted; `der Mann gab der Frau …` silent; English `that` promoted without a COCA Rel tag |
| **D-CGW-3** | case morphology decides argument order in the parser (`Den Hund biss der Mann`) | Queued | OVS flips, SVO unchanged, syncretic case unresolved; UD German GSD dev measured |
| **D-CGW-4** | counterfactual lanes: `CausalCandidate` → `Causes` only with `IncreaseEligible` ∧ `Necessary` | Queued | necessary / dispensable / not-run triple |
| **D-CGW-5** | concessive markers as gate resistance and refuted implication | Queued | marked vs unmarked contest |
| **D-CGW-6** | witness arcs across 63-row cohorts (196/741 probe rows broke) | Queued | arc walk across cohorts; `arc_breaks` 0 for the fixture |
| **D-CGW-7** | loci 24 → 32 × i4 over the full 16-byte lane | Queued | envelope audit; field isolation over 32 slots |
| **D-CGW-8** | S/P/O identity as 8 × u8:u8 rails beside the u8 palette | Queued | decision: palette stays in 0..23 |
| **D-CGW-9** | 46..49 stays the ISA inference mantissa (law); activation moves out of the edge until the contract gives it a field | Queued | every wire edge decodes through the mantissa decoder as the inference it states |
| **D-CGW-10** | `ce64-semantic-upper-half.md`: the grammar reading of 43..45 declared beside the triad | Queued | doc only |
| **D-CGW-11** | Judicantis and multifunctional forms without a lane: measure before adding context rules | Queued | measurement on a corpus with attested forms |
| **D-CGW-12** | word → qualia index source (WordNet × Jina) | Deferred (operator) | — |
| **D-CGW-13** | all oracles (Java OpenNARS, ONA, MeTTa, OpenCog, MORK) read out on the same CE64 fields | Queued | D-ORACLE readout |
| **D-CGW-14** | OpenPSI modulators as a qualia device profile into the #1571 PCS (demands stay goals) | Queued | — |

## Catch-up (2026-10-16) — D-ids named by merged PRs that had no row

Found by the PR-arc catch-up over #1388–#1588. HubSPO-rs D-ids (D-IAM-2, D-IAM-3, D-QRY-1) belong to that repo's board; D-K16 and D-V3M were renamed in their own PRs (to D-KEY16, D-HPR).
Expand Down
Loading
Loading