@blogic-cz/agent-tools 1.12.0 → 1.13.0

package/README.md

@@ -385,6 +385,7 @@ bun gh-tool pr rerun-checks --pr 123 --failed-only --watch --timeout 600
 bun gh-tool pr trigger-checks --pr 123 --workflow dotnet-pull-request.yml # only when zero checks reported
 bun gh-tool pr watch --prs 123,124 --format jsonl --timeout 600
 bun gh-tool pr edit-comment --comment-id 456 --body-file correction.md # Edit your own review comment
+bun gh-tool pr checkbox --pr 123 --match "Add regression coverage" --check # Toggle one PR task item
 bun gh-tool pr edit-comment --comment-id 789 --kind issue --pr 123 --body "Corrected detail"
 bun gh-tool pr reply-and-resolve --comment-id 456 --body "Done" # infers PR and thread
 bun gh-tool pr request-review --repo be --pr 123 --reviewers alice,bob

package/dist/gh-tool/pr/checkbox-markdown.d.ts

@@ -0,0 +1,22 @@
+export type CheckboxOutlineEntry = {
+    readonly type: "task";
+    readonly text: string;
+    readonly checked: boolean;
+} | {
+    readonly type: "heading";
+    readonly text: string;
+    readonly level: number;
+};
+export type CheckboxOutlineParser = (body: string) => readonly CheckboxOutlineEntry[] | null;
+type CheckboxLine = {
+    readonly before: string;
+    readonly offset: number;
+    readonly boxIndex: number;
+    readonly checked: boolean;
+};
+export declare const bunMarkdownOutline: CheckboxOutlineParser;
+export declare const validateCheckboxEdit: (body: string, offset: number, replacement: " " | "x", parseOutline?: CheckboxOutlineParser) => void;
+export declare const findCheckboxLines: (body: string, match: string, section: string | null, parseOutline?: CheckboxOutlineParser) => CheckboxLine[];
+export declare const scanCheckboxOutline: (body: string) => readonly CheckboxOutlineEntry[];
+export {};
+//# sourceMappingURL=checkbox-markdown.d.ts.map

package/dist/gh-tool/pr/checkbox-markdown.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkbox-markdown.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/pr/checkbox-markdown.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,oBAAoB,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhF,MAAM,MAAM,qBAAqB,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,oBAAoB,EAAE,GAAG,IAAI,CAAC;AAE7F,KAAK,YAAY,GAAG;IAClB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,CAAC;AAmJF,eAAO,MAAM,kBAAkB,EAAE,qBA6ChC,CAAC;AAwBF,eAAO,MAAM,oBAAoB,SACzB,MAAM,UACJ,MAAM,eACD,GAAG,GAAG,GAAG,iBACR,qBAAqB,SAqCpC,CAAC;AAEF,eAAO,MAAM,iBAAiB,SACtB,MAAM,SACL,MAAM,WACJ,MAAM,GAAG,IAAI,iBACR,qBAAqB,mBAmCpC,CAAC;AAEF,eAAO,MAAM,mBAAmB,SAAU,MAAM,KAAG,SAAS,oBAAoB,EAK7E,CAAC"}

package/dist/gh-tool/pr/checkbox.d.ts

@@ -0,0 +1,21 @@
+import { Effect } from "effect";
+import { type CheckboxOutlineParser } from "#gh/pr/checkbox-markdown";
+type CheckboxState = "checked" | "unchecked";
+export declare const togglePRCheckbox: (opts: {
+    pr: number;
+    match: string;
+    section: string | null;
+    state: CheckboxState;
+}, parseOutline?: CheckboxOutlineParser | undefined) => Effect.Effect<{
+    pr: number;
+    state: "unchanged";
+    before: string;
+    after: string;
+} | {
+    pr: number;
+    state: "updated";
+    before: string;
+    after: string;
+}, import("../read/transport").GhError, import("../read/transport").GitHubService>;
+export {};
+//# sourceMappingURL=checkbox.d.ts.map

package/dist/gh-tool/pr/checkbox.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkbox.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/pr/checkbox.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGhC,OAAO,EAIL,KAAK,qBAAqB,EAC3B,MAAM,0BAA0B,CAAC;AAMlC,KAAK,aAAa,GAAG,SAAS,GAAG,WAAW,CAAC;AAiB7C,eAAO,MAAM,gBAAgB;QAErB,MAAM;WACH,MAAM;aACJ,MAAM,GAAG,IAAI;WACf,aAAa;;;WAuCX,WAAW;;;;;WAiCb,SAAS;;;kFAIlB,CAAC"}

package/dist/gh-tool/pr/commands.d.ts

@@ -217,6 +217,15 @@ export declare const prEditCommand: Command.Command<"edit", {
     readonly repo: Option.Option<string>;
     readonly title: Option.Option<string>;
 }, {}, import("#gh/read/transport").GhError, GitHubService>;
+export declare const prCheckboxCommand: Command.Command<"checkbox", {
+    readonly check: boolean;
+    readonly format: "json" | "toon";
+    readonly match: string;
+    readonly pr: number;
+    readonly repo: Option.Option<string>;
+    readonly section: Option.Option<string>;
+    readonly uncheck: boolean;
+}, {}, import("#gh/read/transport").GhError, GitHubService>;
 export declare const prCloseCommand: Command.Command<"close", {
     readonly comment: Option.Option<string>;
     readonly commentFile: Option.Option<string>;

package/dist/gh-tool/pr/commands.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/pr/commands.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAe,MAAM,YAAY,CAAC;AAClD,OAAO,EAAW,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEjD,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,WAAW,CAAC;AAG7D,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAoGhD,eAAO,MAAM,cAAc,cAAe,MAAM,4FAM/C,CAAC;AAiCF,eAAO,MAAM,aAAa,OAAQ,MAAM,aAAa,MAAM;;;;;;uDA6BvD,CAAC;AAEL,KAAK,mBAAmB,GAAG;IACzB,QAAQ,CAAC,6BAA6B,EAAE,MAAM,CAAC;IAC/C,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;IAC7C,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;CAC/C,CAAC;AAEF,KAAK,0BAA0B,GAAG;IAChC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,qBAAqB,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC,CAAC;AAEF,eAAO,MAAM,oBAAoB,YACtB,mBAAmB,UACpB,SAAS,WAAW,EAAE,iBAChB,UAAU,GAAG,eAAe,KACzC,0BAeF,CAAC;AAIF,eAAO,MAAM,cAAc,UAClB,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,kBAAkB,CAkBrD,CAAC;AA8BF,eAAO,MAAM,mBAAmB,OAC1B,MAAM,GAAG,IAAI,kBACD,OAAO,mBACN,OAAO,2GAMgB,CAAC;AAE3C,eAAO,MAAM,oBAAoB,OAAQ,MAAM,GAAG,IAAI,SAAS,MAAM,GAAG,IAAI,4GAIjC,CAAC;AAE5C,eAAO,MAAM,mBAAmB,OAC1B,MAAM,GAAG,IAAI,UACT,MAAM,GAAG,IAAI,gBACP,MAAM,GAAG,IAAI,SACpB,MAAM,GAAG,IAAI,gHAMoB,CAAC;AAE3C,eAAO,MAAM,oBAAoB,OAAQ,MAAM,GAAG,IAAI;;;;;uDAIX,CAAC;AAK5C,eAAO,MAAM,aAAa,SAAU,MAAM,KAAG,MACgB,CAAC;AAE9D,eAAO,MAAM,gBAAgB,YAC3B,KAAK,EACL,cAAc,EACd,mBAAmB,EACnB,cAAc,CACN,CAAC;AAEX,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE/D,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1F,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,EAAE,MAAM,CAAC;QACb,cAAc,EAAE,MAAM,CAAC;QACvB,aAAa,EAAE,OAAO,CAAC;QACvB,eAAe,EAAE,OAAO,CAAC;KAC1B,CAAC,CAAC;IACH,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC;QACrC,EAAE,EAAE,MAAM,CAAC;QACX,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;QAC3B,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE,MAAM,CAAC;QACb,cAAc,EAAE,MAAM,CAAC;KACxB,CAAC,CAAC;IACH,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACjG,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,iBAAiB,YAC9C,CAAC,WACF;IACP,IAAI,EAAE,cAAc,CAAC;IACrB,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,SAAS,EAAE,OAAO,CAAC;CACpB;IAyCC,MAAM;IACN,OAAO;QACL,OAAO;QACP,OAAO;QACP,cAAc;QACd,aAAa;;IAEf,OAAO;gBAxEiC,MAAM;cAAQ,MAAM;wBAAkB,MAAM;;IAyEpF,OAAO;mBAvEI,MAAM;cACX,MAAM;wBACI,MAAM;uBACP,OAAO;yBACL,OAAO;;IAoExB,cAAc;YAjEV,MAAM;qBACG,MAAM,GAAG,IAAI;gBAClB,MAAM;cACR,MAAM;wBACI,MAAM;;IA8DtB,aAAa;gBA5DiC,MAAM;cAAQ,MAAM;wBAAkB,MAAM;;CA8D7F,CAAC;AAQF,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA6ExB,OAAO;;;;;QACP,cAAc;;;;;QACd,OAAO;;;;;;uDAGX,CAAC;AAEH,eAAO,MAAM,aAAa;;;;;2DAkCzB,CAAC;AAEF,eAAO,MAAM,eAAe;;;6FAoB3B,CAAC;AAEF,eAAO,MAAM,aAAa;;;;;;;;;2DA2CzB,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;2DA4BlC,CAAC;AAEF,eAAO,MAAM,eAAe;;;;;;;;;;;8HA6D3B,CAAC;AAEF,eAAO,MAAM,aAAa;;;;;;;;;2DA0C6D,CAAC;AAExF,eAAO,MAAM,cAAc;;;;;;;2DAwC4D,CAAC;AAExF,eAAO,MAAM,cAAc;;;;;;;;mGAuCiE,CAAC;AAE7F,eAAO,MAAM,cAAc;;;;2DAsB1B,CAAC;AAEF,eAAO,MAAM,cAAc;;;;2DAkBmE,CAAC;AAE/F,eAAO,MAAM,eAAe;;;;;;;;qGA8D3B,CAAC;AAEF,eAAO,MAAM,qBAAqB;;;;;;2DA2BqC,CAAC;AAExE,eAAO,MAAM,cAAc;;;;;;;iHAsC6D,CAAC;AAEzF,eAAO,MAAM,oBAAoB;;;;;;;2DAoChC,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;;2DA+BlC,CAAC;AAEF,eAAO,MAAM,gBAAgB;;;;;;2DAiC5B,CAAC;AAEF,eAAO,MAAM,iBAAiB;;;;;2DAwBkE,CAAC;AAEjG,eAAO,MAAM,0BAA0B;;;;2DAsBtC,CAAC;AAEF,eAAO,MAAM,gBAAgB;;;;;;;2DAyC5B,CAAC;AAEF,eAAO,MAAM,iBAAiB;;;;;;;2DAgD7B,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;;;2DAwCqD,CAAC;AAEzF,eAAO,MAAM,4BAA4B;;;;;;2DA8BoC,CAAC;AAE9E,eAAO,MAAM,gBAAgB;;;;;;2DAmC0C,CAAC;AAExE,eAAO,MAAM,oBAAoB;;;;;;;;2DAuCsD,CAAC;AAExF,eAAO,MAAM,0BAA0B;;;;2DAqBtC,CAAC;AAEF,eAAO,MAAM,cAAc;;;;;;;2DAiCyC,CAAC;AAErE,eAAO,MAAM,gBAAgB;;;;2DAiByC,CAAC;AAYvE,eAAO,MAAM,eAAe;;;;;;;;;2DAkD3B,CAAC;AAEF,eAAO,MAAM,qBAAqB;;;;;;;;;2DAsDjC,CAAC;AAEF,eAAO,MAAM,yBAAyB,YACpC,SAAS,EACT,gBAAgB,EAChB,mBAAmB,CACX,CAAC;AAEX,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhF,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,UAC1D,CAAC,QACH,aAAa,CAAC,MAAM,CAAC;;EAW5B,CAAC;AAEF,eAAO,MAAM,qBAAqB;;;;;2DAgCjC,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;2DAiBsD,CAAC;AAE1F,eAAO,MAAM,0BAA0B;;;;2DAuBtC,CAAC;AAEF,eAAO,MAAM,wBAAwB;;;;;;;;2DAgDpC,CAAC;AA2EF,eAAO,MAAM,cAAc,oIAG1B,CAAC"}
+{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/pr/commands.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAe,MAAM,YAAY,CAAC;AAClD,OAAO,EAAW,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEjD,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,WAAW,CAAC;AAG7D,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAqGhD,eAAO,MAAM,cAAc,cAAe,MAAM,4FAM/C,CAAC;AAiCF,eAAO,MAAM,aAAa,OAAQ,MAAM,aAAa,MAAM;;;;;;uDA6BvD,CAAC;AAEL,KAAK,mBAAmB,GAAG;IACzB,QAAQ,CAAC,6BAA6B,EAAE,MAAM,CAAC;IAC/C,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;IAC7C,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;CAC/C,CAAC;AAEF,KAAK,0BAA0B,GAAG;IAChC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,qBAAqB,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC,CAAC;AAEF,eAAO,MAAM,oBAAoB,YACtB,mBAAmB,UACpB,SAAS,WAAW,EAAE,iBAChB,UAAU,GAAG,eAAe,KACzC,0BAeF,CAAC;AAIF,eAAO,MAAM,cAAc,UAClB,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,kBAAkB,CAkBrD,CAAC;AA8BF,eAAO,MAAM,mBAAmB,OAC1B,MAAM,GAAG,IAAI,kBACD,OAAO,mBACN,OAAO,2GAMgB,CAAC;AAE3C,eAAO,MAAM,oBAAoB,OAAQ,MAAM,GAAG,IAAI,SAAS,MAAM,GAAG,IAAI,4GAIjC,CAAC;AAE5C,eAAO,MAAM,mBAAmB,OAC1B,MAAM,GAAG,IAAI,UACT,MAAM,GAAG,IAAI,gBACP,MAAM,GAAG,IAAI,SACpB,MAAM,GAAG,IAAI,gHAMoB,CAAC;AAE3C,eAAO,MAAM,oBAAoB,OAAQ,MAAM,GAAG,IAAI;;;;;uDAIX,CAAC;AAK5C,eAAO,MAAM,aAAa,SAAU,MAAM,KAAG,MACgB,CAAC;AAE9D,eAAO,MAAM,gBAAgB,YAC3B,KAAK,EACL,cAAc,EACd,mBAAmB,EACnB,cAAc,CACN,CAAC;AAEX,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE/D,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1F,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,EAAE,MAAM,CAAC;QACb,cAAc,EAAE,MAAM,CAAC;QACvB,aAAa,EAAE,OAAO,CAAC;QACvB,eAAe,EAAE,OAAO,CAAC;KAC1B,CAAC,CAAC;IACH,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC;QACrC,EAAE,EAAE,MAAM,CAAC;QACX,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;QAC3B,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE,MAAM,CAAC;QACb,cAAc,EAAE,MAAM,CAAC;KACxB,CAAC,CAAC;IACH,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACjG,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,iBAAiB,YAC9C,CAAC,WACF;IACP,IAAI,EAAE,cAAc,CAAC;IACrB,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,SAAS,EAAE,OAAO,CAAC;CACpB;IAyCC,MAAM;IACN,OAAO;QACL,OAAO;QACP,OAAO;QACP,cAAc;QACd,aAAa;;IAEf,OAAO;gBAxEiC,MAAM;cAAQ,MAAM;wBAAkB,MAAM;;IAyEpF,OAAO;mBAvEI,MAAM;cACX,MAAM;wBACI,MAAM;uBACP,OAAO;yBACL,OAAO;;IAoExB,cAAc;YAjEV,MAAM;qBACG,MAAM,GAAG,IAAI;gBAClB,MAAM;cACR,MAAM;wBACI,MAAM;;IA8DtB,aAAa;gBA5DiC,MAAM;cAAQ,MAAM;wBAAkB,MAAM;;CA8D7F,CAAC;AAQF,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA6ExB,OAAO;;;;;QACP,cAAc;;;;;QACd,OAAO;;;;;;uDAGX,CAAC;AAEH,eAAO,MAAM,aAAa;;;;;2DAkCzB,CAAC;AAEF,eAAO,MAAM,eAAe;;;6FAoB3B,CAAC;AAEF,eAAO,MAAM,aAAa;;;;;;;;;2DA2CzB,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;2DA4BlC,CAAC;AAEF,eAAO,MAAM,eAAe;;;;;;;;;;;8HA6D3B,CAAC;AAEF,eAAO,MAAM,aAAa;;;;;;;;;2DA0C6D,CAAC;AAExF,eAAO,MAAM,iBAAiB;;;;;;;;2DA2CgD,CAAC;AAE/E,eAAO,MAAM,cAAc;;;;;;;2DAwC4D,CAAC;AAExF,eAAO,MAAM,cAAc;;;;;;;;mGAuCiE,CAAC;AAE7F,eAAO,MAAM,cAAc;;;;2DAsB1B,CAAC;AAEF,eAAO,MAAM,cAAc;;;;2DAkBmE,CAAC;AAE/F,eAAO,MAAM,eAAe;;;;;;;;qGA8D3B,CAAC;AAEF,eAAO,MAAM,qBAAqB;;;;;;2DA2BqC,CAAC;AAExE,eAAO,MAAM,cAAc;;;;;;;iHAsC6D,CAAC;AAEzF,eAAO,MAAM,oBAAoB;;;;;;;2DAoChC,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;;2DA+BlC,CAAC;AAEF,eAAO,MAAM,gBAAgB;;;;;;2DAiC5B,CAAC;AAEF,eAAO,MAAM,iBAAiB;;;;;2DAwBkE,CAAC;AAEjG,eAAO,MAAM,0BAA0B;;;;2DAsBtC,CAAC;AAEF,eAAO,MAAM,gBAAgB;;;;;;;2DAyC5B,CAAC;AAEF,eAAO,MAAM,iBAAiB;;;;;;;2DAgD7B,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;;;2DAwCqD,CAAC;AAEzF,eAAO,MAAM,4BAA4B;;;;;;2DA8BoC,CAAC;AAE9E,eAAO,MAAM,gBAAgB;;;;;;2DAmC0C,CAAC;AAExE,eAAO,MAAM,oBAAoB;;;;;;;;2DAuCsD,CAAC;AAExF,eAAO,MAAM,0BAA0B;;;;2DAqBtC,CAAC;AAEF,eAAO,MAAM,cAAc;;;;;;;2DAiCyC,CAAC;AAErE,eAAO,MAAM,gBAAgB;;;;2DAiByC,CAAC;AAYvE,eAAO,MAAM,eAAe;;;;;;;;;2DAkD3B,CAAC;AAEF,eAAO,MAAM,qBAAqB;;;;;;;;;2DAsDjC,CAAC;AAEF,eAAO,MAAM,yBAAyB,YACpC,SAAS,EACT,gBAAgB,EAChB,mBAAmB,CACX,CAAC;AAEX,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhF,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,UAC1D,CAAC,QACH,aAAa,CAAC,MAAM,CAAC;;EAW5B,CAAC;AAEF,eAAO,MAAM,qBAAqB;;;;;2DAgCjC,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;2DAiBsD,CAAC;AAE1F,eAAO,MAAM,0BAA0B;;;;2DAuBtC,CAAC;AAEF,eAAO,MAAM,wBAAwB;;;;;;;;2DAgDpC,CAAC;AA2EF,eAAO,MAAM,cAAc,oIAG1B,CAAC"}

package/dist/gh-tool/pr/index.d.ts

@@ -1,2 +1,2 @@
-export { prChecksCommand, prChecksFailedCommand, prCloseCommand, prCommentCommand, prEditCommentCommand, prCommentsCommand, prCreateCommand, prDiscussionSummaryCommand, prDraftCommand, prEditCommand, prFeedbackCommand, prIssueCommentsCommand, prIssueCommentsLatestCommand, prLastHumanReviewerCommand, prListCommand, prMergeCommand, prReadyCommand, prStackCommand, prRequestReviewCommand, prReplyCommand, prRerunChecksCommand, prReplyAndResolveCommand, prResolveCommand, prReviewCommand, prReviewsCommand, prStatusCommand, prSubmitReviewCommand, prThreadsCommand, prTriggerChecksCommand, prWaitMergeableCommand, prReviewTriageCommand, prReviewTriageBatchCommand, prViewCommand, prWatchCommand, } from "./commands";
+export { prChecksCommand, prChecksFailedCommand, prCloseCommand, prCommentCommand, prEditCommentCommand, prCommentsCommand, prCreateCommand, prDiscussionSummaryCommand, prDraftCommand, prEditCommand, prCheckboxCommand, prFeedbackCommand, prIssueCommentsCommand, prIssueCommentsLatestCommand, prLastHumanReviewerCommand, prListCommand, prMergeCommand, prReadyCommand, prStackCommand, prRequestReviewCommand, prReplyCommand, prRerunChecksCommand, prReplyAndResolveCommand, prResolveCommand, prReviewCommand, prReviewsCommand, prStatusCommand, prSubmitReviewCommand, prThreadsCommand, prTriggerChecksCommand, prWaitMergeableCommand, prReviewTriageCommand, prReviewTriageBatchCommand, prViewCommand, prWatchCommand, } from "./commands";
 //# sourceMappingURL=index.d.ts.map

package/dist/gh-tool/pr/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/pr/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,sBAAsB,EACtB,4BAA4B,EAC5B,0BAA0B,EAC1B,aAAa,EACb,cAAc,EACd,cAAc,EACd,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,oBAAoB,EACpB,wBAAwB,EACxB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,0BAA0B,EAC1B,aAAa,EACb,cAAc,GACf,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/pr/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,sBAAsB,EACtB,4BAA4B,EAC5B,0BAA0B,EAC1B,aAAa,EACb,cAAc,EACd,cAAc,EACd,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,oBAAoB,EACpB,wBAAwB,EACxB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,0BAA0B,EAC1B,aAAa,EACb,cAAc,GACf,MAAM,YAAY,CAAC"}

package/dist/gh-tool/read/pulls.d.ts

@@ -78,6 +78,7 @@ export declare const prHead: (repo: RepoRef, pr: number, consistency?: "cached"
     baseSha: string;
     signature: string;
 }, import("#gh/read/transport").GhError, GitHubService>;
+export declare const prBody: (repo: RepoRef, pr: number) => Effect.Effect<string, import("#gh/read/transport").GhError, GitHubService>;
 export declare const checkSignal: (repo: RepoRef, sha: string) => Effect.Effect<string, import("#gh/read/transport").GhError, GitHubService>;
 export declare const prView: (repo: RepoRef | null, selector: PrSelector, consistency?: "cached" | "origin" | undefined) => Effect.Effect<{
     readonly number: number;

package/dist/gh-tool/read/pulls.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pulls.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/read/pulls.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAO7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAGtC,eAAO,MAAM,cAAc,oKACwI,CAAC;AACpK,eAAO,MAAM,cAAc,yHAC6F,CAAC;AACzH,MAAM,MAAM,YAAY,GAAG;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB,CAAC;AACF,MAAM,MAAM,UAAU,GAAG;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,eAAe,CAAA;CAAE,CAAC;AACpF,QAAA,MAAM,IAAI;;;;;;;;;;;;;;;;;;EAeR,CAAC;AAEH,QAAA,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqBZ,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAC1C,MAAM,MAAM,UAAU,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;AAQ1C,eAAO,MAAM,MAAM;;;;uDA2BjB,CAAC;AAEH,eAAO,MAAM,WAAW,4GAkBtB,CAAC;AAEH,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;uDAsCjB,CAAC;AAEH,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;yDAmCjB,CAAC;AAEH,eAAO,MAAM,QAAQ,iJA2DnB,CAAC"}
+{"version":3,"file":"pulls.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/read/pulls.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAO7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAGtC,eAAO,MAAM,cAAc,oKACwI,CAAC;AACpK,eAAO,MAAM,cAAc,yHAC6F,CAAC;AACzH,MAAM,MAAM,YAAY,GAAG;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB,CAAC;AACF,MAAM,MAAM,UAAU,GAAG;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,eAAe,CAAA;CAAE,CAAC;AACpF,QAAA,MAAM,IAAI;;;;;;;;;;;;;;;;;;EAeR,CAAC;AAEH,QAAA,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqBZ,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAC1C,MAAM,MAAM,UAAU,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;AAQ1C,eAAO,MAAM,MAAM;;;;uDA2BjB,CAAC;AAIH,eAAO,MAAM,MAAM,2GAejB,CAAC;AAEH,eAAO,MAAM,WAAW,4GAkBtB,CAAC;AAEH,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;uDAsCjB,CAAC;AAEH,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;yDAmCjB,CAAC;AAEH,eAAO,MAAM,QAAQ,iJA2DnB,CAAC"}

package/dist/gh-tool/read/reads.d.ts

@@ -133,6 +133,7 @@ export declare const reads: {
         baseSha: string;
         signature: string;
     }, import("#gh/read/transport").GhError, GitHubService>;
+    prBody: (repo: RepoRef, pr: number) => Effect.Effect<string, import("#gh/read/transport").GhError, GitHubService>;
     checkSignal: (repo: RepoRef, sha: string) => Effect.Effect<string, import("#gh/read/transport").GhError, GitHubService>;
     runList: (repo: RepoRef, filter: RunFilter, consistency?: "cached" | "origin" | undefined) => Effect.Effect<readonly {
         readonly databaseId: number;

package/dist/gh-tool/read/reads.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reads.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/read/reads.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAkB,MAAM,QAAQ,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAShD,OAAO,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAUjD,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AActE,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAC3E,MAAM,MAAM,iBAAiB,GACzB,QAAQ,CAAC;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAA;CAAE,CAAC,GACjE,QAAQ,CAAC;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEhC,eAAO,MAAM,YAAY;;uDAwCvB,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;wBAY/B,CAAC;AA+CH,eAAO,MAAM,WAAW,sGAatB,CAAC;AAgHH,eAAO,MAAM,SAAS,6HAWpB,CAAC;AA+EH,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwBjB,CAAC"}
+{"version":3,"file":"reads.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/read/reads.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAkB,MAAM,QAAQ,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAShD,OAAO,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAUjD,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AActE,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAC3E,MAAM,MAAM,iBAAiB,GACzB,QAAQ,CAAC;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAA;CAAE,CAAC,GACjE,QAAQ,CAAC;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEhC,eAAO,MAAM,YAAY;;uDAwCvB,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;wBAY/B,CAAC;AA+CH,eAAO,MAAM,WAAW,sGAatB,CAAC;AAgHH,eAAO,MAAM,SAAS,6HAWpB,CAAC;AA+EH,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAyBjB,CAAC"}

package/dist/gh-tool/read/transport.d.ts

@@ -12,8 +12,17 @@ export type GhResult = {
     exitCode: number;
 };
 export type GhError = GitHubCommandError | GitHubAuthError | GitHubNotFoundError;
+export type PRCheckboxWrite = {
+    readonly repo: RepoRef;
+    readonly pr: number;
+    readonly expectedBody: string;
+    readonly boxOffset: number;
+    readonly replacement: " " | "x";
+    readonly selectionText: readonly string[];
+};
 declare const GitHubService_base: Context.ServiceClass<GitHubService, "@agent-tools/GitHubService", {
     readonly runGh: (args: string[]) => Effect.Effect<GhResult, GhError>;
+    readonly writePRCheckbox?: (opts: PRCheckboxWrite) => Effect.Effect<GhResult, GhError>;
     readonly runGhJson: <T>(args: string[]) => Effect.Effect<T, GhError>;
     readonly runGraphQL: (query: string, variables: Record<string, string | number | null>) => Effect.Effect<unknown, GhError>;
     readonly apiRequest: <T>(opts: GitHubApiRequest) => Effect.Effect<GitHubApiResponse<T>, GhError>;

package/dist/gh-tool/read/transport.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"transport.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/read/transport.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAU,MAAM,QAAQ,CAAC;AAExD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAItC,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGtF,OAAO,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,OAAO,CAAC;AACjE,OAAO,EAAE,aAAa,EAA4C,MAAM,SAAS,CAAC;AA6DlF,MAAM,MAAM,QAAQ,GAAG;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,kBAAkB,GAAG,eAAe,GAAG,mBAAmB,CAAC;;oBAK7D,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC;wBAChD,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;yBAC/C,CACnB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,KAC9C,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;yBACf,CAAC,CAAC,EACrB,IAAI,EAAE,gBAAgB,KACnB,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;4BACzB,MAAM,MAAM,CAAC,MAAM,CAAC,gBAAgB,GAAG,SAAS,EAAE,KAAK,CAAC;0BAC1D,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC;yBACvC,MAAM,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;6BACjC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/B,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,kBAAkB,EAAE,CAAC,CAAC;;AAlBpD,qBAAa,aAAc,SAAQ,kBAoBF;IAC/B,MAAM,CAAC,QAAQ,CAAC,KAAK,6FA4UnB;CACH"}
+{"version":3,"file":"transport.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/read/transport.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAkB,MAAM,QAAQ,CAAC;AAEhE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAStC,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGtF,OAAO,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,OAAO,CAAC;AACjE,OAAO,EAAE,aAAa,EAA4C,MAAM,SAAS,CAAC;AA6DlF,MAAM,MAAM,QAAQ,GAAG;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,kBAAkB,GAAG,eAAe,GAAG,mBAAmB,CAAC;AACjF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,GAAG,GAAG,GAAG,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C,CAAC;;oBAKkB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC;+BACzC,CAAC,IAAI,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC;wBAClE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;yBAC/C,CACnB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,KAC9C,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;yBACf,CAAC,CAAC,EACrB,IAAI,EAAE,gBAAgB,KACnB,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;4BACzB,MAAM,MAAM,CAAC,MAAM,CAAC,gBAAgB,GAAG,SAAS,EAAE,KAAK,CAAC;0BAC1D,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC;yBACvC,MAAM,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;6BACjC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/B,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,kBAAkB,EAAE,CAAC,CAAC;;AAnBpD,qBAAa,aAAc,SAAQ,kBAqBF;IAC/B,MAAM,CAAC,QAAQ,CAAC,KAAK,6FAkZnB;CACH"}

package/dist/gh-tool/read/writes.d.ts

@@ -1,13 +1,14 @@
 import { Effect } from "effect";
 import { GitHubService } from "#gh/read/transport";
 import type { Tag } from "./keys";
-import type { GhError } from "#gh/read/transport";
+import type { GhError, PRCheckboxWrite } from "#gh/read/transport";
 import type { GitHubApiRequest } from "#gh/read/api";
 declare const json: <A>(argv: string[], touched: readonly Tag[]) => Effect.Effect<A, GhError, GitHubService>;
 declare const graphql: (query: string, variables: Record<string, string | number | null>, touched: readonly Tag[]) => Effect.Effect<unknown, GhError, GitHubService>;
 declare const api: <A>(request: GitHubApiRequest, touched: readonly Tag[]) => Effect.Effect<import("#gh/read/api").GitHubApiResponse<A>, GhError, GitHubService>;
 export declare const writes: {
     run: (argv: string[], touched: readonly (`checks:${string}` | `issue-comments:${string}` | `issue:${string}` | `issues:${string}` | `pr:${string}` | `pulls:${string}` | `repo:${string}` | `review-comments:${string}` | `reviews:${string}` | `run:${string}` | `runs:${string}` | `threads:${string}`)[]) => Effect.Effect<import("#gh/read/transport").GhResult, GhError, GitHubService>;
+    prCheckbox: (opts: PRCheckboxWrite, touched: readonly (`checks:${string}` | `issue-comments:${string}` | `issue:${string}` | `issues:${string}` | `pr:${string}` | `pulls:${string}` | `repo:${string}` | `review-comments:${string}` | `reviews:${string}` | `run:${string}` | `runs:${string}` | `threads:${string}`)[]) => Effect.Effect<import("#gh/read/transport").GhResult, GhError, GitHubService>;
     json: typeof json;
     graphql: typeof graphql;
     api: typeof api;

package/dist/gh-tool/read/writes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"writes.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/read/writes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAC;AAClC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAYrD,QAAA,MAAM,IAAI,GAAI,CAAC,QAAQ,MAAM,EAAE,WAAW,SAAS,GAAG,EAAE,6CAIpD,CAAC;AACL,QAAA,MAAM,OAAO,UACJ,MAAM,aACF,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,WACxC,SAAS,GAAG,EAAE,mDAKrB,CAAC;AACL,QAAA,MAAM,GAAG,GAAI,CAAC,WAAW,gBAAgB,WAAW,SAAS,GAAG,EAAE,uFAI9D,CAAC;AACL,eAAO,MAAM,MAAM;;;;;CAA8B,CAAC"}
+{"version":3,"file":"writes.d.ts","sourceRoot":"","sources":["../../../src/gh-tool/read/writes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAC;AAClC,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AA4BrD,QAAA,MAAM,IAAI,GAAI,CAAC,QAAQ,MAAM,EAAE,WAAW,SAAS,GAAG,EAAE,6CAIpD,CAAC;AACL,QAAA,MAAM,OAAO,UACJ,MAAM,aACF,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,WACxC,SAAS,GAAG,EAAE,mDAKrB,CAAC;AACL,QAAA,MAAM,GAAG,GAAI,CAAC,WAAW,gBAAgB,WAAW,SAAS,GAAG,EAAE,uFAI9D,CAAC;AACL,eAAO,MAAM,MAAM;;;;;;CAA0C,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@blogic-cz/agent-tools",
-  "version": "1.12.0",
+  "version": "1.13.0",
   "description": "CLI tools for AI coding agent workflows — GitHub, database, Kubernetes, Azure platform, Azure DevOps, logs, sessions, and audit",
   "keywords": [
     "agent",

package/src/gh-tool/main.ts

@@ -27,6 +27,7 @@ import {
   prCreateCommand,
   prCloseCommand,
   prEditCommand,
+  prCheckboxCommand,
   prMergeCommand,
   prReadyCommand,
   prDraftCommand,
@@ -106,6 +107,7 @@ const prCommand = Command.make("pr", {}).pipe(
     prCreateCommand,
     prCloseCommand,
     prEditCommand,
+    prCheckboxCommand,
     prMergeCommand,
     prReadyCommand,
     prDraftCommand,

package/src/gh-tool/pr/checkbox-markdown.ts

@@ -0,0 +1,317 @@
+export type CheckboxOutlineEntry =
+  | { readonly type: "task"; readonly text: string; readonly checked: boolean }
+  | { readonly type: "heading"; readonly text: string; readonly level: number };
+
+export type CheckboxOutlineParser = (body: string) => readonly CheckboxOutlineEntry[] | null;
+
+type CheckboxLine = {
+  readonly before: string;
+  readonly offset: number;
+  readonly boxIndex: number;
+  readonly checked: boolean;
+};
+
+type ScannedEntry = CheckboxOutlineEntry & {
+  readonly offset?: number;
+  readonly boxIndex?: number;
+  readonly before?: string;
+};
+
+type Fence = {
+  readonly marker: "`" | "~";
+  readonly length: number;
+  readonly listIndent: number | null;
+};
+type ListItemIndent = { readonly indent: number; readonly contentIndent: number };
+
+const taskSuffix = /^[ \t]*\[([ xX])\][ \t]*(.*)$/;
+const listMarker = /^( {0,3})(?:[-*+]|[0-9]+[.)])([ \t]+)/;
+const quoteMarker = /^ {0,3}>[ \t]?/;
+const plainSourceText = (text: string) =>
+  text
+    .replace(/(\*\*|__|~~|\*|_)(\S(?:.*?\S)?)\1/g, "$2")
+    .replace(/&/g, "&")
+    .replace(/&lt;/g, "<")
+    .replace(/&gt;/g, ">")
+    .replace(/&quot;/g, '"')
+    .replace(/&#39;|&apos;/g, "'")
+    .trim();
+
+const removeContainers = (line: string) => {
+  let cursor = 0;
+  for (;;) {
+    const rest = line.slice(cursor);
+    const quote = quoteMarker.exec(rest);
+    if (quote !== null) {
+      cursor += quote[0].length;
+      continue;
+    }
+    const list = listMarker.exec(rest);
+    if (list !== null) {
+      cursor += list[0].length;
+      continue;
+    }
+    return { text: line.slice(cursor), cursor };
+  }
+};
+
+const openingFence = (line: string, listIndent: number | null): Fence | null => {
+  const content = removeContainers(line).text;
+  const match = /^ {0,3}(`{3,}|~{3,})([^\r\n]*)\r?$/.exec(content);
+  if (match === null) return null;
+  const marker = match[1]?.[0];
+  const info = match[2] ?? "";
+  if ((marker !== "`" && marker !== "~") || (marker === "`" && info.includes("`"))) return null;
+  return { marker, length: match[1]?.length ?? 0, listIndent };
+};
+
+const closesFence = (line: string, fence: Fence) => {
+  const content = removeContainers(line).text;
+  const match = /^ {0,3}(`+|~+)[ \t]*\r?$/.exec(content);
+  const markers = match?.[1] ?? "";
+  return markers.length >= fence.length && markers[0] === fence.marker;
+};
+
+const headingFromLine = (line: string) => {
+  const { text } = removeContainers(line);
+  const match = /^ {0,3}(#{1,6})[ \t]+(.*?)\r?$/.exec(text);
+  if (match === null) return null;
+  return {
+    level: match[1]?.length ?? 0,
+    text: plainSourceText((match[2] ?? "").replace(/[ \t]+#+[ \t]*$/, "")),
+  };
+};
+
+const scanOutline = (body: string): ScannedEntry[] => {
+  const entries: ScannedEntry[] = [];
+  const lines = body.match(/[^\n]*(?:\n|$)/g) ?? [];
+  let offset = 0;
+  let fence: Fence | null = null;
+  const listItems: ListItemIndent[] = [];
+
+  for (const raw of lines) {
+    if (raw.length === 0) continue;
+    const line = (raw.endsWith("\n") ? raw.slice(0, -1) : raw).replace(/\r$/, "");
+    const lineStart = offset;
+    offset += raw.length;
+
+    const marker = listMarker.exec(line);
+    if (marker !== null) {
+      const indent = marker[1]?.length ?? 0;
+      while ((listItems.at(-1)?.indent ?? -1) >= indent) {
+        listItems.pop();
+      }
+      listItems.push({ indent, contentIndent: indent + marker[0].length });
+    } else if (line.trim() !== "") {
+      const leading = /^ */.exec(line)?.[0].length ?? 0;
+      while (listItems.length > 0 && leading < (listItems.at(-1)?.contentIndent ?? 0)) {
+        listItems.pop();
+      }
+    }
+
+    if (fence !== null) {
+      if (fence.listIndent !== null && line.trim() !== "") {
+        const leading = /^ */.exec(line)?.[0].length ?? 0;
+        if (leading < fence.listIndent) fence = null;
+      }
+      if (fence !== null) {
+        if (closesFence(line, fence)) fence = null;
+        continue;
+      }
+    }
+
+    const context = listItems.at(-1);
+    const opening = openingFence(line, context?.contentIndent ?? null);
+    if (opening !== null) {
+      fence = opening;
+      continue;
+    }
+
+    const heading = headingFromLine(line);
+    if (heading !== null) {
+      entries.push({ type: "heading", ...heading });
+      continue;
+    }
+
+    const { text, cursor } = removeContainers(line);
+    const task = taskSuffix.exec(text);
+    if (task === null) continue;
+    const checked = task[1] !== " ";
+    const boxIndex = cursor + (text.indexOf("[") + 1);
+    const content = plainSourceText(task[2] ?? "");
+    entries.push({
+      type: "task",
+      text: content,
+      checked,
+      offset: lineStart + boxIndex,
+      boxIndex,
+      before: line.replace(/\r$/, ""),
+    });
+  }
+  return entries;
+};
+
+const tokenPrefix = "\uE000checkbox:";
+const tokenSuffix = ":\uE001";
+const makeToken = (id: number) => `${tokenPrefix}${id}${tokenSuffix}`;
+const tokenPattern = /\uE000checkbox:(\d+):\uE001/g;
+
+export const bunMarkdownOutline: CheckboxOutlineParser = (body) => {
+  const markdown = (globalThis as typeof globalThis & { Bun?: typeof Bun }).Bun?.markdown;
+  if (markdown?.render === undefined) return null;
+
+  const nodes: Array<{ readonly entry: CheckboxOutlineEntry | null; readonly children: string }> =
+    [];
+  const token = (entry: CheckboxOutlineEntry | null, children: string) => {
+    const id = nodes.push({ entry, children }) - 1;
+    return makeToken(id);
+  };
+  const plain = (value: string) => value.replace(tokenPattern, "").trim();
+
+  const rendered = markdown.render(body, {
+    text: (children) => children,
+    strong: (children) => children,
+    emphasis: (children) => children,
+    strikethrough: (children) => children,
+    link: (children) => children,
+    image: (children) => children,
+    codespan: (children) => children,
+    heading: (children, meta) =>
+      token({ type: "heading", level: meta.level, text: plain(children) }, children),
+    listItem: (children, meta) =>
+      token(
+        typeof meta.checked === "boolean"
+          ? { type: "task", checked: meta.checked, text: plain(children) }
+          : null,
+        children,
+      ),
+  });
+
+  const outline: CheckboxOutlineEntry[] = [];
+  const expand = (value: string) => {
+    for (const match of value.matchAll(tokenPattern)) {
+      const idText = match[1];
+      const id = idText === undefined ? -1 : Number(idText);
+      const node = nodes[id];
+      if (node === undefined || match.index === undefined)
+        throw new Error("Invalid Bun Markdown callback outline");
+      if (node.entry !== null) outline.push(node.entry);
+      expand(node.children);
+    }
+  };
+  expand(rendered);
+  return outline;
+};
+
+const sameOutline = (scanned: readonly ScannedEntry[], parsed: readonly CheckboxOutlineEntry[]) => {
+  return (
+    scanned.length === parsed.length &&
+    scanned.every((entry, index) => {
+      const actual = parsed[index];
+      return (
+        actual !== undefined &&
+        entry.type === actual.type &&
+        entry.text === actual.text &&
+        (entry.type !== "heading" || (actual.type === "heading" && entry.level === actual.level)) &&
+        (entry.type !== "task" || (actual.type === "task" && entry.checked === actual.checked))
+      );
+    })
+  );
+};
+
+const sameEntry = (left: CheckboxOutlineEntry, right: CheckboxOutlineEntry) =>
+  left.type === right.type &&
+  left.text === right.text &&
+  (left.type !== "heading" || (right.type === "heading" && left.level === right.level)) &&
+  (left.type !== "task" || (right.type === "task" && left.checked === right.checked));
+
+export const validateCheckboxEdit = (
+  body: string,
+  offset: number,
+  replacement: " " | "x",
+  parseOutline: CheckboxOutlineParser = bunMarkdownOutline,
+) => {
+  const scanned = scanOutline(body);
+  const original = parseOutline(body);
+  const selectedIndex = scanned.findIndex(
+    (entry) => entry.type === "task" && entry.offset === offset,
+  );
+  if (
+    original === null ||
+    !sameOutline(scanned, original) ||
+    selectedIndex < 0 ||
+    original[selectedIndex]?.type !== "task" ||
+    body[offset] === undefined ||
+    (replacement !== " " && replacement !== "x")
+  ) {
+    throw new Error("PR body structure is ambiguous; tick this item in the GitHub UI");
+  }
+
+  const editedBody = `${body.slice(0, offset)}${replacement}${body.slice(offset + 1)}`;
+  const edited = parseOutline(editedBody);
+  if (edited === null || edited.length !== original.length) {
+    throw new Error("PR body structure is ambiguous; tick this item in the GitHub UI");
+  }
+
+  const expected = [...original];
+  const selected = expected[selectedIndex];
+  if (selected?.type === "task") {
+    expected[selectedIndex] = { ...selected, checked: replacement !== " " };
+  }
+  if (
+    !edited.every((entry, index) => {
+      const expectedEntry = expected[index];
+      return expectedEntry !== undefined && sameEntry(expectedEntry, entry);
+    })
+  ) {
+    throw new Error("PR body structure is ambiguous; tick this item in the GitHub UI");
+  }
+};
+
+export const findCheckboxLines = (
+  body: string,
+  match: string,
+  section: string | null,
+  parseOutline: CheckboxOutlineParser = bunMarkdownOutline,
+) => {
+  const scanned = scanOutline(body);
+  const parsed = parseOutline(body);
+  if (parsed === null || !sameOutline(scanned, parsed)) {
+    throw new Error("PR body structure is ambiguous; tick this item in the GitHub UI");
+  }
+
+  const matches: CheckboxLine[] = [];
+  let sectionLevel: number | null = null;
+  let inSection = section === null;
+
+  for (const entry of scanned) {
+    if (entry.type === "heading") {
+      if (sectionLevel !== null && entry.level <= sectionLevel) {
+        inSection = false;
+        sectionLevel = null;
+      }
+      if (section !== null && entry.text === section) {
+        inSection = true;
+        sectionLevel = entry.level;
+      }
+      continue;
+    }
+    if (!inSection || !entry.text.includes(match)) continue;
+    if (entry.offset === undefined || entry.boxIndex === undefined || entry.before === undefined)
+      continue;
+    matches.push({
+      before: entry.before,
+      offset: entry.offset,
+      boxIndex: entry.boxIndex,
+      checked: entry.checked,
+    });
+  }
+  return matches;
+};
+
+export const scanCheckboxOutline = (body: string): readonly CheckboxOutlineEntry[] =>
+  scanOutline(body).map((entry) =>
+    entry.type === "task"
+      ? { type: entry.type, text: entry.text, checked: entry.checked }
+      : { type: entry.type, text: entry.text, level: entry.level },
+  );

package/src/gh-tool/pr/checkbox.ts

@@ -0,0 +1,113 @@
+import { Effect } from "effect";
+
+import { GitHubCommandError } from "#gh/errors";
+import {
+  bunMarkdownOutline,
+  findCheckboxLines,
+  validateCheckboxEdit,
+  type CheckboxOutlineParser,
+} from "#gh/pr/checkbox-markdown";
+import { repoSlug } from "#gh/read/keys";
+import { reads, resolveRepo } from "#gh/read/reads";
+import { writes } from "#gh/read/writes";
+import { validateOutboundText } from "#gh/text-input";
+
+type CheckboxState = "checked" | "unchecked";
+
+const readPRBody = Effect.fn("pr.checkbox.readPRBody")(function* (pr: number) {
+  const repo = yield* resolveRepo(null);
+  const body = yield* reads.prBody(repo, pr);
+  return { repo, body };
+});
+
+const checkboxMatchError = (pr: number, count: number) =>
+  new GitHubCommandError({
+    command: "gh-tool pr checkbox",
+    exitCode: 1,
+    stderr: `Found ${count} matching task items in PR #${pr}`,
+    message: `Expected one matching task item in PR #${pr}, found ${count}`,
+    hint: "Use --section to narrow the search or pass a longer --match.",
+  });
+
+export const togglePRCheckbox = Effect.fn("pr.togglePRCheckbox")(function* (
+  opts: {
+    pr: number;
+    match: string;
+    section: string | null;
+    state: CheckboxState;
+  },
+  parseOutline: CheckboxOutlineParser = bunMarkdownOutline,
+) {
+  yield* validateOutboundText(opts.match, "gh-tool pr checkbox");
+  if (opts.section !== null) {
+    yield* validateOutboundText(opts.section, "gh-tool pr checkbox");
+  }
+
+  if (opts.pr <= 0 || opts.match.length === 0 || opts.section === "") {
+    return yield* new GitHubCommandError({
+      command: "gh-tool pr checkbox",
+      exitCode: 1,
+      stderr: "--pr must be positive, --match must be non-empty, and --section must be non-empty",
+      message: "Invalid PR checkbox selection",
+    });
+  }
+
+  const first = yield* readPRBody(opts.pr);
+  const matches = yield* Effect.try({
+    try: () => findCheckboxLines(first.body, opts.match, opts.section, parseOutline),
+    catch: (cause) =>
+      new GitHubCommandError({
+        command: "gh-tool pr checkbox",
+        exitCode: 1,
+        stderr: String(cause),
+        message: "Cannot locate PR checkbox safely",
+        hint: "PR body structure is ambiguous; tick this item in the GitHub UI.",
+      }),
+  });
+  if (matches.length !== 1) return yield* checkboxMatchError(opts.pr, matches.length);
+
+  const selected = matches[0];
+  if (selected === undefined) return yield* checkboxMatchError(opts.pr, 0);
+
+  const alreadyRequested = opts.state === "checked" ? selected.checked : !selected.checked;
+  if (alreadyRequested) {
+    return {
+      pr: opts.pr,
+      state: "unchanged" as const,
+      before: selected.before,
+      after: selected.before,
+    };
+  }
+
+  const box = opts.state === "checked" ? "x" : " ";
+  yield* Effect.try({
+    try: () => validateCheckboxEdit(first.body, selected.offset, box, parseOutline),
+    catch: (cause) =>
+      new GitHubCommandError({
+        command: "gh-tool pr checkbox",
+        exitCode: 1,
+        stderr: String(cause),
+        message: "Cannot locate PR checkbox safely",
+        hint: "PR body structure is ambiguous; tick this item in the GitHub UI.",
+      }),
+  });
+  const after = `${selected.before.slice(0, selected.boxIndex)}${box}${selected.before.slice(selected.boxIndex + 1)}`;
+  yield* writes.prCheckbox(
+    {
+      repo: first.repo,
+      pr: opts.pr,
+      expectedBody: first.body,
+      boxOffset: selected.offset,
+      replacement: box,
+      selectionText: [opts.match, ...(opts.section === null ? [] : [opts.section])],
+    },
+    [`pr:${repoSlug(first.repo)}#${opts.pr}`, `pulls:${repoSlug(first.repo)}`],
+  );
+
+  return {
+    pr: opts.pr,
+    state: "updated" as const,
+    before: selected.before,
+    after,
+  };
+});

package/src/gh-tool/pr/commands.ts

@@ -33,6 +33,7 @@ import {
 } from "#gh/config";
 
 import { mergeStack, readStack, unstackStack } from "./stack";
+import { togglePRCheckbox } from "./checkbox";
 import {
   closePR,
   collectWithStableState,
@@ -721,6 +722,51 @@ export const prEditCommand = Command.make(
     ),
 ).pipe(Command.withDescription("Edit an existing PR's title, body, or other metadata"));
 
+export const prCheckboxCommand = Command.make(
+  "checkbox",
+  {
+    check: Flag.Boolean("check").pipe(
+      Flag.withDescription("Mark the matching task item as checked"),
+      Flag.withDefault(false),
+    ),
+    format: formatOption,
+    match: Flag.String("match").pipe(
+      Flag.withDescription("Plain text that identifies one task item"),
+    ),
+    pr: Flag.Int("pr").pipe(Flag.withDescription("PR number to update")),
+    repo: repoOption,
+    section: Flag.String("section").pipe(
+      Flag.withDescription("Limit the search to a Markdown heading"),
+      Flag.optional,
+    ),
+    uncheck: Flag.Boolean("uncheck").pipe(
+      Flag.withDescription("Mark the matching task item as unchecked"),
+      Flag.withDefault(false),
+    ),
+  },
+  ({ check, format, match, pr, repo, section, uncheck }) =>
+    withRepo(
+      repo,
+      Effect.gen(function* () {
+        if (check === uncheck) {
+          return yield* new GitHubCommandError({
+            command: "gh-tool pr checkbox",
+            exitCode: 1,
+            stderr: "Provide exactly one of --check or --uncheck",
+            message: "Provide exactly one of --check or --uncheck",
+          });
+        }
+        const result = yield* togglePRCheckbox({
+          pr,
+          match,
+          section: Option.getOrNull(section),
+          state: check ? "checked" : "unchecked",
+        });
+        yield* logFormatted(result, format);
+      }),
+    ),
+).pipe(Command.withDescription("Check or uncheck one task item in a PR body"));
+
 export const prCloseCommand = Command.make(
   "close",
   {

package/src/gh-tool/pr/index.ts

@@ -9,6 +9,7 @@ export {
   prDiscussionSummaryCommand,
   prDraftCommand,
   prEditCommand,
+  prCheckboxCommand,
   prFeedbackCommand,
   prIssueCommentsCommand,
   prIssueCommentsLatestCommand,

package/src/gh-tool/read/pulls.ts

@@ -101,6 +101,25 @@ export const prHead = Effect.fn("reads.prHead")(function* (
   return { headSha: head.head.sha, baseSha: head.base.sha, signature: snapshotDigest(snapshot) };
 });
 
+const PRBody = Schema.Struct({ body: Schema.NullOr(Schema.String) });
+
+export const prBody = Effect.fn("reads.prBody")(function* (repo: RepoRef, pr: number) {
+  const gh = yield* GitHubService;
+  const path = `repos/${repoSlug(repo)}/pulls/${pr}`;
+  const response = yield* gh.apiRequest<unknown>({ path });
+  const parsed = yield* Effect.try({
+    try: () => Schema.decodeUnknownSync(PRBody)(response.body),
+    catch: (error) =>
+      new GitHubCommandError({
+        command: `GET ${path}`,
+        exitCode: 0,
+        message: `GitHub returned an invalid PR body: ${String(error)}`,
+        stderr: `GitHub returned an invalid PR body: ${String(error)}`,
+      }),
+  });
+  return parsed.body ?? "";
+});
+
 export const checkSignal = Effect.fn("reads.checkSignal")(function* (repo: RepoRef, sha: string) {
   const snapshot = yield* restSnapshot({ op: "checkSignal", repo, sha }, [
     {

package/src/gh-tool/read/reads.ts

@@ -6,7 +6,7 @@ import { cachedRead, ReadCache } from "./cache";
 import { OPS } from "./classes";
 import { repoSlug } from "./keys";
 import { issueView, issueList, issueComments } from "./issues";
-import { prView, prList, prChecks, prHead, checkSignal } from "./pulls";
+import { prView, prList, prChecks, prHead, prBody, checkSignal } from "./pulls";
 import { prComments, prReviews, reviewThreads, lastHumanReviewer } from "./reviews";
 import { reviewGuards } from "./review-guards";
 import type { RepoRef, RunFilter } from "./keys";
@@ -376,6 +376,7 @@ export const reads = {
   prList,
   prChecks,
   prHead,
+  prBody,
   checkSignal,
   runList,
   runView,

package/src/gh-tool/read/transport.ts

@@ -1,11 +1,16 @@
 import { ghSubprocessEvent, recordRequest } from "./telemetry";
 import { ChildProcess, ChildProcessSpawner } from "effect/process";
-import { Context, Effect, Layer, Stream } from "effect";
+import { Context, Effect, Layer, Schema, Stream } from "effect";
 
 import type { GitHubRepoConfig } from "#config";
 import type { RepoInfo } from "#gh/types";
 import type { RepoRef } from "./keys";
 
+import {
+  bunMarkdownOutline,
+  findCheckboxLines,
+  validateCheckboxEdit,
+} from "#gh/pr/checkbox-markdown";
 import { GH_BINARY } from "#gh/config";
 import { ghEnvironment } from "#gh/environment";
 import { GitHubAuthError, GitHubCommandError, GitHubNotFoundError } from "#gh/errors";
@@ -80,11 +85,20 @@ export type GhResult = {
 };
 
 export type GhError = GitHubCommandError | GitHubAuthError | GitHubNotFoundError;
+export type PRCheckboxWrite = {
+  readonly repo: RepoRef;
+  readonly pr: number;
+  readonly expectedBody: string;
+  readonly boxOffset: number;
+  readonly replacement: " " | "x";
+  readonly selectionText: readonly string[];
+};
 
 export class GitHubService extends Context.Service<
   GitHubService,
   {
     readonly runGh: (args: string[]) => Effect.Effect<GhResult, GhError>;
+    readonly writePRCheckbox?: (opts: PRCheckboxWrite) => Effect.Effect<GhResult, GhError>;
     readonly runGhJson: <T>(args: string[]) => Effect.Effect<T, GhError>;
     readonly runGraphQL: (
       query: string,
@@ -325,6 +339,75 @@ export class GitHubService extends Context.Service<
           });
         };
 
+        const writePRCheckbox = Effect.fn("GitHubService.writePRCheckbox")(function* (
+          opts: PRCheckboxWrite,
+        ) {
+          const path = `repos/${opts.repo.owner}/${opts.repo.name}/pulls/${opts.pr}`;
+          const response = yield* githubApi<unknown>({ path });
+          const parsed = yield* Effect.try({
+            try: () =>
+              Schema.decodeUnknownSync(Schema.Struct({ body: Schema.NullOr(Schema.String) }))(
+                response.body,
+              ),
+            catch: (error) =>
+              new GitHubCommandError({
+                command: `GET ${path}`,
+                exitCode: 0,
+                message: `GitHub returned an invalid PR body: ${String(error)}`,
+                stderr: `GitHub returned an invalid PR body: ${String(error)}`,
+              }),
+          });
+          const body = parsed.body ?? "";
+          if (body !== opts.expectedBody) {
+            return yield* new GitHubCommandError({
+              command: "gh-tool pr checkbox",
+              exitCode: 1,
+              stderr: `PR #${opts.pr} body changed before the checkbox update`,
+              message: `Refusing to update PR #${opts.pr}: its body changed after the first read`,
+              hint: "Re-read the pull request and retry with the current task text.",
+            });
+          }
+
+          const checkboxes = findCheckboxLines(
+            body,
+            opts.selectionText[0] ?? "",
+            null,
+            bunMarkdownOutline,
+          );
+          if (
+            !checkboxes.some((checkbox) => checkbox.offset === opts.boxOffset) ||
+            body[opts.boxOffset] === opts.replacement
+          ) {
+            return yield* new GitHubCommandError({
+              command: "gh-tool pr checkbox",
+              exitCode: 1,
+              stderr: "Refusing an invalid PR checkbox position",
+              message: "Refusing to update a character that is not a task checkbox",
+            });
+          }
+
+          yield* Effect.try({
+            try: () => validateCheckboxEdit(body, opts.boxOffset, opts.replacement),
+            catch: () =>
+              new GitHubCommandError({
+                command: "gh-tool pr checkbox",
+                exitCode: 1,
+                stderr: "PR body structure is ambiguous; tick this item in the GitHub UI",
+                message: "Refusing to update the PR checkbox because its source is ambiguous",
+                hint: "PR body structure is ambiguous; tick this item in the GitHub UI.",
+              }),
+          });
+
+          const updatedBody =
+            body.slice(0, opts.boxOffset) + opts.replacement + body.slice(opts.boxOffset + 1);
+          const args = ["api", "--method", "PATCH", path, "-f", `body=${updatedBody}`];
+          const outboundText = [...args];
+          outboundText[5] = "body=[GitHub PR body]";
+          outboundText.push(...opts.selectionText);
+          yield* validateOutboundText(outboundText.join("\n"), "gh-tool pr checkbox");
+          return yield* runGhAttempt(args);
+        });
+
         const runGhJson = <T>(args: string[]) =>
           Effect.gen(function* () {
             const result = yield* runGh(args);
@@ -415,6 +498,7 @@ export class GitHubService extends Context.Service<
 
         return {
           runGh,
+          writePRCheckbox,
           runGhJson,
           runGraphQL,
           apiRequest: githubApi,

package/src/gh-tool/read/writes.ts

@@ -1,8 +1,9 @@
 import { Effect } from "effect";
+import { GitHubCommandError } from "#gh/errors";
 import { GitHubService } from "#gh/read/transport";
 import { invalidate } from "./cache";
 import type { Tag } from "./keys";
-import type { GhError } from "#gh/read/transport";
+import type { GhError, PRCheckboxWrite } from "#gh/read/transport";
 import type { GitHubApiRequest } from "#gh/read/api";
 
 const mutate = <A, R>(effect: Effect.Effect<A, GhError, R>, touched: readonly Tag[]) =>
@@ -15,6 +16,22 @@ const run = Effect.fn("writes.run")(function* (argv: string[], touched: readonly
   const gh = yield* GitHubService;
   return yield* mutate(gh.runGh(argv), touched);
 });
+const prCheckbox = Effect.fn("writes.prCheckbox")(function* (
+  opts: PRCheckboxWrite,
+  touched: readonly Tag[],
+) {
+  const gh = yield* GitHubService;
+  if (gh.writePRCheckbox === undefined) {
+    return yield* new GitHubCommandError({
+      command: "gh-tool pr checkbox",
+      exitCode: 1,
+      stderr: "PR checkbox writes are unavailable",
+      message:
+        "Refusing to update the PR checkbox because the GitHub service cannot verify the body",
+    });
+  }
+  return yield* mutate(gh.writePRCheckbox(opts), touched);
+});
 const json = <A>(argv: string[], touched: readonly Tag[]) =>
   Effect.gen(function* () {
     const gh = yield* GitHubService;
@@ -34,4 +51,4 @@ const api = <A>(request: GitHubApiRequest, touched: readonly Tag[]) =>
     const gh = yield* GitHubService;
     return yield* mutate(gh.apiRequest<A>(request), touched);
   });
-export const writes = { run, json, graphql, api };
+export const writes = { run, prCheckbox, json, graphql, api };