loki-mode 11.12.1 → 11.15.0

package/autonomy/run.sh

@@ -28292,6 +28292,41 @@ check_human_intervention() {
 }
 
 # Handle pause state - wait for resume
+# Writes .loki/state/interventions.json. Mirrors loki-ts/src/runner/intervention.ts
+# (count, basis, by_type enum counts, waited_s). Modes: "count" bumps count and
+# the by_type bucket inferred from the signal files; "waited <secs>" adds
+# wall-clock blocked seconds (an upper bound on human attention, not active
+# minutes). Best-effort: never fails a run.
+_loki_iv_record() {
+    local loki_dir="$1" mode="$2" secs="${3:-0}" iv_type="authorization"
+    [ -n "$loki_dir" ] || return 0
+    if [ -e "$loki_dir/HUMAN_INPUT.md" ]; then iv_type="input"
+    elif [ -e "$loki_dir/signals/GATE_ESCALATION" ] || [ -e "$loki_dir/signals/COUNCIL_REVIEW_REQUESTED" ]; then iv_type="repair"
+    elif [ -e "$loki_dir/signals/BUDGET_EXCEEDED" ]; then iv_type="steer"
+    fi
+    mkdir -p "$loki_dir/state" 2>/dev/null || true
+    python3 -I -c 'import json,sys
+p,mode,secs,t=sys.argv[1:5]
+def n(v):
+    return v if isinstance(v,int) and not isinstance(v,bool) and v>=0 else 0
+try:
+    d=json.load(open(p))
+    if not isinstance(d,dict): d={}
+except Exception:
+    d={}
+if mode=="waited" and not d:
+    sys.exit(0)
+bt=d.get("by_type") if isinstance(d.get("by_type"),dict) else {}
+out={k:n(bt.get(k)) for k in ("steer","input","authorization","repair")}
+if mode=="count":
+    out[t]+=1
+    d["count"]=n(d.get("count"))+1
+d["basis"]="blocking pauses that waited on a human"
+d["by_type"]=out
+d["waited_s"]=n(d.get("waited_s"))+(int(secs) if mode=="waited" else 0)
+open(p,"w").write(json.dumps(d)+"\n")' "$loki_dir/state/interventions.json" "$mode" "$secs" "$iv_type" 2>/dev/null || true
+}
+
 handle_pause() {
     # BUG-ST-007: Guard against concurrent pause handler execution
     if [ "${_PAUSE_IN_PROGRESS:-0}" -eq 1 ]; then
@@ -28312,21 +28347,8 @@ handle_pause() {
     #
     # proof-generator reads this; when the file is absent the receipt renders NO
     # interventions row rather than claiming zero. Best-effort: never fail a run.
-    if [ -n "${loki_dir}" ]; then
-        mkdir -p "$loki_dir/state" 2>/dev/null || true
-        local _iv_file="$loki_dir/state/interventions.json"
-        local _iv_prev=0
-        if [ -f "$_iv_file" ]; then
-            _iv_prev=$(python3 -c "import json,sys
-try:
-    v=json.load(open(sys.argv[1])).get('count')
-    print(int(v) if isinstance(v,int) and v>=0 else 0)
-except Exception:
-    print(0)" "$_iv_file" 2>/dev/null || echo 0)
-        fi
-        printf '{"count":%s,"basis":"blocking pauses that waited on a human"}\n' \
-            "$(( _iv_prev + 1 ))" > "$_iv_file" 2>/dev/null || true
-    fi
+    local _iv_t0=$SECONDS
+    _loki_iv_record "$loki_dir" count
 
     # Save state before pausing so it persists across potential crashes
     save_state ${RETRY_COUNT:-0} "paused" 0
@@ -28426,6 +28448,7 @@ except Exception:
         # Check for stop signal
         if [ -f "$loki_dir/STOP" ]; then
             rm -f "$loki_dir/STOP" "$loki_dir/PAUSED.md"
+            _loki_iv_record "$loki_dir" waited "$(( SECONDS - ${_iv_t0:-$SECONDS} ))" 2>/dev/null || true
             PAUSED=false
             _PAUSE_IN_PROGRESS=0
             return 1
@@ -28471,6 +28494,7 @@ except Exception:
     done
 
     rm -f "$loki_dir/PAUSED.md"
+    _loki_iv_record "$loki_dir" waited "$(( SECONDS - ${_iv_t0:-$SECONDS} ))" 2>/dev/null || true
     log_info "Resuming execution..."
     PAUSED=false
     _PAUSE_IN_PROGRESS=0