@fusengine/harness 0.1.81 → 0.1.84

package/dist/tracking/index.d.mts

@@ -1,28 +1,29 @@
 import { a as recordAgent, c as recordRefRead, d as trivialCount, i as emptyTrack, l as recordTarget, n as SessionTrack, o as recordBrainstormRequired, r as agentsFresh, s as recordDoc, t as AgentQuality, u as recordTrivialEdit } from "../session-state-D5gLr66m.mjs";
 //#region src/tracking/store.d.ts
+/** Journal mode is the default; `FUSE_TRACK_JOURNAL=0` reverts to the legacy locked RMW (see the module NOTE: =0 ignores the uncompacted journal — recoverable, keep the `.log`). */
+declare function trackJournalEnabled(): boolean;
 /**
- * Load and verify a session track from a signed envelope file.
- *
- * Returns {@link emptyTrack} (fail closed) when the file is absent, corrupt, or
- * fails MAC validation — so the gates re-require real agents rather than trust a
- * forged track. Only a MAC mismatch triggers fail-closed; the nonce is advisory
- * and is never checked during load.
+ * Load a session track: the verified legacy snapshot (the migration base — an
+ * old `track-<sid>.json` with no log reads exactly as before) with the journal
+ * folded on top. Fail closed on tampering (envelope MAC, per-line MAC).
  */
 declare function loadTrack(file: string): Promise<SessionTrack>;
 /**
- * Sign and persist a session track as a tamper-evident envelope, then write the
+ * Persist a session track. Journal mode appends the diff as signed events;
+ * legacy mode signs and persists the tamper-evident envelope, then writes the
  * advisory nonce watermark.
  */
 declare function saveTrack(file: string, track: SessionTrack): Promise<void>;
 /**
- * Locked read-modify-write on a session track (the fan-out-safe way to mutate
- * it): loads under the lock, applies `mutate`, persists atomically. On lock
- * contention the write is SKIPPED (fail-open, stderr already logged) and
- * `false` is returned — a named lost write, never a crash.
+ * Mutate a session track. Journal mode: load (snapshot ⊕ log), run `mutate`,
+ * append the resulting events — lock-free, so a write is only ever lost to a
+ * genuine I/O error (reported as `false`). Legacy mode: locked RMW; on lock
+ * contention the write is SKIPPED (fail-open, stderr logged) and `false` is
+ * returned — a named lost write, never a crash.
  * @param file - The session track file.
  * @param mutate - Pure mutation over the freshly loaded track.
  * @returns True when the write landed.
  */
 declare function withTrack(file: string, mutate: (track: SessionTrack) => SessionTrack | Promise<SessionTrack>): Promise<boolean>;
 //#endregion
-export { AgentQuality, SessionTrack, agentsFresh, emptyTrack, loadTrack, recordAgent, recordBrainstormRequired, recordDoc, recordRefRead, recordTarget, recordTrivialEdit, saveTrack, trivialCount, withTrack };
+export { AgentQuality, SessionTrack, agentsFresh, emptyTrack, loadTrack, recordAgent, recordBrainstormRequired, recordDoc, recordRefRead, recordTarget, recordTrivialEdit, saveTrack, trackJournalEnabled, trivialCount, withTrack };

package/dist/tracking/index.mjs

@@ -1,2 +1,2 @@
-import { _ as trivialCount, d as recordAgent, f as recordBrainstormRequired, g as recordTrivialEdit, h as recordTarget, l as agentsFresh, m as recordRefRead, n as saveTrack, p as recordDoc, r as withTrack, t as loadTrack, u as emptyTrack } from "../store-yr_QFsZY.mjs";
-export { agentsFresh, emptyTrack, loadTrack, recordAgent, recordBrainstormRequired, recordDoc, recordRefRead, recordTarget, recordTrivialEdit, saveTrack, trivialCount, withTrack };
+import { S as trivialCount, _ as recordBrainstormRequired, b as recordTarget, g as recordAgent, h as emptyTrack, i as withTrack, m as agentsFresh, n as saveTrack, r as trackJournalEnabled, t as loadTrack, v as recordDoc, x as recordTrivialEdit, y as recordRefRead } from "../store-Dw08Amqh.mjs";
+export { agentsFresh, emptyTrack, loadTrack, recordAgent, recordBrainstormRequired, recordDoc, recordRefRead, recordTarget, recordTrivialEdit, saveTrack, trackJournalEnabled, trivialCount, withTrack };

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@fusengine/harness",
-	"version": "0.1.81",
+	"version": "0.1.84",
 	"description": "Harness-agnostic toolkit for AI coding agents: runtime harness detection (Claude Code, Codex, Cursor, Cline, Gemini, Aider...), pure policy core (env config, project/framework detection, SOLID/file-size limits, APEX freshness, guard patterns, portable prompts), cache, project memory, ref routing, state/locks, statusline, per-harness adapters (Claude/Cursor/Cline/Gemini) and a cli-mode harness-check binary. Bun-native, with a built dist for Node + bundlers.",
 	"type": "module",
 	"module": "src/index.ts",
@@ -155,7 +155,7 @@
 	},
 	"devDependencies": {
 		"@types/bun": "latest",
-		"tsdown": "^0.22.13",
+		"tsdown": "^0.22.14",
 		"typedoc": "^0.28.20",
 		"typescript": "^7.0.2"
 	},

package/dist/store-yr_QFsZY.mjs

@@ -1,437 +0,0 @@
-import { c as ttlLabel } from "./dotenv-DoqNlALG.mjs";
-import { n as fuseHarnessHome } from "./home-state-oUGFB4ds.mjs";
-import { a as writeJsonFile, i as readJsonFile } from "./json-io-DisYd2fb.mjs";
-import { i as resolveSessions } from "./doc-helpers-CWZegVdR.mjs";
-import { t as routeReferences } from "./router-PKVNBHge.mjs";
-import { t as resolveSkillPath } from "./skill-path-DhBGlQe3.mjs";
-import { dirname, join } from "node:path";
-import { closeSync, existsSync, mkdirSync, openSync, readFileSync, statSync, unlinkSync, writeFileSync } from "node:fs";
-import { createHmac, randomBytes } from "node:crypto";
-//#region src/policy/skill-source.ts
-/**
-* Framework -> SKILL.md doc source for the APEX Check-1 non-routed deny —
-* parity with the Python plugin's enforce-helpers.ts `getSkillSource()`
-* (10-entry map, fallback "mcp__context7__query-docs"). The map is ported
-* faithfully as skill NAMES only: disk paths are resolved DYNAMICALLY via
-* {@link resolveSkillPath} (proprietary rule — no static path table; installed
-* plugin dir names differ from upstream's `react-expert/...`, and a hardcoded
-* table drifts from what is actually installed).
-*/
-/**
-* Fallback doc source when no SKILL.md can be promised: the consigne to query
-* context7 (a TOOL name, not a path) — parity enforce-helpers.ts:51.
-*/
-const CONTEXT7_SOURCE = "mcp__context7__query-docs";
-/**
-* Framework -> sub-skill dir name, faithful to the Python
-* `getSkillSource` map (enforce-helpers.ts:39-50, all 10 entries).
-*/
-const SKILL_NAMES = {
-	react: "react-19",
-	nextjs: "nextjs-16",
-	swift: "swiftui-components",
-	laravel: "laravel-eloquent",
-	tailwind: "tailwindcss-v4",
-	generic: "solid-generic",
-	java: "solid-java",
-	go: "solid-go",
-	ruby: "solid-ruby",
-	rust: "solid-rust"
-};
-/**
-* The doc source a Check-1 deny may promise for `framework` (parity
-* `getSkillSource`): the REAL installed SKILL.md absolute path when it exists
-* on disk, else {@link CONTEXT7_SOURCE}. `resolveSkillPath` returns a
-* `/SKILL.md`-suffixed path ONLY on an `existsSync` hit; its
-* `${PLUGINS_DIR}/<name>` not-found fallback (no marketplace installed, or a
-* mapped skill absent on disk — e.g. upstream's `swiftui-components`) is
-* converted to the context7 consigne here, because a deny must never promise
-* a nonexistent path (every option a deny offers must actually unblock).
-* @param framework - Detected framework (the `detectFramework()` domain).
-* @param pluginsDirOverride - Marketplace plugins dir override (tests).
-*/
-function getSkillSource(framework, pluginsDirOverride) {
-	const name = SKILL_NAMES[framework];
-	if (!name) return CONTEXT7_SOURCE;
-	const path = resolveSkillPath(name, pluginsDirOverride);
-	return path.endsWith("/SKILL.md") ? path : CONTEXT7_SOURCE;
-}
-//#endregion
-//#region src/policy/apex-authorization.ts
-/**
-* Credit a doc consultation onto one framework's auth entry (parity
-* track-doc-consultation.py): the once-per-session Check-2 fields
-* (`doc_sessions` + `sources`) plus the per-framework Check-1 stamp
-* (`sessions` + `doc_consulted`). Pure.
-*/
-function creditDocConsultation(prev, sessionId, source, nowIso) {
-	const p = prev ?? {};
-	const add = (list, v) => v && !list.includes(v) ? [...list, v] : list;
-	return {
-		...p,
-		sessions: add(resolveSessions(p), sessionId),
-		doc_sessions: add(p.doc_sessions ?? [], sessionId),
-		sources: add(p.sources ?? (p.source ? [p.source] : []), source),
-		doc_consulted: nowIso
-	};
-}
-/**
-* Check 1 (parity enforce-apex-phases.ts isAuthorized): the framework's doc or
-* skill was consulted in THIS session (resolveSessions) AND the stamp is
-* younger than the TTL (FUSE_ENFORCE_TTL_SEC via src/config/ttl.ts).
-*/
-function isAuthorized(auth, sessionId, now, ttlMs) {
-	if (!auth?.doc_consulted || !resolveSessions(auth).includes(sessionId)) return false;
-	const readEpoch = Date.parse(auth.doc_consulted);
-	return !Number.isNaN(readEpoch) && now - readEpoch < ttlMs;
-}
-/**
-* A fresh same-session `skills/**.md` read whose path names the framework also
-* satisfies Check 1 (parity track-doc-consultation.py, which stamps
-* `doc_consulted` on `skills/.*\.md` Reads; the harness records those Reads in
-* `refsRead`/`refsReadAt` instead, and the track file is per-session).
-*/
-function skillReadAuthorized(ctx, now, ttlMs) {
-	const nameRe = new RegExp(`\\b(${{
-		laravel: "laravel|php",
-		tailwind: "tailwindcss?"
-	}[ctx.framework] ?? ctx.framework})\\b`, "i");
-	return (ctx.refsRead ?? []).some((p) => {
-		if (!/skills\/.*\.md$/i.test(p) || !nameRe.test(p)) return false;
-		const at = ctx.refsReadAt?.[p];
-		return at !== void 0 && now - at < ttlMs;
-	});
-}
-/**
-* Gate (Check 1): deny until the framework's doc/skill is freshly consulted.
-* The deny lists the routed SOLID refs when refs are loaded (parity
-* formatRoutedDeny), else the framework's skill source (parity getSkillSource:
-* a real installed SKILL.md path, or the context7 consigne). The RUNTIME
-* caller persists `state.target` on deny (recordTarget, parity :80-81) so
-* recordDoc can cross-credit this framework on the next doc consultation.
-*/
-const apexAuthorizationGate = (ctx) => {
-	const windowMs = ctx.windowMs ?? 120 * 1e3;
-	const now = ctx.now ?? Date.now();
-	if (isAuthorized(ctx.authorizations?.[ctx.framework], ctx.sessionId, now, windowMs)) return null;
-	if (skillReadAuthorized(ctx, now, windowMs)) return null;
-	const ttl = ttlLabel(Math.round(windowMs / 1e3));
-	const title = `APEX: ${ctx.framework} documentation required`;
-	const routed = ctx.refs?.length ? routeReferences(ctx.refs, ctx.filePath, ctx.content) : null;
-	if (!routed) {
-		const src = getSkillSource(ctx.framework);
-		return {
-			kind: "block",
-			title,
-			reason: `APEX: Read doc first (expires every ${ttl}) for ${ctx.framework}! Source: ${src}`,
-			actions: [src === "mcp__context7__query-docs" ? `Query ${CONTEXT7_SOURCE} for ${ctx.framework} docs` : `Read ${src}`]
-		};
-	}
-	const optional = routed.optional.map((r) => r.meta.filePath);
-	return {
-		kind: "block",
-		title,
-		reason: [
-			`APEX: Read ALL SOLID references below (including Optional), then retry (expires every ${ttl}) for ${ctx.framework}.`,
-			`Editing: ${ctx.filePath}`,
-			...optional.length ? [`Optional: ${optional.join(", ")}`] : [],
-			`Full skill: ${routed.skillPath}`
-		].join("\n"),
-		actions: routed.required.map((r) => r.meta.filePath)
-	};
-};
-//#endregion
-//#region src/tracking/session-state.ts
-/** A fresh, empty track. */
-function emptyTrack() {
-	return {
-		authorizations: {},
-		refsRead: [],
-		agents: [],
-		trivialEdits: []
-	};
-}
-/**
-* Record a doc consultation (Context7/Exa/web) for a framework in this session:
-* the Check-2 credit (`doc_sessions` + `sources`) plus the Check-1 stamp
-* (`sessions` + `doc_consulted` = ISO of `now`). PARITY track-doc-consultation.py
-* :62-70 — a `target` left by a Check-1 deny (enforce-apex-phases.ts:80) is
-* cross-credited on EVERY consultation, with NO TTL on `target.set_at`, and the
-* target PERSISTS (only the next deny replaces it via {@link recordTarget});
-* single-shot clearing or TTL-gating the target re-opened the deny loop when a
-* consultation landed > TTL after the deny. Immutable.
-*/
-function recordDoc(track, framework, sessionId, source, now = Date.now()) {
-	const nowIso = new Date(now).toISOString();
-	const authorizations = {
-		...track.authorizations,
-		[framework]: creditDocConsultation(track.authorizations[framework], sessionId, source, nowIso)
-	};
-	const t = track.target;
-	if (t && t.framework !== framework) authorizations[t.framework] = creditDocConsultation(track.authorizations[t.framework], sessionId, source, nowIso);
-	return {
-		...track,
-		authorizations
-	};
-}
-/** Set the pending doc-credit target (written by the runtime on a Check-1 deny). Immutable. */
-function recordTarget(track, target) {
-	return {
-		...track,
-		target
-	};
-}
-/**
-* Record that a SOLID reference file was read (deduped). Immutable. When `now`
-* (epoch ms — the tool event's own timestamp, never a fresh `Date.now()`) is
-* supplied, the read is stamped in `refsReadAt`, refreshed on re-reads so the
-* LATEST read drives the SOLID TTL (parity track-solid-reads.py, which appends
-* a timestamped entry per read; require-solid-read.py checks the most recent).
-* Callers that omit `now` keep the legacy untimestamped behavior.
-*/
-function recordRefRead(track, path, now) {
-	const refsRead = track.refsRead.includes(path) ? track.refsRead : [...track.refsRead, path];
-	if (now === void 0) return refsRead === track.refsRead ? track : {
-		...track,
-		refsRead
-	};
-	return {
-		...track,
-		refsRead,
-		refsReadAt: {
-			...track.refsReadAt,
-			[path]: now
-		}
-	};
-}
-/** Record an agent/tool call with a timestamp + optional quality. Immutable. */
-function recordAgent(track, name, ts, quality) {
-	const entry = quality ? {
-		name,
-		ts,
-		quality
-	} : {
-		name,
-		ts
-	};
-	return {
-		...track,
-		agents: [...track.agents, entry]
-	};
-}
-/** True when ALL of `names` ran within `windowMs` with non-insufficient quality. */
-function agentsFresh(track, names, windowMs, now) {
-	const cutoff = now - windowMs;
-	return names.every((n) => track.agents.some((a) => a.name === n && a.ts > cutoff && a.quality !== "insufficient"));
-}
-/** Record a trivial edit timestamp (sliding window; old evicted). Immutable. */
-function recordTrivialEdit(track, ts, windowMs, now) {
-	const cutoff = now - windowMs;
-	return {
-		...track,
-		trivialEdits: [...(track.trivialEdits ?? []).filter((t) => t > cutoff), ts]
-	};
-}
-/** Count trivial edits within the sliding window. */
-function trivialCount(track, windowMs, now) {
-	const cutoff = now - windowMs;
-	return (track.trivialEdits ?? []).filter((t) => t > cutoff).length;
-}
-/** Set the brainstorm-required flag (from creation-intent detection). Immutable. */
-function recordBrainstormRequired(track, required) {
-	return {
-		...track,
-		brainstormRequired: required
-	};
-}
-//#endregion
-//#region src/tracking/integrity.ts
-/**
-* @module integrity
-* HMAC-SHA256 tamper-evident wrapping for {@link SessionTrack}.
-*
-* Failure policy: ONLY a MAC mismatch causes fail-closed (returns null).
-* The nonce is included in the signed payload and written to disk for advisory
-* diagnostics, but is NOT checked during verification — concurrent hook
-* invocations (PostToolUse, SubagentStop, …) legitimately load the same
-* envelope after the nonce watermark advances; a monotonic check would trigger
-* spurious fail-closed behaviour mid-session.
-*
-* The machine key is readable by the same agent process, so this deters naive
-* out-of-band tampering — not a determined re-sign. Item B (transcript-grounded
-* freshness) is the primary guarantee.
-* @packageDocumentation
-*/
-const HARNESS_DIR = fuseHarnessHome();
-const KEY_PATH = join(HARNESS_DIR, ".key");
-const NONCE_PATH = join(HARNESS_DIR, ".nonce");
-/** Load (or create on first use) the per-machine HMAC key stored at mode 0600. */
-function loadOrCreateKey() {
-	mkdirSync(HARNESS_DIR, { recursive: true });
-	if (existsSync(KEY_PATH)) return readFileSync(KEY_PATH, "utf8").trim();
-	const candidate = randomBytes(32).toString("hex");
-	try {
-		writeFileSync(KEY_PATH, candidate, {
-			encoding: "utf8",
-			mode: 384,
-			flag: "wx"
-		});
-		return candidate;
-	} catch (e) {
-		if (e.code !== "EEXIST") throw e;
-	}
-	for (let i = 0; i < 5; i++) {
-		const existing = readFileSync(KEY_PATH, "utf8").trim();
-		if (existing) return existing;
-		Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, 5);
-	}
-	const key = readFileSync(KEY_PATH, "utf8").trim();
-	if (!key) throw new Error("fuse: empty .key after write contention");
-	return key;
-}
-/**
-* Persist the last-seen nonce for advisory diagnostics (mode 0600).
-* Never read during {@link verifyTrack} — see module JSDoc for rationale.
-*/
-function writeLastNonce(nonce) {
-	mkdirSync(HARNESS_DIR, { recursive: true });
-	writeFileSync(NONCE_PATH, String(nonce), {
-		encoding: "utf8",
-		mode: 384
-	});
-}
-/** Compute HMAC-SHA256 over the canonical message `"${nonce}:${data}"`. */
-function computeMac(key, data, nonce) {
-	return createHmac("sha256", key).update(`${nonce}:${data}`).digest("hex");
-}
-/**
-* Sign a {@link SessionTrack} into a tamper-evident envelope. The nonce
-* (`Date.now()`) is embedded in the MAC to bind the timestamp to the payload.
-*/
-function signTrack(track) {
-	const key = loadOrCreateKey();
-	const data = JSON.stringify(track);
-	const nonce = Date.now();
-	return {
-		data,
-		nonce,
-		mac: computeMac(key, data, nonce)
-	};
-}
-/**
-* Verify a {@link TrackEnvelope}. Returns the parsed {@link SessionTrack} on
-* success, or `null` ONLY on MAC mismatch / parse failure (fail-closed on
-* tampering). The nonce is NOT checked — see module JSDoc.
-*/
-function verifyTrack(envelope) {
-	try {
-		const key = loadOrCreateKey();
-		if (envelope.mac !== computeMac(key, envelope.data, envelope.nonce)) return null;
-		return JSON.parse(envelope.data);
-	} catch {
-		return null;
-	}
-}
-//#endregion
-//#region src/tracking/track-lock.ts
-/**
-* Cross-process lock for session-track read-modify-write. The ~11-hook
-* fan-out races plain `loadTrack → mutate → saveTrack` (writes silently
-* lost — `refsRead` was the only mitigated channel, via its journal). This
-* lockfile (`wx`, atomic create) serializes the whole RMW:
-* - retry is bounded in TOTAL time (400 ms, far under any hook timeout);
-* - after the budget, NEVER crash: stderr is logged and the caller skips the
-*   write — a named lost write beats a fail-open crash (hook fail-open
-*   semantics preserved);
-* - an orphaned lockfile (dead process) is reclaimed after a 10 s TTL, so a
-*   crash mid-write never blocks a project forever.
-*/
-/** Orphaned lockfile lifetime before reclamation. */
-const LOCK_TTL_MS = 1e4;
-/** Delay between two lock acquisition attempts. */
-const RETRY_STEP_MS = 8;
-/** Sentinel returned by {@link withTrackLock} when the lock could not be taken. */
-const LOCK_FAILED = Symbol("track-lock-failed");
-/** True when the lockfile is older than the TTL (orphaned by a dead process). */
-function isStale(lock) {
-	try {
-		return Date.now() - statSync(lock).mtimeMs > LOCK_TTL_MS;
-	} catch {
-		return false;
-	}
-}
-const sleep = (ms) => new Promise((r) => setTimeout(r, ms));
-/**
-* Run `fn` under the track lock of `dir`, or skip with a stderr note.
-* @param dir - The track state directory (lockfile lives inside).
-* @param fn - The protected read-modify-write.
-* @returns `fn`'s result, or {@link LOCK_FAILED} when the lock stayed busy.
-*/
-async function withTrackLock(dir, fn) {
-	mkdirSync(dir, { recursive: true });
-	const lock = join(dir, "track.lock");
-	const deadline = Date.now() + 400;
-	for (;;) try {
-		closeSync(openSync(lock, "wx"));
-		break;
-	} catch {
-		if (isStale(lock)) {
-			try {
-				unlinkSync(lock);
-			} catch {}
-			continue;
-		}
-		if (Date.now() >= deadline) {
-			process.stderr.write(`harness: track lock busy, write skipped (${lock})\n`);
-			return LOCK_FAILED;
-		}
-		await sleep(RETRY_STEP_MS);
-	}
-	try {
-		return await fn();
-	} finally {
-		try {
-			unlinkSync(lock);
-		} catch {}
-	}
-}
-//#endregion
-//#region src/tracking/store.ts
-/**
-* Load and verify a session track from a signed envelope file.
-*
-* Returns {@link emptyTrack} (fail closed) when the file is absent, corrupt, or
-* fails MAC validation — so the gates re-require real agents rather than trust a
-* forged track. Only a MAC mismatch triggers fail-closed; the nonce is advisory
-* and is never checked during load.
-*/
-async function loadTrack(file) {
-	const envelope = await readJsonFile(file);
-	if (!envelope) return emptyTrack();
-	return verifyTrack(envelope) ?? emptyTrack();
-}
-/**
-* Sign and persist a session track as a tamper-evident envelope, then write the
-* advisory nonce watermark.
-*/
-async function saveTrack(file, track) {
-	const envelope = signTrack(track);
-	await writeJsonFile(file, envelope);
-	writeLastNonce(envelope.nonce);
-}
-/**
-* Locked read-modify-write on a session track (the fan-out-safe way to mutate
-* it): loads under the lock, applies `mutate`, persists atomically. On lock
-* contention the write is SKIPPED (fail-open, stderr already logged) and
-* `false` is returned — a named lost write, never a crash.
-* @param file - The session track file.
-* @param mutate - Pure mutation over the freshly loaded track.
-* @returns True when the write landed.
-*/
-async function withTrack(file, mutate) {
-	return await withTrackLock(dirname(file), async () => {
-		await saveTrack(file, await mutate(await loadTrack(file)));
-	}) !== LOCK_FAILED;
-}
-//#endregion
-export { trivialCount as _, LOCK_TTL_MS as a, writeLastNonce as c, recordAgent as d, recordBrainstormRequired as f, recordTrivialEdit as g, recordTarget as h, LOCK_FAILED as i, agentsFresh as l, recordRefRead as m, saveTrack as n, signTrack as o, recordDoc as p, withTrack as r, verifyTrack as s, loadTrack as t, emptyTrack as u, apexAuthorizationGate as v };