@trycore/spec-build-harness 0.13.0 → 0.14.0

package/scripts/tests/test-hooks-runtime.sh

@@ -126,6 +126,45 @@ got="$(projection_get active_slice.slice_id "")"
 [ "$got" = "sl-9" ] && echo "OK fetch_and_cache escribe la cache" || { echo "FAIL cache tras fetch ($got)"; fail=1; }
 if projection_is_stale; then echo "FAIL cache recien traida es stale"; fail=1; else echo "OK cache recien traida es fresca"; fi
 
+# [#63] La versión de grafo se normaliza igual que el manifest_hash: un solo sitio conoce la
+# forma cruda del servidor.
+python3 - "$TMP/routes-ac.json" <<'PY'
+import json,sys
+p=sys.argv[1]; d=json.load(open(p))
+r=d["GET /agent/context"]["body"]
+r.setdefault("context",{})["graph_version"]=42
+json.dump(d,open(p,"w"))
+PY
+agent_context_fetch_and_cache >/dev/null 2>&1
+got="$(projection_get context.graph_version "")"
+[ "$got" = 42 ] && echo "OK agent-context normaliza context.graph_version" \
+  || { echo "FAIL graph_version sin normalizar ($got)"; fail=1; }
+[ "$(_runtime_graph_version)" = 42 ] && echo "OK _runtime_graph_version lee la version conocida" \
+  || { echo "FAIL _runtime_graph_version"; fail=1; }
+
+# Hub que NO versiona: graph_version queda null y nada cambia.
+python3 - "$TMP/routes-ac.json" <<'PY'
+import json,sys
+p=sys.argv[1]; d=json.load(open(p))
+d["GET /agent/context"]["body"]["context"].pop("graph_version",None)
+json.dump(d,open(p,"w"))
+PY
+agent_context_fetch_and_cache >/dev/null 2>&1
+[ "$(projection_get context.graph_version "")" = "" ] && [ "$(_runtime_graph_version)" = "" ] \
+  && echo "OK sin versión en el hub, graph_version queda vacia" \
+  || { echo "FAIL graph_version inventada sin hub que versione"; fail=1; }
+
+# Marcador de desfase: se anota y se limpia.
+runtime_graph_note_stale 42 45
+runtime_graph_status_read | python3 -c "
+import json,sys
+d=json.load(sys.stdin)
+print('SI' if d.get('local')==42 and d.get('server')==45 and d.get('seen_at') else 'NO')" | grep -q SI \
+  && echo "OK runtime_graph_note_stale anota el desfase" || { echo "FAIL note_stale"; fail=1; }
+runtime_graph_clear_stale
+[ "$(runtime_graph_status_read)" = "{}" ] && echo "OK runtime_graph_clear_stale borra el marcador" \
+  || { echo "FAIL clear_stale"; fail=1; }
+
 kill "$STUB_AC" 2>/dev/null; wait "$STUB_AC" 2>/dev/null
 # Servidor caído: rc 1 y la caché ANTERIOR intacta (nunca se pisa con vacío).
 agent_context_fetch_and_cache
@@ -284,9 +323,142 @@ sleep 4
 kill -0 "$HBPID3" 2>/dev/null && { echo "FAIL daemon sobrevive sin sesiones"; fail=1; } || echo "OK daemon muere con la ultima sesion"
 [ ! -f "$PROJ/.claude/state/heartbeat.pid" ] && echo "OK daemon limpia el pidfile" || { echo "FAIL pidfile huerfano"; fail=1; }
 
+# [#61] Con el daemon vivo, un cambio en /agent/context llega a la proyección local SIN
+# reiniciar la sesión ni hacer claim: hoy la caché solo se hidrataba en session-start y claim.
+export TRYCORE_CONTEXT_REFRESH_S=1
+cat > "$TMP/routes-hb.json" <<JSON
+{"PUT /leases/renew": {"status": 200, "body": {"expires_at": "2099-01-01T00:00:00Z"}},
+ "GET /agent/context": {"status": 200, "body": {"project": {"scaffold": {"confirmed": true}}, "active_slice": {"slice_id": "sl-9", "epic_code": "EP-077", "phase": "green"}, "nudges": [{"kind": "info", "message": "épica EP-077 aprobada"}], "context": {"manifest_hash": "sha256:v2", "version": 9}}},
+ "POST /events": {"status": 200, "body": {"results": []}}}
+JSON
+sleep 60 & SESSC=$!
+bash "$ROOT/hooks/build/heartbeat.sh" --ensure "$SESSC" >/dev/null 2>&1
+sleep 4
+got="$(python3 -c "
+import json
+d=json.load(open('$PROJ/.claude/state/runtime-projection.json'))
+print((d.get('active_slice') or {}).get('epic_code'))" 2>/dev/null)"
+[ "$got" = "EP-077" ] && echo "OK el daemon refresca la proyeccion sin claim ni reinicio" \
+  || { echo "FAIL la proyeccion no se refresco ($got)"; fail=1; }
+got="$(python3 -c "
+import json
+d=json.load(open('$PROJ/.claude/state/runtime-projection.json'))
+print((d.get('nudges') or [{}])[0].get('message'))" 2>/dev/null)"
+[ "$got" = "épica EP-077 aprobada" ] && echo "OK el nudge del hub llega a la proyeccion local" \
+  || { echo "FAIL el nudge no llego ($got)"; fail=1; }
+# [Ronda final] `last_context_status` tiene UN tipo: cadena. El éxito lo escribía como número
+# y el fallo como cadena — el mismo campo con dos tipos según cómo fue, y quien lo lee no
+# puede compararlo sin adivinar.
+tipo="$(python3 -c "
+import json
+print(type(json.load(open('$PROJ/.claude/state/heartbeat-status.json')).get('last_context_status')).__name__)" 2>/dev/null)"
+[ "$tipo" = str ] && echo "OK last_context_status es siempre una cadena (tambien en el exito)" \
+  || { echo "FAIL last_context_status cambia de tipo segun el resultado ($tipo)"; fail=1; }
+
+# Fallo de red en el refresco: la caché ANTERIOR queda intacta y marcada stale. Nunca dejar
+# al agente sin proyección: eso lo convierte en huérfano (regresión del PR #60).
+cat > "$TMP/routes-hb.json" <<JSON
+{"PUT /leases/renew": {"status": 200, "body": {"expires_at": "2099-01-01T00:00:00Z"}},
+ "GET /agent/context": {"status": 500, "body": {"error": "boom"}},
+ "POST /events": {"status": 200, "body": {"results": []}}}
+JSON
+sleep 4
+got="$(python3 -c "
+import json
+d=json.load(open('$PROJ/.claude/state/runtime-projection.json'))
+print((d.get('active_slice') or {}).get('epic_code'))" 2>/dev/null)"
+[ "$got" = "EP-077" ] && echo "OK un refresco fallido conserva la cache anterior" \
+  || { echo "FAIL la cache se perdio con el fallo de red ($got)"; fail=1; }
+stale="$(python3 -c "
+import json
+print(json.load(open('$PROJ/.claude/state/heartbeat-status.json')).get('context_stale'))" 2>/dev/null)"
+[ "$stale" = True ] && echo "OK un refresco fallido marca la proyeccion stale" \
+  || { echo "FAIL refresco fallido sin marcar stale ($stale)"; fail=1; }
+
+# Los guards nunca leen una caché a medio escribir: mientras el daemon refresca en bucle,
+# un lector concurrente parsea el fichero 300 veces sin un solo JSON inválido.
+cat > "$TMP/routes-hb.json" <<JSON
+{"PUT /leases/renew": {"status": 200, "body": {"expires_at": "2099-01-01T00:00:00Z"}},
+ "GET /agent/context": {"status": 200, "body": {"project": {}, "active_slice": {"slice_id": "sl-9", "epic_code": "EP-077", "phase": "green"}, "nudges": [], "context": {"manifest_hash": "sha256:v2", "version": 9}}},
+ "POST /events": {"status": 200, "body": {"results": []}}}
+JSON
+bad="$(python3 - "$PROJ/.claude/state/runtime-projection.json" <<'PY'
+import json,sys,time
+path=sys.argv[1]; bad=0
+for _ in range(300):
+    try:
+        json.load(open(path))
+    except Exception:
+        bad+=1
+    time.sleep(0.01)
+print(bad)
+PY
+)"
+[ "$bad" = 0 ] && echo "OK el lector concurrente nunca ve la cache a medio escribir" \
+  || { echo "FAIL $bad lecturas parciales de la proyeccion"; fail=1; }
+
+# [#61 · ronda final] El refresco tiene DOS fallos distintos y no se pueden anunciar igual:
+# «el hub no respondió» y «respondió 200 pero no pudimos escribir la proyección». Con un solo
+# código, `slice-ops.sh status` imprimía «no pudo refrescar (último intento: 200)» y mandaba a
+# mirar la red teniendo el problema en el disco. Fixture: la proyección es un DIRECTORIO, así
+# que el `os.replace` final falla con el 200 ya en la mano.
+rm -f "$PROJ/.claude/state/runtime-projection.json"
+mkdir -p "$PROJ/.claude/state/runtime-projection.json"
+sleep 4
+ctxst="$(python3 -c "
+import json
+print(json.load(open('$PROJ/.claude/state/heartbeat-status.json')).get('last_context_status'))" 2>/dev/null)"
+[ "$ctxst" = "write_error" ] && echo "OK un 200 que no se pudo escribir no se reporta como 200" \
+  || { echo "FAIL el fallo de escritura se anuncia como estado HTTP ($ctxst)"; fail=1; }
+rmdir "$PROJ/.claude/state/runtime-projection.json" 2>/dev/null
+sleep 3
+
+# Sin red, `runtime_http_status` vale `000` — que NO es un número JSON válido. Emitido sin
+# comillas rompía el fragmento entero y `hb_write_status` no escribía NADA: ni el estado ni el
+# `context_stale: true`, o sea el fallo desaparecía en silencio. El campo es SIEMPRE cadena.
+python3 -c "
+import json
+d=json.load(open('$PROJ/.claude/state/heartbeat-status.json'))
+d['context_stale']=False
+json.dump(d,open('$PROJ/.claude/state/heartbeat-status.json','w'))"
+kill "$STUB_HB" 2>/dev/null; wait "$STUB_HB" 2>/dev/null
+sleep 4
+ctx000="$(python3 -c "
+import json
+d=json.load(open('$PROJ/.claude/state/heartbeat-status.json'))
+print(repr(d.get('last_context_status')), d.get('context_stale'))" 2>/dev/null)"
+[ "$ctx000" = "'000' True" ] && echo "OK sin red el estado del refresco se registra como cadena \"000\"" \
+  || { echo "FAIL el fragmento con 000 no se registro ($ctx000)"; fail=1; }
+python3 "$ROOT/scripts/tests/lib/http-stub.py" "$PORT_HB" "$TMP/routes-hb.json" "$TMP/calls-hb.jsonl" &
+STUB_HB=$!
+sleep 0.5
+
+# legacy|dual: el daemon NO refresca (AC de #61).
+bash "$ROOT/hooks/build/heartbeat.sh" --stop >/dev/null 2>&1
+python3 -c "
+import json
+json.dump({'fetched_at':'2020-01-01T00:00:00Z','active_slice':{'slice_id':'sl-9','epic_code':'EP-VIEJA'},'nudges':[]},
+          open('$PROJ/.claude/state/runtime-projection.json','w'))"
+: > "$TMP/calls-hb.jsonl"
+TRYCORE_RUNTIME_MODE=dual bash "$ROOT/hooks/build/heartbeat.sh" --ensure "$SESSC" >/dev/null 2>&1
+sleep 4
+got="$(python3 -c "
+import json
+d=json.load(open('$PROJ/.claude/state/runtime-projection.json'))
+print((d.get('active_slice') or {}).get('epic_code'))" 2>/dev/null)"
+[ "$got" = "EP-VIEJA" ] && echo "OK en dual el daemon no refresca el contexto" \
+  || { echo "FAIL el daemon refresco en dual ($got)"; fail=1; }
+bash "$ROOT/hooks/build/heartbeat.sh" --stop >/dev/null 2>&1
+kill "$SESSC" 2>/dev/null; wait "$SESSC" 2>/dev/null
+unset TRYCORE_CONTEXT_REFRESH_S
+
 # 409 en el renew: se marca lease perdido y NO se apaga el daemon (spec §4.3).
+# [#61] heartbeat-status.json es un MERGE, no un reemplazo: dos deberes del tick (lease y
+# contexto) escriben el mismo fichero y ninguno puede borrar el diagnóstico del otro.
+export TRYCORE_CONTEXT_REFRESH_S=1
 cat > "$TMP/routes-hb.json" <<JSON
 {"PUT /leases/renew": {"status": 409, "body": {"error": "lease_conflict"}},
+ "GET /agent/context": {"status": 200, "body": {"project": {"scaffold": {"confirmed": true}}, "active_slice": {"slice_id": "sl-9", "phase": "green"}, "nudges": [], "context": {"manifest_hash": "sha256:v2", "version": 9}}},
  "POST /events": {"status": 200, "body": {"results": []}}}
 JSON
 sleep 60 & SESS3=$!
@@ -297,12 +469,22 @@ lost="$(python3 -c "import json;print(json.load(open('$PROJ/.claude/state/heartb
 HBPID4="$(cat "$PROJ/.claude/state/heartbeat.pid" 2>/dev/null)"
 kill -0 "$HBPID4" 2>/dev/null && echo "OK daemon sigue vivo tras 409" || { echo "FAIL daemon murio por 409"; fail=1; }
 
+# El daemon lleva ya un 409 anotado (lease_lost: true). Un refresco de contexto posterior
+# NO puede borrarlo.
+sleep 4
+merged="$(python3 -c "
+import json
+d=json.load(open('$PROJ/.claude/state/heartbeat-status.json'))
+print('SI' if d.get('lease_lost') is True and 'context_stale' in d else 'NO')" 2>/dev/null)"
+[ "$merged" = SI ] && echo "OK heartbeat-status conserva lease_lost tras el refresco de contexto" \
+  || { echo "FAIL heartbeat-status se reemplaza en vez de mezclarse ($merged)"; fail=1; }
+
 bash "$ROOT/hooks/build/heartbeat.sh" --stop >/dev/null 2>&1
 sleep 1
 kill -0 "$HBPID4" 2>/dev/null && { echo "FAIL --stop no apago el daemon"; fail=1; } || echo "OK --stop apaga el daemon"
 kill "$SESS3" 2>/dev/null; wait "$SESS3" 2>/dev/null
 kill "$STUB_HB" 2>/dev/null; wait "$STUB_HB" 2>/dev/null
-unset TRYCORE_HEARTBEAT_TICK_S TRYCORE_HEARTBEAT_INTERVAL_S
+unset TRYCORE_HEARTBEAT_TICK_S TRYCORE_HEARTBEAT_INTERVAL_S TRYCORE_CONTEXT_REFRESH_S
 
 # --- session-start.sh ---
 PORT_SS="$(python3 -c "import socket;s=socket.socket();s.bind(('',0));print(s.getsockname()[1]);s.close()")"
@@ -458,10 +640,23 @@ rm -f "$PROJ/.claude/state/build-state.json"
 # --- guards desde la caché de proyección (modo runtime) ---
 HOOK_IN='{"tool_name":"Write","tool_input":{"file_path":"'"$PROJ"'/src/x.ts","content":"x"}}'
 
-# Sin caché: auto-arme, no bloquea (nada que vigilar todavía).
+# Sin caché hay DOS escenarios opuestos y el guard debe distinguirlos. Hasta 0.13.0
+# los dos caían en el mismo exit 0, y por eso un agente desconectado del hub (todo
+# worktree lo está: el estado no viaja) podía escribir código sin que nada lo
+# parase, que es como dos workers acaban pisándose.
 rm -f "$PROJ/.claude/state/runtime-projection.json"
+
+# (a) Con credenciales = proyecto registrado que NO ve al hub → bloquea.
+echo "$HOOK_IN" | bash "$ROOT/hooks/build/scaffold-guard.sh" >/dev/null 2>&1
+[ $? -eq 2 ] && echo "OK scaffold-guard bloquea si está desconectado del hub" \
+  || { echo "FAIL scaffold-guard no bloquea desconectado"; fail=1; }
+
+# (b) Sin credenciales = el proyecto aún no usa el arnés → auto-arme, deja pasar.
+mv "$PROJ/.claude/state/runtime.credentials" "$PROJ/.claude/state/creds.bak"
 echo "$HOOK_IN" | bash "$ROOT/hooks/build/scaffold-guard.sh" >/dev/null 2>&1
-[ $? -eq 0 ] && echo "OK scaffold-guard sin cache no bloquea" || { echo "FAIL scaffold-guard bloqueo sin cache"; fail=1; }
+[ $? -eq 0 ] && echo "OK scaffold-guard respeta el auto-arme sin credenciales" \
+  || { echo "FAIL scaffold-guard rompe el auto-arme"; fail=1; }
+mv "$PROJ/.claude/state/creds.bak" "$PROJ/.claude/state/runtime.credentials"
 
 # Fase de código + scaffold NO confirmado -> bloquea.
 runtime_projection_write "{\"fetched_at\":\"$(date -u +%Y-%m-%dT%H:%M:%SZ)\",\"project\":{\"scaffold_confirmed\":false,\"design_source_applies\":true,\"design_source_confirmed\":false},\"active_slice\":{\"slice_id\":\"sl-11\",\"phase\":\"green\",\"gates\":{\"fidelity\":false},\"wiring_failing\":[]},\"nudges\":[]}"

package/scripts/tests/test-install.sh

@@ -173,6 +173,29 @@ else
   echo "FAIL install: .gitignore no protege los artefactos del runtime"
   fail=1
 fi
+# [Ronda de arreglo 1, Minor 7 / #63] El ledger de propuestas y el marcador de desfase de
+# grafo son estado derivado del hub, igual que los de arriba: mismo blindaje.
+if [ -f "$GI" ] \
+  && grep -q '^\.claude/state/epic-proposals\.json$' "$GI" \
+  && grep -q '^\.claude/state/graph-status\.json$' "$GI"; then
+  echo "OK install: .gitignore protege epic-proposals/graph-status"
+else
+  echo "FAIL install: .gitignore no protege epic-proposals.json/graph-status.json"
+  fail=1
+fi
+# [Ronda final · C5] Los tres ficheros del daemon de heartbeat (EP-OR-08-B) son estado LOCAL
+# de la máquina —un pid y unos ppids no significan nada en otro clon— y llevaban desde
+# entonces fuera de la semilla: un consumidor los commiteaba y el siguiente `git pull` traía
+# un pidfile ajeno que el relanzamiento del daemon toma por bueno hasta el `kill -0`.
+if [ -f "$GI" ] \
+  && grep -q '^\.claude/state/heartbeat\.pid$' "$GI" \
+  && grep -q '^\.claude/state/heartbeat-sessions\.json$' "$GI" \
+  && grep -q '^\.claude/state/heartbeat-status\.json$' "$GI"; then
+  echo "OK install: .gitignore protege los tres ficheros del heartbeat"
+else
+  echo "FAIL install: .gitignore no protege heartbeat.pid/heartbeat-sessions.json/heartbeat-status.json"
+  fail=1
+fi
 rm -rf "$TMP_BF"
 
 # 6) Ambiguo: manifiesto + código pero SIN repo git (sin historial) → project_kind null.