Skip to content

Implement watch dog#14

Open
stephenctw wants to merge 7 commits into
mainfrom
feature/watch-dog
Open

Implement watch dog#14
stephenctw wants to merge 7 commits into
mainfrom
feature/watch-dog

Conversation

@stephenctw
Copy link
Copy Markdown
Collaborator

@stephenctw stephenctw commented May 11, 2026

Watchdog v1 — off-chain safety monitor

Independent process that checks whether the sequencer’s view of app state matches what the canonical Cartesi Machine would produce at the same L1 safe block. Alerts operators if they drift apart.

Highlights

  • Lua watchdog — advance mode (replay L1 inputs, save CM checkpoints) or compare mode (sequencer vs CM)
  • GET /get_state — sequencer exposes safe, accepted app state for the watchdog to read
  • CM inspect — canonical scheduler can export app state on demand for comparison
  • Webhook alarms — notify on state mismatch or safe-block regression
  • Test coverage — unit tests, real CM runs, and a full local devnet compare harness
  • Docs & just recipes — operator guide, staging drills, just test-watchdog*

@stephenctw stephenctw self-assigned this May 11, 2026
@stephenctw stephenctw force-pushed the feature/watch-dog branch from e424146 to f1796d2 Compare May 11, 2026 14:31
@stephenctw stephenctw force-pushed the feature/watch-dog branch from f1796d2 to bb4bbc2 Compare May 21, 2026 14:39
Wire sequencer safe-only state export, canonical CM inspect, and Lua
compare-mode E2E against Anvil devnet. Adds staging drill docs and
harness fixes (sequencer-devnet resolution, optional faketime).
@stephenctw stephenctw force-pushed the feature/watch-dog branch from bb4bbc2 to e609033 Compare May 21, 2026 14:43
@stephenctw stephenctw marked this pull request as draft May 21, 2026 15:03
@stephenctw stephenctw force-pushed the feature/watch-dog branch 2 times, most recently from 469138d to 45c89a5 Compare May 22, 2026 14:30
@stephenctw stephenctw force-pushed the feature/watch-dog branch from 45c89a5 to 0847b8c Compare May 22, 2026 14:33
@stephenctw stephenctw requested a review from GCdePaula May 24, 2026 11:30
@stephenctw stephenctw marked this pull request as ready for review May 24, 2026 11:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant