create-agdf 0.30.0 → 0.32.0

package/generated/plugins/agdf/runtime/create-agdf/runtime/core/lib/control-state/prepared-control-calls.js

@@ -0,0 +1,137 @@
+import { randomUUID } from 'node:crypto';
+import { canonicalJson, digest } from './approval-command-contract.js';
+import { RUN_COMMAND_DESCRIPTORS, validateRunCommand } from './run-command-schema.js';
+import { closeoutConfirmation } from '../control-evaluation/closeout-readiness.js';
+import { REPORT_DECISION_FORMAT } from '../control-evaluation/report-decision.js';
+import { MATERIAL_LIMITS } from './material-limits.js';
+
+// Call construction only. The existing command/dispatch owners still validate
+// intent, current bindings, review, presentation and every actual mutation.
+export function continueDeliveryCall(input, runId = input.run_id) {
+  return { tool: 'agdf_dispatch', arguments: { presentation_language: input.presentation_language,
+    working_directory: input.working_directory, primary_target: input.primary_target, target_source: input.target_source,
+    skill_id: 'gate-check', run_id: runId, continue_delivery: true } };
+}
+
+// Observation of the original UUID, never a new write or refreshed revision.
+export function originalOperationCall(input) {
+  const kind = input.command?.kind;
+  if (!input.run_id && !input.planning && !['project.initialize', 'run.create'].includes(kind)) return undefined;
+  if (['material.stage', 'planned_material.stage', 'presentation.deliver'].includes(kind)) return undefined;
+  return { tool: 'agdf_inspect', arguments: {
+    presentation_language: input.presentation_language, working_directory: input.working_directory,
+    primary_target: input.primary_target, target_source: input.target_source,
+    operation: 'operation-status', module: input.planning || kind === 'project.initialize' ? `${kind}/${input.operation_id}` : input.operation_id,
+    ...(input.planning ? { planning: input.planning } : input.run_id ? { run_id: input.run_id, expected_revision_id: input.expected_revision_id } : {}),
+  } };
+}
+
+function compatible(schema, value) {
+  if (schema.oneOf || schema.anyOf) return (schema.oneOf ?? schema.anyOf).some(row => compatible(row, value));
+  if (schema.allOf) return schema.allOf.every(row => compatible(row, value));
+  if (schema.additionalProperties === false && value && typeof value === 'object'
+      && Object.keys(value).some(key => !Object.hasOwn(schema.properties ?? {}, key))) return false;
+  return Object.entries(schema.properties ?? {}).every(([key, rule]) => value?.[key] === undefined
+    || (!Object.hasOwn(rule, 'const') || value[key] === rule.const) && (!rule.enum || rule.enum.includes(value[key])));
+}
+
+function missing(schema, value, path) {
+  if (schema.oneOf || schema.anyOf) {
+    const variants = (schema.oneOf ?? schema.anyOf).filter(row => compatible(row, value));
+    return variants.length === 1 ? missing(variants[0], value, path) : [path];
+  }
+  if (schema.allOf) return [...new Set(schema.allOf.flatMap(row => missing(row, value, path)))];
+  if (schema.type === 'array' && Array.isArray(value)) return value.flatMap((row, i) => missing(schema.items, row, `${path}/${i}`));
+  if (schema.type !== 'object') return [];
+  return Object.entries(schema.properties ?? {}).flatMap(([key, rule]) => value?.[key] === undefined
+    ? (schema.required ?? []).includes(key) ? [`${path}/${key}`] : [] : missing(rule, value[key], `${path}/${key}`));
+}
+
+// Authoring gates whose staged source uses another material slot. A Quick Task
+// closes with its mandatory Code Review, so that report is the material it stages.
+const MATERIAL_SLOT_BY_GATE = Object.freeze({ 'Mode/Slice Decision': 'Brownfield Review',
+  'Verified Change Execution': 'Verified Change', 'Quick Task Execution': 'CR' });
+const INTERNAL_STEPS = Object.freeze(['UX Intent Definition', 'Brownfield Analysis', 'CD+Tests', 'TP Review', 'Clean Implementation Review', 'CR']);
+// Reports whose recorded result Core reads with readReportDecision.
+const DECISION_REPORT_SLOTS = new Set(['Brownfield Analysis', 'CD+Tests', 'TP Review', 'Clean Implementation Review', 'CR']);
+
+// Selects the one step.record variant an authoring gate records, so the form's
+// required inputs name concrete fields instead of the ambiguous whole payload.
+function recordingStep(gate) {
+  if (gate === 'UR') return { step: 'ur' };
+  if (['Brownfield Review', 'Mode/Slice Decision'].includes(gate)) return { step: 'route' };
+  if (gate === 'Quick Task Execution') return { step: 'review' };
+  if (INTERNAL_STEPS.includes(gate)) return { step: 'internal', internal_step: gate };
+  return {};
+}
+
+// A restaged OR may have a different material handle but the same command identity.
+function stagedCloseoutOperationId(binding, reportDigest) {
+  const hash = digest(`agdf-staged-closeout/1\0${canonicalJson([binding, reportDigest])}`).slice(7, 39);
+  const variant = (8 | (Number.parseInt(hash[16], 16) & 3)).toString(16);
+  return `${hash.slice(0, 8)}-${hash.slice(8, 12)}-8${hash.slice(13, 16)}-${variant}${hash.slice(17, 20)}-${hash.slice(20)}`;
+}
+
+// `revision` continues an accepted source revision preview: apply keeps the
+// preview's operation UUID, which the proposal binds, and its preview digest.
+export function preparedCommandCall(group, kind, input, { gate, material, recording, presentationId, revision } = {}) {
+  if (!RUN_COMMAND_DESCRIPTORS[kind] || RUN_COMMAND_DESCRIPTORS[kind].group !== group) return undefined;
+  let payload = {}, slot;
+  if (kind === 'material.stage') {
+    slot = MATERIAL_SLOT_BY_GATE[gate] ?? gate ?? 'EVIDENCE';
+    const roles = RUN_COMMAND_DESCRIPTORS[kind].payload_schema.oneOf.find(row => row.properties.action.const === 'put').properties.files.items.properties.slot.enum;
+    if (!roles.includes(slot)) return undefined;
+    payload = { action: 'put', files: [{ slot }] };
+  }
+  if (kind === 'artefact.record') payload = { ...(gate ? { gate } : {}), ...(material ? { material } : {}),
+    ...(recording?.available ? { update_draft: recording.update_draft } : {}) };
+  if (['presentation.prepare', 'presentation.deliver', 'approval.record'].includes(kind)) payload = {
+    ...(gate ? { gate } : {}), ...(presentationId ? { presentation_id: presentationId } : {}),
+    ...(kind === 'presentation.deliver' ? { route: 'automatic' } : {}) };
+  if (kind === 'ur_draft.replace' && material) payload = { source: material };
+  if (kind === 'step.record') payload = { ...(material ? { source: material } : {}), ...recordingStep(gate) };
+  // The proposal reference stays an input: staged material rarely outlives the
+  // person's confirmation, and restaging identical bytes keeps the same digest.
+  if (kind === 'source_revision.apply' && revision) payload = { source_gate: revision.source_gate, preview_digest: revision.preview_digest };
+  const unbound = ['run.create', 'project.initialize'].includes(kind);
+  const binding = { schema_version: '1', presentation_language: input.presentation_language,
+    working_directory: input.working_directory, primary_target: input.primary_target, target_source: input.target_source,
+    target_id: input.target_id, ...(!unbound ? { run_id: input.run_id, expected_revision_id: input.expected_revision_id } : {}),
+    assurance: 'cooperative_local' };
+  const stagedCloseout = kind === 'closeout.record' && material;
+  const operation_id = stagedCloseout ? stagedCloseoutOperationId(binding, material.digest) : revision?.operation_id ?? randomUUID();
+  if (stagedCloseout) payload = { or: material,
+    confirmation: closeoutConfirmation(binding.run_id, binding.expected_revision_id, operation_id, material.digest) };
+  const argumentsValue = { ...binding, operation_id, command: { kind, payload } };
+  const required = missing(RUN_COMMAND_DESCRIPTORS[kind].payload_schema, payload, '/command/payload');
+  const valid = validateRunCommand(group, argumentsValue).length === 0;
+  return { state: valid ? 'ready' : 'requires_author_input', call: { tool: group, arguments: argumentsValue },
+    required_inputs: valid ? [] : required.length ? required : ['/command/payload'], authorizes: false,
+    ...(kind === 'material.stage' ? { content_contract: {
+      encoding: 'UTF-8', max_utf8_bytes_per_file: RUN_COMMAND_DESCRIPTORS[kind].payload_schema.oneOf[0].properties.files.items.properties.content.maxLength,
+      instruction: 'put accepts text up to this UTF-8 limit within the 64 KiB whole JSON request bound; no client hashes or byte counts are needed. If either bound would be exceeded, retain the complete text and use the supplied larger_source_call for multipart; never truncate or shorten approved source to fit.',
+      larger_source_call: { tool: 'agdf_inspect', arguments: { operation: 'operation-contract', module: `${group}/${kind}`,
+        presentation_language: input.presentation_language, working_directory: input.working_directory,
+        primary_target: input.primary_target, target_source: input.target_source,
+        run_id: input.run_id, expected_revision_id: input.expected_revision_id } },
+      // Staged material is private to the serving MCP process and short-lived,
+      // so a recording that waits for a person must not stage first.
+      retention: { idle_ms: MATERIAL_LIMITS.idle, lifetime_ms: MATERIAL_LIMITS.lifetime, scope: 'serving MCP server process',
+        instruction: 'Stage only when every input of the following recording (for example reviewer and review confirmation) is already available. Staged material does not survive a reconnect or a pause beyond idle_ms. After expiry stage the identical bytes again: a form that takes the material reference as an input (closeout, source revision apply) is reused with the new reference, which keeps its UUID and any confirmation valid; otherwise use the recording form returned by the new staging.' },
+      ...(DECISION_REPORT_SLOTS.has(slot) ? { report_decision: REPORT_DECISION_FORMAT } : {}),
+    } } : {}),
+    ...(kind === 'approval.record' && gate ? { contract_call: { tool: 'agdf_inspect', arguments: {
+      operation: 'operation-contract', module: 'agdf_approve/approval.record',
+      presentation_language: input.presentation_language, working_directory: input.working_directory,
+      primary_target: input.primary_target, target_source: input.target_source,
+      run_id: input.run_id, expected_revision_id: input.expected_revision_id, gate,
+    } }, response_contract: {
+      approval_value: `Approval: ${gate}`, exact: true,
+      instruction: 'Only a NEW deliberate reply for this presentation. Put the exact reply alone in response; simulation/reviewer explanation belongs outside response. Never prefix or suffix the approval formula. This value is a format, not a decision or permission. The complete approval form already binds the revision and presentation; fill response without another contract read. If explanatory schema help is needed, copy contract_call exactly; never omit or guess expected_revision_id.' } } : {}),
+    ...(kind === 'source_revision.apply' && revision ? { confirmation_contract: { confirmation_value: revision.confirmation_selector, exact: true,
+      instruction: 'confirmation is only the person\'s NEW deliberate reply with exactly this text. proposal is the reference of the previewed proposal; if its staged material expired, stage the identical bytes again and use the new reference. This form keeps the previewed UUID and digest.' } } : {}),
+    ...(stagedCloseout && valid ? { operation_status_call: originalOperationCall(argumentsValue) } : {}),
+    instruction: stagedCloseout
+      ? 'Invoke the supplied closeout separately. If its effect is uncertain, inspect the original operation first. If material expired and restaging is appropriate, stage the identical OR with the original binding and use the returned form for the same operation and digest.'
+      : 'Fill required_inputs from actual authored content, review or a NEW deliberate reply. Preserve the supplied binding and UUID. Retry an uncertain dispatch with the identical call; each new logical command already has its own supplied UUID; do not regenerate it or put IDs in inputs. This form is not permission or an approval.' };
+}

package/generated/plugins/agdf/runtime/create-agdf/runtime/core/lib/control-state/presentation-delivery.js

@@ -4,6 +4,7 @@ import { readRun } from './run-state-edits.js';
 import { runSealState } from './run-seal.js';
 import { currentInputResolution } from './input-resolution.js';
 import { assertInputConfigurationCurrent } from '../resources/configuration.js';
+import { preparedCommandCall } from './prepared-control-calls.js';
 
 export const presentationDeliveryKey = input => [input.target_id, input.run_id, input.expected_revision_id,
   input.command?.payload?.presentation_id ?? input.presentation_id ?? input.operation_id].join(':');
@@ -45,7 +46,9 @@ export function createPresentationDelivery({ now = Date.now } = {}) {
       if (row.pending || pendingRuns.has(runKey)) return { ...base, ...failure('busy') };
       const selected = row.selected;
       if (selected?.operation_id === input.operation_id && selected.digest !== base.request_digest) return { ...base, ...failure('operation_payload_conflict') };
-      const emit = (mode, text, historical = false) => ({ ...base, historical_effect: historical, presentation_delivery: {
+      const emit = (mode, text, historical = false) => ({ ...base, historical_effect: historical, next_calls: [],
+        ...(!historical ? { approval_call: preparedCommandCall('agdf_approve', 'approval.record', input,
+          { gate: payload.gate, presentationId: payload.presentation_id }) } : {}), presentation_delivery: {
         delivery_id: selected?.operation_id ?? input.operation_id, mode, text, historical_delivery: historical,
         presentation_id: payload.presentation_id, revision_id: input.expected_revision_id, document_digest: row.result.family_result.document_digest,
         cleanup_state: row.cleanup ?? 'not_required',

package/generated/plugins/agdf/runtime/create-agdf/runtime/core/lib/control-state/run-command-contract.js

@@ -1,3 +1,5 @@
+import { MATERIAL_LIMITS } from './material-limits.js';
+import { AUTHORING_TEXT_HANDOFF } from './authoring-text-handoff.js';
 import { projectMcpInputSchema } from '../mcp-input-schema.js';
 // Compatibility facade: existing exports retain the same schema/validator objects.
 export { RUN_COMMAND_VERSION, RUN_COMMAND_LIMITS, TARGET_SCOPED_COMMAND_KINDS, PLANNING_COMMAND_KINDS, PLANNING_SCOPE_SCHEMA, strictObject, MATERIAL_REFERENCE_SCHEMA, RUN_COMMAND_DESCRIPTORS, RUN_COMMAND_GROUPS, commandGroupSchema, compactCommandSchema, RUN_COMMAND_RESULT_SCHEMA, commandResultSchema, validateRunCommandResult, commandGroupDefinition, schemaDiagnostics, validateRunCommand, runCommandRequestDigest } from './run-command-schema.js';
@@ -7,6 +9,7 @@ import { PRD_DECISION_FORMAT } from '../control-evaluation/prd-readiness.js';
 import { SD_DECISION_FORMAT } from '../control-evaluation/sd-readiness.js';
 import { ACCEPTANCE_CRITERIA_FORMAT, TP_AUTHORING_FORMAT } from '../control-evaluation/traceability-readiness.js';
 import { UX_DECISION_FORMAT } from '../control-evaluation/definition-sources.js';
+import { REPORT_DECISION_FORMAT } from '../control-evaluation/report-decision.js';
 import { REVIEWED_BINDING_FORMAT, REVISION_PROPOSAL_FORMAT } from './recording-formats.js';
 import { relationshipForGate } from '../control-evaluation/delivery-relationships.js';
 import { PREVIEW_REVIEW_FORMAT } from './preview-review.js';
@@ -23,17 +26,20 @@ export function operationContract(group, kind, { gate } = {}) {
       plan_id: 'plan-<planned_ur.create operation_id>', expected_digest: null,
       instructions: 'For a new planned UR, reserve the future planned_ur.create UUID first. Use plan- followed by that exact UUID as planning.plan_id. Begin, append and seal planned_material.stage with the same plan_id and null expected_digest; each material call has its own operation_id. Create with the reserved UUID. Creation source material is the plain canonical UR: omit Planning schema, Planning id and Planning priority lines; the writer adds them from the request. Replacement instead stages the full selected UR with its existing planning metadata. Never use a title/slug as the creation plan_id.',
     } } : {}),
-    ...(['material.stage', 'planned_material.stage'].includes(kind) ? { material_transport: { part_bytes: 16384, file_bytes: 131072, set_bytes: 524288, max_sets: 4,
+    ...(['material.stage', 'planned_material.stage'].includes(kind) ? { material_transport: { inline_file_bytes: MATERIAL_LIMITS.inline, part_bytes: MATERIAL_LIMITS.part, file_bytes: MATERIAL_LIMITS.file, set_bytes: MATERIAL_LIMITS.set, max_sets: MATERIAL_LIMITS.sets,
+      preferred: 'action put with files [{slot,content}] seals exact plain UTF-8 text in one bounded private call; at most 49152 UTF-8 bytes per file within the existing 65536-byte JSON request bound. No byte counts, base64 or transfer choreography are needed. Use recording_calls after sealing. ' + AUTHORING_TEXT_HANDOFF,
       total_bytes: 2097152, lifetime_ms: 600000, idle_ms: 120000, effect: 'private transfer only; no canonical files or gate decision',
       encoding: 'append data is canonical standard base64 (no whitespace) of raw UTF-8 bytes; bytes and offsets count decoded bytes, not characters',
-      replay: 'begin preserves its original UUID; append uses exact offsets/base64 bytes. Seal returns Core identity/digest. Read transfer status after uncertainty; generation loss requires restaging semantic bytes. Preserve the future canonical write UUID.',
+      replay: 'Every logical put/begin/append/seal/status call has its own operation UUID; reuse one UUID only for the identical request after uncertainty. transfer_id, not operation_id, links multipart actions. Seal/put return Core identity/digest. Generation loss requires restaging semantic bytes; preserve the future canonical write UUID.',
       lifecycle: 'A receipt-confirmed canonical commit retires its consumed set; otherwise discard it explicitly or let it expire.' } } : {}),
     internal_result_formats: kind === 'step.record' ? { 'UX Intent Definition': UX_DECISION_FORMAT,
-      reviews: { declaration: '- decision: pass | revise | block | not_applicable', result_scope: 'actual current owner report; no generated judgement or approval' } } : undefined,
+      reviews: { section: REPORT_DECISION_FORMAT.section, declaration: '- decision: pass | revise | block | not_applicable',
+        instruction: REPORT_DECISION_FORMAT.instruction, result_scope: 'actual current owner report; no generated judgement or approval' } } : undefined,
     reviewed_binding_format: kind === 'artefact.record' ? { ...REVIEWED_BINDING_FORMAT, current_relationship: relationshipForGate(gate) ?? null,
       destination_status: gate === 'QA' ? 'pass | revise | block matching the actual QA report' : 'draft' } : undefined,
     proposal_format: kind.startsWith('source_revision.') ? REVISION_PROPOSAL_FORMAT : undefined,
     ...(kind === 'closeout.record' ? { confirmation_format: closeoutConfirmation('{run_id}', '{expected_revision_id}', '{operation_id}', '{or.digest}'),
+      confirmation_binding: 'The confirmation names the operation UUID of the prepared closeout form. Keep using that same form: if the staged OR expired, stage the identical bytes and put the new reference into or; digest and confirmation stay valid. A newly read form has a new UUID and needs a new confirmation.',
       closeout_modes: { quick_task: 'OR-lite: Result, Evidence, Risk, Next Step', verified_change: 'Verified Change Mini-Closeout; retain the same canonical record',
         structured_slice: 'Existing OR-full closeout and its applicable obligations', structured_delivery: 'Existing OR-full closeout and its applicable obligations' } } : {}),
     ...(kind === 'verified_change.record' ? { canonical_receipt_kind: 'step.record', execution: 'Actual edits/tests/Git actions remain external; this writer records their bounded observed result.' } : {}),
@@ -42,7 +48,7 @@ export function operationContract(group, kind, { gate } = {}) {
       priority: ['high', 'normal', 'low'], default_priority: 'normal only on explicit create', source_identity: 'SHA-256 of the whole canonical UR text',
       fields: kind === 'planned_ur.create' ? 'Stage the canonical UR without any Planning schema/id/priority lines. The create writer inserts all three from the request.' : 'Use the selected canonical UR including exactly one initial scalar of each planning metadata field. Planning id remains unchanged on replacement.' },
       authoring_format: UR_AUTHORING_FORMAT } : {}),
-    authorizes: false, ...(!kind.startsWith('planned_ur.') && kind !== 'run.create_from_planned' ? { authoring_format: kind === 'closeout.record' ? { quick_task: QUICK_CLOSEOUT_AUTHORING_FORMAT } : kind === 'artefact.record' || kind === 'presentation.prepare' || kind === 'step.record'
+    authorizes: false, ...(!kind.startsWith('planned_ur.') && kind !== 'run.create_from_planned' ? { authoring_format: kind === 'closeout.record' ? { quick_task: QUICK_CLOSEOUT_AUTHORING_FORMAT } : kind === 'artefact.record' || kind === 'presentation.prepare' || kind === 'step.record' || kind === 'ur_draft.replace'
       ? ({ UR: UR_AUTHORING_FORMAT, PRD: { decisions: PRD_DECISION_FORMAT, criteria: ACCEPTANCE_CRITERIA_FORMAT, preview_review: PREVIEW_REVIEW_FORMAT }, SD: SD_DECISION_FORMAT, TP: TP_AUTHORING_FORMAT }[gate] ?? null) : undefined,
     } : {}),
     presentation_format: kind === 'presentation.prepare' || kind === 'artefact.record' ? {

package/generated/plugins/agdf/runtime/create-agdf/runtime/core/lib/control-state/run-command-schema.js

@@ -1,3 +1,4 @@
+import { MATERIAL_LIMITS } from './material-limits.js';
 import { projectMcpInputSchema } from '../mcp-input-schema.js';
 import { DIGEST_PATTERN, COOPERATIVE_ASSURANCE, canonicalJson, digest } from './approval-command-contract.js';
 import { RUN_ID_PATTERN, REVISION_ID_PATTERN, APPROVAL_GATES } from './run-identity.js';
@@ -23,6 +24,8 @@ const materialSource = { oneOf: [source, MATERIAL_REFERENCE_SCHEMA] };
 const materialSlot = enumeration(['UR', 'PRD', 'SD', 'TP', 'QA', 'OR', 'Verified Change', 'Brownfield Review', 'UX Intent Definition', 'Brownfield Analysis', 'CD+Tests', 'TP Review', 'Clean Implementation Review', 'CR', 'EVIDENCE']);
 const integer = maximum => ({ type: 'integer', minimum: 0, maximum });
 const materialStage = { oneOf: [
+  strictObject({ action: { const: 'put' }, files: { type: 'array', minItems: 1, maxItems: 4,
+    items: strictObject({ slot: materialSlot, content: { type: 'string', maxLength: MATERIAL_LIMITS.inline, description: 'Plain UTF-8 text, at most 49152 encoded bytes per file; the whole JSON request stays <=65536 bytes. Core computes sizes and digests and seals all files in this one call.' } }) } }),
   strictObject({ action: { const: 'begin' }, files: { type: 'array', minItems: 1, maxItems: 4, items: strictObject({ slot: materialSlot, bytes: integer(131072) }) } }),
   strictObject({ action: { const: 'append' }, transfer_id: identity, file: integer(3), offset: integer(131072),
     data: { type: 'string', maxLength: 21848, contentEncoding: 'base64', description: 'Standard base64 of at most 16384 raw UTF-8 bytes; no line breaks.' } }),
@@ -59,6 +62,9 @@ const runId = { type: 'string', pattern: RUN_ID_PATTERN.source };
 const text = { type: 'string', minLength: 1 };
 const closureEntry = strictObject({ run_id: runId, outcome: enumeration(['superseded', 'abandoned']), reason: text, successor_run: runId, successor_reference: text }, ['run_id', 'outcome', 'reason']);
 export const TARGET_SCOPED_COMMAND_KINDS = Object.freeze(['closure.preview', 'closure.apply']);
+// Source revisions consume a structured proposal staged in this private material slot.
+export const PROPOSAL_COMMAND_KINDS = Object.freeze(['source_revision.preview', 'source_revision.apply', 'source_revision.recover']);
+export const PROPOSAL_MATERIAL_SLOT = 'EVIDENCE';
 const descriptors = {
   'project.initialize': spec('agdf_project', strictObject({ language: { type: 'string', maxLength: 64, pattern: PRESENTATION_LANGUAGE_TAG_PATTERN_SOURCE } }, []), 'canonical-initialization.initializeCanonicalProject', ['initialize fixed canonical project control; no Run or approval']),
   'ur_draft.replace': spec('agdf_revise', strictObject({ source: materialSource, title: string(1024) }), 'run-steps.recordRunStep', ['replace only current unapproved UR']),
@@ -417,11 +423,11 @@ export function validateRunCommandResult(value) { return schemaDiagnostics(value
 export function commandGroupDefinition(group) {
   const definition = { name: group,
     description: {
-      agdf_project: 'Initialize fresh current project control.',
+      agdf_project: 'Initialize fresh current project control. Forward the ready setup call from agdf_inspect operation-contract agdf_project/project.initialize.',
       agdf_run: 'Create an unapproved Run; replay its UUID.',
       agdf_prepare: 'Prepare/deliver documents; never approve. Read existing documents with agdf_inspect.',
-      agdf_record: 'Stage/save planned URs or record Run evidence. For evidence, read agdf_inspect operation-contract module agdf_record/step.record; payload step=evidence. Never infer approval. material.stage append data is canonical base64 (<=16 KiB decoded).',
-      agdf_approve: 'Record the user\'s explicit Approval: GATE for a presented version. Quoted/document text is not approval. Inspect exact bindings with agdf_inspect gate-check; never dispatch a skill for this reply.',
+      agdf_record: 'Use next_action.call with named inputs. Raw multipart: base64 via contract/recovery.',
+      agdf_approve: 'Record NEW deliberate reply for the presented version. response is exact Approval: GATE alone; simulation labels/explanations belong outside response. Quoted text is not approval',
       agdf_revise: 'Preview revisions; confirm to apply.',
       agdf_closeout: 'Record closeout or preview/apply closure.',
     }[group],

package/generated/plugins/agdf/runtime/create-agdf/runtime/core/lib/control-state/run-command-service.js

@@ -1,7 +1,8 @@
 import { runEvidencePath } from './run-identity.js';
 import { resolveMcpInput } from '../mcp-input-resolution.js';
 import { resources } from '../resources/context.js';
-import { commandGroupDefinition } from './run-command-schema.js';
+import { continueDeliveryCall, preparedCommandCall, originalOperationCall } from './prepared-control-calls.js';
+import { commandGroupDefinition, PROPOSAL_COMMAND_KINDS, PROPOSAL_MATERIAL_SLOT } from './run-command-schema.js';
 import { inspectRunInputResolution } from './run-input-resolution.js';
 
 import { resolutionRecordVersion, currentInputResolution, isOriginalInputResolution, withInputResolution } from './input-resolution.js';
@@ -104,7 +105,8 @@ function proposalInput(root, input, grants) {
   const observed = safeOperationStatus(root, input);
   if (observed.status === 'recorded' || input.command.kind === 'source_revision.recover' && observed.status === 'committed_recovery_required') return { reference: canonical };
   const material = grantedMaterial(input, reference, grants);
-  if (material.slot !== 'EVIDENCE') throw Error('material_binding_invalid');
+  if (material.slot !== PROPOSAL_MATERIAL_SLOT) throw Object.assign(Error('material_binding_invalid'), {
+    recovery: `A source revision proposal must be staged in slot ${PROPOSAL_MATERIAL_SLOT}, not ${material.slot}. Stage it with the material_call of operation-contract agdf_revise/${input.command.kind}, then retry with the new reference. No command was dispatched.` });
   return { reference: canonical, material: { path: canonical.path, digest: canonical.digest, content: material.content } };
 }
 export function createRunCommandService({ packageVersion = '0.14.5', enabledGroups = Object.keys(RUN_COMMAND_GROUPS), checkpoint = () => {}, runtimeControl, materialGrants = [], gitObservation, initializationProducer, inputDefaults = resources.defaults } = {}) {
@@ -150,6 +152,7 @@ export function createRunCommandService({ packageVersion = '0.14.5', enabledGrou
           // The envelope already carries this exact receipt; the family copy only doubled the response.
           family_result: family.receipt && receipt && canonicalJson(family.receipt) === canonicalJson(receipt)
             ? (({ receipt: _receipt, ...rest }) => rest)(family) : family, ...extra };
+        response.operation_status_call = originalOperationCall(input);
         if (['accepted', 'already_applied'].includes(outcome)) {
           const common = { presentation_language: input.presentation_language, working_directory: input.working_directory,
             primary_target: input.primary_target, target_source: input.target_source, target_id: input.target_id };
@@ -164,8 +167,20 @@ export function createRunCommandService({ packageVersion = '0.14.5', enabledGrou
                 module: 'agdf_prepare/presentation.prepare', run_id, expected_revision_id: response.current.revision_id, gate: 'UR' })];
           }
           if (input.command.kind === 'presentation.prepare' && family.presentation_id && family.revision_id)
-            response.next_calls = [inspect({ operation: 'presentation-document', run_id: input.run_id,
-              expected_revision_id: family.revision_id, gate: family.gate, presentation_id: family.presentation_id })];
+            response.next_calls = response.current.lifecycle === 'active' && response.current.revision_id === family.revision_id
+              ? [preparedCommandCall('agdf_prepare', 'presentation.deliver', { ...input, expected_revision_id: family.revision_id },
+                { gate: family.gate, presentationId: family.presentation_id }).call]
+              : [inspect({ operation: 'presentation-document', run_id: input.run_id,
+                expected_revision_id: family.revision_id, gate: family.gate, presentation_id: family.presentation_id })];
+          // An accepted preview continues with its apply form: same UUID and preview digest,
+          // with the proposal reference and the person's confirmation left as inputs.
+          if (input.command.kind === 'source_revision.preview' && family.preview_digest && family.confirmation_selector)
+            response.recording_calls = [preparedCommandCall('agdf_revise', 'source_revision.apply', input, { revision: {
+              operation_id: input.operation_id, source_gate: input.command.payload.source_gate,
+              preview_digest: family.preview_digest, confirmation_selector: family.confirmation_selector } })];
+          if (!response.historical_effect && response.current.available && response.current.lifecycle === 'active'
+              && ['run.create', 'run.create_from_planned', 'step.record', 'artefact.record', 'ur_draft.replace', 'approval.record'].includes(input.command.kind))
+            response.next_calls = [continueDeliveryCall({ ...input, primary_target: root }, response.current.run_id ?? family.run_id ?? selectedInput.run_id)];
         }
         if (Buffer.byteLength(JSON.stringify(response)) > (input.command.kind === 'project.initialize' ? 16384 : RUN_COMMAND_LIMITS.result_bytes)) return { schema_version: '1', outcome: dispatched ? 'effect_unknown' : 'rejected',
           reason: 'command_result_budget_exceeded', operation_id: input.operation_id, binding: response.binding, authorizes: false,
@@ -217,9 +232,13 @@ export function createRunCommandService({ packageVersion = '0.14.5', enabledGrou
           const state = inspectCanonicalProject(root, { operationId: input.operation_id });
           if (state.receipt?.operation.operation_id === input.operation_id && state.receipt.operation.request_digest !== requestDigest)
             return result('rejected', 'operation_payload_conflict', {}, { dispatch: 'not_dispatched' });
-          if (state.operation_status === 'recorded' && state.status !== 'pending') return result('already_applied', null, {
-            receipt: state.receipt, historical_effect: true, status: 'unchanged', created_run: false,
-            created_gate_approval: false, next_calls: inspectProjectState(root, input, gitObservation).next_calls });
+          if (state.operation_status === 'recorded' && state.status !== 'pending') {
+            const continuation = inspectProjectState(root, input, gitObservation);
+            return result('already_applied', null, {
+              receipt: state.receipt, historical_effect: true, status: 'unchanged', created_run: false,
+              created_gate_approval: false, next_calls: continuation.next_calls,
+              ...(continuation.recovery_only ? { recovery_only: continuation.recovery_only } : {}) });
+          }
           if (state.status === 'blocked') return result('rejected', state.reason, {}, { dispatch: 'not_dispatched' });
           canonicalInitPlan(payload.language); // Resource/plan failures are known before dispatch.
           if (state.operation?.operation_id === input.operation_id && state.operation.request_digest !== requestDigest)
@@ -235,8 +254,10 @@ export function createRunCommandService({ packageVersion = '0.14.5', enabledGrou
               afterPublish: () => checkpoint('project_after_publish'), afterReceipt: () => checkpoint('project_after_receipt'),
               beforeMarkerCleanup: () => checkpoint('project_before_marker_cleanup') });
           checkpoint('before_result');
+          const continuation = inspectProjectState(root, input, gitObservation);
           return result(family.historical_effect ? 'already_applied' : 'accepted', null,
-            { ...family, next_calls: inspectProjectState(root, input, gitObservation).next_calls });
+            { ...family, next_calls: continuation.next_calls,
+              ...(continuation.recovery_only ? { recovery_only: continuation.recovery_only } : {}) });
         }
         if (kind === 'run.create') {
           // Preflight only; the writer repeats validation before publication.
@@ -267,6 +288,9 @@ export function createRunCommandService({ packageVersion = '0.14.5', enabledGrou
             } })).then(family => result(family.outcome, family.reason, family, { runtime_control: true }),
               error => result('effect_unknown', error.message, {}, { runtime_control: true }));
         }
+        // Binding the staged proposal is input validation: a missing or misplaced
+        // proposal is rejected before dispatch, never reported as an unknown effect.
+        const proposal = PROPOSAL_COMMAND_KINDS.includes(kind) ? proposalInput(root, input, materialGrants) : null;
         checkpoint('before_dispatch'); dispatched = true;
         if (kind === 'presentation.prepare') {
           family = withOwnedFileLock(runPath(root, input.run_id), () => {
@@ -290,12 +314,10 @@ export function createRunCommandService({ packageVersion = '0.14.5', enabledGrou
             resolveMaterial: reference => grantedMaterial(input, reference, materialGrants), gitObservation });
         } else if (kind === 'operation.recover') family = boundedRecover(root, input);
         else if (kind === 'source_revision.preview' || kind === 'source_revision.apply') {
-          const proposal = proposalInput(root, input, materialGrants);
           const revised = { ...bound, sourceGate: payload.source_gate, evidence: proposal.reference.path, previewDigest: payload.preview_digest,
             proposalBinding: proposal.reference, proposalMaterial: proposal.material, confirmation: payload.confirmation, commandContext: context, packageVersion };
           family = kind.endsWith('.apply') ? applySourceRevision(root, revised, { afterWrite: checkpoint }) : previewSourceRevision(root, revised);
         } else if (kind === 'source_revision.recover') {
-          const proposal = proposalInput(root, input, materialGrants);
           family = recoverSourceRevision(root, { ...bound, proposalBinding: proposal.reference, proposalMaterial: proposal.material, evidence: proposal.reference.path, sourceGate: payload.source_gate,
             recoveryRevisionId: payload.recovery_revision_id, pendingDigest: payload.pending_digest });
         } else if (kind === 'prd_revision.reopen') {
@@ -331,7 +353,9 @@ export function createRunCommandService({ packageVersion = '0.14.5', enabledGrou
             operation: 'project-state', primary_target: root, target_source: input.target_source,
             working_directory: input.working_directory, presentation_language: input.presentation_language } }] });
         if (error.message === 'AGDF_OPERATION_PAYLOAD_CONFLICT') return result('rejected', 'operation_payload_conflict');
-        return result(dispatched ? 'effect_unknown' : 'rejected', error.message, {}, { dispatch: dispatched ? 'unknown' : 'not_dispatched' });
+        // A pre-dispatch input error may name its own correction.
+        return result(dispatched ? 'effect_unknown' : 'rejected', error.message, {}, { dispatch: dispatched ? 'unknown' : 'not_dispatched',
+          ...(!dispatched && error.recovery ? { recovery: error.recovery } : {}) });
       }
     });
   };

package/generated/plugins/agdf/runtime/create-agdf/runtime/core/lib/control-state/run-create-command.js

@@ -12,6 +12,7 @@ import { runSealState } from './run-seal.js';
 import { containedRegularFile, hasSymlinkComponent } from './contained-file.js';
 import { COOPERATIVE_ASSURANCE } from './approval-command-contract.js';
 import { withControlMutation } from './control-layout.js';
+import { isDecisionContentPlaceholder } from '../control-evaluation/decision-content-placeholder.js';
 
 import { creationRunId } from './run-identity.js';
 export { creationRunId };
@@ -50,7 +51,11 @@ export function createRunCommand(root, input, { requestDigest, packageVersion, c
           created_at: new Date().toISOString(), producer: { contract: 'run-command/1', package_version: packageVersion },
           assurance: COOPERATIVE_ASSURANCE, effect: { previous_revision_id: null,
             resulting_revision_id: parsed.meta.revision_id, revision: 1, record: { title: input.command.payload.title } } });
-        return appendRunOperation(content.replace('Describe the trustworthy outcome.', () => input.command.payload.title), receipt);
+        // Only a semantic title orients the Objective. A placeholder title such as the bare Run ID
+        // keeps the template prompt, so recording the UR projects its Goal there.
+        const title = input.command.payload.title;
+        const oriented = isDecisionContentPlaceholder(title) ? content : content.replace('Describe the trustworthy outcome.', () => title);
+        return appendRunOperation(oriented, receipt);
       },
       beforePublish: () => checkpoint('creation_before_publish'),
     });

package/generated/plugins/agdf/runtime/create-agdf/runtime/core/lib/control-state/run-identity.js

@@ -17,6 +17,8 @@ export const creationRunId = operationId => `run-${operationId}`;
 export const CURRENT_LAYOUT = 'run-folders-v1';
 export const CURRENT_RUN_VERSION = 4;
 export const RUN_MODES = Object.freeze(['undecided', 'quick_task', 'verified_change', 'structured_slice', 'structured_delivery', 'block']);
+// The artefact slot each recorded run step writes (internal steps name their own slot).
+export const RUN_STEP_SLOTS = Object.freeze({ ur: 'UR', route: 'Brownfield Review', review: 'CR', evidence: 'EVIDENCE', closeout: 'OR' });
 export function runRelativePath(runId, area = '', name = '') {
   if (!RUN_ID_PATTERN.test(String(runId ?? ''))) throw Error('AGDF_RUN_ID_INVALID');
   if (!['', 'documents', 'evidence', 'control', 'history'].includes(area)) throw Error('AGDF_RUN_PATH_INVALID');

package/generated/plugins/agdf/runtime/create-agdf/runtime/core/lib/control-state/run-inventory-reader.js

@@ -1,14 +1,30 @@
 import { readControlLayout } from './control-layout.js';
-import { prepareRunContentState } from '../control-evaluation/run-state.js';
+import { prepareRunContentState, readArtefactHeading } from '../control-evaluation/run-state.js';
 import { transitionDecisionForRunState } from '../control-evaluation/gate-policy.js';
+import { evaluateGateCheck } from '../control-evaluation/gate-check.js';
+import { projectCockpitAssessment } from '../control-inspect/run-classification.js';
+import { projectWorkSituation } from '../control-inspect/work-situation.js';
+import { runClosure } from './run-operations.js';
 import { existsSync } from "../control-read/fs.js";
 import { join } from "node:path";
 import { discoverRuns } from "./run-state-reader.js";
 import { buildRunInventory } from "./run-inventory.js";
+import { parseControlState } from './run-state-parser.js';
+import { runSealState, listedArtefactPaths } from './run-seal.js';
+import { isSafeControlRelativePath } from './contained-file.js';
+
+const READ_BOUNDARY_CODES = ['source_changed', 'resource_limit', 'resource_denied', 'timeout'];
+const inControlScope = path => isSafeControlRelativePath(path) && path.startsWith('.agdf/control/');
+// The detail reader's boundary: a run registering sources outside .agdf/control cannot be proven here.
+const registersOnlyControlSources = content => listedArtefactPaths(content).every(inControlScope);
 
 // Feeds the pure inventory from the run discovery of the current read view: each run's parsed text
-// and, when the full parser rejected it, its findings. No run state is read a second time.
-export function readRunInventory(root, { language = "en" } = {}) {
+// and, when the full parser rejected it, its findings. No run state is read a second time. `observe: false`
+// skips the per-run gate observation, which reads registered documents, for a caller that evaluates the
+// runs itself (the companion run view, which reads each run in its own captured snapshot).
+// `cockpitAssessment` evaluates active runs only, like the companion run view: terminal runs stay
+// summarized history, so a long history costs no gate evaluation per run and per refresh.
+export function readRunInventory(root, { language = "en", observe = true, includePresentation = false, cockpitAssessment = false } = {}) {
   if (!existsSync(join(root, '.agdf/control'))) return buildRunInventory(null, { language });
   readControlLayout(root);
   if (!existsSync(join(root, '.agdf/control/runs'))) return buildRunInventory([], { language,
@@ -18,12 +34,45 @@ export function readRunInventory(root, { language = "en" } = {}) {
   const store = discovered.filter((run) => run.run_id === "<repository>");
   const sources = discovered.filter(run => run.run_id !== '<repository>').map(run => {
     const source = { run_id: run.run_id, ...(typeof run.content === 'string' ? { text: run.content } : {}), findings: run.valid ? [] : run.findings };
-    if (run.valid) {
+    if (includePresentation && typeof run.content === 'string') {
+      let name = '', seal = 'unconfirmed';
+      try {
+        const ur = parseControlState(run.content).artefacts.get('UR');
+        const path = String(ur?.path ?? '').replace(/^`|`$/g, '').trim();
+        if (inControlScope(path)) name = readArtefactHeading(root, ur).replace(/^UR:\s*/i, '').trim();
+      } catch { /* An unreadable title must not hide the inventory. */ }
+      try {
+        if (registersOnlyControlSources(run.content)) {
+          const result = runSealState(root, run.content).status;
+          seal = result === 'valid' ? 'valid' : result === 'unsealed' ? 'unsealed'
+            : ['invalid', 'content_changed', 'approvals_changed'].includes(result) ? 'invalid' : 'unconfirmed';
+        }
+      } catch { /* Unavailable evidence cannot prove a seal state. */ }
+      source.presentation = { name: name || null, seal };
+    }
+    if (run.valid && observe) {
       try {
         const state = prepareRunContentState(root, run.content, run.path), decision = transitionDecisionForRunState(state);
         source.observation = { current_gate: decision.current_gate, decision: decision.status, missing: decision.missing_approval,
           next_action: decision.next_allowed_action, presentation_decision: Boolean(decision.presentation_decision?.decided) };
-      } catch { source.findings = [{ code: 'AGDF_RUN_OBSERVATION_UNAVAILABLE' }]; }
+        if (cockpitAssessment && run.meta?.lifecycle === 'active') {
+          let report = null;
+          if (registersOnlyControlSources(run.content)) { try { report = evaluateGateCheck(root, { runId: run.run_id, ignoreRunIdEnv: true }); } catch (error) {
+            if (READ_BOUNDARY_CODES.includes(error.code)) throw error;
+            // Preserve the Run but do not claim a verified assessment.
+          } }
+          const assessed = report ? projectCockpitAssessment(report, run.meta?.lifecycle) : { state: 'unconfirmed' };
+          source.observation.work_situation = projectWorkSituation({ assessment: assessed.state,
+            gate: report?.current_gate, blockingReason: report?.blocking_reason, missingApproval: report?.missing_approval,
+            persistedGate: report ? state.current_gate : undefined, persistedNext: state.next_allowed_action, nextAllowedAction: report?.next_allowed_action,
+            closureOutcome: runClosure(run.content)?.outcome });
+          if (report) Object.assign(source.observation, { current_gate: report.current_gate, decision: report.status,
+            missing: report.missing_approval, next_action: report.next_allowed_action });
+        }
+      } catch (error) {
+        if (cockpitAssessment && READ_BOUNDARY_CODES.includes(error.code)) throw error;
+        source.findings = [{ code: 'AGDF_RUN_OBSERVATION_UNAVAILABLE' }];
+      }
     }
     return source;
   });

package/generated/plugins/agdf/runtime/create-agdf/runtime/core/lib/control-state/run-inventory.js

@@ -3,7 +3,9 @@
 // Callers pass validity findings from the full parser; this module never validates receipts.
 import { scalarFields, sectionTableRows, projectRunFacts } from "./run-state-document.js";
 import { RUN_ID_PATTERN } from "./run-identity.js";
-import { isDecisionContentPlaceholder } from "../control-evaluation/decision-content-placeholder.js";
+import { normalizedRunTitle, runIdentity } from "./run-title.js";
+
+export { normalizedRunTitle };
 
 export const RUN_INVENTORY_SCHEMA_VERSION = "1";
 export const RUN_INVENTORY_LIFECYCLES = Object.freeze(["active", "completed", "superseded", "abandoned"]);
@@ -42,29 +44,10 @@ const ISO_TIME = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d{1,3})?Z$/u;
 const plain = value => String(value ?? "").replace(/`/gu, "").trim();
 const clip = text => (text.length > TITLE_LIMIT ? `${text.slice(0, TITLE_LIMIT - 1)}…` : text);
 
-// The run-ID title every reader shows when no authored title exists.
-export function normalizedRunTitle(runId) {
-  const words = String(runId ?? "").replace(/[._-]+/g, " ").replace(/\s+/g, " ").trim();
-  return words ? words.replace(/\b\p{L}/gu, (letter) => letter.toUpperCase()) : "AGDF run";
-}
-
-// Lines of one level-two section up to the next heading; an empty section stays empty.
-function sectionLines(text, heading) {
-  const lines = text.split("\n"), start = lines.findIndex(line => line.trimEnd() === `## ${heading}`);
-  if (start < 0) return [];
-  const rest = lines.slice(start + 1), end = rest.findIndex(line => /^#{1,2} /u.test(line));
-  return end < 0 ? rest : rest.slice(0, end);
-}
-
-function objectiveTitle(text, runId) {
-  // The first paragraph, so hard-wrapped objectives stay whole.
-  const lines = sectionLines(text, "Objective").map(value => value.trim()), first = lines.findIndex(Boolean);
-  const paragraph = first < 0 ? [] : lines.slice(first), end = paragraph.indexOf("");
-  const line = (end < 0 ? paragraph : paragraph.slice(0, end)).join(" ");
-  const stripped = line.replace(/^(?:[-*>]|#+|\d+\.)\s+/u, "").replace(/\*\*|__|`/gu, "").replace(/\s+/gu, " ").trim();
-  return isDecisionContentPlaceholder(stripped)
-    ? { title: normalizedRunTitle(runId), title_source: "run_id" }
-    : { title: clip(stripped), title_source: "objective" };
+// The inventory reads no UR document, so its title source is the Objective or the Run ID.
+function titleFacts(text, runId) {
+  const { title, title_source, objective } = runIdentity({ runId, runContent: text });
+  return { title: clip(title), title_source, objective: objective === null ? null : clip(objective) };
 }
 
 // Base64url receipt cells decoded for display facts only; undecodable cells are skipped.
@@ -126,17 +109,19 @@ function entryOf(source, language) {
   const gateResult = facts?.artefacts.get(gate === 'Quick Task Execution' ? 'CR' : gate)?.status ?? null;
   const presentationDecision = source.observation?.presentation_decision === true;
   const missing = source.observation?.missing === 'none' ? '' : source.observation?.missing ?? '';
-  const attention = runAttention({ lifecycle, valid, decision, gateResult, presentationDecision, missing });
+  const situation = source.observation?.work_situation;
+  const attention = situation?.code ?? runAttention({ lifecycle, valid, decision, gateResult, presentationDecision, missing });
   const revision = /^[1-9]\d*$/u.test(meta.get("revision") ?? "") ? Number(meta.get("revision")) : null;
   const index = languageIndex(language);
   return {
     run_id: runId,
-    ...(text ? objectiveTitle(text, runId) : { title: normalizedRunTitle(runId), title_source: "run_id" }),
+    ...titleFacts(text, runId),
+    ...(source.presentation ? { presentation: source.presentation } : {}),
     valid,
     lifecycle: valid ? lifecycle : null,
     current_gate: gate,
     decision,
-    attention: { code: attention, label: LABELS[attention][index] },
+    attention: { code: attention, label: situation ? (index === 1 ? situation.de : situation.en) : LABELS[attention][index] },
     basis: revision === null ? TEXT.basisUnknown[index]() : TEXT.basis[index](revision),
     last_activity: text ? lastActivity(decoded) : { at: null, source: "none", precision: null },
     revision,