@abaigram/abaikit 0.0.0-stage → 0.1.0

package/abaigram.yaml

@@ -0,0 +1,208 @@
+# abaigram.yaml: the manifest of abaikit as an abaigram (abaigrammar 0.1).
+# Generated by `abaikit abai manifest` from the program's declarations in code.
+# Do not edit by hand: `abaikit abai doctor` and the test suite check that this file
+# agrees with the code. Regenerate with `abaikit abai manifest > abaigram.yaml`.
+
+abaigrammar: "0.1"
+name: abaikit
+entry: abaikit abai
+modes:
+  - turns
+  - sidecar
+check:
+  run: node dist/bin.js check examples/hello
+content:
+  identity: abai/identity.md
+  use: abai/use.md
+audit:
+  path: ~/.abai/audit/abaikit.jsonl
+deviations:
+  - "Touchpoints are awaited promises: Node cannot block its only thread while the agent loop runs on it, so the program's logic pauses at the await while its own timers and I/O callbacks keep running (section 4.3)."
+  - "Sized cell writes and event payload copies allocate: JavaScript has no copy into a preallocated byte slot; scalar rows meet section 11.2, sized rows are measured and reported."
+  - "A cooperative pause holds the program at its next touchpoint, not inside safepoint(): a safepoint cannot block, since the resume arrives on the same event loop that would be blocked. The flag is still one load at a safepoint, and os pause (the launcher's signal) holds the program anywhere (section 5.5)."
+  - "Under launch the child is attached as soon as its endpoint is accepted, a moment after its first statement rather than before it: Node cannot listen in a constructor. A program that wants the agent present from its first line awaits attach() (section 6.3)."
+  - "In sidecar mode the region is not shared memory: cells are read by request and events cross the socket, so observation costs the program one serialization per connected harness (section 11.3). Under ABAI_HARNESS=null or exercise the null harness stays in the program's process and no endpoint opens, so a check run's measured overhead leaves that serialization out."
+cells:
+  - name: check.runs
+    type: int
+    access: read
+    doc: Conformance checks run by this process.
+  - name: check.last_level
+    type: int
+    access: read
+    doc: The level the last check reported, 0 to 4.
+  - name: abaify.max_rounds
+    type: int
+    access: readwrite
+    default: 5
+    range:
+      - 1
+      - 20
+    doc: Agent rounds abaify gives a retrofit before it stops.
+    policy: auto
+events:
+  - name: check.completed
+    payload:
+      repo:
+        type: string
+        max: 512
+      level:
+        type: int
+    wakes: never
+    doc: A conformance check finished.
+  - name: repo.changed
+    payload:
+      path:
+        type: string
+        max: 512
+      how:
+        type: string
+        max: 32
+    wakes: never
+    doc: "abaify changed the repository: wrote a file, inserted lines, added a dependency, regenerated the manifest, or installed."
+capabilities:
+  - name: learnabai
+    params:
+      section: string
+    result:
+      text: string
+    dispatch: immediate
+    effect: read
+    example: {}
+    doc: "The guide for an agent: what an abaigram is, how to declare one in TypeScript, how to retrofit a repository, how check judges it; one section or all."
+    timeout: 30s
+    policy: auto
+  - name: check
+    params:
+      repo: string
+      level: int
+      mode: string
+      entry: string
+      runs: int
+    result:
+      level: int
+      passed: bool
+      report: string
+    dispatch: immediate
+    effect: mutate
+    policy: auto
+    timeout: 1800s
+    example:
+      repo: examples/hello
+    doc: "Verify a repository's conformance (section 12): L1 through its entry, L2 to L4 by running the repository's check.run command under the null harness, an exercise run and the measurement runs per mode. Needs no model; may take minutes."
+  - name: new
+    params:
+      name: string
+      lang: string
+      level: int
+      dir: string
+    result:
+      path: string
+      written: int
+    dispatch: immediate
+    effect: mutate
+    policy: confirm
+    doc: Create a fresh abaigram in a language, at a level, with one example of each declaration and the content slots in place.
+    timeout: 30s
+  - name: repo.list
+    params:
+      repo: string
+      glob: string
+    result:
+      count: int
+      listing: string
+    dispatch: immediate
+    effect: read
+    example:
+      repo: examples/hello
+    doc: "List a repository's files, skipping dependencies, build output and ignored trees; bounded, and the bound is said first. glob narrows: *.json by name anywhere, src/** or scripts/*.mjs by path."
+    timeout: 30s
+    policy: auto
+  - name: repo.read
+    params:
+      repo: string
+      path: string
+      start: int
+      lines: int
+    result:
+      text: string
+      total_lines: int
+      from: int
+      to: int
+    dispatch: immediate
+    effect: read
+    example:
+      repo: examples/hello
+      path: abaigram.yaml
+    doc: "Read part of a file in a repository: a window from line start, 400 lines or 12 KB at most a call; the result says from and to."
+    timeout: 30s
+    policy: auto
+  - name: repo.write
+    params:
+      repo: string
+      path: string
+      content: string
+      why: string
+    result:
+      written: bool
+    dispatch: immediate
+    effect: mutate
+    policy: confirm
+    doc: Write a new file in a repository (any directory this process can reach; under an MCP client each call is the client's permission prompt); an existing file is refused, since abaify adds and never replaces.
+    timeout: 30s
+  - name: repo.insert
+    params:
+      repo: string
+      path: string
+      anchor: string
+      where: string
+      text: string
+      why: string
+    result:
+      line: int
+    dispatch: immediate
+    effect: mutate
+    policy: confirm
+    doc: Insert text before or after a unique anchor line in an existing file of a repository; no line the file had is removed or reordered.
+    timeout: 30s
+  - name: repo.add_dependency
+    params:
+      repo: string
+      name: string
+      spec: string
+      why: string
+    result:
+      spec: string
+    dispatch: immediate
+    effect: mutate
+    policy: confirm
+    doc: Add a dependency to the repository's package.json in sorted place (the file is re-serialized, keys and indentation kept); the spec defaults to how abaikit reaches @abaigram/abai-stub, @abaigram/abai-embedded-harness and @abaigram/abaikit.
+    timeout: 30s
+  - name: repo.manifest
+    params:
+      repo: string
+      entry: string
+      why: string
+    result:
+      written: bool
+      lines: int
+      text: string
+    dispatch: immediate
+    effect: mutate
+    policy: confirm
+    timeout: 90s
+    doc: Run the repository's entry (`<entry> manifest`) and write what it prints to abaigram.yaml, the one file never written by hand.
+  - name: repo.install
+    params:
+      repo: string
+      why: string
+    result:
+      ok: bool
+      output: string
+    dispatch: immediate
+    effect: mutate
+    policy: confirm
+    timeout: 660s
+    doc: Run npm install in the repository (network; the repository's own install scripts run; the lock file and node_modules are rewritten), so the dependencies just added resolve.
+decisions: []
+turns: []

package/dist/abaify.d.ts

@@ -0,0 +1,68 @@
+import type { AgentModel } from "@abaigram/abai-embedded-harness";
+import type { Mode } from "@abaigram/abai-stub";
+import type { AbaikitApp } from "./app.ts";
+import type { ParsedArgs } from "./bin.ts";
+import { type CheckReport } from "./check.ts";
+import { type AbaikitIo } from "./io.ts";
+import { type Change } from "./repo.ts";
+export declare const REPORT_FILE = "abai/abaify-report.md";
+/** The brief is thousands of tokens: the model's first answer may take minutes, which is not unreachability. */
+export declare const FIRST_CONTACT_MS = 180000;
+export interface AbaifyOptions {
+    repo: string;
+    level?: number;
+    mode?: Mode;
+    rounds?: number;
+    dryRun: boolean;
+    /** A model for the agent; the machine's configured one otherwise. */
+    model?: AgentModel;
+}
+export interface Round {
+    number: number;
+    answer: string;
+    check: CheckReport | undefined;
+    /** When check could not run: why (no abaigram.yaml yet, for one). */
+    checkError?: string;
+}
+export interface AbaifyResult {
+    root: string;
+    requested: number;
+    level: number;
+    passed: boolean;
+    dryRun: boolean;
+    rounds: Round[];
+    changes: Change[];
+    /** Why the run ended short, when it did: the model gone, an error. */
+    failure?: string;
+    reportPath?: string;
+    report: string;
+}
+interface Inventory {
+    packageJson: Record<string, unknown> | undefined;
+    entryFile?: {
+        path: string;
+        head: string;
+        to: number;
+        total: number;
+    };
+    guidelines?: {
+        path: string;
+        head: string;
+    };
+    summary: string;
+    total: number;
+    /** Build output present at the root (`dist/`, `build/`, `out/`), so the agent knows whether built paths run. */
+    buildOutput: string[];
+}
+/** The first prompt: the task, the repository as it is, the procedure mapped onto the capabilities, the API, the rules. */
+export declare function brief(root: string, level: number, mode: Mode | undefined, inv: Inventory, dryRun: boolean): string;
+/** The report left in the repository: every change with its why, the rounds, the last check. */
+export declare function renderAbaifyReport(result: AbaifyResult, run: number): string;
+export declare function abaify(options: AbaifyOptions, io: AbaikitIo, bundle: AbaikitApp): Promise<AbaifyResult>;
+export declare function runAbaify(parsed: Extract<ParsedArgs, {
+    verb: "abaify";
+}>, io: AbaikitIo, bundle: AbaikitApp, deps?: {
+    model?: AgentModel;
+}): Promise<number>;
+export {};
+//# sourceMappingURL=abaify.d.ts.map

package/dist/abaify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"abaify.d.ts","sourceRoot":"","sources":["../src/abaify.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,UAAU,EAA4B,MAAM,iCAAiC,CAAC;AAC5F,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,EAAE,KAAK,WAAW,EAA8C,MAAM,YAAY,CAAC;AAC1F,OAAO,EAAE,KAAK,SAAS,EAA4B,MAAM,SAAS,CAAC;AAEnE,OAAO,EAAE,KAAK,MAAM,EAA2B,MAAM,WAAW,CAAC;AAEjE,eAAO,MAAM,WAAW,0BAA0B,CAAC;AAGnD,gHAAgH;AAChH,eAAO,MAAM,gBAAgB,SAAU,CAAC;AAIxC,MAAM,WAAW,aAAa;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,qEAAqE;IACrE,KAAK,CAAC,EAAE,UAAU,CAAC;CACnB;AAED,MAAM,WAAW,KAAK;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,WAAW,GAAG,SAAS,CAAC;IAC/B,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,sEAAsE;IACtE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CACf;AAED,UAAU,SAAS;IAClB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IACjD,SAAS,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACtE,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,gHAAgH;IAChH,WAAW,EAAE,MAAM,EAAE,CAAC;CACtB;AAyDD,2HAA2H;AAC3H,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,GAAG,MAAM,CAkElH;AAaD,gGAAgG;AAChG,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAsC5E;AAaD,wBAAsB,MAAM,CAAC,OAAO,EAAE,aAAa,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC,CAwG7G;AAED,wBAAsB,SAAS,CAC9B,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,EAAE,EAAE,SAAS,EACb,MAAM,EAAE,UAAU,EAClB,IAAI,GAAE;IAAE,KAAK,CAAC,EAAE,UAAU,CAAA;CAAO,GAC/B,OAAO,CAAC,MAAM,CAAC,CA6BjB","sourcesContent":["// abaikit abaify: the agent-driven retrofit (section 13). abaikit's own\n// agent, with the configured model, works through the repo.* capabilities\n// and nothing else: no source line the repository had is ever removed or\n// reordered, and the three files structured tools rewrite (package.json,\n// abaigram.yaml, the lock file) are named as such. The person's invocation\n// is the consent for its writes, said at the start and in the report. Each\n// round the agent works until it stops, then abaikit runs check itself;\n// the level reached ends the loop, anything short of it is the next\n// prompt, up to the abaify.max_rounds knob. A model that cannot be reached\n// ends the run at once, and the report of what changed and why is left in\n// the repository whatever happened.\nimport { existsSync, mkdirSync, readFileSync, statSync, writeFileSync } from \"node:fs\";\nimport { join, resolve } from \"node:path\";\nimport type { AgentModel, SessionForm, UserChannel } from \"@abaigram/abai-embedded-harness\";\nimport type { Mode } from \"@abaigram/abai-stub\";\nimport type { AbaikitApp } from \"./app.ts\";\nimport type { ParsedArgs } from \"./bin.ts\";\nimport { type CheckReport, checkRepository, recordCheck, renderReport } from \"./check.ts\";\nimport { type AbaikitIo, errorMessage, UsageError } from \"./io.ts\";\nimport { findSection, loadGuide } from \"./learnabai.ts\";\nimport { type Change, readRepo, summarizeRepo } from \"./repo.ts\";\n\nexport const REPORT_FILE = \"abai/abaify-report.md\";\n/** Lines of the entry file the brief quotes: enough to see where a launcher checks or imports its build. */\nconst HEAD_LINES = 80;\n/** The brief is thousands of tokens: the model's first answer may take minutes, which is not unreachability. */\nexport const FIRST_CONTACT_MS = 180_000;\n/** Scripts a brief names first, when the package has them. */\nconst KNOWN_SCRIPTS = [\"start\", \"build\", \"compile\", \"dev\", \"test\", \"check\", \"lint\", \"typecheck\"];\n\nexport interface AbaifyOptions {\n\trepo: string;\n\tlevel?: number;\n\tmode?: Mode;\n\trounds?: number;\n\tdryRun: boolean;\n\t/** A model for the agent; the machine's configured one otherwise. */\n\tmodel?: AgentModel;\n}\n\nexport interface Round {\n\tnumber: number;\n\tanswer: string;\n\tcheck: CheckReport | undefined;\n\t/** When check could not run: why (no abaigram.yaml yet, for one). */\n\tcheckError?: string;\n}\n\nexport interface AbaifyResult {\n\troot: string;\n\trequested: number;\n\tlevel: number;\n\tpassed: boolean;\n\tdryRun: boolean;\n\trounds: Round[];\n\tchanges: Change[];\n\t/** Why the run ended short, when it did: the model gone, an error. */\n\tfailure?: string;\n\treportPath?: string;\n\treport: string;\n}\n\ninterface Inventory {\n\tpackageJson: Record<string, unknown> | undefined;\n\tentryFile?: { path: string; head: string; to: number; total: number };\n\tguidelines?: { path: string; head: string };\n\tsummary: string;\n\ttotal: number;\n\t/** Build output present at the root (`dist/`, `build/`, `out/`), so the agent knows whether built paths run. */\n\tbuildOutput: string[];\n}\n\nfunction inventory(root: string): Inventory {\n\tlet packageJson: Record<string, unknown> | undefined;\n\ttry {\n\t\tpackageJson = JSON.parse(readFileSync(join(root, \"package.json\"), \"utf8\")) as Record<string, unknown>;\n\t} catch {\n\t\tpackageJson = undefined;\n\t}\n\tconst { total, summary } = summarizeRepo(root);\n\tconst buildOutput = [\"dist\", \"build\", \"out\"].filter(\n\t\t(d) => existsSync(join(root, d)) && statSync(join(root, d)).isDirectory(),\n\t);\n\tconst result: Inventory = { packageJson, summary, total, buildOutput };\n\tconst bin = packageJson?.bin;\n\tconst binTarget =\n\t\ttypeof bin === \"string\"\n\t\t\t? bin\n\t\t\t: bin && typeof bin === \"object\"\n\t\t\t\t? (Object.values(bin as Record<string, string>)[0] ?? undefined)\n\t\t\t\t: undefined;\n\tconst main = typeof packageJson?.main === \"string\" ? packageJson.main : undefined;\n\tfor (const candidate of [\n\t\tbinTarget,\n\t\tmain,\n\t\t\"src/main.ts\",\n\t\t\"src/main.js\",\n\t\t\"src/index.ts\",\n\t\t\"src/index.js\",\n\t\t\"index.js\",\n\t]) {\n\t\tif (candidate && existsSync(join(root, candidate))) {\n\t\t\tconst { text, to, total_lines } = readRepo(root, candidate, 1, HEAD_LINES);\n\t\t\tresult.entryFile = { path: candidate, head: text, to, total: total_lines };\n\t\t\tbreak;\n\t\t}\n\t}\n\tfor (const candidate of [\"AGENTS.md\", \"CONTRIBUTING.md\", \"CLAUDE.md\"]) {\n\t\tif (existsSync(join(root, candidate))) {\n\t\t\tconst { text } = readRepo(root, candidate, 1, 40);\n\t\t\tresult.guidelines = { path: candidate, head: text };\n\t\t\tbreak;\n\t\t}\n\t}\n\treturn result;\n}\n\nfunction pickedScripts(scripts: Record<string, string>): Record<string, string> {\n\tconst picked: Record<string, string> = {};\n\tfor (const name of KNOWN_SCRIPTS) if (scripts[name] !== undefined) picked[name] = scripts[name];\n\tfor (const [name, value] of Object.entries(scripts)) {\n\t\tif (Object.keys(picked).length >= 15) break;\n\t\tif (picked[name] === undefined) picked[name] = value;\n\t}\n\treturn picked;\n}\n\n/** The first prompt: the task, the repository as it is, the procedure mapped onto the capabilities, the API, the rules. */\nexport function brief(root: string, level: number, mode: Mode | undefined, inv: Inventory, dryRun: boolean): string {\n\tconst guide = loadGuide();\n\tconst pkg = inv.packageJson;\n\tconst picked = pkg\n\t\t? JSON.stringify(\n\t\t\t\t{\n\t\t\t\t\tname: pkg.name,\n\t\t\t\t\ttype: pkg.type,\n\t\t\t\t\tbin: pkg.bin,\n\t\t\t\t\tmain: pkg.main,\n\t\t\t\t\tscripts: pickedScripts((pkg.scripts as Record<string, string>) ?? {}),\n\t\t\t\t},\n\t\t\t\tnull,\n\t\t\t\t2,\n\t\t\t)\n\t\t: \"(no package.json)\";\n\tconst lines = [\n\t\t`Retrofit the repository at ${root} into an abaigram at level ${level}${mode ? ` in ${mode} mode` : \"\"}.`,\n\t\t\"\",\n\t\t\"You work only through abaikit's capabilities (the abai_call tool), with `repo` set to exactly the path above:\",\n\t\t\"- repo.list (glob narrows: `*.json` by name anywhere, `src/**` or `scripts/*.mjs` by path; the listing is bounded and says so first), repo.read (a window of lines; the result says `from` and `to`).\",\n\t\t\"- repo.write makes a new file only. repo.insert puts text before or after one unique anchor line of an existing file; no line the repository had is ever removed or reordered. repo.add_dependency adds to package.json (a structured edit that re-serializes the file). repo.manifest runs the entry's `manifest` and writes abaigram.yaml: never write that file yourself. repo.install runs npm install (the lock file and node_modules are rewritten). check gives the conformance report.\",\n\t\t\"- You cannot run shell commands or build the repository. Where the procedure below says `npm install`, call repo.add_dependency for both `@abaigram/abai-stub` and `@abaigram/abai-embedded-harness`, then repo.install once. Where it says `<entry> manifest > abaigram.yaml`, call repo.manifest with the entry. Where it says `abaikit check`, call check. Where it says build: \" +\n\t\t\t(inv.buildOutput.length > 0\n\t\t\t\t? `the build output is present (${inv.buildOutput.map((d) => `${d}/`).join(\", \")}), so the built program runs; prefer a cell or event at a real boundary of the program and a check.run that is a real command of it, over a synthetic mode.`\n\t\t\t\t: \"there is no build output, so choose a path that needs no build: a plain `.mjs` module beside a launcher, a cell or event set in code that runs unbuilt.\"),\n\t\t\"- The `entry` you declare must end with the word `abai` (such as `node scripts/x.mjs abai` or `node dist/main.js abai`): the tools append `manifest`, `doctor` and `run` to it, and the stub's runEntry answers only when `abai` comes first. A file you wrote in this run you may write again with repo.write; a file the repository had you may only insert into.\",\n\t\t\"- You have the person's consent for this run; do not ask them.\",\n\t\tdryRun\n\t\t\t? \"- This is a dry run: call the capabilities as you would; nothing is written, repo.manifest and check cannot succeed on files that are not on disk, so propose the whole retrofit and stop.\"\n\t\t\t: \"\",\n\t\t\"\",\n\t\t`Repository shape (${inv.total} files after skipping dependencies, build output and ignored trees; directories with their counts, use repo.list with a glob to see inside one):`,\n\t\t\"```\",\n\t\tinv.summary,\n\t\t\"```\",\n\t\t\"package.json (the known scripts first):\",\n\t\t\"```json\",\n\t\tpicked,\n\t\t\"```\",\n\t];\n\tif (inv.entryFile) {\n\t\tlines.push(\n\t\t\t`The entry file ${inv.entryFile.path}, lines 1 to ${inv.entryFile.to} of ${inv.entryFile.total}:`,\n\t\t\t\"```\",\n\t\t\tinv.entryFile.head,\n\t\t\t\"```\",\n\t\t);\n\t}\n\tif (inv.guidelines) {\n\t\tlines.push(`The repository's own guidelines, ${inv.guidelines.path}, head:`, \"```\", inv.guidelines.head, \"```\");\n\t}\n\tlines.push(\n\t\t\"\",\n\t\t\"The procedure, from abaikit learnabai (read it with the mapping above):\",\n\t\tfindSection(guide, \"retrofit\").text,\n\t\t\"\",\n\t\t\"The declaration API:\",\n\t\tfindSection(guide, \"declare\").text,\n\t\t\"\",\n\t\t\"What never to do:\",\n\t\tfindSection(guide, \"never\").text,\n\t\t\"\",\n\t\t`When you believe level ${level} is reached, call check once; when it reports level ${level} with no violation, answer with the word DONE on its own line followed by a short summary of what you added and why. If you cannot go on, say why.`,\n\t);\n\treturn lines.filter((l) => l !== undefined).join(\"\\n\");\n}\n\nfunction followUp(round: Round, level: number): string {\n\tconst status = round.check ? renderReport(round.check) : `check could not run: ${round.checkError}`;\n\treturn `abaikit ran check after your last round. Level ${level} is not reached yet. The report:\\n\\n${status}\\nFix what it names, through the capabilities, then call check again. Answer DONE with a summary when level ${level} holds with no violation.`;\n}\n\nfunction consentLine(root: string, level: number, dryRun: boolean): string {\n\treturn dryRun\n\t\t? `abaify: dry run on ${root}: the agent proposes a retrofit to level ${level}; nothing is written, though the repository's entry may be run read-only`\n\t\t: `abaify: ${root} to level ${level}, with your consent for this run: the agent may add files, insert lines, add dependencies, run npm install (network, the repository's own install scripts), run the repository's entry and its check.run under the null harness`;\n}\n\n/** The report left in the repository: every change with its why, the rounds, the last check. */\nexport function renderAbaifyReport(result: AbaifyResult, run: number): string {\n\tconst lines = [\n\t\t`# abaify report: ${result.root} (run ${run}, ${new Date().toISOString()})`,\n\t\t\"\",\n\t\tresult.dryRun\n\t\t\t? `Dry run to level ${result.requested}: ${result.changes.length} change${result.changes.length === 1 ? \"\" : \"s\"} proposed, nothing written, no check run.`\n\t\t\t: `Requested level ${result.requested}; reached level ${result.level}; ${result.passed ? \"passed\" : \"not passed\"} after ${result.rounds.length} round${result.rounds.length === 1 ? \"\" : \"s\"}.`,\n\t\tconsentLine(result.root, result.requested, result.dryRun).replace(/^abaify: /, \"Consent: \"),\n\t\t\"\",\n\t];\n\tif (result.failure) lines.push(`The run ended short: ${result.failure}`, \"\");\n\tconst added = result.changes.filter((c) => c.kind === \"added\");\n\tconst rewritten = result.changes.filter((c) => c.kind === \"rewritten\");\n\tlines.push(\"## Added (new files and inserted lines; nothing the repository had was removed or reordered)\", \"\");\n\tlines.push(\n\t\t...(added.length === 0 ? [\"(none)\"] : added.map((c) => `- ${c.how} ${c.path}: ${c.detail}. Why: ${c.why}`)),\n\t);\n\tlines.push(\"\", \"## Rewritten in place by a structured tool\", \"\");\n\tlines.push(\n\t\t...(rewritten.length === 0\n\t\t\t? [\"(none)\"]\n\t\t\t: rewritten.map((c) => `- ${c.how} ${c.path}: ${c.detail}. Why: ${c.why}`)),\n\t);\n\tlines.push(\"\", \"## Rounds\", \"\");\n\tfor (const r of result.rounds) {\n\t\tlines.push(`### Round ${r.number}`, \"\", \"The agent said:\", \"\", r.answer.trim() || \"(nothing)\", \"\");\n\t\tif (!result.dryRun) {\n\t\t\tlines.push(\n\t\t\t\tr.check\n\t\t\t\t\t? `check after the round: level ${r.check.level}, ${r.check.passed ? \"passed\" : \"not passed\"}`\n\t\t\t\t\t: `check could not run: ${r.checkError ?? \"unknown\"}`,\n\t\t\t\t\"\",\n\t\t\t);\n\t\t}\n\t}\n\tconst last = result.rounds.at(-1)?.check;\n\tif (last) lines.push(\"## The last check report\", \"\", \"```\", renderReport(last).trimEnd(), \"```\", \"\");\n\treturn `${lines.join(\"\\n\")}\\n`;\n}\n\n/** The report appended to the repository's; the run number counts the reports already there. */\nfunction writeReport(root: string, result: AbaifyResult): string {\n\tconst path = join(root, REPORT_FILE);\n\tmkdirSync(join(root, \"abai\"), { recursive: true });\n\tconst previous = existsSync(path) ? readFileSync(path, \"utf8\") : \"\";\n\tconst run = (previous.match(/^# abaify report:/gm) ?? []).length + 1;\n\tresult.report = renderAbaifyReport(result, run);\n\twriteFileSync(path, (previous === \"\" ? \"\" : `${previous.trimEnd()}\\n\\n---\\n\\n`) + result.report);\n\treturn path;\n}\n\nexport async function abaify(options: AbaifyOptions, io: AbaikitIo, bundle: AbaikitApp): Promise<AbaifyResult> {\n\tconst { app, embedding, repo: ctx } = bundle;\n\tconst root = resolve(io.cwd, options.repo);\n\tif (!existsSync(join(root, \"package.json\"))) {\n\t\tthrow new UsageError(\n\t\t\t`${options.repo}: no package.json; abaify retrofits Node repositories (TypeScript or JavaScript) for now`,\n\t\t);\n\t}\n\tif (app.mode !== \"turns\")\n\t\tthrow new UsageError(`abaify runs its agent in-process; unset ABAI_MODE (it is ${app.mode})`);\n\tconst level = options.level ?? 1;\n\tconst rounds = app.knob<number>(\"abaify.max_rounds\");\n\tconst range = app.manifest.cells.find((c) => c.name === \"abaify.max_rounds\")?.range ?? [1, 20];\n\tif (options.rounds !== undefined) {\n\t\tif (options.rounds < range[0] || options.rounds > range[1])\n\t\t\tthrow new UsageError(`--rounds must be ${range[0]} to ${range[1]}`);\n\t\trounds.set(options.rounds);\n\t}\n\tconst say = (text: string) => io.err(text);\n\tsay(consentLine(root, level, options.dryRun));\n\tctx.dryRun = options.dryRun;\n\tctx.cwd = io.cwd;\n\tctx.onChange = (change) => say(`abaify: ${change.how} ${change.path}: ${change.detail}`);\n\tconst changesBefore = ctx.changes.length;\n\tconst result: AbaifyResult = {\n\t\troot,\n\t\trequested: level,\n\t\tlevel: 0,\n\t\tpassed: false,\n\t\tdryRun: options.dryRun,\n\t\trounds: [],\n\t\tchanges: [],\n\t\treport: \"\",\n\t};\n\n\t// the agent: abaikit's own embedded harness, auto consent (the invocation is the person's), a channel that only speaks\n\tconst channel: UserChannel = { say, ask: async () => undefined, confirm: async () => false, close: () => {} };\n\tembedding.options = {\n\t\tmodel: options.model,\n\t\tchannel,\n\t\tharness: { auto: true },\n\t\tconnectTimeoutMs: FIRST_CONTACT_MS,\n\t\taddendum: `You are retrofitting ${root} for a person who asked abaikit to do it; every write is theirs to approve and they approved this run.`,\n\t};\n\tlet form: SessionForm | undefined;\n\ttry {\n\t\tif (!(await app.attach()) || !embedding.current) {\n\t\t\tthrow new Error(\n\t\t\t\t`no agent could be attached: ${app.attachError ?? \"unknown\"} (configure one with \\`abaikit abai config\\`, or follow \\`abaikit learnabai\\` with your own agent)`,\n\t\t\t);\n\t\t}\n\t\tform = embedding.current.form;\n\t\tconst harness = embedding.current.harness;\n\t\tconst inv = inventory(root);\n\t\tlet prompt = brief(root, level, options.mode, inv, options.dryRun);\n\t\t// read once: an agent setting its own knob mid-run changes the next run, not this one\n\t\tconst max = options.dryRun ? 1 : rounds.get();\n\t\tfor (let n = 1; n <= max; n++) {\n\t\t\tsay(`abaify: round ${n} of ${max}`);\n\t\t\tconst answer = await form.prompt(prompt);\n\t\t\tconst round: Round = { number: n, answer, check: undefined };\n\t\t\tresult.rounds.push(round);\n\t\t\t// a run the model could not finish ends the loop: before first contact the form detaches; after it the\n\t\t\t// agent's last message carries the error, and another round would only spend the person's time\n\t\t\tconst last = [...form.agent.state.messages].reverse().find((m) => m.role === \"assistant\");\n\t\t\tconst stop = last && last.role === \"assistant\" ? last.stopReason : undefined;\n\t\t\tif (form.modelFailure !== undefined || !harness.attached) {\n\t\t\t\tresult.failure = `the model could not be reached: ${form.modelFailure ?? \"the harness detached\"}`;\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tif (stop === \"error\" || stop === \"aborted\") {\n\t\t\t\tconst why =\n\t\t\t\t\tlast && last.role === \"assistant\" && \"errorMessage\" in last ? String(last.errorMessage ?? stop) : stop;\n\t\t\t\tresult.failure = `the model could not be reached: the request ${stop === \"aborted\" ? \"was aborted\" : \"failed\"} (${why}); run abaify again when it is back`;\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tif (!options.dryRun) {\n\t\t\t\tsay(`abaify: check after round ${n}`);\n\t\t\t\ttry {\n\t\t\t\t\tround.check = await checkRepository({ repo: root, cwd: io.cwd, env: io.env, level, mode: options.mode });\n\t\t\t\t\trecordCheck(app, round.check);\n\t\t\t\t\tresult.level = round.check.level;\n\t\t\t\t\tresult.passed = round.check.passed;\n\t\t\t\t} catch (error) {\n\t\t\t\t\tround.checkError = errorMessage(error);\n\t\t\t\t}\n\t\t\t}\n\t\t\tif (result.passed) break;\n\t\t\tprompt = followUp(round, level);\n\t\t}\n\t} catch (error) {\n\t\tresult.failure = result.failure ?? errorMessage(error);\n\t\tthrow error;\n\t} finally {\n\t\tform?.shutdown(\"abaify ended\");\n\t\tctx.dryRun = false;\n\t\tctx.onChange = undefined;\n\t\tresult.changes = ctx.changes.slice(changesBefore);\n\t\t// the report is written whatever happened once the agent was at work, so nothing done goes unrecorded\n\t\tif (options.dryRun) result.report = renderAbaifyReport(result, 1);\n\t\telse if (result.rounds.length > 0 || result.changes.length > 0) result.reportPath = writeReport(root, result);\n\t}\n\tif (options.dryRun) result.passed = true;\n\treturn result;\n}\n\nexport async function runAbaify(\n\tparsed: Extract<ParsedArgs, { verb: \"abaify\" }>,\n\tio: AbaikitIo,\n\tbundle: AbaikitApp,\n\tdeps: { model?: AgentModel } = {},\n): Promise<number> {\n\tconst result = await abaify(\n\t\t{\n\t\t\trepo: parsed.repo,\n\t\t\tlevel: parsed.level,\n\t\t\tmode: parsed.mode,\n\t\t\trounds: parsed.rounds,\n\t\t\tdryRun: parsed.dryRun,\n\t\t\tmodel: deps.model,\n\t\t},\n\t\tio,\n\t\tbundle,\n\t);\n\tio.out(result.report);\n\tif (result.reportPath) io.out(`report: ${result.reportPath}\\n`);\n\tif (result.failure) {\n\t\tio.out(\n\t\t\t`abaify: ended short after ${result.rounds.length} round${result.rounds.length === 1 ? \"\" : \"s\"}: ${result.failure}\\n`,\n\t\t);\n\t\treturn 1;\n\t}\n\tio.out(\n\t\tresult.dryRun\n\t\t\t? `dry run: ${result.changes.length} change${result.changes.length === 1 ? \"\" : \"s\"} proposed, nothing written\\n`\n\t\t\t: result.passed\n\t\t\t\t? `abaify: level ${result.level} reached in ${result.rounds.length} round${result.rounds.length === 1 ? \"\" : \"s\"}\\n`\n\t\t\t\t: `abaify: level ${result.requested} not reached after ${result.rounds.length} round${result.rounds.length === 1 ? \"\" : \"s\"} (reached ${result.level}); the report says what remains\\n`,\n\t);\n\treturn result.passed ? 0 : 1;\n}\n"]}

package/dist/abaify.js

@@ -0,0 +1,310 @@
+// abaikit abaify: the agent-driven retrofit (section 13). abaikit's own
+// agent, with the configured model, works through the repo.* capabilities
+// and nothing else: no source line the repository had is ever removed or
+// reordered, and the three files structured tools rewrite (package.json,
+// abaigram.yaml, the lock file) are named as such. The person's invocation
+// is the consent for its writes, said at the start and in the report. Each
+// round the agent works until it stops, then abaikit runs check itself;
+// the level reached ends the loop, anything short of it is the next
+// prompt, up to the abaify.max_rounds knob. A model that cannot be reached
+// ends the run at once, and the report of what changed and why is left in
+// the repository whatever happened.
+import { existsSync, mkdirSync, readFileSync, statSync, writeFileSync } from "node:fs";
+import { join, resolve } from "node:path";
+import { checkRepository, recordCheck, renderReport } from "./check.js";
+import { errorMessage, UsageError } from "./io.js";
+import { findSection, loadGuide } from "./learnabai.js";
+import { readRepo, summarizeRepo } from "./repo.js";
+export const REPORT_FILE = "abai/abaify-report.md";
+/** Lines of the entry file the brief quotes: enough to see where a launcher checks or imports its build. */
+const HEAD_LINES = 80;
+/** The brief is thousands of tokens: the model's first answer may take minutes, which is not unreachability. */
+export const FIRST_CONTACT_MS = 180_000;
+/** Scripts a brief names first, when the package has them. */
+const KNOWN_SCRIPTS = ["start", "build", "compile", "dev", "test", "check", "lint", "typecheck"];
+function inventory(root) {
+    let packageJson;
+    try {
+        packageJson = JSON.parse(readFileSync(join(root, "package.json"), "utf8"));
+    }
+    catch {
+        packageJson = undefined;
+    }
+    const { total, summary } = summarizeRepo(root);
+    const buildOutput = ["dist", "build", "out"].filter((d) => existsSync(join(root, d)) && statSync(join(root, d)).isDirectory());
+    const result = { packageJson, summary, total, buildOutput };
+    const bin = packageJson?.bin;
+    const binTarget = typeof bin === "string"
+        ? bin
+        : bin && typeof bin === "object"
+            ? (Object.values(bin)[0] ?? undefined)
+            : undefined;
+    const main = typeof packageJson?.main === "string" ? packageJson.main : undefined;
+    for (const candidate of [
+        binTarget,
+        main,
+        "src/main.ts",
+        "src/main.js",
+        "src/index.ts",
+        "src/index.js",
+        "index.js",
+    ]) {
+        if (candidate && existsSync(join(root, candidate))) {
+            const { text, to, total_lines } = readRepo(root, candidate, 1, HEAD_LINES);
+            result.entryFile = { path: candidate, head: text, to, total: total_lines };
+            break;
+        }
+    }
+    for (const candidate of ["AGENTS.md", "CONTRIBUTING.md", "CLAUDE.md"]) {
+        if (existsSync(join(root, candidate))) {
+            const { text } = readRepo(root, candidate, 1, 40);
+            result.guidelines = { path: candidate, head: text };
+            break;
+        }
+    }
+    return result;
+}
+function pickedScripts(scripts) {
+    const picked = {};
+    for (const name of KNOWN_SCRIPTS)
+        if (scripts[name] !== undefined)
+            picked[name] = scripts[name];
+    for (const [name, value] of Object.entries(scripts)) {
+        if (Object.keys(picked).length >= 15)
+            break;
+        if (picked[name] === undefined)
+            picked[name] = value;
+    }
+    return picked;
+}
+/** The first prompt: the task, the repository as it is, the procedure mapped onto the capabilities, the API, the rules. */
+export function brief(root, level, mode, inv, dryRun) {
+    const guide = loadGuide();
+    const pkg = inv.packageJson;
+    const picked = pkg
+        ? JSON.stringify({
+            name: pkg.name,
+            type: pkg.type,
+            bin: pkg.bin,
+            main: pkg.main,
+            scripts: pickedScripts(pkg.scripts ?? {}),
+        }, null, 2)
+        : "(no package.json)";
+    const lines = [
+        `Retrofit the repository at ${root} into an abaigram at level ${level}${mode ? ` in ${mode} mode` : ""}.`,
+        "",
+        "You work only through abaikit's capabilities (the abai_call tool), with `repo` set to exactly the path above:",
+        "- repo.list (glob narrows: `*.json` by name anywhere, `src/**` or `scripts/*.mjs` by path; the listing is bounded and says so first), repo.read (a window of lines; the result says `from` and `to`).",
+        "- repo.write makes a new file only. repo.insert puts text before or after one unique anchor line of an existing file; no line the repository had is ever removed or reordered. repo.add_dependency adds to package.json (a structured edit that re-serializes the file). repo.manifest runs the entry's `manifest` and writes abaigram.yaml: never write that file yourself. repo.install runs npm install (the lock file and node_modules are rewritten). check gives the conformance report.",
+        "- You cannot run shell commands or build the repository. Where the procedure below says `npm install`, call repo.add_dependency for both `@abaigram/abai-stub` and `@abaigram/abai-embedded-harness`, then repo.install once. Where it says `<entry> manifest > abaigram.yaml`, call repo.manifest with the entry. Where it says `abaikit check`, call check. Where it says build: " +
+            (inv.buildOutput.length > 0
+                ? `the build output is present (${inv.buildOutput.map((d) => `${d}/`).join(", ")}), so the built program runs; prefer a cell or event at a real boundary of the program and a check.run that is a real command of it, over a synthetic mode.`
+                : "there is no build output, so choose a path that needs no build: a plain `.mjs` module beside a launcher, a cell or event set in code that runs unbuilt."),
+        "- The `entry` you declare must end with the word `abai` (such as `node scripts/x.mjs abai` or `node dist/main.js abai`): the tools append `manifest`, `doctor` and `run` to it, and the stub's runEntry answers only when `abai` comes first. A file you wrote in this run you may write again with repo.write; a file the repository had you may only insert into.",
+        "- You have the person's consent for this run; do not ask them.",
+        dryRun
+            ? "- This is a dry run: call the capabilities as you would; nothing is written, repo.manifest and check cannot succeed on files that are not on disk, so propose the whole retrofit and stop."
+            : "",
+        "",
+        `Repository shape (${inv.total} files after skipping dependencies, build output and ignored trees; directories with their counts, use repo.list with a glob to see inside one):`,
+        "```",
+        inv.summary,
+        "```",
+        "package.json (the known scripts first):",
+        "```json",
+        picked,
+        "```",
+    ];
+    if (inv.entryFile) {
+        lines.push(`The entry file ${inv.entryFile.path}, lines 1 to ${inv.entryFile.to} of ${inv.entryFile.total}:`, "```", inv.entryFile.head, "```");
+    }
+    if (inv.guidelines) {
+        lines.push(`The repository's own guidelines, ${inv.guidelines.path}, head:`, "```", inv.guidelines.head, "```");
+    }
+    lines.push("", "The procedure, from abaikit learnabai (read it with the mapping above):", findSection(guide, "retrofit").text, "", "The declaration API:", findSection(guide, "declare").text, "", "What never to do:", findSection(guide, "never").text, "", `When you believe level ${level} is reached, call check once; when it reports level ${level} with no violation, answer with the word DONE on its own line followed by a short summary of what you added and why. If you cannot go on, say why.`);
+    return lines.filter((l) => l !== undefined).join("\n");
+}
+function followUp(round, level) {
+    const status = round.check ? renderReport(round.check) : `check could not run: ${round.checkError}`;
+    return `abaikit ran check after your last round. Level ${level} is not reached yet. The report:\n\n${status}\nFix what it names, through the capabilities, then call check again. Answer DONE with a summary when level ${level} holds with no violation.`;
+}
+function consentLine(root, level, dryRun) {
+    return dryRun
+        ? `abaify: dry run on ${root}: the agent proposes a retrofit to level ${level}; nothing is written, though the repository's entry may be run read-only`
+        : `abaify: ${root} to level ${level}, with your consent for this run: the agent may add files, insert lines, add dependencies, run npm install (network, the repository's own install scripts), run the repository's entry and its check.run under the null harness`;
+}
+/** The report left in the repository: every change with its why, the rounds, the last check. */
+export function renderAbaifyReport(result, run) {
+    const lines = [
+        `# abaify report: ${result.root} (run ${run}, ${new Date().toISOString()})`,
+        "",
+        result.dryRun
+            ? `Dry run to level ${result.requested}: ${result.changes.length} change${result.changes.length === 1 ? "" : "s"} proposed, nothing written, no check run.`
+            : `Requested level ${result.requested}; reached level ${result.level}; ${result.passed ? "passed" : "not passed"} after ${result.rounds.length} round${result.rounds.length === 1 ? "" : "s"}.`,
+        consentLine(result.root, result.requested, result.dryRun).replace(/^abaify: /, "Consent: "),
+        "",
+    ];
+    if (result.failure)
+        lines.push(`The run ended short: ${result.failure}`, "");
+    const added = result.changes.filter((c) => c.kind === "added");
+    const rewritten = result.changes.filter((c) => c.kind === "rewritten");
+    lines.push("## Added (new files and inserted lines; nothing the repository had was removed or reordered)", "");
+    lines.push(...(added.length === 0 ? ["(none)"] : added.map((c) => `- ${c.how} ${c.path}: ${c.detail}. Why: ${c.why}`)));
+    lines.push("", "## Rewritten in place by a structured tool", "");
+    lines.push(...(rewritten.length === 0
+        ? ["(none)"]
+        : rewritten.map((c) => `- ${c.how} ${c.path}: ${c.detail}. Why: ${c.why}`)));
+    lines.push("", "## Rounds", "");
+    for (const r of result.rounds) {
+        lines.push(`### Round ${r.number}`, "", "The agent said:", "", r.answer.trim() || "(nothing)", "");
+        if (!result.dryRun) {
+            lines.push(r.check
+                ? `check after the round: level ${r.check.level}, ${r.check.passed ? "passed" : "not passed"}`
+                : `check could not run: ${r.checkError ?? "unknown"}`, "");
+        }
+    }
+    const last = result.rounds.at(-1)?.check;
+    if (last)
+        lines.push("## The last check report", "", "```", renderReport(last).trimEnd(), "```", "");
+    return `${lines.join("\n")}\n`;
+}
+/** The report appended to the repository's; the run number counts the reports already there. */
+function writeReport(root, result) {
+    const path = join(root, REPORT_FILE);
+    mkdirSync(join(root, "abai"), { recursive: true });
+    const previous = existsSync(path) ? readFileSync(path, "utf8") : "";
+    const run = (previous.match(/^# abaify report:/gm) ?? []).length + 1;
+    result.report = renderAbaifyReport(result, run);
+    writeFileSync(path, (previous === "" ? "" : `${previous.trimEnd()}\n\n---\n\n`) + result.report);
+    return path;
+}
+export async function abaify(options, io, bundle) {
+    const { app, embedding, repo: ctx } = bundle;
+    const root = resolve(io.cwd, options.repo);
+    if (!existsSync(join(root, "package.json"))) {
+        throw new UsageError(`${options.repo}: no package.json; abaify retrofits Node repositories (TypeScript or JavaScript) for now`);
+    }
+    if (app.mode !== "turns")
+        throw new UsageError(`abaify runs its agent in-process; unset ABAI_MODE (it is ${app.mode})`);
+    const level = options.level ?? 1;
+    const rounds = app.knob("abaify.max_rounds");
+    const range = app.manifest.cells.find((c) => c.name === "abaify.max_rounds")?.range ?? [1, 20];
+    if (options.rounds !== undefined) {
+        if (options.rounds < range[0] || options.rounds > range[1])
+            throw new UsageError(`--rounds must be ${range[0]} to ${range[1]}`);
+        rounds.set(options.rounds);
+    }
+    const say = (text) => io.err(text);
+    say(consentLine(root, level, options.dryRun));
+    ctx.dryRun = options.dryRun;
+    ctx.cwd = io.cwd;
+    ctx.onChange = (change) => say(`abaify: ${change.how} ${change.path}: ${change.detail}`);
+    const changesBefore = ctx.changes.length;
+    const result = {
+        root,
+        requested: level,
+        level: 0,
+        passed: false,
+        dryRun: options.dryRun,
+        rounds: [],
+        changes: [],
+        report: "",
+    };
+    // the agent: abaikit's own embedded harness, auto consent (the invocation is the person's), a channel that only speaks
+    const channel = { say, ask: async () => undefined, confirm: async () => false, close: () => { } };
+    embedding.options = {
+        model: options.model,
+        channel,
+        harness: { auto: true },
+        connectTimeoutMs: FIRST_CONTACT_MS,
+        addendum: `You are retrofitting ${root} for a person who asked abaikit to do it; every write is theirs to approve and they approved this run.`,
+    };
+    let form;
+    try {
+        if (!(await app.attach()) || !embedding.current) {
+            throw new Error(`no agent could be attached: ${app.attachError ?? "unknown"} (configure one with \`abaikit abai config\`, or follow \`abaikit learnabai\` with your own agent)`);
+        }
+        form = embedding.current.form;
+        const harness = embedding.current.harness;
+        const inv = inventory(root);
+        let prompt = brief(root, level, options.mode, inv, options.dryRun);
+        // read once: an agent setting its own knob mid-run changes the next run, not this one
+        const max = options.dryRun ? 1 : rounds.get();
+        for (let n = 1; n <= max; n++) {
+            say(`abaify: round ${n} of ${max}`);
+            const answer = await form.prompt(prompt);
+            const round = { number: n, answer, check: undefined };
+            result.rounds.push(round);
+            // a run the model could not finish ends the loop: before first contact the form detaches; after it the
+            // agent's last message carries the error, and another round would only spend the person's time
+            const last = [...form.agent.state.messages].reverse().find((m) => m.role === "assistant");
+            const stop = last && last.role === "assistant" ? last.stopReason : undefined;
+            if (form.modelFailure !== undefined || !harness.attached) {
+                result.failure = `the model could not be reached: ${form.modelFailure ?? "the harness detached"}`;
+                break;
+            }
+            if (stop === "error" || stop === "aborted") {
+                const why = last && last.role === "assistant" && "errorMessage" in last ? String(last.errorMessage ?? stop) : stop;
+                result.failure = `the model could not be reached: the request ${stop === "aborted" ? "was aborted" : "failed"} (${why}); run abaify again when it is back`;
+                break;
+            }
+            if (!options.dryRun) {
+                say(`abaify: check after round ${n}`);
+                try {
+                    round.check = await checkRepository({ repo: root, cwd: io.cwd, env: io.env, level, mode: options.mode });
+                    recordCheck(app, round.check);
+                    result.level = round.check.level;
+                    result.passed = round.check.passed;
+                }
+                catch (error) {
+                    round.checkError = errorMessage(error);
+                }
+            }
+            if (result.passed)
+                break;
+            prompt = followUp(round, level);
+        }
+    }
+    catch (error) {
+        result.failure = result.failure ?? errorMessage(error);
+        throw error;
+    }
+    finally {
+        form?.shutdown("abaify ended");
+        ctx.dryRun = false;
+        ctx.onChange = undefined;
+        result.changes = ctx.changes.slice(changesBefore);
+        // the report is written whatever happened once the agent was at work, so nothing done goes unrecorded
+        if (options.dryRun)
+            result.report = renderAbaifyReport(result, 1);
+        else if (result.rounds.length > 0 || result.changes.length > 0)
+            result.reportPath = writeReport(root, result);
+    }
+    if (options.dryRun)
+        result.passed = true;
+    return result;
+}
+export async function runAbaify(parsed, io, bundle, deps = {}) {
+    const result = await abaify({
+        repo: parsed.repo,
+        level: parsed.level,
+        mode: parsed.mode,
+        rounds: parsed.rounds,
+        dryRun: parsed.dryRun,
+        model: deps.model,
+    }, io, bundle);
+    io.out(result.report);
+    if (result.reportPath)
+        io.out(`report: ${result.reportPath}\n`);
+    if (result.failure) {
+        io.out(`abaify: ended short after ${result.rounds.length} round${result.rounds.length === 1 ? "" : "s"}: ${result.failure}\n`);
+        return 1;
+    }
+    io.out(result.dryRun
+        ? `dry run: ${result.changes.length} change${result.changes.length === 1 ? "" : "s"} proposed, nothing written\n`
+        : result.passed
+            ? `abaify: level ${result.level} reached in ${result.rounds.length} round${result.rounds.length === 1 ? "" : "s"}\n`
+            : `abaify: level ${result.requested} not reached after ${result.rounds.length} round${result.rounds.length === 1 ? "" : "s"} (reached ${result.level}); the report says what remains\n`);
+    return result.passed ? 0 : 1;
+}
+//# sourceMappingURL=abaify.js.map