loki-mode 11.3.9 → 11.5.1

package/autonomy/lib/help-core.sh

@@ -0,0 +1,164 @@
+#!/usr/bin/env bash
+# Core help screen and help topics for `loki help`. Source this file; it
+# defines functions only. The full command table stays in show_help_all
+# (autonomy/loki) and is reached with `loki help all`.
+
+# Topics reachable as `loki help <topic>`. Keep in sync with help_topic_text.
+LOKI_HELP_TOPICS="providers exit-codes"
+
+help_core_screen() {
+    local version="$1"
+    echo "Loki Mode v${version}"
+    echo ""
+    echo "Usage: loki <command> [options]"
+    echo ""
+    echo "Start:"
+    echo "  start [SPEC]     PRIMARY: build from a PRD file, brief, or issue (owner/repo#N, PROJ-1) (alias: run)"
+    echo "  chat [--attach]  Interactive alternative; --attach joins the current 'loki start' run"
+    echo "  edit \"<change>\"  Make one targeted change to the current repo"
+    echo "  quick \"<task>\"   One small task, no PR"
+    echo ""
+    echo "Check:"
+    echo "  status [--json]  What is running and where it stands"
+    echo "  verify [--json]  Deterministic verification (CI-gate exit codes)"
+    echo "  receipt          Inspect the proof-of-run receipt (alias of: proof)"
+    echo "  diff / undo      See what a run changed; undo <run> to plan or apply a rollback"
+    echo ""
+    echo "Configure:"
+    echo "  setup            First-run setup (provider, keys, defaults)"
+    echo "  config           Show or change settings (config list --json)"
+    echo "  models           Model tiers and routes (models --local for local models)"
+    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 (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 ""
+    echo "Examples:"
+    echo "  loki start ./prd.md                 Build from a spec file"
+    echo "  loki start owner/repo#123           Build from a GitHub issue"
+    echo "  loki start ./prd.md --budget 20     Cap spend at 20 USD"
+    echo "  loki plan ./prd.md                  Dry run: complexity, cost, plan"
+    echo "  loki verify --json                  Machine-readable verification for CI"
+    echo "  loki resume                         Continue a paused or interrupted run"
+    echo "  loki status --json                  What is running, as JSON"
+    echo "  loki cost ./prd.md                  Estimate spend before you build"
+    echo "  loki doctor --fix                   Check setup and repair what it can"
+    echo ""
+    echo "More:"
+    echo "  loki help all            Every command"
+    echo "  loki help <topic>        Topics: ${LOKI_HELP_TOPICS// /, }"
+    echo "  loki <command> --help    Help for one command"
+    echo ""
+    echo "New here? Run: loki doctor, then loki quickstart"
+}
+
+help_topic_text() {
+    case "$1" in
+        start)
+            cat <<'T'
+Starting work
+
+  loki start ./prd.md          Build from a spec file
+  loki start owner/repo#123    Build from a GitHub issue
+  loki "<task>"                Same as quick
+  loki quick "add dark mode"   One small task, no PR
+  loki edit "rename foo to bar" One targeted change
+  loki chat                    Interactive alternative to start (/run inside chat runs loki start)
+  loki chat --attach           Chat about the current or latest start run (/status /steer /diff /stop)
+  loki plan ./prd.md           Dry run: complexity, cost, plan
+
+Common flags: --provider NAME, --model ID (tier or route, e.g. ollama/qwen3-coder), --budget USD, --simple, --complex,
+--no-dashboard, --spec FILE, --config PATH. Full list: loki help all.
+T
+            ;;
+        models)
+            cat <<'T'
+Models
+
+Loki routes work by tier: planning (opus), development (sonnet), fast (haiku).
+  loki models                  Show the model for each tier
+  loki models --local          Show local models (Ollama, LM Studio, llama.cpp)
+  loki config set maxTier sonnet   Cap model cost
+  loki config set model.development <id>   Override one tier
+  LOKI_MODEL_OVERRIDE=<id>     Force one model id (Anthropic-protocol gateways)
+T
+            ;;
+        providers)
+            cat <<'T'
+Providers
+
+Claude Code is the default and the only Tier 1 provider.
+  loki provider list           Providers and install status
+  loki provider set codex      Switch provider (claude, codex, cline, aider, opencode)
+  loki start ./prd.md --provider cline
+
+Tier 2: cline. Tier 3 (sequential, degraded): codex, aider. opencode is model-agnostic.
+T
+            ;;
+        agents)
+            cat <<'T'
+Agents
+
+  loki agents list|new|show    Your own agents (.loki/agents/<name>.md); council reviewers use them
+  loki route "<task>"          Show which engine, provider and model a task would use
+  loki agent --help            Lower-level agent commands
+
+Roles use Opus for planning, Sonnet for development, Haiku for fast work.
+T
+            ;;
+        verify)
+            cat <<'T'
+Verification
+
+  loki verify                  Deterministic PR verification
+  loki verify --fast           Exogenous checks only, milliseconds, no model call
+  loki verify --json           One JSON object: command, exit_code, ok, output
+  loki verify --pubkey FILE    Check a receipt against a public key
+  loki receipt                 Inspect the proof-of-run receipt
+  loki undo <run> [--plan]     Plan or apply an undo of a run
+
+Exit codes: see loki help exit-codes.
+T
+            ;;
+        exit-codes)
+            cat <<'T'
+Exit codes
+
+  0   success
+  1   failure
+  2   usage error (unknown command, bad flag)
+  3   missing component
+
+Severity rises with the code: a bigger number is never better news.
+Per-command contracts (verify, proof, start under LOKI_DURABLE_STATE=1):
+docs/exit-codes.md
+T
+            ;;
+        config)
+            cat <<'T'
+Configuration
+
+  loki config                  Show current configuration
+  loki config list --json      Machine-readable configuration
+  loki config set KEY VALUE    Set a value (maxTier, model.planning, ...)
+  loki config get KEY          Read a value
+  loki config validate [FILE]  Validate loki.yaml
+  loki setup                   First-run setup
+  loki start --config FILE     Load settings from a file
+
+Precedence: CLI flag > env var > --config file > defaults.
+Environment variables: docs/environment-variables.md
+T
+            ;;
+        *)
+            return 1
+            ;;
+    esac
+}
+
+# Print the topic, or return 1 when $1 is not a topic.
+help_topic() {
+    help_topic_text "$1"
+}

package/autonomy/lib/json-output.sh

@@ -0,0 +1,38 @@
+#!/usr/bin/env bash
+# Shared --json helpers. Source this file; it defines functions only.
+#
+#   loki_json_requested ARGS...    exit 0 when --json is among ARGS
+#   loki_json_strip ARGS...        print ARGS (one per line) without --json
+#   loki_json_wrap NAME CMD ARGS.. run CMD, print one JSON object:
+#                                  {"command":NAME,"exit_code":N,"ok":bool,"output":"..."}
+#                                  and return CMD's exit code. Use ONLY for
+#                                  commands with no native --json output.
+
+loki_json_requested() {
+    local a
+    for a in "$@"; do
+        [ "$a" = "--json" ] && return 0
+    done
+    return 1
+}
+
+loki_json_strip() {
+    local a
+    for a in "$@"; do
+        [ "$a" = "--json" ] || printf '%s\n' "$a"
+    done
+}
+
+loki_json_wrap() {
+    local name="$1" out rc
+    shift
+    out="$("$@" 2>&1)"
+    rc=$?
+    LOKI_JW_NAME="$name" LOKI_JW_RC="$rc" LOKI_JW_OUT="$out" python3 -c '
+import json, os, re
+rc = int(os.environ["LOKI_JW_RC"])
+out = re.sub(r"\x1b\[[0-9;]*m", "", os.environ["LOKI_JW_OUT"])
+print(json.dumps({"command": os.environ["LOKI_JW_NAME"], "exit_code": rc, "ok": rc == 0, "output": out}))
+'
+    return "$rc"
+}

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,