Coder/deepseek-harness
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(scripts): point the plane-separation gate at the bundle patches

Browse Source 
The shipped host composition moved: `base.cordis.yml` and `web.cordis.yml`
are the dsh-base and dsh-web-app patch layers now. The gate still opened the
old paths and crashed on ENOENT — a gate that cannot read its inputs proves
nothing, loudly or otherwise.

Retargeting it also surfaced what the move implies for ownership: the web
bundle carries the roster and its browser plugin rows now, so the bundle's own
manifest is what must declare them. The gate's existing bare-plugin check said
so as soon as it could parse the file again.
This commit is contained in:
Yichen Jiang
2026-08-06 21:23:30 +08:00
parent 3a37ec4974
commit 45f1d439f6
10 changed files with 20 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
scripts/verify-cordis-config.ts
View File

@@ -107,8 +107,9 @@ if (errors.length > 0) {
*/
function validatePresetPlaneSeparation(): string[] {
const problems: string[] = []
const hostFile = 'apps/cli/config/base.cordis.yml'
const overlayFile = 'apps/cli/config/web.cordis.yml'
// The shipped Web surface is two bundle patch layers over an empty root.
const hostFile = 'packages/bundle/base/cordis.patch.yml'
const overlayFile = 'packages/bundle/web-app/cordis.patch.yml'
const hostRows = rowIds(hostFile)
const overlay = loadEntries(overlayFile)
const disabled = new Set<string>()