c394b005fc
Closes the #95663 round-8 review blocker (false settlement before commit veto): the pre-commit surface (`_surface_stall`) logged "Force-aborting the turn and stopping lease renewal" and warned the user "aborting it so the session can recover" BEFORE `_commit_abort` could veto — so a turn that resumed during the warning window (or an exceptional interrupt path that declines fail-closed) was reported as force-aborted with lease stopped while it actually continued running. - Split the surface: `_surface_stall` is now observational only ("no progress for Ns; attempting recovery"), and the definitive aborted/lease-stopped settlement moves to a new `_surface_committed_abort` that runs only after `_commit_abort` succeeds and the turn lease is deactivated. - Rate-limit repeated pre-commit surfaces per observed generation: a turn whose aborts keep declining no longer re-logs an ERROR and re-warns the user every poll interval. - Add the committed-path regression test (`test_watchdog_publishes_definitive_settlement_only_after_commit`) and extend the declined-path witness (`...resumes_during_warning`) to assert no committed-abort or definitive pre-commit claim appears when the abort is vetoed. Both fail on the pre-fix tree (mutation-checked). - Document the `_interrupt_turn` lease-loss asymmetry (fires unconditionally, no generation claim — losing the lease means the process no longer owns the session). - Trim review-round archaeology from comments/docstrings (keep the WHY, drop the round numbering), and drop the dead `cancel_event` compat note from the test fence. - Document `agent.turn_liveness` in the configuration guide. On top of PR #95663 by Finn763 (cherry-picked with authorship preserved).
Website
This website is built using Docusaurus, a modern static website generator.
Installation
yarn
Local Development
yarn start
This command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.
Build
yarn build
This command generates static content into the build directory and can be served using any static contents hosting service.
Deployment
Using SSH:
USE_SSH=true yarn deploy
Not using SSH:
GIT_USER=<Your GitHub username> yarn deploy
If you are using GitHub pages for hosting, this command is a convenient way to build the website and push to the gh-pages branch.
Diagram Linting
CI runs ascii-guard to lint docs for ASCII box diagrams. Use Mermaid (````mermaid`) or plain lists/tables instead of ASCII boxes to avoid CI failures.