loki-mode 11.4.2 → 11.6.0

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

package/VERSION

@@ -1 +1 @@
-11.4.2
+11.6.0

package/autonomy/lib/chat.sh

@@ -107,7 +107,7 @@ _chat_attach_banner() {
 _chat_send() {
     local mode="$1" text="$2"
     if [ "$_CHAT_PROVIDER" = "claude" ]; then
-        command -v claude >/dev/null 2>&1 || { echo "loki chat: claude CLI not found" >&2; return 1; }
+        command -v claude >/dev/null 2>&1 || { echo "loki chat: claude CLI not found. Fix (same as loki doctor):" >&2; _loki_req_fix_line claude >&2; return 1; }
         local -a args=(-p "$text" --append-system-prompt "$_LOKI_CHAT_SYSTEM_PROMPT")
         if [ "$mode" = "plan" ]; then args+=(--permission-mode plan); else args+=(--permission-mode acceptEdits); fi
         [ -n "$_CHAT_MODEL" ] && args+=(--model "$_CHAT_MODEL")
@@ -197,10 +197,13 @@ EOF
 # /run: the exact run the shell would give: loki start with this session's provider and model.
 # The summary prints at the end of the run; chat stays open afterwards.
 _chat_run_start() {
-    local loki="$1" input="$2" rc=0
+    local loki="$1" input="$2" rc=0 t0=$SECONDS
     local -a args=("start" "$input" --provider "$_CHAT_PROVIDER")
     [ -n "$_CHAT_MODEL" ] && args+=(--model "$_CHAT_MODEL")
     "$loki" "${args[@]}" || rc=$?
+    # HANDOFF: same file loki start wrote, so chat and the shell show one review view
+    # (only when written during this run; a stale file from an earlier run is never shown)
+    if [ -f ".loki/review/HANDOFF.md" ] && [ -n "$(find ".loki/review/HANDOFF.md" -mmin "-$(( (SECONDS - t0) / 60 + 1 ))" 2>/dev/null)" ]; then cat ".loki/review/HANDOFF.md"; fi
     echo "(run finished, exit $rc; chat is still open)"
     return 0
 }
@@ -224,7 +227,7 @@ cmd_chat() {
     done
 
     if [ "$tui" = "1" ]; then
-        command -v claude >/dev/null 2>&1 || { echo "loki chat: claude CLI not found" >&2; return 1; }
+        command -v claude >/dev/null 2>&1 || { echo "loki chat: claude CLI not found. Fix (same as loki doctor):" >&2; _loki_req_fix_line claude >&2; return 1; }
         local -a targs=(--append-system-prompt "$_LOKI_CHAT_SYSTEM_PROMPT")
         [ -n "${LOKI_MODEL:-}" ] && targs+=(--model "$LOKI_MODEL")
         exec claude "${targs[@]}"

package/autonomy/lib/engine10-push.sh

@@ -95,6 +95,14 @@ _e10_local_push() {
         log_warn "Not pushing branch '$branch': it is (or may be) the default branch of $origin."
         return 2
     fi
+    # RECOVERY: remote already at the local commit means a prior attempt landed; push nothing.
+    local want have
+    want="$(_e10_git -C "$dir" rev-parse -q --verify "refs/heads/$branch" 2>/dev/null)" || want=""
+    have="$(_e10_git ls-remote "$origin" "refs/heads/$branch" 2>/dev/null | awk '{print $1; exit}')" || have=""
+    if [ -n "$want" ] && [ "$want" = "$have" ]; then
+        log_info "push skipped: remote already has $branch at ${want:0:12}"
+        return 0
+    fi
     tmp="$(mktemp -d "${TMPDIR:-/tmp}/loki-push.XXXXXX")" || return 1
     if _e10_git init -q --template= "$tmp" >/dev/null 2>&1 \
         && _e10_git -C "$tmp" fetch -q --no-tags --update-shallow "$dir" \
@@ -138,7 +146,17 @@ case "$mode" in
             printf 'local://%s#%s\n' "$_LOKI_PINNED_ORIGIN" "$branch"
             exit 0
         fi
-        _loki_trusted_push _loki_with_github_tokens "$dir" "$branch" || die "push refused or failed (rc=$?)"
+        # RECOVERY: a resumed publish skips the push when the remote branch is already at the local commit.
+        _e10_want="$(_e10_git -C "$dir" rev-parse -q --verify "refs/heads/$branch" 2>/dev/null)" || _e10_want=""
+        _e10_have=""
+        case "$branch" in main | master | HEAD) ;; *)
+            _e10_have="$(_e10_gh api "repos/$_e10_repo/git/ref/heads/$branch" --jq .object.sha 2>/dev/null)" || _e10_have="" ;;
+        esac
+        if [ -n "$_e10_want" ] && [ "$_e10_want" = "$_e10_have" ]; then
+            log_info "push skipped: remote already has $branch at ${_e10_want:0:12}"
+        else
+            _loki_trusted_push _loki_with_github_tokens "$dir" "$branch" || die "push refused or failed (rc=$?)"
+        fi
         url="$(_e10_gh pr list --repo "$_e10_repo" --head "$branch" --state open --json url --jq '.[0].url')" \
             || die "gh pr list failed"
         if [ -z "$url" ] || [ "$url" = "null" ]; then

package/autonomy/lib/help-core.sh

@@ -31,7 +31,7 @@ help_core_screen() {
     echo "  agents           Agent roles and routing (route shows where a task would go)"
     echo "  doctor [--json]  Check your setup is ready"
     echo ""
-    echo "Options for 'start': --provider NAME, --model ID, --budget USD, --isolation LVL (isolation dial: none | worktree | docker)"
+    echo "Options for 'start': --provider NAME, --model ID, --budget USD (default cap $(loki_budget_default_usd 2>/dev/null)), --isolation LVL (isolation dial: none | worktree | docker)"
     echo "Also: cost / estimate (spend before you build), resume (continue a paused or interrupted run)"
     echo "Exit codes: docs/exit-codes.md"
     echo ""

package/autonomy/lib/proof-generator.py

@@ -40,6 +40,21 @@ from efficiency_cost import collect_efficiency as _collect_efficiency  # noqa: E
 import effort_estimator  # noqa: E402
 from tree_digest import MANIFEST_VERSION, compute_tree_digest  # noqa: E402
 from workspace_diff import collect_workspace_diff  # noqa: E402
+import importlib.util as _ilu  # noqa: E402
+
+
+def _load_proof_verify_mod():
+    # proof-verify.py is hyphenated (not importable); it owns the verification record.
+    spec = _ilu.spec_from_file_location(
+        "loki_proof_verify", os.path.join(os.path.dirname(os.path.abspath(__file__)), "proof-verify.py"))
+    mod = _ilu.module_from_spec(spec)
+    spec.loader.exec_module(mod)
+    return mod
+
+
+_PV = _load_proof_verify_mod()
+_vr_capture_environment = _PV.capture_environment
+_vr_git_dirty = _PV.git_dirty
 
 
 # ---------------------------------------------------------------------------
@@ -1121,8 +1136,6 @@ def _empty_tree_sha(repo_dir):
 # collect_workspace_diff), so uncommitted work is covered.
 _TI_CFG_ALWAYS = re.compile(r"(^|/)(conftest\.py|\.?pytest\.(?:ini|toml)|tox\.ini|jest\.config\.[\w.]+|vitest\.config\.[\w.]+|\.mocharc[\w.]*)$")
 _TI_CFG_SHARED = re.compile(r"(^|/)(setup\.cfg|pyproject\.toml|package\.json)$")
-_TI_TEST_FILE = re.compile(
-    r"(^|/)(tests?|__tests__|spec|specs)/|\.(test|spec)\.[\w]+$|(^|/)test_[^/]*\.py$|_test\.(py|go|rs)$|(^|/)conftest\.py$")
 _TI_SKIP_JS = re.compile(
     # options object only as the 2nd argument: title (string or identifier), then `, {`
     r"\b(test|it|describe|suite|context|specify)\s*\(\s*(?:'[^'\n]*'|\"[^\"\n]*\"|`[^`\n]*`|[\w.$]+)\s*,\s*\{[^}]*\b(skip|todo)\s*:\s*(?!(?:false|0|null|undefined)\b)\S"
@@ -1270,7 +1283,7 @@ def _collect_tests_integrity(target_dir, base):
         if u and not u.startswith(".loki/"):
             entries.append(("A", u, u))
     for st, old, new in entries:
-        if st in ("D", "R") and _TI_TEST_FILE.search(old):
+        if st in ("D", "R") and _PV._TEST_FILE.search(old):
             weakened.append("test file %s: %s" % ("deleted" if st == "D" else "renamed", old))
     if not greenfield:
         for st, old, new in entries:
@@ -1310,7 +1323,7 @@ def _collect_tests_integrity(target_dir, base):
                 edited.append(cur)
             cur, rx, removed_assert = None, None, False
         elif line.startswith("+++ b/"):
-            cur = line[6:] if _TI_TEST_FILE.search(line[6:]) else None
+            cur = line[6:] if _PV._TEST_FILE.search(line[6:]) else None
             rx = _ti_skip_re(cur) if cur else None
         elif cur and line.startswith("+") and rx and rx.search(line):
             weakened.append("skip added in %s" % cur)
@@ -1318,7 +1331,7 @@ def _collect_tests_integrity(target_dir, base):
                 and _TI_ASSERT.search(line):
             removed_assert = True
     for u in untracked.split("\0"):
-        if not u or u.startswith(".loki/") or not _TI_TEST_FILE.search(u):
+        if not u or u.startswith(".loki/") or not _PV._TEST_FILE.search(u):
             continue
         rx = _ti_skip_re(u)
         if not rx:
@@ -1625,6 +1638,9 @@ def _build_proof(args, loki_dir, target_dir, repo_root):
         # recompute it after runner exit to reject proofs followed by code edits.
         "tree_sha256": compute_tree_digest(target_dir),
         "tree_manifest_version": MANIFEST_VERSION,
+        # Execution validity (docs/PROOF-PASSPORT.md): whether the tree
+        # was dirty when the checks ran. None when git could not answer.
+        "dirty": _vr_git_dirty(target_dir),
     }
     facts = {
         "git": git_facts,
@@ -1663,6 +1679,8 @@ def _build_proof(args, loki_dir, target_dir, repo_root):
         # Descriptive; NOT read by _compute_headline (gating is founder-gated).
         "healthcheck": healthcheck,
         "cost": cost,
+        # Environment the checks ran in (measured at generation time).
+        "environment": _vr_capture_environment(),
         "meta": {
             "run_id": run_id,
             "loki_version": loki_version,