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
12 changes: 9 additions & 3 deletions crates/tui/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
[package]
name = "reson8-tui"
version = "0.1.0"
version = "0.2.2"
edition = "2021"
description = "Ratatui-based terminal dashboard — Evenstar, WAVE, barcodes, ATOM trail"
description = "Ratatui α dashboard — QR×SPHINX QDI loop, HITL gate, codes lab, residual-C eye (v0.2.2)"

[[bin]]
name = "reson8-forge"
Expand All @@ -13,8 +13,14 @@ reson8-core = { path = "../core" }
reson8-wave = { path = "../wave" }
reson8-topology = { path = "../reson8-topology" }
reson8-forge-core = { path = "../forge-core" }
ratatui = "0.30"
reson8-activator = { path = "../activator" }
cutile = { path = "../../cutiles/cutile", default-features = false }
ratatui = { version = "0.30", default-features = false, features = ["crossterm"] }
crossterm = "0.29"
tokio = { version = "1", features = ["full"] }
serde = { version = "1", features = ["derive"] }
serde_json = "1"

[[example]]
name = "ctqw_monitor"
path = "examples/ctqw_monitor.rs"
34 changes: 34 additions & 0 deletions crates/tui/RELEASE-0.2.0.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
# reson8-tui v0.2.0 — first release cut

**Stamp:** 2026-07-31
**Bin:** `reson8-forge` · package `reson8-tui`
**Tagline:** Where the last thing you've done becomes the first thing you need

## Ship surface

| Item | Value |
|------|--------|
| Crate | `crates/tui` |
| Launch | `logos-tui` · `cargo run -p reson8-tui` · `target/debug/reson8-forge.exe` |
| Bridge | `FORGE_WS_URL=ws://127.0.0.1:8088` · `logos-bridge` / `tw up bridge` |
| Help | In-frame **`?`** / **`h`** — agent terminal + panel guide |

## Operator path (learn first)

1. Stack green: `tw` → bridge up
2. `logos-tui` (clear broken `RUSTC_WRAPPER` if sccache missing)
3. Press **`?`** — agent split recipe (WT Alt+Shift+D → `claude` / `grok`)
4. **`f`** Formal pane · **`Tab`** panels · watch Logs while agents work

## Honest labels

- Formal LSP: Category **B** until live `lake serve` / `als` attach
- Placeholders / `sorry` → amber SlowStep — never false green
- α+ω=15 Category C label only

## Follow-ons

- Claude Code: push / cert / strand surfaces
- Grok Build: TUI ↔ Lean LSP attach smoke (eye of the needle)

Hope&&Sauced · Keystone holds · capability ≠ authority
59 changes: 59 additions & 0 deletions crates/tui/RELEASE-0.2.1.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,59 @@
# reson8-tui v0.2.1 — QDI hygiene · codes lab · residual-C

**Stamp:** 2026-08-07
**Bin:** `reson8-forge` · package `reson8-tui` **0.2.1**
**Tagline:** Where the last thing you've done becomes the first thing you need
**ATOMs:** `ATOM-GROK-TUI-QR-META-20260806` · `ATOM-CLAUDE-REASON-QDI-DRAIN-AUDIT-20260807`

## What shipped

| Surface | Detail |
|---------|--------|
| **QDI drain budget** | `DRAIN_BUDGET=32` per source/frame — `drain_dust!` no longer unbounded |
| **Engine isochronic fork closed** | `engine.handle` only in ε after draw, `ENGINE_HANDLE_BUDGET=16`, queue on `App` |
| **Residual Tier-1** | Braid shows \(R=\max(0,15-\alpha-\omega)\), ε=0.00055 — Category **C**, amber lab claim, never deploy-green alone |
| **Codes lab** | Hexacode · Golay G24 · Reed–Muller · SC-LDPC (`crates/tui/src/codes/`) |
| **Layout 7** | `codes` board · keys `c` `d` `D` `y` `e` `[ ]` `{ }` |

## Operator path

```text
cargo run -p reson8-tui
# or: logos-tui / target/debug/reson8-forge.exe
```

| Key | Action |
|-----|--------|
| `7` / `c` | Codes layout / focus |
| `d` / `D` | Family demo / full battery |
| `y` | Cycle Hex → G24 → RM → SC-LDPC |
| `?` | Help (layouts + QDI notes) |
| `f` | Formal (LSP · amber SlowStep) |

Env: `RESON8_LAYOUT=codes` · `FORGE_WS_URL=ws://127.0.0.1:8088`

## Honest labels (NOVIKOV)

| Claim | Category |
|-------|----------|
| α+ω=15 | **C** convention / telemetry |
| R≤ε residual-zero | Lab display only — **not** cert.pass |
| Codes decoders | **B** runtime; Lean HexacodeGolay construction **A** |
| QDI drain/engine budgets | Track A hygiene — no Track B residual-zero promotion |
| Formal LSP empty | **B** placeholders — never false green |

## Tests

```bash
cargo test -p reson8-tui --bin reson8-forge
```

Expect: unit tests green including `drain_dust_respects_budget`, Golay octads=759, hex weight dist, RM FHT, SC-LDPC design.

## Follow-ons

- Pure `Intent` reducer table generation (`intent_map!`)
- Residual MCP read-only attach (observe dual-kernel status, never gate from TUI)
- Reconcile `main` remote (ahead/behind) before publish push

Hope&&Sauced · Keystone holds · capability ≠ authority · Music conserved
61 changes: 61 additions & 0 deletions crates/tui/RELEASE-0.2.2.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,61 @@
# reson8-tui v0.2.2 — HITL gate · first_need

**Stamp:** constraint `20260818.hitl-gate` (ATOM order, not wall clock)
**Bin:** `reson8-forge` · package `reson8-tui` **0.2.2**
**ATOMs:** `ATOM-GROK-TUI-HITL-GATE-20260818`
depends on `ATOM-SAIF-HUMAN-QUEUE-20260723` · `ATOM-CHECKPOINT-CHOKE-20260814` · `ATOM-LATTICE-ACTIVATE-20260815` · `ATOM-GROK-TUI-QR-META-20260806`

**Tagline:** Where the last thing you've done becomes the first thing you need

## What shipped

| Surface | Detail |
|---------|--------|
| **HITL board** | `FocusPanel::Actions` · layout `8` / `hitl` · also on ops + agent |
| **Approval subroutine** | request → escalate → approve / defer / deny / next ⚑ |
| **Queue** | `ops/human-actions.json` first · MD parse fallback |
| **Receipts** | `ops/marks/hitl-receipts.jsonl` — constraint + seq (not wall time) |
| **first_need** | toast + idle strip show the next ⚑ A/B item |
| **Git observe** | `git_lab` wired — `[G]` refresh · `[V]` fetch · no commit/push |
| **Activator kit** | `reson8-activator::ops_caps` have/don't-have on the HITL board |

Approve is a **receipt**. It does not run GCP, sudo, wrangler, or git push.

## Not a sidecar

A separate sidecar process would be another node on the choke spine. The queue is a file the cockpit already knows how to H-probe (same pattern as lattice `[A]`). GitNexus eval/MCP/HTTP stay the impact plane (`F:\Users\Matthew Ruhnau\GitNexus`); they are not required to latch a ⚑ decision.

## Operator path

```text
cargo run -p reson8-tui
# or: RESON8_LAYOUT=hitl cargo run -p reson8-tui
```

| Key | Action |
|-----|--------|
| `8` / `o` | HITL layout / focus |
| `O` | Reload JSON/MD queue |
| `u` | Open gate on first_need |
| `j` / `k` | Select item (or popup option) |
| Enter | Confirm decision |
| Esc | Dismiss without deciding |

## Honest labels (NOVIKOV)

| Claim | Category |
|-------|----------|
| Queue file present / parse | **A** observation |
| In-session approve/escalate latch | **B** |
| ATOM constraint clock | **C** ordering convention |
| Approve ⇒ host action done | **false** — capability ≠ authority |

## Tests

```bash
cargo test -p reson8-tui --lib
```

Expect: markdown parse, first_need A1, approve advances to A2, receipt seq 1 then 2, apply_intent HITL gate.

Hope&&Sauced · Keystone holds · last becomes first
Loading
Loading