Document host sandbox retry behavior

2026-07-15 11:43:58 +08:00
parent 34bb75b2d2
commit 1222d07da9
2 changed files with 5 additions and 1 deletions
--- a/scripts/doc-budgets.manifest.json
+++ b/scripts/doc-budgets.manifest.json
@@ -1,5 +1,5 @@
 {
-  "AGENTS.md": 1370,
+  "AGENTS.md": 1500,
  "docs/AGENTS.md": 1100,
  "docs/architecture.md": 1790,
  "docs/cordis-primer.md": 600,