jg-agent-hq 0.2.0 → 0.3.0

package/dist/contracts/types.d.ts

@@ -53,7 +53,7 @@ export declare const HqRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         }, z.core.$strict>;
         kind: z.ZodLiteral<"finalize">;
     }, z.core.$strict>, z.ZodObject<{
-        milestoneId: z.ZodUUID;
+        milestoneId: z.ZodNullable<z.ZodUUID>;
         checks: z.ZodArray<z.ZodObject<{
             command: z.ZodString;
             outcome: z.ZodLiteral<"passed">;
@@ -239,7 +239,7 @@ export declare const HqRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             breakdownDigest: z.ZodNullable<z.ZodString>;
         }, z.core.$strict>;
         authorizationId: z.ZodUUID;
-        milestoneId: z.ZodUUID;
+        milestoneId: z.ZodNullable<z.ZodUUID>;
         mode: z.ZodEnum<{
             supervised: "supervised";
             auto: "auto";
@@ -464,7 +464,7 @@ export declare const HqRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         plan: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodLiteral<"execution">;
             authorizationId: z.ZodUUID;
-            milestoneId: z.ZodUUID;
+            milestoneId: z.ZodNullable<z.ZodUUID>;
             mode: z.ZodEnum<{
                 supervised: "supervised";
                 auto: "auto";
@@ -483,7 +483,7 @@ export declare const HqRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"execution">;
                 authorizationId: z.ZodUUID;
-                milestoneId: z.ZodUUID;
+                milestoneId: z.ZodNullable<z.ZodUUID>;
                 mode: z.ZodEnum<{
                     supervised: "supervised";
                     auto: "auto";
@@ -797,7 +797,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         planDigest: z.ZodString;
                         breakdownDigest: z.ZodNullable<z.ZodString>;
                     }, z.core.$strict>;
-                    fileHash: z.ZodString;
+                    fileHash: z.ZodNullable<z.ZodString>;
                     createdAt: z.ZodNumber;
                 }, z.core.$strict>>;
                 planApproval: z.ZodNullable<z.ZodObject<{
@@ -1017,7 +1017,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         planDigest: z.ZodString;
                         breakdownDigest: z.ZodNullable<z.ZodString>;
                     }, z.core.$strict>;
-                    fileHash: z.ZodString;
+                    fileHash: z.ZodNullable<z.ZodString>;
                     createdAt: z.ZodNumber;
                 }, z.core.$strict>>;
                 planApproval: z.ZodNullable<z.ZodObject<{
@@ -1205,7 +1205,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                             reference: z.ZodString;
                         }, z.core.$strict>;
                     }, z.core.$strict>;
-                    milestoneId: z.ZodUUID;
+                    milestoneId: z.ZodNullable<z.ZodUUID>;
                     revision: z.ZodObject<{
                         planDigest: z.ZodString;
                         breakdownDigest: z.ZodNullable<z.ZodString>;
@@ -1213,7 +1213,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     contractDigest: z.ZodString;
                     title: z.ZodString;
                     contract: z.ZodString;
-                    sharedDigest: z.ZodString;
+                    sharedDigest: z.ZodNullable<z.ZodString>;
                     checkouts: z.ZodArray<z.ZodObject<{
                         repository: z.ZodString;
                         directory: z.ZodString;
@@ -1361,7 +1361,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         planDigest: z.ZodString;
                         breakdownDigest: z.ZodNullable<z.ZodString>;
                     }, z.core.$strict>;
-                    fileHash: z.ZodString;
+                    fileHash: z.ZodNullable<z.ZodString>;
                     createdAt: z.ZodNumber;
                 }, z.core.$strict>>;
                 planApproval: z.ZodNullable<z.ZodObject<{
@@ -1500,7 +1500,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 }, z.core.$strict>>;
             }, z.core.$strict>;
         }, z.core.$strip>;
-        content: z.ZodString;
+        content: z.ZodNullable<z.ZodString>;
     }, z.core.$strip>, z.ZodObject<{
         kind: z.ZodLiteral<"milestones">;
         result: z.ZodObject<{
@@ -1581,7 +1581,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                         kind: z.ZodLiteral<"execution">;
                         authorizationId: z.ZodUUID;
-                        milestoneId: z.ZodUUID;
+                        milestoneId: z.ZodNullable<z.ZodUUID>;
                         mode: z.ZodEnum<{
                             supervised: "supervised";
                             auto: "auto";
@@ -1714,7 +1714,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                         kind: z.ZodLiteral<"execution">;
                         authorizationId: z.ZodUUID;
-                        milestoneId: z.ZodUUID;
+                        milestoneId: z.ZodNullable<z.ZodUUID>;
                         mode: z.ZodEnum<{
                             supervised: "supervised";
                             auto: "auto";
@@ -2051,7 +2051,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"execution">;
                 authorizationId: z.ZodUUID;
-                milestoneId: z.ZodUUID;
+                milestoneId: z.ZodNullable<z.ZodUUID>;
                 mode: z.ZodEnum<{
                     supervised: "supervised";
                     auto: "auto";
@@ -2127,7 +2127,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
             scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"execution">;
                 authorizationId: z.ZodUUID;
-                milestoneId: z.ZodUUID;
+                milestoneId: z.ZodNullable<z.ZodUUID>;
                 mode: z.ZodEnum<{
                     supervised: "supervised";
                     auto: "auto";
@@ -2315,7 +2315,7 @@ export declare const HqResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                     kind: z.ZodLiteral<"execution">;
                     authorizationId: z.ZodUUID;
-                    milestoneId: z.ZodUUID;
+                    milestoneId: z.ZodNullable<z.ZodUUID>;
                     mode: z.ZodEnum<{
                         supervised: "supervised";
                         auto: "auto";
@@ -2496,7 +2496,7 @@ export declare const IpcRequestSchema: z.ZodObject<{
             }, z.core.$strict>;
             kind: z.ZodLiteral<"finalize">;
         }, z.core.$strict>, z.ZodObject<{
-            milestoneId: z.ZodUUID;
+            milestoneId: z.ZodNullable<z.ZodUUID>;
             checks: z.ZodArray<z.ZodObject<{
                 command: z.ZodString;
                 outcome: z.ZodLiteral<"passed">;
@@ -2682,7 +2682,7 @@ export declare const IpcRequestSchema: z.ZodObject<{
                 breakdownDigest: z.ZodNullable<z.ZodString>;
             }, z.core.$strict>;
             authorizationId: z.ZodUUID;
-            milestoneId: z.ZodUUID;
+            milestoneId: z.ZodNullable<z.ZodUUID>;
             mode: z.ZodEnum<{
                 supervised: "supervised";
                 auto: "auto";
@@ -2907,7 +2907,7 @@ export declare const IpcRequestSchema: z.ZodObject<{
             plan: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"execution">;
                 authorizationId: z.ZodUUID;
-                milestoneId: z.ZodUUID;
+                milestoneId: z.ZodNullable<z.ZodUUID>;
                 mode: z.ZodEnum<{
                     supervised: "supervised";
                     auto: "auto";
@@ -2926,7 +2926,7 @@ export declare const IpcRequestSchema: z.ZodObject<{
                 scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                     kind: z.ZodLiteral<"execution">;
                     authorizationId: z.ZodUUID;
-                    milestoneId: z.ZodUUID;
+                    milestoneId: z.ZodNullable<z.ZodUUID>;
                     mode: z.ZodEnum<{
                         supervised: "supervised";
                         auto: "auto";
@@ -3096,7 +3096,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                             planDigest: z.ZodString;
                             breakdownDigest: z.ZodNullable<z.ZodString>;
                         }, z.core.$strict>;
-                        fileHash: z.ZodString;
+                        fileHash: z.ZodNullable<z.ZodString>;
                         createdAt: z.ZodNumber;
                     }, z.core.$strict>>;
                     planApproval: z.ZodNullable<z.ZodObject<{
@@ -3316,7 +3316,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                             planDigest: z.ZodString;
                             breakdownDigest: z.ZodNullable<z.ZodString>;
                         }, z.core.$strict>;
-                        fileHash: z.ZodString;
+                        fileHash: z.ZodNullable<z.ZodString>;
                         createdAt: z.ZodNumber;
                     }, z.core.$strict>>;
                     planApproval: z.ZodNullable<z.ZodObject<{
@@ -3504,7 +3504,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                                 reference: z.ZodString;
                             }, z.core.$strict>;
                         }, z.core.$strict>;
-                        milestoneId: z.ZodUUID;
+                        milestoneId: z.ZodNullable<z.ZodUUID>;
                         revision: z.ZodObject<{
                             planDigest: z.ZodString;
                             breakdownDigest: z.ZodNullable<z.ZodString>;
@@ -3512,7 +3512,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         contractDigest: z.ZodString;
                         title: z.ZodString;
                         contract: z.ZodString;
-                        sharedDigest: z.ZodString;
+                        sharedDigest: z.ZodNullable<z.ZodString>;
                         checkouts: z.ZodArray<z.ZodObject<{
                             repository: z.ZodString;
                             directory: z.ZodString;
@@ -3660,7 +3660,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                             planDigest: z.ZodString;
                             breakdownDigest: z.ZodNullable<z.ZodString>;
                         }, z.core.$strict>;
-                        fileHash: z.ZodString;
+                        fileHash: z.ZodNullable<z.ZodString>;
                         createdAt: z.ZodNumber;
                     }, z.core.$strict>>;
                     planApproval: z.ZodNullable<z.ZodObject<{
@@ -3799,7 +3799,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     }, z.core.$strict>>;
                 }, z.core.$strict>;
             }, z.core.$strip>;
-            content: z.ZodString;
+            content: z.ZodNullable<z.ZodString>;
         }, z.core.$strip>, z.ZodObject<{
             kind: z.ZodLiteral<"milestones">;
             result: z.ZodObject<{
@@ -3880,7 +3880,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                             kind: z.ZodLiteral<"execution">;
                             authorizationId: z.ZodUUID;
-                            milestoneId: z.ZodUUID;
+                            milestoneId: z.ZodNullable<z.ZodUUID>;
                             mode: z.ZodEnum<{
                                 supervised: "supervised";
                                 auto: "auto";
@@ -4013,7 +4013,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                             kind: z.ZodLiteral<"execution">;
                             authorizationId: z.ZodUUID;
-                            milestoneId: z.ZodUUID;
+                            milestoneId: z.ZodNullable<z.ZodUUID>;
                             mode: z.ZodEnum<{
                                 supervised: "supervised";
                                 auto: "auto";
@@ -4350,7 +4350,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                     kind: z.ZodLiteral<"execution">;
                     authorizationId: z.ZodUUID;
-                    milestoneId: z.ZodUUID;
+                    milestoneId: z.ZodNullable<z.ZodUUID>;
                     mode: z.ZodEnum<{
                         supervised: "supervised";
                         auto: "auto";
@@ -4426,7 +4426,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                     kind: z.ZodLiteral<"execution">;
                     authorizationId: z.ZodUUID;
-                    milestoneId: z.ZodUUID;
+                    milestoneId: z.ZodNullable<z.ZodUUID>;
                     mode: z.ZodEnum<{
                         supervised: "supervised";
                         auto: "auto";
@@ -4614,7 +4614,7 @@ export declare const IpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                         kind: z.ZodLiteral<"execution">;
                         authorizationId: z.ZodUUID;
-                        milestoneId: z.ZodUUID;
+                        milestoneId: z.ZodNullable<z.ZodUUID>;
                         mode: z.ZodEnum<{
                             supervised: "supervised";
                             auto: "auto";

package/dist/handoffs/types.d.ts

@@ -19,7 +19,7 @@ export declare const HandoffRecordSchema: z.ZodObject<{
             scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"execution">;
                 authorizationId: z.ZodUUID;
-                milestoneId: z.ZodUUID;
+                milestoneId: z.ZodNullable<z.ZodUUID>;
                 mode: z.ZodEnum<{
                     supervised: "supervised";
                     auto: "auto";
@@ -155,7 +155,7 @@ export declare const HandoffRecordSchema: z.ZodObject<{
         plan: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodLiteral<"execution">;
             authorizationId: z.ZodUUID;
-            milestoneId: z.ZodUUID;
+            milestoneId: z.ZodNullable<z.ZodUUID>;
             mode: z.ZodEnum<{
                 supervised: "supervised";
                 auto: "auto";
@@ -174,7 +174,7 @@ export declare const HandoffRecordSchema: z.ZodObject<{
             scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"execution">;
                 authorizationId: z.ZodUUID;
-                milestoneId: z.ZodUUID;
+                milestoneId: z.ZodNullable<z.ZodUUID>;
                 mode: z.ZodEnum<{
                     supervised: "supervised";
                     auto: "auto";
@@ -333,7 +333,7 @@ export declare const HandoffDispatchSchema: z.ZodObject<{
         plan: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
             kind: z.ZodLiteral<"execution">;
             authorizationId: z.ZodUUID;
-            milestoneId: z.ZodUUID;
+            milestoneId: z.ZodNullable<z.ZodUUID>;
             mode: z.ZodEnum<{
                 supervised: "supervised";
                 auto: "auto";
@@ -352,7 +352,7 @@ export declare const HandoffDispatchSchema: z.ZodObject<{
             scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"execution">;
                 authorizationId: z.ZodUUID;
-                milestoneId: z.ZodUUID;
+                milestoneId: z.ZodNullable<z.ZodUUID>;
                 mode: z.ZodEnum<{
                     supervised: "supervised";
                     auto: "auto";
@@ -404,7 +404,7 @@ export declare const HandoffPageSchema: z.ZodObject<{
                 scope: z.ZodNullable<z.ZodDiscriminatedUnion<[z.ZodObject<{
                     kind: z.ZodLiteral<"execution">;
                     authorizationId: z.ZodUUID;
-                    milestoneId: z.ZodUUID;
+                    milestoneId: z.ZodNullable<z.ZodUUID>;
                     mode: z.ZodEnum<{
                         supervised: "supervised";
                         auto: "auto";

package/dist/plans/admission.d.ts

@@ -48,7 +48,7 @@ export declare const createPlanAdmission: (coordinationRoot: string, store: ISto
                 scope: {
                     kind: "execution";
                     authorizationId: string;
-                    milestoneId: string;
+                    milestoneId: string | null;
                     mode: "supervised" | "auto";
                     revision: {
                         planDigest: string;
@@ -129,7 +129,7 @@ export declare const createPlanAdmission: (coordinationRoot: string, store: ISto
                 scope: {
                     kind: "execution";
                     authorizationId: string;
-                    milestoneId: string;
+                    milestoneId: string | null;
                     mode: "supervised" | "auto";
                     revision: {
                         planDigest: string;

package/dist/plans/admission.js

@@ -1,7 +1,7 @@
 import { Exception } from 'error-message-utils';
 import { getErrorKind } from '../errors/index.js';
 import { withHqLock } from '../locks/index.js';
-import { describePlan } from './authority.js';
+import { canExecutePlanUnit, describePlan } from './authority.js';
 import { isSamePlanRevision } from './utilities.js';
 const conflict = () => {
     throw new Exception('The HQ action conflicts with its recorded state', undefined, {
@@ -29,10 +29,9 @@ export const createPlanAdmission = (coordinationRoot, store, runtimeEpoch, readP
                 execution.revokedBy ||
                 execution.action.id !== scope.authorizationId ||
                 execution.mode !== scope.mode ||
-                !execution.milestoneIds.includes(scope.milestoneId) ||
+                !canExecutePlanUnit(artifacts, scope.milestoneId) ||
                 !isSamePlanRevision(execution.revision, scope.revision) ||
                 !isSamePlanRevision(scope.revision, artifacts.revision) ||
-                !status.isSequenceApproved ||
                 status.state === 'blocked' ||
                 (artifacts.coordination.revision && artifacts.coordination.revision.phase !== 'finished') ||
                 artifacts.coordination.observedConflict)
@@ -112,6 +111,13 @@ export const createPlanAdmission = (coordinationRoot, store, runtimeEpoch, readP
                             conflict();
                     }
                 }
+                // explicit assessment keeps its revision guard without inheriting implementation authority
+                const isFeedbackAssessment = !!action.expectedPlan &&
+                    (command.kind === 'message' || command.kind === 'queue') &&
+                    command.input.kind === 'skill' &&
+                    prepared.skill?.name === 'jg-feedback';
+                // current-turn permission replies and labels do not start another implementation unit
+                const isSeparateNativeControl = command.kind === 'native-reply' || command.kind === 'thread-rename';
                 if (action.plan) {
                     if (!['message', 'queue', 'steer', 'thread-resume', 'thread-recover'].includes(command.kind) ||
                         !threadId)
@@ -149,8 +155,22 @@ export const createPlanAdmission = (coordinationRoot, store, runtimeEpoch, readP
                     }
                     prepared.planContext = selected.context;
                 }
+                else if (command.kind === 'queue-send' && queued?.planContext) {
+                    const context = queued.planContext;
+                    if (context.scope) {
+                        const current = await scopeContext(context.scope);
+                        if (!isSamePlanRevision(context.observedRevision, current.artifacts.revision) &&
+                            context.scope.kind === 'execution')
+                            conflict();
+                    }
+                    else
+                        await boundArtifacts(context);
+                    prepared.planContext = context;
+                }
                 else if (binding && !safe) {
-                    if (command.kind === 'native-reply' && binding.scope?.kind === 'planning') {
+                    if (binding.scope &&
+                        !isFeedbackAssessment &&
+                        !(binding.scope.kind === 'execution' && isSeparateNativeControl)) {
                         prepared.planContext = (await scopeContext(binding.scope)).context;
                     }
                     else {
@@ -162,18 +182,6 @@ export const createPlanAdmission = (coordinationRoot, store, runtimeEpoch, readP
                         };
                     }
                 }
-                if (command.kind === 'queue-send' && queued?.planContext) {
-                    const context = queued.planContext;
-                    if (context.scope) {
-                        const current = await scopeContext(context.scope);
-                        if (!isSamePlanRevision(context.observedRevision, current.artifacts.revision) &&
-                            context.scope.kind === 'execution')
-                            conflict();
-                    }
-                    else
-                        await boundArtifacts(context);
-                    prepared.planContext = context;
-                }
                 return store.admit({ action, prepared });
             });
         },

package/dist/plans/authority.d.ts

@@ -2,6 +2,12 @@ import type { IPlanCommand, IPlanStatus, IPlanCoordination } from '../contracts/
 import type { IPlanArtifacts } from './types.js';
 /** Derives approval independently from native sessions and native permission requests. */
 export declare const describePlan: (artifacts: IPlanArtifacts, pendingActionId?: string | null) => IPlanStatus;
+/**
+ * Checks the current approved unfinished unit, with null identifying an undivided plan.
+ * Runtime epoch, action identity and mode remain the caller's separate admission checks.
+ * @returns Whether the exact unit is selected by current execution authority.
+ */
+export declare const canExecutePlanUnit: (artifacts: IPlanArtifacts, milestoneId: string | null) => boolean;
 /**
  * Applies one explicit operator decision without native dispatch or filesystem mutation.
  * @returns Updated current authority records.

package/dist/plans/authority.js

@@ -12,9 +12,7 @@ export const describePlan = (artifacts, pendingActionId = null) => {
     const isPlanApproved = !!coordination.planApproval &&
         !coordination.planApproval.revokedBy &&
         coordination.planApproval.revision.planDigest === revision.planDigest;
-    const isFinalized = !!coordination.finalized &&
-        revision.breakdownDigest !== null &&
-        isSamePlanRevision(coordination.finalized.revision, revision);
+    const isFinalized = !!coordination.finalized && isSamePlanRevision(coordination.finalized.revision, revision);
     const isSequenceApproved = isPlanApproved &&
         isFinalized &&
         !!coordination.sequenceApproval &&
@@ -22,6 +20,12 @@ export const describePlan = (artifacts, pendingActionId = null) => {
         isSamePlanRevision(coordination.sequenceApproval.revision, revision);
     const verified = createCompletionLookup(coordination.completions, coordination.correspondences);
     const workflow = coordination.revision;
+    const invalidated = new Set(coordination.correspondences.flatMap((record) => record.invalidatedReceiptIds));
+    const isWholePlanComplete = artifacts.milestones === null &&
+        coordination.completions.some((receipt) => receipt.milestoneId === null &&
+            receipt.contractDigest === revision.planDigest &&
+            receipt.revision.breakdownDigest === null &&
+            !invalidated.has(receipt.id));
     const state = coordination.observedConflict ||
         pendingActionId ||
         workflow?.phase === 'blocked' ||
@@ -38,10 +42,11 @@ export const describePlan = (artifacts, pendingActionId = null) => {
                 ? 'plan-approval-required'
                 : !isFinalized
                     ? 'breakdown-required'
-                    : !isSequenceApproved
+                    : artifacts.milestones !== null && !isSequenceApproved
                         ? 'sequence-approval-required'
-                        : artifacts.parsed.length > 0 &&
-                            artifacts.parsed.every((milestone) => milestone.status === 'done' && verified(milestone))
+                        : isWholePlanComplete ||
+                            (artifacts.parsed.length > 0 &&
+                                artifacts.parsed.every((milestone) => milestone.status === 'done' && verified(milestone)))
                             ? 'completed'
                             : artifacts.parsed.some((milestone) => milestone.status === 'in progress')
                                 ? 'in-progress'
@@ -89,6 +94,26 @@ export const describePlan = (artifacts, pendingActionId = null) => {
         },
     };
 };
+/**
+ * Checks the current approved unfinished unit, with null identifying an undivided plan.
+ * Runtime epoch, action identity and mode remain the caller's separate admission checks.
+ * @returns Whether the exact unit is selected by current execution authority.
+ */
+export const canExecutePlanUnit = (artifacts, milestoneId) => {
+    const status = describePlan(artifacts);
+    const execution = artifacts.coordination.execution;
+    if (!execution ||
+        !status.isPlanApproved ||
+        !status.isFinalized ||
+        ['blocked', 'completed', 'revising'].includes(status.state))
+        return false;
+    return artifacts.milestones === null
+        ? milestoneId === null && execution.milestoneIds.length === 0
+        : status.isSequenceApproved &&
+            milestoneId !== null &&
+            execution.milestoneIds.includes(milestoneId) &&
+            artifacts.parsed.some((milestone) => milestone.id === milestoneId && milestone.status !== 'done');
+};
 /** Revocation records operator provenance without granting any replacement authority. */
 const revokeExecution = (coordination, action) => {
     if (coordination.execution)
@@ -104,7 +129,8 @@ export const updatePlanAuthority = (artifacts, command, runtimeEpoch) => {
     const coordination = structuredClone(artifacts.coordination);
     if (command.kind === 'approve') {
         const status = describePlan(artifacts);
-        if (command.scope === 'sequence' && (!status.isFinalized || !status.isPlanApproved))
+        if (command.scope === 'sequence' &&
+            (artifacts.milestones === null || !status.isFinalized || !status.isPlanApproved))
             conflict();
         const presentation = command.scope === 'plan' ? artifacts.hashes.plan : artifacts.hashes.milestones;
         if (presentation !== command.presentationHash)
@@ -139,7 +165,12 @@ export const updatePlanAuthority = (artifacts, command, runtimeEpoch) => {
             coordination.revision.phase !== 'finished')
             conflict();
         if (status.state === 'blocked' ||
-            !status.isSequenceApproved ||
+            status.state === 'completed' ||
+            !status.isPlanApproved ||
+            !status.isFinalized ||
+            (artifacts.milestones === null
+                ? command.milestoneIds.length !== 0
+                : !status.isSequenceApproved || command.milestoneIds.length === 0) ||
             command.milestoneIds.some((id) => !artifacts.parsed.some((milestone) => milestone.id === id && milestone.status !== 'done')))
             conflict();
         if (coordination.revision)

package/dist/plans/finalization.d.ts

@@ -8,6 +8,6 @@ import type { IPlanArtifacts } from './types.js';
  * - -1: The HQ plan is invalid
  */
 export declare const finalizeInitialSequence: (artifacts: IPlanArtifacts) => {
-    content: string;
+    content: string | null;
     revision: IPlanRevision;
 };

package/dist/plans/finalization.js

@@ -14,10 +14,11 @@ const conflict = () => {
  * - -1: The HQ plan is invalid
  */
 export const finalizeInitialSequence = (artifacts) => {
-    if (artifacts.milestones === null ||
-        (artifacts.coordination.finalized &&
-            !isSamePlanRevision(artifacts.coordination.finalized.revision, artifacts.revision)))
+    if (artifacts.coordination.finalized &&
+        !isSamePlanRevision(artifacts.coordination.finalized.revision, artifacts.revision))
         conflict();
+    if (artifacts.milestones === null)
+        return { content: null, revision: artifacts.revision };
     let milestones = artifacts.milestones.replace(/\r\n?/g, '\n');
     // insertion offsets are applied backwards so original positions stay valid
     for (const milestone of [...artifacts.parsed].reverse())

package/dist/plans/plans.d.ts

@@ -116,7 +116,7 @@ export declare const createPlans: (coordinationRoot: string, roots: string[], st
      * - -1: HQ lock ownership changed before release
      */
     checkpoint(target: IPlanCommand["target"], revisionId: string, phaseActionId: string): Promise<void>;
-    admitNative(action: import("../contracts/index.js").IActionEnvelope, prepared: import("../store/control/types.js").IAdmission["prepared"]): Promise<{
+    admitNative(action: import("../contracts/index.js").IActionEnvelope, prepared: import("../store/control/types.ts").IAdmission["prepared"]): Promise<{
         receipt: {
             id: string;
             digest: string;
@@ -134,7 +134,7 @@ export declare const createPlans: (coordinationRoot: string, roots: string[], st
                 scope: {
                     kind: "execution";
                     authorizationId: string;
-                    milestoneId: string;
+                    milestoneId: string | null;
                     mode: "supervised" | "auto";
                     revision: {
                         planDigest: string;
@@ -192,7 +192,7 @@ export declare const createPlans: (coordinationRoot: string, roots: string[], st
                 scope: {
                     kind: "execution";
                     authorizationId: string;
-                    milestoneId: string;
+                    milestoneId: string | null;
                     mode: "supervised" | "auto";
                     revision: {
                         planDigest: string;

package/dist/plans/plans.js

@@ -4,7 +4,7 @@ import { PlanMilestoneSchema, } from '../contracts/index.js';
 import { getErrorKind } from '../errors/index.js';
 import { withHqLock } from '../locks/index.js';
 import { resolveWorkspaceTarget } from '../runtime/state/index.js';
-import { describePlan, updatePlanAuthority } from './authority.js';
+import { canExecutePlanUnit, describePlan, updatePlanAuthority } from './authority.js';
 import { createPlanAdmission } from './admission.js';
 import { readPlanPage } from './projections.js';
 import { finalizeInitialSequence } from './finalization.js';
@@ -340,16 +340,14 @@ export const createPlans = (coordinationRoot, roots, store, runtimeEpoch, parseC
                     const execution = artifacts.coordination.execution;
                     if (pendingActionId ||
                         status.state === 'blocked' ||
-                        !status.isSequenceApproved ||
                         !execution ||
                         execution.runtimeEpoch !== runtimeEpoch ||
                         execution.revokedBy ||
                         execution.action.id !== command.authorizationId ||
                         execution.mode !== command.mode ||
-                        !execution.milestoneIds.includes(command.milestoneId) ||
+                        !canExecutePlanUnit(artifacts, command.milestoneId) ||
                         !isSamePlanRevision(command.expected, artifacts.revision) ||
-                        !isSamePlanRevision(execution.revision, artifacts.revision) ||
-                        !artifacts.parsed.some((milestone) => milestone.id === command.milestoneId && milestone.status !== 'done'))
+                        !isSamePlanRevision(execution.revision, artifacts.revision))
                         conflict();
                     return {
                         kind: 'execution-check',
@@ -367,9 +365,7 @@ export const createPlans = (coordinationRoot, roots, store, runtimeEpoch, parseC
                     await apply(previous);
                     artifacts = await readPlanArtifacts(command.target, roots, parseContract);
                     const current = describeCurrent(artifacts, await store.getPendingPlanOperationId(artifacts.directory));
-                    return command.kind === 'finalize' &&
-                        current.isFinalized &&
-                        artifacts.milestones !== null
+                    return command.kind === 'finalize' && current.isFinalized
                         ? { kind: 'finalized', result: current, content: artifacts.milestones }
                         : { kind: 'status', result: current };
                 }
@@ -449,7 +445,7 @@ export const createPlans = (coordinationRoot, roots, store, runtimeEpoch, parseC
                             conflict();
                         if ((await store.getPlanThreads(artifacts.directory)).length)
                             conflict();
-                        if (!workflow.checkpoint?.isQuiescent || artifacts.milestones === null)
+                        if (!workflow.checkpoint?.isQuiescent)
                             conflict();
                         const proposal = workflow.proposal ?? proposeReconciliation(artifacts, command.action);
                         if (proposal.inspectionHash !== artifacts.hashes.milestones ||
@@ -475,7 +471,9 @@ export const createPlans = (coordinationRoot, roots, store, runtimeEpoch, parseC
                             }
                             else if (command.confirmation)
                                 conflict();
-                            const content = renderReconciledSequence(artifacts.milestones, drafts);
+                            const content = artifacts.milestones === null
+                                ? null
+                                : renderReconciledSequence(artifacts.milestones, drafts);
                             const revision = computePlanRevision({
                                 ...artifacts.contract,
                                 milestones: content,
@@ -498,7 +496,7 @@ export const createPlans = (coordinationRoot, roots, store, runtimeEpoch, parseC
                         coordination.finalized = {
                             action: command.action,
                             revision: finalized.revision,
-                            fileHash: hashPlanContent(milestones),
+                            fileHash: milestones === null ? null : hashPlanContent(milestones),
                             createdAt: Date.now(),
                         };
                         coordination.baseline = refreshPlanBaseline(artifacts, milestones, finalized.revision);