Merge pull request #1543 from deepseek-harness/stack/agent-profiles-8-authoring

feat(web): author agent presets from a settings page
This commit is contained in:
Yichen Jiang
2026-08-10 11:55:58 +08:00
committed by GitHub
331 changed files with 16605 additions and 558 deletions
@@ -39,6 +39,7 @@ export interface HeaderLine {
seedLength?: number
origin?: 'subagent'
delegationDepth: number
agentPreset?: string
}
/**
@@ -57,6 +58,7 @@ export function toHeaderLine(header: SessionHeader): HeaderLine {
...header.seedLength !== undefined ? { seedLength: header.seedLength } : {},
...header.origin !== undefined ? { origin: header.origin } : {},
delegationDepth: header.delegationDepth ?? 0,
...header.agentPreset !== undefined ? { agentPreset: header.agentPreset } : {},
}
}
@@ -78,6 +80,7 @@ export function fromHeaderLine(line: HeaderLine): SessionHeader {
...line.seedLength !== undefined ? { seedLength: line.seedLength } : {},
...line.origin !== undefined ? { origin: line.origin } : {},
delegationDepth: line.delegationDepth,
...line.agentPreset !== undefined ? { agentPreset: line.agentPreset } : {},
}
}
@@ -98,6 +101,8 @@ function isHeaderLine(value: unknown): value is HeaderLine {
&& !Object.is((value as { delegationDepth: number }).delegationDepth, -0)
&& ((value as { origin?: unknown }).origin === undefined
|| (value as { origin?: unknown }).origin === 'subagent')
&& ((value as { agentPreset?: unknown }).agentPreset === undefined
|| typeof (value as { agentPreset?: unknown }).agentPreset === 'string')
)
}