@hypercarrier/rarebit 0.5.1 → 0.6.0

package/CHANGELOG.md

@@ -1,5 +1,20 @@
 # Changelog
 
+## 0.6.0 — 2026-10-29
+
+- Retire the attention presentation of the `needs_attention` Summary status.
+  It now reads as an ordinary Summary: no `◆!` mark, no "needs you" label, and
+  no attention tone. The status and its classifier stay unchanged. The Recap
+  heading reads `Recap·summarized·…`.
+
+## 0.5.2 — 2026-10-15
+
+- Add a development-only simulator lane (`npm run test:sim`) that runs real
+  Rarebit selection, materialization, Recall, compaction and tree navigation on
+  the shared HyperCarrier Pi simulator. It needs the HyperCarrier workspace.
+  `sim/` is not in the npm package. The lane found no Rarebit product bug.
+- Move the selection monitor tests into `test/`.
+
 ## 0.5.1 — 2026-10-12
 
 - Document the release privacy gate as the baseline range scan in `RUNBOOK.md`

package/README.md

@@ -400,6 +400,16 @@ Use [GitHub Issues](https://github.com/deephbz/rarebit/issues) for normal
 support. Include no Session prose, credentials, or Recall files in public
 reports.
 
+## Development verification
+
+`npm ci && npm test` runs standalone unit and selection checks. The private
+R&D simulator lane uses HC's shared `@hypercarrier/pi-sim`; it does not enter
+Rarebit's root install or published artifact. Run `npm run test:sim` in the HC
+workspace or set `HC_PI_SIM_PATH` to an installed simulator package root.
+Run `npm run test:sim:campaign` for the longer seeded campaign.
+[Simulator scope, setup, properties, replay, and results](sim/README.md) remain
+repository-only development artifacts. No real provider credentials are needed.
+
 ## Release and source history
 
 Rarebit is released from an immutable version tag by

package/VISUAL-LANGUAGE.md

@@ -61,9 +61,9 @@ The scopes are deliberately different: Session-history events are repeatable, ti
     </tr>
     <tr>
       <td><code>needs_attention</code></td>
-      <td><span style="color: #9a3412; background: #fff7ed">◆!</span> needs you</td>
-      <td>◆! needs you</td>
-      <td>attention</td>
+      <td><span style="color: #334155">summarized</span></td>
+      <td>summarized</td>
+      <td>ordinary</td>
     </tr>
     <tr>
       <td><code>ineligible</code></td>
@@ -82,8 +82,8 @@ The scopes are deliberately different: Session-history events are repeatable, ti
 
 There is one user-message category, and every selected user message uses the same visual role. The smaller solid continuation dot means work continues. The larger solid stop circle marks a reported response boundary, not verified completion. Supporting intervals paint first, then continuations, stops and errors, and user messages last. Selection adds a halo without replacing the canonical mark.
 
-Summary reasons such as `decision`, `blocker`, or `unfinished` are secondary text, never new colors or shapes. Summary prose uses normal body styling. Attention is the only Summary result with a high-salience mark or optional sound. Finished has no green, checkmark, or success treatment because it is an appearance-level Session assessment, not proof that a Task, Project, tool run, or delivery succeeded. Error is diagnostic and never produces the attention sound.
+Summary reasons such as `decision`, `blocker`, or `unfinished` are secondary text, never new colors or shapes. Summary prose uses normal body styling. No Summary result has a high-salience mark, color, or sound. `needs_attention` is an ordinary result: show the Summary text, not an attention label. Owner attention comes from other sources, such as Arc asks and runtime facts. Finished has no green, checkmark, or success treatment because it is an appearance-level Session assessment, not proof that a Task, Project, tool run, or delivery succeeded. Error is diagnostic.
 
-Synchronization and applicability qualify a result; they are not additional statuses. Append `· source pending` when applicable, expose detailed sync/applicability in an inspector, and withhold the attention mark and sound until readable native evidence confirms a current result. Never publish `syncing` as a Summary status. Consumers support only the current package projection and don't translate unsupported receipt shapes into visual meaning.
+Synchronization and applicability qualify a result; they are not additional statuses. Append `· source pending` when applicable, expose detailed sync/applicability in an inspector. Never publish `syncing` as a Summary status. Consumers support only the current package projection and don't translate unsupported receipt shapes into visual meaning.
 
 Every mark has an accessible text label. Do not rely on color, hover, or sound. A muted monochrome snapshot may use lighter weight or terminal `dim`, but its text must remain readable and meet WCAG 2.2 AA where applicable. Terminal renderers preserve the monochrome mark and label with the closest theme-safe ANSI treatment. Consumers import the package mapping rather than inventing another one, cite this file for perceptual intent, and keep application layout local.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hypercarrier/rarebit",
-  "version": "0.5.1",
+  "version": "0.6.0",
   "description": "Sparse, provenance-bearing conversational evidence recovery for Pi sessions.",
   "license": "MIT",
   "author": "HyperCarrier contributors",
@@ -29,6 +29,9 @@
   },
   "scripts": {
     "test": "node --test test/*.test.mjs",
+    "test:sim": "node --test sim/*.test.mjs",
+    "test:sim:campaign": "RAREBIT_SIM_RUNS=100 node --test sim/*.test.mjs",
+    "test:sim:replay": "node sim/replay.mjs",
     "test:e2e:tui": "node scripts/e2e-v020-pi.mjs",
     "test:e2e:summary-cache": "node scripts/e2e-summary-cache.mjs",
     "test:e2e:recall": "node scripts/e2e-recall-pi0842.mjs",
@@ -55,6 +58,7 @@
     "@earendil-works/pi-coding-agent": "0.84.2",
     "@earendil-works/pi-tui": "0.84.2",
     "ajv": "^6.15.0",
+    "fast-check": "^4.10.2",
     "typescript": "^5.9.3"
   },
   "pi": {

package/src/rarebit-visual-language.mjs

@@ -1,6 +1,7 @@
 // Executable projection of the perceptual contract in ../VISUAL-LANGUAGE.md.
 // Consumers own layout and renderer-specific styling; this module owns semantic
-// marks, labels, tones, and source-pending attention gating.
+// marks, labels, tones, and the source-pending qualifier. No Summary status has an
+// attention presentation: `needs_attention` reads as an ordinary Summary.
 
 export const RAREBIT_EVENT_PRESENTATION = Object.freeze({
   user_message: Object.freeze({
@@ -43,10 +44,10 @@ export const RAREBIT_SUMMARY_PRESENTATION = Object.freeze({
     salience: "ordinary",
   }),
   needs_attention: Object.freeze({
-    mark: "◆!",
-    label: "needs you",
-    tone: "attention",
-    salience: "attention",
+    mark: null,
+    label: "summarized",
+    tone: "neutral",
+    salience: "ordinary",
   }),
   ineligible: Object.freeze({
     mark: null,
@@ -101,10 +102,5 @@ export function rarebitSummaryPresentation(
     ...presentation,
     mark: null,
     label: `${presentation.label} · source pending`,
-    tone: presentation.tone === "attention" ? "neutral" : presentation.tone,
-    salience:
-      presentation.salience === "attention"
-        ? "ordinary"
-        : presentation.salience,
   });
 }

package/src/types.d.ts

@@ -199,7 +199,6 @@ export type RarebitVisualTone =
   | "user"
   | "continuation"
   | "boundary"
-  | "attention"
   | "diagnostic"
   | "muted";
 export type RarebitEventKind =
@@ -213,7 +212,6 @@ export type RarebitVisualPresentation = {
     | "smaller"
     | "larger"
     | "ordinary"
-    | "attention"
     | "muted"
     | "diagnostic";
 };

package/test/automatic-summary-policy.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import { mkdir, mkdtemp, readFile, writeFile } from "node:fs/promises";
 import { tmpdir } from "node:os";

package/test/extension-activity.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import test from "node:test";
 

package/test/helpers/selection-monitor.mjs

@@ -0,0 +1,10 @@
+// Independent observation of the prose-selection contract; no simulator needed.
+import assert from 'node:assert/strict';
+export function expectedProse(branch) {
+  return branch.filter(e => e.type === 'message' && (e.message.role === 'user' || (e.message.role === 'assistant' && ['stop', 'toolUse'].includes(e.message.stopReason))))
+    .map(e => ({ id: e.id ?? e.message.id ?? null, text: typeof e.message.content === 'string' ? e.message.content : (e.message.content ?? []).filter(b => b.type === 'text' && typeof b.text === 'string').map(b => b.text).join('\n'), readable: typeof e.message.content === 'string' || (e.message.content ?? []).some(b => b.type === 'text' && typeof b.text === 'string') }))
+    .filter(e => e.readable).map(({ id, text }) => ({ id, text }));
+}
+export function checkSelection(selection, branch) {
+  assert.deepEqual(selection.occurrences.map(o => ({ id: o.sourceEntryId, text: o.text })), expectedProse(branch), 'R1 selection contract');
+}

package/test/herdr-activity.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import test from "node:test";
 

package/test/home-guard.test.mjs

@@ -0,0 +1,26 @@
+import "./home.mjs";
+import assert from "node:assert/strict";
+import { readdirSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import test from "node:test";
+import { Worker } from "node:worker_threads";
+
+const root = join(import.meta.dirname, "..");
+
+test("HOME guard: every test file imports test/home.mjs first", () => {
+  const missing = [];
+  for (const dir of ["test", "sim"]) for (const name of readdirSync(join(root, dir))) {
+    if (!name.endsWith(".test.mjs")) continue;
+    const first = readFileSync(join(root, dir, name), "utf8").match(/^import\b.*$/m)?.[0];
+    if (first !== `import "${dir === "test" ? "./home.mjs" : "../test/home.mjs"}";`) missing.push(`${dir}/${name}`);
+  }
+  assert.deepEqual(missing, []);
+});
+
+// Bun caches os.homedir() at start, so a runtime HOME never reaches it. A worker thread is the same case under
+// Node: its HOME stays in its own process.env copy.
+test("HOME guard: a process whose os.homedir() does not follow HOME stops before any test code runs", async () => {
+  const worker = new Worker(new URL("./home.mjs", import.meta.url));
+  const error = await new Promise((resolve) => { worker.once("error", resolve); worker.once("exit", () => resolve(undefined)); });
+  assert.match(String(error), /HOME isolation failed: .* No test code ran\./);
+});

package/test/home.mjs

@@ -0,0 +1,16 @@
+// Test HOME isolation: import this module first in every test file, or load it as a Vitest setup file. It gives the
+// test process a fresh HOME and proves that os.homedir() follows it before any test code runs. Bun caches
+// os.homedir() at start, so a HOME set at runtime does not reach it; on 2026-10-29 a Bun test run wrote the
+// operator's ~/.pi this way. scripts/verify-test-home.mjs keeps every copy of this file identical.
+import { mkdtempSync, realpathSync, rmSync } from "node:fs";
+import { homedir, tmpdir, userInfo } from "node:os";
+import { join } from "node:path";
+
+const home = mkdtempSync(join(tmpdir(), "hc-test-home-"));
+process.once("exit", () => rmSync(home, { recursive: true, force: true }));
+process.env.HOME = home;
+// Pi paths then default inside the fresh HOME; a test that needs an agent directory sets its own.
+delete process.env.PI_CODING_AGENT_DIR;
+const resolved = realpathSync(homedir()), operator = realpathSync(userInfo().homedir);
+if (resolved !== realpathSync(home) || resolved === operator)
+	throw new Error(`HOME isolation failed: os.homedir() is ${resolved}, HOME is ${home}, the operator HOME is ${operator}. This runtime does not follow a HOME set at runtime; run the tests under Node. No test code ran.`);

package/test/lifecycle-contract-independent.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import { access, mkdtemp } from "node:fs/promises";
 import { tmpdir } from "node:os";

package/test/package-artifact-identity.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import test from "node:test";
 import assert from "node:assert/strict";
 import { execFileSync, spawnSync } from "node:child_process";

package/test/piq.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import test from "node:test";
 import assert from "node:assert/strict";
 import { readFile, writeFile, mkdtemp, rm } from "node:fs/promises";

package/test/rarebit-activity.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import test from "node:test";
 

package/test/rarebit-artifact-state.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import test from "node:test";
 

package/test/rarebit-btw.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import { mkdtemp, readFile, rm, stat } from "node:fs/promises";
 import { tmpdir } from "node:os";

package/test/rarebit-cli.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import test from "node:test";
 import assert from "node:assert/strict";
 import { mkdtemp, mkdir, writeFile } from "node:fs/promises";

package/test/rarebit-command.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import test from "node:test";
 

package/test/rarebit-core.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import test from "node:test";
 import assert from "node:assert/strict";
 import { mkdtemp, mkdir, readFile, writeFile } from "node:fs/promises";

package/test/rarebit-cross-consumer-conformance.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import { mkdtemp, readFile, writeFile } from "node:fs/promises";
 import { tmpdir } from "node:os";

package/test/rarebit-fork.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import { readFile } from "node:fs/promises";
 import { mkdtemp } from "node:fs/promises";

package/test/rarebit-independent-contract.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import { mkdir, mkdtemp, writeFile } from "node:fs/promises";
 import { tmpdir } from "node:os";

package/test/rarebit-recall.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import {
   mkdir,

package/test/rarebit-recap.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import { mkdir, mkdtemp, readFile, writeFile, rm } from "node:fs/promises";
 import { tmpdir } from "node:os";

package/test/rarebit-settings-ui.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import { mkdir, mkdtemp, readFile, writeFile } from "node:fs/promises";
 import { tmpdir } from "node:os";
@@ -192,7 +193,7 @@ test("recap renders the human label and converts the receipt timestamp to the co
   const result = await controller.showExisting(context);
   assert.equal(result.shown, true);
   const heading = widgets[0]({ requestRender() {} }, { fg: (_name, text) => text }).render(200).find((line) => line.includes("Recap·")).trim();
-  assert.match(heading, /^(?:◆!)?Recap·needsyou·01\/01 08:00\(GMT\+8\)/);
+  assert.match(heading, /^Recap·summarized·01\/01 08:00\(GMT\+8\)/);
   assert.doesNotMatch(heading, /as of|2026|Asia\/Hong_Kong/);
   assert.doesNotMatch(heading, /Rarebit Summary/);
 });

package/test/rarebit-sidecar-protocol.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import test from "node:test";
 import {

package/test/rarebit-v020.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import { mkdir, mkdtemp, readFile, writeFile } from "node:fs/promises";
 import { tmpdir } from "node:os";

package/test/rarebit-view.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import test from "node:test";
 import { createRequire } from "node:module";

package/test/rarebit-visual-language.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import test from "node:test";
 import assert from "node:assert/strict";
 import {
@@ -37,7 +38,7 @@ test("event presentation preserves the canonical occurrence grammar", () => {
   assert.equal(rarebitEventPresentation("terminal_error").mark, "×");
 });
 
-test("Summary presentation keeps ordinary outcomes neutral and attention singular", () => {
+test("Summary presentation keeps every outcome neutral, needs_attention included", () => {
   assert.deepEqual(rarebitSummaryPresentation("finished"), {
     mark: null,
     label: "appears finished",
@@ -45,16 +46,16 @@ test("Summary presentation keeps ordinary outcomes neutral and attention singula
     salience: "ordinary",
   });
   assert.deepEqual(rarebitSummaryPresentation("needs_attention"), {
-    mark: "◆!",
-    label: "needs you",
-    tone: "attention",
-    salience: "attention",
+    mark: null,
+    label: "summarized",
+    tone: "neutral",
+    salience: "ordinary",
   });
   assert.deepEqual(
     rarebitSummaryPresentation("needs_attention", { sourcePending: true }),
     {
       mark: null,
-      label: "needs you · source pending",
+      label: "summarized · source pending",
       tone: "neutral",
       salience: "ordinary",
     },

package/test/recap-read-checkpoint.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import test from "node:test";
 import { mkdtemp, rm } from "node:fs/promises";

package/test/simulator-selection.test.mjs

@@ -0,0 +1,32 @@
+import "./home.mjs";
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import fc from 'fast-check';
+import { selectRarebits } from '../src/rarebit-core.mjs';
+import { parseNativeSession, resolveActiveBranch } from '../src/rarebit-session.mjs';
+import { checkSelection } from './helpers/selection-monitor.mjs';
+
+test('R1 exhaustive role/outcome/content pairs; R8 old and current native formats', () => {
+  const entries = [];
+  for (const role of ['user', 'assistant', 'toolResult']) for (const stopReason of ['stop', 'toolUse', 'error', 'aborted', 'length', undefined]) for (const content of ['prose', [{ type: 'text', text: 'prose' }, { type: 'thinking', thinking: 'private reasoning' }], [{ type: 'toolCall', id: 'synthetic', name: 'read', arguments: {} }], []]) entries.push({ type: 'message', message: { role, stopReason, content } });
+  let count = 0;
+  for (const a of entries) for (const b of entries) {
+    const branch = [a, b].map((e, i) => ({ ...e, id: `e${i}`, parentId: i ? 'e0' : null }));
+    checkSelection(selectRarebits(branch), branch); count++;
+  }
+  assert.equal(count, 5184);
+  for (const version of [1, 2, 3]) {
+    const branch = entries.map((e, i) => ({ ...e, id: `e${i}`, parentId: i ? `e${i-1}` : null, legacyExtra: 'retained' }));
+    const original = JSON.stringify([{ type: 'session', id: 'synthetic-old', version }, ...branch]);
+    const parsed = parseNativeSession(JSON.parse(original).map(e => JSON.stringify(e)).join('\n'));
+    checkSelection(selectRarebits(resolveActiveBranch(parsed)), branch);
+    assert.equal(JSON.stringify([parsed.header, ...parsed.entries]), original, 'R8 no read-time migration');
+  }
+});
+
+test('R1/R8 fast-check mixed native evidence with shrinking', () => {
+  fc.assert(fc.property(fc.array(fc.record({ role: fc.constantFrom('user', 'assistant', 'toolResult'), stopReason: fc.constantFrom('stop', 'toolUse', 'error', 'aborted'), text: fc.string({ maxLength: 100 }) }), { maxLength: 30 }), records => {
+    const branch = records.map((r, i) => ({ type: 'message', id: `e${i}`, parentId: i ? `e${i-1}` : null, message: { role: r.role, stopReason: r.stopReason, content: [{ type: 'text', text: r.text }] } }));
+    checkSelection(selectRarebits(branch), branch);
+  }), { seed: 20261015, numRuns: 100 });
+});

package/test/summary-attention-independent.test.mjs

@@ -1,3 +1,4 @@
+import "./home.mjs";
 import assert from "node:assert/strict";
 import Ajv from "ajv";
 import { readFileSync } from "node:fs";