loki-mode 11.60.10 → 11.60.12

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.60.10
+# Loki Mode v11.60.12
 
 **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.60.10 | [Autonomi](https://www.autonomi.dev/) flagship product | core skill**
+**v11.60.12 | [Autonomi](https://www.autonomi.dev/) flagship product | core skill**

package/VERSION

@@ -1 +1 @@
-11.60.10
+11.60.12

package/dashboard/__init__.py

@@ -7,6 +7,6 @@ Modules:
     control: Session control helpers (status, atomic writes, origin check)
 """
 
-__version__ = "11.60.10"
+__version__ = "11.60.12"
 
 __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.60.10. Do not edit by hand.
+Generated from `loki-ts/src/cli/registry.ts` by `scripts/generate-stale-zero.sh` for v11.60.12. 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.60.10
+**Version:** v11.60.12
 
 **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

@@ -1624,3 +1624,20 @@ L0 review rule (ENGINE-LAWS.md L0): a fix that adds an `if` or a regex about the
 - Siblings swept: every other `process.env` spawn in providers/ is already listed with a reason (claude_flags.ts, runner/providers.ts) or token-free; mcp_config.ts is the only unlisted one (guard output).
 - Mechanism: spawn through `tokenFreeEnv(process.env)` (util/safe_git.ts), the shared scoped env builder.
 - Fixture: tests/providers/mcp_config.test.ts runs a fake `cline` that records GH_TOKEN, GITHUB_TOKEN and SSH_AUTH_SOCK with canary values set in the parent; red with `env: process.env` (restored in the mutant run), green with tokenFreeEnv. The full_env_spawn_guard goes red on the same mutant.
+
+
+## FC-WALL-FILE-WITHOUT-RUNNER-SILENTLY-DROPPED A sealed Wall file that no runner of the repo can run was dropped from verify, named nowhere, and the receipt still said wall.passed true
+- User-visible vs raw: user-visible. A Wall of `loki_wall_a_test.py` plus `loki_wall_b.rs` (or `.java`, `.rb`) verified with `wall_passed: true` and an empty `not_proven`; the second acceptance test was sealed read-only and never executed.
+- Law: a sealed Wall file is either executed and passing, or named NOT PROVEN; a proof never covers a file it did not run.
+- Cause (measured): wall.ts guessRunner returns null for any extension other than `.py`, `.go` and the repo's JS/TS runner, so the file was sealed but left out of wallTests and out of not_run_files; verify.ts built wallTests from `map.tests` filtered by the sealed paths, so a path with no test entry vanished, and wall_passed was computed only over the checks that ran.
+- Siblings swept: every extension guessRunner refuses (`.rs`, `.java`, `.rb`, `.php`, `.cs`, a JS file with no JS runner detected), a `.py` or JS Wall file the verify test map does not list (same drop in verify), the all-dropped Wall (wall_passed stays unset, never true), publishableWall (requires an executed passing target check, so a dropped file is never published; it is now named in not_proven instead of vanishing), holdout checks (unchanged, they come from a separate store).
+- Mechanism: one wording, `NO_RUNNER_REASON` in util/check_result.ts. wall.ts adds each sealed file without a runner to `not_run_files` (seal.ts already turns those into `Wall test not executed: <file>: <reason>`); verify.ts adds the same line to `not_proven` for every sealed path missing from wallTests and refuses `wall_passed: true` while any is missing (a failing check still gives false). Seal's set dedups the identical text.
+- Fixture: tests/engine10/verify.test.ts "FC-WALL-FILE-WITHOUT-RUNNER-SILENTLY-DROPPED" (mixed runnable plus `.java` is not a bare true, all-dropped is unset, the runnable-only control stays true with no such line) and the extended tests/engine10/wall.test.ts "a sealed file whose runner cannot be guessed" (the `.rb` is named, the `.py` is not). Mutants: dropping the wall_passed guard, dropping the not_proven push, and dropping the not_run_files push each turn the matching test red.
+
+## FC-E10EXT-LINE-BUDGET-CROSSED-BY-ACCUMULATION Slices that each fit the e10ext budget summed past it, so structural-checks "line budgets" went red on main (1513 >= 1500)
+- User-visible vs raw: raw. No user output changes; the structural-checks gate fails on main and blocks every release behind it.
+- Law: a budget is a ceiling on the directory, not on a slice; the slice that crosses it moves cohesive code to the module that already owns that concern, never raises the cap.
+- Cause (measured): `find loki-ts/src/e10ext -name '*.ts'` counted 1513 lines with scripts/structural-checks.sh's awk rule; e10ext holds 15 files and the cap is 1500.
+- Siblings swept: engine10 core is 4979 of 5000 (no headroom to move code into it), modernize and contrib budgets, the earlier e10ext 1509 of 1500 recorded under the 10.7.1 train row.
+- Mechanism: currentBranch and restoreBranch (a git helper used by supervisor, base_guard and run_outputs) live in util/safe_git.ts, which owns git helpers and has no line budget; e10ext is 1492.
+- Fixture: scripts/structural-checks.sh "line budgets" PASS; loki-ts/tests/engine10/budget.test.ts and tests/util/fc25_safe_git.test.ts keep restoreBranch covered at its new path. Red on origin/main 5fa53fe11 (1513), green after.