harness-everything 0.16.6 → 0.18.0

package/harness-everything/scripts/kernel-router-core.js

@@ -24,6 +24,7 @@ const { applyEnsemblePolicy } = require('./ensemble-policy');
 const INVARIANT_TEXT = {
   'scope-lock': 'Route before execution: stay inside the authorized task/repository scope.',
   'verify-before-claim': 'Verify before claim: completion claims require objective evidence appropriate to the change.',
+  'visible-status-updates': 'User-visible status is mandatory: use the single Harness Status format with Current, Read/Evidence, and Next at required phase boundaries; add Blocked/Risk only when materially applicable.',
   'replan-after-repeated-failure': 'Re-plan on repetition: after 3 same-signature failures, stop micro-retrying and zoom out/re-diagnose.',
   'evaluate-suggestions-before-skip': 'Evaluate before skip: read each suggested skill\'s complete SKILL.md entry/basic flow before omitting it.',
   'loop-awareness': 'When iterative work runs long, remind the agent to verify assumptions or re-plan; never hard-stop on a count.',
@@ -153,6 +154,7 @@ function printRoutingCheckpoint(plan) {
   console.log(`   - Strategy: ${plan.strategy || 'deferred'}`);
   console.log(`   - Required invariants: ${invariants.length ? invariants.join(', ') : 'none'}`);
   console.log(`   - Suggested skills: ${suggestions.length ? suggestions.join(', ') : 'none'}`);
+  console.log('   - User-visible progress: use this checkpoint as source state for the single Harness Status contract below; do not invent a per-skill progress format.');
   if (suggestions.length > 0) {
     console.log('   - Suggestion evaluation: MANDATORY. Before skipping any listed skill, read its complete SKILL.md entry and evaluate USE FOR, DO NOT USE FOR, workflow/basic flow, and hard rules.');
     console.log('   - Skip evidence: do not reject from only the skill name, description, router summary, or a generic "routine/common task" judgement. If the entry cannot be resolved/read, mark it unresolved/unavailable rather than skipped.');
@@ -166,6 +168,16 @@ function printKernelContract(plan) {
     console.log(`   - ${invariant}: ${INVARIANT_TEXT[invariant] || 'Required by the selected workflow plan.'}`);
   }
 
+  console.log('\n=> USER-VISIBLE HARNESS STATUS CONTRACT (MUST):');
+  console.log('   - For non-trivial software/project work, the agent MUST use one compact user-visible status format:');
+  console.log('     Harness Status');
+  console.log('     - Current: <what is being done now>');
+  console.log('     - Read/Evidence: <important files/sources/evidence read or confirmed>');
+  console.log('     - Next: <next intended action>');
+  console.log('     - Blocked/Risk: <only when materially applicable>');
+  console.log('   - Emit it before substantive execution, after a major phase, when direction materially changes, at meaningful long-running phase boundaries, and before final completion (the final response may merge it naturally).');
+  console.log('   - This is a semantic communication MUST, not a hard execution lock, counter, or reset condition.');
+
   console.log('\n=> WORKFLOW SKILLS (EVALUATE APPLICABILITY — SELECTED WORKFLOW IS GUIDANCE):');
   if (Array.isArray(plan.suggestedSkills) && plan.suggestedSkills.length > 0) {
     const emitted = new Set();

package/harness-everything/scripts/kernel-router.js

@@ -44,7 +44,8 @@ function isHostNotificationPrompt(prompt) {
   return /^<task-notification[\s>][\s\S]*<\/task-notification>\s*$/i.test(text);
 }
 
-function persistWorkflow(plan, payload, prompt) {
+function persistWorkflow(contract, payload, prompt) {
+  const plan = contract && contract.workflowPlan;
   if (!payload || !(payload.session_id || payload.sessionId)) return null;
   const { runtime, hooksRoot } = loadRuntime();
   const context = runtime.loadWorkflow(payload);
@@ -83,6 +84,7 @@ function persistWorkflow(plan, payload, prompt) {
     verification: plan.verification,
     mutationIsolation: plan.mutationIsolation || { required: false },
     workflowPlan: plan,
+    taskShape: contract.taskShape || null,
     state: selected ? 'pending' : 'deferred',
     planningWarnings: plan.fallback?.disposition === 'none' ? [] : [...(plan.fallback?.reasonCodes || [])],
     runId: null,
@@ -94,6 +96,10 @@ function persistWorkflow(plan, payload, prompt) {
       hardBoundaries: ['rule-of-3-reflection', 'user-host-permission'],
     },
   };
+  if (selected && ['tier2', 'tier3'].includes(plan.tier)) {
+    const { initializePlanningContract } = require(path.join(hooksRoot, 'lib/workflow-obligations'));
+    initializePlanningContract(context, plan);
+  }
   const memoryCapability = issueMemoryCapability(context.workflow);
   runtime.saveWorkflow(context);
   return { ...context, hooksRoot, retained: false, memoryCapability };
@@ -115,7 +121,7 @@ function run(raw) {
   let persisted = null;
   let failure = null;
   try {
-    persisted = persistWorkflow(plan, payload, prompt);
+    persisted = persistWorkflow(result?.contract || null, payload, prompt);
     if (persisted?.retained && persisted.workflow) plan = persisted.workflow.workflowPlan;
   } catch (error) { failure = error; }
   if (hostNotification && !persisted?.workflow) {
@@ -146,7 +152,12 @@ function run(raw) {
     console.log('   - Memory write disposition: ' + (persisted.workflow.workflowPlan.memory?.write || 'none'));
     if (persisted.memoryCapability) console.log('   - Memory capability (single-use, workflow/session-bound): ' + persisted.memoryCapability);
     console.log('   - Stage specification: ' + path.join(persisted.sessionDir, 'workflow-stages.json'));
-    console.log('   - Enter/replan: node "' + controller + '" start --session-id "' + persisted.sessionId + '"');
+    if (plan.strategySelection === 'selected' && ['tier2', 'tier3'].includes(plan.tier)) {
+      console.log('   - Planning contract: ' + path.join(persisted.sessionDir, 'workflow-obligations.json'));
+      console.log('   - Requirements first: decompose intent into requirement fragments, then confirm the smallest sufficient workflow.');
+      console.log('   - Record plan: node "' + controller + '" plan --session-id "' + persisted.sessionId + '" --requirements-json "[{\\\"id\\\":\\\"req-1\\\",\\\"summary\\\":\\\"...\\\",\\\"acceptance\\\":\\\"...\\\"}]" --strategy "' + plan.strategy + '" --evidence "<why this workflow fits>"');
+    }
+    console.log('   - Enter selected workflow after planning: node "' + controller + '" start --session-id "' + persisted.sessionId + '"');
     console.log('   - Escape one declared stage: node "' + controller + '" escape --session-id "' + persisted.sessionId + '" --stage-id "<id>" --reason-code workflow-uncovered-scope --scope "<uncovered scope>" --evidence "<evidence>"');
   } else {
     console.log('   - Runtime state was not persisted; reminders may be less precise, but execution remains available.');

package/harness-everything/scripts/router-contract-core.js

@@ -320,7 +320,7 @@ function selectWorkflowStrategy(input = {}) {
 function planMetadataForStrategy(strategy) {
   const base = {
     patterns: ['router'],
-    requiredInvariants: ['scope-lock', 'verify-before-claim', 'replan-after-repeated-failure'],
+    requiredInvariants: ['scope-lock', 'verify-before-claim', 'replan-after-repeated-failure', 'visible-status-updates'],
     suggestedSkills: [],
     maxIterations: null,
     parallelAllowed: null,

package/hooks/scripts/lib/workflow-obligations.js

@@ -0,0 +1,316 @@
+'use strict';
+
+const path = require('path');
+const { atomicWriteJson, readJson } = require('./fable-contracts');
+
+const OBLIGATION_SCHEMA_VERSION = 1;
+const OBLIGATION_FILE = 'workflow-obligations.json';
+const SAFE_ID = /^[A-Za-z0-9][A-Za-z0-9._-]{0,127}$/;
+const ALLOWED_ESCAPE_REASONS = new Set(['workflow-uncovered-scope', 'host-capability-unavailable']);
+
+function obligationPath(sessionDir) {
+  return path.join(sessionDir, OBLIGATION_FILE);
+}
+
+function needsPlanningContract(plan) {
+  return Boolean(
+    plan &&
+    plan.strategySelection === 'selected' &&
+    ['tier2', 'tier3'].includes(plan.tier) &&
+    plan.strategy
+  );
+}
+
+function needsGenericExecutionObligations(plan) {
+  return needsPlanningContract(plan) && !String(plan.strategy).startsWith('fable-');
+}
+
+function suggestedBindings(plan, kind) {
+  const skills = Array.isArray(plan?.suggestedSkills) ? plan.suggestedSkills : [];
+  if (kind === 'verification') return skills.filter(skill => skill === 'verification-loop');
+  if (kind === 'execution') return skills.filter(skill => skill !== 'verification-loop');
+  return [];
+}
+
+function planningObligations() {
+  return [
+    {
+      id: 'decompose',
+      kind: 'planning',
+      requirement: 'Decompose the user intent into explicit requirement fragments with acceptance evidence.',
+      required: true,
+      escapable: false,
+      suggestedSkills: [],
+    },
+    {
+      id: 'compose',
+      kind: 'planning',
+      requirement: 'Evaluate the requirement fragments and confirm the smallest sufficient workflow before execution.',
+      required: true,
+      escapable: false,
+      suggestedSkills: [],
+    },
+  ];
+}
+
+function executionObligations(plan) {
+  return [
+    {
+      id: 'execute',
+      kind: 'execution',
+      requirement: 'Resolve the planned requirement fragments using adaptive Skill/direct-action bindings.',
+      required: true,
+      escapable: true,
+      suggestedSkills: suggestedBindings(plan, 'execution'),
+    },
+    {
+      id: 'verify',
+      kind: 'verification',
+      requirement: 'Produce objective verification evidence appropriate to the completed requirements before claiming completion.',
+      required: true,
+      escapable: false,
+      suggestedSkills: suggestedBindings(plan, 'verification'),
+    },
+  ];
+}
+
+function newObligation(item) {
+  return {
+    ...item,
+    status: 'pending',
+    evidence: null,
+    reasonCode: null,
+    scope: null,
+    updatedAt: null,
+  };
+}
+
+function initializePlanningContract(context, plan) {
+  if (!needsPlanningContract(plan)) return null;
+  const existing = readJson(obligationPath(context.sessionDir));
+  if (existing && validateObligationSet(context, existing, plan) === null) return existing;
+  const now = new Date().toISOString();
+  const set = {
+    schemaVersion: OBLIGATION_SCHEMA_VERSION,
+    workflowId: context.workflow.workflowId,
+    sessionId: context.sessionId,
+    tier: plan.tier,
+    candidateStrategy: plan.strategy,
+    revision: context.workflow.revision,
+    phase: 'planning',
+    createdAt: now,
+    requirements: [],
+    workflowSelection: {
+      candidateStrategy: plan.strategy,
+      confirmedStrategy: null,
+      evidence: null,
+      confirmedAt: null,
+    },
+    obligations: planningObligations().map(newObligation),
+  };
+  atomicWriteJson(obligationPath(context.sessionDir), set);
+  context.workflow.obligationContract = {
+    schemaVersion: OBLIGATION_SCHEMA_VERSION,
+    file: OBLIGATION_FILE,
+    revision: set.revision,
+  };
+  return set;
+}
+
+function parseRequirements(requirementsJson) {
+  let parsed;
+  try { parsed = JSON.parse(String(requirementsJson || '')); }
+  catch (_) { throw new Error('--requirements-json must be valid JSON'); }
+  if (!Array.isArray(parsed) || parsed.length < 1 || parsed.length > 32) {
+    throw new Error('--requirements-json must contain 1..32 requirement fragments');
+  }
+  const ids = new Set();
+  return parsed.map((item, index) => {
+    if (!item || typeof item !== 'object' || Array.isArray(item)) throw new Error('requirement fragment must be an object');
+    const id = String(item.id || '').trim();
+    const summary = String(item.summary || '').trim();
+    const acceptance = String(item.acceptance || '').trim();
+    if (!SAFE_ID.test(id) || ids.has(id)) throw new Error('requirement ids must be unique stable ids');
+    if (!summary || !acceptance) throw new Error('each requirement needs summary and acceptance');
+    ids.add(id);
+    const suggestedSkills = Array.isArray(item.suggestedSkills)
+      ? [...new Set(item.suggestedSkills.filter(value => typeof value === 'string' && value.trim()).map(value => value.trim()))]
+      : [];
+    return { id, order: index + 1, summary, acceptance, suggestedSkills };
+  });
+}
+
+function recordPlanning(context, requirementsJson, selectedPlan, requestedStrategy, evidence) {
+  if (!needsPlanningContract(selectedPlan)) throw new Error('selected workflow does not require a planning contract');
+  const loaded = loadObligationSet(context, selectedPlan);
+  if (!loaded.set) throw new Error('workflow planning contract unavailable or invalid: ' + loaded.error);
+  const requirements = parseRequirements(requirementsJson);
+  const requested = String(requestedStrategy || '').trim();
+  const planningEvidence = String(evidence || '').trim();
+  if (!requested) throw new Error('--strategy is required');
+  if (!planningEvidence) throw new Error('--evidence is required');
+
+  const now = new Date().toISOString();
+  loaded.set.requirements = requirements;
+  const decompose = loaded.set.obligations.find(item => item.id === 'decompose');
+  if (decompose) {
+    decompose.status = 'pass';
+    decompose.reasonCode = null;
+    decompose.evidence = 'requirements:' + requirements.map(item => item.id).join(',');
+    decompose.updatedAt = now;
+  }
+
+  const blocked = selectedPlan.fallback?.disposition === 'blocked';
+  loaded.set.workflowSelection = {
+    candidateStrategy: loaded.set.candidateStrategy,
+    requestedStrategy: requested,
+    confirmedStrategy: blocked ? null : selectedPlan.strategy,
+    evidence: planningEvidence,
+    confirmedAt: blocked ? null : now,
+    disposition: blocked ? 'blocked' : 'confirmed',
+    fallback: selectedPlan.fallback || null,
+  };
+  const compose = loaded.set.obligations.find(item => item.id === 'compose');
+  if (compose) {
+    compose.status = blocked ? 'blocked' : 'pass';
+    compose.reasonCode = blocked ? 'workflow-selection-blocked' : null;
+    compose.evidence = planningEvidence;
+    compose.updatedAt = now;
+  }
+
+  if (blocked) {
+    context.workflow.planningWarning = 'workflow-selection-blocked';
+    delete context.workflow.pendingPlan;
+  } else {
+    loaded.set.phase = 'planned';
+    delete context.workflow.planningWarning;
+    if (selectedPlan.strategy !== context.workflow.workflowPlan.strategy ||
+        JSON.stringify(selectedPlan) !== JSON.stringify(context.workflow.workflowPlan)) {
+      context.workflow.pendingPlan = selectedPlan;
+    } else {
+      delete context.workflow.pendingPlan;
+    }
+  }
+
+  atomicWriteJson(obligationPath(context.sessionDir), loaded.set);
+  return { set: loaded.set, blocked, selectedPlan };
+}
+
+function materializeExecutionObligations(context, plan) {
+  if (!needsGenericExecutionObligations(plan)) return null;
+  const loaded = loadObligationSet(context, plan);
+  if (!loaded.set) throw new Error('workflow planning contract unavailable or invalid: ' + loaded.error);
+  if (planningUnresolved(context, plan).length) throw new Error('requirements/workflow planning must be resolved before start');
+  const existing = new Map(loaded.set.obligations.map(item => [item.id, item]));
+  for (const item of executionObligations(plan)) {
+    if (!existing.has(item.id)) loaded.set.obligations.push(newObligation(item));
+  }
+  loaded.set.phase = 'execution';
+  loaded.set.activeStrategy = plan.strategy;
+  loaded.set.revision = context.workflow.revision;
+  atomicWriteJson(obligationPath(context.sessionDir), loaded.set);
+  return loaded.set;
+}
+
+function validateObligationSet(context, set, plan = context.workflow?.pendingPlan || context.workflow?.workflowPlan) {
+  if (!set || set.schemaVersion !== OBLIGATION_SCHEMA_VERSION) return 'schema-invalid';
+  if (set.workflowId !== context.workflow?.workflowId || set.sessionId !== context.sessionId) return 'correlation-invalid';
+  if (!plan || set.tier !== plan.tier) return 'plan-mismatch';
+  if (!Array.isArray(set.requirements) || !Array.isArray(set.obligations) || set.obligations.length === 0) return 'obligations-invalid';
+  const ids = new Set();
+  for (const obligation of set.obligations) {
+    if (!obligation || !SAFE_ID.test(obligation.id || '') || ids.has(obligation.id)) return 'obligation-id-invalid';
+    ids.add(obligation.id);
+    if (!['pending', 'pass', 'escaped', 'blocked'].includes(obligation.status)) return 'obligation-status-invalid';
+  }
+  return null;
+}
+
+function loadObligationSet(context, plan) {
+  const set = readJson(obligationPath(context.sessionDir));
+  const error = validateObligationSet(context, set, plan);
+  return { set: error ? null : set, error };
+}
+
+function planningUnresolved(context, plan = context.workflow?.pendingPlan || context.workflow?.workflowPlan) {
+  if (!needsPlanningContract(plan)) return [];
+  const loaded = loadObligationSet(context, plan);
+  if (!loaded.set) return ['planning:' + (loaded.error || 'missing')];
+  const unresolved = [];
+  for (const id of ['decompose', 'compose']) {
+    const obligation = loaded.set.obligations.find(item => item.id === id);
+    if (!obligation) unresolved.push(id + ':missing');
+    else if (obligation.status !== 'pass' || !obligation.evidence) unresolved.push(id + ':' + obligation.status);
+  }
+  if (!loaded.set.requirements.length) unresolved.push('requirements:empty');
+  if (loaded.set.workflowSelection?.confirmedStrategy !== plan.strategy ||
+      loaded.set.workflowSelection?.disposition !== 'confirmed') {
+    unresolved.push('workflow-selection:unconfirmed');
+  }
+  return [...new Set(unresolved)];
+}
+
+function updateObligation(context, obligationId, disposition, options = {}) {
+  if (!SAFE_ID.test(obligationId || '')) throw new Error('--obligation-id must be a stable obligation id');
+  if (!['pass', 'escaped', 'blocked'].includes(disposition)) throw new Error('--disposition must be pass, escaped, or blocked');
+  if (['decompose', 'compose'].includes(obligationId)) throw new Error('planning obligations are resolved through the plan command');
+  const plan = context.workflow?.pendingPlan || context.workflow?.workflowPlan;
+  const loaded = loadObligationSet(context, plan);
+  if (!loaded.set) throw new Error('workflow obligation contract unavailable or invalid: ' + loaded.error);
+  const obligation = loaded.set.obligations.find(item => item.id === obligationId);
+  if (!obligation) throw new Error('unknown workflow obligation: ' + obligationId);
+  const evidence = String(options.evidence || '').trim();
+  if (!evidence) throw new Error('--evidence is required for every obligation disposition');
+  const reasonCode = String(options.reasonCode || '').trim() || null;
+  const scope = String(options.scope || '').trim() || null;
+  if (disposition === 'escaped') {
+    if (!obligation.escapable) throw new Error('this obligation cannot be escaped');
+    if (!ALLOWED_ESCAPE_REASONS.has(reasonCode)) throw new Error('escaped obligations require workflow-uncovered-scope or host-capability-unavailable');
+    if (!scope) throw new Error('--scope is required when escaping an obligation');
+  }
+  if (disposition === 'blocked' && !reasonCode) throw new Error('--reason-code is required when blocking an obligation');
+  obligation.status = disposition;
+  obligation.evidence = evidence;
+  obligation.reasonCode = reasonCode;
+  obligation.scope = scope;
+  obligation.updatedAt = new Date().toISOString();
+  atomicWriteJson(obligationPath(context.sessionDir), loaded.set);
+  return obligation;
+}
+
+function unresolvedObligations(context) {
+  const plan = context.workflow?.pendingPlan || context.workflow?.workflowPlan;
+  if (!needsPlanningContract(plan)) return [];
+  const unresolved = planningUnresolved(context, plan);
+  const loaded = loadObligationSet(context, plan);
+  if (!loaded.set) return unresolved;
+  if (!['running', 'satisfied', 'blocked', 'failed'].includes(context.workflow.state)) {
+    unresolved.push('execution:not-started');
+  }
+  if (needsGenericExecutionObligations(plan)) {
+    for (const obligation of loaded.set.obligations.filter(item => ['execute', 'verify'].includes(item.id))) {
+      if (obligation.status === 'pending') unresolved.push(obligation.id + ':pending');
+      else if (obligation.status === 'blocked') unresolved.push(obligation.id + ':blocked');
+      else if (!obligation.evidence) unresolved.push(obligation.id + ':evidence-missing');
+      else if (obligation.status === 'escaped' && (!obligation.escapable || !ALLOWED_ESCAPE_REASONS.has(obligation.reasonCode) || !obligation.scope)) {
+        unresolved.push(obligation.id + ':escape-invalid');
+      }
+    }
+  }
+  return [...new Set(unresolved)];
+}
+
+module.exports = {
+  OBLIGATION_FILE,
+  ALLOWED_ESCAPE_REASONS,
+  obligationPath,
+  needsPlanningContract,
+  needsGenericExecutionObligations,
+  initializePlanningContract,
+  recordPlanning,
+  materializeExecutionObligations,
+  loadObligationSet,
+  planningUnresolved,
+  updateObligation,
+  unresolvedObligations,
+};

package/hooks/scripts/lib/workflow-runtime.js

@@ -7,7 +7,7 @@ const { atomicWriteJson, readJson } = require('./fable-contracts');
 
 const OPEN_STATES = new Set(['pending', 'active', 'running', 'failed', 'blocked', 'escaped']);
 const SAFE_ID = /^[A-Za-z0-9][A-Za-z0-9._-]{0,127}$/;
-const WORKFLOW_CONTROLLER_COMMANDS = new Set(['start', 'revision', 'escape', 'block']);
+const WORKFLOW_CONTROLLER_COMMANDS = new Set(['plan', 'start', 'revision', 'obligation', 'escape', 'block']);
 
 function activeWorkflowPlan(workflow) {
   if (!workflow) return null;

package/hooks/scripts/workflow-disposition.js

@@ -6,22 +6,66 @@ const path = require('path');
 const { loadWorkflow, saveWorkflow, matchingRun, OPEN_STATES, WORKFLOW_CONTROLLER_COMMANDS } = require('./lib/workflow-runtime');
 const { getWorkspaceRoot, readCurrentSession } = require('./lib/harness-state');
 const { atomicWriteJson, readJson } = require('./lib/fable-contracts');
+const {
+  planningUnresolved,
+  recordPlanning,
+  materializeExecutionObligations,
+  updateObligation,
+} = require('./lib/workflow-obligations');
 
 const ALLOWED_ESCAPE_REASONS = new Set(['workflow-uncovered-scope', 'host-capability-unavailable']);
 
 function parseArgs(argv) {
   const args = { command: argv[0] };
-  const flags = new Map([['--reason-code', 'reasonCode'], ['--scope', 'scope'], ['--evidence', 'evidence'], ['--session-id', 'sessionId'], ['--stage-id', 'stageId']]);
+  const flags = new Map([
+    ['--reason-code', 'reasonCode'], ['--scope', 'scope'], ['--evidence', 'evidence'],
+    ['--session-id', 'sessionId'], ['--stage-id', 'stageId'],
+    ['--obligation-id', 'obligationId'], ['--disposition', 'disposition'],
+    ['--requirements-json', 'requirementsJson'], ['--strategy', 'strategy'],
+  ]);
   for (let i = 1; i < argv.length; i++) {
     const key = flags.get(argv[i]);
-    if (!key || !argv[i + 1] || argv[i + 1].startsWith('--')) throw new Error('unknown or incomplete argument: ' + argv[i]);
+    if (!key || argv[i + 1] === undefined || argv[i + 1].startsWith('--')) throw new Error('unknown or incomplete argument: ' + argv[i]);
     args[key] = argv[++i];
   }
   return args;
 }
 
 function usage() {
-  return `Usage: workflow-disposition.js <${[...WORKFLOW_CONTROLLER_COMMANDS].join('|')}> --session-id <id> [--stage-id <id> --reason-code <reason> --scope <scope> --evidence <evidence>]`;
+  return `Usage: workflow-disposition.js <${[...WORKFLOW_CONTROLLER_COMMANDS].join('|')}> --session-id <id> [--requirements-json <json> --strategy <strategy> --obligation-id <id> --disposition <pass|escaped|blocked> --reason-code <reason> --scope <scope> --evidence <evidence>]`;
+}
+
+const SELECTABLE_STRATEGIES = new Set(['direct-single', 'iterative-single', 'fable-staged', 'fable-parallel', 'fable-multi-agent-workspace']);
+
+function routerContract() {
+  for (const relative of ['../../harness-everything/scripts/router-contract.js', '../../skills/harness-everything/scripts/router-contract.js']) {
+    const file = path.resolve(__dirname, relative);
+    if (fs.existsSync(file)) return require(file);
+  }
+  throw new Error('router contract unavailable');
+}
+
+function recomposePlan(workflow, requestedStrategy) {
+  const strategy = String(requestedStrategy || '').trim();
+  if (!SELECTABLE_STRATEGIES.has(strategy)) throw new Error('--strategy must name a supported execution topology');
+  if (strategy === workflow.workflowPlan.strategy) return workflow.workflowPlan;
+  if (!workflow.taskShape || typeof workflow.taskShape !== 'object') {
+    throw new Error('workflow task-shape context is unavailable; cannot safely recompose topology');
+  }
+  const taskShape = {
+    ...workflow.taskShape,
+    explicitRequest: {
+      ...(workflow.taskShape.explicitRequest || {}),
+      strategy,
+    },
+  };
+  return routerContract().buildWorkflowPlan({
+    routingStatus: workflow.workflowPlan.routingStatus,
+    tier: workflow.tier,
+    taskShape,
+    actionGateReasonCodes: workflow.workflowPlan.actionGate?.reasonCodes || [],
+    reasonCodes: ['post-decomposition-workflow-selection'],
+  });
 }
 
 function consumer() {
@@ -51,10 +95,31 @@ function main() {
   const context = loadWorkflow({ session_id: sessionId });
   const { workflow } = context;
   if (!workflow || !OPEN_STATES.has(workflow.state)) throw new Error('no unresolved workflow contract exists for this session');
+
+  if (args.command === 'plan') {
+    if (!workflow.workflowId || !workflow.workflowPlan) throw new Error('legacy workflow lacks a correlated plan; cannot plan it implicitly');
+    if (!['pending', 'active'].includes(workflow.state)) throw new Error('requirements/workflow composition belongs before execution starts');
+    const selectedPlan = recomposePlan(workflow, args.strategy);
+    const result = recordPlanning(context, args.requirementsJson, selectedPlan, args.strategy, args.evidence);
+    saveWorkflow(context);
+    process.stdout.write(JSON.stringify({
+      state: workflow.state,
+      workflowId: workflow.workflowId,
+      requirements: result.set.requirements.map(item => ({ id: item.id, summary: item.summary })),
+      workflowSelection: result.set.workflowSelection,
+      selectedStrategy: result.selectedPlan.strategy,
+      blocked: result.blocked,
+    }) + '\n');
+    return;
+  }
+
   if (args.command === 'start') {
     if (!workflow.workflowId || !workflow.workflowPlan) throw new Error('legacy workflow lacks a correlated plan; cannot start it implicitly');
     if (workflow.state === 'running') throw new Error('workflow already running; record a blocker before replanning');
     const plan = workflow.pendingPlan || workflow.workflowPlan;
+    const unresolvedPlanning = planningUnresolved(context, plan);
+    if (unresolvedPlanning.length) throw new Error('resolve requirement decomposition/workflow selection first: ' + unresolvedPlanning.join(', '));
+
     if (!String(plan.strategy || '').startsWith('fable-')) {
       activatePlan(workflow, plan);
       workflow.revision++;
@@ -62,10 +127,17 @@ function main() {
       workflow.escapes = [];
       delete workflow.pendingPlan;
       delete workflow.blockReason;
+      const obligations = materializeExecutionObligations(context, plan);
       saveWorkflow(context);
-      process.stdout.write(JSON.stringify({ state: workflow.state, workflowId: workflow.workflowId, revision: workflow.revision }) + '\n');
+      process.stdout.write(JSON.stringify({
+        state: workflow.state,
+        workflowId: workflow.workflowId,
+        revision: workflow.revision,
+        obligations: obligations ? obligations.obligations.map(item => ({ id: item.id, status: item.status })) : [],
+      }) + '\n');
       return;
     }
+
     const stages = readJson(path.join(context.sessionDir, 'workflow-stages.json'));
     if (!Array.isArray(stages) || !stages.length) throw new Error('write a non-empty workflow-stages.json stage array at the session path first');
     if (stages.some(stage => !stage.checkCommand || !stage.passCondition)) throw new Error('every required stage needs an objective checkCommand and passCondition');
@@ -84,6 +156,25 @@ function main() {
     workflow.escapes = [];
     delete workflow.pendingPlan;
     delete workflow.blockReason;
+  } else if (args.command === 'obligation') {
+    if (String(workflow.strategy || '').startsWith('fable-')) throw new Error('Fable workflows use correlated stage contracts, not generic execution obligations');
+    if (workflow.state !== 'running') throw new Error('start the selected workflow before recording execution obligation dispositions');
+    const obligation = updateObligation(context, args.obligationId, args.disposition, {
+      evidence: args.evidence,
+      reasonCode: args.reasonCode,
+      scope: args.scope,
+    });
+    process.stdout.write(JSON.stringify({
+      state: workflow.state,
+      workflowId: workflow.workflowId,
+      obligation: {
+        id: obligation.id,
+        status: obligation.status,
+        reasonCode: obligation.reasonCode,
+        evidence: obligation.evidence,
+      },
+    }) + '\n');
+    return;
   } else if (args.command === 'revision') {
     console.error('[Workflow Reminder] Revision requested; no hard revision budget is enforced.');
   } else if (args.command === 'escape') {
@@ -100,13 +191,14 @@ function main() {
     };
     workflow.escapes = [...(workflow.escapes || []).filter(item => item.stageId !== args.stageId), disposition];
     atomicWriteJson(path.join(match.runRoot, 'escapes', args.stageId + '.json'), disposition);
-    // Scope-limited exception; never change the entire workflow to escaped.
   } else if (args.command === 'block') {
     if (!args.evidence?.trim()) throw new Error('--evidence is required');
     workflow.state = 'blocked';
     workflow.blockReason = args.evidence.trim();
   } else throw new Error(usage());
+
   saveWorkflow(context);
   process.stdout.write(JSON.stringify({ state: workflow.state, workflowId: workflow.workflowId, runId: workflow.runId, revision: workflow.revision, escapes: workflow.escapes }) + '\n');
 }
+
 try { main(); } catch (error) { console.error('[Workflow Disposition] ' + error.message); process.exitCode = 2; }

package/hooks/scripts/workflow-stop-gate.js

@@ -3,7 +3,10 @@
 const path = require('path');
 const { readJson } = require('./lib/fable-contracts');
 const { loadWorkflow, saveWorkflow, matchingRun, unresolvedStages, readHookInput } = require('./lib/workflow-runtime');
+const { planningUnresolved, unresolvedObligations } = require('./lib/workflow-obligations');
+
 function warn(message) { console.error('[Workflow Reminder] ' + message); }
+
 function decide(payload) {
   if (!payload) return;
   try {
@@ -11,20 +14,24 @@ function decide(payload) {
     const { workflow, sessionDir } = context;
     if (!workflow || workflow.state === 'deferred') return;
     const handoff = readJson(path.join(sessionDir, 'handoff-state.json'));
-    let unresolved = [];
+    let unresolved = planningUnresolved(context);
+
     if (String(workflow.strategy || '').startsWith('fable-')) {
       const match = matchingRun(context);
-      unresolved = match ? unresolvedStages(match, workflow, handoff?.lastEditAt || 0) : ['correlated-run-missing'];
+      unresolved.push(...(match ? unresolvedStages(match, workflow, handoff?.lastEditAt || 0) : ['correlated-run-missing']));
     } else {
+      unresolved.push(...unresolvedObligations(context));
       const lastEdit = Math.max(workflow.lastMutationAt || 0, handoff?.lastEditAt || 0);
-      if (lastEdit && (handoff?.lastVerifyAt || 0) < lastEdit) unresolved = ['verification-after-edit-missing'];
+      if (lastEdit && (handoff?.lastVerifyAt || 0) < lastEdit) unresolved.push('verification-after-edit-missing');
     }
+
+    unresolved = [...new Set(unresolved)];
     const wasBlocked = workflow.state === 'blocked';
     if (wasBlocked) warn('Workflow is marked BLOCKED; report or revisit the recorded blocker, but Harness will not trap the session.');
     if (unresolved.length) {
       workflow.unresolved = unresolved;
       saveWorkflow(context);
-      warn('Unresolved workflow evidence: ' + unresolved.join(', ') + '. Verify/review before claiming completion.');
+      warn('Unresolved workflow evidence: ' + unresolved.join(', ') + '. Resolve/verify before claiming completion.');
       return;
     }
     if (wasBlocked) return;
@@ -34,4 +41,5 @@ function decide(payload) {
     saveWorkflow(context);
   } catch (error) { warn(error && error.message ? error.message : String(error)); }
 }
+
 readHookInput(decide);

package/opencode-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "harness-enforcement",
   "description": "Repository inventory for the opencode enforcement plugin and its standalone helper",
-  "version": "0.16.6",
+  "version": "0.18.0",
   "runtime": "index.mjs",
   "hooks": {
     "verify": "hooks/verify.js"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "harness-everything",
-  "version": "0.16.6",
+  "version": "0.18.0",
   "description": "Harness OS: An Orchestrated Agent Operating System for AI-driven Development",
   "main": "harness-everything/scripts/bootstrap.js",
   "bin": {

package/plugins/harness-everything/.codex-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "harness-everything",
-  "version": "0.16.6",
+  "version": "0.18.0",
   "description": "Invariant-first engineering harness for routing, verification, and failure recovery while preserving agent autonomy.",
   "author": {
     "name": "Miya Daniel",