yam-flow 2.7.0 → 2.8.0

package/src/lib/trust-kernel.ts

@@ -1,4 +1,6 @@
 import { verifyStrictGateResult } from './gate-result.js';
+import { buildNextStep } from './next-step.js';
+import type { NextStepInput, NextStepReceipt } from './next-step.js';
 
 export const TRUTH_STATUSES = Object.freeze([
   'verified',
@@ -273,6 +275,7 @@ export interface LoopReport {
   side_effects: string[];
   avoidance_note: string;
   study_note: StudyNote;
+  next_step: NextStepReceipt | null;
 }
 
 export interface UeyeRunReport {
@@ -784,13 +787,32 @@ export function buildLoopReport(input: Partial<LoopReport> & Record<string, unkn
   const uncoveredRequirements = asList(input.uncovered_requirements || input.uncovered_requirement);
   const blockers = asList(input.blockers || input.blocked);
   const blockedBy = asList(input.blocked_by);
-  const blockedKind = shortText(input.blocked_kind || (readinessState === 'blocked' ? 'readiness_blocked' : uncoveredRequirements.length ? 'requirement_uncovered' : blockers.length || blockedBy.length ? 'evidence_missing' : ''));
+  const requestedBlockedKind = shortText(input.blocked_kind);
   const failureCause = shortText(input.failure_cause);
   const recoveryHint = shortText(input.recovery_hint);
   const avoidanceNote = shortText(input.avoidance_note);
   const evidenceStamp = shortText(input.evidence_stamp || input.source_digest, 320);
   const sourceDigest = shortText(input.source_digest || input.evidence_stamp, 320);
   const hasBlockedStage = stages.some((stage) => stage.status === 'blocked' || stage.status === 'failed');
+  const nextStepSupplied = input.next_step !== undefined && input.next_step !== null;
+  const nextStep = nextStepSupplied ? buildNextStep(input.next_step as unknown as NextStepInput) : null;
+  const nextStepRequired = touchedFiles.length > 0;
+  const nextStepBlocked = (nextStepRequired && !nextStep)
+    || Boolean(nextStep && (!nextStep.contract_valid || nextStep.truth_status === 'blocked'));
+  if (nextStepBlocked) {
+    blockers.push(!nextStep
+      ? 'next_step_missing_for_changed_artifacts'
+      : `next_step_contract_blocked: ${nextStep.contract_errors[0] || nextStep.truth_status}`);
+  }
+  const blockedKind = shortText(requestedBlockedKind || (
+    readinessState === 'blocked'
+      ? 'readiness_blocked'
+      : uncoveredRequirements.length
+        ? 'requirement_uncovered'
+        : blockers.length || blockedBy.length
+          ? 'evidence_missing'
+          : ''
+  ));
   const hasBlockerSignal = Boolean(blockers.length || blockedBy.length || blockedKind || uncoveredRequirements.length || readinessState === 'blocked');
   const requestedTruth = isTruthStatus(input.truth_status) ? input.truth_status : '';
   const derivedTruth: TruthStatus = hasBlockerSignal || hasBlockedStage ? 'blocked'
@@ -844,7 +866,8 @@ export function buildLoopReport(input: Partial<LoopReport> & Record<string, unkn
     scope_owner: normalizeOwnerRoute(input.scope_owner || input.owner),
     side_effects: asList(input.side_effects || input.side_effect),
     avoidance_note: avoidanceNote,
-    study_note: studyNote
+    study_note: studyNote,
+    next_step: nextStep
   };
 }
 

package/yam.manifest.json

@@ -1,6 +1,6 @@
 {
   "name": "yam",
-  "version": "2.7.0",
+  "version": "2.8.0",
   "principles": [
     "Direction before execution.",
     "Start fast.",
@@ -17,7 +17,8 @@
     "Explain what changed, what role it has, where it runs or is read, what was wrong or missing when relevant, before/after behavior, expected behavior, and one useful syntax or structure insight in short non-specialist language.",
     "When relevant, include architecture hygiene: avoid dumping unrelated logic into page.tsx, one-off component CSS into global.css, or structured product data into broad DB jsonb blobs when better project boundaries exist.",
     "Use handoff notes for fix-first items, remaining tasks, recommended next direction, requirement coverage, blocker kind, failure cause, recovery hint, safe retry, evidence level, and owner scope when useful.",
-    "Use bounded heavy verification for serious claims, with explicit stop conditions instead of endless proof loops."
+    "Use bounded heavy verification for serious claims, with explicit stop conditions instead of endless proof loops.",
+    "After changed artifacts, put an evidence-bound Next step immediately after Study Note with a whole-process scan, critical opinion, recommendations, and fix-first-before-planned ordering."
   ],
   "defaultHooks": false,
   "routes": [
@@ -39,7 +40,7 @@
     {
       "id": "scout",
       "stage": "v0.2",
-      "purpose": "Investigation, wide search, evidence-led source mapping, blocked-source fallback, opposition pass, and recommendation without code changes by default."
+      "purpose": "Investigation, canonical-entity resolution, four-clock freshness checks, evidence-led source mapping, blocked-source fallback, immutable source/claim receipts for repeated scans, opposition pass, and recommendation without code changes by default."
     },
     {
       "id": "deep",