@nomix-ai/nomix-harness 0.2.6 → 0.2.9

package/dist/kernel/compaction/lib/types/invariant.js

@@ -1,258 +0,0 @@
-/** Package-owned compaction log-stream invariants. @module @nomix-ai/nomix-compaction/invariant */
-import { isReplacementSurfaceEvent } from '../../../session/lib/index.js';
-import { isCompactCheckpointSource } from "./checkpoint.js";
-const PACKAGE_NAME = '@nomix-ai/nomix-compaction';
-/** Cordis companion plugin name. */
-export const name = 'compaction-invariant';
-/** Service required before the companion can reserve package ownership. */
-export const inject = ['invariants'];
-/** Require a durable opaque identity to be a non-empty string. */
-function validateId(value, label, fail) {
-    if (typeof value !== 'string' || value.length === 0)
-        fail(`${label} must be a non-empty string`);
-}
-/** Keep the optional initiating command identity stable across one transaction. */
-function validateSourceCommandId(eventType, value, expected, fail) {
-    if (value !== undefined)
-        validateId(value, `${eventType} sourceCommandId`, fail);
-    if (value !== expected) {
-        fail(`${eventType} sourceCommandId ${String(value)} does not match compaction/start sourceCommandId ${String(expected)}`);
-    }
-}
-/** Validate one replacement checkpoint against its open compaction transaction. */
-function validateCheckpoint(trace, event, fail) {
-    const source = event.data.source;
-    validateId(source.compactionId, 'compaction checkpoint compactionId', fail);
-    if (source.sourceCommandId !== undefined) {
-        validateId(source.sourceCommandId, 'compaction checkpoint sourceCommandId', fail);
-    }
-    const open = trace.compaction;
-    if (open === undefined)
-        fail('compaction checkpoint has no matching compaction/start');
-    if (source.compactionId !== open.compactionId) {
-        fail(`compaction checkpoint id ${source.compactionId} does not match compaction/start id ${open.compactionId}`);
-    }
-    validateSourceCommandId('compaction checkpoint', source.sourceCommandId, open.sourceCommandId, fail);
-}
-/** Compaction starts still unmatched when a later seed boundary made them stale. */
-function inheritedOrphanStartSeqs(events) {
-    const stale = new Set();
-    let openStartSeq;
-    for (const event of events) {
-        if (event.type === 'compaction/start') {
-            openStartSeq = event.seq;
-        }
-        else if (event.type === 'compaction/end') {
-            openStartSeq = undefined;
-        }
-        else if (event.type === 'session/end-seed') {
-            if (openStartSeq !== undefined)
-                stale.add(openStartSeq);
-            openStartSeq = undefined;
-        }
-    }
-    return stale;
-}
-/** Keep every live compaction bracket on one side of each turn boundary. */
-function validateTurnBoundary(trace, event, fail) {
-    if ((event.type !== 'turn/start' && event.type !== 'turn/end')
-        || trace.compaction === undefined)
-        return;
-    const owner = trace.compaction.turn === null
-        ? 'standalone compaction'
-        : `compaction for turn ${trace.compaction.turn}`;
-    fail(`${event.type} cannot cross an open ${owner}`);
-}
-/** Advance the committed turn cursor after its boundary has been accepted. */
-function applyTurnBoundary(trace, event) {
-    if (event.type === 'turn/start') {
-        trace.openTurn = event.data.turn;
-        return true;
-    }
-    if (event.type === 'turn/end') {
-        trace.openTurn = null;
-        return true;
-    }
-    return false;
-}
-/** Require a numbered bracket inside its exact turn, or a standalone bracket between turns. */
-function validateOwner(owner, openTurn, eventType, fail) {
-    if (owner === null) {
-        if (openTurn !== null)
-            fail(`${eventType} is standalone but turn ${openTurn} is open`);
-        return;
-    }
-    if (openTurn === null)
-        fail(`${eventType} for turn ${owner} appended outside any open turn`);
-    if (owner !== openTurn)
-        fail(`${eventType} names turn ${owner} but open turn is ${openTurn}`);
-}
-/** Validate one compaction event without advancing committed trace state. */
-function validateCompactionEvent(trace, event, fail) {
-    if (event.type === 'session/end-seed')
-        return { kind: 'end-seed' };
-    if (event.type === 'user/message'
-        && isReplacementSurfaceEvent(event)
-        && isCompactCheckpointSource(event.data.source)) {
-        validateCheckpoint(trace, event, fail);
-        return undefined;
-    }
-    if (event.type !== 'compaction/start' && event.type !== 'compaction/summary' && event.type !== 'compaction/end') {
-        return undefined;
-    }
-    const open = trace.compaction;
-    if (event.type === 'compaction/start') {
-        validateId(event.data.compactionId, 'compaction/start compactionId', fail);
-        if (event.data.sourceCommandId !== undefined) {
-            validateId(event.data.sourceCommandId, 'compaction/start sourceCommandId', fail);
-        }
-        if (open !== undefined) {
-            const owner = open.turn === null ? 'standalone compaction' : `turn ${open.turn}`;
-            fail(`compaction/start while ${owner} is still compacting`);
-        }
-        validateOwner(event.data.turn, trace.openTurn, event.type, fail);
-        return {
-            kind: 'start',
-            compactionId: event.data.compactionId,
-            sourceCommandId: event.data.sourceCommandId,
-            startSeq: event.seq,
-            turn: event.data.turn,
-        };
-    }
-    if (event.type === 'compaction/summary') {
-        validateId(event.data.compactionId, 'compaction/summary compactionId', fail);
-        if (event.data.sourceCommandId !== undefined) {
-            validateId(event.data.sourceCommandId, 'compaction/summary sourceCommandId', fail);
-        }
-        if (open === undefined)
-            fail('compaction/summary has no matching compaction/start');
-        if (event.data.compactionId !== open.compactionId) {
-            fail(`compaction/summary id ${event.data.compactionId} does not match compaction/start id ${open.compactionId}`);
-        }
-        validateSourceCommandId('compaction/summary', event.data.sourceCommandId, open.sourceCommandId, fail);
-        validateOwner(open.turn, trace.openTurn, event.type, fail);
-        if (open.summarized)
-            fail('compaction/summary repeated within one compaction');
-        const seqs = event.data.shadowedSeqs;
-        if (seqs.length === 0)
-            fail('compaction/summary shadowedSeqs must be non-empty');
-        if (seqs[0] !== event.data.shadowedRange.start || seqs.at(-1) !== event.data.shadowedRange.end) {
-            fail('compaction/summary shadowedRange must match the first and last shadowedSeqs');
-        }
-        if (!Number.isSafeInteger(event.data.shadowedTokenCount) || event.data.shadowedTokenCount < 0) {
-            fail('compaction/summary shadowedTokenCount must be a non-negative safe integer');
-        }
-        return {
-            kind: 'summary',
-            compactionId: open.compactionId,
-            sourceCommandId: open.sourceCommandId,
-            startSeq: open.startSeq,
-            turn: open.turn,
-        };
-    }
-    validateId(event.data.compactionId, 'compaction/end compactionId', fail);
-    if (event.data.sourceCommandId !== undefined) {
-        validateId(event.data.sourceCommandId, 'compaction/end sourceCommandId', fail);
-    }
-    if (open === undefined)
-        fail('compaction/end has no matching compaction/start');
-    if (event.data.compactionId !== open.compactionId) {
-        fail(`compaction/end id ${event.data.compactionId} does not match compaction/start id ${open.compactionId}`);
-    }
-    validateSourceCommandId('compaction/end', event.data.sourceCommandId, open.sourceCommandId, fail);
-    if (event.data.turn !== open.turn) {
-        fail(`compaction/end owner ${String(event.data.turn)} does not match compaction/start owner ${String(open.turn)}`);
-    }
-    validateOwner(open.turn, trace.openTurn, event.type, fail);
-    if (event.data.error === undefined && !open.summarized) {
-        fail('successful compaction/end requires one compaction/summary');
-    }
-    return { kind: 'end' };
-}
-/** Apply one committed compaction transition. */
-function applyCompactionTransition(transition) {
-    if (transition.kind === 'start') {
-        return {
-            compactionId: transition.compactionId,
-            sourceCommandId: transition.sourceCommandId,
-            startSeq: transition.startSeq,
-            turn: transition.turn,
-            summarized: false,
-        };
-    }
-    if (transition.kind === 'summary') {
-        return {
-            compactionId: transition.compactionId,
-            sourceCommandId: transition.sourceCommandId,
-            startSeq: transition.startSeq,
-            turn: transition.turn,
-            summarized: true,
-        };
-    }
-    return undefined;
-}
-/** Install compaction start/summary/end checks. */
-// Event owners keep precommit staging local so their vocabularies never move into a central helper.
-/* jscpd:ignore-start */
-const install = Object.assign((ctx, fail) => {
-    const traces = new WeakMap();
-    const staged = new WeakMap();
-    const seed = (session) => {
-        const trace = { openTurn: null, compaction: undefined };
-        traces.set(session, trace);
-        const staleOrphanStartSeqs = inheritedOrphanStartSeqs(session.events);
-        for (const event of session.events) {
-            // Constructor-seed repair boundaries can precede the end-seed marker
-            // that proves an inherited orphan stale. Replay that inherited prefix
-            // without letting the soon-to-be-cleared bracket veto its repair.
-            if (trace.compaction === undefined
-                || !staleOrphanStartSeqs.has(trace.compaction.startSeq)) {
-                validateTurnBoundary(trace, event, fail);
-            }
-            const transition = validateCompactionEvent(trace, event, fail);
-            if (transition !== undefined)
-                trace.compaction = applyCompactionTransition(transition);
-            applyTurnBoundary(trace, event);
-        }
-        return trace;
-    };
-    const traceFor = (session) => traces.get(session) ?? seed(session);
-    for (const session of ctx.sessions.list())
-        seed(session);
-    ctx.on('session/created', (session) => { seed(session); }, { global: true });
-    ctx.on('session/event', (session, event) => {
-        const trace = traceFor(session);
-        validateTurnBoundary(trace, event, fail);
-        if (applyTurnBoundary(trace, event))
-            return;
-        if (event.type !== 'session/end-seed'
-            && event.type !== 'compaction/start'
-            && event.type !== 'compaction/summary'
-            && event.type !== 'compaction/end')
-            return;
-        const candidate = staged.get(event);
-        /* v8 ignore next -- internal/dispatch stages every compaction event */
-        if (candidate === undefined || candidate.session !== session)
-            return fail('compaction event published without pre-commit validation');
-        staged.delete(event);
-        trace.compaction = applyCompactionTransition(candidate.transition);
-    }, { global: true });
-    ctx.on('internal/dispatch', (_mode, eventName, args) => {
-        if (eventName !== 'session/event')
-            return;
-        const [session, event] = args;
-        const trace = traceFor(session);
-        validateTurnBoundary(trace, event, fail);
-        const transition = validateCompactionEvent(trace, event, fail);
-        if (transition !== undefined)
-            staged.set(event, { session, transition });
-    }, { global: true });
-}, { inject: ['sessions'] });
-/* jscpd:ignore-end */
-/**
- * Register the compact invariant companion.
- * @param ctx - Cordis context carrying the invariant service.
- * @returns the installed registration's disposer after setup succeeds.
- */
-export const apply = (ctx) => Promise.resolve(ctx.invariants.register(PACKAGE_NAME, install));
-//# sourceMappingURL=invariant.js.map

package/dist/kernel/compaction/lib/types/tool-pairing.d.ts

@@ -1,26 +0,0 @@
-/**
- * Tool-pairing balance over a session surface. Compaction changes surface
- * positions, so safe cuts are derived from tool-call/result content in current
- * surface order rather than step markers.
- * @module @nomix-ai/nomix-compaction/tool-pairing
- */
-import type { Session } from '../../../session/lib/index.js';
-/**
- * Whether the cut immediately before a current surface sequence is tool-pairing balanced.
- * @param session - session whose surface is checked.
- * @param seq - event sequence whose leading cut is checked.
- * @returns true when no unanswered tool call crosses the cut.
- * @throws when the seq is absent from the current surface, a surface sequence has no
- * matching log event, or a tool result has no preceding open call.
- */
-export declare function toolPairingBalancedBefore(session: Session, seq: number): boolean;
-/**
- * Whether the cut immediately after a current surface sequence is tool-pairing balanced.
- * @param session - session whose surface is checked.
- * @param seq - event sequence whose trailing cut is checked.
- * @returns true when no unanswered tool call crosses the cut.
- * @throws when the seq is absent from the current surface, a surface sequence has no
- * matching log event, or a tool result has no preceding open call.
- */
-export declare function toolPairingBalancedAfter(session: Session, seq: number): boolean;
-//# sourceMappingURL=tool-pairing.d.ts.map

package/dist/kernel/compaction/lib/types/types.d.ts

@@ -1,131 +0,0 @@
-/**
- * Compaction vocabulary: the result type and the `compaction/*` session events.
- * Those declaration-merged events record the lock and summary inputs without entering the surface, so they are not
- * surface events; a separate replacement `user/message` carries the summary.
- * Backend packages own configuration and retention policy; see
- * `.agents/notes/implemented/feature/2026-06-18-compaction-capability-seam.md`.
- * @module @nomix-ai/nomix-compaction/types
- */
-import type { ContentBlock, TokenUsage } from '../../../llm/lib/index.js';
-import type { CommandId } from '../../../commands/lib/types/brand.js';
-import type { CompactionId } from './brand.ts';
-export type { CompactionId };
-declare module '@nomix-ai/nomix-session/types' {
-    interface SessionEventMap {
-        /**
-         * Marks the start of a compaction — log-only, holds the lock until
-         * `compaction/end`. A numbered owner is strictly enclosed by that open turn;
-         * `null` identifies a standalone manual transaction between turns.
-         */
-        'compaction/start': {
-            compactionId: CompactionId;
-            sourceCommandId?: CommandId;
-            turn: number | null;
-        };
-        /**
-         * Completed summary, its inputs, and its model call facts — log-only, no surfaceOp.
-         * The summary content is in `data.summary`; the actual surface replacement
-         * is performed by the immediately following `user/message` event that
-         * shadows the compacted range. That adjacency is contractual — the
-         * shadowed pricing fields are the replacement's shadow price, so a
-         * consumer may pair a replacement with the metering event directly
-         * before it (`compaction/prune` documents the shared protocol).
-         */
-        'compaction/summary': {
-            compactionId: CompactionId;
-            sourceCommandId?: CommandId;
-            summary: ContentBlock[];
-            shadowedRange: {
-                start: number;
-                end: number;
-            };
-            shadowedSeqs: number[];
-            shadowedTokenCount: number;
-            /** The provider route that wrote the summary. */
-            provider: string;
-            /**
-             * The model that wrote the summary — the summarize call's envelope,
-             * reported by the backend that made the call, logged so the one-shot
-             * request is reconstructable from log + code and "which model wrote
-             * this summary" has a durable answer (the reconstructability Agent Note).
-             */
-            model: string;
-            /** The generation cap the summarize call sent, when one applied. */
-            maxTokens?: number;
-            /** Provider-reported token usage for the summarization request, when emitted. */
-            usage?: TokenUsage;
-        } & ({
-            /** Complete provider output before the backend's safe summary projection. */
-            rawOutput: ContentBlock[];
-            /** Identifies exactly one call through this context's `ctx.llm.stream()`. */
-            llmStreamCall: true;
-        } | {
-            /** Optional complete output from an unmarked template, remote, or other summarizer. */
-            rawOutput?: ContentBlock[];
-            /** An unmarked summary does not identify a call through this context's LLM seam. */
-            llmStreamCall?: never;
-        });
-        /**
-         * Marks the end of a compaction — log-only, releases the lock. Its owner
-         * matches `compaction/start`; `error` records an unsuccessful attempt.
-         */
-        'compaction/end': {
-            compactionId: CompactionId;
-            sourceCommandId?: CommandId;
-            turn: number | null;
-            error?: string;
-        };
-        /**
-         * Shadow price of one model-free prune replacement — log-only, no
-         * surfaceOp. The shared shadow-price protocol: a surface `replace` event
-         * is priced by the metering event immediately before it (`compaction/summary`
-         * for a summarizing compaction, this event for a prune), which states the
-         * heuristic token price of the exact replaced range so a pure consumer
-         * can subtract it without retaining per-node prices. The replacement MUST
-         * be appended synchronously right after this event.
-         */
-        'compaction/prune': {
-            /** The replaced range's first and last surface-node seqs (a surface-position span, like {@link CompactionResult.shadowedRange}). */
-            shadowedRange: {
-                start: number;
-                end: number;
-            };
-            /** The seqs of all shadowed surface nodes, in surface order. */
-            shadowedSeqs: number[];
-            /** Heuristic price of the shadowed content under the token-meter's fixed estimator. */
-            shadowedTokenCount: number;
-        };
-    }
-}
-/** Result of a successful compaction operation. */
-export interface CompactionResult {
-    /** Stable identity shared by this compaction's complete durable lifecycle. */
-    compactionId: CompactionId;
-    /** Human command that initiated this compaction, when it was manual. */
-    sourceCommandId?: CommandId;
-    /** The seq of the appended `compaction/start` event. */
-    startSeq: number;
-    /** The seq of the appended `compaction/summary` event. */
-    summarySeq: number;
-    /** The seq of the appended `compaction/end` event. */
-    endSeq: number;
-    /** The summary content blocks produced by the backend. */
-    summary: ContentBlock[];
-    /**
-     * The surface-boundary pair that was shadowed: the seqs of the first
-     * (`start`) and last (`end`) surface nodes of the replaced range. A
-     * surface-POSITION span, not a numeric seq interval — after a prior replace
-     * lands a fresh high-seq summary node at an older range's position, `start`
-     * can be GREATER than `end`. {@link CompactionResult.shadowedSeqs} is the
-     * authoritative set of shadowed nodes, in surface order.
-     */
-    shadowedRange: {
-        start: number;
-        end: number;
-    };
-    /** The seqs of all shadowed surface nodes, in surface order. */
-    shadowedSeqs: number[];
-    /** Estimated token count of the shadowed content. */
-    shadowedTokenCount: number;
-}
-//# sourceMappingURL=types.d.ts.map

package/dist/kernel/compaction/package.json

@@ -1,59 +0,0 @@
-{
-  "name": "@nomix-ai/nomix-compaction",
-  "description": "Abstract compaction service seam (ctx.compaction) for the Nomix Harness",
-  "version": "0.2.6",
-  "publishConfig": {
-    "access": "public"
-  },
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/ditgaldev/nomix-harness.git",
-    "directory": "packages/compaction/compaction"
-  },
-  "type": "module",
-  "main": "lib/index.js",
-  "types": "lib/types/index.d.ts",
-  "exports": {
-    ".": {
-      "types": "./lib/types/index.d.ts",
-      "default": "./lib/index.js"
-    },
-    "./invariant": {
-      "types": "./lib/types/invariant.d.ts",
-      "default": "./lib/invariant.js"
-    },
-    "./types": {
-      "types": "./lib/types/types.d.ts",
-      "default": "./lib/types/types.js"
-    },
-    "./checkpoint": {
-      "types": "./lib/types/checkpoint.d.ts",
-      "default": "./lib/types/checkpoint.js"
-    },
-    "./src/*": "./src/*",
-    "./package.json": "./package.json"
-  },
-  "files": [
-    "lib/index.js",
-    "lib/invariant.js",
-    "lib/types/**/*.js",
-    "lib/types/**/*.d.ts"
-  ],
-  "license": "MIT",
-  "peerDependencies": {
-    "@nomix-ai/nomix-brand": "workspace:^",
-    "@nomix-ai/nomix-commands": "workspace:^",
-    "@nomix-ai/nomix-invariants": "workspace:^",
-    "@nomix-ai/nomix-llm": "workspace:^",
-    "@nomix-ai/nomix-session": "workspace:^",
-    "@nomix-ai/cordis": "workspace:^"
-  },
-  "devDependencies": {
-    "@nomix-ai/nomix-brand": "workspace:^",
-    "@nomix-ai/nomix-commands": "workspace:^",
-    "@nomix-ai/nomix-invariants": "workspace:^",
-    "@nomix-ai/nomix-llm": "workspace:^",
-    "@nomix-ai/nomix-session": "workspace:^",
-    "@nomix-ai/cordis": "workspace:^"
-  }
-}