pantheon-opencode 1.5.0-beta.14 → 1.5.0-beta.16
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/AGENTS.md +14 -63
- package/CHANGELOG.md +65 -0
- package/README.md +1 -2
- package/README.pt-BR.md +1 -1
- package/commands/pantheon.md +1 -35
- package/package.json +1 -1
- package/plugin.json +1 -1
- package/pyproject.toml +2 -5
- package/src/agents/zeus.md +4 -26
- package/src/instructions/memory-protocol.instructions.md +6 -3
- package/src/instructions/zeus-anti-stall.instructions.md +2 -4
- package/src/instructions/zeus-council-synthesis.instructions.md +3 -28
- package/src/instructions/zeus-timeout-retry.instructions.md +3 -28
- package/src/mcp/toon_codec.py +2 -4
- package/src/pantheon/background-job-board.ts +4 -4
- package/src/pantheon/delegate-manager.ts +95 -10
- package/src/pantheon/delegation-classifier.ts +3 -4
- package/src/pantheon/delegation-finalize.ts +69 -7
- package/src/pantheon/delegation.ts +16 -4
- package/src/pantheon/presets.d.mts +0 -20
- package/src/pantheon/presets.mjs +0 -64
- package/src/plugin-v2.ts +4 -6
- package/src/plugin.ts +6 -6
- package/src/plugins/pantheon-hooks.ts +1 -1
- package/src/plugins/tui/dist/tui.d.ts +43 -36
- package/src/plugins/tui/dist/tui.d.ts.map +1 -1
- package/src/plugins/tui/dist/tui.js +102 -38
- package/src/plugins/tui/package-lock.json +2 -2
- package/src/plugins/tui/package.json +1 -1
- package/src/plugins/tui/src/index.tsx +168 -67
- package/src/routing.yml +0 -16
- package/scripts/dev-tui.sh +0 -48
- package/scripts/generate-preset-docs.mjs +0 -300
- package/scripts/generate-prompts.sh +0 -222
- package/scripts/hash_verify.py +0 -192
- package/scripts/install/component.mjs +0 -24
- package/scripts/install/migrate-config.mjs +0 -302
- package/scripts/test-context-compression.sh +0 -169
- package/src/pantheon/auto-wake.ts +0 -85
- package/src/pantheon/chat-reminders.ts +0 -9
- package/src/pantheon/comment-checker.ts +0 -48
- package/src/pantheon/compaction-assert.ts +0 -160
- package/src/pantheon/compaction-handoff.ts +0 -304
- package/src/pantheon/cost-tracker.ts +0 -108
- package/src/pantheon/dispatch-guard.ts +0 -109
- package/src/pantheon/permission-eval.ts +0 -284
- package/src/pantheon/preemptive-compact.ts +0 -76
- package/src/pantheon/provider-capabilities.ts +0 -221
- package/src/pantheon/provider-stream-tracker.ts +0 -182
- package/src/pantheon/retry-policy.ts +0 -212
- package/src/pantheon/token-opt.ts +0 -689
- package/src/pantheon/toon-codec.ts +0 -481
- package/src/pantheon/v2-events.ts +0 -148
- package/src/pantheon/v2-hooks.ts +0 -287
- package/src/pantheon/v2-tool-definitions.ts +0 -331
- package/src/pantheon/zeus-delegate-with-retry.ts +0 -406
|
@@ -1,108 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Cost Tracker (Wave 4, PR #46) — JSONL cost ledger for background
|
|
3
|
-
* delegations. Every delegation that finishes (or times out) records one
|
|
4
|
-
* line; the ledger lives at `.pantheon/costs/delegations.jsonl` and gives
|
|
5
|
-
* Nyx / the /cost command a durable, human-readable cost history.
|
|
6
|
-
*
|
|
7
|
-
* record() APPENDS (appendFile + parent dir auto-create), never rewrites.
|
|
8
|
-
* A missing ledger is an EMPTY ledger — list() → [], summary() → zeros,
|
|
9
|
-
* no crash. Injectable clock not needed: timestamp is caller-provided
|
|
10
|
-
* (ISO 8601), matching the delegation toolset's timestamping style.
|
|
11
|
-
*
|
|
12
|
-
* @module cost-tracker
|
|
13
|
-
*/
|
|
14
|
-
import { appendFile, mkdir, readFile } from 'node:fs/promises'
|
|
15
|
-
import { dirname } from 'node:path'
|
|
16
|
-
|
|
17
|
-
/** One delegation cost event. */
|
|
18
|
-
export interface CostRecord {
|
|
19
|
-
/** Board task ID (e.g. "ses_child_1" or the job alias "apo-1"). */
|
|
20
|
-
taskId: string
|
|
21
|
-
/** Session that owns the delegation — list(sessionID?) filters on this. */
|
|
22
|
-
sessionID?: string
|
|
23
|
-
/** Delegated agent name (e.g. "hermes"). */
|
|
24
|
-
agent: string
|
|
25
|
-
/** Model ID actually used (e.g. "opencode/deepseek-v4-flash"). */
|
|
26
|
-
model: string
|
|
27
|
-
tokensInput: number
|
|
28
|
-
tokensOutput: number
|
|
29
|
-
/** Cost in USD (already computed by the caller). */
|
|
30
|
-
costUsd: number
|
|
31
|
-
/** ISO 8601 timestamp of the record. */
|
|
32
|
-
timestamp: string
|
|
33
|
-
}
|
|
34
|
-
|
|
35
|
-
/** Aggregate across the whole ledger. */
|
|
36
|
-
export interface CostSummary {
|
|
37
|
-
count: number
|
|
38
|
-
totalCostUsd: number
|
|
39
|
-
totalTokensInput: number
|
|
40
|
-
totalTokensOutput: number
|
|
41
|
-
}
|
|
42
|
-
|
|
43
|
-
export interface CostTrackerOptions {
|
|
44
|
-
/** Ledger path. Default: ".pantheon/costs/delegations.jsonl". */
|
|
45
|
-
filePath?: string
|
|
46
|
-
}
|
|
47
|
-
|
|
48
|
-
export interface CostTracker {
|
|
49
|
-
/** Append one record to the ledger (creates the parent dir on first write). */
|
|
50
|
-
record(entry: CostRecord): Promise<void>
|
|
51
|
-
/** All records, optionally filtered by sessionID. Missing file → []. */
|
|
52
|
-
list(sessionID?: string): Promise<CostRecord[]>
|
|
53
|
-
/** Aggregate totals across the whole ledger. Missing file → zeros. */
|
|
54
|
-
summary(): Promise<CostSummary>
|
|
55
|
-
}
|
|
56
|
-
|
|
57
|
-
/** Parse the ledger file; missing file → empty array (never throws). */
|
|
58
|
-
async function readLedger(filePath: string): Promise<CostRecord[]> {
|
|
59
|
-
let raw: string
|
|
60
|
-
try {
|
|
61
|
-
raw = await readFile(filePath, 'utf8')
|
|
62
|
-
} catch {
|
|
63
|
-
return []
|
|
64
|
-
}
|
|
65
|
-
const records: CostRecord[] = []
|
|
66
|
-
for (const line of raw.split('\n')) {
|
|
67
|
-
if (line.trim() === '') continue
|
|
68
|
-
try {
|
|
69
|
-
records.push(JSON.parse(line) as CostRecord)
|
|
70
|
-
} catch {
|
|
71
|
-
// Skip malformed lines — a partial ledger never breaks the reader.
|
|
72
|
-
}
|
|
73
|
-
}
|
|
74
|
-
return records
|
|
75
|
-
}
|
|
76
|
-
|
|
77
|
-
export function createCostTracker(options?: CostTrackerOptions): CostTracker {
|
|
78
|
-
const filePath = options?.filePath ?? '.pantheon/costs/delegations.jsonl'
|
|
79
|
-
|
|
80
|
-
return {
|
|
81
|
-
async record(entry: CostRecord): Promise<void> {
|
|
82
|
-
await mkdir(dirname(filePath), { recursive: true })
|
|
83
|
-
await appendFile(filePath, `${JSON.stringify(entry)}\n`, 'utf8')
|
|
84
|
-
},
|
|
85
|
-
|
|
86
|
-
async list(sessionID?: string): Promise<CostRecord[]> {
|
|
87
|
-
const records = await readLedger(filePath)
|
|
88
|
-
if (sessionID === undefined) return records
|
|
89
|
-
return records.filter((r) => r.sessionID === sessionID)
|
|
90
|
-
},
|
|
91
|
-
|
|
92
|
-
async summary(): Promise<CostSummary> {
|
|
93
|
-
const records = await readLedger(filePath)
|
|
94
|
-
const summary: CostSummary = {
|
|
95
|
-
count: records.length,
|
|
96
|
-
totalCostUsd: 0,
|
|
97
|
-
totalTokensInput: 0,
|
|
98
|
-
totalTokensOutput: 0,
|
|
99
|
-
}
|
|
100
|
-
for (const r of records) {
|
|
101
|
-
summary.totalCostUsd += r.costUsd
|
|
102
|
-
summary.totalTokensInput += r.tokensInput
|
|
103
|
-
summary.totalTokensOutput += r.tokensOutput
|
|
104
|
-
}
|
|
105
|
-
return summary
|
|
106
|
-
},
|
|
107
|
-
}
|
|
108
|
-
}
|
|
@@ -1,109 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Dispatch Guard (Wave 4, PR #46) — auto-retry-on-empty for background
|
|
3
|
-
* delegations. Classifies a dispatch result and redispatch once when it
|
|
4
|
-
* came back empty.
|
|
5
|
-
*
|
|
6
|
-
* Failure signature classification:
|
|
7
|
-
* - 'content' — text content present, nothing to do.
|
|
8
|
-
* - 'empty-mode1' — NO content AND NO tokens: the dispatch returned
|
|
9
|
-
* nothing at all (no reply / early abort).
|
|
10
|
-
* - 'empty-mode2' — no text part but tokens present: reasoning happened
|
|
11
|
-
* but the text part was lost — the themis Wave-2
|
|
12
|
-
* failure signature that triggered this guard.
|
|
13
|
-
*
|
|
14
|
-
* Retry cap is HARD at 1 (never 2x). The guard is stateful per instance:
|
|
15
|
-
* one retry budget total. It is a PURE library — it does NOT intercept
|
|
16
|
-
* task() (opencode 1.18.x cannot intercept task completion via hooks, so
|
|
17
|
-
* integration is manual-orchestration; see zeus.md "Empty-Result Retry").
|
|
18
|
-
*
|
|
19
|
-
* @module dispatch-guard
|
|
20
|
-
*/
|
|
21
|
-
|
|
22
|
-
import { createPantheonLogger } from './logger.ts'
|
|
23
|
-
|
|
24
|
-
// Silence-by-default TUI policy (pantheon-hooks L42-58): the default warn
|
|
25
|
-
// fallback logs to .pantheon/logs/hooks.log; console echo is opt-in via
|
|
26
|
-
// PANTHEON_HOOKS_LOG=1. `logger` injection stays for tests.
|
|
27
|
-
const log = createPantheonLogger({ module: 'pantheon-dispatch-guard' })
|
|
28
|
-
|
|
29
|
-
/** A dispatch result — the minimal shape needed to classify emptiness. */
|
|
30
|
-
export interface DispatchResultLike {
|
|
31
|
-
/** Text content of the result (task_result / report markdown). */
|
|
32
|
-
content?: string | null
|
|
33
|
-
/** Input tokens (present when the model actually reasoned). */
|
|
34
|
-
tokensInput?: number
|
|
35
|
-
/** Output tokens (present when the model actually reasoned). */
|
|
36
|
-
tokensOutput?: number
|
|
37
|
-
/** R1: the failure that produced this result (classified by retry-policy). */
|
|
38
|
-
error?: unknown
|
|
39
|
-
}
|
|
40
|
-
|
|
41
|
-
/** Classification of a dispatch result. */
|
|
42
|
-
export type DispatchClassification = 'content' | 'empty-mode1' | 'empty-mode2'
|
|
43
|
-
|
|
44
|
-
export interface DispatchGuardOptions {
|
|
45
|
-
/** Enable auto-retry on empty results. Default: true. */
|
|
46
|
-
retryOnEmpty?: boolean
|
|
47
|
-
/** Injectable logger (defaults to the Pantheon file log, env-gated echo). */
|
|
48
|
-
logger?: { warn: (message: string) => void }
|
|
49
|
-
}
|
|
50
|
-
|
|
51
|
-
export interface DispatchGuard {
|
|
52
|
-
/** Classify a result: content, empty-mode1 (nothing), empty-mode2 (reasoning, no text). */
|
|
53
|
-
classifyResult(result: DispatchResultLike): DispatchClassification
|
|
54
|
-
/**
|
|
55
|
-
* Redispatch ONCE when the result is empty and retryOnEmpty is enabled.
|
|
56
|
-
* A retried result that is STILL empty is returned as-is — the cap of 1
|
|
57
|
-
* is never exceeded. Never throws.
|
|
58
|
-
*/
|
|
59
|
-
maybeRetry(
|
|
60
|
-
result: DispatchResultLike,
|
|
61
|
-
redispatch: () => Promise<DispatchResultLike>,
|
|
62
|
-
): Promise<{
|
|
63
|
-
classification: DispatchClassification
|
|
64
|
-
retried: boolean
|
|
65
|
-
result: DispatchResultLike
|
|
66
|
-
}>
|
|
67
|
-
}
|
|
68
|
-
|
|
69
|
-
/** 1-based retry budget — the hard cap. Never 2x. */
|
|
70
|
-
const MAX_RETRIES = 1
|
|
71
|
-
|
|
72
|
-
/** Whether a result carries any text content (whitespace-only counts as empty). */
|
|
73
|
-
function hasContent(result: DispatchResultLike): boolean {
|
|
74
|
-
return typeof result.content === 'string' && result.content.trim() !== ''
|
|
75
|
-
}
|
|
76
|
-
|
|
77
|
-
/** Whether the result carries any token counts (i.e. the model actually ran). */
|
|
78
|
-
function hasTokens(result: DispatchResultLike): boolean {
|
|
79
|
-
return (result.tokensInput ?? 0) > 0 || (result.tokensOutput ?? 0) > 0
|
|
80
|
-
}
|
|
81
|
-
|
|
82
|
-
export function createDispatchGuard(options?: DispatchGuardOptions): DispatchGuard {
|
|
83
|
-
const retryOnEmpty = options?.retryOnEmpty ?? true
|
|
84
|
-
const warn = options?.logger?.warn ?? ((message: string) => log.warn(message))
|
|
85
|
-
// Per-instance retry budget — the "cap 1" enforcement point.
|
|
86
|
-
let retriesUsed = 0
|
|
87
|
-
|
|
88
|
-
return {
|
|
89
|
-
classifyResult(result: DispatchResultLike): DispatchClassification {
|
|
90
|
-
if (hasContent(result)) return 'content'
|
|
91
|
-
return hasTokens(result) ? 'empty-mode2' : 'empty-mode1'
|
|
92
|
-
},
|
|
93
|
-
|
|
94
|
-
async maybeRetry(result, redispatch) {
|
|
95
|
-
const classification = this.classifyResult(result)
|
|
96
|
-
if (!retryOnEmpty || classification === 'content' || retriesUsed >= MAX_RETRIES) {
|
|
97
|
-
return { classification, retried: false, result }
|
|
98
|
-
}
|
|
99
|
-
retriesUsed += 1
|
|
100
|
-
warn(`dispatch returned ${classification}; retrying once (cap ${MAX_RETRIES})`)
|
|
101
|
-
const retriedResult = await redispatch()
|
|
102
|
-
return {
|
|
103
|
-
classification: this.classifyResult(retriedResult),
|
|
104
|
-
retried: true,
|
|
105
|
-
result: retriedResult,
|
|
106
|
-
}
|
|
107
|
-
},
|
|
108
|
-
}
|
|
109
|
-
}
|
|
@@ -1,284 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* S1 — Deny-first permission evaluation + PreToolUse-style hooks.
|
|
3
|
-
*
|
|
4
|
-
* Deny rules checked BEFORE allow rules. User-level denies cannot be
|
|
5
|
-
* overridden by project config. Hook exit-code semantics:
|
|
6
|
-
* exit 0 → allow, exit 2 → hard deny, missing/throw → fail-open.
|
|
7
|
-
*
|
|
8
|
-
* @module permission-eval
|
|
9
|
-
*/
|
|
10
|
-
|
|
11
|
-
// ─── Types ─────────────────────────────────────────────────────────────
|
|
12
|
-
|
|
13
|
-
/** Result of a permission evaluation. */
|
|
14
|
-
export interface PermissionResult {
|
|
15
|
-
allowed: boolean
|
|
16
|
-
reason: 'allow' | 'deny' | 'hook_deny' | 'no_match'
|
|
17
|
-
message?: string
|
|
18
|
-
}
|
|
19
|
-
|
|
20
|
-
/** Hook script result (mirrors hook-runner.ts HookResult). */
|
|
21
|
-
export interface HookResult {
|
|
22
|
-
code: number
|
|
23
|
-
stdout: string
|
|
24
|
-
stderr: string
|
|
25
|
-
/** When true, the hook script was not found — treat as fail-open. */
|
|
26
|
-
missing?: boolean
|
|
27
|
-
}
|
|
28
|
-
|
|
29
|
-
/**
|
|
30
|
-
* PreToolUse hook function signature.
|
|
31
|
-
* exit 0 → allow, exit 2 → hard deny, exit 1 → soft deny.
|
|
32
|
-
* Throw = fail-open.
|
|
33
|
-
*/
|
|
34
|
-
export type PreToolUseHook = (tool: string, args: unknown) => Promise<HookResult> | HookResult
|
|
35
|
-
|
|
36
|
-
/** Permission configuration. */
|
|
37
|
-
export interface PermissionConfig {
|
|
38
|
-
/** Deny rules — evaluated first. User-level denies override project allows. */
|
|
39
|
-
deny: readonly string[]
|
|
40
|
-
/** Allow rules — evaluated after deny. */
|
|
41
|
-
allow: readonly string[]
|
|
42
|
-
/** Optional hooks configuration. */
|
|
43
|
-
hooks?: {
|
|
44
|
-
/** PreToolUse hook function (in-process, not script path). */
|
|
45
|
-
preToolUse?: PreToolUseHook
|
|
46
|
-
}
|
|
47
|
-
}
|
|
48
|
-
|
|
49
|
-
// ─── Pattern matching ──────────────────────────────────────────────────
|
|
50
|
-
|
|
51
|
-
/**
|
|
52
|
-
* Parse a permission rule pattern into { tool, argPattern }.
|
|
53
|
-
*
|
|
54
|
-
* Supported formats:
|
|
55
|
-
* - "tool" → tool="tool", argPattern="*"
|
|
56
|
-
* - "tool:*" → tool="tool", argPattern="*"
|
|
57
|
-
* - "tool:subcommand" → tool="tool", argPattern="subcommand"
|
|
58
|
-
* - "tool(pattern)" → tool="tool", argPattern="pattern" (full match)
|
|
59
|
-
* - "*:*" → tool="*", argPattern="*"
|
|
60
|
-
* - "git push:*" → tool="git push", argPattern="*" (subcommand prefix)
|
|
61
|
-
*/
|
|
62
|
-
function parsePattern(pattern: string): { tool: string; argPattern: string } {
|
|
63
|
-
// Handle "tool(pattern)" format — the content inside parens is the full
|
|
64
|
-
// arg pattern. Colons inside parens are literal, not separators.
|
|
65
|
-
const parenMatch = /^([^(]+)\(([^)]+)\)$/.exec(pattern)
|
|
66
|
-
if (parenMatch) {
|
|
67
|
-
const tool = parenMatch[1] ?? ''
|
|
68
|
-
const argPattern = parenMatch[2] ?? ''
|
|
69
|
-
return { tool, argPattern }
|
|
70
|
-
}
|
|
71
|
-
|
|
72
|
-
// Handle "tool:argPattern" or just "tool"
|
|
73
|
-
const colonIdx = pattern.indexOf(':')
|
|
74
|
-
if (colonIdx === -1) {
|
|
75
|
-
return { tool: pattern, argPattern: '*' }
|
|
76
|
-
}
|
|
77
|
-
const argPattern = pattern.slice(colonIdx + 1)
|
|
78
|
-
return {
|
|
79
|
-
tool: pattern.slice(0, colonIdx),
|
|
80
|
-
// Empty argPattern after colon = wildcard (e.g. "*:" matches any args)
|
|
81
|
-
argPattern: argPattern === '' ? '*' : argPattern,
|
|
82
|
-
}
|
|
83
|
-
}
|
|
84
|
-
|
|
85
|
-
/**
|
|
86
|
-
* Convert a glob-like pattern to a regex. `*` matches any sequence.
|
|
87
|
-
* Anchored to full match.
|
|
88
|
-
*/
|
|
89
|
-
function globToRegex(pattern: string): RegExp {
|
|
90
|
-
const escaped = pattern
|
|
91
|
-
.replace(/[.+^${}()|[\]\\]/g, '\\$&')
|
|
92
|
-
.replace(/\*/g, '.*')
|
|
93
|
-
.replace(/\?/g, '.')
|
|
94
|
-
return new RegExp(`^${escaped}$`)
|
|
95
|
-
}
|
|
96
|
-
|
|
97
|
-
/** Extract a string representation from tool args for pattern matching. */
|
|
98
|
-
function argsToString(args: unknown): string {
|
|
99
|
-
if (args === null || args === undefined) return ''
|
|
100
|
-
if (typeof args === 'string') return args
|
|
101
|
-
if (typeof args === 'object') {
|
|
102
|
-
const record = args as Record<string, unknown>
|
|
103
|
-
// Try common field names
|
|
104
|
-
for (const key of ['command', 'cmd', 'query', 'pattern', 'filePath', 'path', 'url']) {
|
|
105
|
-
if (typeof record[key] === 'string') return record[key]
|
|
106
|
-
}
|
|
107
|
-
return JSON.stringify(args)
|
|
108
|
-
}
|
|
109
|
-
return String(args)
|
|
110
|
-
}
|
|
111
|
-
|
|
112
|
-
/**
|
|
113
|
-
* Build a combined string for matching: "toolName argString".
|
|
114
|
-
* This allows patterns like "git push:*" to match tool="git" with args
|
|
115
|
-
* containing "push".
|
|
116
|
-
*/
|
|
117
|
-
function combinedString(tool: string, args: unknown): string {
|
|
118
|
-
const argsStr = argsToString(args)
|
|
119
|
-
return argsStr !== '' ? `${tool} ${argsStr}` : tool
|
|
120
|
-
}
|
|
121
|
-
|
|
122
|
-
/**
|
|
123
|
-
* Check if a tool+args matches a permission rule pattern.
|
|
124
|
-
* Returns true when the pattern matches.
|
|
125
|
-
*
|
|
126
|
-
* Matching strategy:
|
|
127
|
-
* 1. Wildcard tool ("*") → match any tool with argPattern
|
|
128
|
-
* 2. Direct tool match → check argPattern against args
|
|
129
|
-
* 3. Combined match (for "git push:*" style patterns) → prefix match
|
|
130
|
-
*/
|
|
131
|
-
function matchesRule(pattern: string, tool: string, args: unknown): boolean {
|
|
132
|
-
const { tool: patternTool, argPattern } = parsePattern(pattern)
|
|
133
|
-
|
|
134
|
-
// Wildcard tool: match any tool
|
|
135
|
-
if (patternTool === '*') {
|
|
136
|
-
if (argPattern === '*') return true
|
|
137
|
-
const argsStr = argsToString(args)
|
|
138
|
-
return globToRegex(argPattern).test(argsStr)
|
|
139
|
-
}
|
|
140
|
-
|
|
141
|
-
// Check direct tool match
|
|
142
|
-
if (globToRegex(patternTool).test(tool)) {
|
|
143
|
-
if (argPattern === '*') return true
|
|
144
|
-
const argsStr = argsToString(args)
|
|
145
|
-
return globToRegex(argPattern).test(argsStr)
|
|
146
|
-
}
|
|
147
|
-
|
|
148
|
-
// Combined match for patterns with spaces (e.g. "git push:*")
|
|
149
|
-
// The pattern tool includes a subcommand that appears in args.
|
|
150
|
-
// Use prefix matching: "git push" matches "git push origin main"
|
|
151
|
-
if (patternTool.includes(' ')) {
|
|
152
|
-
const combined = combinedString(tool, args)
|
|
153
|
-
// Prefix match: combined starts with pattern tool
|
|
154
|
-
if (combined.startsWith(patternTool)) {
|
|
155
|
-
return true
|
|
156
|
-
}
|
|
157
|
-
}
|
|
158
|
-
|
|
159
|
-
return false
|
|
160
|
-
}
|
|
161
|
-
|
|
162
|
-
// ─── Evaluation ────────────────────────────────────────────────────────
|
|
163
|
-
|
|
164
|
-
/**
|
|
165
|
-
* Evaluate a permission config against a tool+args invocation.
|
|
166
|
-
*
|
|
167
|
-
* Evaluation order:
|
|
168
|
-
* 1. Check deny rules (user-level first, then project-level)
|
|
169
|
-
* 2. If no deny matched, run the PreToolUse hook
|
|
170
|
-
* 3. If hook exits 0 (or missing), check allow rules
|
|
171
|
-
* 4. If no allow matched → deny (implicit deny)
|
|
172
|
-
*
|
|
173
|
-
* User-level denies override project-level allows: a deny in the user config
|
|
174
|
-
* cannot be cancelled by an allow in the project config.
|
|
175
|
-
*/
|
|
176
|
-
export function evaluatePermission(
|
|
177
|
-
config: PermissionConfig,
|
|
178
|
-
invocation: { tool: string; args?: unknown },
|
|
179
|
-
): PermissionResult {
|
|
180
|
-
const { tool, args } = invocation
|
|
181
|
-
|
|
182
|
-
// ── Step 1: Deny-first check ────────────────────────────────────────
|
|
183
|
-
for (const pattern of config.deny) {
|
|
184
|
-
if (matchesRule(pattern, tool, args)) {
|
|
185
|
-
return { allowed: false, reason: 'deny', message: `denied by rule: ${pattern}` }
|
|
186
|
-
}
|
|
187
|
-
}
|
|
188
|
-
|
|
189
|
-
// ── Step 2: PreToolUse hook ─────────────────────────────────────────
|
|
190
|
-
if (config.hooks?.preToolUse !== undefined) {
|
|
191
|
-
try {
|
|
192
|
-
const hookResult = config.hooks.preToolUse(tool, args)
|
|
193
|
-
// Support both sync and async hooks
|
|
194
|
-
// For sync hooks (non-Promise), check immediately
|
|
195
|
-
if (!(hookResult instanceof Promise)) {
|
|
196
|
-
// missing flag: hook script not found → fail-open
|
|
197
|
-
if (hookResult.missing === true) {
|
|
198
|
-
// Fall through to config evaluation (fail-open)
|
|
199
|
-
} else if (hookResult.code === 2) {
|
|
200
|
-
return {
|
|
201
|
-
allowed: false,
|
|
202
|
-
reason: 'hook_deny',
|
|
203
|
-
message: `hook hard deny (exit 2): ${hookResult.stderr}`,
|
|
204
|
-
}
|
|
205
|
-
} else if (hookResult.code !== 0) {
|
|
206
|
-
return {
|
|
207
|
-
allowed: false,
|
|
208
|
-
reason: 'hook_deny',
|
|
209
|
-
message: `hook deny (exit ${hookResult.code}): ${hookResult.stderr}`,
|
|
210
|
-
}
|
|
211
|
-
}
|
|
212
|
-
// Hook exited 0 (or missing) → fall through to allow check
|
|
213
|
-
}
|
|
214
|
-
// For async hooks, we cannot await in a sync function.
|
|
215
|
-
// Use evaluatePermissionAsync for async hooks.
|
|
216
|
-
} catch {
|
|
217
|
-
// Hook throw → fail-open: fall through to config evaluation
|
|
218
|
-
}
|
|
219
|
-
}
|
|
220
|
-
|
|
221
|
-
// ── Step 3: Allow check ─────────────────────────────────────────────
|
|
222
|
-
for (const pattern of config.allow) {
|
|
223
|
-
if (matchesRule(pattern, tool, args)) {
|
|
224
|
-
return { allowed: true, reason: 'allow', message: `allowed by rule: ${pattern}` }
|
|
225
|
-
}
|
|
226
|
-
}
|
|
227
|
-
|
|
228
|
-
// ── Step 4: No match → implicit deny ────────────────────────────────
|
|
229
|
-
return { allowed: false, reason: 'no_match', message: 'no matching allow rule' }
|
|
230
|
-
}
|
|
231
|
-
|
|
232
|
-
/**
|
|
233
|
-
* Async version of evaluatePermission that properly awaits hooks.
|
|
234
|
-
* Use this when hooks may be async (e.g., shell scripts).
|
|
235
|
-
*/
|
|
236
|
-
export async function evaluatePermissionAsync(
|
|
237
|
-
config: PermissionConfig,
|
|
238
|
-
invocation: { tool: string; args?: unknown },
|
|
239
|
-
): Promise<PermissionResult> {
|
|
240
|
-
const { tool, args } = invocation
|
|
241
|
-
|
|
242
|
-
// ── Step 1: Deny-first check ────────────────────────────────────────
|
|
243
|
-
for (const pattern of config.deny) {
|
|
244
|
-
if (matchesRule(pattern, tool, args)) {
|
|
245
|
-
return { allowed: false, reason: 'deny', message: `denied by rule: ${pattern}` }
|
|
246
|
-
}
|
|
247
|
-
}
|
|
248
|
-
|
|
249
|
-
// ── Step 2: PreToolUse hook ─────────────────────────────────────────
|
|
250
|
-
if (config.hooks?.preToolUse !== undefined) {
|
|
251
|
-
try {
|
|
252
|
-
const hookResult = await config.hooks.preToolUse(tool, args)
|
|
253
|
-
// missing flag: hook script not found → fail-open
|
|
254
|
-
if (hookResult.missing === true) {
|
|
255
|
-
// Fall through to config evaluation (fail-open)
|
|
256
|
-
} else if (hookResult.code === 2) {
|
|
257
|
-
return {
|
|
258
|
-
allowed: false,
|
|
259
|
-
reason: 'hook_deny',
|
|
260
|
-
message: `hook hard deny (exit 2): ${hookResult.stderr}`,
|
|
261
|
-
}
|
|
262
|
-
} else if (hookResult.code !== 0) {
|
|
263
|
-
return {
|
|
264
|
-
allowed: false,
|
|
265
|
-
reason: 'hook_deny',
|
|
266
|
-
message: `hook deny (exit ${hookResult.code}): ${hookResult.stderr}`,
|
|
267
|
-
}
|
|
268
|
-
}
|
|
269
|
-
// Hook exited 0 (or missing) → fall through to allow check
|
|
270
|
-
} catch {
|
|
271
|
-
// Hook throw → fail-open: fall through to config evaluation
|
|
272
|
-
}
|
|
273
|
-
}
|
|
274
|
-
|
|
275
|
-
// ── Step 3: Allow check ─────────────────────────────────────────────
|
|
276
|
-
for (const pattern of config.allow) {
|
|
277
|
-
if (matchesRule(pattern, tool, args)) {
|
|
278
|
-
return { allowed: true, reason: 'allow', message: `allowed by rule: ${pattern}` }
|
|
279
|
-
}
|
|
280
|
-
}
|
|
281
|
-
|
|
282
|
-
// ── Step 4: No match → implicit deny ────────────────────────────────
|
|
283
|
-
return { allowed: false, reason: 'no_match', message: 'no matching allow rule' }
|
|
284
|
-
}
|
|
@@ -1,76 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Preemptive Compaction Check (release-134 Phase 5) — dormant, ready-to-wire.
|
|
3
|
-
*
|
|
4
|
-
* WHY: the SDK 1.18.x exposes NO runtime source of context-usage percentage,
|
|
5
|
-
* so there is nothing to observe at runtime yet. This module is the pure
|
|
6
|
-
* decision core that warns the model BEFORE the context fills up — ready to
|
|
7
|
-
* be wired to a future usage source, but deliberately NOT wired today.
|
|
8
|
-
*
|
|
9
|
-
* HOW: `preemptiveCompactCheck` is a pure function: given the current usage
|
|
10
|
-
* fraction and the last fraction at which a warning was emitted, it decides
|
|
11
|
-
* whether to warn again (threshold + re-warn step) and returns the effective
|
|
12
|
-
* `lastWarnedPct`. The `enqueue` callback is INJECTED by the caller — this
|
|
13
|
-
* module stays standalone and does NOT import the shared chat-reminders
|
|
14
|
-
* buffer.
|
|
15
|
-
*
|
|
16
|
-
* YAGNI: no background timers, no polling, no plugin wiring. When (if) the
|
|
17
|
-
* SDK exposes a usage source, the caller wires it into this check.
|
|
18
|
-
*
|
|
19
|
-
* FAIL-OPEN: the whole check is wrapped — an enqueue failure returns the
|
|
20
|
-
* previous state and never throws.
|
|
21
|
-
*
|
|
22
|
-
* @module preemptive-compact
|
|
23
|
-
*/
|
|
24
|
-
|
|
25
|
-
// ─── Constants ─────────────────────────────────────────────────────────
|
|
26
|
-
|
|
27
|
-
/** Warn when context usage reaches this fraction (78%). */
|
|
28
|
-
export const PREEMPTIVE_COMPACTION_THRESHOLD = 0.78
|
|
29
|
-
|
|
30
|
-
/** Re-warn only when usage rose at least this much since the last warning (5pp). */
|
|
31
|
-
export const PREEMPTIVE_REWARN_STEP = 0.05
|
|
32
|
-
|
|
33
|
-
// ─── Types ─────────────────────────────────────────────────────────────
|
|
34
|
-
|
|
35
|
-
/** Dependencies threaded to preemptiveCompactCheck (wired from plugin.ts). */
|
|
36
|
-
export interface PreemptiveCompactDeps {
|
|
37
|
-
/** The session whose context usage is being checked. */
|
|
38
|
-
sessionID: string
|
|
39
|
-
/** Current context usage as a fraction (0..1). */
|
|
40
|
-
usagePct: number
|
|
41
|
-
/** Last fraction at which a warning was emitted (undefined = never). */
|
|
42
|
-
lastWarnedPct: number | undefined
|
|
43
|
-
/** Injectable enqueue (testable). The module stays standalone. */
|
|
44
|
-
enqueue: (text: string) => void
|
|
45
|
-
}
|
|
46
|
-
|
|
47
|
-
// ─── Decision ──────────────────────────────────────────────────────────
|
|
48
|
-
|
|
49
|
-
/**
|
|
50
|
-
* Pure decision: should a warning be emitted at the given usage?
|
|
51
|
-
* True when usage is at/above the threshold AND either no warning was
|
|
52
|
-
* emitted yet or usage rose by at least the re-warn step since the last one.
|
|
53
|
-
*/
|
|
54
|
-
export function shouldWarn(usagePct: number, lastWarnedPct: number | undefined): boolean {
|
|
55
|
-
if (usagePct < PREEMPTIVE_COMPACTION_THRESHOLD) return false
|
|
56
|
-
if (lastWarnedPct === undefined) return true
|
|
57
|
-
return usagePct >= lastWarnedPct + PREEMPTIVE_REWARN_STEP
|
|
58
|
-
}
|
|
59
|
-
|
|
60
|
-
/**
|
|
61
|
-
* Preemptive compaction check: when a warning should fire, enqueue the
|
|
62
|
-
* reminder and return the usage fraction as the new `lastWarnedPct`.
|
|
63
|
-
* Otherwise (or on any failure) return the previous `lastWarnedPct`.
|
|
64
|
-
* NEVER throws — the hook must never break the session.
|
|
65
|
-
*/
|
|
66
|
-
export function preemptiveCompactCheck(deps: PreemptiveCompactDeps): number | undefined {
|
|
67
|
-
try {
|
|
68
|
-
if (!shouldWarn(deps.usagePct, deps.lastWarnedPct)) return deps.lastWarnedPct
|
|
69
|
-
deps.enqueue(
|
|
70
|
-
`context usage at ${Math.round(deps.usagePct * 100)}% — consider compacting before continuing`,
|
|
71
|
-
)
|
|
72
|
-
return deps.usagePct
|
|
73
|
-
} catch {
|
|
74
|
-
return deps.lastWarnedPct
|
|
75
|
-
}
|
|
76
|
-
}
|