@exaudeus/workrail 3.9.2 → 3.11.0

package/dist/mcp/output-schemas.js

@@ -5,6 +5,7 @@ exports.toPendingStep = toPendingStep;
 const zod_1 = require("zod");
 const state_js_1 = require("../domain/execution/state.js");
 const token_patterns_js_1 = require("../v2/durable-core/tokens/token-patterns.js");
+const constants_js_1 = require("../v2/durable-core/constants.js");
 const JsonPrimitiveSchema = zod_1.z.union([zod_1.z.string(), zod_1.z.number(), zod_1.z.boolean(), zod_1.z.null()]);
 exports.JsonValueSchema = zod_1.z.lazy(() => zod_1.z.union([JsonPrimitiveSchema, zod_1.z.array(exports.JsonValueSchema), zod_1.z.record(exports.JsonValueSchema)]));
 exports.WorkflowSummarySchema = zod_1.z.object({
@@ -143,6 +144,11 @@ const V2BlockerPointerSchema = zod_1.z.discriminatedUnion('kind', [
     zod_1.z.object({ kind: zod_1.z.literal('context_budget') }),
     zod_1.z.object({ kind: zod_1.z.literal('output_contract'), contractRef: zod_1.z.string().min(1) }),
     zod_1.z.object({ kind: zod_1.z.literal('capability'), capability: zod_1.z.enum(['delegation', 'web_browsing']) }),
+    zod_1.z.object({
+        kind: zod_1.z.literal('assessment_dimension'),
+        assessmentId: zod_1.z.string().min(1),
+        dimensionId: zod_1.z.string().min(1).regex(DELIMITER_SAFE_ID_PATTERN, 'dimensionId must be delimiter-safe: [a-z0-9_-]+'),
+    }),
     zod_1.z.object({
         kind: zod_1.z.literal('workflow_step'),
         stepId: zod_1.z.string().min(1).regex(DELIMITER_SAFE_ID_PATTERN, 'stepId must be delimiter-safe: [a-z0-9_-]+'),
@@ -153,6 +159,7 @@ const V2BlockerSchema = zod_1.z.object({
         'USER_ONLY_DEPENDENCY',
         'MISSING_REQUIRED_OUTPUT',
         'INVALID_REQUIRED_OUTPUT',
+        'ASSESSMENT_FOLLOWUP_REQUIRED',
         'MISSING_REQUIRED_NOTES',
         'MISSING_CONTEXT_KEY',
         'CONTEXT_BUDGET_EXCEEDED',
@@ -194,6 +201,9 @@ exports.V2BlockerReportSchema = zod_1.z
             case 'capability':
                 ptrStable = p.capability;
                 break;
+            case 'assessment_dimension':
+                ptrStable = `${p.assessmentId}|${p.dimensionId}`;
+                break;
             case 'workflow_step':
                 ptrStable = p.stepId;
                 break;
@@ -251,6 +261,12 @@ const V2ContinueWorkflowBlockedSchema = zod_1.z.object({
         suggestions: zod_1.z.array(zod_1.z.string()),
     })
         .optional(),
+    assessmentFollowup: zod_1.z
+        .object({
+        title: zod_1.z.string().min(1),
+        guidance: zod_1.z.string().min(1),
+    })
+        .optional(),
 });
 exports.V2ContinueWorkflowOutputSchema = zod_1.z.discriminatedUnion('kind', [
     V2ContinueWorkflowOkSchema,
@@ -264,7 +280,7 @@ exports.V2ResumeSessionOutputSchema = zod_1.z.object({
         sessionTitle: zod_1.z.string().nullable().describe('Human-readable task/session title derived from persisted workflow context or early recap text.'),
         gitBranch: zod_1.z.string().nullable().describe('Git branch associated with the session, if available.'),
         resumeToken: zod_1.z.string().regex(token_patterns_js_1.STATE_TOKEN_PATTERN, 'Invalid resumeToken format'),
-        snippet: zod_1.z.string().max(1024),
+        snippet: zod_1.z.string().max(constants_js_1.MAX_RESUME_PREVIEW_BYTES),
         confidence: zod_1.z.enum(['strong', 'medium', 'weak']).describe('Coarse confidence band for how likely this candidate is the intended session.'),
         matchExplanation: zod_1.z.string().min(1).describe('Short natural-language explanation of why this candidate ranked here.'),
         pendingStepId: zod_1.z.string().nullable().describe('The current pending step ID (e.g. "phase-3-implement") if the workflow is in progress. ' +

package/dist/mcp/v2-response-formatter.js

@@ -126,7 +126,13 @@ function formatBlockedRetryable(data) {
             lines.push('');
         }
     }
-    lines.push('Retry with corrected output:');
+    if (data.assessmentFollowup) {
+        lines.push('**Follow-up required before retrying this step:**');
+        lines.push(`- ${data.assessmentFollowup.title}`);
+        lines.push(`- ${data.assessmentFollowup.guidance}`);
+        lines.push('');
+    }
+    lines.push('Retry the same step with improved output:');
     lines.push('');
     lines.push(formatTokenBlock(data));
     return lines.join('\n');

package/dist/types/workflow-definition.d.ts

@@ -11,6 +11,29 @@ export interface PromptFragment {
     readonly when?: Condition;
     readonly text: string;
 }
+export interface AssessmentDimensionDefinition {
+    readonly id: string;
+    readonly purpose: string;
+    readonly levels: readonly string[];
+    readonly required?: boolean;
+}
+export interface AssessmentDefinition {
+    readonly id: string;
+    readonly purpose: string;
+    readonly dimensions: readonly AssessmentDimensionDefinition[];
+}
+export interface AssessmentConsequenceTriggerDefinition {
+    readonly dimensionId: string;
+    readonly equalsLevel: string;
+}
+export interface AssessmentFollowupRequiredEffectDefinition {
+    readonly kind: 'require_followup';
+    readonly guidance: string;
+}
+export interface AssessmentConsequenceDefinition {
+    readonly when: AssessmentConsequenceTriggerDefinition;
+    readonly effect: AssessmentFollowupRequiredEffectDefinition;
+}
 export interface WorkflowStepDefinition {
     readonly id: string;
     readonly title: string;
@@ -23,6 +46,8 @@ export interface WorkflowStepDefinition {
     readonly runCondition?: Readonly<Record<string, unknown>>;
     readonly validationCriteria?: ValidationCriteria;
     readonly outputContract?: OutputContract;
+    readonly assessmentRefs?: readonly string[];
+    readonly assessmentConsequences?: readonly AssessmentConsequenceDefinition[];
     readonly notesOptional?: boolean;
     readonly templateCall?: TemplateCall;
     readonly promptFragments?: readonly PromptFragment[];
@@ -106,6 +131,7 @@ export interface WorkflowDefinition {
     readonly functionDefinitions?: readonly FunctionDefinition[];
     readonly recommendedPreferences?: WorkflowRecommendedPreferences;
     readonly features?: readonly string[];
+    readonly assessments?: readonly AssessmentDefinition[];
     readonly extensionPoints?: readonly ExtensionPoint[];
     readonly references?: readonly WorkflowReference[];
 }

package/dist/types/workflow-definition.js

@@ -28,11 +28,26 @@ function hasWorkflowDefinitionShape(obj) {
 function createWorkflowDefinition(definition) {
     return Object.freeze({
         ...definition,
-        steps: Object.freeze(definition.steps.map(step => Object.freeze({ ...step }))),
+        steps: Object.freeze(definition.steps.map(step => Object.freeze({
+            ...step,
+            assessmentConsequences: 'assessmentConsequences' in step && step.assessmentConsequences
+                ? Object.freeze(step.assessmentConsequences.map(consequence => Object.freeze({
+                    ...consequence,
+                    when: Object.freeze({ ...consequence.when }),
+                    effect: Object.freeze({ ...consequence.effect }),
+                })))
+                : undefined,
+        }))),
         preconditions: definition.preconditions ? Object.freeze([...definition.preconditions]) : undefined,
         clarificationPrompts: definition.clarificationPrompts ? Object.freeze([...definition.clarificationPrompts]) : undefined,
         metaGuidance: definition.metaGuidance ? Object.freeze([...definition.metaGuidance]) : undefined,
         functionDefinitions: definition.functionDefinitions ? Object.freeze([...definition.functionDefinitions]) : undefined,
+        assessments: definition.assessments
+            ? Object.freeze(definition.assessments.map(assessment => Object.freeze({
+                ...assessment,
+                dimensions: Object.freeze(assessment.dimensions.map(dimension => Object.freeze({ ...dimension }))),
+            })))
+            : undefined,
         extensionPoints: definition.extensionPoints ? Object.freeze([...definition.extensionPoints]) : undefined,
         references: definition.references ? Object.freeze(definition.references.map(ref => Object.freeze({ ...ref }))) : undefined,
     });

package/dist/v2/durable-core/constants.d.ts

@@ -15,7 +15,8 @@ export declare const MAX_OBSERVATION_SHORT_STRING_LENGTH = 80;
 export declare const SESSION_LOCK_RETRY_AFTER_MS = 1000;
 export declare const DEFAULT_RETRY_AFTER_MS = 1000;
 export declare const TRUNCATION_MARKER = "\n\n[TRUNCATED]";
-export declare const RECOVERY_BUDGET_BYTES = 12288;
+export declare const RECOVERY_BUDGET_BYTES: number;
+export declare const MAX_RESUME_PREVIEW_BYTES: number;
 export declare const SHA256_DIGEST_PATTERN: RegExp;
 export declare const DELIMITER_SAFE_ID_PATTERN: RegExp;
 export declare const EVENT_KIND: {
@@ -27,6 +28,8 @@ export declare const EVENT_KIND: {
     readonly ADVANCE_RECORDED: "advance_recorded";
     readonly VALIDATION_PERFORMED: "validation_performed";
     readonly NODE_OUTPUT_APPENDED: "node_output_appended";
+    readonly ASSESSMENT_RECORDED: "assessment_recorded";
+    readonly ASSESSMENT_CONSEQUENCE_APPLIED: "assessment_consequence_applied";
     readonly PREFERENCES_CHANGED: "preferences_changed";
     readonly CAPABILITY_OBSERVED: "capability_observed";
     readonly GAP_RECORDED: "gap_recorded";

package/dist/v2/durable-core/constants.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.AUTONOMY_MODE = exports.ADVANCE_INTENT = exports.MANIFEST_KIND = exports.EDGE_CAUSE = exports.ADVANCE_OUTCOME = exports.ENGINE_STATE = exports.EDGE_KIND = exports.PAYLOAD_KIND = exports.OUTPUT_CHANNEL = exports.EVENT_KIND = exports.DELIMITER_SAFE_ID_PATTERN = exports.SHA256_DIGEST_PATTERN = exports.RECOVERY_BUDGET_BYTES = exports.TRUNCATION_MARKER = exports.DEFAULT_RETRY_AFTER_MS = exports.SESSION_LOCK_RETRY_AFTER_MS = exports.MAX_OBSERVATION_SHORT_STRING_LENGTH = exports.MAX_CONTEXT_DEPTH = exports.MAX_CONTEXT_BYTES = exports.MAX_VALIDATION_SUGGESTIONS_BYTES = exports.MAX_VALIDATION_ISSUES_BYTES = exports.MAX_VALIDATION_SUGGESTION_ITEM_BYTES = exports.MAX_VALIDATION_ISSUE_ITEM_BYTES = exports.MAX_OUTPUT_NOTES_MARKDOWN_BYTES = exports.MAX_DECISION_TRACE_TOTAL_BYTES = exports.MAX_DECISION_TRACE_ENTRY_SUMMARY_BYTES = exports.MAX_DECISION_TRACE_ENTRIES = exports.MAX_BLOCKER_SUGGESTED_FIX_BYTES = exports.MAX_BLOCKER_MESSAGE_BYTES = exports.MAX_BLOCKERS = void 0;
+exports.AUTONOMY_MODE = exports.ADVANCE_INTENT = exports.MANIFEST_KIND = exports.EDGE_CAUSE = exports.ADVANCE_OUTCOME = exports.ENGINE_STATE = exports.EDGE_KIND = exports.PAYLOAD_KIND = exports.OUTPUT_CHANNEL = exports.EVENT_KIND = exports.DELIMITER_SAFE_ID_PATTERN = exports.SHA256_DIGEST_PATTERN = exports.MAX_RESUME_PREVIEW_BYTES = exports.RECOVERY_BUDGET_BYTES = exports.TRUNCATION_MARKER = exports.DEFAULT_RETRY_AFTER_MS = exports.SESSION_LOCK_RETRY_AFTER_MS = exports.MAX_OBSERVATION_SHORT_STRING_LENGTH = exports.MAX_CONTEXT_DEPTH = exports.MAX_CONTEXT_BYTES = exports.MAX_VALIDATION_SUGGESTIONS_BYTES = exports.MAX_VALIDATION_ISSUES_BYTES = exports.MAX_VALIDATION_SUGGESTION_ITEM_BYTES = exports.MAX_VALIDATION_ISSUE_ITEM_BYTES = exports.MAX_OUTPUT_NOTES_MARKDOWN_BYTES = exports.MAX_DECISION_TRACE_TOTAL_BYTES = exports.MAX_DECISION_TRACE_ENTRY_SUMMARY_BYTES = exports.MAX_DECISION_TRACE_ENTRIES = exports.MAX_BLOCKER_SUGGESTED_FIX_BYTES = exports.MAX_BLOCKER_MESSAGE_BYTES = exports.MAX_BLOCKERS = void 0;
 exports.MAX_BLOCKERS = 10;
 exports.MAX_BLOCKER_MESSAGE_BYTES = 512;
 exports.MAX_BLOCKER_SUGGESTED_FIX_BYTES = 1024;
@@ -18,7 +18,8 @@ exports.MAX_OBSERVATION_SHORT_STRING_LENGTH = 80;
 exports.SESSION_LOCK_RETRY_AFTER_MS = 1000;
 exports.DEFAULT_RETRY_AFTER_MS = 1000;
 exports.TRUNCATION_MARKER = '\n\n[TRUNCATED]';
-exports.RECOVERY_BUDGET_BYTES = 12288;
+exports.RECOVERY_BUDGET_BYTES = 24 * 1024;
+exports.MAX_RESUME_PREVIEW_BYTES = 2 * 1024;
 exports.SHA256_DIGEST_PATTERN = /^sha256:[0-9a-f]{64}$/;
 exports.DELIMITER_SAFE_ID_PATTERN = /^[a-z0-9_-]+$/;
 exports.EVENT_KIND = {
@@ -30,6 +31,8 @@ exports.EVENT_KIND = {
     ADVANCE_RECORDED: 'advance_recorded',
     VALIDATION_PERFORMED: 'validation_performed',
     NODE_OUTPUT_APPENDED: 'node_output_appended',
+    ASSESSMENT_RECORDED: 'assessment_recorded',
+    ASSESSMENT_CONSEQUENCE_APPLIED: 'assessment_consequence_applied',
     PREFERENCES_CHANGED: 'preferences_changed',
     CAPABILITY_OBSERVED: 'capability_observed',
     GAP_RECORDED: 'gap_recorded',

package/dist/v2/durable-core/domain/assessment-consequence-event-builder.d.ts

@@ -0,0 +1,23 @@
+import { type Result } from 'neverthrow';
+import type { DomainEventV1 } from '../schemas/session/index.js';
+type EventToAppendV1 = Omit<DomainEventV1, 'eventIndex' | 'sessionId'>;
+export type AssessmentConsequenceEventError = {
+    readonly code: 'ASSESSMENT_CONSEQUENCE_EVENT_INVARIANT_VIOLATION';
+    readonly message: string;
+};
+export declare function buildAssessmentConsequenceAppliedEvent(args: {
+    readonly sessionId: string;
+    readonly attemptId: string;
+    readonly scope: {
+        readonly runId: string;
+        readonly nodeId: string;
+    };
+    readonly assessmentId: string;
+    readonly dimensionId: string;
+    readonly level: string;
+    readonly guidance: string;
+    readonly minted: {
+        readonly eventId: string;
+    };
+}): Result<EventToAppendV1, AssessmentConsequenceEventError>;
+export {};

package/dist/v2/durable-core/domain/assessment-consequence-event-builder.js

@@ -0,0 +1,36 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildAssessmentConsequenceAppliedEvent = buildAssessmentConsequenceAppliedEvent;
+const neverthrow_1 = require("neverthrow");
+const constants_js_1 = require("../constants.js");
+function buildAssessmentConsequenceAppliedEvent(args) {
+    if (!args.sessionId)
+        return (0, neverthrow_1.err)({ code: 'ASSESSMENT_CONSEQUENCE_EVENT_INVARIANT_VIOLATION', message: 'sessionId is required' });
+    if (!args.attemptId)
+        return (0, neverthrow_1.err)({ code: 'ASSESSMENT_CONSEQUENCE_EVENT_INVARIANT_VIOLATION', message: 'attemptId is required' });
+    if (!args.scope.runId || !args.scope.nodeId) {
+        return (0, neverthrow_1.err)({ code: 'ASSESSMENT_CONSEQUENCE_EVENT_INVARIANT_VIOLATION', message: 'scope.runId and scope.nodeId are required' });
+    }
+    if (!args.assessmentId || !args.dimensionId || !args.level || !args.guidance) {
+        return (0, neverthrow_1.err)({ code: 'ASSESSMENT_CONSEQUENCE_EVENT_INVARIANT_VIOLATION', message: 'assessment consequence fields are required' });
+    }
+    return (0, neverthrow_1.ok)({
+        v: 1,
+        eventId: args.minted.eventId,
+        kind: constants_js_1.EVENT_KIND.ASSESSMENT_CONSEQUENCE_APPLIED,
+        dedupeKey: `assessment_consequence_applied:${args.sessionId}:${args.scope.nodeId}:${args.attemptId}`,
+        scope: { runId: args.scope.runId, nodeId: args.scope.nodeId },
+        data: {
+            attemptId: args.attemptId,
+            assessmentId: args.assessmentId,
+            trigger: {
+                dimensionId: args.dimensionId,
+                level: args.level,
+            },
+            effect: {
+                kind: 'require_followup',
+                guidance: args.guidance,
+            },
+        },
+    });
+}

package/dist/v2/durable-core/domain/assessment-record.d.ts

@@ -0,0 +1,12 @@
+export interface RecordedAssessmentDimensionV1 {
+    readonly dimensionId: string;
+    readonly level: string;
+    readonly rationale?: string;
+    readonly normalization: 'exact' | 'normalized';
+}
+export interface RecordedAssessmentV1 {
+    readonly assessmentId: string;
+    readonly summary?: string;
+    readonly dimensions: readonly RecordedAssessmentDimensionV1[];
+    readonly normalizationNotes: readonly string[];
+}

package/dist/v2/durable-core/domain/assessment-record.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/dist/v2/durable-core/domain/assessment-recorded-event-builder.d.ts

@@ -0,0 +1,22 @@
+import { type Result } from 'neverthrow';
+import type { DomainEventV1 } from '../schemas/session/index.js';
+import type { RecordedAssessmentV1 } from './assessment-record.js';
+type EventToAppendV1 = Omit<DomainEventV1, 'eventIndex' | 'sessionId'>;
+export type AssessmentRecordedEventError = {
+    readonly code: 'ASSESSMENT_EVENT_INVARIANT_VIOLATION';
+    readonly message: string;
+};
+export declare function buildAssessmentRecordedEvent(args: {
+    readonly sessionId: string;
+    readonly attemptId: string;
+    readonly artifactOutputId: string;
+    readonly scope: {
+        readonly runId: string;
+        readonly nodeId: string;
+    };
+    readonly assessment: RecordedAssessmentV1;
+    readonly minted: {
+        readonly eventId: string;
+    };
+}): Result<EventToAppendV1, AssessmentRecordedEventError>;
+export {};

package/dist/v2/durable-core/domain/assessment-recorded-event-builder.js

@@ -0,0 +1,38 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildAssessmentRecordedEvent = buildAssessmentRecordedEvent;
+const neverthrow_1 = require("neverthrow");
+const constants_js_1 = require("../constants.js");
+function buildAssessmentRecordedEvent(args) {
+    if (!args.sessionId)
+        return (0, neverthrow_1.err)({ code: 'ASSESSMENT_EVENT_INVARIANT_VIOLATION', message: 'sessionId is required' });
+    if (!args.attemptId)
+        return (0, neverthrow_1.err)({ code: 'ASSESSMENT_EVENT_INVARIANT_VIOLATION', message: 'attemptId is required' });
+    if (!args.artifactOutputId)
+        return (0, neverthrow_1.err)({ code: 'ASSESSMENT_EVENT_INVARIANT_VIOLATION', message: 'artifactOutputId is required' });
+    if (!args.scope.runId || !args.scope.nodeId) {
+        return (0, neverthrow_1.err)({ code: 'ASSESSMENT_EVENT_INVARIANT_VIOLATION', message: 'scope.runId and scope.nodeId are required' });
+    }
+    if (!args.minted.eventId)
+        return (0, neverthrow_1.err)({ code: 'ASSESSMENT_EVENT_INVARIANT_VIOLATION', message: 'minted.eventId is required' });
+    return (0, neverthrow_1.ok)({
+        v: 1,
+        eventId: args.minted.eventId,
+        kind: constants_js_1.EVENT_KIND.ASSESSMENT_RECORDED,
+        dedupeKey: `assessment_recorded:${args.sessionId}:${args.scope.nodeId}:${args.attemptId}`,
+        scope: { runId: args.scope.runId, nodeId: args.scope.nodeId },
+        data: {
+            assessmentId: args.assessment.assessmentId,
+            attemptId: args.attemptId,
+            artifactOutputId: args.artifactOutputId,
+            summary: args.assessment.summary,
+            normalizationNotes: [...args.assessment.normalizationNotes],
+            dimensions: args.assessment.dimensions.map((dimension) => ({
+                dimensionId: dimension.dimensionId,
+                level: dimension.level,
+                normalization: dimension.normalization,
+                ...(dimension.rationale ? { rationale: dimension.rationale } : {}),
+            })),
+        },
+    });
+}

package/dist/v2/durable-core/domain/blocked-node-builder.d.ts

@@ -14,7 +14,7 @@ export declare function buildBlockedNodeSnapshot(args: {
     readonly priorSnapshot: ExecutionSnapshotFileV1;
     readonly primaryReason: ReasonV1;
     readonly attemptId: AttemptId;
-    readonly validationRef: string;
+    readonly validationRef?: string;
     readonly blockers: BlockerReportV1;
     readonly sha256: Sha256PortV2;
 }): Result<ExecutionSnapshotFileV1, BlockedNodeBuildError>;

package/dist/v2/durable-core/domain/blocked-node-builder.js

@@ -9,6 +9,14 @@ function toContractViolationReason(reason) {
             return { kind: 'invalid_required_output', contractRef: reason.contractRef };
         case 'missing_required_output':
             return { kind: 'missing_required_output', contractRef: reason.contractRef };
+        case 'assessment_followup_required':
+            return {
+                kind: 'assessment_followup_required',
+                assessmentId: reason.assessmentId,
+                dimensionId: reason.dimensionId,
+                level: reason.level,
+                guidance: reason.guidance,
+            };
         case 'missing_context_key':
             return { kind: 'missing_context_key', key: reason.key };
         case 'context_budget_exceeded':

package/dist/v2/durable-core/domain/blocking-decision.d.ts

@@ -34,4 +34,10 @@ export declare function detectBlockingReasonsV1(args: {
     readonly missingNotes?: {
         readonly stepId: string;
     };
+    readonly assessmentFollowupRequired?: {
+        readonly assessmentId: string;
+        readonly dimensionId: string;
+        readonly level: string;
+        readonly guidance: string;
+    };
 }): Result<readonly ReasonV1[], BlockingDecisionError>;

package/dist/v2/durable-core/domain/blocking-decision.js

@@ -63,5 +63,20 @@ function detectBlockingReasonsV1(args) {
         }
         reasons.push({ kind: 'missing_notes', stepId: args.missingNotes.stepId });
     }
+    if (args.assessmentFollowupRequired) {
+        if (!constants_js_1.DELIMITER_SAFE_ID_PATTERN.test(args.assessmentFollowupRequired.dimensionId)) {
+            return (0, neverthrow_1.err)({
+                code: 'INVALID_DELIMITER_SAFE_ID',
+                message: `assessment dimension ID must be delimiter-safe: [a-z0-9_-]+ (got: ${args.assessmentFollowupRequired.dimensionId})`,
+            });
+        }
+        reasons.push({
+            kind: 'assessment_followup_required',
+            assessmentId: args.assessmentFollowupRequired.assessmentId,
+            dimensionId: args.assessmentFollowupRequired.dimensionId,
+            level: args.assessmentFollowupRequired.level,
+            guidance: args.assessmentFollowupRequired.guidance,
+        });
+    }
     return (0, neverthrow_1.ok)(reasons);
 }

package/dist/v2/durable-core/domain/prompt-renderer.js

@@ -15,11 +15,13 @@ const index_js_2 = require("../schemas/artifacts/index.js");
 const run_context_js_1 = require("../../projections/run-context.js");
 const condition_evaluator_js_1 = require("../../../utils/condition-evaluator.js");
 const context_template_resolver_js_1 = require("./context-template-resolver.js");
-function buildNonTipSections(args) {
-    const sections = [];
+const retrieval_contract_js_1 = require("./retrieval-contract.js");
+function buildNonTipSegments(args) {
+    const segments = [];
     const childSummary = (0, recap_recovery_js_1.buildChildSummary)({ nodeId: args.nodeId, dag: args.run });
-    if (childSummary) {
-        sections.push(`### Branch Summary\n${childSummary}`);
+    const childSummarySegment = (0, retrieval_contract_js_1.createBranchSummarySegment)(childSummary);
+    if (childSummarySegment) {
+        segments.push(childSummarySegment);
     }
     if (args.run.preferredTipNodeId && args.run.preferredTipNodeId !== String(args.nodeId)) {
         const downstreamRes = (0, recap_recovery_js_1.collectDownstreamRecap)({
@@ -29,12 +31,15 @@ function buildNonTipSections(args) {
             outputs: args.outputs,
         });
         if (downstreamRes.isOk() && downstreamRes.value.length > 0) {
-            sections.push(`### Downstream Recap (Preferred Branch)\n${downstreamRes.value.join('\n\n')}`);
+            const downstreamSegment = (0, retrieval_contract_js_1.createDownstreamRecapSegment)(downstreamRes.value.join('\n\n'));
+            if (downstreamSegment) {
+                segments.push(downstreamSegment);
+            }
         }
     }
-    return sections;
+    return segments;
 }
-function buildAncestrySections(args) {
+function buildAncestrySegments(args) {
     const ancestryRes = (0, recap_recovery_js_1.collectAncestryRecap)({
         nodeId: args.nodeId,
         dag: args.run,
@@ -42,11 +47,12 @@ function buildAncestrySections(args) {
         includeCurrentNode: false,
     });
     if (ancestryRes.isOk() && ancestryRes.value.length > 0) {
-        return [`### Ancestry Recap\n${ancestryRes.value.join('\n\n')}`];
+        const ancestrySegment = (0, retrieval_contract_js_1.createAncestryRecapSegment)(ancestryRes.value.join('\n\n'));
+        return ancestrySegment ? [ancestrySegment] : [];
     }
     return [];
 }
-function buildFunctionDefsSections(args) {
+function buildFunctionDefsSegments(args) {
     const funcsRes = (0, function_definition_expander_js_1.expandFunctionDefinitions)({
         workflow: args.workflow,
         stepId: args.stepId,
@@ -55,7 +61,8 @@ function buildFunctionDefsSections(args) {
     });
     if (funcsRes.isOk() && funcsRes.value.length > 0) {
         const formatted = funcsRes.value.map(function_definition_expander_js_1.formatFunctionDef).join('\n\n');
-        return [`### Function Definitions\n\`\`\`\n${formatted}\n\`\`\``];
+        const functionDefinitionsSegment = (0, retrieval_contract_js_1.createFunctionDefinitionsSegment)(`\`\`\`\n${formatted}\n\`\`\``);
+        return functionDefinitionsSegment ? [functionDefinitionsSegment] : [];
     }
     return [];
 }
@@ -65,12 +72,12 @@ function hasPriorNotesInRun(args) {
         e.data.outputChannel === constants_js_1.OUTPUT_CHANNEL.RECAP &&
         e.data.payload.payloadKind === constants_js_1.PAYLOAD_KIND.NOTES);
 }
-function buildRecoverySections(args) {
+function buildRecoverySegments(args) {
     const isTip = args.run.tipNodeIds.includes(String(args.nodeId));
     return [
-        ...(isTip ? [] : buildNonTipSections({ nodeId: args.nodeId, run: args.run, outputs: args.outputs })),
-        ...buildAncestrySections({ nodeId: args.nodeId, run: args.run, outputs: args.outputs }),
-        ...buildFunctionDefsSections({
+        ...(isTip ? [] : buildNonTipSegments({ nodeId: args.nodeId, run: args.run, outputs: args.outputs })),
+        ...buildAncestrySegments({ nodeId: args.nodeId, run: args.run, outputs: args.outputs }),
+        ...buildFunctionDefsSegments({
             workflow: args.workflow,
             stepId: args.stepId,
             loopPath: args.loopPath,
@@ -78,52 +85,6 @@ function buildRecoverySections(args) {
         }),
     ];
 }
-function trimToUtf8Boundary(bytes) {
-    const n = bytes.length;
-    if (n === 0)
-        return bytes;
-    let cont = 0;
-    for (let i = n - 1; i >= 0 && i >= n - 4; i--) {
-        const b = bytes[i];
-        if ((b & 192) === 128) {
-            cont++;
-        }
-        else {
-            break;
-        }
-    }
-    if (cont === 0)
-        return bytes;
-    const leadByteIndex = n - cont - 1;
-    if (leadByteIndex < 0) {
-        return new Uint8Array(0);
-    }
-    const leadByte = bytes[leadByteIndex];
-    const expectedLen = (leadByte & 128) === 0 ? 1 :
-        (leadByte & 224) === 192 ? 2 :
-            (leadByte & 240) === 224 ? 3 :
-                (leadByte & 248) === 240 ? 4 :
-                    0;
-    const actualLen = cont + 1;
-    if (expectedLen === 0 || expectedLen !== actualLen) {
-        return bytes.subarray(0, leadByteIndex);
-    }
-    return bytes;
-}
-function applyPromptBudget(combinedPrompt) {
-    const encoder = new TextEncoder();
-    const promptBytes = encoder.encode(combinedPrompt);
-    if (promptBytes.length <= constants_js_1.RECOVERY_BUDGET_BYTES) {
-        return combinedPrompt;
-    }
-    const markerText = constants_js_1.TRUNCATION_MARKER;
-    const omissionNote = `\nOmitted recovery content due to budget constraints.`;
-    const suffixBytes = encoder.encode(markerText + omissionNote);
-    const maxContentBytes = constants_js_1.RECOVERY_BUDGET_BYTES - suffixBytes.length;
-    const truncatedBytes = trimToUtf8Boundary(promptBytes.subarray(0, maxContentBytes));
-    const decoder = new TextDecoder('utf-8');
-    return decoder.decode(truncatedBytes) + markerText + omissionNote;
-}
 function resolveParentLoopStep(workflow, stepId) {
     for (const step of workflow.definition.steps) {
         if ((0, workflow_js_1.isLoopStepDefinition)(step) && Array.isArray(step.body)) {
@@ -220,6 +181,18 @@ function formatOutputContractRequirements(outputContract) {
             ];
     }
 }
+function formatAssessmentRequirements(assessments) {
+    if (assessments.length === 0)
+        return [];
+    const requirements = [];
+    for (const assessment of assessments) {
+        requirements.push('Provide an artifact with kind: "wr.assessment"');
+        requirements.push(`Assessment target: "${assessment.id}"`);
+        requirements.push(`Dimensions: ${assessment.dimensions.map((dimension) => `${dimension.id} (${dimension.levels.join(' | ')})`).join(', ')}`);
+        requirements.push('Use only canonical dimension levels. If the engine rejects the artifact, correct the submitted levels instead of inventing new ones.');
+    }
+    return requirements;
+}
 function assembleFragmentedPrompt(fragments, context) {
     return fragments
         .filter(f => (0, condition_evaluator_js_1.evaluateCondition)(f.when, context))
@@ -256,6 +229,12 @@ function renderPendingPrompt(args) {
     const outputContract = 'outputContract' in step
         ? step.outputContract
         : undefined;
+    const stepAssessmentRefs = 'assessmentRefs' in step
+        ? step.assessmentRefs
+        : undefined;
+    const stepAssessments = stepAssessmentRefs && stepAssessmentRefs.length > 0
+        ? (args.workflow.definition.assessments ?? []).filter((assessment) => stepAssessmentRefs.includes(assessment.id))
+        : [];
     const isExitStep = outputContract?.contractRef === index_js_2.LOOP_CONTROL_CONTRACT_REF;
     const loopStep = resolveParentLoopStep(args.workflow, args.stepId);
     const maxIterations = loopStep?.loop.maxIterations;
@@ -286,6 +265,12 @@ function renderPendingPrompt(args) {
             ? `\n\n${contractRequirements.map(r => `- ${r}`).join('\n')}`
             : `\n\n**OUTPUT REQUIREMENTS (System):**\n${contractRequirements.map(r => `- ${r}`).join('\n')}`
         : '';
+    const assessmentRequirements = formatAssessmentRequirements(stepAssessments);
+    const assessmentSection = assessmentRequirements.length > 0
+        ? cleanResponseFormat
+            ? `\n\n${assessmentRequirements.map(r => `- ${r}`).join('\n')}`
+            : `\n\n**ASSESSMENT REQUIREMENTS (System):**\n${assessmentRequirements.map(r => `- ${r}`).join('\n')}`
+        : '';
     const isNotesOptional = outputContract !== undefined ||
         ('notesOptional' in step && step.notesOptional === true);
     const notesSection = (() => {
@@ -336,7 +321,7 @@ function renderPendingPrompt(args) {
     const fragmentSuffix = promptFragments && promptFragments.length > 0
         ? assembleFragmentedPrompt(promptFragments, renderContext)
         : '';
-    const enhancedPrompt = loopBanner + basePrompt + requirementsSection + contractSection + notesSection
+    const enhancedPrompt = loopBanner + basePrompt + requirementsSection + contractSection + assessmentSection + notesSection
         + (fragmentSuffix ? '\n\n' + fragmentSuffix : '');
     if (!args.rehydrateOnly) {
         return (0, neverthrow_1.ok)({ stepId: args.stepId, title: baseTitle, prompt: enhancedPrompt, agentRole, requireConfirmation });
@@ -352,9 +337,8 @@ function renderPendingPrompt(args) {
         });
     }
     const { run, outputs } = projectionsRes.value;
-    const sections = buildRecoverySections({
+    const segments = buildRecoverySegments({
         nodeId: args.nodeId,
-        dag: run,
         run,
         outputs,
         workflow: args.workflow,
@@ -362,12 +346,14 @@ function renderPendingPrompt(args) {
         loopPath: args.loopPath,
         functionReferences,
     });
-    if (sections.length === 0) {
+    if (segments.length === 0) {
         return (0, neverthrow_1.ok)({ stepId: args.stepId, title: baseTitle, prompt: enhancedPrompt, agentRole, requireConfirmation });
     }
     const recoveryHeader = cleanResponseFormat ? 'Your previous work:' : '## Recovery Context';
-    const recoveryText = `${recoveryHeader}\n\n${sections.join('\n\n')}`;
-    const combinedPrompt = `${enhancedPrompt}\n\n${recoveryText}`;
-    const finalPrompt = applyPromptBudget(combinedPrompt);
+    const recoveryText = (0, retrieval_contract_js_1.renderBudgetedRehydrateRecovery)({
+        header: recoveryHeader,
+        segments,
+    }).text;
+    const finalPrompt = `${enhancedPrompt}\n\n${recoveryText}`;
     return (0, neverthrow_1.ok)({ stepId: args.stepId, title: baseTitle, prompt: finalPrompt, agentRole, requireConfirmation });
 }