Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
1 change: 1 addition & 0 deletions .claude/board/LATEST_STATE.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,7 @@

| PR | Merged | Title | What it added |
|---|---|---|---|
| **#459** | 2026-06-03 | feat(helix): golden-spiral Place/Residue codec (zero-dep + optional ndarray-hpc) | **`crates/helix`** — new standalone codec realising the Place/Residue `KNOWLEDGE.md` (HHTL = PLACE, helix = orthogonal RESIDUE). `HemispherePoint` (√u equal-area placement) → `CurveRuler` (stride-4-over-17) → `Similarity` (Fisher-Z/arctanh) → `RollingFloor` (256-palette; occupancy-drift + version stamp) → 3-byte `ResidueEdge` + `DistanceLut` (metric-safe 256×256 L1) + `prove()` (2-D discrepancy companion to `jc::weyl`). Zero-dep default (empty `[workspace]`, root `exclude`); optional `ndarray-hpc` = batch Fisher-Z via `simd_ln_f32`. 63 unit + 6 doctests green both configs; clippy/fmt clean. ~80% clean-room overlap with CERTIFIED primitives (E-HELIX-OVERLAP / TD-HELIX-OVERLAP-1). Merge commit `ef35ff1`. Branch `claude/gallant-rubin-Y9pQd`. |
| **#450** | 2026-06-01 | NAL syllogism capstone + atoms/styles/NAL → planner-DTO unification (A1/A2) | **`causal-edge::syllogism`** — hardwired NAL **figure** resolver (`Figure{Chain,ChainRev,SharedSubject,SharedObject}` + `figure()`/`syllogize()`; SPO term-sharing → Deduction/Induction/Abduction + signed mantissa; the reasoning kernel, Pearl-2³-analogue). **A1** `contract::nars::InferenceType::{to,from}_mantissa` (zero-dep cross-crate rule bridge) + `From<grammar::NarsInference>`. **A2** `rung: RungLevel` on both `ThinkingContext` structs (the meta-aware handle). Unification spec §0–14 (`.claude/specs/atoms-styles-nal-planner-dto-unification-v1.md`) + **vart vendored** (`/home/user/vart`). Branch `claude/jolly-cori-clnf9`. _(PR_ARC #450 entry owed.)_ |
| **#411** | 2026-05-27 | Cognitive substrate: locked 33-TSV atom layer + 34-tactic recipes + escalation loop | **D-PERSONA-1** `contract::escalation` + `planner::mul::escalation` (CollapseHint/InnerCouncil/EpiphanyDetector/GhostEcho/WisdomMarker/Checklist, 13 tests). **`contract::atoms`** — LOCKED 33-dim TSV `CANONICAL_ATOMS` (3 Pearl + 9 Rung + 5 Σ + 8 Ops + 4 Presence + 4 Meta) + `I4x32` carrier. **`contract::recipes`** — 34-tactic metadata catalogue. **`contract::recipe_kernels`** — the 34 tactics as 34 `Tactic` impls + registry over a shared `ThoughtCtx`. Charter D0: **ladybug-rs has no relation, rewrite-not-port**; lattice is **SPOQ** (SPO 2³ causal + Q qualia overlay); business = OGIT sidecar; markers gate the datapath/control/gate partition. Green: escalation 13 / atoms 3 / recipes 4 / recipe_kernels 5 + 446 prior, no warnings. Branch `claude/splat3d-cpu-simd-renderer-MAOO0` (39 commits). See PR_ARC #411. |
| **#389** | 2026-05-16 | fix(sprint-12/wave-F): codex P2 — AttentionMaskBackend impl for AttentionMaskSoA + canonical MailboxId import | Codex P2 follow-on to PR #388. Adds `AttentionMaskBackend` trait impl for `AttentionMaskSoA` (Wave-F surface coherence) and converges duplicate `MailboxId` imports onto the canonical contract definition. Merge commit `b526485`. |
Expand Down
25 changes: 25 additions & 0 deletions .claude/board/PR_ARC_INVENTORY.md
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,31 @@

---

## #459 helix-place-residue-codec — golden-spiral Place/Residue codec (zero-dep + optional ndarray-hpc)

**Status:** MERGED 2026-06-03 (merge commit `ef35ff1`), branch `claude/gallant-rubin-Y9pQd`. New standalone crate; autoattended wave (5 read-only research agents + 4 parallel Sonnet leaf workers + central consolidation). 63 unit + 6 doctests green on both feature configs; clippy -D warnings + fmt clean. One CodeRabbit review round resolved pre-merge.

**Added:**
- `crates/helix` (NEW standalone crate, zero-dep default, `edition 2021`, empty `[workspace]`, root `Cargo.toml` `exclude`) — the Place/Residue codec from `crates/helix/KNOWLEDGE.md`. Modules: `constants` (φ/γ/e + M=17/stride=4/ln 17), `placement` (`HemispherePoint::lift` — √u equal-area hemisphere), `curve_ruler` (`CurveRuler` — stride-4-over-17 arc from the HHTL place offset), `fisher_z` (`Similarity::{fisher_z,hyperbolic_depth}` — arctanh), `quantize` (`RollingFloor` — 256-palette, occupancy-drift + floor-version stamp), `distance` (`DistanceLut` — metric-safe 256×256 L1), `residue` (`ResidueEncoder::encode → ResidueEdge` 3-byte endpoint pair; `distance_adaptive` metric-safe / `distance_heuristic` non-metric), `prove` (2-D discrepancy companion to `jc::weyl`), `simd` (optional `ndarray-hpc` batch Fisher-Z via `ndarray::simd::simd_ln_f32`).
- `ndarray-hpc` feature (optional `dep:ndarray` → the AdaWorldAPI fork at `../../../ndarray`; the default build needs none of it).

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Avoid claiming the default build needs no ndarray checkout

In a clean checkout where the sibling ../../../ndarray repo is absent, the documented default command still fails before feature selection because Cargo loads the optional path dependency manifest (failed to read /workspace/ndarray/Cargo.toml). This makes the new PR arc misleading for anyone trying to reproduce the stated zero-dep/default validation without the update-script-provided sibling checkout; either the doc should state that the checkout is still required for manifest resolution, or the dependency wiring needs to avoid a mandatory local path.

Useful? React with 👍 / 👎.


**Locked:**
- **HHTL = deterministic PLACE; helix = orthogonal RESIDUE** (new doctrine, zero prior hits). The genuinely-new contributions are this split + the `r=√u`, `Y=√(1−r²)` equal-area hemisphere placement.
- **γ hand-off operation order is fixed bit-for-bit:** `aligned = (z × STRIDE) + γ·(rank/N − ln 17)` then quantise (resolves `KNOWLEDGE.md` Open Item #2).
- **Metric-safety layer discipline** (inherited from bgz17): `distance_adaptive` = L1 on the linear endpoint index order (a metric, CAKES-safe, triangle-inequality regression-tested); `distance_heuristic` = non-metric byte-Hamming pre-filter only.
- **Stride-4-over-17 is coprime → full permutation;** the banned Fibonacci-mod-17 (misses {6,7,10,11}) is NOT used.
- **Local float consts:** `const::simd::{GOLDEN_RATIO,EULER_GAMMA,E}` does not exist (canonical is `std::f64::consts`); helix uses local literals (`E` from `std`, the others literal for toolchain-robustness, mirroring `jc::weyl`'s `PHI_INV`).

**Deferred:**
- **TD-HELIX-OVERLAP-1** — ~80% of the pipeline re-derives existing (in places CERTIFIED ρ≥0.999) primitives (`bgz-tensor::{projection::Base17Fz, fisher_z::FamilyGamma}`, `jc::weyl`, `thinking-engine::reencode_safety`, `bgz17::palette`); shipped as a user-directed zero-dep clean-room substrate. Consolidation path in `KNOWLEDGE.md` § Overlap & Consolidation.
- **Fidelity probe owed:** the naive-u8 floor gate (≥0.9980 Pearson vs ground truth) is CONJECTURE — NOT RUN; required before promotion past clean-room status.

**Docs:** `crates/helix/KNOWLEDGE.md` (concept-preservation spec + Implementation Map + Overlap & Consolidation); board — LATEST_STATE (blockquote + table row), STATUS_BOARD D-HELIX-1, EPIPHANIES E-HELIX-OVERLAP, TECH_DEBT TD-HELIX-OVERLAP-1, AGENT_LOG.

**Confidence (2026-06-03):** working — both feature configs green, clippy/fmt clean; 2 CodeRabbit findings (public-API NaN guard in `lift`, f32 clamp-epsilon no-op in `batch_fisher_z`) fixed pre-merge with boundary tests.

---

## #441 odoo-classes-bitmask-render (D-CLS arc) — classes as a SoA-view with presence bitmask

**Status:** MERGED 2026-05-31 (merge commit `a77e119`), branch `claude/sleepy-cori-aRK2x`. 5 feature slices + 4 review-round fixes; 973 insertions, purely additive (0 deletions). Built AFTER a council + brutal-honest review of the #440 *plan* caught 3 P0 factual errors — these slices sidestep them by construction.
Expand Down