Sentinel dev diary audits 135 resolved deferrals and finds a command timeout bug
A diary entry on the Sentinel project describes a new check that reads the resolved-deferrals register against the actual code. Each resolved row records what was built and which test proves it, but no one had verified those claims after their authors' commits. An audit of 135 resolved rows found most held up, though six were flagged as having stale wording, one as a discrepancy, and seven as unverifiable. The most serious finding was a race in the command plane, where a fast driver reply arriving before the reconcile transaction commits is dropped and the command wrongly times out. The auditor filed the issue for a separate fix because closing the window required a design decision.
This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)
Log in to join the discussion and vote.
Log in