10 Commits

Author	SHA1	Message	Date
vignesh07	e74235fdce	ci(formal): compute drift for generated/ before model checking	2026-02-02 00:43:28 -08:00
vignesh07	f37b79cf4f	ci(formal): add routing-trirule + proxy-header-spoof targets	2026-02-02 00:43:28 -08:00
vignesh07	889480cef9	ci(formal): include latest reliability/conformance model targets	2026-02-02 00:43:28 -08:00
vignesh07	9d9378436b	ci(formal): fix formal models checkout repo (vignesh07/clawdbot-formal-models)	2026-02-01 01:59:16 -08:00
vignesh07	141dc1af4b	ci(formal): checkout formal models from canonical repo main	2026-02-01 01:59:16 -08:00
vignesh07	c83c19d9cd	ci(formal): run TLC model suite (green) + negative suite (non-blocking)	2026-02-01 01:59:16 -08:00
Vignesh	7387bc574f	Merge pull request #5807 from openclaw/ci/formal-conformance-alias-check	2026-01-31 17:39:53 -08:00
cpojer	f06dd8df06	chore: Enable "experimentalSortImports" in Oxfmt and reformat all imorts.	2026-02-01 10:03:47 +09:00
vignesh07	367372f526	ci: run formal model alias consistency check	2026-01-31 16:52:15 -08:00
vignesh07	baf9505bfd	ci: add informational formal models conformance check	2026-01-31 14:06:17 -08:00