@themoltnet/agent-daemon 0.10.5 → 0.11.0

package/README.md

@@ -250,7 +250,7 @@ Leave it running. It idles until a task lands in its queue.
 
 In another terminal, with `.moltnet/local-dev/env` sourced. Pick the CLI
 form (recommended — schema-validates locally, no Node dependency in the
-imposer path) or the template-driven TS form (legacy path that supports
+proposer path) or the template-driven TS form (legacy path that supports
 `{{placeholder}}` substitution via `--set`).
 
 ::: code-group
@@ -325,7 +325,7 @@ pnpm exec tsx tools/src/tasks/create-pr-review.ts \
   --repo <owner/repo>
 ```
 
-This helper stays imposer-only. It reads PR metadata, ensures the PR
+This helper stays proposer-only. It reads PR metadata, ensures the PR
 correlation marker exists, loads the binary rubric, and creates the
 `pr_review` task. The daemon-claimed LLM attempt remains responsible for
 the review itself and for any requested outward action such as `gh pr comment`.

package/dist/main.js

@@ -2901,7 +2901,7 @@ var ContextBinding = Type$2.Union([
 	Type$2.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
@@ -3047,7 +3047,7 @@ function validateRubricWeights(rubric) {
 //#endregion
 //#region ../../libs/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
@@ -3056,7 +3056,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:
 *
@@ -3090,7 +3090,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.
 *
@@ -4093,8 +4093,9 @@ var AssessBriefOutput = Type$2.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
@@ -4115,7 +4116,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})`
 	});
@@ -4436,11 +4437,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}`
 	});
@@ -4451,6 +4452,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;
@@ -5814,11 +5816,12 @@ function getTaskExecutionPolicy(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$2.Union([
+	Type$2.Literal("waiting"),
 	Type$2.Literal("queued"),
 	Type$2.Literal("dispatched"),
 	Type$2.Literal("running"),
@@ -5861,6 +5864,36 @@ var TaskMessageKind = Type$2.Union([
 var Uuid = Type$2.String({ format: "uuid" });
 var Cid = Type$2.String({ minLength: 1 });
 var IsoTimestamp = Type$2.String({ format: "date-time" });
+var MAX_CLAIM_CONDITION_BRANCHES = 8;
+var MAX_CLAIM_CONDITION_STATUSES = 8;
+var ClaimCondition = Type$2.Recursive((Self) => Type$2.Union([
+	Type$2.Object({
+		op: Type$2.Literal("all"),
+		conditions: Type$2.Array(Self, {
+			minItems: 1,
+			maxItems: MAX_CLAIM_CONDITION_BRANCHES
+		})
+	}, { additionalProperties: false }),
+	Type$2.Object({
+		op: Type$2.Literal("any"),
+		conditions: Type$2.Array(Self, {
+			minItems: 1,
+			maxItems: MAX_CLAIM_CONDITION_BRANCHES
+		})
+	}, { additionalProperties: false }),
+	Type$2.Object({
+		op: Type$2.Literal("task_status"),
+		taskId: Uuid,
+		statuses: Type$2.Array(Type$2.Ref(TaskStatus), {
+			minItems: 1,
+			maxItems: MAX_CLAIM_CONDITION_STATUSES
+		})
+	}, { additionalProperties: false }),
+	Type$2.Object({
+		op: Type$2.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.
@@ -5937,9 +5970,10 @@ Type$2.Object({
 	inputCid: Cid,
 	references: Type$2.Array(TaskRef),
 	correlationId: Type$2.Union([Uuid, Type$2.Null()]),
-	imposedByAgentId: Type$2.Union([Uuid, Type$2.Null()]),
-	imposedByHumanId: Type$2.Union([Uuid, Type$2.Null()]),
+	proposedByAgentId: Type$2.Union([Uuid, Type$2.Null()]),
+	proposedByHumanId: Type$2.Union([Uuid, Type$2.Null()]),
 	acceptedAttemptN: Type$2.Union([Type$2.Number(), Type$2.Null()]),
+	claimCondition: Type$2.Union([ClaimCondition, Type$2.Null()]),
 	requiredExecutorTrustLevel: ExecutorTrustLevel,
 	allowedExecutors: Type$2.Array(ExecutorRef, { maxItems: 16 }),
 	status: TaskStatus,
@@ -6199,7 +6233,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
@@ -6622,7 +6656,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.");
@@ -7858,7 +7892,7 @@ var ApiTaskReporter = class {
 		const response = await this.opts.tasks.heartbeat(this.taskId, this.attemptN, body);
 		if (response?.cancelled && !this.cancelController.signal.aborted) {
 			this.observedCancelReason = response.cancelReason ?? null;
-			this.cancelController.abort(/* @__PURE__ */ new Error(`Task cancelled by imposer${this.observedCancelReason ? `: ${this.observedCancelReason}` : ""}`));
+			this.cancelController.abort(/* @__PURE__ */ new Error(`Task cancelled by proposer${this.observedCancelReason ? `: ${this.observedCancelReason}` : ""}`));
 			if (this.heartbeatTimer) {
 				clearInterval(this.heartbeatTimer);
 				this.heartbeatTimer = null;
@@ -7935,7 +7969,7 @@ var AgentRuntime = class {
 					outputCid: null,
 					error: {
 						code: "task_cancelled",
-						message: reporter.cancelReason ?? "Task cancelled by imposer while executor was running.",
+						message: reporter.cancelReason ?? "Task cancelled by proposer while executor was running.",
 						retryable: false
 					}
 				};
@@ -10458,7 +10492,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;
@@ -17418,7 +17452,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/agent-daemon",
-  "version": "0.10.5",
+  "version": "0.11.0",
   "license": "AGPL-3.0-only",
   "type": "module",
   "description": "MoltNet agent daemon — claims and executes tasks (fulfill_brief, assess_brief) from the MoltNet task-service via Pi-headless. CLI: moltnet-agent.",
@@ -33,19 +33,19 @@
     "@opentelemetry/semantic-conventions": "^1.39.0",
     "pino": "^10.3.1",
     "pino-pretty": "^13.1.3",
-    "@themoltnet/agent-runtime": "0.18.4",
-    "@themoltnet/pi-extension": "0.19.5",
-    "@themoltnet/sdk": "0.105.0"
+    "@themoltnet/pi-extension": "0.20.0",
+    "@themoltnet/agent-runtime": "0.19.0",
+    "@themoltnet/sdk": "0.106.0"
   },
   "devDependencies": {
     "tsx": "^4.7.0",
-    "typescript": "^5.3.3",
+    "typescript": "~5.9.2",
     "vite": "^8.0.0",
     "vitest": "^3.0.0",
-    "@moltnet/crypto-service": "0.1.0",
-    "@moltnet/database": "0.1.0",
     "@moltnet/bootstrap": "0.1.0",
-    "@moltnet/tasks": "0.1.0"
+    "@moltnet/tasks": "0.1.0",
+    "@moltnet/crypto-service": "0.1.0",
+    "@moltnet/database": "0.1.0"
   },
   "nx": {
     "tags": [