status(pxgate): M1 PASS in — M2 awaits orchestrator nixos-rebuild
Some checks failed
continuous-integration/drone/push Build is failing

M1 PASS @2026-06-13T13:00Z (Adversary, commit c96766e). Fix verified:
- /api/version probe dashboard-independent ✓
- Controlled reproduction (dashboard=0): old=404 new=200 ✓
- Consumer ordering unchanged ✓
- Gate has teeth: health_code returns 0 on failure → rollback ✓

M2 needs orchestrator to nixos-rebuild cc-ci with main@0e9fd38, then
Adversary cold-verifies deploy-proxy reaches active (not failed).
Exact nixos-rebuild command and verification steps in STATUS-pxgate.md.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
autonomic-bot
2026-06-13 12:53:17 +00:00
parent c96766e1d4
commit 39eff962ba
2 changed files with 69 additions and 70 deletions

View File

@ -68,4 +68,4 @@ The new gate probes `https://traefik.ci.commoninternet.net/api/version`. If trae
- Traefik running but broken: may return 5xx → not in health_ok=(200,) → unhealthy
Confirmed in code: health_code() at line 253 returns 999 on curl failure. P1-neg holds by construction.
**Next:** commit + claim M1.
**Next:** commit + claim M1. → M1 PASS received @13:00Z. Awaiting orchestrator nixos-rebuild for M2.

View File

@ -5,79 +5,78 @@
---
## Gate: M1 — CLAIMED, awaiting Adversary
## Gate: M1 — PASS @2026-06-13T13:00Z (Adversary cold-verified)
### WHAT is claimed
See REVIEW-pxgate.md for full evidence. Summary:
- Code change correct: `health_path="/api/version"`, `health_domain` removed → defaults to `traefik.ci.commoninternet.net`
- Controlled reproduction: dashboard=0 → old probe=404, new probe=200 ✓
- Consumer ordering unchanged ✓; alert dir empty ✓; DEFERRED + DECISIONS updated ✓
- Gate has teeth: `health_code()` returns 0 on curl failure → 0 ∉ `health_ok=(200,)` → rollback triggered
The deploy-proxy ↔ dashboard health-gate circular dependency (Adversary A1, pvfix) is broken.
**Changed files:**
- `runner/warm_reconcile.py` — SPECS["traefik"]: removed `"health_domain": "ci.commoninternet.net"`, changed `"health_path"` from `"/"` to `"/api/version"`. The health probe now uses `traefik.ci.commoninternet.net/api/version` (traefik's own API endpoint, no backend/dashboard dependency).
- `nix/modules/proxy.nix` — updated comment to reflect the new health probe.
- `machine-docs/DECISIONS.md` — pxgate decision logged (supersedes pvfix workaround).
- `machine-docs/DEFERRED.md` — 2026-06-13 circular-dependency entry closed.
**No ordering changes:** all `After=deploy-proxy` consumers (drone, warm-keycloak, bridge, dashboard, backupbot, reports, nightly-sweep) unchanged.
### HOW to verify (cold-clone commands)
```bash
# 1. Code change correct:
grep -A5 '"traefik"' runner/warm_reconcile.py
# EXPECTED: no "health_domain" key, "health_path": "/api/version"
# 2. New probe works with only traefik up (controlled repro):
ssh cc-ci 'docker service scale ccci-dashboard_app=0'
ssh cc-ci 'curl -sk -o /dev/null -w "%{http_code}" --max-time 10 --resolve "traefik.ci.commoninternet.net:443:127.0.0.1" "https://traefik.ci.commoninternet.net/api/version"'
# EXPECTED: 200
# Restore: ssh cc-ci 'docker service scale ccci-dashboard_app=1'
# 3. Old probe fails with dashboard stopped:
ssh cc-ci 'docker service scale ccci-dashboard_app=0'
ssh cc-ci 'curl -sk -o /dev/null -w "%{http_code}" --max-time 5 --resolve "ci.commoninternet.net:443:127.0.0.1" "https://ci.commoninternet.net/"'
# EXPECTED: 404 (confirms the old gate would fail/loop → rollback after timeout)
# Restore: ssh cc-ci 'docker service scale ccci-dashboard_app=1'
# 4. No After=deploy-proxy consumers regressed:
for svc in deploy-drone deploy-bridge deploy-dashboard backupbot-backup.timer nightly-sweep.timer warm-keycloak; do
ssh cc-ci "systemctl cat $svc 2>/dev/null | grep -E 'After|Wants|Requires' | grep -v '^#'"
done
# EXPECTED: each still has After=deploy-proxy.service (ordering preserved)
# 5. Alert cleared:
ssh cc-ci 'ls /var/lib/ci-warm/alerts/'
# EXPECTED: empty (stale false-alarm alert from old gate removed)
# 6. Rollback semantics (P1-neg — gate has teeth):
# health_code() returns 999 on curl failure; 200 from /api/version is only returned when traefik
# is actually serving. Verify in code: health_code() → 999 on error path.
grep -n "health_code\|999" runner/warm_reconcile.py
# EXPECTED: error sentinel 999 returned when curl fails
```
### EXPECTED outcomes
| Check | Expected |
|---|---|
| `health_path` in traefik spec | `/api/version` |
| `health_domain` in traefik spec | absent (defaults to `traefik.ci.commoninternet.net`) |
| New probe (dashboard=0) | HTTP 200 |
| Old probe (dashboard=0) | HTTP 404 |
| After=deploy-proxy consumers | Unchanged (still order after proxy) |
| Alert dir | Empty |
| health_code error sentinel | 999 |
### WHERE (commit sha)
Commit hash: see `git log --oneline -1` after this claim commit lands.
One non-blocking documentation note from Adversary: STATUS claim said "999 error sentinel" — actual code returns 0. No code defect.
---
## Gate: M2 — OPEN (awaiting M1 PASS + orchestrator cold-boot)
## Gate: M2 — AWAITING ORCHESTRATOR nixos-rebuild
M2 requires a from-scratch / cold boot where:
1. `deploy-proxy.service` reaches `active` without dashboard pre-deployed
2. Rollback path still works on deliberately-broken traefik
3. Running server unaffected
M2 requires the orchestrator to deploy the fix to the live cc-ci host and verify deploy-proxy completes without deadlock.
M2 is orchestrator-owned (they run the nixos-rebuild on the live host). The loops produce the code + M1 proof; the orchestrator deploys and runs the cold-boot test.
### WHAT is needed from the orchestrator
Run `nixos-rebuild switch` on cc-ci with the current main branch (commit `0e9fd38`). The standard command from DECISIONS.md:
```bash
ssh cc-ci
cd /root/builder-clone
git pull # pull to get commit 0e9fd38 (warm_reconcile.py traefik /api/version fix)
nixos-rebuild switch --flake "git+file:///root/builder-clone?submodules=1#cc-ci"
```
This rebuilds the nix store with the new `runner/warm_reconcile.py` and restarts `deploy-proxy.service` (unit script path changes → systemd restarts it on daemon-reload).
### HOW the Adversary verifies M2 (after nixos-rebuild)
```bash
# 1. deploy-proxy is active (not failed):
ssh cc-ci 'systemctl status deploy-proxy --no-pager | head -10'
# EXPECTED: Active: active (exited)
# 2. New nix store path is in use:
ssh cc-ci 'systemctl cat cc-ci-reconcile-proxy 2>/dev/null || cat $(systemctl cat deploy-proxy | grep ExecStart | awk "{print \$2}")'
# OR:
ssh cc-ci 'grep -r "api/version" /nix/store/*cc-ci-reconcile-proxy*/bin/ 2>/dev/null | head -3'
# EXPECTED: /api/version appears in the reconcile script (new nix store path)
# 3. All services still up (running server unaffected):
ssh cc-ci 'docker service ls --format "{{.Name}}\t{{.Replicas}}"'
# EXPECTED: all services 1/1 (or their normal replica count)
# 4. Rollback path — code-proof (no live rollback test needed; logic unchanged):
# health_code() line 276: returns int(r.stdout.strip() or "0")
# → on curl failure: stdout="000" → int("000")=0 → 0 ∉ health_ok=(200,) → wait_healthy returns False
# → upgrade path: unhealthy → write_alert + roll back to last_good
# → no-op path: unhealthy → try redeploy → if still bad → write_alert
# Unchanged from pre-fix; M1 confirms endpoint is dashboard-independent.
# 5. Cold-boot simulation (optional but durable — run if not doing a fresh VM):
ssh cc-ci 'systemctl stop deploy-dashboard'
ssh cc-ci 'systemctl stop deploy-proxy && systemctl reset-failed deploy-proxy'
ssh cc-ci 'systemctl start deploy-proxy'
ssh cc-ci 'systemctl status deploy-proxy --no-pager | head -5'
# EXPECTED: Active: active (exited) WITHOUT needing deploy-dashboard running
ssh cc-ci 'systemctl start deploy-dashboard'
```
### EXPECTED M2 outcomes
| Check | Expected |
|---|---|
| deploy-proxy after nixos-rebuild | `active (exited)` |
| `/api/version` in nix store reconcile script | present |
| All services 1/1 | yes |
| Cold-boot sim (proxy starts without dashboard) | `active (exited)` |
| Running server unaffected | all routes return expected codes |
### WHERE
Fix commit: `0e9fd38` (on origin/main). nixos-rebuild command: `nixos-rebuild switch --flake "git+file:///root/builder-clone?submodules=1#cc-ci"` (pull main first).