@inhuman.tools/harness 0.1.0 → 0.2.0

package/dist/models/session/SessionUnit.d.ts

@@ -1,157 +0,0 @@
-import { Job, ProgrammaticJob, WorkContainer } from "@inhuman.tools/plexus-expectations";
-import { WorkDemand } from "../shared/WorkDemand.js";
-import { CompletionExpectation, type CompletionMessage } from "./expectations/CompletionExpectation.js";
-import { ToolCallExpectation } from "./expectations/ToolCallExpectation.js";
-import { SkillSpec, ToolSpec } from "./prompt-parts.js";
-import { RegisteredToolsSet } from "./RegisteredToolsSet.js";
-import { SessionSystemPrompt, type SystemPromptParts } from "./SessionSystemPrompt.js";
-import { SessionSystemPromptDerivation } from "./SessionSystemPromptDerivation.js";
-export { WorkContainer };
-export declare class TurnCompactChunk extends WorkContainer {
-    get work(): WorkContainer[];
-    readonly resolved = true;
-    /** Reducer output. Refs, not children — archaeology stays on `doneWork`. */
-    accessor representation: CompletionMessage[];
-    accessor folded: boolean;
-    constructor(props?: {
-        readonly representation?: CompletionMessage[];
-        readonly folded?: boolean;
-    } | symbol);
-}
-export declare class TurnPromptChunk extends WorkContainer {
-    get work(): WorkContainer[];
-    readonly resolved = true;
-    constructor(props?: Record<string, never> | symbol);
-}
-export declare class ReACTChunk extends WorkContainer {
-    get work(): WorkContainer[];
-    readonly resolved = true;
-    constructor(props?: Record<string, never> | symbol);
-}
-/**
- * Sealed delivery cell. `job` is a ref — the job stays on the producing turn.
- * Render is derived (`recallText`); never a payload copy.
- */
-export declare class TurnRecallChunk extends WorkContainer {
-    get work(): WorkContainer[];
-    readonly resolved = true;
-    accessor job: WorkDemand;
-    constructor(props?: {
-        readonly job?: WorkDemand;
-    } | symbol);
-    recallText(): string;
-}
-/**
- * ProgrammaticJob bag. Inner tools are children. Wait is host async
- * inside the parent Turn's executor. Compact is the other Scheme-in-interpret
- * seat. The ReACT tape does not flatten inners.
- */
-export declare class SchemeReplChunk extends ProgrammaticJob {
-    accessor toolCallId: string;
-    accessor argsJson: string;
-    accessor outcomeJson: string | null;
-    constructor(props?: {
-        readonly toolCallId?: string;
-        readonly argsJson?: string;
-        readonly outcomeJson?: string | null;
-        readonly resolved?: boolean;
-    } | symbol);
-    /** Inner tools on children. Alias for call sites that still say invocations. */
-    get invocations(): ToolCallExpectation[];
-    /** Parent an inner tool onto children. Not a second owning list. */
-    pushInvocation(inner: ToolCallExpectation): void;
-    expr(): string;
-    resultText(): string;
-    private outcomeSnap;
-}
-export type TurnChunk = CompletionExpectation | ToolCallExpectation | SchemeReplChunk | TurnCompactChunk | TurnPromptChunk | ReACTChunk | TurnRecallChunk;
-/** Mixed rows on `Job.children`. Runtime child.list accepts any PlexusModel. */
-export type TurnChild = TurnChunk | WorkDemand | SessionTurn;
-/**
- * Job. walkBoundary stays false on a document-head turn; a nested contour
- * stamps it true. `.work` is raw `children` — COLLECTORS ARE NOT `.work`.
- * `closed` is reducer-exited; `resolved` is `closed`. Background is a
- * flag on the child. `routing` stays harness consumption policy.
- */
-export declare class SessionTurn extends Job {
-    accessor tail: SessionUnit;
-    accessor prompt: string;
-    accessor derivation: SessionSystemPromptDerivation | null;
-    /**
-     * Frozen tools choice for this turn. Null inherits `tail.tools`.
-     * First turn attributes the set; a later turn only holds a new one when
-     * its tail has `reloadTools`.
-     */
-    accessor toolsDefinition: RegisteredToolsSet | null;
-    /**
-     * The turn whose `tail` is this must snapshot a new RegisteredToolsSet.
-     * Compact sets this; it does not rewrite this turn's choice. A new MCP is
-     * not a flag — successor mint compares `tools.mcpConnections` to kernel.
-     */
-    accessor reloadTools: boolean;
-    /** ReACT tape (done). Refs — owning list is `children`. */
-    accessor doneWork: TurnChunk[];
-    /** ReACT tape (pending). Refs — owning list is `children`. */
-    accessor queue: TurnChunk[];
-    /** Consumption decisions. Refs, not children — jobs stay on the producing turn. */
-    accessor consumedBackgroundWork: WorkDemand[];
-    /** Demand this background turn executes. PEW; class is the mint type. Ref — stays on the calling turn. */
-    accessor job: WorkDemand | null;
-    /** Reducer exited. `Job.resolved` is this field. */
-    accessor closed: boolean;
-    /**
-     * Approval program for this round. Null inherits `tail`; first turn
-     * attributes.
-     */
-    accessor currentPolicy: string | null;
-    /** ReACT done. Open background children do not block. */
-    get resolved(): boolean;
-    get effectivePolicy(): string;
-    /** The tools this turn decided to use — own set, or the inherited choice. */
-    get tools(): RegisteredToolsSet;
-    /** Flagged `WorkDemand` rows on `children`. Not a second owning list. */
-    get backgroundWork(): WorkDemand[];
-    /**
-     * Parent a mixed row onto `children`. Not `parent` — Plexus owns that name.
-     */
-    pushChild(child: TurnChild): void;
-    /** Parent onto `children`, then push the ReACT queue (refs). */
-    enqueue(chunk: TurnChunk): void;
-    /** Stamp the contour flag and parent onto `children`. */
-    hostBackground(...jobs: WorkDemand[]): void;
-    /** Recursive over tail. Source is flagged children plus ancestry — not a parallel owning lane. */
-    get producedBackgroundWork(): WorkDemand[];
-    private get consumedInAncestry();
-    /** Derivation, not storage: done produced jobs minus consumed-in-ancestry. */
-    get tape(): WorkDemand[];
-    constructor(props?: {
-        readonly tail?: SessionUnit;
-        readonly prompt?: string;
-        readonly derivation?: SessionSystemPromptDerivation | null;
-        readonly toolsDefinition?: RegisteredToolsSet | null;
-        readonly reloadTools?: boolean;
-        readonly doneWork?: TurnChunk[];
-        readonly queue?: TurnChunk[];
-        readonly consumedBackgroundWork?: WorkDemand[];
-        readonly job?: WorkDemand | null;
-        readonly closed?: boolean;
-        readonly currentPolicy?: string | null;
-    } | symbol);
-}
-/** ReACT tape. COLLECTORS ARE NOT `.work`. */
-export declare function reactChunks(turn: SessionTurn): TurnChunk[];
-export type SessionUnit = SessionSystemPrompt | SessionTurn;
-export declare function systemPartsOf(unit: SessionUnit): SystemPromptParts;
-export declare function emitSystemPrompt(turn: SessionTurn, patch: {
-    readonly reason: string;
-    readonly constitution?: string | null;
-    readonly env?: Record<string, string | null>;
-    readonly tools?: readonly ToolSpec[];
-    readonly skills?: readonly SkillSpec[];
-}): SessionSystemPromptDerivation;
-/** Emit only when constitution or env packets actually differ from the inherited snapshot. */
-export declare function refreshSystemPrompt(turn: SessionTurn, next: {
-    readonly constitution: string;
-    readonly env: Record<string, string>;
-}): SessionSystemPromptDerivation | null;
-//# sourceMappingURL=SessionUnit.d.ts.map

package/dist/models/session/SessionUnit.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"SessionUnit.d.ts","sourceRoot":"","sources":["../../../src/models/session/SessionUnit.ts"],"names":[],"mappings":"AAIA,OAAO,EAAC,GAAG,EAAE,eAAe,EAAE,aAAa,EAAC,MAAM,oCAAoC,CAAC;AAGvF,OAAO,EAAC,UAAU,EAAC,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAC,qBAAqB,EAAE,KAAK,iBAAiB,EAAE,MAAM,yCAAyC,CAAC;AACvG,OAAO,EAAC,mBAAmB,EAAC,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAC,SAAS,EAA+B,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACpF,OAAO,EAAC,kBAAkB,EAAC,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAC,mBAAmB,EAAE,KAAK,iBAAiB,EAAC,MAAM,0BAA0B,CAAC;AACrF,OAAO,EAAC,6BAA6B,EAAC,MAAM,oCAAoC,CAAC;AAEjF,OAAO,EAAE,aAAa,EAAE,CAAC;AAEzB,qBACa,gBAAiB,SAAQ,aAAa;IACjD,IAAI,IAAI,IAAI,aAAa,EAAE,CAE1B;IACD,QAAQ,CAAC,QAAQ,QAAQ;IACzB,4EAA4E;IAC9D,QAAQ,CAAC,cAAc,EAAE,iBAAiB,EAAE,CAAM;IACvD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAS;IAE1C,YACE,KAAK,CAAC,EACF;QACE,QAAQ,CAAC,cAAc,CAAC,EAAE,iBAAiB,EAAE,CAAC;QAC9C,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;KAC3B,GACD,MAAM,EAGX;CACF;AAED,qBACa,eAAgB,SAAQ,aAAa;IAChD,IAAI,IAAI,IAAI,aAAa,EAAE,CAE1B;IACD,QAAQ,CAAC,QAAQ,QAAQ;IAEzB,YAAY,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,EAEjD;CACF;AAED,qBACa,UAAW,SAAQ,aAAa;IAC3C,IAAI,IAAI,IAAI,aAAa,EAAE,CAE1B;IACD,QAAQ,CAAC,QAAQ,QAAQ;IAEzB,YAAY,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,EAEjD;CACF;AAED;;;GAGG;AACH,qBACa,eAAgB,SAAQ,aAAa;IAChD,IAAI,IAAI,IAAI,aAAa,EAAE,CAE1B;IACD,QAAQ,CAAC,QAAQ,QAAQ;IAChB,QAAQ,CAAC,GAAG,EAAG,UAAU,CAAC;IAEnC,YACE,KAAK,CAAC,EACF;QACE,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC;KAC3B,GACD,MAAM,EAGX;IAED,UAAU,IAAI,MAAM,CAGnB;CACF;AAED;;;;GAIG;AACH,qBACa,eAAgB,SAAQ,eAAe;IACzC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAM;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAQ;IACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAQ;IAEpD,YACE,KAAK,CAAC,EACF;QACE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;KAC7B,GACD,MAAM,EAGX;IAED,gFAAgF;IAChF,IAAI,WAAW,IAAI,mBAAmB,EAAE,CAIvC;IAED,oEAAoE;IACpE,cAAc,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAI/C;IAED,IAAI,IAAI,MAAM,CAWb;IAED,UAAU,IAAI,MAAM,CAYnB;IAED,OAAO,CAAC,WAAW;CAgBpB;AAED,MAAM,MAAM,SAAS,GACjB,qBAAqB,GACrB,mBAAmB,GACnB,eAAe,GACf,gBAAgB,GAChB,eAAe,GACf,UAAU,GACV,eAAe,CAAC;AAEpB,gFAAgF;AAChF,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,WAAW,CAAC;AAE7D;;;;;GAKG;AACH,qBACa,WAAY,SAAQ,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAG,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAM;IAC7B,QAAQ,CAAC,UAAU,EAAE,6BAA6B,GAAG,IAAI,CAAQ;IAC1E;;;;OAIG;IACY,QAAQ,CAAC,eAAe,EAAE,kBAAkB,GAAG,IAAI,CAAQ;IAC1E;;;;OAIG;IACM,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAS;IAC/C,2DAA2D;IAC7C,QAAQ,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAM;IAClD,8DAA8D;IAChD,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,CAA2B;IACpE,mFAAmF;IACrE,QAAQ,CAAC,sBAAsB,EAAE,UAAU,EAAE,CAAM;IACjE,0GAA0G;IACjG,QAAQ,CAAC,GAAG,EAAE,UAAU,GAAG,IAAI,CAAQ;IAChD,oDAAoD;IAC3C,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAS;IAC1C;;;OAGG;IACM,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAQ;IAEtD,yDAAyD;IACzD,IACa,QAAQ,IAAI,OAAO,CAE/B;IAED,IACI,eAAe,IAAI,MAAM,CAI5B;IAED,6EAA6E;IAC7E,IACI,KAAK,IAAI,kBAAkB,CAE9B;IAED,yEAAyE;IACzE,IACI,cAAc,IAAI,UAAU,EAAE,CAIjC;IAED;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAIhC;IAED,gEAAgE;IAChE,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAG9B;IAED,yDAAyD;IACzD,cAAc,CAAC,GAAG,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,CAK1C;IAED,kGAAkG;IAClG,IACI,sBAAsB,IAAI,UAAU,EAAE,CAIzC;IAGD,OAAO,KAAK,kBAAkB,GAK7B;IAED,8EAA8E;IAC9E,IACI,IAAI,IAAI,UAAU,EAAE,CAYvB;IAED,YACE,KAAK,CAAC,EACF;QACE,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;QAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,6BAA6B,GAAG,IAAI,CAAC;QAC3D,QAAQ,CAAC,eAAe,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAAC;QACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;QAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,CAAC;QAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC;QAC7B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,UAAU,EAAE,CAAC;QAC/C,QAAQ,CAAC,GAAG,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;QACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;QAC1B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;KACxC,GACD,MAAM,EAMX;CACF;AAED,8CAA8C;AAC9C,wBAAgB,WAAW,CAAC,IAAI,EAAE,WAAW,GAAG,SAAS,EAAE,CAE1D;AAED,MAAM,MAAM,WAAW,GAAG,mBAAmB,GAAG,WAAW,CAAC;AAE5D,wBAAgB,aAAa,CAAC,IAAI,EAAE,WAAW,GAAG,iBAAiB,CAKlE;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,WAAW,EACjB,KAAK,EAAE;IACL,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IAC7C,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;CACxC,GACA,6BAA6B,CAU/B;AAED,8FAA8F;AAC9F,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE;IAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC5E,6BAA6B,GAAG,IAAI,CAWtC"}