yam-flow 2.6.0 → 2.8.0

package/dist/lib/trust-kernel.d.ts

@@ -1,3 +1,4 @@
+import type { NextStepReceipt } from './next-step.js';
 export declare const TRUTH_STATUSES: readonly ["verified", "proven", "partial", "fixture_only", "fixture_instrumented_real", "integration_optional", "real_required_missing", "skipped", "blocked", "assumed"];
 export type TruthStatus = (typeof TRUTH_STATUSES)[number];
 export type SafetyLevel = 'danger' | 'warning';
@@ -240,6 +241,7 @@ export interface LoopReport {
     side_effects: string[];
     avoidance_note: string;
     study_note: StudyNote;
+    next_step: NextStepReceipt | null;
 }
 export interface UeyeRunReport {
     schema: 'yam.ueye-run-report.v1';

package/dist/lib/trust-kernel.js

@@ -1,4 +1,5 @@
 import { verifyStrictGateResult } from './gate-result.js';
+import { buildNextStep } from './next-step.js';
 export const TRUTH_STATUSES = Object.freeze([
     'verified',
     'proven',
@@ -384,13 +385,30 @@ export function buildLoopReport(input = {}) {
     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) : 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 = hasBlockerSignal || hasBlockedStage ? 'blocked'
@@ -444,7 +462,8 @@ export function buildLoopReport(input = {}) {
         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
     };
 }
 export function buildUeyeRunReport(input = {}) {

package/dist/lib/verification-closure.d.ts

@@ -0,0 +1,97 @@
+export type VerificationScope = 'affected' | 'release';
+export interface SelectedVerificationCommand {
+    id: string;
+    command: string;
+    scope: VerificationScope;
+    required: boolean;
+}
+export interface ExecutedVerificationCommand {
+    id: string;
+    command: string;
+    exit_code: number;
+    evidence: string;
+}
+export interface VerificationCommandException {
+    check_id: string;
+    reason: string;
+}
+export interface VerificationClosureReceipt {
+    schema: 'yam.verification-closure.v1';
+    created_at: string;
+    planned_scope: VerificationScope;
+    final_scope: VerificationScope;
+    scope_derivation: {
+        source: 'git_status_porcelain_v1';
+        availability: 'observed' | 'unavailable';
+        promoted: boolean;
+        release_sensitive_files: string[];
+        reason: string;
+    };
+    declared_changed_files: string[];
+    scope_observation: {
+        command: 'git status --porcelain=v1 -z --untracked-files=all';
+        availability: 'observed' | 'unavailable';
+        changed_files: string[];
+        unplanned_files: string[];
+        declared_not_observed: string[];
+        reason: string;
+    };
+    changed_files: string[];
+    selected_commands: SelectedVerificationCommand[];
+    executed_commands: ExecutedVerificationCommand[];
+    skipped: VerificationCommandException[];
+    truncated: VerificationCommandException[];
+    execution_boundary: {
+        command_execution_by_yam: false;
+        execution_evidence: 'operator_declared';
+    };
+    status: 'passed' | 'failed';
+    blockers: string[];
+    truth_status: 'partial' | 'blocked';
+    digest: string;
+}
+export declare function createVerificationClosureReceipt(input: {
+    root: string;
+    receipt_path: string;
+    planned_scope: VerificationScope;
+    changed_files: string[];
+    selected_commands: SelectedVerificationCommand[];
+    executed_commands: ExecutedVerificationCommand[];
+    skipped: VerificationCommandException[];
+    truncated: VerificationCommandException[];
+}): Promise<{
+    schema: "yam.verification-closure-write.v1";
+    receipt_path: string;
+    receipt: VerificationClosureReceipt;
+    truth_status: "blocked" | "partial";
+    next_action: string;
+}>;
+export declare function verifyVerificationClosureReceipt(value: unknown): {
+    schema: "yam.verification-closure-verification.v1";
+    valid: boolean;
+    errors: string[];
+    receipt_truth_status: unknown;
+    truth_status: "verified" | "blocked";
+    next_action: string;
+};
+export declare function verifyVerificationClosureReceiptFile(input: {
+    root: string;
+    receipt_path: string;
+}): Promise<{
+    receipt_path: string;
+    current_scope: {
+        command: "git status --porcelain=v1 -z --untracked-files=all";
+        availability: "observed" | "unavailable";
+        changed_files: string[];
+        unplanned_files: string[];
+        declared_not_observed: string[];
+        reason: string;
+    };
+    valid: boolean;
+    errors: string[];
+    truth_status: "verified" | "blocked";
+    next_action: string;
+    schema: "yam.verification-closure-verification.v1";
+    receipt_truth_status: unknown;
+}>;
+export declare function isReleaseSensitivePath(file: string): boolean;