DeepSeek/deepseek-harness
1
0
Fork 0
mirror of https://github.com/deepseek-ai/deepseek-harness synced 2026-08-15 21:04:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'worktree-docs-overhaul-a-standard' into worktree-docs-overhaul-b-agents

Browse Source 
# Conflicts:
#	scripts/doc-budgets.manifest.json
This commit is contained in:
Tianyi Cui
2026-07-04 14:30:12 +08:00
parent 7702a33531 65690d8cf1
commit 65f28580f0
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/doc-budgets.manifest.json
View File

@@ -1,10 +1,10 @@
{
"AGENTS.md": 1500,
"docs/AGENTS.md": 1250,
"docs/architecture.md": 3950,
"docs/architecture.md": 3897,
"docs/defensive-patterns.md": 550,
"docs/testing.md": 800,
"examples/AGENTS.md": 600,
"examples/AGENTS.md": 579,
"packages/AGENTS.md": 450,
"packages/README.md": 600
}

2
scripts/verify-doc-budgets.ts
View File

@@ -46,11 +46,13 @@ const rows: string[] = []
for (const [path, ceiling] of Object.entries(manifest)) {
if (!Number.isInteger(ceiling) || ceiling <= 0) {
rows.push(`BAD ${'—'.padStart(6)} / ${String(ceiling).padEnd(6)} ${path}`)
failures.push(`${path}: ceiling must be a positive integer, got ${ceiling}`)
continue
}
const abs = resolve(root, path)
if (!existsSync(abs)) {
rows.push(`MISS ${'—'.padStart(6)} / ${String(ceiling).padEnd(6)} ${path}`)
failures.push(`${path}: budgeted file does not exist (renamed or deleted? update scripts/doc-budgets.manifest.json in the same change)`)
continue
}