Merge branch 'next' into fix/2072-thread-model-into-assumptions-and-review-spawns

This commit is contained in:
Tom Boucher
2026-07-07 22:03:47 -04:00
committed by GitHub
40 changed files with 2404 additions and 54 deletions

View File

@@ -89,5 +89,5 @@
"update.md": 20914,
"validate-phase.md": 10789,
"verify-phase.md": 40923,
"verify-work.md": 38267
"verify-work.md": 40247
}