loki-mode 11.57.1 → 11.57.3

package/SKILL.md

@@ -3,7 +3,7 @@ name: loki-mode
 description: Runs an autonomous software factory that knows what it is supposed to deliver and proves it did, with a signed receipt. Use when the user says Loki Mode or asks to build, fix or verify software autonomously.
 ---
 
-# Loki Mode v11.57.1
+# Loki Mode v11.57.3
 
 **Current entry points (Loki 10 engine):** `loki "<task>"`, `loki owner/repo#N` and `loki quick "<task>"` run the Loki 10 engine and end with a signed receipt (`loki verify`). `loki backlog owner/repo --all` runs many issues in parallel. Guide: `docs/v10/GUIDE.md`. The skill instructions below, and `loki start`, describe the previous bash loop. PRD-file starts (`loki start ./prd.md`) and the opencode provider still run on it until FC38-SWEEP ports them; the legacy-engine command and the LOKI_ENGINE switch remain removed. Prefer `loki owner/repo#N` for issues.
 
@@ -476,4 +476,4 @@ Implemented, planned and deprecated items, with the version each landed in: `ski
 
 ---
 
-**v11.57.1 | [Autonomi](https://www.autonomi.dev/) flagship product | core skill**
+**v11.57.3 | [Autonomi](https://www.autonomi.dev/) flagship product | core skill**

package/VERSION

@@ -1 +1 @@
-11.57.1
+11.57.3

package/dashboard/__init__.py

@@ -7,6 +7,6 @@ Modules:
     control: Session control helpers (status, atomic writes, origin check)
 """
 
-__version__ = "11.57.1"
+__version__ = "11.57.3"
 
 __all__ = ["__version__"]

package/docs/CLI-REFERENCE.md

@@ -1,6 +1,6 @@
 # CLI reference
 
-Generated from `loki-ts/src/cli/registry.ts` by `scripts/generate-stale-zero.sh` for v11.57.1. Do not edit by hand.
+Generated from `loki-ts/src/cli/registry.ts` by `scripts/generate-stale-zero.sh` for v11.57.3. Do not edit by hand.
 Hidden and legacy-only commands are omitted; see `docs/v10/CLI-MODERN.md` for the full inventory.
 
 | Command | Description |

package/docs/INSTALLATION.md

@@ -2,7 +2,7 @@
 
 Loki Mode, by [Autonomi](https://www.autonomi.dev/), turns a spec or an issue into a verified pull request with a receipt you can check. This page covers installing it, a first run, and the options around it.
 
-**Version:** v11.57.1
+**Version:** v11.57.3
 
 **Engine note:** `loki start` is the primary command. `loki start`, `loki "<task>"`, `loki owner/repo#N` and `loki quick` all run the Loki 10 engine, whatever the flag order or input form (PRD file, issue ref, task or one-word brief). The previous loop runs only on `--engine legacy`, `LOKI_ENGINE=legacy`, or for one call when a flag Loki 10 cannot honor is present. See the [user guide](v10/GUIDE.md) and the [5-minute quickstart](QUICKSTART.md).
 

package/docs/v10/FAILURE-CLASSES.md

@@ -1525,3 +1525,13 @@ L0 review rule (ENGINE-LAWS.md L0): a fix that adds an `if` or a regex about the
 - Siblings swept: `loki resume` (the reporter, keeps its 0/4/5 map), `loki "<task>" --resume` (already resumeFlag), bare `loki verify` and `loki verify e10-*` (already v10 in bin/loki), `--pubkey` verify (already v10), a git ref and a non-receipt .json (stay on the diff verifier, pinned as controls).
 - Mechanism: `start --resume` delegates `engine10 --resume [run-id]` and returns the code unchanged; cmd_verify sends `.loki/runs/e10-*/receipt.json` paths and any existing file whose schema starts `loki.v10.receipt` to `engine10 verify`.
 - Fixture: tests/test-next-resume-agree.sh drives the real Bun entry on a seeded interrupted run (asserts `engine10: resume from stage implement`, exit 2 not 0) and a stub that exits 4 (asserts 4); tests/test-verify-receipt-route.sh covers the path forms, a tampered receipt (TAMPERED, never CONCERNS) and the diff-verifier controls. Red on origin/main (17 and 4 failures), green after; mutants (delegate back to `resume`, schema route removed) turn them red.
+
+
+
+## FC-EMPTY-RUN-BRANCH-LEFT-CHECKED-OUT A run that committed nothing left HEAD on its empty loki/ branch, the next run stacked on it, and the handoff offered to merge a 0-file change
+- User-visible vs raw: user-visible. After two FAILED runs with 0 commits, two empty `loki/e10-*` branches remained, HEAD sat on the last one (the next run printed `base: loki/e10-...`), and HANDOFF.md read `Accept: git merge --no-ff loki/e10-...` for 0 files.
+- Law: a run never leaves the user's checkout worse than it found it (Claude Code never moves your branch); only work that exists is offered for acceptance.
+- Cause (measured): stages/intake.ts ensureBranch checks out the run branch; supervisor.ts restored origBranch only on a stop signal, and run_summary.ts always printed the Accept/Reject pair.
+- Siblings swept: stop (SIGINT/SIGTERM) already restored via restoreBranch and keeps the branch (a stopped run is resumable); crashed runs never reach the terminal code, so resume keeps its branch. A run branch with any commit, a branch the user moved off, and a non-`loki/` name are never touched.
+- Mechanism: stop_restore.ts dropEmptyRunBranch, called once from the supervisor after the backstop commit, deletes the branch (update-ref -d with the expected tip) only when the tip equals intake's base_sha, after restoreBranch's plain no-force checkout; run_summary.ts prints `Nothing to accept` for 0 files.
+- Fixture: tests/engine10/supervisor_signal.test.ts "supervisor: a run that committed nothing" (empty, committed positive control, user-switched, dirty, non-loki name) and tests/util/run_summary.test.ts (0-file Decide block).