@zelari/core 2.5.0 → 2.6.0

package/dist/verification/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,0BAA0B,CAAC"}

package/dist/verification/index.js

@@ -10,4 +10,5 @@ export * from './criteriaPack.v1.js';
 export * from './metrics.js';
 export * from './verifier.js';
 export * from './scopeDiscipline.js';
+export * from './resourceReserveGate.js';
 //# sourceMappingURL=index.js.map

package/dist/verification/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,0BAA0B,CAAC"}

package/dist/verification/metrics.d.ts

@@ -23,4 +23,24 @@ export declare function computeFalseDoneRate(samples: readonly TaskOutcomeSample
 export declare function verifiedSolveRate(samples: readonly TaskOutcomeSample[]): number;
 /** Verification cost ratio; null when total time is unknown/zero. */
 export declare function verificationCostRatio(verificationMs: number, totalMs: number): number | null;
+/**
+ * 2.6 Track B (doc section 15): unified cost-per-verified-solve metrics.
+ * Core-side aggregation over cost-bearing samples — the full RunCost type
+ * lives in tools/eval/cost.ts (eval tooling boundary); here we accept the
+ * minimal cost shape so the core stays dependency-free.
+ */
+export interface CostedTaskSample extends TaskOutcomeSample {
+    modelCostUsd: number;
+    wallMs: number;
+    toolCalls: number;
+}
+export interface CostPerVerifiedSolveStats {
+    verifiedSolves: number;
+    totalCostUsd: number;
+    costPerVerifiedSolve: number | null;
+    wallMsPerVerifiedSolve: number | null;
+    toolCallsPerVerifiedSolve: number | null;
+}
+/** North-star aggregation: quality (verified) over quantity (cost). */
+export declare function costPerVerifiedSolve(samples: readonly CostedTaskSample[]): CostPerVerifiedSolveStats;
 //# sourceMappingURL=metrics.d.ts.map

package/dist/verification/metrics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"metrics.d.ts","sourceRoot":"","sources":["../../src/verification/metrics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,uCAAuC;IACvC,WAAW,EAAE,OAAO,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;CACd;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,cAAc,CAQ1F;AAED,6DAA6D;AAC7D,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,MAAM,CAG/E;AAED,qEAAqE;AACrE,wBAAgB,qBAAqB,CAAC,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG5F"}
+{"version":3,"file":"metrics.d.ts","sourceRoot":"","sources":["../../src/verification/metrics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,uCAAuC;IACvC,WAAW,EAAE,OAAO,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;CACd;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,cAAc,CAQ1F;AAED,6DAA6D;AAC7D,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,MAAM,CAG/E;AAED,qEAAqE;AACrE,wBAAgB,qBAAqB,CAAC,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG5F;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAiB,SAAQ,iBAAiB;IACzD,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,yBAAyB;IACxC,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1C;AAED,uEAAuE;AACvE,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,GAAG,yBAAyB,CAapG"}

package/dist/verification/metrics.js

@@ -26,4 +26,22 @@ export function verificationCostRatio(verificationMs, totalMs) {
         return null;
     return verificationMs / totalMs;
 }
+/** North-star aggregation: quality (verified) over quantity (cost). */
+export function costPerVerifiedSolve(samples) {
+    const solved = samples.filter((s) => s.verified === true);
+    const totalCostUsd = samples.reduce((sum, s) => sum + s.modelCostUsd, 0);
+    const totalWallMs = samples.reduce((sum, s) => sum + s.wallMs, 0);
+    const totalToolCalls = samples.reduce((sum, s) => sum + s.toolCalls, 0);
+    const n = solved.length;
+    return {
+        verifiedSolves: n,
+        totalCostUsd: round(totalCostUsd),
+        costPerVerifiedSolve: n > 0 ? round(totalCostUsd / n) : null,
+        wallMsPerVerifiedSolve: n > 0 ? Math.round(totalWallMs / n) : null,
+        toolCallsPerVerifiedSolve: n > 0 ? round(totalToolCalls / n) : null,
+    };
+}
+function round(v) {
+    return Math.round(v * 1e6) / 1e6;
+}
 //# sourceMappingURL=metrics.js.map

package/dist/verification/metrics.js.map

@@ -1 +1 @@
-{"version":3,"file":"metrics.js","sourceRoot":"","sources":["../../src/verification/metrics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiBH,mFAAmF;AACnF,MAAM,UAAU,oBAAoB,CAAC,OAAqC;IACxE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAC7D,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,IAAI,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;KACnE,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,iBAAiB,CAAC,OAAqC;IACrE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;AAC5E,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,qBAAqB,CAAC,cAAsB,EAAE,OAAe;IAC3E,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,cAAc,GAAG,OAAO,CAAC;AAClC,CAAC"}
+{"version":3,"file":"metrics.js","sourceRoot":"","sources":["../../src/verification/metrics.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiBH,mFAAmF;AACnF,MAAM,UAAU,oBAAoB,CAAC,OAAqC;IACxE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAC7D,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,IAAI,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;KACnE,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,iBAAiB,CAAC,OAAqC;IACrE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;AAC5E,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,qBAAqB,CAAC,cAAsB,EAAE,OAAe;IAC3E,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,cAAc,GAAG,OAAO,CAAC;AAClC,CAAC;AAsBD,uEAAuE;AACvE,MAAM,UAAU,oBAAoB,CAAC,OAAoC;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC;QACjC,oBAAoB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QAC5D,sBAAsB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QAClE,yBAAyB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;KACpE,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,CAAS;IACtB,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;AACnC,CAAC"}

package/dist/verification/resourceReserveGate.d.ts

@@ -0,0 +1,39 @@
+/**
+ * verification/resourceReserveGate.ts — resource-aware completion interaction
+ * (2.6 Track B, doc §11.5, ADR-0023 untouched).
+ *
+ * The budget NEVER decides PASS. It only decides whether the required
+ * evidence is still PRODUCIBLE:
+ *
+ *   verdict === PASS                      → PASS (deterministic PASS ends
+ *                                            even with residual budget)
+ *   verdict !== PASS AND evidence still
+ *   affordable (repair + verification
+ *   reserve not exhausted)                → verdict unchanged (REPAIR_REQUIRED / BLOCKED)
+ *   verdict !== PASS AND no budget left
+ *   to produce required evidence          → BLOCKED / resource-exhausted
+ *
+ * false-done is impossible by construction: unknown ≠ pass stays.
+ */
+import type { ResourceBudget } from '../runtime/resourceBudget.js';
+import type { CompletionEvaluation } from './completionPolicy.js';
+export interface ResourceReserveGateInput {
+    evaluation: CompletionEvaluation;
+    budget: ResourceBudget;
+}
+export interface ResourceReserveGateResult {
+    verdict: CompletionEvaluation['verdict'];
+    /** Original deterministic verdict (never overwritten — audit trail). */
+    deterministicVerdict: CompletionEvaluation['verdict'];
+    /** True when the gate downgraded the verdict to BLOCKED. */
+    resourceExhausted: boolean;
+    /** True when the remaining budget can still run verification/repair calls. */
+    evidenceAffordable: boolean;
+    summary: string;
+}
+/**
+ * Evidence is affordable while the protected verification reserve has not
+ * been consumed by non-verify work AND the repair headroom is not negative.
+ */
+export declare function evaluateResourceReserveGate(input: ResourceReserveGateInput): ResourceReserveGateResult;
+//# sourceMappingURL=resourceReserveGate.d.ts.map

package/dist/verification/resourceReserveGate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resourceReserveGate.d.ts","sourceRoot":"","sources":["../../src/verification/resourceReserveGate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAElE,MAAM,WAAW,wBAAwB;IACvC,UAAU,EAAE,oBAAoB,CAAC;IACjC,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACzC,wEAAwE;IACxE,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACtD,4DAA4D;IAC5D,iBAAiB,EAAE,OAAO,CAAC;IAC3B,8EAA8E;IAC9E,kBAAkB,EAAE,OAAO,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,wBAAwB,GAAG,yBAAyB,CAiCtG"}

package/dist/verification/resourceReserveGate.js

@@ -0,0 +1,56 @@
+/**
+ * verification/resourceReserveGate.ts — resource-aware completion interaction
+ * (2.6 Track B, doc §11.5, ADR-0023 untouched).
+ *
+ * The budget NEVER decides PASS. It only decides whether the required
+ * evidence is still PRODUCIBLE:
+ *
+ *   verdict === PASS                      → PASS (deterministic PASS ends
+ *                                            even with residual budget)
+ *   verdict !== PASS AND evidence still
+ *   affordable (repair + verification
+ *   reserve not exhausted)                → verdict unchanged (REPAIR_REQUIRED / BLOCKED)
+ *   verdict !== PASS AND no budget left
+ *   to produce required evidence          → BLOCKED / resource-exhausted
+ *
+ * false-done is impossible by construction: unknown ≠ pass stays.
+ */
+/**
+ * Evidence is affordable while the protected verification reserve has not
+ * been consumed by non-verify work AND the repair headroom is not negative.
+ */
+export function evaluateResourceReserveGate(input) {
+    const { evaluation, budget } = input;
+    if (evaluation.verdict === 'PASS') {
+        return {
+            verdict: 'PASS',
+            deterministicVerdict: 'PASS',
+            resourceExhausted: false,
+            evidenceAffordable: true,
+            summary: evaluation.summary,
+        };
+    }
+    // Remaining outside the reserve is spendable on verify/repair; the reserve
+    // itself exists exactly for those calls. Evidence stops being affordable
+    // when BOTH the spendable headroom and the reserve are gone.
+    const spendable = Math.max(0, budget.toolCalls.remaining - budget.reserve.verification);
+    const affordable = spendable + budget.reserve.verification > 0 && budget.toolCalls.remaining > 0;
+    if (affordable) {
+        return {
+            verdict: evaluation.verdict,
+            deterministicVerdict: evaluation.verdict,
+            resourceExhausted: false,
+            evidenceAffordable: true,
+            summary: evaluation.summary,
+        };
+    }
+    const summary = `${evaluation.summary} · resource-exhausted: ${budget.toolCalls.used}/${budget.toolCalls.limit} tool calls used, no budget left for required evidence — BLOCKED, not a false done`;
+    return {
+        verdict: 'BLOCKED',
+        deterministicVerdict: evaluation.verdict,
+        resourceExhausted: true,
+        evidenceAffordable: false,
+        summary,
+    };
+}
+//# sourceMappingURL=resourceReserveGate.js.map

package/dist/verification/resourceReserveGate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resourceReserveGate.js","sourceRoot":"","sources":["../../src/verification/resourceReserveGate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAqBH;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAA+B;IACzE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACrC,IAAI,UAAU,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAClC,OAAO;YACL,OAAO,EAAE,MAAM;YACf,oBAAoB,EAAE,MAAM;YAC5B,iBAAiB,EAAE,KAAK;YACxB,kBAAkB,EAAE,IAAI;YACxB,OAAO,EAAE,UAAU,CAAC,OAAO;SAC5B,CAAC;IACJ,CAAC;IACD,2EAA2E;IAC3E,yEAAyE;IACzE,6DAA6D;IAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACxF,MAAM,UAAU,GAAG,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,GAAG,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,GAAG,CAAC,CAAC;IACjG,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,oBAAoB,EAAE,UAAU,CAAC,OAAO;YACxC,iBAAiB,EAAE,KAAK;YACxB,kBAAkB,EAAE,IAAI;YACxB,OAAO,EAAE,UAAU,CAAC,OAAO;SAC5B,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,UAAU,CAAC,OAAO,0BAA0B,MAAM,CAAC,SAAS,CAAC,IAAI,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,oFAAoF,CAAC;IACnM,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,oBAAoB,EAAE,UAAU,CAAC,OAAO;QACxC,iBAAiB,EAAE,IAAI;QACvB,kBAAkB,EAAE,KAAK;QACzB,OAAO;KACR,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zelari/core",
-  "version": "2.5.0",
+  "version": "2.6.0",
   "description": "Zelari Code core library — provider-neutral agent loop (AgentHarness), multi-agent council orchestration, and built-in skills. Used by the zelari-code CLI; consumable by other agent frontends.",
   "author": "Anathema Studio <https://anathema-studio.com/>",
   "license": "Apache-2.0",