assertledger 1.1.1 → 1.3.0

package/README.fr.md

@@ -9,12 +9,12 @@ Vous obtenez un verdict, les observations qui le justifient et un fichier de pre
 
 [Essayer l’exemple](#essayer-lexemple) · [Comprendre le résultat](#comprendre-le-résultat) · [Utiliser votre dépôt](#utiliser-votre-dépôt) · [Documentation](#documentation)
 
-**1.1 · node:test · CLI, SDK et MCP · MIT**
+**1.3 · node:test et bun:test · CLI, SDK et MCP · MIT**
 
 Installez l’outil dans votre dépôt avec Node.js 22.15 ou une version ultérieure :
 
 ```sh
-npm install --save-dev assertledger@1.1.1
+npm install --save-dev assertledger@1.3.0
 npx assertledger doctor .
 ```
 
@@ -57,10 +57,10 @@ flowchart LR
 
 ## Essayer l’exemple
 
-Prérequis : **Git**, **Node.js 22.15+** et **pnpm 11.1.2**. Le premier adaptateur intégré utilise `node:test`.
+Prérequis : **Git**, **Node.js 22.15+** et **pnpm 11.1.2**. L’exemple utilise l’adaptateur intégré `node:test`.
 
 ```sh
-git clone --branch v1.1.1 https://github.com/hoklims/assertledger.git
+git clone --branch v1.3.0 https://github.com/hoklims/assertledger.git
 cd assertledger
 pnpm install --frozen-lockfile
 pnpm build
@@ -71,9 +71,15 @@ L’exemple fourni contient une fonction de parité correcte, sa version invers
 puis lancez :
 
 ```sh
+node dist/cli.js demo --allow-unsafe-execution
+# Ou pour examiner directement le manifeste complet :
 node dist/cli.js verify examples/node-test/request.json --allow-unsafe-execution --json
 ```
 
+`demo` copie l’exemple fourni dans un dossier temporaire jetable, puis le supprime. Son résultat
+démontre uniquement le paquet AssertLedger installé ; il ne constitue pas une preuve sur votre
+dépôt.
+
 > **Exécutez uniquement du code de confiance.** L’option `--allow-unsafe-execution` autorise
 > l’exécution locale du code. Ce mode est explicitement **UNSANDBOXED**, sans bac à sable :
 > il ne protège pas votre machine contre du code malveillant.
@@ -145,6 +151,20 @@ node dist/cli.js doctor path/to/your-repository
 node dist/cli.js doctor path/to/your-repository --json
 ```
 
+Pour prévisualiser l’initialisation et la connexion en lecture seule d’un agent dans une seule
+opération contrôlée :
+
+```sh
+node dist/cli.js setup path/to/your-repository --client codex --dry-run
+node dist/cli.js setup path/to/your-repository --client codex --write
+```
+
+Utilisez `--client claude-code` pour Claude Code. Sans option de mode, `setup` reste une
+prévisualisation. La commande contrôle toutes les cibles avant sa première écriture ; un conflit
+apparu après l’initialisation ne retire que les fichiers créés par cette invocation et restés
+strictement identiques. Si une restauration sûre est impossible, la commande renvoie
+`PARTIAL_FAILURE`, le code 5 et la liste explicite des fichiers non restaurés.
+
 `WOULD_CREATE` signifie qu’une configuration peut être préparée. Vous fournissez encore le test
 candidat et les contrôles. Le [guide d’initialisation](docs/repository-init.md) décrit `init`,
 la configuration et le verrou des preuves. Détecter un framework ne signifie pas savoir l’exécuter.
@@ -153,6 +173,15 @@ Après l’initialisation, le [diagnostic dynamique](docs/runtime-doctor.md) vé
 la découverte des tests et l’attribution des assertions avec `doctor --runtime --allow-unsafe-execution`.
 Pour comprendre un refus, lancez `explain CODE` : la commande indique la prochaine action sûre.
 
+### Bun 1.4.2
+
+Pour un dépôt `bun:test`, lancez `assertledger doctor . --framework bun:test`. Après `init` et le
+diagnostic dynamique, écrivez des tests candidats v3 avec `assertSame` depuis `assertledger/bun`.
+L’adaptateur cible précisément Bun 1.4.2 et attribue les échecs de cet outil. Les échecs `expect`
+natifs restent des erreurs d’exécution et ne comptent pas comme détection du défaut. Le
+[guide de migration Bun](docs/migration-verification-v3.md) décrit la requête, l’exécution et le
+rejeu. Ce mode exécute du code local de confiance sans bac à sable.
+
 ### Qualifier un test de régression commité
 
 Choisissez le commit qui contient le bug (`BEFORE`), sa correction (`AFTER`) et un témoin neutre
@@ -205,6 +234,7 @@ Le guide Git est en français ; les autres références techniques sont en angla
 | Vous souhaitez… | Commencez ici |
 | --- | --- |
 | Préparer un dépôt | [Initialisation](docs/repository-init.md) · [Audit statique](docs/repository-audit.md) |
+| Vérifier une régression Bun | [Migration Bun](docs/migration-verification-v3.md) |
 | Comprendre un blocage | [Diagnostic dynamique](docs/runtime-doctor.md) · [Explication des motifs](docs/diagnostics.md) |
 | Essayer une correction historique | [Exemple Unicode-regexp](examples/git-history/README.md) |
 | Qualifier une correction ou connecter Codex | [Parcours Git](docs/git-regression.md) · [Prise en main](docs/developer-experience.md) |

package/README.md

@@ -9,12 +9,12 @@ You get a verdict, the observations behind it and an evidence file you can repla
 
 [Try the example](#try-the-example) · [Understand the result](#understand-the-result) · [Use your repository](#use-your-repository) · [Documentation](#documentation)
 
-**1.1 · node:test · CLI, SDK and MCP · MIT**
+**1.3 · node:test and bun:test · CLI, SDK and MCP · MIT**
 
 Install in your repository with Node.js 22.15 or later:
 
 ```sh
-npm install --save-dev assertledger@1.1.1
+npm install --save-dev assertledger@1.3.0
 npx assertledger doctor .
 ```
 
@@ -56,10 +56,10 @@ flowchart LR
 
 ## Try the example
 
-You need **Git**, **Node.js 22.15+** and **pnpm 11.1.2**. The first built-in adapter is `node:test`.
+You need **Git**, **Node.js 22.15+** and **pnpm 11.1.2**. The example uses the built-in `node:test` adapter.
 
 ```sh
-git clone --branch v1.1.1 https://github.com/hoklims/assertledger.git
+git clone --branch v1.3.0 https://github.com/hoklims/assertledger.git
 cd assertledger
 pnpm install --frozen-lockfile
 pnpm build
@@ -69,9 +69,15 @@ The bundled example contains a correct parity function, an inverted version, a n
 and the two tests above. Inspect [its request](examples/node-test/request.json), then run:
 
 ```sh
+node dist/cli.js demo --allow-unsafe-execution
+# Or inspect the complete manifest directly:
 node dist/cli.js verify examples/node-test/request.json --allow-unsafe-execution --json
 ```
 
+`demo` copies the shipped example to a disposable temporary directory and removes it afterward.
+Its result demonstrates the installed AssertLedger package only; it is not evidence about your
+repository.
+
 > **Run trusted code only.** `--allow-unsafe-execution` authorizes local code execution.
 > This backend is explicitly **UNSANDBOXED**. Use a trusted checkout; it cannot contain hostile code.
 
@@ -138,6 +144,19 @@ node dist/cli.js doctor path/to/your-repository
 node dist/cli.js doctor path/to/your-repository --json
 ```
 
+To preview initialization and a read-only agent connection as one conflict-checked operation:
+
+```sh
+node dist/cli.js setup path/to/your-repository --client codex --dry-run
+node dist/cli.js setup path/to/your-repository --client codex --write
+```
+
+Use `--client claude-code` for Claude Code. The preview is also the default when neither mode flag
+is present. Setup checks every initialization and connection target before its first managed-file
+write. If a connection conflict appears after initialization, setup removes only init files that
+this invocation created and that still match its exact bytes. Anything it cannot safely restore is
+reported as `PARTIAL_FAILURE` with exit code 5 and an explicit unresolved-file list.
+
 `WOULD_CREATE` means a configuration can be planned. You still supply the candidate and controls.
 The [initialization guide](docs/repository-init.md) explains `init`, the configuration and evidence
 lock. Detection of a framework is not proof that AssertLedger can execute it.
@@ -146,6 +165,15 @@ After initialization, [runtime doctor](docs/runtime-doctor.md) can check Node, t
 discovery and assertion attribution with `doctor --runtime --allow-unsafe-execution`.
 For a refusal, use `explain CODE` to get a safe next action.
 
+### Bun 1.4.2
+
+For a `bun:test` repository, run `assertledger doctor . --framework bun:test`. After `init` and
+the runtime doctor, author v3 regression candidates using `assertSame` from `assertledger/bun`.
+The Bun adapter pins version 1.4.2 and attributes failures from this helper. Native Bun `expect`
+failures remain operational failures and cannot count as target detection. See the
+[Bun migration guide](docs/migration-verification-v3.md) for the request, execution and replay
+contract. The execution mode is explicitly unsandboxed and intended for trusted local code.
+
 ### Qualify a committed regression test
 
 Choose the buggy commit (`BEFORE`), its correction (`AFTER`) and a neutral control (`NEUTRAL`).
@@ -194,6 +222,7 @@ The [client guide](docs/client-connections.md) covers installation and removal.
 | You want to… | Start here |
 | --- | --- |
 | Set up a repository | [Initialization](docs/repository-init.md) · [Static audit](docs/repository-audit.md) |
+| Verify a Bun regression | [Bun migration](docs/migration-verification-v3.md) |
 | Diagnose a blockage | [Runtime doctor](docs/runtime-doctor.md) · [Reason-code guidance](docs/diagnostics.md) |
 | Try a historical correction | [Unicode-regexp example](examples/git-history/README.md) |
 | Qualify a correction or connect Codex | [Git workflow](docs/git-regression.md) · [Developer entry points](docs/developer-experience.md) |

package/conformance/schema-extensions.json

@@ -22,15 +22,40 @@
       "rawSha256": "sha256:687dcfd2b1ecef5fd9fc6d9ac118ceebebc3fdb74c9e162fddc2759e360adfc7",
       "$id": "https://testforge.dev/schemas/evidence-manifest.v2.json"
     },
+    {
+      "path": "schemas/evidence-manifest.v3.json",
+      "rawSha256": "sha256:460925ce29c51e47a38e439264f56dac9d444f52a07ec103f38b44e59679adbd",
+      "$id": "https://testforge.dev/schemas/evidence-manifest.v3.json"
+    },
     {
       "path": "schemas/evidence-provider-manifest.v1.json",
       "rawSha256": "sha256:6100995f772cd24b7369e4428fb1aba570f1ba6e1f61295bc42a1f7ce6b5bde3",
       "$id": "https://testforge.dev/schemas/evidence-provider-manifest.v1.json"
     },
+    {
+      "path": "schemas/repository-init-config.v2.json",
+      "rawSha256": "sha256:03176fe2fabd53f1b688815f2d163907ed5771b1b4e45be124a15ccf4e9e2328",
+      "$id": "https://testforge.dev/schemas/repository-init-config.v2.json"
+    },
+    {
+      "path": "schemas/repository-init-lock.v2.json",
+      "rawSha256": "sha256:d3d81aa21491cd545163a63b579ad87e2b21f7de19a89ca70c6f4de98eb22966",
+      "$id": "https://testforge.dev/schemas/repository-init-lock.v2.json"
+    },
+    {
+      "path": "schemas/repository-init-result.v2.json",
+      "rawSha256": "sha256:41c984107b3bec203bd049fa8fa0df87e1c3b6b0a421c88a4fdeef18f6b1dea5",
+      "$id": "https://testforge.dev/schemas/repository-init-result.v2.json"
+    },
     {
       "path": "schemas/verification-request.v2.json",
       "rawSha256": "sha256:cefa0fba0a75435165bf6fdc6ee90b638488cecaab3ad8f40f3e98820a6b8d34",
       "$id": "https://testforge.dev/schemas/verification-request.v2.json"
+    },
+    {
+      "path": "schemas/verification-request.v3.json",
+      "rawSha256": "sha256:3b88e4c58425aa9a45da330b27f4a48d778c1f9a2494ac2a9a4c01b29728fd77",
+      "$id": "https://testforge.dev/schemas/verification-request.v3.json"
     }
   ]
 }

package/dist/build-info.json

@@ -1,7 +1,7 @@
 {
   "sourceRevision": {
     "status": "RECORDED",
-    "commit": "14565465647e7694eabcc3ea1d07d4095d2bbcde",
+    "commit": "b9407bff214e37f55e75af9f50e49191a48b8229",
     "worktree": "CLEAN"
   }
 }

package/dist/cli.d.ts

@@ -1,9 +1,16 @@
 #!/usr/bin/env node
+import { runFixtureDemo } from "./engine/demo.js";
+import { setupRepository } from "./engine/setup.js";
 export interface CliIo {
     cwd: string;
     readStdin(): Promise<string>;
     writeStdout(text: string): void;
     writeStderr(text: string): void;
 }
-export declare function runCli(argv: string[], io: CliIo): Promise<number>;
+export interface CliDependencies {
+    setupEntry?: string;
+    setupRepository?: typeof setupRepository;
+    runFixtureDemo?: typeof runFixtureDemo;
+}
+export declare function runCli(argv: string[], io: CliIo, dependencies?: CliDependencies): Promise<number>;
 //# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AAwBA,MAAM,WAAW,KAAK;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7B,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AA6eD,wBAAsB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CA0kBvE"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AASA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAMlD,OAAO,EAAgD,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAWlG,MAAM,WAAW,KAAK;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7B,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAED,MAAM,WAAW,eAAe;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,OAAO,eAAe,CAAC;IACzC,cAAc,CAAC,EAAE,OAAO,cAAc,CAAC;CACxC;AAkoBD,wBAAsB,MAAM,CAC1B,IAAI,EAAE,MAAM,EAAE,EACd,EAAE,EAAE,KAAK,EACT,YAAY,GAAE,eAAoB,GACjC,OAAO,CAAC,MAAM,CAAC,CAuvBjB"}