$ bash -e -o pipefail -c javac -Xlint:all -Werror RepairLog.java

$ bash -e -o pipefail -c python -m unittest discover -v -s tests
test_persistent_workflow (test_workflow.WorkflowTests.test_persistent_workflow) ... ok

----------------------------------------------------------------------
Ran 1 test in 1.587s

OK

$ python .proof/demo.py
{"report": {"active": 1, "events": 3, "tickets": [{"area": "zone", "assignee": "operator", "description": "repair", "id": "6a2c9c96-0f0a-4420-a519-1ee913bd2ef4", "priority": 3, "revision": 3, "state": "IN_PROGRESS", "updated": "2026-10-10T05:29:50.165903023Z"}], "unassigned": 0}, "stale_revision_rejected": true}