@henols/c64-re-tools 2.0.0-rc.3 → 2.0.0-rc.4

package/skills/c64-provenance/scripts/runtime.ts

@@ -0,0 +1,179 @@
+// Runtime evidence for the differences between releases (D50): each release
+// runs in its own emulator, and each differing range gets its first access
+// (read, write, execute or none) and whether its bytes changed by the end.
+// Watchpoints and range breakpoints stop the run at an access; the coverage
+// map then tells which range and which access it was.
+
+import { COVERAGE, formatC64Address } from "#src/c64.ts";
+import { runProgram } from "#src/host-client/autostart.ts";
+import { readCoverage } from "#src/host-client/coverage.ts";
+import { runActionStep, type ActionStep } from "#src/host-client/steps.ts";
+import { MAX_MEMORY_READ, MAX_MEMORY_WRITE } from "#src/host-client/tools.ts";
+import { readProjectFile } from "#src/host-client/transfer.ts";
+import type { ViceSessionClient } from "#src/host-client/vice-session.ts";
+import type { Range } from "./compare.ts";
+
+export type FirstAccess = "read" | "write" | "execute" | "none";
+
+export interface RangeAccess {
+  first: FirstAccess;
+  /** True when the bytes at the end differ from the bytes of the release. */
+  changed: boolean;
+}
+
+/** How a release starts in the emulator. */
+export type Start =
+  | { kind: "program"; path: string }
+  | { kind: "image"; segments: Range[]; byteAt: (address: number) => number; state: ImageState };
+
+export interface ImageState {
+  pc: number;
+  a: number;
+  x: number;
+  y: number;
+  sp: number;
+  flags: { n: boolean; v: boolean; d: boolean; i: boolean; z: boolean; c: boolean };
+  port: [number, number];
+  /** $0000-$03ff at the entry. */
+  pages: Uint8Array;
+}
+
+const MAX_WATCH = 256;
+/** Frames until the KERNAL is at the READY prompt, before an image is written. */
+const READY_FRAMES = 150;
+
+const READ = COVERAGE.ramRead | COVERAGE.romRead | COVERAGE.ioRead;
+const WRITE = COVERAGE.ramWrite | COVERAGE.ioWrite;
+const EXECUTE = COVERAGE.ramExecute | COVERAGE.romExecute | COVERAGE.ioExecute;
+
+/** The first access that coverage flags show; a read-modify-write reads first. */
+export function accessOf(flags: number): FirstAccess {
+  if ((flags & EXECUTE) !== 0) return "execute";
+  if ((flags & READ) !== 0) return "read";
+  if ((flags & WRITE) !== 0) return "write";
+  return "none";
+}
+
+/** Starts the release; returns why it did not start, or undefined. */
+async function start(client: ViceSessionClient, how: Start): Promise<string | undefined> {
+  if (how.kind === "program") {
+    const failed = await runProgram(client, how.path, readProjectFile(how.path).bytes);
+    if (failed === "not-loaded") return "The program was not in memory after autostart.";
+    if (failed === "not-started") return "The program did not start after RUN; it needs a BASIC start line.";
+    return undefined;
+  }
+  await client.reset({ mode: "hard", run: true });
+  await client.execution({ action: "advance-frames", count: READY_FRAMES, space: "c64" });
+  for (const segment of how.segments) {
+    for (let at = segment.start; at <= segment.end; at += MAX_MEMORY_WRITE) {
+      const last = Math.min(segment.end, at + MAX_MEMORY_WRITE - 1);
+      const bytes = Buffer.from(Array.from({ length: last - at + 1 }, (_, offset) => how.byteAt(at + offset)));
+      await client.memoryWrite({ address: at, data: bytes.toString("hex"), space: "c64", view: "ram" });
+    }
+  }
+  const { state } = how;
+  // Pages 0 to 3 from $0002, then the CPU port: the port bits switch what the CPU sees.
+  await client.memoryWrite({ address: 0x0002, data: Buffer.from(state.pages.subarray(2)).toString("hex"), space: "c64", view: "ram" });
+  await client.memoryWrite({ address: 0x0000, data: Buffer.from(state.port).toString("hex"), space: "c64", view: "cpu" });
+  await client.registersSet("c64", { pc: state.pc, a: state.a, x: state.x, y: state.y, sp: state.sp, flags: state.flags });
+  return undefined;
+}
+
+/**
+ * Runs one release and watches the ranges (addresses of the release, after
+ * any shift is taken away). `release` gives the release's own bytes.
+ */
+export async function watchRelease(
+  client: ViceSessionClient,
+  how: Start,
+  ranges: Range[],
+  release: (address: number) => number,
+  run: { frames: number; steps: ActionStep[] },
+): Promise<{ started: true; accesses: RangeAccess[] } | { started: false; reason: string }> {
+  await client.reset({ mode: "hard", run: false });
+  const failed = await start(client, how);
+  if (failed !== undefined) return { started: false, reason: failed };
+  if ((await client.status()).state === "running") await client.execution({ action: "pause", space: "c64" });
+
+  const first: FirstAccess[] = ranges.map(() => "none");
+  const points = new Map<number, Array<{ kind: "watch" | "break"; id: number }>>();
+  for (const [index, range] of ranges.entries()) {
+    const ids: Array<{ kind: "watch" | "break"; id: number }> = [];
+    for (let at = range.start; at <= range.end; at += MAX_WATCH) {
+      const size = Math.min(MAX_WATCH, range.end - at + 1);
+      ids.push({ kind: "watch", id: (await client.watchpoint({ action: "add", address: at, size, access: "read-write", space: "c64" })).id });
+      ids.push({ kind: "break", id: (await client.breakpoint({ action: "add", address: at, size, space: "c64" })).id });
+    }
+    points.set(index, ids);
+  }
+  await client.memmap({ action: "clear" });
+
+  /** After a stop: the ranges that the coverage shows accessed get their first access, and lose their points. */
+  const settle = async (): Promise<boolean> => {
+    const map = await readCoverage(client);
+    let found = false;
+    for (const [index, ids] of points) {
+      const range = ranges[index]!;
+      let flags = 0;
+      for (let address = range.start; address <= range.end; address++) flags |= map[address]!;
+      if (accessOf(flags) === "none") continue;
+      first[index] = accessOf(flags);
+      for (const point of ids) {
+        if (point.kind === "watch") await client.watchpoint({ action: "remove", id: point.id });
+        else await client.breakpoint({ action: "remove", id: point.id });
+      }
+      points.delete(index);
+      found = true;
+    }
+    return found;
+  };
+
+  // Each stop at a point settles at least one range, so the stops are bounded; the guard ends a run that stops without an access.
+  let guard = 4 * ranges.length + 16;
+  /** Runs frames; a stop at a point settles and goes on with the frames that are left. */
+  const runFrames = async (count: number) => {
+    let left = count;
+    while (left > 0 && guard-- > 0) {
+      const ran = await client.execution({ action: "advance-frames", count: left, space: "c64" });
+      left -= ran.advancedFrames ?? left;
+      if (left > 0 && !(await settle())) left--;
+    }
+  };
+  for (const step of run.steps) {
+    if ("frames" in step) {
+      await runFrames(step.frames);
+      continue;
+    }
+    if ("runUntil" in step) {
+      // A stop at a point is not the target: settle and run to the target again.
+      while (guard-- > 0) {
+        const reached = await runActionStep(client, step, (location) => Number.parseInt(location.slice(1), 16));
+        if (reached === undefined || reached.stopReason !== "watchpoint" && reached.stopReason !== "breakpoint") break;
+        await settle();
+      }
+      continue;
+    }
+    await runActionStep(client, step, (location) => Number.parseInt(location.slice(1), 16));
+  }
+  await runFrames(run.frames);
+  if (points.size > 0) await settle();
+
+  const accesses: RangeAccess[] = [];
+  for (const [index, range] of ranges.entries()) {
+    const parts: Buffer[] = [];
+    for (let at = range.start; at <= range.end; at += MAX_MEMORY_READ) {
+      parts.push(Buffer.from((await client.memoryRead({ address: at, size: Math.min(MAX_MEMORY_READ, range.end - at + 1), space: "c64", view: "ram" })).data, "hex"));
+    }
+    const now = Buffer.concat(parts);
+    accesses.push({ first: first[index]!, changed: now.some((byte, offset) => byte !== release(range.start + offset)) });
+  }
+  for (const ids of points.values()) {
+    for (const point of ids) {
+      if (point.kind === "watch") await client.watchpoint({ action: "remove", id: point.id });
+      else await client.breakpoint({ action: "remove", id: point.id });
+    }
+  }
+  return { started: true, accesses };
+}
+
+export const showRange = (range: Range) => `${formatC64Address(range.start)}-${formatC64Address(range.end)}`;

package/skills/c64-provenance/scripts/separate.ts

@@ -0,0 +1,132 @@
+// Evidence from one release (D51): for each range of the image, the unpack
+// stage that wrote it and the access class from coverage; for each code
+// region of knowledge, whether call and jump references reach it from the
+// entry; and what the program reads or executes outside the image. Evidence
+// only: nothing here decides what is original.
+
+import { COVERAGE, executedRamCode } from "#src/c64.ts";
+import type { Range } from "./compare.ts";
+
+export type Access = "executed" | "read" | "written" | "read-written" | "untouched";
+
+export interface SeparationInput {
+  segments: Range[];
+  /** 64 KiB with the image bytes at their addresses. */
+  memory: Uint8Array;
+  entry?: number;
+  /** The stages of an unpacker capture, in order; the last one is the program. */
+  stages?: Array<{ entry: number; wrote: Range[] }>;
+  /** Joined coverage files (D40). */
+  coverage?: Uint8Array;
+  codeRegions: Array<Range & { type: string }>;
+  references: Array<{ from: number; to: number; kind: string }>;
+}
+
+export interface EvidenceRange extends Range {
+  /** The last stage that wrote the range; absent when no stage wrote it. */
+  stage?: number;
+  access?: Access;
+}
+
+export interface CodeRegionEvidence extends Range {
+  type: string;
+  /** Absent when the image has no entry. */
+  reachable?: boolean;
+  /** Absent without coverage. */
+  executed?: boolean;
+}
+
+export interface Separation {
+  ranges: EvidenceRange[];
+  codeRegions: CodeRegionEvidence[];
+  /**
+   * RAM outside the image and outside pages 0-3, from the coverage: `read`
+   * and `executed` the program never wrote (a loader or an earlier stage put
+   * those bytes there), and `generated` it wrote and then executed.
+   */
+  outside: { read: Range[]; executed: Range[]; generated: Range[] };
+}
+
+const SYSTEM_PAGES_END = 0x03ff;
+
+function merge(addresses: number[]): Range[] {
+  const ranges: Range[] = [];
+  for (const address of addresses) {
+    const last = ranges.at(-1);
+    if (last !== undefined && last.end + 1 === address) last.end = address;
+    else ranges.push({ start: address, end: address });
+  }
+  return ranges;
+}
+
+export function separate(input: SeparationInput): Separation {
+  const inImage = (address: number) => input.segments.some((segment) => address >= segment.start && address <= segment.end);
+  const executed = new Uint8Array(0x10000);
+  if (input.coverage !== undefined) for (const range of executedRamCode(input.coverage, 0, input.memory)) executed.fill(1, range.start, range.end + 1);
+  const accessAt = (address: number): Access | undefined => {
+    if (input.coverage === undefined) return undefined;
+    if (executed[address] === 1) return "executed";
+    const flags = input.coverage[address]!;
+    const read = (flags & COVERAGE.ramRead) !== 0;
+    const written = (flags & COVERAGE.ramWrite) !== 0;
+    return read && written ? "read-written" : read ? "read" : written ? "written" : "untouched";
+  };
+  const stageAt = (address: number): number | undefined => {
+    const stages = input.stages ?? [];
+    for (let index = stages.length - 1; index >= 0; index--) if (stages[index]!.wrote.some((range) => address >= range.start && address <= range.end)) return index;
+    return undefined;
+  };
+
+  const ranges: EvidenceRange[] = [];
+  for (const segment of input.segments) {
+    for (let address = segment.start; address <= segment.end; address++) {
+      const stage = stageAt(address);
+      const access = accessAt(address);
+      const last = ranges.at(-1);
+      if (last !== undefined && last.end + 1 === address && last.stage === stage && last.access === access) {
+        last.end = address;
+        continue;
+      }
+      ranges.push({ start: address, end: address, ...(stage === undefined ? {} : { stage }), ...(access === undefined ? {} : { access }) });
+    }
+  }
+
+  // Reachability: from the region that holds the entry, through call and jump references, to a fixed point.
+  const regions = input.codeRegions.filter((region) => input.segments.some((segment) => region.start <= segment.end && segment.start <= region.end));
+  const holding = (address: number) => regions.findIndex((region) => address >= region.start && address <= region.end);
+  const reached = new Set<number>();
+  if (input.entry !== undefined && holding(input.entry) >= 0) reached.add(holding(input.entry));
+  const flows = input.references.filter((reference) => reference.kind === "call" || reference.kind === "jump");
+  for (let grown = true; grown; ) {
+    grown = false;
+    for (const flow of flows) {
+      const from = holding(flow.from);
+      const to = holding(flow.to);
+      if (from >= 0 && to >= 0 && reached.has(from) && !reached.has(to)) {
+        reached.add(to);
+        grown = true;
+      }
+    }
+  }
+  const codeRegions = regions.map((region, index): CodeRegionEvidence => {
+    let ran: boolean | undefined;
+    if (input.coverage !== undefined) {
+      ran = false;
+      for (let address = region.start; address <= region.end && !ran; address++) ran = executed[address] === 1;
+    }
+    return { start: region.start, end: region.end, type: region.type, ...(input.entry === undefined ? {} : { reachable: reached.has(index) }), ...(ran === undefined ? {} : { executed: ran }) };
+  });
+
+  const read: number[] = [];
+  const ranOutside: number[] = [];
+  const generated: number[] = [];
+  if (input.coverage !== undefined) {
+    for (let address = SYSTEM_PAGES_END + 1; address < 0x10000; address++) {
+      if (inImage(address)) continue;
+      const written = (input.coverage[address]! & COVERAGE.ramWrite) !== 0;
+      if (executed[address] === 1) (written ? generated : ranOutside).push(address);
+      else if (!written && (input.coverage[address]! & COVERAGE.ramRead) !== 0) read.push(address);
+    }
+  }
+  return { ranges, codeRegions, outside: { read: merge(read), executed: merge(ranOutside), generated: merge(generated) } };
+}

package/skills/c64-reverse-engineering/SKILL.md

@@ -28,6 +28,13 @@ This skill uses the other skills. It does not use the host runtime or the emulat
 
 ## Workflow
 
+Select the path for the scope:
+
+- A narrow scope, for example one routine, the IRQ handler or the input system: use the loop.
+- A full rebuild of the program: use the stages.
+
+### The loop
+
 1. Write down the scope. Stop when the scope is complete.
 2. Read the current knowledge for the subject with the c64-knowledge skill. Do not examine again what the knowledge already explains.
 3. Find the next unknown or blocker, and use the specialist for it:
@@ -41,24 +48,70 @@ This skill uses the other skills. It does not use the host runtime or the emulat
 | The routines, code, data and references of the program | c64-static-analysis |
 | The platform meaning of an address or a register | c64-memory-map |
 | Differences between releases of the program | c64-provenance |
+| Source code from the knowledge | c64-source |
 | Source code to build | c64-assembler |
 | Proof that a rebuild behaves as the original | c64-testing |
 
 4. Interpret the result. Keep observed facts apart from your conclusions.
 5. Record each conclusion that the evidence supports with the c64-knowledge skill: names of routines and variables, data classifications, comments.
 6. Go back to step 3 until the scope is complete.
-7. For a rebuild scope: write the source, build it with the c64-assembler skill, and test it against the original with the c64-testing skill.
 
-A typical order for an unknown program:
+### The stages of a full rebuild
+
+Do the stages in this sequence. Go to the next stage only when its exit check is true, or when the user accepts an exception. Write each exception in the report.
+
+| Stage | Work | Exit check |
+|---|---|---|
+| 1. Acceptance | Ask the user for the criteria of the rebuild. Offer these: identical source, a verified loader, passed c64-testing scenarios, a list of the code that no run executed. Write the criteria in `report.md`. | The user gave the criteria. |
+| 2. Get | c64-disk: list the disk. Extract the start file into `original/`. | The start file is in the project. |
+| 3. Start | c64-basic: find the SYS address of the BASIC start. | You have the entry address. |
+| 4. Unpack | c64-unpacker: examine the program. Capture a packed program into `unpacked/`. | `image.json` and `entry_state.json` exist, or the evidence shows no packer. |
+| 5. Run | c64-emulator and the run of c64-testing: run each part that the scope names. Write a coverage file for each part into `coverage/`. | Each part that the scope names has a coverage file. |
+| 6. Analyze | c64-static-analysis with `--coverage` for each coverage file. | No coverage conflict is open. |
+| 7. Name | c64-knowledge and c64-memory-map: name each routine in the scope and give it a comment. Record the modules. | Each routine in the scope has a name and a comment. |
+| 8. Generate | c64-source with `--coverage` into `src/`. For an unpacked program, add `--loader`. | `check.identical` is true. For an unpacked program, `loader.verified` is true. |
+| 9. Build and test | c64-assembler with `--compare` into `build/`. c64-testing scenarios in `tests/`. | The criteria of stage 1 are true. |
+| 10. Report | Write `report.md`. | The report has all its sections. |
+
+In stage 5, if you cannot get to a part of the program, ask the user how to get to it. Do stages 7 and 8 again until the source is clear. Each run of c64-source writes the source again.
+
+### Deliverables of a full rebuild
+
+- `.c64-re-tools/knowledge.db` with the names, regions, comments and modules
+- the image and the entry state
+- the coverage files
+- the generated source
+- the built program and the loader
+- the c64-testing scenarios and their results
+- `report.md`.
+
+### The report
+
+`report.md` is short. It has these sections:
+
+1. Acceptance: each criterion of stage 1 and its result, and each exception that the user accepted.
+2. The program: what the program does, in a few sentences.
+3. Modules: the file, the address range and the title of each module.
+4. Untested code: the `notExecuted` ranges from c64-source. Tell why no run executed them, if you know.
+5. Open questions: what the evidence does not explain.
+
+Keep observed facts apart from your conclusions.
+
+### Project layout
+
+If the project has no layout, use this one. It is a proposal. No script checks it. Each script takes the paths that you give.
+
+```
+original/      the disk image or the program as you got it
+unpacked/      image.json, image.bin and entry_state.json from c64-unpacker
+coverage/      coverage files from c64_memmap
+src/           the generated source from c64-source
+build/         programs from c64-assembler
+tests/         c64-testing scenarios and their results
+report.md      the report
+```
 
-1. c64-disk: list the disk and extract the start file.
-2. c64-basic: find the SYS address of the BASIC start.
-3. c64-unpacker: find out if a packer compressed the program. Unpack it if necessary.
-4. c64-emulator: run the program and observe it.
-5. c64-static-analysis: find the routines, regions and references.
-6. c64-knowledge and c64-memory-map: name the important routines and variables.
-7. c64-static-analysis again: Ghidra now uses the names.
-8. c64-assembler and c64-testing: rebuild and test when the scope asks for it.
+If the project has a layout, use that layout.
 
 ## Knowledge
 
@@ -76,10 +129,11 @@ Record durable conclusions with the c64-knowledge skill. Do not store:
 
 ## Result
 
-A clear answer for the scope, with the durable conclusions in the project knowledge. For a rebuild scope, also a rebuilt program that passes its tests.
+A clear answer for the scope, with the durable conclusions in the project knowledge. For a full rebuild, the deliverables and the report, with the criteria of the user met or each exception in the report.
 
 ## Failure and conflicts
 
+- A skill reports `installation-incomplete`, or a message that the host runtime does not run: stop the whole task. Give the message to the user and wait for the user. Do not continue with other skills. Do not make a replacement for the tool or the host runtime, for example your own disk parser, disassembler or emulator script.
 - If the evidence does not support a conclusion, keep the unknown and get more evidence. Do not make up a meaning.
 - Before you replace current knowledge from the user or the LLM, read its history and the evidence for it.
 - A conflict from the static analysis: find the correct answer at run time with the c64-emulator skill.

package/skills/c64-source/SKILL.md

@@ -0,0 +1,119 @@
+---
+name: c64-source
+description: Use this skill to generate ACME source code for a C64 program from its image and the project knowledge. The script runs Ghidra for the instructions and writes the source files. It checks with ACME that the source assembles to the same bytes as the image. It can also write a loader that sets the entry state of an unpacked program. Use it to make a rebuild. Do not edit the generated files. Change the knowledge and generate again.
+---
+
+# c64-source
+
+## Purpose
+
+Generate ACME source from an image and the knowledge. The same knowledge gives the same source. Make the source better through the knowledge: names, comments, regions and modules. Then generate again.
+
+This skill does not change the knowledge.
+
+## Inputs
+
+- The image: an `image.json` from c64-unpacker capture, or a PRG. The path is relative to the project directory.
+- The output directory for the source files, relative to the project directory.
+- Optional entry points for Ghidra.
+- For the loader: the `entry_state.json` next to `image.json`.
+
+## Tools / execution path
+
+The script runs Ghidra and ACME on this machine. With `--loader`, it also runs the loader in the emulator through the host runtime.
+
+```
+node <skill>/scripts/generate.ts unpacked/image.json --out src
+node <skill>/scripts/generate.ts game.prg --out src --entry '$080d'
+node <skill>/scripts/generate.ts unpacked/image.json --out src --loader
+```
+
+| Option | Meaning |
+|---|---|
+| `--out src` | The directory for the source files. The script writes over the files that it generated before. |
+| `--entry '$080d'` | An entry point for Ghidra. Use it again for more entry points. The entry of `image.json`, the routines and the code regions in the knowledge are entry points too. |
+| `--coverage coverage/attract.bin` | A coverage file of 64 KiB from `c64_memmap` with `out`. Use it again for more runs. Code that no run executed gets the line `; not executed`, and `notExecuted` lists it. |
+| `--space drive8` | Generate the source of drive code or a cartridge bank from the knowledge of that space. `--coverage` and `--loader` are only for `c64`, and platform names are only for `c64`. |
+| `--loader` | Also write `loader.asm` and `loader.prg`. This needs `image.json` with an entry, and `entry_state.json`. |
+
+## Workflow
+
+1. Get the image. For a packed program, use c64-unpacker capture. For a program without a packer, use the PRG.
+2. Run the script.
+3. Read `check`. `identical: true` tells that the source assembles to the image byte by byte.
+4. Read the source. A label `l_xxxx` is an address that has no name in the knowledge.
+5. Record names, comments, regions and modules with the c64-knowledge skill. Use `apply` for many changes.
+6. Run the script again. Do steps 4 to 6 again until the source is clear.
+7. Build the program with the c64-assembler skill: `--source-root src --entry main.asm`.
+8. For an unpacked program, run the script with `--loader` at the end. Test `loader.prg` against the original with the c64-testing skill.
+
+## The source
+
+- `main.asm` sets the address of each segment and includes the files in address order.
+- Each module in the knowledge is one file. A module starts at its address and stops at the next module or at the end of its segment. Without modules, each segment is one file, `segment_xxxx.asm`.
+- `constants.asm` holds the names of addresses outside the image, for example `EXTCOL = $d020`.
+- A label or a constant gets the name of the address in the knowledge. Without a knowledge name, it gets the platform name of the c64-memory-map skill, for example `EXTCOL` or `CHROUT`. An address in the image without a name gets `l_xxxx`.
+- Code regions, and the instructions that Ghidra decodes outside of data regions, become instructions.
+- Data regions become data by their type: `!byte`, `!word`, `!pet`, `!scr`, `!fill`, tables of labels, and sprite bytes in binary.
+- `lda+2 $0012` is an absolute operand below $0100. `+1` is a zero-page operand with a label.
+- `name = * + 1` is a label inside an instruction, for example for code that changes its own operand.
+- `!byte` with an instruction as its comment: ACME writes this instruction with a different opcode. The bytes keep the source identical.
+- `not decoded` marks bytes in a code region that Ghidra did not decode.
+- `; not executed` starts code that no run of the `--coverage` files executed.
+
+Do not edit the generated files. The next run writes over them.
+
+## The loader
+
+`--loader` writes `loader.asm` and assembles it to `loader.prg`. The loader does these steps:
+
+1. `10 SYS 2061` starts it.
+2. It moves its copier to two free pages. The copier runs with interrupts off and with all RAM visible.
+3. It copies each segment and the pages $0002-$03ff of the entry state into place. The script selects an order in which no copy writes over the packed bytes of a copy that has not run yet.
+4. It sets $00/$01, the stack pointer, A, X, Y and the flags, and jumps to the entry.
+
+The flags go through the free stack byte below the stack pointer (`stackByte`). The loader changes this byte. The loader does not set the VIC, SID and CIA registers. They stay as the KERNAL set them.
+
+The script simulates the copies first. Then it runs `loader.prg` in the emulator to the entry. It compares the memory, $00/$01 and the registers with the entry state. `loader.verified: true` tells that all of them are equal.
+
+## Knowledge
+
+Read:
+- symbols, regions, comments, references and modules of all origins.
+
+Automatic write:
+- none.
+
+Do not store:
+- the generated source or its labels `l_xxxx`.
+
+## Result
+
+One JSON object:
+
+- `files`: the files in the output directory.
+- `instructions`, `dataBytes` and `undecodedBytes`.
+- `labels`: `named` labels from the knowledge and `generated` labels `l_xxxx`.
+- `asBytes`: the instructions that the source has as bytes.
+- `unusedModules`: modules that start outside the image.
+- `notExecuted`: with `--coverage`, the count of instructions that no run executed, and their ranges. Put these ranges in the report.
+- `check`: `identical`, and the result for each segment. A different segment gives its first different address.
+- `loader`: the program, the copies in their order, the copier page, `stackByte`, `verified` and `differences`.
+
+The exit status is 0 when the source is identical and the emulator check of the loader passes. The exit status is 1 for a failed check and for an error. The exit status is 2 for a wrong argument.
+
+## Failure and conflicts
+
+- `check.diagnostics`: ACME did not assemble the source. A name in the knowledge can be wrong for ACME. Read the diagnostics and change the name with c64-knowledge.
+- `check.identical: false`: the script has a defect. Give the result to the user.
+- `invalid-input` that names a symbol or a module: change that symbol or module in the knowledge.
+- `invalid-input` for the loader: no copy order or no free pages exist. The message gives the ranges. Capture the image again with fewer segments, or write the loader by hand.
+- `loader.verified: false`: `differences` gives the bytes and registers that are not equal.
+- `installation-incomplete`, or a message that the host runtime does not run: stop the task. Give the message to the user and wait for the user. The message gives the remedy. Do not make a replacement for the tool or the host runtime, for example your own disassembler or emulator script.
+
+## Handoffs
+
+- Get an image → c64-unpacker
+- Names, regions, comments and modules → c64-knowledge
+- Build the program → c64-assembler
+- Test the rebuild against the original → c64-testing