@themoltnet/pi-extension 0.19.5 → 0.20.0

package/dist/index.d.ts

@@ -19,8 +19,11 @@ import { TObject } from '@sinclair/typebox';
 import { ToolDefinition } from '@earendil-works/pi-coding-agent';
 import { TOptional } from '@sinclair/typebox';
 import { TRecord } from '@sinclair/typebox';
+import { TRecursive } from '@sinclair/typebox';
+import { TRefUnsafe } from '@sinclair/typebox';
 import { TSchema } from '@sinclair/typebox';
 import { TString } from '@sinclair/typebox';
+import { TThis } from '@sinclair/typebox';
 import { TUnion } from '@sinclair/typebox';
 import { TUnknown } from '@sinclair/typebox';
 import { VM } from '@earendil-works/gondolin';
@@ -81,7 +84,7 @@ declare interface ClaimedTask {
 }
 
 /**
- * One context entry. Bytes are inlined: the imposer chose them, and the
+ * One context entry. Bytes are inlined: the proposer chose them, and the
  * task's `inputCid` already pins the entire input — including
  * `context[]` — so we don't need a separate per-entry hash, fetcher, or
  * flagged-content gate. Tasks reference rendered packs (or any other
@@ -702,15 +705,29 @@ declare const Task: TObject<    {
         }>>;
     }>>;
     correlationId: TUnion<[TString, TNull]>;
-    imposedByAgentId: TUnion<[TString, TNull]>;
-    imposedByHumanId: TUnion<[TString, TNull]>;
+    proposedByAgentId: TUnion<[TString, TNull]>;
+    proposedByHumanId: TUnion<[TString, TNull]>;
     acceptedAttemptN: TUnion<[TNumber, TNull]>;
+    claimCondition: TUnion<[TRecursive<TUnion<[TObject<    {
+        op: TLiteral<"all">;
+        conditions: TArray<TThis>;
+    }>, TObject<    {
+        op: TLiteral<"any">;
+        conditions: TArray<TThis>;
+    }>, TObject<    {
+        op: TLiteral<"task_status">;
+        taskId: TString;
+        statuses: TArray<TRefUnsafe<TUnion<[TLiteral<"waiting">, TLiteral<"queued">, TLiteral<"dispatched">, TLiteral<"running">, TLiteral<"completed">, TLiteral<"failed">, TLiteral<"cancelled">, TLiteral<"expired">]>>>;
+    }>, TObject<    {
+        op: TLiteral<"task_accepted">;
+        taskId: TString;
+    }>]>>, TNull]>;
     requiredExecutorTrustLevel: TUnion<[TLiteral<"selfDeclared">, TLiteral<"agentSigned">, TLiteral<"releaseVerifiedTool">, TLiteral<"sandboxAttested">]>;
     allowedExecutors: TArray<TObject<    {
         provider: TString;
         model: TString;
     }>>;
-    status: TUnion<[TLiteral<"queued">, TLiteral<"dispatched">, TLiteral<"running">, TLiteral<"completed">, TLiteral<"failed">, TLiteral<"cancelled">, TLiteral<"expired">]>;
+    status: TUnion<[TLiteral<"waiting">, TLiteral<"queued">, TLiteral<"dispatched">, TLiteral<"running">, TLiteral<"completed">, TLiteral<"failed">, TLiteral<"cancelled">, TLiteral<"expired">]>;
     queuedAt: TString;
     completedAt: TUnion<[TString, TNull]>;
     expiresAt: TUnion<[TString, TNull]>;
@@ -813,7 +830,7 @@ declare interface TaskReporter {
     /** Flush buffers + release resources. Called once. Idempotent. */
     close(): Promise<void>;
     /**
-     * Signal that aborts when the task is cancelled by the imposer (or a
+     * Signal that aborts when the task is cancelled by the proposer (or a
      * diary writer) while the executor is running. `ApiTaskReporter`
      * aborts this on the next heartbeat that observes `cancelled: true`
      * in the response (#938). Local reporters (`StdoutReporter`,

package/dist/index.js

@@ -2507,7 +2507,7 @@ var MoltNetError = class extends Error {
 	/**
 	* Populated when the server returned a `VALIDATION_FAILED` problem
 	* (status 400) with field-level errors. Empty / undefined for every
-	* other problem kind. Imposer scripts surface these to operators so
+	* other problem kind. Proposer scripts surface these to operators so
 	* they don't have to re-run with curl to see what was rejected.
 	*/
 	validationErrors;
@@ -8942,7 +8942,7 @@ var PROMPT_SEPARATOR = "\n\n---\n\n";
 *                       declared order, same separator.
 *
 * No fetching, no hashing — bytes are inlined in `ContextRef.content`,
-* and the task's `inputCid` already pins the entire input. The imposer
+* and the task's `inputCid` already pins the entire input. The proposer
 * chose these bytes; the resolver just dispatches them.
 *
 * The function is pure with respect to its arguments: file writes are
@@ -9029,7 +9029,7 @@ var ContextBinding = Type$1.Union([
 	Type$1.Literal("user_inline")
 ], { $id: "ContextBinding" });
 /**
-* One context entry. Bytes are inlined: the imposer chose them, and the
+* One context entry. Bytes are inlined: the proposer chose them, and the
 * task's `inputCid` already pins the entire input — including
 * `context[]` — so we don't need a separate per-entry hash, fetcher, or
 * flagged-content gate. Tasks reference rendered packs (or any other
@@ -9175,7 +9175,7 @@ function validateRubricWeights(rubric) {
 //#endregion
 //#region ../tasks/src/success-criteria.ts
 /**
-* SuccessCriteria — imposer-stated acceptance criteria, evaluated in two
+* SuccessCriteria — proposer-stated acceptance criteria, evaluated in two
 * complementary places.
 *
 * Before this envelope existed, criteria were scattered: a vestigial
@@ -9184,7 +9184,7 @@ function validateRubricWeights(rubric) {
 * judgment-task inputs. None of those were machine-verifiable
 * end-to-end.
 *
-* This module defines a single, content-addressable envelope an imposer
+* This module defines a single, content-addressable envelope a proposer
 * attaches to any task type. It has four orthogonal sections — pick
 * whichever apply per task type:
 *
@@ -9218,7 +9218,7 @@ function validateRubricWeights(rubric) {
 * spec for the judge.
 *
 * The clean chain: producer task with `successCriteria` → producer
-* self-assesses honestly → imposer (or automation) creates a downstream
+* self-assesses honestly → proposer (or automation) creates a downstream
 * judgment task that references the same `successCriteria` (or a
 * stricter rubric) → judgment task delivers the binding verdict.
 *
@@ -9380,8 +9380,9 @@ var AssessBriefOutput = Type$1.Object({
 *   - `targetTaskId` resolves to a real task the caller can see.
 *   - The target is a `fulfill_brief` (you cannot grade an arbitrary
 *     task type as if it were a brief fulfillment).
-*   - The target is `completed` with an accepted attempt — grading
-*     an in-flight or failed task would either race or grade nothing.
+*   - Unless readiness checks are explicitly deferred, the target is
+*     `completed` with an accepted attempt — grading an in-flight or
+*     failed task would either race or grade nothing.
 *
 * Agent-distinctness ("assessor ≠ producer") is a runtime / auth-
 * layer concern and intentionally NOT checked here. It belongs in
@@ -9402,7 +9403,7 @@ async function validateAssessBriefInputAsync(input, ctx) {
 		field: "targetTaskId",
 		message: `targetTaskId ${targetTaskId} is a ${target.taskType}, not a fulfill_brief`
 	});
-	if (target.status !== "completed" || target.acceptedAttemptN === null) errors.push({
+	if (!ctx.deferReadinessChecks && (target.status !== "completed" || target.acceptedAttemptN === null)) errors.push({
 		field: "targetTaskId",
 		message: `targetTaskId ${targetTaskId} is not completed with an accepted attempt (status=${target.status}, acceptedAttemptN=${target.acceptedAttemptN})`
 	});
@@ -9723,11 +9724,11 @@ async function validateJudgeEvalAttemptInputAsync(input, ctx) {
 		field: "targetTaskId",
 		message: `targetTaskId=${inp.targetTaskId} is a ${target.taskType}, not a run_eval`
 	});
-	if (target.status !== "completed" || target.acceptedAttemptN === null) errors.push({
+	if (!ctx.deferReadinessChecks && (target.status !== "completed" || target.acceptedAttemptN === null)) errors.push({
 		field: "targetTaskId",
 		message: `targetTaskId=${inp.targetTaskId} is not completed with an accepted attempt (status=${target.status}, acceptedAttemptN=${target.acceptedAttemptN})`
 	});
-	else if (target.acceptedAttemptN !== inp.targetAttemptN) errors.push({
+	else if (target.acceptedAttemptN !== null && target.acceptedAttemptN !== inp.targetAttemptN) errors.push({
 		field: "targetAttemptN",
 		message: `targetAttemptN=${inp.targetAttemptN} does not match the producer's acceptedAttemptN=${target.acceptedAttemptN}`
 	});
@@ -9738,6 +9739,7 @@ async function validateJudgeEvalAttemptInputAsync(input, ctx) {
 	if (errors.length > 0 || !target.correlationId) return errors;
 	const rubric = inp.successCriteria.rubric;
 	const duplicate = (await ctx.listTasksByCorrelation(target.correlationId)).find((task) => {
+		if (task.id === ctx.currentTaskId) return false;
 		if (task.taskType !== "judge_eval_attempt") return false;
 		if (task.status === "failed" || task.status === "cancelled" || task.status === "expired") return false;
 		const existing = task.input;
@@ -10205,11 +10207,12 @@ function taskTypeUsesSubagents(taskType) {
 *
 * Identity rule:
 *   - claim/execute/sign → agent-only (`task_attempts.claimed_by_agent_id`)
-*   - impose/cancel → agent XOR human (dual nullable FK + XOR check)
+*   - propose/cancel → agent XOR human (dual nullable FK + XOR check)
 *
 * See GH issue #852 for the full design snapshot.
 */
 var TaskStatus = Type$1.Union([
+	Type$1.Literal("waiting"),
 	Type$1.Literal("queued"),
 	Type$1.Literal("dispatched"),
 	Type$1.Literal("running"),
@@ -10252,6 +10255,36 @@ var TaskMessageKind = Type$1.Union([
 var Uuid = Type$1.String({ format: "uuid" });
 var Cid = Type$1.String({ minLength: 1 });
 var IsoTimestamp = Type$1.String({ format: "date-time" });
+var MAX_CLAIM_CONDITION_BRANCHES = 8;
+var MAX_CLAIM_CONDITION_STATUSES = 8;
+var ClaimCondition = Type$1.Recursive((Self) => Type$1.Union([
+	Type$1.Object({
+		op: Type$1.Literal("all"),
+		conditions: Type$1.Array(Self, {
+			minItems: 1,
+			maxItems: MAX_CLAIM_CONDITION_BRANCHES
+		})
+	}, { additionalProperties: false }),
+	Type$1.Object({
+		op: Type$1.Literal("any"),
+		conditions: Type$1.Array(Self, {
+			minItems: 1,
+			maxItems: MAX_CLAIM_CONDITION_BRANCHES
+		})
+	}, { additionalProperties: false }),
+	Type$1.Object({
+		op: Type$1.Literal("task_status"),
+		taskId: Uuid,
+		statuses: Type$1.Array(Type$1.Ref(TaskStatus), {
+			minItems: 1,
+			maxItems: MAX_CLAIM_CONDITION_STATUSES
+		})
+	}, { additionalProperties: false }),
+	Type$1.Object({
+		op: Type$1.Literal("task_accepted"),
+		taskId: Uuid
+	}, { additionalProperties: false })
+]), { $id: "ClaimCondition" });
 /**
 * Reference to another task's output or an external artifact.
 * Embedded in `tasks.references` JSONB array.
@@ -10328,9 +10361,10 @@ Type$1.Object({
 	inputCid: Cid,
 	references: Type$1.Array(TaskRef),
 	correlationId: Type$1.Union([Uuid, Type$1.Null()]),
-	imposedByAgentId: Type$1.Union([Uuid, Type$1.Null()]),
-	imposedByHumanId: Type$1.Union([Uuid, Type$1.Null()]),
+	proposedByAgentId: Type$1.Union([Uuid, Type$1.Null()]),
+	proposedByHumanId: Type$1.Union([Uuid, Type$1.Null()]),
 	acceptedAttemptN: Type$1.Union([Type$1.Number(), Type$1.Null()]),
+	claimCondition: Type$1.Union([ClaimCondition, Type$1.Null()]),
 	requiredExecutorTrustLevel: ExecutorTrustLevel,
 	allowedExecutors: Type$1.Array(ExecutorRef, { maxItems: 16 }),
 	status: TaskStatus,
@@ -10787,7 +10821,7 @@ function buildCuratePackUserPrompt(input, ctx) {
 		"to defend it in the summary."
 	].join("\n");
 	const constraintsLines = [];
-	if (entryTypesPinned) constraintsLines.push(`- Entry types pinned by imposer (do not widen): ${entryTypes.map((t) => `\`${t}\``).join(", ")}`);
+	if (entryTypesPinned) constraintsLines.push(`- Entry types pinned by proposer (do not widen): ${entryTypes.map((t) => `\`${t}\``).join(", ")}`);
 	else constraintsLines.push("- Entry types: **you choose**. The diary contains three kinds:", "  - `episodic` — incident reports, \"what happened and how we fixed it\" narratives.", "  - `semantic` — durable decisions, patterns, design rationale.", "  - `procedural` — commit audit trails / changelog-style provenance.", "  Pick the subset that fits the prompt. For \"failures and workarounds\"", "  or \"decisions we made\" you generally do NOT want `procedural` — those", "  entries are append-only commit logs and produce changelog-shaped packs.", "  Include `procedural` only when the prompt explicitly asks for changelog-", "  style content (e.g., \"what shipped this week\"). State your choice", "  briefly in the final `summary`.");
 	constraintsLines.push(`- Recipe tag: \`${resolvedRecipe}\` (recorded on pack params)`);
 	constraintsLines.push(tokenBudget ? `- Token budget (soft cap on final pack): ${tokenBudget}. Pick entry count so the pack fits — estimate ~300 tok/entry as a starting heuristic, tighten after inspecting actual content lengths.` : "- No token budget — size the pack to match the prompt, not an arbitrary target.");
@@ -16594,7 +16628,7 @@ async function executePiTask(claimedTask, reporter, opts) {
 			durationMs: Date.now() - startTime,
 			error: {
 				code: "task_cancelled",
-				message: reporter.cancelReason ?? "Task cancelled by imposer while pi session was running.",
+				message: reporter.cancelReason ?? "Task cancelled by proposer while pi session was running.",
 				retryable: false
 			}
 		};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@themoltnet/pi-extension",
-  "version": "0.19.5",
+  "version": "0.20.0",
   "type": "module",
   "description": "MoltNet pi extension — sandboxed tool execution in Gondolin VMs with MoltNet identity and persistent memory",
   "license": "MIT",
@@ -31,8 +31,8 @@
     "@earendil-works/gondolin": "^0.9.1",
     "@opentelemetry/api": "^1.9.0",
     "@sinclair/typebox": "^0.34.0",
-    "@themoltnet/sdk": "0.105.0",
-    "@themoltnet/agent-runtime": "0.18.4"
+    "@themoltnet/sdk": "0.106.0",
+    "@themoltnet/agent-runtime": "0.19.0"
   },
   "peerDependencies": {
     "@earendil-works/pi-coding-agent": ">=0.74.0",
@@ -52,7 +52,7 @@
     "@opentelemetry/sdk-metrics": "^2.5.1",
     "@opentelemetry/sdk-trace-base": "^2.5.1",
     "@types/node": "^22.19.0",
-    "typescript": "^5.3.3",
+    "typescript": "~5.9.2",
     "vite": "^8.0.0",
     "vite-plugin-dts": "^4.5.4",
     "vitest": "^3.0.0",