@su-record/vibe 3.2.64 → 4.0.1

package/dist/tools/bench/benchCompare.d.ts

@@ -1,78 +0,0 @@
-/**
- * 벤치 집계·판정 — **결론을 낼 수 없을 때 내지 않는 것**이 이 모듈의 목적이다.
- *
- * 벤치 산출물은 곧 문서의 수치가 된다. 판정을 사람의 절제에 맡기면 constitution §3.5 가
- * 금지하는 배수·퍼센트가 바로 그 자리에서 만들어진다 — "5회 돌렸더니 A 가 30% 빨랐다" 는
- * 표본이 5일 때 아무 의미가 없는데도 문장으로는 완벽하게 그럴듯하다. 그래서 판정 불가를
- * 코드가 낸다.
- *
- * 두 가지를 의도적으로 만들지 않았다:
- *  - **비율·퍼센트 필드가 없다.** 있으면 쓰이고, 쓰이면 근거 없는 배수가 문서로 간다.
- *    차이는 절대 단위 `delta` 로만 낸다
- *  - **`winner` 판정이 없다.** "차이가 관측됐다" 와 "A 를 골라라" 는 다른 주장이다.
- *    지표의 방향(적을수록 좋은가)은 도메인 지식이고 코드는 그것을 모른다
- */
-/** 실행 1회의 기록 — `readBudget` 산출물에서 뽑는다 */
-export interface BenchRun {
-    armId: string;
-    /** 이 실행이 수행한 과제 셋의 해시 — 다른 일을 시킨 결과는 비교 대상이 아니다 */
-    taskSetHash: string;
-    gatesPassed: boolean;
-    iterations: number;
-    /** `iteration-cost.js` 의 신뢰도 규약을 그대로 잇는다 */
-    cost?: {
-        measured?: boolean;
-        truncated?: boolean;
-        toolCalls?: number | null;
-    };
-}
-/** 실행이 집계에서 빠진 사유 — 사유 없이 빠지면 분모가 조용히 줄어든다 */
-export type BenchExclusion = 'cost-unmeasured' | 'cost-truncated';
-export interface BenchRange {
-    min: number;
-    max: number;
-    mean: number;
-}
-export interface ArmSummary {
-    armId: string;
-    totalRuns: number;
-    usableRuns: number;
-    excluded: Record<BenchExclusion, number>;
-    /** 관측된 과제 셋 해시(중복 제거) — 2개 이상이면 이 arm 안에서 이미 섞였다 */
-    taskSetHashes: string[];
-    /** usable 실행 중 게이트를 통과한 수. **비율이 아니라 개수다** — 분모는 usableRuns */
-    gatePassed: number;
-    iterations: BenchRange | null;
-    toolCalls: BenchRange | null;
-}
-export type BenchVerdict = 'insufficient-runs' | 'mixed-task-sets' | 'inconclusive' | 'difference-observed';
-export type BenchMetric = 'iterations' | 'toolCalls';
-export interface BenchComparison {
-    metric: BenchMetric;
-    verdict: BenchVerdict;
-    reason: string;
-    arms: [ArmSummary, ArmSummary];
-    /**
-     * 두 번째 arm 의 평균 − 첫 번째 arm 의 평균. **절대 단위**이고 비율이 아니다.
-     * `difference-observed` 가 아니면 `null` — 판정하지 못한 차이는 수치로 내지 않는다.
-     */
-    delta: number | null;
-}
-/**
- * arm 하나의 집계.
- *
- * 과제 셋이 다른 실행을 **여기서 조용히 버리지 않는다** — 관측된 해시를 전부 남기고
- * 판정은 `compareArms` 가 한다. 버리면 사용자가 의도하지 않은 부분집합 위에서 비교가
- * 진행되고, 그 사실이 결과 어디에도 안 보인다.
- */
-export declare function summarizeArm(armId: string, runs: readonly BenchRun[]): ArmSummary;
-/**
- * 두 arm 을 하나의 지표로 비교한다.
- *
- * 판정 규칙은 **보수적이고 비모수적**이다: 두 arm 의 관측 범위(min~max)가 겹치면
- * `inconclusive`. 유의성 검정이 아니며 그런 척하지 않는다 — 표본이 한 자릿수인데
- * t-검정을 붙이면 정밀해 **보이는** 숫자가 나오고, 없는 정밀도를 만드는 것이 근거 없는
- * 배수보다 나을 것이 없다.
- */
-export declare function compareArms(a: ArmSummary, b: ArmSummary, metric?: BenchMetric, minRunsPerArm?: number): BenchComparison;
-//# sourceMappingURL=benchCompare.d.ts.map

package/dist/tools/bench/benchCompare.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"benchCompare.d.ts","sourceRoot":"","sources":["../../../src/tools/bench/benchCompare.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,yCAAyC;AACzC,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,4CAA4C;IAC5C,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,OAAO,CAAC;QAAC,SAAS,CAAC,EAAE,OAAO,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;CAC/E;AAED,8CAA8C;AAC9C,MAAM,MAAM,cAAc,GAAG,iBAAiB,GAAG,gBAAgB,CAAC;AAElE,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACzC,oDAAoD;IACpD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,+DAA+D;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,MAAM,YAAY,GACpB,mBAAmB,GACnB,iBAAiB,GACjB,cAAc,GACd,qBAAqB,CAAC;AAE1B,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,WAAW,CAAC;AAErD,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,WAAW,CAAC;IACpB,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC/B;;;OAGG;IACH,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACtB;AAeD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,QAAQ,EAAE,GAAG,UAAU,CAqBjF;AAWD;;;;;;;GAOG;AACH,wBAAgB,WAAW,CACzB,CAAC,EAAE,UAAU,EACb,CAAC,EAAE,UAAU,EACb,MAAM,GAAE,WAA0B,EAClC,aAAa,GAAE,MAAiC,GAC/C,eAAe,CAuCjB"}

package/dist/tools/bench/benchCompare.js

@@ -1,113 +0,0 @@
-/**
- * 벤치 집계·판정 — **결론을 낼 수 없을 때 내지 않는 것**이 이 모듈의 목적이다.
- *
- * 벤치 산출물은 곧 문서의 수치가 된다. 판정을 사람의 절제에 맡기면 constitution §3.5 가
- * 금지하는 배수·퍼센트가 바로 그 자리에서 만들어진다 — "5회 돌렸더니 A 가 30% 빨랐다" 는
- * 표본이 5일 때 아무 의미가 없는데도 문장으로는 완벽하게 그럴듯하다. 그래서 판정 불가를
- * 코드가 낸다.
- *
- * 두 가지를 의도적으로 만들지 않았다:
- *  - **비율·퍼센트 필드가 없다.** 있으면 쓰이고, 쓰이면 근거 없는 배수가 문서로 간다.
- *    차이는 절대 단위 `delta` 로만 낸다
- *  - **`winner` 판정이 없다.** "차이가 관측됐다" 와 "A 를 골라라" 는 다른 주장이다.
- *    지표의 방향(적을수록 좋은가)은 도메인 지식이고 코드는 그것을 모른다
- */
-import { DEFAULT_MIN_RUNS_PER_ARM } from './benchDefinition.js';
-function range(values) {
-    if (values.length === 0)
-        return null;
-    const sum = values.reduce((acc, v) => acc + v, 0);
-    return { min: Math.min(...values), max: Math.max(...values), mean: sum / values.length };
-}
-function exclusionOf(run) {
-    const cost = run.cost;
-    if (!cost || cost.measured !== true)
-        return 'cost-unmeasured';
-    if (cost.truncated === true)
-        return 'cost-truncated';
-    return null;
-}
-/**
- * arm 하나의 집계.
- *
- * 과제 셋이 다른 실행을 **여기서 조용히 버리지 않는다** — 관측된 해시를 전부 남기고
- * 판정은 `compareArms` 가 한다. 버리면 사용자가 의도하지 않은 부분집합 위에서 비교가
- * 진행되고, 그 사실이 결과 어디에도 안 보인다.
- */
-export function summarizeArm(armId, runs) {
-    const mine = runs.filter((run) => run.armId === armId);
-    const excluded = { 'cost-unmeasured': 0, 'cost-truncated': 0 };
-    const usable = [];
-    for (const run of mine) {
-        const reason = exclusionOf(run);
-        if (reason)
-            excluded[reason] += 1;
-        else
-            usable.push(run);
-    }
-    return {
-        armId,
-        totalRuns: mine.length,
-        usableRuns: usable.length,
-        excluded,
-        taskSetHashes: [...new Set(mine.map((run) => run.taskSetHash))].sort(),
-        gatePassed: usable.filter((run) => run.gatesPassed).length,
-        iterations: range(usable.map((run) => run.iterations)),
-        toolCalls: range(usable.map((run) => Number(run.cost?.toolCalls) || 0)),
-    };
-}
-function taskSetsDiffer(a, b) {
-    if (a.taskSetHashes.length !== 1 || b.taskSetHashes.length !== 1)
-        return true;
-    return a.taskSetHashes[0] !== b.taskSetHashes[0];
-}
-function overlaps(a, b) {
-    return a.min <= b.max && b.min <= a.max;
-}
-/**
- * 두 arm 을 하나의 지표로 비교한다.
- *
- * 판정 규칙은 **보수적이고 비모수적**이다: 두 arm 의 관측 범위(min~max)가 겹치면
- * `inconclusive`. 유의성 검정이 아니며 그런 척하지 않는다 — 표본이 한 자릿수인데
- * t-검정을 붙이면 정밀해 **보이는** 숫자가 나오고, 없는 정밀도를 만드는 것이 근거 없는
- * 배수보다 나을 것이 없다.
- */
-export function compareArms(a, b, metric = 'iterations', minRunsPerArm = DEFAULT_MIN_RUNS_PER_ARM) {
-    const base = { metric, arms: [a, b], delta: null };
-    if (taskSetsDiffer(a, b)) {
-        return {
-            ...base,
-            verdict: 'mixed-task-sets',
-            reason: '두 arm 이 같은 과제 셋을 돌지 않았다 — 다른 일을 시킨 결과는 비교가 아니다.',
-        };
-    }
-    if (a.usableRuns < minRunsPerArm || b.usableRuns < minRunsPerArm) {
-        return {
-            ...base,
-            verdict: 'insufficient-runs',
-            reason: `사용 가능한 실행이 arm 당 ${minRunsPerArm}회 미만이다 `
-                + `(${a.armId}: ${a.usableRuns} · ${b.armId}: ${b.usableRuns}) — 어떤 차이든 우연과 구분되지 않는다.`,
-        };
-    }
-    const left = a[metric];
-    const right = b[metric];
-    if (!left || !right) {
-        return { ...base, verdict: 'insufficient-runs', reason: `${metric} 관측값이 없다.` };
-    }
-    if (overlaps(left, right)) {
-        return {
-            ...base,
-            verdict: 'inconclusive',
-            reason: `관측 범위가 겹친다 (${a.armId}: ${left.min}~${left.max} · ${b.armId}: ${right.min}~${right.max})`
-                + ' — 이 표본으로는 차이를 말할 수 없다.',
-        };
-    }
-    return {
-        ...base,
-        verdict: 'difference-observed',
-        reason: `관측 범위가 겹치지 않는다 (${a.armId}: ${left.min}~${left.max} · ${b.armId}: ${right.min}~${right.max}).`
-            + ' 차이가 관측됐다는 뜻이며, 어느 쪽이 나은지는 지표의 방향에 달렸다 — 사람이 판단한다.',
-        delta: right.mean - left.mean,
-    };
-}
-//# sourceMappingURL=benchCompare.js.map

package/dist/tools/bench/benchCompare.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"benchCompare.js","sourceRoot":"","sources":["../../../src/tools/bench/benchCompare.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAuDhE,SAAS,KAAK,CAAC,MAAgB;IAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;AAC3F,CAAC;AAED,SAAS,WAAW,CAAC,GAAa;IAChC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACtB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,iBAAiB,CAAC;IAC9D,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,gBAAgB,CAAC;IACrD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,IAAyB;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAmC,EAAE,iBAAiB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;IAC/F,MAAM,MAAM,GAAe,EAAE,CAAC;IAE9B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,MAAM;YAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;;YAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IAED,OAAO;QACL,KAAK;QACL,SAAS,EAAE,IAAI,CAAC,MAAM;QACtB,UAAU,EAAE,MAAM,CAAC,MAAM;QACzB,QAAQ;QACR,aAAa,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;QACtE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,MAAM;QAC1D,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACtD,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;KACxE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,CAAa,EAAE,CAAa;IAClD,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9E,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,QAAQ,CAAC,CAAa,EAAE,CAAa;IAC5C,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC;AAC1C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CACzB,CAAa,EACb,CAAa,EACb,SAAsB,YAAY,EAClC,gBAAwB,wBAAwB;IAEhD,MAAM,IAAI,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAA6B,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAE/E,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,iBAAiB;YAC1B,MAAM,EAAE,iDAAiD;SAC1D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,GAAG,aAAa,IAAI,CAAC,CAAC,UAAU,GAAG,aAAa,EAAE,CAAC;QACjE,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,mBAAmB;YAC5B,MAAM,EAAE,oBAAoB,aAAa,SAAS;kBAC9C,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,UAAU,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,UAAU,0BAA0B;SACzF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACvB,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACxB,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,GAAG,MAAM,WAAW,EAAE,CAAC;IACjF,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,eAAe,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,GAAG;kBAC9F,yBAAyB;SAC9B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,OAAO,EAAE,qBAAqB;QAC9B,MAAM,EAAE,mBAAmB,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,IAAI;cACnG,oDAAoD;QACxD,KAAK,EAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI;KAC9B,CAAC;AACJ,CAAC"}

package/dist/tools/bench/benchDefinition.d.ts

@@ -1,37 +0,0 @@
-/**
- * 벤치 정의 노드 가드 — 비교할 수 없는 정의가 집계로 넘어가기 전에 잡는다.
- *
- * 비교의 전제는 "조건만 다르고 나머지는 같다" 이다. 그 전제가 깨진 정의는 집계 단계에서
- * 그럴듯한 숫자를 낸다 — 다른 일을 시킨 두 결과를 나란히 놓아도 평균은 나오기 때문이다.
- * 그래서 정의 단계에서 막는다 (`validateSpecDocument` 와 같은 노드 가드 규약).
- */
-export type BenchFindingSeverity = 'P1' | 'P2';
-export interface BenchFinding {
-    severity: BenchFindingSeverity;
-    code: string;
-    message: string;
-}
-/** 비교할 조건 하나 — 이 축만 다르고 나머지는 같아야 한다 */
-export interface BenchArm {
-    id: string;
-    description: string;
-    /** 이 arm 이 바꾸는 설정 (예: `{ session: 'per-iteration' }`) */
-    config: Record<string, unknown>;
-}
-export interface BenchDefinition {
-    name: string;
-    /** 모든 arm 이 동일하게 수행할 과제 id 목록 */
-    taskSet: string[];
-    arms: BenchArm[];
-    /** arm 당 최소 사용 가능 실행 수 — 미달이면 판정하지 않는다 */
-    minRunsPerArm?: number;
-}
-export interface BenchValidationResult {
-    /** P1 이 하나도 없으면 통과 — P2 는 통과를 막지 않는다 */
-    valid: boolean;
-    findings: BenchFinding[];
-}
-/** arm 당 최소 실행 수 기본값 — 한 자릿수 표본에서 어떤 차이든 우연과 구분되지 않는다 */
-export declare const DEFAULT_MIN_RUNS_PER_ARM = 5;
-export declare function validateBenchDefinition(definition: BenchDefinition): BenchValidationResult;
-//# sourceMappingURL=benchDefinition.d.ts.map

package/dist/tools/bench/benchDefinition.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"benchDefinition.d.ts","sourceRoot":"","sources":["../../../src/tools/bench/benchDefinition.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,MAAM,oBAAoB,GAAG,IAAI,GAAG,IAAI,CAAC;AAE/C,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,oBAAoB,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,uCAAuC;AACvC,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,yDAAyD;IACzD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,0CAA0C;IAC1C,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,qBAAqB;IACpC,wCAAwC;IACxC,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED,yDAAyD;AACzD,eAAO,MAAM,wBAAwB,IAAI,CAAC;AA8C1C,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,eAAe,GAAG,qBAAqB,CAiB1F"}

package/dist/tools/bench/benchDefinition.js

@@ -1,69 +0,0 @@
-/**
- * 벤치 정의 노드 가드 — 비교할 수 없는 정의가 집계로 넘어가기 전에 잡는다.
- *
- * 비교의 전제는 "조건만 다르고 나머지는 같다" 이다. 그 전제가 깨진 정의는 집계 단계에서
- * 그럴듯한 숫자를 낸다 — 다른 일을 시킨 두 결과를 나란히 놓아도 평균은 나오기 때문이다.
- * 그래서 정의 단계에서 막는다 (`validateSpecDocument` 와 같은 노드 가드 규약).
- */
-/** arm 당 최소 실행 수 기본값 — 한 자릿수 표본에서 어떤 차이든 우연과 구분되지 않는다 */
-export const DEFAULT_MIN_RUNS_PER_ARM = 5;
-function checkArms(arms, findings) {
-    const list = Array.isArray(arms) ? arms : [];
-    if (list.length < 2) {
-        findings.push({
-            severity: 'P1',
-            code: 'too-few-arms',
-            message: '비교할 조건(arm)이 2개 미만이다 — 대조할 상대가 없으면 벤치가 아니라 단일 측정이다.',
-        });
-    }
-    const ids = list.map((arm) => arm && arm.id).filter(Boolean);
-    if (new Set(ids).size !== ids.length) {
-        findings.push({
-            severity: 'P1',
-            code: 'duplicate-arm-id',
-            message: 'arm id 가 중복이다 — 집계가 어느 조건의 결과인지 구분하지 못한다.',
-        });
-    }
-    if (ids.length !== list.length) {
-        findings.push({
-            severity: 'P1',
-            code: 'missing-arm-id',
-            message: 'id 없는 arm 이 있다.',
-        });
-    }
-}
-function checkTaskSet(taskSet, findings) {
-    if (!Array.isArray(taskSet) || taskSet.length === 0) {
-        findings.push({
-            severity: 'P1',
-            code: 'empty-task-set',
-            message: '과제 셋이 비어 있다 — 모든 arm 이 같은 일을 해야 비교가 성립한다.',
-        });
-        return;
-    }
-    if (new Set(taskSet).size !== taskSet.length) {
-        findings.push({
-            severity: 'P2',
-            code: 'duplicate-task',
-            message: '과제 id 가 중복이다 — 같은 과제가 두 번 세어진다.',
-        });
-    }
-}
-export function validateBenchDefinition(definition) {
-    const findings = [];
-    if (!definition || typeof definition.name !== 'string' || definition.name.length === 0) {
-        findings.push({ severity: 'P1', code: 'missing-name', message: '벤치 이름이 없다.' });
-    }
-    checkArms(definition && definition.arms, findings);
-    checkTaskSet(definition && definition.taskSet, findings);
-    const minRuns = definition && definition.minRunsPerArm;
-    if (minRuns !== undefined && (!Number.isInteger(minRuns) || minRuns < 1)) {
-        findings.push({
-            severity: 'P1',
-            code: 'invalid-min-runs',
-            message: 'minRunsPerArm 은 1 이상의 정수여야 한다.',
-        });
-    }
-    return { valid: !findings.some((f) => f.severity === 'P1'), findings };
-}
-//# sourceMappingURL=benchDefinition.js.map

package/dist/tools/bench/benchDefinition.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"benchDefinition.js","sourceRoot":"","sources":["../../../src/tools/bench/benchDefinition.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAiCH,yDAAyD;AACzD,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAE1C,SAAS,SAAS,CAAC,IAA4B,EAAE,QAAwB;IACvE,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,qDAAqD;SAC/D,CAAC,CAAC;IACL,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7D,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC;QACrC,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,2CAA2C;SACrD,CAAC,CAAC;IACL,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/B,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,iBAAiB;SAC3B,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,OAA6B,EAAE,QAAwB;IAC3E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,2CAA2C;SACrD,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7C,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,iCAAiC;SAC3C,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,UAA2B;IACjE,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,CAAC,UAAU,IAAI,OAAO,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvF,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,SAAS,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnD,YAAY,CAAC,UAAU,IAAI,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAEzD,MAAM,OAAO,GAAG,UAAU,IAAI,UAAU,CAAC,aAAa,CAAC;IACvD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC;QACzE,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,gCAAgC;SAC1C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC;AACzE,CAAC"}

package/dist/tools/bench/benchReport.d.ts

@@ -1,16 +0,0 @@
-/**
- * 벤치 리포트 — 관측값과 분모를 함께 적고, 결론을 대신 내지 않는다.
- *
- * 이 파일이 지키는 규칙 하나: **비율·퍼센트·배수를 쓰지 않는다.** 게이트 통과도
- * "3/5 회" 로 적지 "60%" 로 적지 않는다. 분모가 5인 비율은 정밀해 보이지만 아무것도
- * 말하지 않으며, 한 번 문서에 들어가면 출처 없이 유통된다 (constitution §3.5).
- */
-import type { BenchComparison } from './benchCompare.js';
-export interface BenchReportInput {
-    name: string;
-    /** ISO-8601 */
-    ranAt: string;
-    comparison: BenchComparison;
-}
-export declare function formatBenchReport(input: BenchReportInput): string;
-//# sourceMappingURL=benchReport.d.ts.map

package/dist/tools/bench/benchReport.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"benchReport.d.ts","sourceRoot":"","sources":["../../../src/tools/bench/benchReport.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAc,eAAe,EAAc,MAAM,mBAAmB,CAAC;AA0BjF,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,eAAe;IACf,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,eAAe,CAAC;CAC7B;AASD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CA2BjE"}

package/dist/tools/bench/benchReport.js

@@ -1,64 +0,0 @@
-/**
- * 벤치 리포트 — 관측값과 분모를 함께 적고, 결론을 대신 내지 않는다.
- *
- * 이 파일이 지키는 규칙 하나: **비율·퍼센트·배수를 쓰지 않는다.** 게이트 통과도
- * "3/5 회" 로 적지 "60%" 로 적지 않는다. 분모가 5인 비율은 정밀해 보이지만 아무것도
- * 말하지 않으며, 한 번 문서에 들어가면 출처 없이 유통된다 (constitution §3.5).
- */
-function formatRange(label, value) {
-    if (!value)
-        return `- ${label}: 관측값 없음`;
-    return `- ${label}: ${value.min}~${value.max} (평균 ${value.mean.toFixed(2)})`;
-}
-function formatExclusions(arm) {
-    const entries = Object.entries(arm.excluded).filter(([, count]) => count > 0);
-    if (entries.length === 0)
-        return [];
-    return [`- 제외: ${entries.map(([reason, count]) => `${reason} ${count}건`).join(' · ')}`];
-}
-function formatArm(arm) {
-    return [
-        '',
-        `### ${arm.armId}`,
-        '',
-        `- 실행: ${arm.usableRuns}/${arm.totalRuns} 사용 가능`,
-        `- 게이트 통과: ${arm.gatePassed}/${arm.usableRuns}`,
-        formatRange('회전 수', arm.iterations),
-        formatRange('도구 호출 수', arm.toolCalls),
-        ...formatExclusions(arm),
-    ];
-}
-const VERDICT_LABEL = {
-    'insufficient-runs': '판정 불가 — 표본 부족',
-    'mixed-task-sets': '판정 불가 — 과제 셋 불일치',
-    inconclusive: '판정 불가 — 차이를 말할 수 없음',
-    'difference-observed': '차이 관측됨',
-};
-export function formatBenchReport(input) {
-    const { comparison } = input;
-    const [a, b] = comparison.arms;
-    const deltaLine = comparison.delta === null
-        ? []
-        : [`- 차이(${b.armId} − ${a.armId}): ${comparison.delta.toFixed(2)} ${comparison.metric} (절대 단위)`];
-    return [
-        `# Bench — ${input.name}`,
-        '',
-        `- 실행 시각: ${input.ranAt}`,
-        `- 지표: ${comparison.metric}`,
-        `- 판정: **${VERDICT_LABEL[comparison.verdict]}**`,
-        '',
-        `> ${comparison.reason}`,
-        ...deltaLine,
-        '',
-        '## Arms',
-        ...formatArm(a),
-        ...formatArm(b),
-        '',
-        '---',
-        '',
-        '이 리포트는 관측값만 적는다. 배수·퍼센트를 계산하지 않으며, 어느 조건을 골라야',
-        '하는지도 말하지 않는다 — 지표의 방향은 사람이 안다. 기본값 변경은 사람의 결정이다.',
-        '',
-    ].join('\n');
-}
-//# sourceMappingURL=benchReport.js.map

package/dist/tools/bench/benchReport.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"benchReport.js","sourceRoot":"","sources":["../../../src/tools/bench/benchReport.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,SAAS,WAAW,CAAC,KAAa,EAAE,KAAwB;IAC1D,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,KAAK,UAAU,CAAC;IACxC,OAAO,KAAK,KAAK,KAAK,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,QAAQ,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;AAC/E,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAe;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC9E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,IAAI,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,SAAS,CAAC,GAAe;IAChC,OAAO;QACL,EAAE;QACF,OAAO,GAAG,CAAC,KAAK,EAAE;QAClB,EAAE;QACF,SAAS,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,SAAS,QAAQ;QAChD,aAAa,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,EAAE;QAC/C,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC;QACnC,WAAW,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC;QACrC,GAAG,gBAAgB,CAAC,GAAG,CAAC;KACzB,CAAC;AACJ,CAAC;AASD,MAAM,aAAa,GAA+C;IAChE,mBAAmB,EAAE,eAAe;IACpC,iBAAiB,EAAE,kBAAkB;IACrC,YAAY,EAAE,qBAAqB;IACnC,qBAAqB,EAAE,QAAQ;CAChC,CAAC;AAEF,MAAM,UAAU,iBAAiB,CAAC,KAAuB;IACvD,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC7B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC;IAC/B,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,KAAK,IAAI;QACzC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,KAAK,MAAM,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,MAAM,UAAU,CAAC,CAAC;IAEnG,OAAO;QACL,aAAa,KAAK,CAAC,IAAI,EAAE;QACzB,EAAE;QACF,YAAY,KAAK,CAAC,KAAK,EAAE;QACzB,SAAS,UAAU,CAAC,MAAM,EAAE;QAC5B,WAAW,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI;QAChD,EAAE;QACF,KAAK,UAAU,CAAC,MAAM,EAAE;QACxB,GAAG,SAAS;QACZ,EAAE;QACF,SAAS;QACT,GAAG,SAAS,CAAC,CAAC,CAAC;QACf,GAAG,SAAS,CAAC,CAAC,CAAC;QACf,EAAE;QACF,KAAK;QACL,EAAE;QACF,+CAA+C;QAC/C,kDAAkD;QAClD,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/tools/bench/index.d.ts

@@ -1,10 +0,0 @@
-/**
- * Bench Tools — 루프 설정 자기 대조. 결론을 낼 수 없을 때 내지 않는 것이 목적이다.
- */
-export { validateBenchDefinition, DEFAULT_MIN_RUNS_PER_ARM } from './benchDefinition.js';
-export type { BenchArm, BenchDefinition, BenchFinding, BenchFindingSeverity, BenchValidationResult, } from './benchDefinition.js';
-export { summarizeArm, compareArms } from './benchCompare.js';
-export type { ArmSummary, BenchComparison, BenchExclusion, BenchMetric, BenchRange, BenchRun, BenchVerdict, } from './benchCompare.js';
-export { formatBenchReport } from './benchReport.js';
-export type { BenchReportInput } from './benchReport.js';
-//# sourceMappingURL=index.d.ts.map

package/dist/tools/bench/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tools/bench/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AACzF,YAAY,EACV,QAAQ,EACR,eAAe,EACf,YAAY,EACZ,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC9D,YAAY,EACV,UAAU,EACV,eAAe,EACf,cAAc,EACd,WAAW,EACX,UAAU,EACV,QAAQ,EACR,YAAY,GACb,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/tools/bench/index.js

@@ -1,7 +0,0 @@
-/**
- * Bench Tools — 루프 설정 자기 대조. 결론을 낼 수 없을 때 내지 않는 것이 목적이다.
- */
-export { validateBenchDefinition, DEFAULT_MIN_RUNS_PER_ARM } from './benchDefinition.js';
-export { summarizeArm, compareArms } from './benchCompare.js';
-export { formatBenchReport } from './benchReport.js';
-//# sourceMappingURL=index.js.map

package/dist/tools/bench/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tools/bench/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AASzF,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAW9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/tools/contract/agentContract.d.ts

@@ -1,86 +0,0 @@
-/**
- * 에이전트 계약 — 런타임 축을 **빌드타임에** 잡는다.
- *
- * vibe 는 빌드타임만 다룬다. 그런데 사용자가 만드는 것이 에이전트 제품일 때, 그 에이전트가
- * 사용자 앞에서 내리는 판단은 vibe 의 어떤 게이트도 보지 않는다. 그렇다고 vibe 를 런타임에
- * 넣으면 loop-contract 의 push·release·배포 금지를 정면으로 깬다. 그래서 vibe 가 런타임에
- * 들어가는 대신 **런타임 게이트를 빌드타임에 생성**한다.
- *
- * **판정 대상이 도구 호출 로그인 것이 핵심이다.** LLM 이 에이전트의 출력을 채점하는 형태였다면
- * 그것은 Model Judge 이고 완료 권한이 없다 (loop-contract Judge 권한 경계). "금지된 도구를
- * 불렀는가" 는 관측된 사실이라 차단할 수 있다.
- *
- * 그래서 이 모듈은 `reverseDrift.ts` 와 **반대 방향의 결정**을 한다. 거기서는 `blocking: false`
- * 가 리터럴 타입이라 차단하는 분류를 만들 수 없다 — 판정 주체가 LLM 추출이기 때문이다.
- * 여기서는 차단이 정당하다 — 판정 주체가 로그이기 때문이다. 두 파일의 차이가 곧 권한 경계의
- * 예시다.
- *
- * 판정할 수 없는 것은 게이트로 만들지 않는다: 에스컬레이션 조건("결제가 임계를 넘으면 사람에게
- * 묻는다")은 조건 충족 여부가 로그에 없다. 선언은 받되 advisory 로 낸다 — 억지로 게이트에
- * 넣으면 통과 의식이 되고, 그건 없는 게이트보다 나쁘다.
- */
-export interface AgentContract {
-    /** 비어 있으면 allowlist 미선언 — 미등재 호출을 검사하지 않는다 */
-    allowedTools: string[];
-    forbiddenTools: string[];
-    /** 되돌릴 수 없는 작업 — 호출에 승인 기록이 있어야 한다 */
-    irreversibleOps: string[];
-    /** 선언만 받는다. 도구 로그로는 판정할 수 없다 (advisory) */
-    escalations: string[];
-}
-/**
- * SPEC 에서 에이전트 계약을 뽑는다.
- *
- * 섹션이 없으면 `null` — 모든 기능에 에이전트가 있는 것은 아니다. 섹션 존재가 곧 스위치인
- * 관례는 `## API Contract` 와 같다 (spec-template).
- */
-export declare function parseAgentContract(specContent: string): AgentContract | null;
-export type AgentContractFindingSeverity = 'P1' | 'P2';
-export interface AgentContractFinding {
-    severity: AgentContractFindingSeverity;
-    code: string;
-    message: string;
-}
-export interface AgentContractValidation {
-    valid: boolean;
-    findings: AgentContractFinding[];
-}
-/**
- * 계약 정의 자체의 오류를 잡는다 (노드 가드).
- *
- * Allowed 와 Forbidden 이 겹칠 때 우선순위 규칙을 두지 않는 이유: 규칙을 기억해야 판정을
- * 예측할 수 있고, 기억이 필요한 규칙은 틀린다. 정의 단계에서 막는다.
- */
-export declare function validateAgentContract(contract: AgentContract): AgentContractValidation;
-/** 에이전트 실행이 남긴 도구 호출 1건 — vibe 자신의 로그 형식을 쓴다 (step-counter) */
-export interface AgentToolCall {
-    tool: string;
-    /** 되돌릴 수 없는 작업이 승인을 받았는가 */
-    approved?: boolean;
-    ts?: string;
-}
-export type AgentViolationKind = 'forbidden-tool' | 'unlisted-tool' | 'unapproved-irreversible';
-export interface AgentViolation {
-    kind: AgentViolationKind;
-    tool: string;
-    /** 로그에서 몇 번째 호출인가 (0-indexed) */
-    index: number;
-    detail: string;
-}
-export interface AgentContractCheck {
-    /** 로그가 있어 실제로 검사했는가. `false` 는 **위반 0건이 아니다** */
-    checked: boolean;
-    violations: AgentViolation[];
-    /** 도구 로그로는 판정할 수 없어 사람 리뷰로 넘긴 항목 */
-    advisory: string[];
-    /** 관측된 위반이므로 차단이 정당하다 — reverseDrift 와 반대 방향의 결정 */
-    blocking: boolean;
-}
-/**
- * 도구 호출 로그에 대해 계약을 단언한다.
- *
- * 로그가 없으면 `checked: false` — **위반 0건으로 적지 않는다.** 안 본 것과 봤는데 깨끗한 것은
- * 다르다 (회전 비용 계측 축과 같은 규약).
- */
-export declare function checkAgentToolLog(contract: AgentContract, log?: readonly AgentToolCall[]): AgentContractCheck;
-//# sourceMappingURL=agentContract.d.ts.map

package/dist/tools/contract/agentContract.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"agentContract.d.ts","sourceRoot":"","sources":["../../../src/tools/contract/agentContract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,MAAM,WAAW,aAAa;IAC5B,8CAA8C;IAC9C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,sCAAsC;IACtC,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,2CAA2C;IAC3C,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AA4BD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAe5E;AAED,MAAM,MAAM,4BAA4B,GAAG,IAAI,GAAG,IAAI,CAAC;AAEvD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,4BAA4B,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,oBAAoB,EAAE,CAAC;CAClC;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,aAAa,GAAG,uBAAuB,CA8BtF;AAED,+DAA+D;AAC/D,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,4BAA4B;IAC5B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,MAAM,MAAM,kBAAkB,GAAG,gBAAgB,GAAG,eAAe,GAAG,yBAAyB,CAAC;AAEhG,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,kBAAkB,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,kBAAkB;IACjC,iDAAiD;IACjD,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,oDAAoD;IACpD,QAAQ,EAAE,OAAO,CAAC;CACnB;AAyBD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,aAAa,EACvB,GAAG,CAAC,EAAE,SAAS,aAAa,EAAE,GAC7B,kBAAkB,CAapB"}