Merge commit 'refs/codex-unblock/20260727/pr660-master' into worktree/pr660-merge-20260727

# Conflicts:
#	scripts/doc-budgets.manifest.json
This commit is contained in:
Tianyi Cui
2026-07-27 19:34:55 +08:00
54 changed files with 962 additions and 796 deletions

View File

@@ -1,5 +1,5 @@
{
"AGENTS.md": 1690,
"AGENTS.md": 1705,
"docs/AGENTS.md": 1150,
"docs/architecture.md": 1800,
"docs/cordis-primer.md": 600,