@guilz-dev/belay 0.3.0 → 0.6.0

package/dist/core/capability/boundary-profile.d.ts

@@ -0,0 +1,15 @@
+import type { BelayConfigV4 } from '../config.js';
+import type { BoundaryAttestation } from './attestation.js';
+/** Policy-only boundary (L3/L4). No attested L1 enforcement. */
+export declare const BOUNDARY_PROFILE_L3_POLICY: "l3-policy-engine";
+/** Editor-facing label when only prediction + approval layers are active. */
+export declare const BOUNDARY_PROFILE_L3_L4_ONLY: "l3-l4-only";
+/** Attested container / sandbox boundary with grant materialization. */
+export declare const BOUNDARY_PROFILE_L1_ATTESTED: "l1-attested-boundary";
+export type BoundaryProfileId = typeof BOUNDARY_PROFILE_L3_POLICY | typeof BOUNDARY_PROFILE_L3_L4_ONLY | typeof BOUNDARY_PROFILE_L1_ATTESTED;
+export declare function isAttestedBoundary(attestation: BoundaryAttestation | null | undefined): boolean;
+export declare function resolveBoundaryProfile(params: {
+    config: BelayConfigV4;
+    attestation?: BoundaryAttestation | null;
+}): BoundaryProfileId;
+export declare function boundaryVerifiedAllowEnabled(attestation: BoundaryAttestation | null | undefined): boolean;

package/dist/core/capability/boundary-profile.js

@@ -0,0 +1,25 @@
+import { isAttestationFresh } from './attestation.js';
+/** Policy-only boundary (L3/L4). No attested L1 enforcement. */
+export const BOUNDARY_PROFILE_L3_POLICY = 'l3-policy-engine';
+/** Editor-facing label when only prediction + approval layers are active. */
+export const BOUNDARY_PROFILE_L3_L4_ONLY = 'l3-l4-only';
+/** Attested container / sandbox boundary with grant materialization. */
+export const BOUNDARY_PROFILE_L1_ATTESTED = 'l1-attested-boundary';
+export function isAttestedBoundary(attestation) {
+    if (!attestation || !isAttestationFresh(attestation)) {
+        return false;
+    }
+    return attestation.deniesUngrantedEffects && attestation.materializesGrants;
+}
+export function resolveBoundaryProfile(params) {
+    if (!isAttestedBoundary(params.attestation)) {
+        return BOUNDARY_PROFILE_L3_L4_ONLY;
+    }
+    if (params.attestation?.driver === 'container') {
+        return BOUNDARY_PROFILE_L1_ATTESTED;
+    }
+    return BOUNDARY_PROFILE_L3_POLICY;
+}
+export function boundaryVerifiedAllowEnabled(attestation) {
+    return isAttestedBoundary(attestation);
+}

package/dist/core/capability/boundary-run.d.ts

@@ -0,0 +1,23 @@
+import type { ShellRunResult } from '../transactional/git-worktree.js';
+import type { ClassifyResult } from '../types.js';
+export interface BoundaryRunOptions {
+    /** When true, container driver mounts the working directory read-only. */
+    mountReadOnly?: boolean;
+}
+export interface BoundaryPrepareContext {
+    repoRoot?: string;
+    egressProxyActive: boolean;
+    proxyEnv: Record<string, string>;
+}
+export interface BoundaryRunnable {
+    prepare?(context: BoundaryPrepareContext): Promise<void>;
+    run(command: string, cwd: string, timeoutMs: number, options?: BoundaryRunOptions): Promise<ShellRunResult>;
+}
+export declare function boundaryMountReadOnlyFromPrediction(predicted: ClassifyResult): boolean;
+export declare function runWithBoundaryRunnable(target: BoundaryRunnable, params: {
+    prepareContext: BoundaryPrepareContext;
+    command: string;
+    cwd: string;
+    timeoutMs: number;
+    runOptions?: BoundaryRunOptions;
+}): Promise<ShellRunResult>;

package/dist/core/capability/boundary-run.js

@@ -0,0 +1,23 @@
+export function boundaryMountReadOnlyFromPrediction(predicted) {
+    const effect = predicted.axes?.effect;
+    if (effect === 'local_mutation' || effect === 'remote_mutation') {
+        return false;
+    }
+    const action = predicted.capabilityRequests?.[0]?.action;
+    if (action === 'fs.write' || action === 'git.ref.write' || action === 'control_plane.write') {
+        return false;
+    }
+    if (action === 'fs.read') {
+        return true;
+    }
+    if (action === 'network.connect' || action === 'process.exec' || action === 'indeterminate') {
+        return true;
+    }
+    return true;
+}
+export async function runWithBoundaryRunnable(target, params) {
+    if (target.prepare) {
+        await target.prepare(params.prepareContext);
+    }
+    return target.run(params.command, params.cwd, params.timeoutMs, params.runOptions);
+}

package/dist/core/capability/boundary-session.d.ts

@@ -0,0 +1,57 @@
+import type { BelayConfigV4 } from '../config.js';
+import type { BoundaryAttestation, BoundaryDriverId } from './attestation.js';
+import { type BoundaryDriver } from './boundary-driver.js';
+import { dockerNetworkArgs } from './boundary-egress.js';
+import { type BoundaryPrepareContext, type BoundaryRunOptions } from './boundary-run.js';
+export interface BoundarySessionOptions {
+    egressProxyRunning?: boolean;
+}
+export interface ResolvedBoundaryDriverContext {
+    driver: BoundaryDriver;
+    driverId: BoundaryDriverId;
+    proxyActive: boolean;
+    proxyEnv: Record<string, string>;
+    prepareContext: BoundaryPrepareContext;
+}
+export declare function boundaryAttestationPath(repoRoot: string, config: BelayConfigV4): string;
+export declare function loadBoundaryAttestation(filePath: string, expectedRepoRoot?: string, controlPlaneDir?: string): Promise<BoundaryAttestation | null>;
+export declare function saveBoundaryAttestation(filePath: string, attestation: BoundaryAttestation, repoRoot: string, controlPlaneDir: string): Promise<void>;
+export declare function hostIntegrationBoundaryContext(repoRoot: string): ResolvedBoundaryDriverContext;
+export declare function resolveBoundaryDriverContext(params: {
+    repoRoot: string;
+    config: BelayConfigV4;
+    driverId?: BoundaryDriverId;
+    egressProxyRunning?: boolean;
+}): Promise<ResolvedBoundaryDriverContext>;
+export declare function runWithBoundaryDriver(params: {
+    context: ResolvedBoundaryDriverContext;
+    command: string;
+    cwd: string;
+    timeoutMs: number;
+    runOptions?: BoundaryRunOptions;
+}): Promise<Awaited<ReturnType<BoundaryDriver['run']>>>;
+export declare function startBoundarySession(params: {
+    repoRoot: string;
+    config: BelayConfigV4;
+    driverId?: BoundaryDriverId;
+    egressProxyRunning?: boolean;
+}): Promise<{
+    attestation: BoundaryAttestation;
+    attestationPath: string;
+}>;
+export declare function boundarySessionStatus(params: {
+    repoRoot: string;
+    config: BelayConfigV4;
+}): Promise<{
+    attestationPath: string;
+    attestation: BoundaryAttestation | null;
+    fresh: boolean;
+}>;
+export declare function runBoundaryAgentCommand(params: {
+    repoRoot: string;
+    config: BelayConfigV4;
+    command: string;
+    cwd?: string;
+    timeoutMs?: number;
+}): Promise<Awaited<ReturnType<BoundaryDriver['run']>>>;
+export { dockerNetworkArgs };

package/dist/core/capability/boundary-session.js

@@ -0,0 +1,129 @@
+import { mkdir, writeFile } from 'node:fs/promises';
+import path from 'node:path';
+import { egressStatus } from '../../services/egress-service.js';
+import { configuredControlPlaneDir } from '../config.js';
+import { isAttestationFresh } from './attestation.js';
+import { readSignedAttestationFile, signBoundaryAttestation, verifySignedBoundaryAttestation, } from './boundary-attestation-sign.js';
+import { getDefaultBoundaryDriver } from './boundary-driver.js';
+import { dockerNetworkArgs, isEgressProxyActive, resolveBoundaryEgressProxyEnv, } from './boundary-egress.js';
+import { runWithBoundaryRunnable, } from './boundary-run.js';
+export function boundaryAttestationPath(repoRoot, config) {
+    const rel = config.capability?.attestationRelPath ?? '.belay/attestation.json';
+    return path.isAbsolute(rel) ? rel : path.join(repoRoot, rel);
+}
+export async function loadBoundaryAttestation(filePath, expectedRepoRoot, controlPlaneDir) {
+    try {
+        const raw = await readSignedAttestationFile(filePath);
+        if (expectedRepoRoot && controlPlaneDir) {
+            return verifySignedBoundaryAttestation({
+                file: raw,
+                expectedRepoRoot,
+                controlPlaneDir,
+            });
+        }
+        return null;
+    }
+    catch {
+        return null;
+    }
+}
+export async function saveBoundaryAttestation(filePath, attestation, repoRoot, controlPlaneDir) {
+    const signed = await signBoundaryAttestation({
+        repoRoot,
+        attestation,
+        controlPlaneDir,
+    });
+    await mkdir(path.dirname(filePath), { recursive: true, mode: 0o700 });
+    await writeFile(filePath, `${JSON.stringify(signed, null, 2)}\n`, {
+        encoding: 'utf8',
+        mode: 0o600,
+    });
+}
+export function hostIntegrationBoundaryContext(repoRoot) {
+    const driver = getDefaultBoundaryDriver('host-integration', { repoRoot });
+    return {
+        driver,
+        driverId: 'host-integration',
+        proxyActive: false,
+        proxyEnv: {},
+        prepareContext: {
+            repoRoot,
+            egressProxyActive: false,
+            proxyEnv: {},
+        },
+    };
+}
+export async function resolveBoundaryDriverContext(params) {
+    const driverId = params.driverId ?? params.config.capability?.boundaryDriver ?? 'host-integration';
+    let proxyActive = params.egressProxyRunning === true;
+    if (params.egressProxyRunning === undefined) {
+        const egress = await egressStatus({ targetDir: params.repoRoot });
+        proxyActive = isEgressProxyActive({
+            config: params.config,
+            running: egress.running,
+            foreignProxy: egress.foreignProxy,
+            repoRootMismatch: egress.repoRootMismatch,
+        });
+    }
+    const proxyEnv = resolveBoundaryEgressProxyEnv({
+        driverId,
+        config: params.config,
+        proxyActive,
+    });
+    const driver = getDefaultBoundaryDriver(driverId, {
+        egressProxyEnv: proxyEnv,
+        repoRoot: params.repoRoot,
+    });
+    return {
+        driver,
+        driverId,
+        proxyActive,
+        proxyEnv,
+        prepareContext: {
+            repoRoot: params.repoRoot,
+            egressProxyActive: proxyActive,
+            proxyEnv,
+        },
+    };
+}
+export async function runWithBoundaryDriver(params) {
+    return runWithBoundaryRunnable(params.context.driver, {
+        prepareContext: params.context.prepareContext,
+        command: params.command,
+        cwd: params.cwd,
+        timeoutMs: params.timeoutMs,
+        runOptions: params.runOptions,
+    });
+}
+export async function startBoundarySession(params) {
+    const resolved = await resolveBoundaryDriverContext(params);
+    const attestation = await resolved.driver.probe();
+    if (resolved.driver.prepare) {
+        await resolved.driver.prepare(resolved.prepareContext);
+    }
+    const attestationPath = boundaryAttestationPath(params.repoRoot, params.config);
+    await saveBoundaryAttestation(attestationPath, attestation, params.repoRoot, configuredControlPlaneDir(params.config));
+    return { attestation, attestationPath };
+}
+export async function boundarySessionStatus(params) {
+    const attestationPath = boundaryAttestationPath(params.repoRoot, params.config);
+    const attestation = await loadBoundaryAttestation(attestationPath, params.repoRoot, configuredControlPlaneDir(params.config));
+    return {
+        attestationPath,
+        attestation,
+        fresh: attestation ? isAttestationFresh(attestation) : false,
+    };
+}
+export async function runBoundaryAgentCommand(params) {
+    const context = await resolveBoundaryDriverContext({
+        repoRoot: params.repoRoot,
+        config: params.config,
+    });
+    return runWithBoundaryDriver({
+        context,
+        command: params.command,
+        cwd: params.cwd ?? params.repoRoot,
+        timeoutMs: params.timeoutMs ?? 30 * 60_000,
+    });
+}
+export { dockerNetworkArgs };

package/dist/core/capability/capability-request-hash.d.ts

@@ -0,0 +1,2 @@
+import type { CapabilityRequestV1 } from './request.js';
+export declare function hashCapabilityRequests(requests: CapabilityRequestV1[]): string;

package/dist/core/capability/capability-request-hash.js

@@ -0,0 +1,8 @@
+import { canonicalStringify, hashValue } from '../fingerprint.js';
+export function hashCapabilityRequests(requests) {
+    if (requests.length === 0) {
+        return '';
+    }
+    const normalized = [...requests].sort((left, right) => canonicalStringify(left).localeCompare(canonicalStringify(right)));
+    return hashValue(`capability-requests:v1:${canonicalStringify(normalized)}`);
+}

package/dist/core/capability/gate-latency-ratchet.d.ts

@@ -0,0 +1,7 @@
+import { GATE_LATENCY_BUDGET } from '../../corpus/gate-latency-budget.js';
+export type GateLatencyKind = keyof typeof GATE_LATENCY_BUDGET;
+/**
+ * Advisory warnings when CI budgets still exceed PLAN acceptance targets.
+ * Surfaced via sandbox status `advisories` and doctor warnings — not `issues` or gate exit codes.
+ */
+export declare function evaluateGateLatencyRatchetAdvisories(): string[];

package/dist/core/capability/gate-latency-ratchet.js

@@ -0,0 +1,18 @@
+import { GATE_LATENCY_BUDGET, GATE_LATENCY_PLAN_TARGET } from '../../corpus/gate-latency-budget.js';
+/**
+ * Advisory warnings when CI budgets still exceed PLAN acceptance targets.
+ * Surfaced via sandbox status `advisories` and doctor warnings — not `issues` or gate exit codes.
+ */
+export function evaluateGateLatencyRatchetAdvisories() {
+    const warnings = [];
+    for (const kind of Object.keys(GATE_LATENCY_BUDGET)) {
+        const budget = GATE_LATENCY_BUDGET[kind];
+        if (budget.p95Ms > GATE_LATENCY_PLAN_TARGET.p95Ms) {
+            warnings.push(`Gate ${kind} p95 CI budget ${budget.p95Ms}ms exceeds PLAN target ${GATE_LATENCY_PLAN_TARGET.p95Ms}ms — tighten via quality-loop ratchet.`);
+        }
+        if (budget.maxMs > GATE_LATENCY_PLAN_TARGET.maxMs) {
+            warnings.push(`Gate ${kind} max CI budget ${budget.maxMs}ms exceeds PLAN target ${GATE_LATENCY_PLAN_TARGET.maxMs}ms — tighten via quality-loop ratchet.`);
+        }
+    }
+    return warnings;
+}

package/dist/core/capability/gate-policy-shadow.d.ts

@@ -0,0 +1,25 @@
+import type { BelayConfigV4 } from '../config.js';
+import type { ClassifyResult } from '../types.js';
+import type { JudgeProviderId } from '../verdict/judge-catalog.js';
+import type { Tier1Verdict } from '../verdict/types.js';
+export { recordGateApprovalAsk } from './gate-shadow-ratchet.js';
+export declare function capabilityDecisionAuditFields(result: ClassifyResult): Record<string, unknown>;
+export declare function policyWouldBlock(result: ClassifyResult): boolean;
+export declare function judgeWouldBlock(verdict: Tier1Verdict): boolean;
+export declare function policyJudgeMismatch(result: ClassifyResult, judgeVerdict: Tier1Verdict): boolean;
+export declare function scheduleGateShadowAudit(params: {
+    repoRoot: string;
+    config: BelayConfigV4;
+    providerId: string;
+    result: ClassifyResult;
+    command?: string;
+    stateDir?: string;
+}): Record<string, unknown>;
+export declare function runGatePolicyShadowComparison(params: {
+    repoRoot: string;
+    config: BelayConfigV4;
+    providerId: Exclude<JudgeProviderId, 'ollama'>;
+    command: string;
+    result: ClassifyResult;
+    stateDir?: string;
+}): Promise<void>;

package/dist/core/capability/gate-policy-shadow.js

@@ -0,0 +1,108 @@
+import path from 'node:path';
+import { belayStateDir } from '../config.js';
+import { buildTier1Prompt } from '../verdict/judge.js';
+import { normalizeJudgeRuntimeConfig } from '../verdict/judge-runtime-config.js';
+import { judgeShadowAuditFields, recordShadowComparison, shouldRunShadowComparison, triggerJudgeSessionKillSwitch, } from '../verdict/judge-shadow.js';
+import { evaluateWithJudgeTransport } from '../verdict/judge-transport.js';
+import { recordPolicyJudgeComparison } from './gate-shadow-ratchet.js';
+export { recordGateApprovalAsk } from './gate-shadow-ratchet.js';
+export function capabilityDecisionAuditFields(result) {
+    const fields = {};
+    if (result.capabilityRequests?.length) {
+        fields.capabilityRequestCount = result.capabilityRequests.length;
+        fields.capabilityActions = result.capabilityRequests.map((request) => request.action);
+    }
+    if (result.authorizationDecision) {
+        fields.policyOutcome = result.authorizationDecision.outcome;
+        fields.policyReason = result.authorizationDecision.reason;
+        if (result.authorizationDecision.matchedRule) {
+            fields.policyMatchedRule = result.authorizationDecision.matchedRule;
+        }
+    }
+    if (result.boundaryProfile) {
+        fields.boundaryProfile = result.boundaryProfile;
+    }
+    if (result.authorizationDecision?.signals.includes('boundary_materialized_grant')) {
+        fields.boundaryGrantMaterialized = true;
+    }
+    return fields;
+}
+export function policyWouldBlock(result) {
+    const outcome = result.authorizationDecision?.outcome;
+    if (outcome === 'allow') {
+        return false;
+    }
+    if (outcome === 'require_approval' || outcome === 'deny') {
+        return true;
+    }
+    return result.verdict === 'deny_pending_approval';
+}
+export function judgeWouldBlock(verdict) {
+    return !verdict.local_recoverable || verdict.destroys_history_or_secrets === true;
+}
+export function policyJudgeMismatch(result, judgeVerdict) {
+    return policyWouldBlock(result) !== judgeWouldBlock(judgeVerdict);
+}
+function queueDeferredGatePolicyShadow(params) {
+    setImmediate(() => {
+        void runGatePolicyShadowComparison(params).catch(() => { });
+    });
+}
+export function scheduleGateShadowAudit(params) {
+    const trace = capabilityDecisionAuditFields(params.result);
+    const judge = params.config.judge;
+    const mode = judge?.mode ?? 'shadow';
+    if (mode !== 'shadow' || !judge.runtime?.shadow?.enabled) {
+        return trace;
+    }
+    const deferredTrace = {
+        ...trace,
+        ...judgeShadowAuditFields(params.repoRoot),
+        judgeShadowScheduled: false,
+        judgeShadowDeferred: true,
+    };
+    const command = params.command?.trim();
+    if (!command ||
+        params.providerId === 'ollama' ||
+        !shouldRunShadowComparison(params.repoRoot, params.providerId, judge.runtime.shadow)) {
+        return deferredTrace;
+    }
+    queueDeferredGatePolicyShadow({
+        repoRoot: params.repoRoot,
+        config: params.config,
+        providerId: params.providerId,
+        command,
+        result: params.result,
+        stateDir: params.stateDir,
+    });
+    return {
+        ...deferredTrace,
+        judgeShadowQueued: true,
+    };
+}
+export async function runGatePolicyShadowComparison(params) {
+    const judge = params.config.judge;
+    const runtime = normalizeJudgeRuntimeConfig(judge.runtime);
+    const stateDir = params.stateDir ?? belayStateDir(params.config, path.join(params.repoRoot, '.belay'));
+    const transport = await evaluateWithJudgeTransport({
+        prompt: buildTier1Prompt(params.command),
+        context: {
+            providerId: params.providerId,
+            model: judge.model ?? 'default',
+            repoRoot: params.repoRoot,
+            stateDir,
+            judgeMode: judge.mode ?? 'shadow',
+            runtime,
+            judgeTimeoutMs: judge.timeoutMs ?? 25_000,
+        },
+    }, { skipTransportShadow: true, spawnOnly: true });
+    if (!transport.verdict) {
+        return;
+    }
+    const mismatch = policyJudgeMismatch(params.result, transport.verdict);
+    const shadow = recordShadowComparison(params.repoRoot, runtime.shadow, mismatch);
+    await recordPolicyJudgeComparison(params.repoRoot, stateDir, mismatch);
+    if (shadow.killSwitchTriggered) {
+        await triggerJudgeSessionKillSwitch(params.repoRoot, stateDir);
+    }
+}

package/dist/core/capability/gate-shadow-audit.d.ts

@@ -0,0 +1 @@
+export { capabilityDecisionAuditFields, judgeWouldBlock, policyJudgeMismatch, policyWouldBlock, recordGateApprovalAsk, runGatePolicyShadowComparison, scheduleGateShadowAudit, } from './gate-policy-shadow.js';

package/dist/core/capability/gate-shadow-audit.js

@@ -0,0 +1 @@
+export { capabilityDecisionAuditFields, judgeWouldBlock, policyJudgeMismatch, policyWouldBlock, recordGateApprovalAsk, runGatePolicyShadowComparison, scheduleGateShadowAudit, } from './gate-policy-shadow.js';

package/dist/core/capability/gate-shadow-ratchet.d.ts

@@ -0,0 +1,14 @@
+export interface GateShadowRatchetState {
+    version: 1;
+    policyJudgeComparisons: number;
+    policyJudgeMismatches: number;
+    approvalByReason: Record<string, {
+        asks: number;
+        approved: number;
+    }>;
+    updatedAt: string;
+}
+export declare function recordPolicyJudgeComparison(repoRoot: string, stateDir: string, mismatch: boolean): Promise<void>;
+export declare function recordGateApprovalAsk(stateDir: string, reason: string, approved: boolean): Promise<void>;
+export declare function evaluateShadowRatchetWarnings(state: GateShadowRatchetState): string[];
+export declare function loadShadowRatchetWarnings(stateDir: string): Promise<string[]>;

package/dist/core/capability/gate-shadow-ratchet.js

@@ -0,0 +1,81 @@
+import { existsSync } from 'node:fs';
+import { mkdir, readFile, writeFile } from 'node:fs/promises';
+import path from 'node:path';
+const DEFAULT_STATE = {
+    version: 1,
+    policyJudgeComparisons: 0,
+    policyJudgeMismatches: 0,
+    approvalByReason: {},
+    updatedAt: new Date(0).toISOString(),
+};
+const MISMATCH_RATE_THRESHOLD = 0.25;
+const APPROVAL_RATE_THRESHOLD = 0.5;
+const MIN_SAMPLES = 10;
+function ratchetPath(stateDir) {
+    return path.join(stateDir, 'gate-shadow-ratchet.json');
+}
+async function loadState(stateDir) {
+    const filePath = ratchetPath(stateDir);
+    if (!existsSync(filePath)) {
+        return { ...DEFAULT_STATE, updatedAt: new Date().toISOString() };
+    }
+    try {
+        const raw = JSON.parse(await readFile(filePath, 'utf8'));
+        return {
+            ...DEFAULT_STATE,
+            ...raw,
+            approvalByReason: raw.approvalByReason ?? {},
+        };
+    }
+    catch {
+        return { ...DEFAULT_STATE, updatedAt: new Date().toISOString() };
+    }
+}
+async function saveState(stateDir, state) {
+    await mkdir(stateDir, { recursive: true, mode: 0o700 });
+    await writeFile(ratchetPath(stateDir), `${JSON.stringify({ ...state, updatedAt: new Date().toISOString() }, null, 2)}\n`, { encoding: 'utf8', mode: 0o600 });
+}
+export async function recordPolicyJudgeComparison(repoRoot, stateDir, mismatch) {
+    void repoRoot;
+    const state = await loadState(stateDir);
+    state.policyJudgeComparisons += 1;
+    if (mismatch) {
+        state.policyJudgeMismatches += 1;
+    }
+    await saveState(stateDir, state);
+}
+export async function recordGateApprovalAsk(stateDir, reason, approved) {
+    const state = await loadState(stateDir);
+    const entry = state.approvalByReason[reason] ?? { asks: 0, approved: 0 };
+    if (approved) {
+        entry.approved += 1;
+    }
+    else {
+        entry.asks += 1;
+    }
+    state.approvalByReason[reason] = entry;
+    await saveState(stateDir, state);
+}
+export function evaluateShadowRatchetWarnings(state) {
+    const warnings = [];
+    if (state.policyJudgeComparisons >= MIN_SAMPLES) {
+        const rate = state.policyJudgeMismatches / state.policyJudgeComparisons;
+        if (rate > MISMATCH_RATE_THRESHOLD) {
+            warnings.push(`Policy/judge shadow mismatch rate ${(rate * 100).toFixed(0)}% exceeds ${(MISMATCH_RATE_THRESHOLD * 100).toFixed(0)}% threshold (${state.policyJudgeMismatches}/${state.policyJudgeComparisons}).`);
+        }
+    }
+    for (const [reason, counts] of Object.entries(state.approvalByReason)) {
+        if (counts.asks < MIN_SAMPLES) {
+            continue;
+        }
+        const approvalRate = counts.approved / counts.asks;
+        if (approvalRate >= APPROVAL_RATE_THRESHOLD) {
+            warnings.push(`High approval rate for "${reason}": ${(approvalRate * 100).toFixed(0)}% (${counts.approved}/${counts.asks}). Consider tightening policy.`);
+        }
+    }
+    return warnings;
+}
+export async function loadShadowRatchetWarnings(stateDir) {
+    const state = await loadState(stateDir);
+    return evaluateShadowRatchetWarnings(state);
+}

package/dist/core/capability/grant-lease.d.ts

@@ -0,0 +1,9 @@
+import type { ApprovalStateFile } from '../types.js';
+import type { CapabilityGrantV1 } from './grant.js';
+import type { CapabilityRequestV1 } from './request.js';
+export declare function grantsFromApprovedState(state: ApprovalStateFile, repoRoot: string): CapabilityGrantV1[];
+export declare function consumeGrantLease(state: ApprovalStateFile, grantId: string): {
+    state: ApprovalStateFile;
+    consumed: boolean;
+};
+export declare function findMatchingGrant(grants: CapabilityGrantV1[] | undefined, request: CapabilityRequestV1): CapabilityGrantV1 | undefined;

package/dist/core/capability/grant-lease.js

@@ -0,0 +1,46 @@
+import { isGrantScopeTooBroad } from './grant.js';
+import { grantMatchesRequest } from './grant-match.js';
+export function grantsFromApprovedState(state, repoRoot) {
+    const now = Date.now();
+    return state.approvals
+        .filter((approval) => approval.repoRoot === repoRoot)
+        .map((approval) => approval.grant)
+        .filter((grant) => {
+        if (!grant) {
+            return false;
+        }
+        if (isGrantScopeTooBroad(grant)) {
+            return false;
+        }
+        const expires = Date.parse(grant.expiresAt);
+        return Number.isFinite(expires) && expires > now && grant.usesRemaining > 0;
+    });
+}
+export function consumeGrantLease(state, grantId) {
+    let consumed = false;
+    const approvals = state.approvals.map((approval) => {
+        const grant = approval.grant;
+        if (!grant || grant.grantId !== grantId || grant.usesRemaining <= 0) {
+            return approval;
+        }
+        consumed = true;
+        const usesRemaining = grant.usesRemaining - 1;
+        return {
+            ...approval,
+            grant: {
+                ...grant,
+                usesRemaining,
+            },
+        };
+    });
+    return {
+        state: { ...state, approvals },
+        consumed,
+    };
+}
+export function findMatchingGrant(grants, request) {
+    if (!grants?.length) {
+        return undefined;
+    }
+    return grants.find((grant) => grantMatchesRequest(grant, request));
+}

package/dist/core/capability/grant-loader.d.ts

@@ -0,0 +1,12 @@
+import type { BelayConfigV4 } from '../config.js';
+import type { ApprovalStateFile, ClassifierOptions } from '../types.js';
+import type { BoundaryAttestation } from './attestation.js';
+import type { CapabilityGrantV1 } from './grant.js';
+export declare function capabilityGrantsEnabled(config: BelayConfigV4): boolean;
+export declare function grantsFromApprovalState(state: ApprovalStateFile, repoRoot: string, config: BelayConfigV4): CapabilityGrantV1[] | undefined;
+export declare function loadClassifierAuthorization(params: {
+    repoRoot: string;
+    config: BelayConfigV4;
+    approvedState: ApprovalStateFile;
+}): Promise<Pick<ClassifierOptions, 'grants' | 'attestation' | 'boundaryProfile'>>;
+export type { BoundaryAttestation, CapabilityGrantV1 };

package/dist/core/capability/grant-loader.js

@@ -0,0 +1,23 @@
+import { configuredControlPlaneDir } from '../config.js';
+import { resolveBoundaryProfile } from './boundary-profile.js';
+import { boundaryAttestationPath, loadBoundaryAttestation } from './boundary-session.js';
+import { grantsFromApprovedState } from './grant-lease.js';
+export function capabilityGrantsEnabled(config) {
+    return config.capability?.grantsEnabled !== false;
+}
+export function grantsFromApprovalState(state, repoRoot, config) {
+    if (!capabilityGrantsEnabled(config)) {
+        return undefined;
+    }
+    const grants = grantsFromApprovedState(state, repoRoot);
+    return grants.length > 0 ? grants : undefined;
+}
+export async function loadClassifierAuthorization(params) {
+    const grants = grantsFromApprovalState(params.approvedState, params.repoRoot, params.config);
+    const attestation = await loadBoundaryAttestation(boundaryAttestationPath(params.repoRoot, params.config), params.repoRoot, configuredControlPlaneDir(params.config));
+    const boundaryProfile = resolveBoundaryProfile({
+        config: params.config,
+        attestation,
+    });
+    return { grants, attestation, boundaryProfile };
+}

package/dist/core/capability/grant-match.d.ts

@@ -0,0 +1,6 @@
+import type { CapabilityGrantV1 } from './grant.js';
+import type { CapabilityRequestV1 } from './request.js';
+export declare function grantTargetsRequest(grant: CapabilityGrantV1, request: CapabilityRequestV1): boolean;
+/** Repo-scoped target match for forged broad-grant detection (principal may be incomplete). */
+export declare function broadGrantTargetsRequest(grant: CapabilityGrantV1, request: CapabilityRequestV1): boolean;
+export declare function grantMatchesRequest(grant: CapabilityGrantV1, request: CapabilityRequestV1): boolean;