@sublang/playbook 5.0.0 → 6.0.0

package/reference/sdlc/code.md

@@ -1,105 +1,63 @@
 <!-- SPDX-License-Identifier: Apache-2.0 -->
 <!-- SPDX-FileCopyrightText: 2026 SubLang International <https://sublang.ai> -->
+<!-- AI agents: do not edit this file without human approval. -->
 
 # Code
 
 Players:
 
 - Coder
-- Reviewer
-- Committer = Coder | Reviewer
-
-## Coder
-
-When Boss gives a coding intent, Captain shall relay it to Coder along with the following prompt:
-> Assess whether this can be completed in a single commit, following best practices.
-> If yes, implement and test, updating both code and specs; otherwise, decompose into tasks as a new IR under @specs/intents (or @specs/iterations in older scaffolds) and stop without implementing any IR task.
-> For context discovery, @specs/map.md indexes all spec files and @specs/meta.md describes the spec format.
-> Ensure @specs/map.md reflects the changes.
-> Do not commit.
-The resulting changes are regarded as Initial Changes.
-
-When Reviewer raises any findings, Captain shall relay them to Coder along with the following prompt:
-> For each review item below for the above changes, challenge or accept it, with strong reasoning, solid evidence, and comprehensive thinking.
-> Stage all current changes that belong in the repo before making any edits, and leave your edits unstaged/untracked.
-
-When a new IR or IR task passes review and is committed, Captain shall prompt Coder:
-> Continue to implement IR-<#> if not all deliverables and tasks are done.
-> Implement one task at a time (including corresponding tests if any).
-> Stop after each task for review — do not commit yet.
-> If relevant, mark progress in the IR.
-The resulting changes are regarded as Initial Changes.
-
-When an IR is done, Captain shall prompt Coder:
-> Read IR-<#> and corresponding commits.
-> According to @specs/meta.md, add or update spec items to fully capture:
->
-> - the external behavior users rely on,
-> - the internal system behavior, and
-> - the integration/system test cases.
->
-> The spec items should be the *minimal* set needed to reimplement code without the IR.
-> The set should be complete and coherent.
-> Avoid implementation specifics.
-> Avoid redundant spec items.
-> Ensure @specs/map.md reflects the changes.
-
-## Reviewer
-
-For each finding in a review round, Coder either addresses it with changes or challenges it with a rebuttal.
-Any code change to address findings starts a new round of review, even if some findings are also rebutted.
-Rounds continue until Reviewer raises no findings.
-
-Spec item files are the files under @specs/ that hold spec items — @specs/packages/ and @specs/compositions/ in the current layout, or @specs/user/, @specs/dev/, and @specs/test/ in the legacy one; decision and intent records (iteration records in older scaffolds), @specs/map.md, and @specs/meta.md are not spec item files.
-
-When Reviewer begins the first review round on changes from a Boss coding intent, Captain shall relay the intent to Reviewer.
-
-When Reviewer begins the first review round on changes from an IR task, Captain shall relay the IR's task description to Reviewer.
-
-When Committer commits Initial Changes, Captain shall prompt Reviewer to begin a review round:
-> Review the latest commit.
-> Refer to the commit message.
-
-When any changes are made by Coder but not reviewed (outside of any Initial Changes), Captain shall prompt Reviewer to begin a review round:
-> Review the unstaged and untracked changes in the context of the staged changes.
-> Understand the intent.
-
-When Reviewer begins a review round involving spec item files, Captain shall prompt Reviewer:
-> Verify any affected spec items are:
->
-> - Complete & coherent: sufficient for you to reimplement code.
-> - Right level: external behavior users rely on or internal system behavior (organized per @specs/meta.md), not implementation specifics; integration/system testing, not unit testing.
-> - Minimal: essential and concise; every item earns its place; also check with other items.
-> - Well organized: spec packages are finely scoped, with high cohesion and low coupling.
->
-> Flag anything missing, redundant, over-specified, or under-specified.
-
-When Reviewer begins a review round involving any changes outside spec item files, Captain shall prompt Reviewer:
-> Flag any issues or improvements (numbered; no duplication).
-> Think thoroughly — don't just approve or reject.
-
-When Reviewer begins any review round, Captain shall prompt Reviewer:
-> For context discovery, @specs/map.md indexes all spec files and @specs/meta.md describes the spec format.
-> Verify @specs/map.md reflects the changes.
-> If the change is ready to commit or push, don't raise nitpicks.
-> Do not edit files or commit; report findings only.
-
-When Coder raises any rebuttals, Captain shall relay them to Reviewer along with the following prompt:
-> For each rebuttal below, challenge or accept it, with strong reasoning, solid evidence, and comprehensive thinking.
-> Do not edit files or commit; report findings only.
-
-## Committer
-
-When Coder makes any Initial Changes or Reviewer raises no findings on uncommitted changes, Captain shall prompt Committer:
-> Make a commit of the changes that belong in the repo, following @specs/packages/git.md (reread if necessary).
-> If that spec is absent, follow the legacy @specs/dev/git.md; if neither exists, follow the repository's existing commit conventions and do not search elsewhere.
-> Write the commit message concisely.
-
-When Captain prompts Committer and only Coder has played since the last commit, Captain shall also append:
-> Coder is \<coder-llm\>.
-
-When Captain prompts Committer and both Coder and Reviewer have played since the last commit, Captain shall also append:
-> Coder is \<coder-llm\>; Reviewer is \<reviewer-llm\>.
-
-When Captain prompts Committer, Captain shall also append:
-> Format the `Co-authored-by` `<model>` token as the conventional human form of the substituted id (e.g., `claude-opus-4-7` → `Claude-Opus-4.7`, `gpt-5.5` → `GPT-5.5`).
+
+The caller supplies the coding intent including any specific context.
+
+A coding intent follows either one direct implementation phase or an IR sequence consisting of a new-IR phase and one phase for each IR task.
+Each phase ends with one new Coder commit (owned by `code`).
+After each `code`-owned commit, Captain shall call the `review` playbook and wait until it passes with no unsettled findings.
+Playbook `review` owns every review round and every review-fix commit.
+Do not amend any reviewed commit.
+
+When `review` passes a direct implementation phase, `code` is complete.
+When `review` passes a new IR or a nonfinal IR-task phase, Captain shall continue with the next unfinished IR-task phase.
+When `review` passes the final IR-task phase, `code` is complete.
+When `review` returns an authored abort or failure, or a terminal result that does not prove exact approval, `code` shall start no further phase and shall report the failure and the last `code`-owned commit to its caller.
+When the nested `review` call fails outside that authored result contract, `code` shall park as failed and retain the control-plane error instead of reporting an authored review outcome.
+
+At the start of the first phase, Captain shall relay to Coder the complete caller input and any relevant run results in quotes (`>`), along with the following instruction:
+
+```markdown
+Assess whether the coding intent can be completed well in one commit.
+If yes, implement and test it, update the affected specs, and ensure @specs/map.md remains accurate.
+Otherwise, decompose it into tasks sized to exactly one commit each, add a new IR under @specs/intents, and do not implement any IR task in this phase.
+Plan affected spec updates before, with, or after their corresponding code changes, either as standalone IR tasks or as explicit work within related tasks.
+
+Consult @specs/map.md for relevant context and @specs/meta.md for spec requirements, if needed.
+```
+
+At the start of every IR-task phase, Captain shall relay to Coder the exact next task and any relevant run results in quotes (`>`), along with the following instruction:
+
+```markdown
+Read IR-<#> and implement exactly the next unfinished task, including corresponding tests or specs if any.
+Do not implement a later task in this phase.
+Mark the IR's progress and deliverables when relevant.
+If the IR will be finished after this phase, double-check that all acceptance criteria are met.
+```
+
+At the start of *every* phase, Captain shall append the following instruction:
+
+```markdown
+Do not re-run tests or builds whose inputs have not changed since any previous reported run.
+Make the phase's minimal changes and then one new commit, following @specs/packages/git.md; never amend an existing commit.
+Make the commit message explain concisely what changed and why, including relevant verification.
+Report it as exactly one final-response line beginning `Commit: `, followed only by the exact commit identity.
+Coder is <coder-llm>; format the model token in conventional human form.
+```
+
+After the first phase (either direct implementation or a new-IR phase), Captain shall call playbook `review` and input the following in quotes (`>`):
+
+> Initial intent: \<caller-input\>
+> Coder output: \<coder-output\>
+
+After every IR-task phase, Captain shall call playbook `review` and input the following in quotes (`>`):
+
+> IR task: \<ir-task\>
+> Coder output: \<coder-output\>

package/reference/sdlc/code.playbook/code.fsm.d.ts

@@ -1,112 +1,247 @@
-type Player = 'Coder' | 'Reviewer' | 'Committer';
-type JumpableStateId = 'ready' | 'planAndImplement' | 'respondToReview' | 'continueIr' | 'summarizeSpecs' | 'reviewBossCommitSpecs' | 'reviewBossCommitCode' | 'reviewBossCommitMixed' | 'reviewIrTaskCommitSpecs' | 'reviewIrTaskCommitCode' | 'reviewIrTaskCommitMixed' | 'reviewChangesSpecs' | 'reviewChangesCode' | 'reviewChangesMixed' | 'reviewChangesAndChallengesSpecs' | 'reviewChangesAndChallengesCode' | 'reviewChangesAndChallengesMixed' | 'adjudicateChallenges' | 'commitCoderInitial' | 'commitJoint' | 'failed';
-type WorkflowKind = 'singleCommit' | 'iteration' | 'specSummary';
-type ChangeOrigin = 'bossIntent' | 'irTask';
-type ReviewSubject = 'commit' | 'changes';
-type AfterReview = 'continueIr' | 'summarizeSpecs' | 'done';
-type ResumableStateId = Exclude<JumpableStateId, 'ready' | 'failed'>;
-type PendingBossQuestion = {
-    questionId: ResumableStateId;
-    resumeStateId: ResumableStateId;
-    sourceItem: string;
-    player: Player;
-    question: string;
+export type JsonValue = null | boolean | number | string | readonly JsonValue[] | {
+    readonly [key: string]: JsonValue;
 };
-export type CaptainInput = {
-    stateId: ResumableStateId;
-    sourceItem: string;
-    prompt: string;
-    result: Record<string, string>;
-    intent?: string;
-    irNumber?: string;
-    taskDescription?: string;
-    reviews?: string;
-    challenges?: string;
-    coderPlayer?: string;
-    reviewerPlayer?: string;
-    committerPlayer?: string;
-    pendingBossQuestion?: PendingBossQuestion;
-    bossReply?: string;
+export type CodeStateId = 'runFirstPhase' | 'reviewFirstCommit' | 'runIrTask' | 'reviewIrTask';
+export type CodeSourceItem = 'CODE-1' | 'CODE-2' | 'CODE-3' | 'CODE-4';
+export type CodePhase = 'direct' | 'ir-created' | 'ir-task-more' | 'ir-task-final';
+export type PendingBossQuestion = {
+    readonly questionId: 'runFirstPhase' | 'runIrTask';
+    readonly resumeStateId: 'runFirstPhase' | 'runIrTask';
+    readonly sourceItem: 'CODE-1' | 'CODE-3';
+    readonly player: 'Coder';
+    readonly question: string;
 };
-export type PlayerInput = CaptainInput & {
-    player: Player;
+export type PlayerInput = {
+    readonly stateId: 'runFirstPhase' | 'runIrTask';
+    readonly player: 'Coder';
+    readonly sourceItem: 'CODE-1' | 'CODE-3';
+    readonly prompt: string;
+    readonly result: Readonly<Record<string, string>>;
+    readonly callerInput: string;
+    readonly runResults: string;
+    readonly coderPlayer: string;
+    readonly irNumber?: string;
+    readonly irTask?: string;
+    readonly pendingBossQuestion?: PendingBossQuestion;
+    readonly bossReply?: string;
 };
-export type CaptainOutput = {
-    guard: string;
-    irNumber?: string;
-    taskDescription?: string;
-    reviews?: string;
-    challenges?: string;
-    summary?: string;
-    question?: string;
-    [k: string]: unknown;
+export type PlayerOutput = {
+    readonly guard: 'directCommit';
+    readonly coderOutput: string;
+    readonly latestCommit: string;
+} | {
+    readonly guard: 'irCommit';
+    readonly coderOutput: string;
+    readonly latestCommit: string;
+    readonly irNumber: string;
+    readonly irTask: string;
+} | {
+    readonly guard: 'moreTasks';
+    readonly coderOutput: string;
+    readonly latestCommit: string;
+    readonly irTask: string;
+} | {
+    readonly guard: 'finalTask';
+    readonly coderOutput: string;
+    readonly latestCommit: string;
+} | {
+    readonly guard: 'needsBossReply';
+    readonly question: string;
+};
+export type PlaybookInput = {
+    readonly stateId: 'reviewFirstCommit' | 'reviewIrTask';
+    readonly sourceItem: 'CODE-2' | 'CODE-4';
+    readonly playbookId: 'review';
+    readonly text: string;
+};
+export type ReviewOutput = {
+    readonly approvedCommit: 'latest';
+    readonly noUnsettledFindings: true;
+};
+export type CompactError = {
+    readonly name: string;
+    readonly message: string;
+};
+export type CodePlaybookOutput = {
+    readonly status: 'complete';
+    /** Exact identity of the latest CODE-owned commit. */
+    readonly lastCodeCommit: string;
+    /** Exact Coder final text produced after that commit. */
+    readonly lastCodeOutput: string;
+} | {
+    readonly status: 'review-failed';
+    /** Exact identity of the latest CODE-owned commit. */
+    readonly lastCodeCommit: string;
+    /** Exact Coder final text produced after that commit. */
+    readonly lastCodeOutput: string;
+    readonly error: CompactError;
 };
-export type PlayerOutput = CaptainOutput;
 export type CodingInput = {
-    intent?: string;
-    irNumber?: string;
-    coderPlayer?: string;
-    reviewerPlayer?: string;
-    committerPlayer?: string;
+    readonly coderPlayer?: string;
+    readonly runResults?: string;
 };
-export type CodingContext = CodingInput & {
-    workflow?: WorkflowKind;
-    changeOrigin?: ChangeOrigin;
-    reviewSubject?: ReviewSubject;
-    afterReview?: AfterReview;
-    taskDescription?: string;
-    reviews?: string;
-    challenges?: string;
-    lastResult?: CaptainOutput;
-    lastError?: unknown;
-    pendingBossQuestion?: PendingBossQuestion;
-    bossReply?: string;
+export type CodingContext = {
+    readonly coderPlayer: string;
+    readonly runResults: string;
+    readonly callerInput?: string;
+    readonly coderOutput?: string;
+    readonly latestCommit?: string;
+    readonly irNumber?: string;
+    readonly irTask?: string;
+    readonly nextIrTask?: string;
+    readonly phase?: CodePhase;
+    readonly completion?: 'complete' | 'review-failed';
+    readonly reviewError?: CompactError;
+    readonly lastError?: unknown;
+    readonly pendingBossQuestion?: PendingBossQuestion;
+    readonly bossReply?: string;
 };
 export type CodingEvent = {
-    type: 'START_CODING';
-    intent: string;
+    readonly type: 'START_CODE';
+    readonly callerInput: string;
+} | {
+    readonly type: 'BOSS_REPLY';
+    readonly answer: string;
+    readonly questionId?: 'runFirstPhase' | 'runIrTask';
+};
+export declare const codingMachine: import("xstate").StateMachine<CodingContext, {
+    readonly type: "START_CODE";
+    readonly callerInput: string;
 } | {
-    type: 'CONTINUE_IR';
-    irNumber: string;
+    readonly type: "BOSS_REPLY";
+    readonly answer: string;
+    readonly questionId?: "runFirstPhase" | "runIrTask";
+}, {
+    [x: string]: import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<JsonValue | undefined, PlaybookInput, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<PlayerOutput, PlayerInput, import("xstate").EventObject>> | undefined;
+}, {
+    src: "playbook";
+    logic: import("xstate").PromiseActorLogic<JsonValue | undefined, PlaybookInput, import("xstate").EventObject>;
+    id: string | undefined;
 } | {
-    type: 'SUMMARIZE_IR';
-    irNumber: string;
+    src: "player";
+    logic: import("xstate").PromiseActorLogic<PlayerOutput, PlayerInput, import("xstate").EventObject>;
+    id: string | undefined;
+}, {
+    type: "rememberActorError";
+    params: import("xstate").NonReducibleUnknown;
 } | {
-    type: 'BOSS_INTERRUPT';
-    targetId: JumpableStateId;
-    intent?: string;
-    irNumber?: string;
+    type: "startCoding";
+    params: import("xstate").NonReducibleUnknown;
 } | {
-    type: 'BOSS_REPLY';
-    answer: string;
-    questionId?: ResumableStateId;
-};
-export declare const codingMachine: import("xstate").StateMachine<CodingContext, {
-    type: "START_CODING";
-    intent: string;
+    type: "rememberDirectCommit";
+    params: import("xstate").NonReducibleUnknown;
 } | {
-    type: "CONTINUE_IR";
-    irNumber: string;
+    type: "rememberIrCommit";
+    params: import("xstate").NonReducibleUnknown;
 } | {
-    type: "SUMMARIZE_IR";
-    irNumber: string;
+    type: "rememberMoreTasks";
+    params: import("xstate").NonReducibleUnknown;
 } | {
-    type: "BOSS_INTERRUPT";
-    targetId: JumpableStateId;
-    intent?: string;
-    irNumber?: string;
+    type: "rememberFinalTask";
+    params: import("xstate").NonReducibleUnknown;
 } | {
-    type: "BOSS_REPLY";
-    answer: string;
-    questionId?: ResumableStateId;
-}, {
-    [x: string]: import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<CaptainOutput, PlayerInput, import("xstate").EventObject>> | undefined;
+    type: "advanceToNextIrTask";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "rememberPendingQuestion";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "rememberBossReply";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "rememberEmptyBossReplyError";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "completeSuccessfully";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "completeWithReviewFailure";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "completeWithInvalidReviewOutput";
+    params: import("xstate").NonReducibleUnknown;
+} | {
+    type: "rememberMalformedPlayerOutput";
+    params: import("xstate").NonReducibleUnknown;
 }, {
-    src: "player";
-    logic: import("xstate").PromiseActorLogic<CaptainOutput, PlayerInput, import("xstate").EventObject>;
-    id: string | undefined;
-}, never, never, never, {}, string, CodingInput, import("xstate").NonReducibleUnknown, import("xstate").EventObject, import("xstate").MetaObject, {
-    states?: {} | undefined;
-    id?: string | undefined | undefined;
+    type: "needsBossReply";
+    params: unknown;
+} | {
+    type: "isDirectCommit";
+    params: unknown;
+} | {
+    type: "isIrCommit";
+    params: unknown;
+} | {
+    type: "isMoreTasks";
+    params: unknown;
+} | {
+    type: "isFinalTask";
+    params: unknown;
+} | {
+    type: "authoredReviewFailure";
+    params: unknown;
+} | {
+    type: "reviewApprovedDirect";
+    params: unknown;
+} | {
+    type: "reviewApprovedIrCreated";
+    params: unknown;
+} | {
+    type: "reviewApprovedMoreTasks";
+    params: unknown;
+} | {
+    type: "reviewApprovedFinalTask";
+    params: unknown;
+} | {
+    type: "emptyBossReply";
+    params: unknown;
+} | {
+    type: "resumesFirstPhase";
+    params: unknown;
+} | {
+    type: "resumesIrTask";
+    params: unknown;
+}, never, "done" | "failed" | "awaitBossReply" | "ready" | "runFirstPhase" | "reviewFirstCommit" | "runIrTask" | "reviewIrTask", string, CodingInput, {
+    readonly status: "complete";
+    /** Exact identity of the latest CODE-owned commit. */
+    readonly lastCodeCommit: string;
+    /** Exact Coder final text produced after that commit. */
+    readonly lastCodeOutput: string;
+} | {
+    readonly status: "review-failed";
+    /** Exact identity of the latest CODE-owned commit. */
+    readonly lastCodeCommit: string;
+    /** Exact Coder final text produced after that commit. */
+    readonly lastCodeOutput: string;
+    readonly error: CompactError;
+}, import("xstate").EventObject, import("xstate").MetaObject, {
+    id: "code";
+    states: {
+        readonly ready: {
+            id: "ready";
+        };
+        readonly runFirstPhase: {
+            id: "runFirstPhase";
+        };
+        readonly reviewFirstCommit: {
+            id: "reviewFirstCommit";
+        };
+        readonly runIrTask: {
+            id: "runIrTask";
+        };
+        readonly reviewIrTask: {
+            id: "reviewIrTask";
+        };
+        readonly awaitBossReply: {
+            id: "awaitBossReply";
+        };
+        readonly failed: {
+            id: "failed";
+        };
+        readonly done: {
+            id: "done";
+        };
+    };
 }>;
-export {};
+export default codingMachine;

package/reference/sdlc/code.playbook/code.fsm.introspect.d.ts

@@ -1,54 +1,36 @@
-import type { CodingContext, PlayerInput, codingMachine } from './code.fsm.js';
-export interface CaptainStateInfo {
-    readonly stateId: string;
-    readonly sourceItem: string;
-    readonly getInput: (context: Partial<CodingContext>) => PlayerInput;
-    readonly transitions: ReadonlyArray<CaptainTransition>;
-}
-export interface CaptainTransition {
+import type { CodingContext, PlaybookInput, PlayerInput, codingMachine } from './code.fsm.js';
+export type TransitionGuard = (args: {
+    context: CodingContext;
+    event: unknown;
+}) => boolean;
+export interface InvokingTransition {
     readonly index: number;
     readonly target: string;
-    readonly guard: TransitionGuard;
+    readonly guard?: TransitionGuard;
     readonly actions: unknown;
 }
-export interface AwaitBossReplyInfo {
+export interface PlayerStateInfo {
     readonly stateId: string;
-    readonly bossReplyTransitions: ReadonlyArray<BossReplyTransition>;
-    readonly transitions: ReadonlyArray<AwaitBossReplyTransition>;
+    readonly sourceItem: string;
+    readonly getInput: (context: CodingContext) => PlayerInput;
+    readonly transitions: readonly InvokingTransition[];
 }
-export interface BossReplyTransition {
-    readonly index: number;
-    readonly target: string;
-    readonly guard: TransitionGuard;
-    readonly actions: unknown;
+export interface NestedPlaybookStateInfo {
+    readonly stateId: string;
+    readonly sourceItem: string;
+    readonly getInput: (context: CodingContext) => PlaybookInput;
+    readonly transitions: readonly InvokingTransition[];
 }
-export interface AwaitBossReplyTransition {
-    readonly eventType: string;
-    readonly index: number;
-    readonly target: string;
-    readonly guard: TransitionGuard;
-    readonly actions: unknown;
+export interface AwaitBossReplyInfo {
+    readonly stateId: 'awaitBossReply';
+    readonly bossReplyTransitions: readonly InvokingTransition[];
 }
-export type TransitionGuard = (args: {
-    context: CodingContext;
-    event: unknown;
-}) => boolean;
-export interface RootEventTable {
-    readonly startCoding: {
-        readonly target: string;
-    };
-    readonly continueIr: {
-        readonly target: string;
-    };
-    readonly summarizeIr: {
+export declare function enumeratePlayerStates(machine: typeof codingMachine): readonly PlayerStateInfo[];
+export declare const enumerateCaptainStates: typeof enumeratePlayerStates;
+export declare function enumerateNestedPlaybookStates(machine: typeof codingMachine): readonly NestedPlaybookStateInfo[];
+export declare function enumerateAwaitBossReply(machine: typeof codingMachine): AwaitBossReplyInfo;
+export declare function enumerateRootEvents(machine: typeof codingMachine): {
+    readonly startCode: {
         readonly target: string;
     };
-    readonly bossInterruptTargets: ReadonlyArray<string>;
-    readonly bossInterruptTargetDescriptions: ReadonlyArray<{
-        readonly stateId: string;
-        readonly description: string;
-    }>;
-}
-export declare function enumerateCaptainStates(machine: typeof codingMachine): readonly CaptainStateInfo[];
-export declare function enumerateRootEvents(machine: typeof codingMachine): RootEventTable;
-export declare function enumerateAwaitBossReply(machine: typeof codingMachine): AwaitBossReplyInfo;
+};