loki-mode 11.17.99 → 11.17.100

package/SKILL.md

@@ -3,7 +3,7 @@ name: loki-mode
 description: An autonomous software factory that knows what it is supposed to deliver, and proves it did. Use when the user says Loki Mode or asks to build, fix or verify software autonomously.
 ---
 
-# Loki Mode v11.17.99
+# Loki Mode v11.17.100
 
 **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.
 
@@ -483,4 +483,4 @@ See `CHANGELOG.md` entries [7.5.7], [7.5.8], [7.5.13] for the per-fix list and r
 
 ---
 
-**v11.17.99 | [Autonomi](https://www.autonomi.dev/) flagship product | core skill**
+**v11.17.100 | [Autonomi](https://www.autonomi.dev/) flagship product | core skill**

package/VERSION

@@ -1 +1 @@
-11.17.99
+11.17.100

package/dashboard/__init__.py

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

@@ -1269,6 +1269,14 @@ L0 review rule (ENGINE-LAWS.md L0): a fix that adds an `if` or a regex about the
 - Mechanism: execution evidence, never proof text (a text or path match is gameable, and the real Wall locates scripts by basename search, never naming a path). One `execProves` plus `wallRedOnBaseOf` in package_suite.ts, fed by verify.ts through the existing runFullSuite opts (`wallBaseRed` from wall.base_run). A test-less package is N/A when (a) the Wall was red on base (base_run.fail > 0; missing, all not_run or green never credits), (b) it passed on head (proofFiles non-empty from wallProofOf, which already needs every Wall and holdout check to pass), and (c) the diff is known, non-empty after dropping this run's own Wall files, has no quoted path, and every remaining file is owned by that package. A red-on-base, green-on-head Wall over a diff confined to one package necessarily exercised that package's change. A diff spanning packages gets no credit from this rule; the in-package proof rule is kept.
 - Fixture: loki-ts/tests/engine10/monorepo_cwd.test.ts describe "FC-WALL-PROOF-PACKAGE-BLIND" (credited with base red and a single-package diff; NOT PROVEN with base green, base_run missing, a two-package diff, unknown, empty or quoted diff, Wall failed on head; wallRedOnBaseOf cases). Red before the fix, green after.
 
+## FC-WALL-FILE-OWNS-EVERY-PACKAGE The run's own passing Wall file at the repo root has no owning package, so every test-less package read as owning the diff and stayed NOT PROVEN
+- User-visible vs raw: user-visible. `loki start anthropics/claude-code#81826` on loki 11.17.99 sealed PARTIAL with "full suite: package scripts defines no test command" although the whole diff was under plugins/ (package `plugins`, credited by FC-WALL-PROOF-PACKAGE-BLIND) and `scripts` was untouched. Run e10-20261019T165943Z-a552: wall base_run fail=1, Wall green on head.
+- Law: a proof is not product. Ownership of a diff is decided by the product files it changes; an unknown, quoted or unowned product path still fails safe to owned.
+- Cause (measured): runPackageSuites `owns` counted changed files with no owning package as owned by every package; tests/loki_wall_*.test.ts (the root Wall) is such a file. execProves already excluded the Wall files; `owns` did not.
+- Siblings swept: execProves (already excludes Wall files), the proofFiles credit path (unchanged), and the quoted-path and unresolved-path rows of FC-CHANGED-PATH-QUOTED (still owned: only this run's passing Wall files, from proofFiles, are excluded).
+- Mechanism: one `product` list in runPackageSuites, the changed files minus this run's passing Wall files (the same set execProves excludes). Unknown diff or a Wall-only diff stays owned (fail-safe). A failed Wall has no proofFiles, so nothing is excluded.
+- Fixture: loki-ts/tests/engine10/monorepo_cwd.test.ts test "FC-WALL-FILE-OWNS-EVERY-PACKAGE" (N/A with a passing root Wall and an untouched test-less package; NOT PROVEN when the Wall failed or an unowned product path is present). Red on HEAD 2739c8e26 (1 fail), green after (38/0).
+
 ## FC-CHANGED-PATH-QUOTED A non-ASCII changed path came back from git as a quoted octal escape, so no consumer of changedFiles could match it to a package, Wall file or test
 - User-visible vs raw: user-visible. A diff in `frontend/src/café.ts` made the test-less frontend package read as not owned by the diff, its note became N/A, not_proven was empty and the run could seal VERIFIED with the frontend edit unproven (HIGH re-review of FC-SEAL-NA-AS-UNPROVEN r2).
 - Law broken: a git path must be the real path; an unresolvable path must fail safe, never read as "not in the package".

package/docs/v10/PROGRESS.md

@@ -2671,3 +2671,6 @@ v11.17.21 published (Release success on 462fbc40a; npm latest 11.17.21, next 11.
 
 ## 2026-10-19T16:47Z (CoS) v11.17.99
 - 11.17.99: one batched release per founder directive. FC-WALL-PROOF-PACKAGE-BLIND (opus APPROVE r2), FC-REVIEWER-GIT-CONFIG-EXEC (opus APPROVE r3), engine10 budget fix, plus CI pruned to release.yml (1fc608f34). Targeted suites 203 pass 0 fail; tests/util 476/0; tsc clean. Full bun suite hung past 1700s (no verdict).
+
+## 2026-10-19T17:09Z (CoS) v11.17.100
+- 11.17.100: FC-WALL-FILE-OWNS-EVERY-PACKAGE (opus HIGH review). claude-code#81826 on 11.17.99 sealed PARTIAL on untouched package `scripts` because the root Wall file read as owned by every test-less package. monorepo_cwd 38/0 (red on HEAD 2739c8e26: 1 fail), tsc clean.