loki-mode 11.7.1 → 11.9.1

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

package/VERSION

@@ -1 +1 @@
-11.7.1
+11.9.1

package/autonomy/lib/backlog.py

@@ -195,7 +195,9 @@ def load_dag(path, group):
         if task.lstrip().startswith("-"):
             raise ValueError("unit %s task text starts with '-' and would be read as an option" % uid)
         units.append({"n": n, "id": uid, "deps": deps[uid], "write_set": list(u.get("writeSet") or []),
-                      "task": task})
+                      "task": task, "done": u.get("done") is True,
+                      "base": str(u["base"]) if re.match(r"^[0-9a-f]{7,64}$", str(u.get("base") or "")) else "",
+                      "spec": u["spec"] if isinstance(u.get("spec"), str) and os.path.isabs(u["spec"]) else ""})
     return group, units
 
 
@@ -313,7 +315,10 @@ def main(argv):
                    "cmd": [launcher, u["task"], "--no-pr"],
                    "deps": [key_of[d] for d in u["deps"]],
                    "env": {"LOKI_GROUP_ID": group, "LOKI_UNIT_ID": u["id"], "LOKI_UNIT_N": str(u["n"]),
-                           "LOKI_UNIT_DEPS": ",".join(u["deps"]), "LOKI_UNIT_WRITE_SET": "\n".join(u["write_set"])}}
+                           "LOKI_UNIT_DEPS": ",".join(u["deps"]), "LOKI_UNIT_WRITE_SET": "\n".join(u["write_set"])},
+                   "done": u["done"], "base": u["base"]}
+        if u["spec"]:  # frozen group acceptance for unit_mode (wall.ts)
+            spec[k]["env"].update(LOKI_UNIT_SPEC=u["spec"], LOKI_SPEED="1")
     state = {k: {"status": "queued", "ok": None, "cost": None, "ran": False} for k in spec}
     for k in state:
         say("backlog: %s queued" % spec[k]["label"])
@@ -331,6 +336,32 @@ def main(argv):
     signal.signal(signal.SIGTERM, stop_children)
     signal.signal(signal.SIGINT, stop_children)
 
+    def harvest(k, wt):
+        """Copy the newest unit receipt and events into the group dir before the worktree goes."""
+        gid = spec[k]["env"].get("LOKI_GROUP_ID")
+        uid = spec[k]["env"].get("LOKI_UNIT_ID")
+        if not (spec[k]["unit"] and gid and uid):
+            return
+        try:
+            runs = os.path.join(wt, ".loki", "runs")
+            cands = [os.path.join(runs, d) for d in os.listdir(runs)
+                     if not os.path.islink(os.path.join(runs, d))
+                     and os.path.isfile(os.path.join(runs, d, "receipt.json"))]
+            if not cands:
+                return
+            src_dir = max(cands, key=lambda d: os.path.getmtime(os.path.join(d, "receipt.json")))
+            dst_dir = os.path.join(top, ".loki", "groups", gid, "group", "units", uid)
+            os.makedirs(dst_dir, mode=0o700, exist_ok=True)
+            for name in ("receipt.json", "events.jsonl"):
+                src, dst = os.path.join(src_dir, name), os.path.join(dst_dir, name)
+                if os.path.islink(src) or os.path.islink(dst) or not os.path.isfile(src):
+                    continue
+                tmp = dst + ".tmp%d" % os.getpid()
+                shutil.copyfile(src, tmp)
+                os.replace(tmp, dst)
+        except OSError:
+            pass
+
     def finish(k):
         nonlocal unmeasured
         p, log, wt = running.pop(k)
@@ -348,6 +379,7 @@ def main(argv):
             add_spend(usd)
         state[k].update(status=status, ok=ok, cost=usd)
         say("backlog: %s %s" % (spec[k]["label"], status))
+        harvest(k, wt)
         if ok:
             git("worktree", "remove", "--force", wt, cwd=top)
             if not spec[k]["unit"]:  # a passing unit branch is kept for the integrator
@@ -362,13 +394,13 @@ def main(argv):
             # Shared worktree prep (D51-B05): per-base lock, clean start point, deps copied.
             git("branch", "-D", s["branch"], cwd=top)
             try:
-                worktree_prep.prepare_worktree(top, wt, s["branch"])
+                worktree_prep.prepare_worktree(top, wt, s["branch"], base=s.get("base") or None)
                 r = None
             except (RuntimeError, subprocess.CalledProcessError) as e:
                 msg = getattr(e, "stderr", None) or str(e)
                 r = subprocess.CompletedProcess([], 1, "", msg)
         else:
-            r = git("worktree", "add", "-B", s["branch"], wt, "HEAD", cwd=top)
+            r = git("worktree", "add", "-B", s["branch"], wt, s.get("base") or "HEAD", cwd=top)
         if r is not None and r.returncode != 0:
             err = (r.stderr.strip().splitlines() or ["git error"])[-1]
             state[k].update(status="FAILED: worktree: " + redact(err, token), ok=False)
@@ -414,6 +446,10 @@ def main(argv):
             k = next_ready()
             if k is None:
                 break
+            if spec[k].get("done"):
+                state[k].update(status="VERIFIED (resumed)", ok=True)
+                say("backlog: %s VERIFIED (resumed)" % spec[k]["label"])
+                continue
             launch(k)
         if running:
             time.sleep(0.2)

package/autonomy/lib/chat.sh

@@ -47,7 +47,7 @@ Loki chat commands:
   /attach            attach to the current or most recent loki start run in this repo
   /quick <task>      loki quick
   /edit <change>     apply one change (build mode for this turn)
-  /verify            loki verify
+  /verify [path] [--max-age 7d]  loki verify (a receipt path, group receipt, or age limit)
   /receipt           loki receipt
   /model <id>        set model for this session
   /provider <name>   switch provider (claude, codex, cline, aider, opencode)
@@ -351,7 +351,8 @@ Question: $line" || true
             /edit)
                 [ -n "$rest" ] || { echo "usage: /edit <change>"; continue; }
                 _chat_send build "$rest" ;;
-            /verify) _chat_do "$loki" verify ;;
+            /verify) # shellcheck disable=SC2086
+                _chat_do "$loki" verify $rest ;;
             /receipt) _chat_do "$loki" receipt ;;
             /cost) _chat_do "$loki" cost ;;
             /undo) # shellcheck disable=SC2086

package/autonomy/lib/workspace.py

@@ -585,6 +585,85 @@ def _dep_tokens(root):
     return toks
 
 
+_SRC_EXT = (".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs", ".py", ".go")
+_SKIP_DIRS = {"node_modules", ".git", "dist", "build", "vendor", "venv", ".venv", "__pycache__", ".loki"}
+_SCAN_MAX_FILES = 400
+_SCAN_MAX_BYTES = 262144
+_JS_SPEC = re.compile(r"""(?:from\s*|require\s*\(\s*|import\s*\(?\s*)["']([^"']+)["']""")
+_PY_IMPORT = re.compile(r"^\s*(?:from\s+([A-Za-z_][\w.]*)\s+import\b|import\s+([A-Za-z_][\w.]*))")
+_GO_IMPORT = re.compile(r'^\s*(?:import\s+)?(?:[\w.]+\s+)?"([^"]+)"\s*$')
+_SPEC_KEY = re.compile(r"""["']?(?:inputSpec|input|target)["']?\s*[:=]\s*["']?([^"',\s}]+)""")
+_GEN_CONFIG = re.compile(
+    r"^(openapitools\.json|openapi-generator.*\.(?:ya?ml|json)|orval\.config\.\w+|\.orvalrc(?:\.\w+)?)$")
+
+
+def _spec_hits(path, ext):
+    """Yield (line number, imported specifier) for one source file."""
+    text = _read(path)
+    if text is None or len(text) > _SCAN_MAX_BYTES:
+        return
+    for n, line in enumerate(text.splitlines(), 1):
+        if ext == ".py":
+            m = _PY_IMPORT.match(line)
+            if m:
+                yield n, (m.group(1) or m.group(2)).lower().replace("_", "-")
+        elif ext == ".go":
+            m = _GO_IMPORT.match(line)
+            if m:
+                yield n, m.group(1).lower()
+        else:
+            for m in _JS_SPEC.finditer(line):
+                yield n, m.group(1).lower()
+
+
+def _import_evidence(root, ids):
+    """First file:line per sibling whose package/module name a source file imports (bounded scan)."""
+    found, seen = {}, 0
+    for dirpath, dirs, files in os.walk(root):
+        dirs[:] = sorted(d for d in dirs if d not in _SKIP_DIRS)
+        for fn in sorted(files):
+            ext = os.path.splitext(fn)[1]
+            if ext not in _SRC_EXT:
+                continue
+            seen += 1
+            if seen > _SCAN_MAX_FILES:
+                return found
+            path = os.path.join(dirpath, fn)
+            for n, spec in _spec_hits(path, ext):
+                if spec.startswith("."):
+                    continue
+                for o, oids in ids.items():
+                    if o not in found and any(spec == i or spec.startswith(i + "/") or spec.startswith(i + ".")
+                                              for i in oids):
+                        found[o] = "%s:%d (imports %s)" % (os.path.relpath(path, root), n, spec)
+    return found
+
+
+def _openapi_evidence(root, roots):
+    """file:line per sibling whose checkout holds the spec a client generator config points at."""
+    found = {}
+    try:
+        names = sorted(os.listdir(root))
+    except OSError:
+        return found
+    for fn in names:
+        path = os.path.join(root, fn)
+        if not _GEN_CONFIG.match(fn) or not os.path.isfile(path):
+            continue
+        text = _read(path) or ""
+        for n, line in enumerate(text.splitlines(), 1):
+            for m in _SPEC_KEY.finditer(line):
+                val = m.group(1)
+                if "://" in val:
+                    continue
+                target = os.path.realpath(os.path.join(root, val))
+                for o, oroot in roots.items():
+                    if oroot and o not in found and os.path.realpath(oroot) != os.path.realpath(root) and \
+                            (target + os.sep).startswith(os.path.realpath(oroot) + os.sep):
+                        found[o] = "%s:%d (spec %s)" % (fn, n, val)
+    return found
+
+
 def infer(name, workspaces, say=say):
     """Print suggested `after:` edges from manifests; never writes loki.yaml."""
     ws = workspaces.get(name)
@@ -598,7 +677,7 @@ def infer(name, workspaces, say=say):
             os.path.expanduser("~"), ".loki", "repos", _slug(e["repo"]))
         roots[e["repo"]] = root if os.path.isdir(root) else None
     ids = {e["repo"]: _identities(e, roots[e["repo"]]) if roots[e["repo"]] else set() for e in entries}
-    proposed = {}
+    proposed, evidence = {}, {}
     for e in entries:
         repo = e["repo"]
         if not roots[repo]:
@@ -607,12 +686,21 @@ def infer(name, workspaces, say=say):
             continue
         toks = _dep_tokens(roots[repo])
         deps = list(e.get("after") or [])
-        for other in entries:
-            o = other["repo"]
-            if o == repo or o in deps:
+        others = {x["repo"]: ids[x["repo"]] for x in entries if x["repo"] != repo}
+        imp = _import_evidence(roots[repo], others)
+        api = _openapi_evidence(roots[repo], {o: roots[o] for o in others})
+        for o in others:
+            if o in deps:
                 continue
             if any(t == i or t.startswith(i + "/") for t in toks for i in ids[o]):
                 deps.append(o)
+                evidence[(repo, o)] = "manifest dependency"
+            elif o in api:
+                deps.append(o)
+                evidence[(repo, o)] = api[o]
+            elif o in imp:
+                deps.append(o)
+                evidence[(repo, o)] = imp[o]
         proposed[repo] = deps
     try:
         order_repos({"repos": [{"repo": e["repo"], "after": proposed[e["repo"]]} for e in entries]})
@@ -623,6 +711,9 @@ def infer(name, workspaces, say=say):
     for e in entries:
         say("%s" % e["repo"])
         say("  after: [%s]" % ", ".join(proposed[e["repo"]]))
+        for d in proposed[e["repo"]]:
+            if (e["repo"], d) in evidence:
+                say("    %s: %s" % (d, evidence[(e["repo"], d)]))
     return 0