sdd-agent-platform 0.4.0 → 0.4.2

package/packages/core/dist/execution/stage-team-runtime.d.ts

@@ -0,0 +1,112 @@
+import { STAGE_TEAM_RUNTIME_CONTRACT_VERSION } from '../contracts.js';
+export type StageTeamLifecycleProfile = 'direct' | 'compact' | 'full' | 'research' | 'recover';
+export type StageTeamStage = 'spec' | 'plan' | 'tasks' | 'verifies' | 'do' | 'test' | 'review' | 'ship' | 'recover';
+export type StageTeamSessionStatus = 'planned' | 'running' | 'completed' | 'blocked' | 'cancelled';
+export type StageRoleAssignmentStatus = 'assigned' | 'running' | 'completed' | 'blocked' | 'skipped';
+export type StageRoleResultStatus = 'accepted' | 'candidate' | 'rejected' | 'superseded';
+export type StageRoleResultKind = 'evidence' | 'review' | 'gap' | 'proposal' | 'diagnostic' | 'gate_assessment';
+export type StageRoleAuthorityCeiling = 'advisory_only' | 'evidence_input' | 'proposal_input' | 'gate_input';
+export type LlmAdvisorAssessmentKind = 'evidence_sufficiency' | 'gap_classification' | 'semantic_drift' | 'writeback_classification' | 'risk_escalation' | 'recovery_suggestion';
+export type LlmAdvisorConcern = 'none' | 'low' | 'medium' | 'high';
+export type LlmAdvisorValidity = 'valid' | 'invalid';
+export type LlmAdvisorConfidence = 'low' | 'medium' | 'high';
+export interface StageRoleProfileActivation {
+    roleId: string;
+    required: boolean;
+    advisory: boolean;
+    reason: string;
+}
+export interface StageTeamActivationProfile {
+    contract: typeof STAGE_TEAM_RUNTIME_CONTRACT_VERSION;
+    profile: StageTeamLifecycleProfile;
+    requiredTeam: boolean;
+    roles: StageRoleProfileActivation[];
+    reason: string;
+}
+export interface StageTeamSessionRecord {
+    contract: typeof STAGE_TEAM_RUNTIME_CONTRACT_VERSION;
+    sessionId: string;
+    partition: string;
+    runId: string | null;
+    taskId: string | null;
+    stage: StageTeamStage;
+    lifecycleProfile: StageTeamLifecycleProfile;
+    status: StageTeamSessionStatus;
+    createdAt: string;
+    updatedAt: string;
+    assignments: StageRoleAssignment[];
+    payload: unknown;
+}
+export interface StageRoleAssignment {
+    assignmentId: string;
+    roleId: string;
+    agentId: string | null;
+    status: StageRoleAssignmentStatus;
+    required: boolean;
+    authorityCeiling: StageRoleAuthorityCeiling;
+    materialRefs: string[];
+    createdAt: string;
+    updatedAt: string;
+}
+export interface StageRoleResultRecord {
+    contract: typeof STAGE_TEAM_RUNTIME_CONTRACT_VERSION;
+    resultId: string;
+    sessionId: string;
+    assignmentId: string;
+    partition: string;
+    runId: string | null;
+    taskId: string | null;
+    roleId: string;
+    agentId: string | null;
+    outputKind: StageRoleResultKind;
+    authorityCeiling: StageRoleAuthorityCeiling;
+    status: StageRoleResultStatus;
+    summary: string;
+    evidenceRefs: string[];
+    durableGapIds: string[];
+    proposalRefs: string[];
+    advisorAssessmentIds: string[];
+    createdAt: string;
+    payload: unknown;
+}
+export interface LlmAdvisorAssessmentRecord {
+    contract: typeof STAGE_TEAM_RUNTIME_CONTRACT_VERSION;
+    assessmentId: string;
+    sessionId: string | null;
+    partition: string;
+    runId: string | null;
+    taskId: string | null;
+    kind: LlmAdvisorAssessmentKind;
+    concern: LlmAdvisorConcern;
+    validity: LlmAdvisorValidity;
+    confidence: LlmAdvisorConfidence;
+    advisoryOnly: true;
+    summary: string;
+    evidenceRefs: string[];
+    durableGapIds: string[];
+    proposalRefs: string[];
+    createdAt: string;
+    payload: unknown;
+}
+export interface FanInEvidenceSetRecord {
+    contract: typeof STAGE_TEAM_RUNTIME_CONTRACT_VERSION;
+    fanInId: string;
+    partition: string;
+    runId: string | null;
+    taskId: string | null;
+    stage: StageTeamStage;
+    roleResultIds: string[];
+    durableGapIds: string[];
+    proposalRefs: string[];
+    advisorAssessmentIds: string[];
+    evidenceRefs: string[];
+    canonicalEvidenceRefs: string[];
+    gateInputOnly: true;
+    createdAt: string;
+    payload: unknown;
+}
+export declare function assertValidStageRoleResult(value: StageRoleResultRecord | Record<string, unknown>): asserts value is StageRoleResultRecord;
+export declare function assertAdvisoryAssessment(value: LlmAdvisorAssessmentRecord | Record<string, unknown>): asserts value is LlmAdvisorAssessmentRecord;
+export declare function assertValidFanInEvidenceSet(value: FanInEvidenceSetRecord | Record<string, unknown>): asserts value is FanInEvidenceSetRecord;
+export declare function buildFanInEvidenceSet(input: Omit<FanInEvidenceSetRecord, 'contract' | 'gateInputOnly'>): FanInEvidenceSetRecord;
+export declare function describeStageTeamActivation(profile: StageTeamLifecycleProfile): StageTeamActivationProfile;

package/packages/core/dist/execution/stage-team-runtime.js

@@ -0,0 +1,145 @@
+import { STAGE_TEAM_RUNTIME_CONTRACT_VERSION } from '../contracts.js';
+const FORBIDDEN_LIFECYCLE_FIELDS = new Set([
+    'stage_passed',
+    'stagePassed',
+    'task_completed',
+    'taskCompleted',
+    'truth_alignment_approved',
+    'truthAlignmentApproved',
+    'ship_ready',
+    'shipReady',
+    'final_pass',
+    'finalPass'
+]);
+export function assertValidStageRoleResult(value) {
+    const forbidden = firstForbiddenLifecycleField(value);
+    if (forbidden) {
+        throw new Error(`RoleResult cannot carry lifecycle transition field ${forbidden}.`);
+    }
+    const outputKind = value.outputKind;
+    if (!isStageRoleResultKind(outputKind)) {
+        throw new Error(`RoleResult outputKind must be one of evidence, review, gap, proposal, diagnostic, gate_assessment.`);
+    }
+    const authorityCeiling = value.authorityCeiling;
+    if (!isStageRoleAuthorityCeiling(authorityCeiling)) {
+        throw new Error(`RoleResult authorityCeiling is invalid.`);
+    }
+}
+export function assertAdvisoryAssessment(value) {
+    const forbidden = firstForbiddenLifecycleField(value);
+    if (forbidden) {
+        throw new Error(`LLM advisor assessment cannot carry lifecycle transition field ${forbidden}.`);
+    }
+    if (value.advisoryOnly !== true) {
+        throw new Error('LLM advisor assessment must be advisoryOnly=true.');
+    }
+    const validity = value.validity;
+    if (validity !== 'valid' && validity !== 'invalid') {
+        throw new Error('LLM advisor assessment validity must be valid or invalid.');
+    }
+    const confidence = value.confidence;
+    if (confidence !== 'low' && confidence !== 'medium' && confidence !== 'high') {
+        throw new Error('LLM advisor assessment confidence must be low, medium, or high.');
+    }
+}
+export function assertValidFanInEvidenceSet(value) {
+    const forbidden = firstForbiddenLifecycleField(value);
+    if (forbidden) {
+        throw new Error(`FanInEvidenceSet cannot carry lifecycle transition field ${forbidden}.`);
+    }
+    if (value.gateInputOnly !== true) {
+        throw new Error('FanInEvidenceSet must be gateInputOnly=true.');
+    }
+}
+export function buildFanInEvidenceSet(input) {
+    assertValidFanInEvidenceSet({ ...input, gateInputOnly: true });
+    return {
+        contract: STAGE_TEAM_RUNTIME_CONTRACT_VERSION,
+        ...input,
+        roleResultIds: sortedUnique(input.roleResultIds),
+        durableGapIds: sortedUnique(input.durableGapIds),
+        proposalRefs: sortedUnique(input.proposalRefs),
+        advisorAssessmentIds: sortedUnique(input.advisorAssessmentIds),
+        evidenceRefs: sortedUnique(input.evidenceRefs),
+        canonicalEvidenceRefs: sortedUnique(input.canonicalEvidenceRefs),
+        gateInputOnly: true
+    };
+}
+export function describeStageTeamActivation(profile) {
+    const roles = activationRoles(profile);
+    return {
+        contract: STAGE_TEAM_RUNTIME_CONTRACT_VERSION,
+        profile,
+        requiredTeam: profile !== 'direct',
+        roles,
+        reason: activationReason(profile)
+    };
+}
+function activationRoles(profile) {
+    switch (profile) {
+        case 'direct':
+            return [];
+        case 'compact':
+            return [activationRole('role.implementation-reviewer', true, false, 'Compact profile adds one independent reviewer for bounded risk.')];
+        case 'full':
+            return [
+                activationRole('role.norm-scout', true, true, 'Full profile checks project norms before stage output.'),
+                activationRole('role.implementation-reviewer', true, false, 'Full profile requires implementation or contract review.'),
+                activationRole('role.evidence-runner', true, false, 'Full profile requires evidence collection as gate input.')
+            ];
+        case 'research':
+            return [
+                activationRole('role.norm-scout', true, true, 'Research profile gathers external and project norm context.'),
+                activationRole('role.uncertainty-reviewer', true, true, 'Research profile records unresolved ambiguity as advisory input.'),
+                activationRole('role.performance-planner', false, true, 'Research profile can add performance/token planning when relevant.')
+            ];
+        case 'recover':
+            return [
+                activationRole('role.context-curator', true, true, 'Recover profile reconstructs trusted context.'),
+                activationRole('role.sync-risk-reviewer', true, false, 'Recover profile reviews shared-state/writeback risk.'),
+                activationRole('role.verification-designer', true, false, 'Recover profile rebuilds validation needs before retry.')
+            ];
+    }
+}
+function activationRole(roleId, required, advisory, reason) {
+    return { roleId, required, advisory, reason };
+}
+function activationReason(profile) {
+    switch (profile) {
+        case 'direct':
+            return 'Direct profile does not require team activation; deterministic checks and explicit artifacts remain sufficient.';
+        case 'compact':
+            return 'Compact profile activates a minimal independent role for moderate risk without slowing simple flows.';
+        case 'full':
+            return 'Full profile activates norm, review, and evidence roles for high-risk implementation paths.';
+        case 'research':
+            return 'Research profile activates context and uncertainty roles for decisions that need broader evidence.';
+        case 'recover':
+            return 'Recover profile activates context, sync-risk, and verification roles because prior workflow evidence is blocked or stale.';
+    }
+}
+function isStageRoleResultKind(value) {
+    return value === 'evidence' || value === 'review' || value === 'gap' || value === 'proposal' || value === 'diagnostic' || value === 'gate_assessment';
+}
+function isStageRoleAuthorityCeiling(value) {
+    return value === 'advisory_only' || value === 'evidence_input' || value === 'proposal_input' || value === 'gate_input';
+}
+function firstForbiddenLifecycleField(value) {
+    if (!value || typeof value !== 'object') {
+        return null;
+    }
+    for (const [key, child] of Object.entries(value)) {
+        if (FORBIDDEN_LIFECYCLE_FIELDS.has(key)) {
+            return key;
+        }
+        const nested = firstForbiddenLifecycleField(child);
+        if (nested) {
+            return nested;
+        }
+    }
+    return null;
+}
+function sortedUnique(values) {
+    return [...new Set(values.filter(Boolean))].sort();
+}
+//# sourceMappingURL=stage-team-runtime.js.map

package/packages/core/dist/execution/stage-team-runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stage-team-runtime.js","sourceRoot":"","sources":["../../src/execution/stage-team-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mCAAmC,EAAE,MAAM,iBAAiB,CAAC;AAoHtE,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IACzC,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,0BAA0B;IAC1B,wBAAwB;IACxB,YAAY;IACZ,WAAW;IACX,YAAY;IACZ,WAAW;CACZ,CAAC,CAAC;AAEH,MAAM,UAAU,0BAA0B,CAAC,KAAsD;IAC/F,MAAM,SAAS,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,sDAAsD,SAAS,GAAG,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,UAAU,GAAI,KAAkC,CAAC,UAAU,CAAC;IAClE,IAAI,CAAC,qBAAqB,CAAC,UAAU,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,oGAAoG,CAAC,CAAC;IACxH,CAAC;IACD,MAAM,gBAAgB,GAAI,KAAwC,CAAC,gBAAgB,CAAC;IACpF,IAAI,CAAC,2BAA2B,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAA2D;IAClG,MAAM,SAAS,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,kEAAkE,SAAS,GAAG,CAAC,CAAC;IAClG,CAAC;IACD,IAAK,KAAoC,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,QAAQ,GAAI,KAAgC,CAAC,QAAQ,CAAC;IAC5D,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,UAAU,GAAI,KAAkC,CAAC,UAAU,CAAC;IAClE,IAAI,UAAU,KAAK,KAAK,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IACrF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAAuD;IACjG,MAAM,SAAS,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,4DAA4D,SAAS,GAAG,CAAC,CAAC;IAC5F,CAAC;IACD,IAAK,KAAqC,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAiE;IACrG,2BAA2B,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,OAAO;QACL,QAAQ,EAAE,mCAAmC;QAC7C,GAAG,KAAK;QACR,aAAa,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC;QAChD,aAAa,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC;QAChD,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC;QAC9C,oBAAoB,EAAE,YAAY,CAAC,KAAK,CAAC,oBAAoB,CAAC;QAC9D,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC;QAC9C,qBAAqB,EAAE,YAAY,CAAC,KAAK,CAAC,qBAAqB,CAAC;QAChE,aAAa,EAAE,IAAI;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,OAAkC;IAC5E,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACvC,OAAO;QACL,QAAQ,EAAE,mCAAmC;QAC7C,OAAO;QACP,YAAY,EAAE,OAAO,KAAK,QAAQ;QAClC,KAAK;QACL,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,OAAkC;IACzD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,EAAE,CAAC;QACZ,KAAK,SAAS;YACZ,OAAO,CAAC,cAAc,CAAC,8BAA8B,EAAE,IAAI,EAAE,KAAK,EAAE,iEAAiE,CAAC,CAAC,CAAC;QAC1I,KAAK,MAAM;YACT,OAAO;gBACL,cAAc,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,wDAAwD,CAAC;gBACvG,cAAc,CAAC,8BAA8B,EAAE,IAAI,EAAE,KAAK,EAAE,0DAA0D,CAAC;gBACvH,cAAc,CAAC,sBAAsB,EAAE,IAAI,EAAE,KAAK,EAAE,0DAA0D,CAAC;aAChH,CAAC;QACJ,KAAK,UAAU;YACb,OAAO;gBACL,cAAc,CAAC,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,6DAA6D,CAAC;gBAC5G,cAAc,CAAC,2BAA2B,EAAE,IAAI,EAAE,IAAI,EAAE,kEAAkE,CAAC;gBAC3H,cAAc,CAAC,0BAA0B,EAAE,KAAK,EAAE,IAAI,EAAE,oEAAoE,CAAC;aAC9H,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,cAAc,CAAC,sBAAsB,EAAE,IAAI,EAAE,IAAI,EAAE,+CAA+C,CAAC;gBACnG,cAAc,CAAC,yBAAyB,EAAE,IAAI,EAAE,KAAK,EAAE,sDAAsD,CAAC;gBAC9G,cAAc,CAAC,4BAA4B,EAAE,IAAI,EAAE,KAAK,EAAE,yDAAyD,CAAC;aACrH,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,QAAiB,EAAE,QAAiB,EAAE,MAAc;IAC1F,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAkC;IAC1D,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,iHAAiH,CAAC;QAC3H,KAAK,SAAS;YACZ,OAAO,sGAAsG,CAAC;QAChH,KAAK,MAAM;YACT,OAAO,6FAA6F,CAAC;QACvG,KAAK,UAAU;YACb,OAAO,oGAAoG,CAAC;QAC9G,KAAK,SAAS;YACZ,OAAO,2HAA2H,CAAC;IACvI,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IAC3C,OAAO,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,YAAY,IAAI,KAAK,KAAK,iBAAiB,CAAC;AACxJ,CAAC;AAED,SAAS,2BAA2B,CAAC,KAAc;IACjD,OAAO,KAAK,KAAK,eAAe,IAAI,KAAK,KAAK,gBAAgB,IAAI,KAAK,KAAK,gBAAgB,IAAI,KAAK,KAAK,YAAY,CAAC;AACzH,CAAC;AAED,SAAS,4BAA4B,CAAC,KAAc;IAClD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;QAC5E,IAAI,0BAA0B,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,GAAG,CAAC;QACb,CAAC;QACD,MAAM,MAAM,GAAG,4BAA4B,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,MAAgB;IACpC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACrD,CAAC"}

package/packages/core/dist/governance/policy.d.ts

@@ -1,5 +1,5 @@
 import { GOVERNANCE_POLICY_CONTRACT_VERSION } from '../contracts.js';
-export type GovernancePolicyOperation = 'background_executor' | 'wave_executor' | 'sync_back_apply' | 'destructive_git' | 'external_interaction' | 'cleanup';
+export type GovernancePolicyOperation = 'background_executor' | 'wave_executor' | 'destructive_git' | 'external_interaction' | 'cleanup';
 export type GovernancePolicyDecisionStatus = 'allow' | 'block' | 'confirm';
 export interface GovernancePolicy {
     version: typeof GOVERNANCE_POLICY_CONTRACT_VERSION;

package/packages/core/dist/governance/policy.js

@@ -11,7 +11,7 @@ const BUILT_IN_GOVERNANCE_POLICY = {
         maxWaveExecutors: 1
     },
     manualConfirmation: {
-        operations: ['sync_back_apply', 'destructive_git', 'external_interaction', 'cleanup'],
+        operations: ['destructive_git', 'external_interaction', 'cleanup'],
         workerAdapters: ['manual-handoff-worker'],
         riskTags: ['database', 'security', 'permission', 'external', 'destructive-git', 'data-loss']
     },

package/packages/core/dist/governance/policy.js.map

@@ -1 +1 @@
-{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../src/governance/policy.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAyD7D,MAAM,0BAA0B,GAAqB;IACnD,OAAO,EAAE,kCAAkC;IAC3C,WAAW,EAAE;QACX,wBAAwB,EAAE,CAAC;QAC3B,gBAAgB,EAAE,CAAC;KACpB;IACD,kBAAkB,EAAE;QAClB,UAAU,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,SAAS,CAAC;QACrF,cAAc,EAAE,CAAC,uBAAuB,CAAC;QACzC,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,iBAAiB,EAAE,WAAW,CAAC;KAC7F;IACD,OAAO,EAAE;QACP,WAAW,EAAE,IAAI;QACjB,gBAAgB,EAAE,KAAK;KACxB;IACD,KAAK,EAAE;QACL,wBAAwB,EAAE,KAAK;QAC/B,wBAAwB,EAAE,CAAC;KAC5B;IACD,cAAc,EAAE,CAAC,8BAA8B,EAAE,2BAA2B,EAAE,4BAA4B,EAAE,qBAAqB,EAAE,2BAA2B,CAAC;IAC/J,KAAK,EAAE;QACL,cAAc,EAAE,CAAC,2BAA2B,EAAE,6BAA6B,CAAC;QAC5E,gBAAgB,EAAE,CAAC,gBAAgB,EAAE,WAAW,EAAE,iBAAiB,EAAE,QAAQ,CAAC;KAC/E;CACF,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,WAAmB;IAC/D,MAAM,2BAA2B,CAAC,WAAW,CAAC,CAAC;IAC/C,OAAO;QACL,GAAG,0BAA0B;QAC7B,WAAW,EAAE,EAAE,GAAG,0BAA0B,CAAC,WAAW,EAAE;QAC1D,kBAAkB,EAAE;YAClB,UAAU,EAAE,CAAC,GAAG,0BAA0B,CAAC,kBAAkB,CAAC,UAAU,CAAC;YACzE,cAAc,EAAE,CAAC,GAAG,0BAA0B,CAAC,kBAAkB,CAAC,cAAc,CAAC;YACjF,QAAQ,EAAE,CAAC,GAAG,0BAA0B,CAAC,kBAAkB,CAAC,QAAQ,CAAC;SACtE;QACD,OAAO,EAAE,EAAE,GAAG,0BAA0B,CAAC,OAAO,EAAE;QAClD,KAAK,EAAE,EAAE,GAAG,0BAA0B,CAAC,KAAK,EAAE;QAC9C,cAAc,EAAE,CAAC,GAAG,0BAA0B,CAAC,cAAc,CAAC;QAC9D,KAAK,EAAE;YACL,cAAc,EAAE,CAAC,GAAG,0BAA0B,CAAC,KAAK,CAAC,cAAc,CAAC;YACpE,gBAAgB,EAAE,CAAC,GAAG,0BAA0B,CAAC,KAAK,CAAC,gBAAgB,CAAC;SACzE;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,WAAmB,EAAE,KAAoC;IACtG,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAAC,WAAW,CAAC,CAAC;IAC1D,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,MAAM,wBAAwB,CAAC,WAAW,CAAC,CAAC;IAC1D,MAAM,kBAAkB,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC;IAClI,MAAM,oBAAoB,GAAG,CAAC,MAAM,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAElJ,IAAI,CAAC,KAAK,CAAC,SAAS,KAAK,qBAAqB,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,CAAC,IAAI,kBAAkB,IAAI,MAAM,CAAC,WAAW,CAAC,wBAAwB,EAAE,CAAC;QAC5J,MAAM,MAAM,GAAG,4BAA4B,kBAAkB,6BAA6B,MAAM,CAAC,WAAW,CAAC,wBAAwB,GAAG,CAAC;QACzI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,wBAAwB,EAAE,MAAM,EAAE,6IAA6I,CAAC,CAAC,CAAC;IAChN,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,IAAI,oBAAoB,IAAI,MAAM,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC;QACvG,MAAM,MAAM,GAAG,+BAA+B,oBAAoB,6BAA6B,MAAM,CAAC,WAAW,CAAC,gBAAgB,GAAG,CAAC;QACtI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,6BAA6B,EAAE,MAAM,EAAE,qGAAqG,CAAC,CAAC,CAAC;IAC7K,CAAC;IAED,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,IAAI,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACnE,mBAAmB,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,SAAS,kCAAkC,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,IAAI,MAAM,CAAC,kBAAkB,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;QACtG,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,eAAe,gCAAgC,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1G,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,mBAAmB,CAAC,IAAI,CAAC,qCAAqC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QACtD,OAAO,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,mBAAmB,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,yBAAyB,EAAE,MAAM,EAAE,2EAA2E,CAAC,CAAC,CAAC;QAC/I,CAAC;IACH,CAAC;IACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,qBAAqB,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,MAAM,GAAmC,MAAM,CAAC,MAAM,GAAG,CAAC;QAC9D,CAAC,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,yBAAyB,CAAC;YACpG,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,OAAO;QACX,CAAC,CAAC,OAAO,CAAC;IACZ,OAAO;QACL,OAAO,EAAE,kCAAkC;QAC3C,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM;QACN,OAAO,EAAE,MAAM,KAAK,OAAO;QAC3B,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,SAAS,mCAAmC,CAAC;QACzG,MAAM;QACN,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,OAAe,EAAE,cAAsB;IAC7E,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;AAC5C,CAAC;AAED,KAAK,UAAU,2BAA2B,CAAC,WAAmB;IAC5D,MAAM,UAAU,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/C,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;AACtC,CAAC"}
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../src/governance/policy.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAyD7D,MAAM,0BAA0B,GAAqB;IACnD,OAAO,EAAE,kCAAkC;IAC3C,WAAW,EAAE;QACX,wBAAwB,EAAE,CAAC;QAC3B,gBAAgB,EAAE,CAAC;KACpB;IACD,kBAAkB,EAAE;QAClB,UAAU,EAAE,CAAC,iBAAiB,EAAE,sBAAsB,EAAE,SAAS,CAAC;QAClE,cAAc,EAAE,CAAC,uBAAuB,CAAC;QACzC,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,iBAAiB,EAAE,WAAW,CAAC;KAC7F;IACD,OAAO,EAAE;QACP,WAAW,EAAE,IAAI;QACjB,gBAAgB,EAAE,KAAK;KACxB;IACD,KAAK,EAAE;QACL,wBAAwB,EAAE,KAAK;QAC/B,wBAAwB,EAAE,CAAC;KAC5B;IACD,cAAc,EAAE,CAAC,8BAA8B,EAAE,2BAA2B,EAAE,4BAA4B,EAAE,qBAAqB,EAAE,2BAA2B,CAAC;IAC/J,KAAK,EAAE;QACL,cAAc,EAAE,CAAC,2BAA2B,EAAE,6BAA6B,CAAC;QAC5E,gBAAgB,EAAE,CAAC,gBAAgB,EAAE,WAAW,EAAE,iBAAiB,EAAE,QAAQ,CAAC;KAC/E;CACF,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,WAAmB;IAC/D,MAAM,2BAA2B,CAAC,WAAW,CAAC,CAAC;IAC/C,OAAO;QACL,GAAG,0BAA0B;QAC7B,WAAW,EAAE,EAAE,GAAG,0BAA0B,CAAC,WAAW,EAAE;QAC1D,kBAAkB,EAAE;YAClB,UAAU,EAAE,CAAC,GAAG,0BAA0B,CAAC,kBAAkB,CAAC,UAAU,CAAC;YACzE,cAAc,EAAE,CAAC,GAAG,0BAA0B,CAAC,kBAAkB,CAAC,cAAc,CAAC;YACjF,QAAQ,EAAE,CAAC,GAAG,0BAA0B,CAAC,kBAAkB,CAAC,QAAQ,CAAC;SACtE;QACD,OAAO,EAAE,EAAE,GAAG,0BAA0B,CAAC,OAAO,EAAE;QAClD,KAAK,EAAE,EAAE,GAAG,0BAA0B,CAAC,KAAK,EAAE;QAC9C,cAAc,EAAE,CAAC,GAAG,0BAA0B,CAAC,cAAc,CAAC;QAC9D,KAAK,EAAE;YACL,cAAc,EAAE,CAAC,GAAG,0BAA0B,CAAC,KAAK,CAAC,cAAc,CAAC;YACpE,gBAAgB,EAAE,CAAC,GAAG,0BAA0B,CAAC,KAAK,CAAC,gBAAgB,CAAC;SACzE;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,WAAmB,EAAE,KAAoC;IACtG,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAAC,WAAW,CAAC,CAAC;IAC1D,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,MAAM,wBAAwB,CAAC,WAAW,CAAC,CAAC;IAC1D,MAAM,kBAAkB,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC;IAClI,MAAM,oBAAoB,GAAG,CAAC,MAAM,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAElJ,IAAI,CAAC,KAAK,CAAC,SAAS,KAAK,qBAAqB,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,CAAC,IAAI,kBAAkB,IAAI,MAAM,CAAC,WAAW,CAAC,wBAAwB,EAAE,CAAC;QAC5J,MAAM,MAAM,GAAG,4BAA4B,kBAAkB,6BAA6B,MAAM,CAAC,WAAW,CAAC,wBAAwB,GAAG,CAAC;QACzI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,wBAAwB,EAAE,MAAM,EAAE,6IAA6I,CAAC,CAAC,CAAC;IAChN,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,eAAe,IAAI,oBAAoB,IAAI,MAAM,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC;QACvG,MAAM,MAAM,GAAG,+BAA+B,oBAAoB,6BAA6B,MAAM,CAAC,WAAW,CAAC,gBAAgB,GAAG,CAAC;QACtI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,6BAA6B,EAAE,MAAM,EAAE,qGAAqG,CAAC,CAAC,CAAC;IAC7K,CAAC;IAED,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,IAAI,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACnE,mBAAmB,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,SAAS,kCAAkC,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,IAAI,MAAM,CAAC,kBAAkB,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;QACtG,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,eAAe,gCAAgC,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1G,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,mBAAmB,CAAC,IAAI,CAAC,qCAAqC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QACtD,OAAO,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,mBAAmB,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,yBAAyB,EAAE,MAAM,EAAE,2EAA2E,CAAC,CAAC,CAAC;QAC/I,CAAC;IACH,CAAC;IACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrD,OAAO,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,MAAM,qBAAqB,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,MAAM,GAAmC,MAAM,CAAC,MAAM,GAAG,CAAC;QAC9D,CAAC,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,yBAAyB,CAAC;YACpG,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,OAAO;QACX,CAAC,CAAC,OAAO,CAAC;IACZ,OAAO;QACL,OAAO,EAAE,kCAAkC;QAC3C,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM;QACN,OAAO,EAAE,MAAM,KAAK,OAAO;QAC3B,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,SAAS,mCAAmC,CAAC;QACzG,MAAM;QACN,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,OAAe,EAAE,cAAsB;IAC7E,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;AAC5C,CAAC;AAED,KAAK,UAAU,2BAA2B,CAAC,WAAmB;IAC5D,MAAM,UAAU,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/C,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;AACtC,CAAC"}

package/packages/core/dist/instructions.d.ts

@@ -1,5 +1,5 @@
 export declare const SDD_INSTRUCTIONS_CONTRACT = "sdd-instructions-v1";
-export type InstructionAction = 'overview' | 'init' | 'doctor' | 'update' | 'spec' | 'plan' | 'tasks' | 'verifies' | 'test' | 'do' | 'verify' | 'sync-back' | 'ship' | 'run-task' | 'verify-task';
+export type InstructionAction = 'overview' | 'init' | 'doctor' | 'update' | 'spec' | 'plan' | 'tasks' | 'verifies' | 'test' | 'do' | 'verify' | 'ship' | 'run-task' | 'verify-task';
 export interface SddInstructionPayload {
     contract: typeof SDD_INSTRUCTIONS_CONTRACT;
     version: string;

package/packages/core/dist/instructions.js

@@ -2,27 +2,27 @@ import { SDD_VERSION } from './ai-tools.js';
 export const SDD_INSTRUCTIONS_CONTRACT = 'sdd-instructions-v1';
 const INSTRUCTION_PAYLOADS = {
     overview: {
-        summary: 'Route natural-language SDD intent from branch/source status to task execution, agent evidence, partition-aware verification, explicit sync-back, and release readiness while keeping CLI/core output as source of truth.',
-        requiredCommands: ['sdd status', 'sdd lifecycle decide --from-text <text>', 'sdd doctor', 'sdd tasks inspect <task_id>', 'sdd do task <task_id>', 'sdd test task <task_id> --branch <branch>', 'sdd sync-back inspect [<run_id>] --branch <branch> --task <task_id>', 'sdd sync-back apply [<run_id>] --branch <branch> --task <task_id> [--approved]', 'sdd instructions ship --json'],
+        summary: 'Route natural-language SDD intent from branch/source status to task execution, agent evidence, strict verification-contract consumption, goal verification, truthAlignment, and release readiness while keeping CLI/core output as source of truth.',
+        requiredCommands: ['sdd status', 'sdd lifecycle decide --from-text <text>', 'sdd doctor', 'sdd tasks inspect <task_id>', 'sdd do task <task_id-or-task-text>', 'sdd test <validation_unit_id-or-validation_text> --branch <branch>', 'sdd test close --branch <branch> --target goal-verify --json', 'sdd ship close --branch <branch> --json', 'sdd instructions ship --json'],
         allowedSideEffects: ['read .sdd state', 'read specs documents', 'read generated AI entries'],
-        forbiddenSideEffects: ['background write', 'worktree creation', 'auto commit', 'force push', 'unapproved complex sync-back apply', 'publish or push release artifacts without explicit human confirmation'],
+        forbiddenSideEffects: ['background write', 'worktree creation', 'auto commit', 'force push', 'publish or push release artifacts without explicit human confirmation'],
         nextSteps: [
             'Treat /sdd as a natural-language intent router, then run sdd status first to see branch/source context and the recommended next command; report only workflow state, blocker/current task, and next action unless the user asks for full detail.',
             'Dynamic routing comes from CLI/core output; follow the recommended next command and do not infer dynamic state from generated markdown.',
-            'If intent remains ambiguous after status, ask one clarifying question before spec/plan/do/test/sync-back/ship work.',
-            'If status reports generated entry drift or missing config, run sdd doctor and sdd update before do/test/ship.',
-            'If status recommends a pending task, run sdd tasks inspect <task_id> and execute only the approved task boundary; scout/implementer/reviewer/validator participation should be recorded as artifacts rather than hidden in the main chat.',
-            'For test and sync-back, omit --run by default so CLI resolves the latest eligible run from partition + task id; pass --run only for replay, CI, or old-run inspection.',
-            'After /sdd:test PASS, use /sdd:sync-back or run sdd sync-back inspect --branch <branch> --task <task_id>; inspect must explain the target tasks.md update before direct apply or before asking for human approval.',
-            'For release readiness, use /sdd:ship or sdd ship --branch <branch> --dry-run; do not publish, push, tag, or create external release state without explicit human confirmation.'
+            'Use /sdd:tasks as the user-visible bundle for tasks -> verifies, and /sdd:test as the user-visible bundle for test -> goal-verify; do not invent separate slash entries for internal substages.',
+            'If intent remains ambiguous after status, ask one clarifying question before spec/plan/tasks/do/test/ship work.',
+            'If status reports generated entry drift, missing config, compatibility drift, or projection drift, run sdd doctor and follow its current-run repair or rebuild recommendation before normal do/test/ship.',
+            'If status recommends a pending task, run sdd tasks inspect <task_id> and execute only the approved task boundary; scout/implementer/reviewer/validator participation should be recorded as stage evidence rather than hidden in the main chat.',
+            'For test, bind user intent to an accepted verify.md validation unit with sdd test <validation_unit_id-or-validation_text>; use task/batch/wave subcommands only for explicit low-level diagnostics or narrowed overrides.',
+            'After test closure is accepted, continue through /sdd:test with sdd test close --target goal-verify so runtime can record truthAlignment before ship readiness.'
         ]
     },
     init: {
-        summary: 'Initialize .sdd project configuration and managed AI tool entries for the current repository; workflow partition documents are entered through /sdd:spec.',
-        requiredCommands: ['sdd init --ai claude-code', 'sdd status', '/sdd:spec', 'sdd doctor'],
-        allowedSideEffects: ['write .sdd/project.yml', 'write .sdd/runs', 'write managed generated AI entries'],
-        forbiddenSideEffects: ['create workflow partition documents unless explicitly using /sdd:spec or legacy --scaffold-docs', 'overwrite foreign AI entry files', 'background write', 'auto commit'],
-        nextSteps: ['Run sdd init --ai claude-code.', 'Run sdd status to inspect current Git branch partition state and the recommended next command.', 'Use /sdd:spec to create or refine specs/<partition>/spec.md; omitted --branch uses the current Git branch, explicit --branch uses the requested partition.', 'Run sdd doctor after initialization.']
+        summary: 'Initialize .sdd project configuration and managed AI tool entries for the current repository; workflow partition documents are entered through the spec stage, not init.',
+        requiredCommands: ['sdd init --ai claude-code', 'sdd status', 'sdd instructions spec --json', 'sdd doctor'],
+        allowedSideEffects: ['write .sdd/project.yml', 'initialize runtime.sqlite state', 'write managed generated AI entries'],
+        forbiddenSideEffects: ['create workflow partition documents unless explicitly using the spec stage or legacy --scaffold-docs', 'overwrite foreign AI entry files', 'background write', 'auto commit'],
+        nextSteps: ['Run sdd init --ai claude-code.', 'Run sdd status to inspect current Git branch partition state and the recommended next command.', 'Use the spec stage to create or refine specs/<partition>/spec.md; omitted --branch uses the current Git branch, explicit --branch uses the requested partition.', 'Run sdd doctor after initialization.']
     },
     doctor: {
         summary: 'Check project config, scoped runtime evidence, generated AI entry drift, and deterministic recover/reconcile guidance.',
@@ -46,74 +46,67 @@ const INSTRUCTION_PAYLOADS = {
         nextSteps: ['Resolve the workflow partition: omit --branch to use the current Git branch, or pass --branch <name> only when intentionally writing another partition.', 'Clarify user intent, objective/customer value, actors, scenarios, scope, and non-goals.', 'Run sdd lifecycle decide --from-text <text> when changes mention state-machine, concurrency, database, SQL, security, API/schema, CI/build, or external unknown risk.', 'Write acceptance criteria with stable IDs such as AC-1 and verification hints.', 'Record assumptions/dependencies, risks/hard gates, open questions, and lifecycle reference.', 'If this is a requirement change after plan/tasks/run work exists, update spec.md and let status expose stale downstream hashes before continuing.', 'Stop before technical design or implementation when requirement gaps remain.']
     },
     plan: {
-        summary: 'Refine specs/<partition>/plan.md as a deliverable technical solution document that bridges approved spec requirements into task-ready design and records based_on_spec_hash.',
-        requiredCommands: ['sdd status', 'read specs/<partition>/spec.md', 'read specs/<partition>/plan.md', 'write specs/<partition>/plan.md'],
-        allowedSideEffects: ['read project context', 'read spec document', 'write proposed or approved technical solution plan document'],
-        forbiddenSideEffects: ['implement code', 'silently advance to tasks', 'bypass unresolved spec gaps'],
-        nextSteps: ['Read the approved spec and acceptance criteria plus the current spec hash from sdd status.', 'Record based_on_spec_hash in plan.md so later /sdd:spec revisions can mark this plan stale.', 'Write plan.md as a technical solution document: background, goals/non-goals, current state, target design, architecture/component impact, interaction/sequence design, state/data design, API/schema design, concurrency/transaction/consistency design, key decisions, alternatives, risk control, rollout/rollback, validation matrix, and task breakdown rationale.', 'Use PlantUML diagrams when they clarify component impact, sequence/activity flow, state machines, or deployment/data relationships.', 'Apply risk-driven requirements: state-machine needs state design, concurrency needs sequence/activity and consistency design, database needs data/transaction/rollback design, api_schema needs interface/schema compatibility, security/sql needs risk control.', 'Stop with explicit plan gaps and tasks readiness.']
+        summary: 'Refine specs/<partition>/plan.md and .sdd/runs/<branch>/plan/*.md as agent-authored plan-stage evidence, then let runtime close validate refs/hashes/contracts into SQLite.',
+        requiredCommands: ['sdd status', 'read specs/<partition>/spec.md', 'write specs/<partition>/plan.md', 'write .sdd/runs/<branch>/plan/plan-review-vN.md', 'write .sdd/runs/<branch>/plan/plan-manager-vN.md', 'write .sdd/runs/<branch>/plan/plan-collaboration-contract-vN.md', 'sdd plan close --branch <branch> --json'],
+        allowedSideEffects: ['read project context', 'read spec document', 'write agent-authored plan-stage Markdown under specs/<branch>/ and .sdd/runs/<branch>/plan/'],
+        forbiddenSideEffects: ['runtime-authored Markdown artifacts', 'implement code', 'silently advance to tasks', 'bypass unresolved spec gaps'],
+        nextSteps: ['Read the approved spec and acceptance criteria plus the current normalized spec contract hash from sdd status.', 'Do not write based_on_* hash metadata into plan.md; accepted dependency edges belong to runtime close/accept projections.', 'Have planner/reviewer/plan-manager author plan-stage Markdown evidence under .sdd/runs/<branch>/plan/ including a StageCollaborationContract.', 'Run sdd plan close --branch <branch> --json; runtime must validate refs/frontmatter/contracts, compute hashes, and write only .sdd/runtime.sqlite.', 'Stop with explicit plan gaps and tasks readiness; do not let runtime create or repair Markdown.']
     },
     tasks: {
-        summary: 'Refine specs/<partition>/tasks.md as an executable evidence contract that maps spec acceptance and plan sections to task boundaries, agents, artifacts, validation, and Definition of Done.',
-        requiredCommands: ['sdd status', 'read specs/<partition>/spec.md', 'read specs/<partition>/plan.md', 'sdd tasks format', 'write specs/<partition>/tasks.md', 'sdd tasks list', 'sdd tasks gaps'],
-        allowedSideEffects: ['read spec and plan documents', 'write proposed or approved task execution/evidence contract'],
-        forbiddenSideEffects: ['implement code', 'execute dependency waves', 'silently advance to do', 'turn tasks.md into project-management backlog'],
-        nextSteps: ['Read approved spec acceptance IDs, approved plan design sections, and the current plan hash from sdd status.', 'Record based_on_plan_hash in tasks.md so later plan/spec revisions can mark these tasks stale.', 'Run sdd tasks format to get the canonical block format.', 'Map every task to acceptance_refs and plan_refs where applicable.', 'Keep #### Boundary, #### Acceptance, #### Definition of Done, #### Evidence Expectations, and #### Implementation Notes as companion sections outside the ```sdd-task fenced block; keep only metadata inside the fence.', 'For risky tasks, include allowed_agents, required_artifacts, verification_availability, and autonomy.', 'Run sdd tasks list and sdd tasks gaps.', 'Stop before do task when task boundary, acceptance refs, plan refs, or evidence requirements are unclear.']
+        summary: 'Use /sdd:tasks as the user-visible bundle for tasks -> verifies: refine specs/<partition>/tasks.md and .sdd/runs/<branch>/tasks/*.md first, then continue through the same bundle when runtime handoff targets verifies.',
+        requiredCommands: ['sdd status', 'read specs/<partition>/spec.md', 'read specs/<partition>/plan.md', 'sdd tasks format', 'write specs/<partition>/tasks.md', 'write .sdd/runs/<branch>/tasks/tasks-review-vN.md', 'write .sdd/runs/<branch>/tasks/tasks-manager-vN.md', 'write .sdd/runs/<branch>/tasks/tasks-collaboration-contract-vN.md', 'sdd tasks close --branch <branch> --json', 'write specs/<partition>/verify.md', 'write .sdd/runs/<branch>/verifies/verifies-review-vN.md', 'write .sdd/runs/<branch>/verifies/verifies-manager-vN.md', 'write .sdd/runs/<branch>/verifies/verifies-collaboration-contract-vN.md', 'sdd tasks close --branch <branch> --target verifies --json'],
+        allowedSideEffects: ['read spec and plan documents', 'write agent-authored tasks-stage Markdown under specs/<branch>/ and .sdd/runs/<branch>/tasks/', 'write agent-authored verifies-stage Markdown under specs/<branch>/ and .sdd/runs/<branch>/verifies/ after a runtime handoff to verifies'],
+        forbiddenSideEffects: ['runtime-authored Markdown artifacts', 'write verify.md before tasks close produces a fresh verifies handoff', 'implement code', 'execute dependency waves', 'run validation commands', 'silently advance to do', 'turn tasks.md into project-management backlog'],
+        nextSteps: ['Read approved spec acceptance IDs, approved plan design sections, and the current normalized plan contract hash from sdd status.', 'Do not write based_on_* hash metadata into tasks.md; accepted dependency edges belong to runtime close/accept projections.', 'Run sdd tasks format to get the canonical block format.', 'Map every task to acceptance_refs and plan_refs where applicable.', 'Declare change_surface, implementation_wave, validation_batch, validation_timing, requires_verify_before_next, evidence expectations, and review gates before freezing tasks.', 'Have task-planner/reviewer/tasks-manager author .sdd/runs/<branch>/tasks/*.md evidence including a StageCollaborationContract.', 'Run sdd tasks close --branch <branch> --json; runtime must validate refs/frontmatter/contracts, compute hashes, and write only .sdd/runtime.sqlite.', 'If runtime/status targets verifies inside the tasks bundle, have verification-designer/reviewer/verifies-manager author specs/<branch>/verify.md plus .sdd/runs/<branch>/verifies/*.md evidence.', 'Continue with sdd tasks close --branch <branch> --target verifies --json; runtime must validate verifies refs/contracts and return the next legal route.']
     },
     verifies: {
-        summary: 'Create or inspect specs/<partition>/verify.md as the task-derived verification contract before runtime evidence execution.',
-        requiredCommands: ['sdd status', 'sdd tasks list --branch <branch>', 'sdd verifies inspect --branch <branch>', 'sdd verifies write --branch <branch>'],
-        allowedSideEffects: ['read spec, plan, and tasks documents', 'write specs/<partition>/verify.md when explicitly using write'],
-        forbiddenSideEffects: ['run validation commands', 'update runtime.sqlite run state', 'create sync-back proposal', 'modify source files', 'auto commit'],
-        nextSteps: ['Run sdd status and confirm tasks.md is current.', 'Run sdd verifies inspect --branch <branch> to check whether verify.md exists and matches the current tasks hash.', 'Run sdd verifies write --branch <branch> to create verify.md, or add --force after reviewing task contract changes.', 'Use verify.md to guide validator evidence expectations; do not treat it as runtime evidence or as a replacement for /sdd:test.']
+        summary: 'Diagnostic/internal action for verifies-stage closure; normal users enter it through /sdd:tasks with target=verifies.',
+        requiredCommands: ['sdd status', 'read specs/<partition>/tasks.md', 'write specs/<partition>/verify.md', 'write .sdd/runs/<branch>/verifies/verifies-review-vN.md', 'write .sdd/runs/<branch>/verifies/verifies-manager-vN.md', 'write .sdd/runs/<branch>/verifies/verifies-collaboration-contract-vN.md', 'sdd tasks close --branch <branch> --target verifies --json'],
+        allowedSideEffects: ['read spec, plan, and tasks documents', 'write agent-authored verifies-stage Markdown under specs/<branch>/ and .sdd/runs/<branch>/verifies/'],
+        forbiddenSideEffects: ['runtime-authored Markdown artifacts', 'run validation commands', 'modify source files', 'auto commit'],
+        nextSteps: ['Run sdd status and confirm tasks.md is current.', 'Have verification-designer/reviewer/verifies-manager author verify.md plus .sdd/runs/<branch>/verifies/*.md evidence including a StageCollaborationContract.', 'Continue through sdd tasks close --branch <branch> --target verifies --json; runtime must validate refs/frontmatter/hashes/contracts and write only .sdd/runtime.sqlite.', 'Keep direct verifies-stage entry as diagnostic/recovery only, not the normal Phase 9 happy path.', 'Use accepted verify.md to guide later test evidence expectations; do not treat it as runtime-authored evidence.']
     },
     test: {
-        summary: 'Execute task validation commands from the verification contract boundary, capture command output, evaluate acceptance evidence coverage, and return one unified test judgment for the task.',
-        requiredCommands: ['sdd status', 'sdd verifies inspect --branch <branch>', 'sdd test task <task_id> --branch <branch>'],
-        allowedSideEffects: ['run declared validation commands', 'write branch-scoped test evidence artifacts', 'update runtime.sqlite test run and step records', 'write validator evidence artifact'],
-        forbiddenSideEffects: ['modify source files outside the validation command effects', 'create sync-back proposal', 'auto commit', 'publish or push', 'treat command success alone as semantic PASS'],
-        nextSteps: ['Run sdd status and resolve exactly one task id plus branch.', 'Run sdd verifies inspect --branch <branch> and refresh verify.md if stale before executing tests.', 'Run sdd test task <task_id> --branch <branch>; use --command only to override or narrow task validation commands deliberately.', 'Inspect the generated test index, validator artifact paths, and acceptance coverage summary.', 'If /sdd:test returns PASS, proceed to /sdd:sync-back or sdd sync-back inspect; if it returns FAIL or BLOCKED, fix the reported command/evidence gaps and rerun /sdd:test.']
+        summary: 'Use /sdd:test as the user-visible bundle for test -> goal-verify: bind validation intent to an accepted verify.md validation unit, close test-stage evidence, then continue through the same bundle so runtime records truthAlignment before ship.',
+        requiredCommands: ['sdd status', 'sdd instructions test --json', 'sdd test <validation_unit_id-or-validation_text> --branch <branch>', 'write .sdd/runs/<branch>/test/test-execution-vN.md', 'write .sdd/runs/<branch>/test/test-review-vN.md', 'write .sdd/runs/<branch>/test/test-manager-vN.md', 'write .sdd/runs/<branch>/test/test-collaboration-contract-vN.md', 'sdd test close --branch <branch> --json', 'write .sdd/runs/<branch>/goal-verify/goal-verification-vN.md', 'sdd test close --branch <branch> --target goal-verify --json'],
+        allowedSideEffects: ['run declared validation-unit commands', 'write agent-authored .sdd/runs/<branch>/test/*.md evidence', 'write agent-authored .sdd/runs/<branch>/goal-verify/*.md evidence after a runtime handoff to goal-verify', 'update runtime.sqlite validation and closure projections'],
+        forbiddenSideEffects: ['runtime-authored Markdown artifacts', 'modify source files outside validation command effects', 'author or refresh verify.md', 'auto commit', 'publish or push', 'treat command success alone as semantic PASS'],
+        nextSteps: ['Run sdd status and resolve the verify.md validation-unit boundary plus branch.', 'Confirm accepted verify.md exists for the selected branch; if missing or stale, return through the /sdd:tasks bundle with target=verifies.', 'Run the declared validation unit through sdd test <validation_unit_id-or-validation_text>; PASS command output stays in runtime read models by default, while failure/blocker diagnostics may retain scoped payload refs.', 'Use sdd test task|batch|wave only for explicit low-level diagnostics, replay, or narrowed override flags.', 'Have test-runner/reviewer/test-manager author .sdd/runs/<branch>/test/*.md evidence including a StageCollaborationContract.', 'Run sdd test close --branch <branch> --json; runtime validates evidence refs/contracts and writes only .sdd/runtime.sqlite.', 'If runtime/status targets goal-verify inside the test bundle, have goal-verifier/reviewer author .sdd/runs/<branch>/goal-verify/*.md evidence.', 'Continue with sdd test close --branch <branch> --target goal-verify --json; runtime records truthAlignment before ship readiness.']
     },
     do: {
-        summary: 'Execute one approved task boundary through the ingestion-aware SDD task workflow with explicit scout/implementer/reviewer/validator evidence handoff.',
-        requiredCommands: ['sdd status', 'sdd instructions do --json', 'sdd tasks inspect <task_id>', 'sdd artifact template artifacts/<agent>-<task_id>.md --task <task_id> --agent <agent>', 'sdd artifact validate <run_id> <artifact> --task <task_id> --agent <agent>', 'sdd do task <task_id>'],
-        allowedSideEffects: ['write branch-scoped .sdd/runs evidence artifacts', 'update runtime.sqlite run state', 'modify files within selected task boundary'],
-        forbiddenSideEffects: ['background write', 'worktree creation', 'auto commit', 'expand beyond selected task boundary without checkpoint', 'mark missing evidence as PASS'],
-        nextSteps: ['Run sdd status and resolve exactly one task id from the user request or recommended next command.', 'Run sdd instructions do --json and sdd tasks inspect <task_id>.', 'Restate only the task Boundary, blocking gaps, and validation commands before implementation.', 'Use scout for bounded context only, implementer for selected-boundary edits, reviewer for review evidence, and validator for validation plus acceptance mapping.', 'Use sdd artifact template examples for artifacts/implement-<task_id>.md, artifacts/review-<task_id>.md, and artifacts/validation-<task_id>.md before creating evidence; save physical files under branch evidence .sdd/runs/<branchSlug>/evidence/artifacts/, pass run-relative artifacts/<file> paths to CLI flags, and keep source/test files in ## Evidence, not in sdd-result.artifacts.', 'Run sdd artifact validate before passing artifacts into sdd do task <task_id>.', 'Run or coordinate implementation only within the selected task boundary.', 'Run sdd do task <task_id> with explicit artifact paths when evidence is available.', 'Report run id, final status, blocking gaps, and next gate; if completed, recommend /sdd:test / sdd test task <task_id> --branch <branch>.']
+        summary: 'Semantically bind /sdd:do or sdd do task input to one accepted task boundary, then run do-stage collaboration: implementer/reviewer/do-manager write .sdd/runs/<branch>/do/*.md evidence and runtime reconciles gate truth into SQLite.',
+        requiredCommands: ['sdd status', 'sdd instructions do --json', 'sdd tasks inspect <bound_task_id>', 'write/update source files within the bound task boundary', 'write .sdd/runs/<branch>/do/implementation-vN.md', 'write .sdd/runs/<branch>/do/code-review-vN.md', 'write .sdd/runs/<branch>/do/do-manager-vN.md', 'sdd do task <task_id-or-task-text> --branch <branch>'],
+        allowedSideEffects: ['modify files within selected task boundary', 'write agent-authored .sdd/runs/<branch>/do/*.md evidence files', 'update runtime.sqlite projections and run state'],
+        forbiddenSideEffects: ['runtime-authored Markdown artifacts', 'background write', 'worktree creation', 'auto commit', 'expand beyond selected task boundary without checkpoint', 'mark missing evidence as PASS'],
+        nextSteps: ['Run sdd status, then let CLI/core bind the user request or recommended next command to exactly one accepted task boundary; task id and accepted task title/text are equivalent when they bind to the same task.', 'If binding is ambiguous, missing, stale, or boundary-expanding, stop and follow the CLI nextAction instead of implementing.', 'Run sdd instructions do --json and sdd tasks inspect <bound_task_id>.', 'Restate only the bound task Boundary, blocking gaps, and validation commands before implementation.', 'Implement only within affected_files and capture changed file refs/hashes in .sdd/runs/<branch>/do/implementation-vN.md frontmatter.', 'Have code-reviewer write .sdd/runs/<branch>/do/code-review-vN.md against the implementation evidence hash, whether approved or blocked.', 'Have do-manager write .sdd/runs/<branch>/do/do-manager-vN.md as a closure request that references the reviewed implementation and review hash.', 'Run sdd do task <task_id-or-task-text> --branch <branch>; runtime must read .sdd/runs/<branch>/do/*.md, validate frontmatter/hash/review/manager closure, and write only SQLite projections/run state.', 'Report run id, final status, binding target, blocking gaps, accepted evidence refs, and next gate; for verification proceed to sdd test <validation_unit_id-or-validation_text> --branch <branch>.']
     },
     verify: {
-        summary: 'Run compatibility/diagnostic task acceptance coverage from reviewer/validator artifacts, resolving the latest eligible run from partition + task id unless --run is explicit; /sdd:test is the primary runtime gate.',
-        requiredCommands: ['sdd status', 'sdd instructions verify --json', 'sdd artifact template artifacts/validation-<task_id>.md --task <task_id> --agent validator', 'sdd artifact validate <run_id> <artifact> --task <task_id> --agent validator', 'sdd verify task <task_id> [--branch <branch>] [--run <run_id>]', 'sdd sync-back inspect [<run_id>] --branch <branch> --task <task_id>'],
-        allowedSideEffects: ['write acceptance coverage artifact', 'update runtime.sqlite run state', 'create sync-back proposal'],
-        forbiddenSideEffects: ['auto commit', 'force push', 'auto-fix failures', 'unapproved complex sync-back apply', 'mark completed with blocking validation gaps'],
-        nextSteps: ['Run sdd status and resolve exactly one task id plus workflow partition from the recommended command or user request.', 'Omit --run by default so CLI resolves the latest eligible run for partition + task id; pass --run only for explicit replay, CI, or old-run inspection.', 'Ensure the validator artifact includes exact Acceptance text, preferably under ## Acceptance Mapping from sdd artifact template.', 'Store artifacts physically under branch evidence .sdd/runs/<branchSlug>/evidence/artifacts/ but pass run-relative artifacts/<file> paths to validate/verify CLI flags.', 'Run sdd artifact validate before compatibility verify.', 'Run sdd instructions verify --json and sdd verify task <task_id> --branch <branch> only for explicit low-level diagnostics.', 'For the primary slash lifecycle, use /sdd:test; after /sdd:test PASS, use /sdd:sync-back or run sdd sync-back inspect --branch <branch> --task <task_id> before apply.', 'Report PASS/BLOCKED status, unresolved blockers, and next sync-back gate only; avoid pasting full acceptance coverage unless requested.']
-    },
-    'sync-back': {
-        summary: 'Inspect and optionally apply the verified task completion proposal back into specs/<partition>/tasks.md with an explicit target change summary.',
-        requiredCommands: ['sdd status', 'sdd instructions sync-back --json', 'sdd sync-back inspect [<run_id>] --branch <branch> --task <task_id>', 'sdd sync-back apply [<run_id>] --branch <branch> --task <task_id> [--approved]'],
-        allowedSideEffects: ['read runtime.sqlite run state', 'read sync-back proposal artifact', 'read specs/<partition>/tasks.md', 'write specs/<partition>/tasks.md only during apply', 'update run sync_back state only during apply'],
-        forbiddenSideEffects: ['auto commit', 'force push', 'apply without inspect', 'apply confirm-required proposals without human approval', 'change source files outside tasks.md'],
-        nextSteps: ['Run sdd status and resolve exactly one task id plus workflow partition from the recommended command or user request.', 'Run sdd sync-back inspect --branch <branch> --task <task_id> first; pass an explicit run id only for replay, CI, or old-run inspection.', 'Report the inspect target update before asking for approval: target tasks file, task id, markdown status transition, proposal path, evidence artifacts, apply_policy, and policy reasons.', 'If apply_policy=direct and status=ready, run sdd sync-back apply --branch <branch> --task <task_id>; if approval_required=true, ask for explicit confirmation and then add --approved.', 'Explain that apply writes the task block status to completed, appends the sync-back implementation note from the proposal/evidence, marks the run sync_back state applied, and rebuilds the local run index.', 'After apply, report the updated task id, tasks.md path, applied flag, and sync_back state.']
+        summary: 'Run low-level task acceptance coverage from runtime-selected reviewer/validator evidence; `sdd test <validation_unit_id-or-validation_text>` is the primary runtime gate.',
+        requiredCommands: ['sdd status', 'sdd instructions verify --json', 'sdd verify task <task_id> [--branch <branch>] [--run <run_id>]'],
+        allowedSideEffects: ['write acceptance coverage runtime evidence', 'update runtime.sqlite diagnostic verification state'],
+        forbiddenSideEffects: ['auto commit', 'force push', 'auto-fix failures', 'mark completed with blocking validation gaps'],
+        nextSteps: ['Run goal-level verify without --run for the latest eligible partition/task run, unless inspecting an explicit run.', 'Use sdd test <validation_unit_id-or-validation_text> for primary lifecycle judgment.']
     },
     ship: {
-        summary: 'Run local release readiness and optionally write specs/<branch>/release.md without publishing, pushing, tagging, or changing external release state.',
-        requiredCommands: ['sdd ship --branch <branch> --dry-run', 'sdd ship --branch <branch>', 'sdd statusline --branch <branch>', 'sdd doctor fast --branch <branch>', 'sdd update --check', 'npm run typecheck', 'npm test', 'npm run build', 'npm pack --dry-run --json', 'git status'],
-        allowedSideEffects: ['read project status', 'read SDD documents and run evidence', 'write specs/<branch>/release.md when not using --dry-run', 'run local validation commands'],
-        forbiddenSideEffects: ['npm publish', 'git push', 'git tag', 'create GitHub release', 'force push', 'auto commit', 'skip failed gates', 'treat historical doctor debt as a release blocker unless it affects current run evidence'],
-        nextSteps: ['Run sdd ship --branch <branch> --dry-run to inspect PASS/BLOCKED readiness without writing release docs.', 'If readiness output is acceptable, run sdd ship --branch <branch> to write specs/<branch>/release.md.', 'Use sdd statusline --branch <branch> for compact runtime/test/team/token/evidence health.', 'Run current-run health checks with sdd doctor fast --branch <branch>; use sdd doctor deep only for explicit historical audit.', 'Run npm run typecheck, npm test, npm run build, and npm pack --dry-run --json when preparing a real package release.', 'Report PASS/BLOCKED by readiness check, including exact failed commands and unresolved manual confirmations.', 'Stop before npm publish, git push, git tag, or external release creation unless the user explicitly approves that separate action.']
+        summary: 'Close ship readiness through agent-authored .sdd/runs/<branch>/ship/*.md evidence; optional release.md is ship-agent authored, not runtime-authored.',
+        requiredCommands: ['sdd status', 'sdd instructions ship --json', 'write .sdd/runs/<branch>/ship/ship-readiness-vN.md', 'write .sdd/runs/<branch>/ship/release-review-vN.md', 'write .sdd/runs/<branch>/ship/ship-manager-vN.md', 'write .sdd/runs/<branch>/ship/ship-collaboration-contract-vN.md', 'sdd ship close --branch <branch> --json', 'npm run build', 'npm pack --dry-run --json', 'git status'],
+        allowedSideEffects: ['read project status', 'read SDD documents and run evidence', 'write agent-authored .sdd/runs/<branch>/ship/*.md evidence', 'write optional agent-authored specs/<branch>/release.md', 'run local validation commands', 'record runtime ship projections in .sdd/runtime.sqlite'],
+        forbiddenSideEffects: ['runtime-authored Markdown artifacts', 'npm publish', 'git push', 'git tag', 'create GitHub release', 'force push', 'auto commit', 'skip failed gates', 'treat historical doctor debt as a release blocker unless it affects current run evidence'],
+        nextSteps: ['Run sdd status and confirm goal-verify has recorded aligned truthAlignment or validated reconciliation truth.', 'Have ship-manager/release agent author .sdd/runs/<branch>/ship/*.md evidence including a StageCollaborationContract; write specs/<branch>/release.md only as an explicit ship-agent artifact if needed.', 'Run sdd ship close --branch <branch> --json; runtime validates readiness refs/contracts/truthAlignment and writes only .sdd/runtime.sqlite.', 'Run package/build dry-run gates when preparing a real release.', 'Report PASS/BLOCKED by runtime ship readiness and local package checks.', 'Stop before npm publish, git push, git tag, or external release creation unless the user explicitly approves that separate action.']
     },
     'run-task': {
-        summary: 'Run the ingestion-aware task workflow using CLI/core runtime state and artifacts.',
-        requiredCommands: ['sdd tasks inspect <task_id>', 'sdd do task <task_id>'],
-        allowedSideEffects: ['write branch-scoped .sdd/runs evidence artifacts', 'update runtime.sqlite run state'],
-        forbiddenSideEffects: ['background write', 'worktree creation', 'auto commit'],
-        nextSteps: ['Inspect the task.', 'Run the task loop with explicit artifacts and validation evidence.']
+        summary: 'Compatibility entry for running one task through do-stage runtime closure.',
+        requiredCommands: ['sdd tasks inspect <task_id>', 'sdd do task <task_id> --branch <branch>'],
+        allowedSideEffects: ['write agent-authored .sdd/runs/<branch>/do/*.md evidence', 'update runtime.sqlite run state'],
+        forbiddenSideEffects: ['runtime-authored Markdown artifacts', 'background write', 'worktree creation', 'auto commit'],
+        nextSteps: ['Inspect the task.', 'Run do-stage closure through sdd do task with .sdd/runs/<branch>/do/*.md evidence.']
     },
     'verify-task': {
-        summary: 'Verify task acceptance coverage using CLI/core verifier artifacts and partition-aware run resolution.',
+        summary: 'Verify task acceptance coverage using runtime-selected evidence and partition-aware run resolution.',
         requiredCommands: ['sdd verify task <task_id> [--branch <branch>] [--run <run_id>]'],
-        allowedSideEffects: ['write acceptance coverage artifact', 'update .sdd run state'],
-        forbiddenSideEffects: ['auto commit', 'force push', 'unapproved complex sync-back'],
-        nextSteps: ['Run goal-level verify without --run for the latest eligible partition/task run, unless inspecting an explicit run.', 'Inspect sync-back proposal and follow apply_policy before applying any semantic document update.']
+        allowedSideEffects: ['write acceptance coverage runtime evidence', 'update .sdd run state'],
+        forbiddenSideEffects: ['auto commit', 'force push'],
+        nextSteps: ['Run goal-level verify without --run for the latest eligible partition/task run, unless inspecting an explicit run.', 'Use sdd test task for primary lifecycle judgment.']
     }
 };
 export function getSddInstructions(action) {
@@ -142,6 +135,6 @@ export function renderSddInstructions(payload) {
     ].join('\n');
 }
 function isInstructionAction(action) {
-    return action === 'overview' || action === 'init' || action === 'doctor' || action === 'update' || action === 'spec' || action === 'plan' || action === 'tasks' || action === 'verifies' || action === 'test' || action === 'do' || action === 'verify' || action === 'sync-back' || action === 'ship' || action === 'run-task' || action === 'verify-task';
+    return action === 'overview' || action === 'init' || action === 'doctor' || action === 'update' || action === 'spec' || action === 'plan' || action === 'tasks' || action === 'verifies' || action === 'test' || action === 'do' || action === 'verify' || action === 'ship' || action === 'run-task' || action === 'verify-task';
 }
 //# sourceMappingURL=instructions.js.map