agentera 3.0.0-dev.21 → 3.0.0-dev.22

package/dist/registries/evidenceTierContract.js

@@ -0,0 +1,362 @@
+import path from "node:path";
+import { loadYamlMappingFile } from "../core/yaml.js";
+import { resolveSourceRoot } from "../core/sourceRoot.js";
+export class EvidenceTierContractError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "EvidenceTierContractError";
+    }
+}
+/** Supported source families the contract must never silently omit. */
+export const REQUIRED_SOURCE_FAMILIES = [
+    "codex",
+    "cursor",
+    "opencode",
+    "copilot",
+    "claude-code",
+];
+/** Signal semantics whose required meaning must remain available. */
+export const REQUIRED_SIGNAL_KINDS = [
+    "correction",
+    "decision",
+    "question",
+    "instruction",
+    "configuration",
+    "record_identity",
+    "date",
+    "evidence_anchor",
+];
+/** Compatibility states that must have deterministic, actionable outcomes. */
+export const REQUIRED_COMPATIBILITY_STATES = [
+    "oversized",
+    "legacy",
+    "missing",
+    "corrupt",
+    "incomplete",
+];
+/** Latent startup-analysis reader that must appear in the consumer map. */
+export const STARTUP_ANALYSIS_CONSUMER = "startup_analysis";
+/** Profile-synthesis consumer that must appear in the consumer map. */
+export const PROFILE_SYNTHESIS_CONSUMER = "profile_synthesis";
+/** Signal types the profile_synthesis consumer reads for bounded synthesis. */
+export const PROFILE_SIGNAL_TYPES = [
+    "decision",
+    "question",
+    "correction",
+    "instruction",
+    "configuration",
+];
+export function evidenceTierAuthorityPath(root = resolveSourceRoot()) {
+    return path.join(root, "references", "analysis", "evidence-tier-authority.yaml");
+}
+function mapping(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : null;
+}
+function asRecord(value, label) {
+    const m = mapping(value);
+    if (m === null) {
+        throw new EvidenceTierContractError(`${label} must be a mapping`);
+    }
+    return m;
+}
+function asMappingMap(value, label) {
+    const m = mapping(value);
+    const out = new Map();
+    if (m === null) {
+        throw new EvidenceTierContractError(`${label} must be a mapping`);
+    }
+    for (const [key, entry] of Object.entries(m)) {
+        const em = mapping(entry);
+        if (em === null) {
+            throw new EvidenceTierContractError(`${label}.${key} must be a mapping`);
+        }
+        out.set(key, em);
+    }
+    return out;
+}
+function asString(value, label) {
+    if (typeof value !== "string" || value.length === 0) {
+        throw new EvidenceTierContractError(`${label} must be a non-empty string`);
+    }
+    return value;
+}
+function asStringArray(value, label) {
+    if (!Array.isArray(value)) {
+        throw new EvidenceTierContractError(`${label} must be an array`);
+    }
+    return value.map((entry, i) => asString(entry, `${label}[${i}]`));
+}
+function asPositiveInt(value, label) {
+    if (typeof value !== "number" || !Number.isFinite(value) || value <= 0 || Math.floor(value) !== value) {
+        throw new EvidenceTierContractError(`${label} must be a positive integer`);
+    }
+    return value;
+}
+function asPositiveNumber(value, label) {
+    if (typeof value !== "number" || !Number.isFinite(value) || value <= 0 || value > 1) {
+        throw new EvidenceTierContractError(`${label} must be a positive number in (0, 1]`);
+    }
+    return value;
+}
+/**
+ * A family declares either `source_product` (single string) or `source_products`
+ * (list, e.g. cursor covers both Cursor and Cursor Agent). Normalize to a list
+ * for uniform coverage checks. At least one product is required.
+ */
+function resolveSourceProduct(entry, label) {
+    const products = entry.source_products ?? entry.source_product;
+    if (products === undefined) {
+        throw new EvidenceTierContractError(`${label} must declare source_product or source_products`);
+    }
+    return Array.isArray(products) ? asStringArray(products, `${label}.source_products`) : [asString(products, `${label}.source_product`)];
+}
+/** Load and structurally validate the evidence-tier authority YAML. */
+export function loadEvidenceTierContract(contractPath = evidenceTierAuthorityPath()) {
+    let raw;
+    try {
+        raw = loadYamlMappingFile(contractPath);
+    }
+    catch (error) {
+        throw new EvidenceTierContractError(`evidence tier authority ${contractPath} is unreadable or malformed: ${error.message}`);
+    }
+    const schemaVersion = asString(raw.schema_version, "schema_version");
+    if (schemaVersion !== "agentera.evidenceTierAuthority.v1") {
+        throw new EvidenceTierContractError(`evidence tier authority ${contractPath} has unsupported schema_version: ${schemaVersion}`);
+    }
+    const tiersMap = asMappingMap(raw.tiers, "tiers");
+    const tierIds = [];
+    for (const [key, entry] of tiersMap) {
+        if (key !== "full_evidence" && key !== "signal") {
+            throw new EvidenceTierContractError(`tiers.${key} is not a recognized tier id`);
+        }
+        tierIds.push(key);
+        const stored = asRecord(entry.stored_fields, `tiers.${key}.stored_fields`);
+        asStringArray(stored.required, `tiers.${key}.stored_fields.required`);
+    }
+    const familiesMap = asMappingMap(asRecord(raw.source_families, "source_families").families, "source_families.families");
+    const families = new Map();
+    for (const [familyId, entry] of familiesMap) {
+        const sourceClass = asString(entry.source_class, `source_families.families.${familyId}.source_class`);
+        if (sourceClass !== "active_runtime" && sourceClass !== "historical_import") {
+            throw new EvidenceTierContractError(`source_families.families.${familyId}.source_class must be active_runtime or historical_import`);
+        }
+        families.set(familyId, {
+            family_id: familyId,
+            source_class: sourceClass,
+            source_product: resolveSourceProduct(entry, `source_families.families.${familyId}`),
+            active_runtime: Boolean(entry.active_runtime),
+            inclusion_rule: typeof entry.inclusion_rule === "string" ? entry.inclusion_rule : undefined,
+        });
+    }
+    const consumerMapRoot = asRecord(raw.consumer_map, "consumer_map");
+    const consumersMap = asMappingMap(consumerMapRoot.consumers, "consumer_map.consumers");
+    const consumers = new Map();
+    for (const [consumerId, entry] of consumersMap) {
+        const tier = asString(entry.tier, `consumer_map.consumers.${consumerId}.tier`);
+        if (tier !== "full_evidence" && tier !== "signal") {
+            throw new EvidenceTierContractError(`consumer_map.consumers.${consumerId}.tier must be full_evidence or signal`);
+        }
+        consumers.set(consumerId, {
+            consumer_id: consumerId,
+            tier,
+            purpose: asString(entry.purpose, `consumer_map.consumers.${consumerId}.purpose`),
+            required_fields: asStringArray(entry.required_fields, `consumer_map.consumers.${consumerId}.required_fields`),
+            source_identity: asString(entry.source_identity, `consumer_map.consumers.${consumerId}.source_identity`),
+            input_contract: asString(entry.input_contract, `consumer_map.consumers.${consumerId}.input_contract`),
+        });
+    }
+    const deferredMap = asMappingMap(consumerMapRoot.deferred_consumers, "consumer_map.deferred_consumers");
+    const deferredConsumers = new Map();
+    for (const [consumerId, entry] of deferredMap) {
+        deferredConsumers.set(consumerId, {
+            consumer_id: consumerId,
+            tier: asString(entry.tier, `consumer_map.deferred_consumers.${consumerId}.tier`),
+            status: asString(entry.status, `consumer_map.deferred_consumers.${consumerId}.status`),
+            required_semantics: asStringArray(entry.required_semantics, `consumer_map.deferred_consumers.${consumerId}.required_semantics`),
+        });
+    }
+    const semanticsMap = asMappingMap(asRecord(raw.signal_semantics, "signal_semantics").kinds, "signal_semantics.kinds");
+    const signalSemantics = new Map();
+    for (const [kind, entry] of semanticsMap) {
+        signalSemantics.set(kind, {
+            kind,
+            meaning: asString(entry.meaning, `signal_semantics.kinds.${kind}.meaning`),
+            derivable_from: asString(entry.derivable_from, `signal_semantics.kinds.${kind}.derivable_from`),
+            deferred_consumer: asString(entry.deferred_consumer, `signal_semantics.kinds.${kind}.deferred_consumer`),
+            current_consumer: typeof entry.current_consumer === "string" ? entry.current_consumer : undefined,
+        });
+    }
+    const statesMap = asMappingMap(asRecord(raw.compatibility_states, "compatibility_states").states, "compatibility_states.states");
+    const compatibilityStates = new Map();
+    for (const [key, entry] of statesMap) {
+        if (!REQUIRED_COMPATIBILITY_STATES.includes(key)) {
+            throw new EvidenceTierContractError(`compatibility_states.states.${key} is not a recognized state`);
+        }
+        const stateId = key;
+        const outcome = asString(entry.outcome, `compatibility_states.states.${key}.outcome`);
+        if (outcome !== "recover" && outcome !== "degrade") {
+            throw new EvidenceTierContractError(`compatibility_states.states.${key}.outcome must be recover or degrade`);
+        }
+        compatibilityStates.set(stateId, {
+            state_id: stateId,
+            trigger: asString(entry.trigger, `compatibility_states.states.${key}.trigger`),
+            status: asString(entry.status, `compatibility_states.states.${key}.status`),
+            reason: asString(entry.reason, `compatibility_states.states.${key}.reason`),
+            outcome,
+            recovery: asString(entry.recovery, `compatibility_states.states.${key}.recovery`),
+        });
+    }
+    const reconciliation = asRecord(raw.decision_55_reconciliation, "decision_55_reconciliation");
+    const boundsRoot = asRecord(raw.bounds, "bounds");
+    const bounds = {
+        readerByteCap: asPositiveInt(boundsRoot.reader_byte_cap, "bounds.reader_byte_cap"),
+        shardByteCap: asPositiveInt(boundsRoot.shard_byte_cap, "bounds.shard_byte_cap"),
+        signalByteCap: asPositiveInt(boundsRoot.signal_byte_cap, "bounds.signal_byte_cap"),
+    };
+    const suffRoot = asRecord(raw.profile_sufficiency, "profile_sufficiency");
+    const profileSufficiency = {
+        profileSignalTypes: asStringArray(suffRoot.profile_signal_types, "profile_sufficiency.profile_signal_types"),
+        minimumFamilyRetention: asPositiveNumber(suffRoot.minimum_family_retention, "profile_sufficiency.minimum_family_retention"),
+    };
+    return {
+        schemaVersion,
+        status: asString(raw.status, "status"),
+        tierIds,
+        families,
+        consumers,
+        deferredConsumers,
+        signalSemantics,
+        compatibilityStates,
+        bounds,
+        profileSufficiency,
+        decisionNumber: typeof reconciliation.decision_number === "number"
+            ? reconciliation.decision_number
+            : 0,
+    };
+}
+/** All declared source family ids (no family is silently omitted). */
+export function supportedSourceFamilies(contractPath = evidenceTierAuthorityPath()) {
+    return [...loadEvidenceTierContract(contractPath).families.keys()];
+}
+/** All declared consumers with their bounded input contract and required fields. */
+export function consumerMap(contractPath = evidenceTierAuthorityPath()) {
+    return [...loadEvidenceTierContract(contractPath).consumers.values()];
+}
+/** All declared signal semantics available to current and deferred consumers. */
+export function signalSemantics(contractPath = evidenceTierAuthorityPath()) {
+    return [...loadEvidenceTierContract(contractPath).signalSemantics.values()];
+}
+/** All declared compatibility states with deterministic, actionable outcomes. */
+export function compatibilityStates(contractPath = evidenceTierAuthorityPath()) {
+    return [...loadEvidenceTierContract(contractPath).compatibilityStates.values()];
+}
+/**
+ * Projected byte caps for full-evidence shards and the signal tier. These are
+ * the bounds the publication writer and direct retriever enforce; they are read
+ * from the authority rather than duplicated in callers.
+ */
+export function evidenceTierBounds(contractPath = evidenceTierAuthorityPath()) {
+    return loadEvidenceTierContract(contractPath).bounds;
+}
+/**
+ * Profile-synthesis sufficiency threshold (resolves planning Unknown 2). The
+ * profile_signal_types and minimum_family_retention are the authority a bounded
+ * profile reader projects when comparing the retained signal distribution
+ * against the intended distribution. Callers must not re-declare these.
+ */
+export function profileSufficiency(contractPath = evidenceTierAuthorityPath()) {
+    return loadEvidenceTierContract(contractPath).profileSufficiency;
+}
+/**
+ * Validate the contract against its invariants. Returns a list of human-readable
+ * errors; an empty list means the contract satisfies every Task 1 acceptance
+ * invariant. Used by tests for both passing (production contract) and failing
+ * (mutated fixture) checks.
+ */
+export function validateEvidenceTierContract(contractPath = evidenceTierAuthorityPath()) {
+    const errors = [];
+    let model;
+    try {
+        model = loadEvidenceTierContract(contractPath);
+    }
+    catch (error) {
+        return [error.message];
+    }
+    // AC1: every consumer has one bounded input contract supplying required fields
+    // with source identity.
+    for (const consumer of model.consumers.values()) {
+        if (consumer.required_fields.length === 0) {
+            errors.push(`consumer ${consumer.consumer_id} declares no required fields`);
+        }
+        if (!consumer.source_identity) {
+            errors.push(`consumer ${consumer.consumer_id} has no source identity`);
+        }
+        if (!consumer.input_contract) {
+            errors.push(`consumer ${consumer.consumer_id} has no input contract`);
+        }
+    }
+    if (!model.consumers.has(STARTUP_ANALYSIS_CONSUMER)) {
+        errors.push(`consumer map omits latent ${STARTUP_ANALYSIS_CONSUMER} reader`);
+    }
+    // AC2: no supported source family is silently omitted.
+    for (const family of REQUIRED_SOURCE_FAMILIES) {
+        if (!model.families.has(family)) {
+            errors.push(`source family ${family} is omitted`);
+        }
+    }
+    // AC3: signal semantics required meaning remains available to current and
+    // declared deferred consumers.
+    for (const kind of REQUIRED_SIGNAL_KINDS) {
+        const semantic = model.signalSemantics.get(kind);
+        if (!semantic) {
+            errors.push(`signal semantic ${kind} is omitted`);
+            continue;
+        }
+        if (!semantic.deferred_consumer) {
+            errors.push(`signal semantic ${kind} has no declared deferred consumer`);
+        }
+    }
+    for (const [name, deferred] of model.deferredConsumers) {
+        for (const kind of deferred.required_semantics) {
+            if (!model.signalSemantics.has(kind)) {
+                errors.push(`deferred consumer ${name} requires unknown semantic ${kind}`);
+            }
+        }
+    }
+    // AC4: every compatibility state is deterministic and actionable.
+    for (const state of REQUIRED_COMPATIBILITY_STATES) {
+        const def = model.compatibilityStates.get(state);
+        if (!def) {
+            errors.push(`compatibility state ${state} is omitted`);
+            continue;
+        }
+        if (def.outcome !== "recover" && def.outcome !== "degrade") {
+            errors.push(`compatibility state ${state} has non-deterministic outcome`);
+        }
+        if (!def.recovery) {
+            errors.push(`compatibility state ${state} has no actionable recovery`);
+        }
+    }
+    // Profile-synthesis sufficiency (Unknown 2): the consumer must appear, the
+    // sufficiency model must declare profile signal types, and each declared
+    // type must be a recognized signal semantic so the comparison is meaningful.
+    if (!model.consumers.has(PROFILE_SYNTHESIS_CONSUMER)) {
+        errors.push(`consumer map omits ${PROFILE_SYNTHESIS_CONSUMER} consumer`);
+    }
+    if (model.profileSufficiency.profileSignalTypes.length === 0) {
+        errors.push("profile_sufficiency declares no profile_signal_types");
+    }
+    for (const kind of model.profileSufficiency.profileSignalTypes) {
+        if (!model.signalSemantics.has(kind)) {
+            errors.push(`profile_sufficiency references unknown signal semantic ${kind}`);
+        }
+    }
+    // Decision 55 reconciliation: the decision is referenced, not rewritten.
+    if (model.decisionNumber !== 55) {
+        errors.push(`decision_55_reconciliation.decision_number is ${model.decisionNumber}, expected 55`);
+    }
+    return errors;
+}
+//# sourceMappingURL=evidenceTierContract.js.map

package/dist/registries/evidenceTierContract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidenceTierContract.js","sourceRoot":"","sources":["../../src/registries/evidenceTierContract.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AA6F1D,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAClD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF;AAED,uEAAuE;AACvE,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,OAAO;IACP,QAAQ;IACR,UAAU;IACV,SAAS;IACT,aAAa;CACL,CAAC;AAEX,qEAAqE;AACrE,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,YAAY;IACZ,UAAU;IACV,UAAU;IACV,aAAa;IACb,eAAe;IACf,iBAAiB;IACjB,MAAM;IACN,iBAAiB;CACT,CAAC;AAEX,8EAA8E;AAC9E,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,WAAW;IACX,QAAQ;IACR,SAAS;IACT,SAAS;IACT,YAAY;CACJ,CAAC;AAEX,2EAA2E;AAC3E,MAAM,CAAC,MAAM,yBAAyB,GAAG,kBAAkB,CAAC;AAE5D,uEAAuE;AACvE,MAAM,CAAC,MAAM,0BAA0B,GAAG,mBAAmB,CAAC;AAE9D,+EAA+E;AAC/E,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,UAAU;IACV,UAAU;IACV,YAAY;IACZ,aAAa;IACb,eAAe;CACP,CAAC;AAEX,MAAM,UAAU,yBAAyB,CAAC,OAAe,iBAAiB,EAAE;IAC1E,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,8BAA8B,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa;IAC7C,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACf,MAAM,IAAI,yBAAyB,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CACnB,KAAc,EACd,KAAa;IAEb,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACzB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmC,CAAC;IACvD,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACf,MAAM,IAAI,yBAAyB,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACpE,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,yBAAyB,CAAC,GAAG,KAAK,IAAI,GAAG,oBAAoB,CAAC,CAAC;QAC3E,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,yBAAyB,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,yBAAyB,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC;QACtG,MAAM,IAAI,yBAAyB,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc,EAAE,KAAa;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACpF,MAAM,IAAI,yBAAyB,CAAC,GAAG,KAAK,sCAAsC,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAAC,KAA8B,EAAE,KAAa;IACzE,MAAM,QAAQ,GAAG,KAAK,CAAC,eAAe,IAAI,KAAK,CAAC,cAAc,CAAC;IAC/D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,yBAAyB,CAAC,GAAG,KAAK,iDAAiD,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,EAAE,GAAG,KAAK,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,KAAK,iBAAiB,CAAC,CAAC,CAAC;AACzI,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,wBAAwB,CACtC,eAAuB,yBAAyB,EAAE;IAElD,IAAI,GAA4B,CAAC;IACjC,IAAI,CAAC;QACH,GAAG,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC;IAC1C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,yBAAyB,CACjC,2BAA2B,YAAY,gCAAiC,KAAe,CAAC,OAAO,EAAE,CAClG,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IACrE,IAAI,aAAa,KAAK,mCAAmC,EAAE,CAAC;QAC1D,MAAM,IAAI,yBAAyB,CACjC,2BAA2B,YAAY,oCAAoC,aAAa,EAAE,CAC3F,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,IAAI,GAAG,KAAK,eAAe,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YAChD,MAAM,IAAI,yBAAyB,CAAC,SAAS,GAAG,8BAA8B,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,SAAS,GAAG,gBAAgB,CAAC,CAAC;QAC3E,aAAa,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,GAAG,yBAAyB,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,WAAW,GAAG,YAAY,CAC9B,QAAQ,CAAC,GAAG,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,QAAQ,EACzD,0BAA0B,CAC3B,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC3D,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5C,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,4BAA4B,QAAQ,eAAe,CAAC,CAAC;QACtG,IAAI,WAAW,KAAK,gBAAgB,IAAI,WAAW,KAAK,mBAAmB,EAAE,CAAC;YAC5E,MAAM,IAAI,yBAAyB,CACjC,4BAA4B,QAAQ,2DAA2D,CAChG,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE;YACrB,SAAS,EAAE,QAAQ;YACnB,YAAY,EAAE,WAAW;YACzB,cAAc,EAAE,oBAAoB,CAAC,KAAK,EAAE,4BAA4B,QAAQ,EAAE,CAAC;YACnF,cAAc,EAAE,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC;YAC7C,cAAc,EAAE,OAAO,KAAK,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;SAC5F,CAAC,CAAC;IACL,CAAC;IAED,MAAM,eAAe,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG,YAAY,CAAC,eAAe,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAC;IACvF,MAAM,SAAS,GAAG,IAAI,GAAG,EAA8B,CAAC;IACxD,KAAK,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,YAAY,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,0BAA0B,UAAU,OAAO,CAAC,CAAC;QAC/E,IAAI,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClD,MAAM,IAAI,yBAAyB,CACjC,0BAA0B,UAAU,uCAAuC,CAC5E,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE;YACxB,WAAW,EAAE,UAAU;YACvB,IAAI;YACJ,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,0BAA0B,UAAU,UAAU,CAAC;YAChF,eAAe,EAAE,aAAa,CAAC,KAAK,CAAC,eAAe,EAAE,0BAA0B,UAAU,kBAAkB,CAAC;YAC7G,eAAe,EAAE,QAAQ,CAAC,KAAK,CAAC,eAAe,EAAE,0BAA0B,UAAU,kBAAkB,CAAC;YACxG,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,0BAA0B,UAAU,iBAAiB,CAAC;SACtG,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAG,YAAY,CAAC,eAAe,CAAC,kBAAkB,EAAE,iCAAiC,CAAC,CAAC;IACxG,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAsC,CAAC;IACxE,KAAK,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;QAC9C,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE;YAChC,WAAW,EAAE,UAAU;YACvB,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,mCAAmC,UAAU,OAAO,CAAW;YAC1F,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,mCAAmC,UAAU,SAAS,CAAC;YACtF,kBAAkB,EAAE,aAAa,CAC/B,KAAK,CAAC,kBAAkB,EACxB,mCAAmC,UAAU,qBAAqB,CACnE;SACF,CAAC,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAG,YAAY,CAC/B,QAAQ,CAAC,GAAG,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC,KAAK,EACxD,wBAAwB,CACzB,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAoC,CAAC;IACpE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,YAAY,EAAE,CAAC;QACzC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE;YACxB,IAAI;YACJ,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,0BAA0B,IAAI,UAAU,CAAC;YAC1E,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,0BAA0B,IAAI,iBAAiB,CAAC;YAC/F,iBAAiB,EAAE,QAAQ,CAAC,KAAK,CAAC,iBAAiB,EAAE,0BAA0B,IAAI,oBAAoB,CAAC;YACxG,gBAAgB,EAAE,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;SAClG,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAC5B,QAAQ,CAAC,GAAG,CAAC,oBAAoB,EAAE,sBAAsB,CAAC,CAAC,MAAM,EACjE,6BAA6B,CAC9B,CAAC;IACF,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAsD,CAAC;IAC1F,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;QACrC,IAAI,CAAC,6BAA6B,CAAC,QAAQ,CAAC,GAA2B,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,yBAAyB,CAAC,+BAA+B,GAAG,4BAA4B,CAAC,CAAC;QACtG,CAAC;QACD,MAAM,OAAO,GAAG,GAA2B,CAAC;QAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,+BAA+B,GAAG,UAAU,CAAC,CAAC;QACtF,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACnD,MAAM,IAAI,yBAAyB,CACjC,+BAA+B,GAAG,qCAAqC,CACxE,CAAC;QACJ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,OAAO,EAAE;YAC/B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,+BAA+B,GAAG,UAAU,CAAC;YAC9E,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,+BAA+B,GAAG,SAAS,CAAC;YAC3E,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,+BAA+B,GAAG,SAAS,CAAC;YAC3E,OAAO;YACP,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,+BAA+B,GAAG,WAAW,CAAC;SAClF,CAAC,CAAC;IACL,CAAC;IAED,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,0BAA0B,EAAE,4BAA4B,CAAC,CAAC;IAE9F,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,MAAM,GAAuB;QACjC,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,eAAe,EAAE,wBAAwB,CAAC;QAClF,YAAY,EAAE,aAAa,CAAC,UAAU,CAAC,cAAc,EAAE,uBAAuB,CAAC;QAC/E,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,eAAe,EAAE,wBAAwB,CAAC;KACnF,CAAC;IAEF,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;IAC1E,MAAM,kBAAkB,GAAiC;QACvD,kBAAkB,EAAE,aAAa,CAC/B,QAAQ,CAAC,oBAAoB,EAC7B,0CAA0C,CAC3C;QACD,sBAAsB,EAAE,gBAAgB,CACtC,QAAQ,CAAC,wBAAwB,EACjC,8CAA8C,CAC/C;KACF,CAAC;IAEF,OAAO;QACL,aAAa;QACb,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QACtC,OAAO;QACP,QAAQ;QACR,SAAS;QACT,iBAAiB;QACjB,eAAe;QACf,mBAAmB;QACnB,MAAM;QACN,kBAAkB;QAClB,cAAc,EAAE,OAAO,cAAc,CAAC,eAAe,KAAK,QAAQ;YAChE,CAAC,CAAC,cAAc,CAAC,eAAe;YAChC,CAAC,CAAC,CAAC;KACN,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,uBAAuB,CACrC,eAAuB,yBAAyB,EAAE;IAElD,OAAO,CAAC,GAAG,wBAAwB,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,WAAW,CACzB,eAAuB,yBAAyB,EAAE;IAElD,OAAO,CAAC,GAAG,wBAAwB,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;AACxE,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,eAAe,CAC7B,eAAuB,yBAAyB,EAAE;IAElD,OAAO,CAAC,GAAG,wBAAwB,CAAC,YAAY,CAAC,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,mBAAmB,CACjC,eAAuB,yBAAyB,EAAE;IAElD,OAAO,CAAC,GAAG,wBAAwB,CAAC,YAAY,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC;AAClF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,eAAuB,yBAAyB,EAAE;IAElD,OAAO,wBAAwB,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC;AACvD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,eAAuB,yBAAyB,EAAE;IAElD,OAAO,wBAAwB,CAAC,YAAY,CAAC,CAAC,kBAAkB,CAAC;AACnE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAC1C,eAAuB,yBAAyB,EAAE;IAElD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,KAAoB,CAAC;IACzB,IAAI,CAAC;QACH,KAAK,GAAG,wBAAwB,CAAC,YAAY,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAE,KAAe,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IAED,+EAA+E;IAC/E,wBAAwB;IACxB,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QAChD,IAAI,QAAQ,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,WAAW,8BAA8B,CAAC,CAAC;QAC9E,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,WAAW,yBAAyB,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,WAAW,wBAAwB,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,yBAAyB,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,6BAA6B,yBAAyB,SAAS,CAAC,CAAC;IAC/E,CAAC;IAED,uDAAuD;IACvD,KAAK,MAAM,MAAM,IAAI,wBAAwB,EAAE,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,iBAAiB,MAAM,aAAa,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,+BAA+B;IAC/B,KAAK,MAAM,IAAI,IAAI,qBAAqB,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,mBAAmB,IAAI,aAAa,CAAC,CAAC;YAClD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,mBAAmB,IAAI,oCAAoC,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;QACvD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,kBAAkB,EAAE,CAAC;YAC/C,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC,qBAAqB,IAAI,8BAA8B,IAAI,EAAE,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;IACH,CAAC;IAED,kEAAkE;IAClE,KAAK,MAAM,KAAK,IAAI,6BAA6B,EAAE,CAAC;QAClD,MAAM,GAAG,GAAG,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,CAAC,IAAI,CAAC,uBAAuB,KAAK,aAAa,CAAC,CAAC;YACvD,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,uBAAuB,KAAK,gCAAgC,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,uBAAuB,KAAK,6BAA6B,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,yEAAyE;IACzE,6EAA6E;IAC7E,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,0BAA0B,CAAC,EAAE,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,sBAAsB,0BAA0B,WAAW,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,MAAM,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IACtE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,0DAA0D,IAAI,EAAE,CAAC,CAAC;QAChF,CAAC;IACH,CAAC;IAED,yEAAyE;IACzE,IAAI,KAAK,CAAC,cAAc,KAAK,EAAE,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,iDAAiD,KAAK,CAAC,cAAc,eAAe,CAAC,CAAC;IACpG,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/registries/verbosityBudgetContract.js

@@ -0,0 +1,206 @@
+import path from "node:path";
+import { loadYamlMappingFile } from "../core/yaml.js";
+import { resolveSourceRoot } from "../core/sourceRoot.js";
+import { ARTIFACT_PROTOCOL_PATHS, normalizeArtifactProtocolId, } from "./artifactProtocolIds.js";
+export class VerbosityBudgetContractError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "VerbosityBudgetContractError";
+    }
+}
+export function verbosityBudgetAuthorityPath() {
+    return path.join(resolveSourceRoot(), "references", "artifacts", "verbosity-budget-authority.yaml");
+}
+function mapping(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : null;
+}
+function positiveNumber(value) {
+    return typeof value === "number" && Number.isFinite(value) && value > 0;
+}
+function readMapping(filePath, label) {
+    try {
+        return loadYamlMappingFile(filePath);
+    }
+    catch (error) {
+        throw new VerbosityBudgetContractError(`${label} ${filePath} is unreadable or malformed: ${error.message}`);
+    }
+}
+function loadContract(contractPath) {
+    const contract = readMapping(contractPath, "verbosity budget authority");
+    if (contract.schema_version !== "agentera.verbosityBudgetAuthority.v1") {
+        throw new VerbosityBudgetContractError(`verbosity budget authority ${contractPath} has unsupported schema_version`);
+    }
+    const authority = mapping(contract.authority);
+    const scope = mapping(contract.scope);
+    const supported = scope?.supported_artifacts;
+    if (!authority || typeof authority.schema_directory !== "string" || !Array.isArray(supported)) {
+        throw new VerbosityBudgetContractError(`verbosity budget authority ${contractPath} must declare authority.schema_directory and scope.supported_artifacts`);
+    }
+    const schemaDirectory = path.resolve(path.dirname(contractPath), authority.schema_directory);
+    const owners = new Map();
+    for (const raw of supported) {
+        const entry = mapping(raw);
+        const artifactId = entry?.artifact_id;
+        const schema = entry?.schema;
+        if (typeof artifactId !== "string" || normalizeArtifactProtocolId(artifactId) !== artifactId) {
+            throw new VerbosityBudgetContractError(`verbosity budget authority ${contractPath} contains an invalid artifact_id`);
+        }
+        if (typeof schema !== "string" || !schema.endsWith(".yaml") || path.basename(schema) !== schema) {
+            throw new VerbosityBudgetContractError(`verbosity budget authority ${contractPath} contains an invalid schema owner for ${artifactId}`);
+        }
+        if (owners.has(artifactId)) {
+            throw new VerbosityBudgetContractError(`verbosity budget authority ${contractPath} declares ambiguous owners for ${artifactId}`);
+        }
+        owners.set(artifactId, {
+            artifactId,
+            authorityPath: contractPath,
+            schemaPath: path.join(schemaDirectory, schema),
+        });
+    }
+    if (owners.size === 0) {
+        throw new VerbosityBudgetContractError(`verbosity budget authority ${contractPath} declares no supported artifacts`);
+    }
+    return { contractPath, owners };
+}
+function protocolIdForOwner(input) {
+    const normalized = normalizeArtifactProtocolId(input);
+    if (normalized)
+        return normalized;
+    const comparable = input.trim().replaceAll("\\", "/").toLowerCase();
+    for (const [artifactId, artifactPath] of Object.entries(ARTIFACT_PROTOCOL_PATHS)) {
+        const canonicalPath = artifactPath.toLowerCase();
+        if (comparable === canonicalPath || comparable === path.posix.basename(canonicalPath)) {
+            return artifactId;
+        }
+    }
+    return null;
+}
+export function resolveVerbosityBudgetOwner(artifact, contractPath = verbosityBudgetAuthorityPath()) {
+    const contract = loadContract(contractPath);
+    const artifactId = protocolIdForOwner(artifact);
+    const owner = artifactId ? contract.owners.get(artifactId) : undefined;
+    if (!owner) {
+        throw new VerbosityBudgetContractError(`unsupported artifact ${JSON.stringify(artifact)} in verbosity budget authority; ` +
+            `valid artifact_id values: ${[...contract.owners.keys()].sort().join(", ")}`);
+    }
+    return owner;
+}
+function invalidDimension(scope, declarationId, error) {
+    return {
+        scope,
+        classification: "invalid_declaration",
+        unit: null,
+        limit: null,
+        declarationId,
+        error,
+    };
+}
+function classifyDeclaration(raw, index) {
+    const declaration = mapping(raw);
+    if (!declaration)
+        return invalidDimension(`<entry:${index}>`, null, "budget declaration must be a mapping");
+    const scope = typeof declaration.scope === "string" && declaration.scope.trim()
+        ? declaration.scope.trim()
+        : `<entry:${index}>`;
+    const declarationId = typeof declaration.id === "string" ? declaration.id : null;
+    if (scope.startsWith("<entry:")) {
+        return invalidDimension(scope, declarationId, "budget declaration must define a non-empty scope");
+    }
+    const hasWords = Object.hasOwn(declaration, "max_words");
+    const hasTokens = Object.hasOwn(declaration, "token_budget");
+    if (Number(hasWords) + Number(hasTokens) !== 1) {
+        return invalidDimension(scope, declarationId, "budget declaration must define exactly one of max_words or token_budget");
+    }
+    if (hasWords) {
+        if (declaration.max_words === null) {
+            return { scope, classification: "explicit_no_limit", unit: "words", limit: null, declarationId };
+        }
+        if (positiveNumber(declaration.max_words)) {
+            return {
+                scope,
+                classification: "numeric_limit",
+                unit: "words",
+                limit: declaration.max_words,
+                declarationId,
+            };
+        }
+        return invalidDimension(scope, declarationId, "max_words must be a positive number or null");
+    }
+    if (positiveNumber(declaration.token_budget)) {
+        return {
+            scope,
+            classification: "non_word_unit",
+            unit: "tokens",
+            limit: declaration.token_budget,
+            declarationId,
+        };
+    }
+    return invalidDimension(scope, declarationId, "token_budget must be a positive number");
+}
+function isNonVerbosityBudgetEntry(raw) {
+    const declaration = mapping(raw);
+    return Boolean(declaration &&
+        typeof declaration.rule === "string" &&
+        !Object.hasOwn(declaration, "max_words") &&
+        !Object.hasOwn(declaration, "token_budget"));
+}
+export function inspectArtifactVerbosityBudget(artifact, contractPath = verbosityBudgetAuthorityPath()) {
+    const owner = resolveVerbosityBudgetOwner(artifact, contractPath);
+    let schema;
+    try {
+        schema = readMapping(owner.schemaPath, `verbosity budget owner for ${owner.artifactId}`);
+    }
+    catch (error) {
+        return {
+            ...owner,
+            dimensions: [invalidDimension("<authority>", null, error.message)],
+        };
+    }
+    const budget = mapping(schema.BUDGET);
+    if (!budget || Object.keys(budget).length === 0) {
+        return {
+            ...owner,
+            dimensions: [invalidDimension("<authority>", null, "owning schema must define a non-empty BUDGET mapping")],
+        };
+    }
+    const dimensions = Object.entries(budget)
+        .filter(([, declaration]) => !isNonVerbosityBudgetEntry(declaration))
+        .map(([index, declaration]) => classifyDeclaration(declaration, index));
+    if (dimensions.length === 0) {
+        return {
+            ...owner,
+            dimensions: [invalidDimension("<authority>", null, "owning schema defines no verbosity budget declarations")],
+        };
+    }
+    const counts = new Map();
+    for (const dimension of dimensions)
+        counts.set(dimension.scope, (counts.get(dimension.scope) ?? 0) + 1);
+    return {
+        ...owner,
+        dimensions: dimensions.map((dimension) => (counts.get(dimension.scope) ?? 0) > 1
+            ? invalidDimension(dimension.scope, dimension.declarationId, `duplicate budget scope ${dimension.scope}`)
+            : dimension),
+    };
+}
+export function validateVerbosityBudgetContract(contractPath = verbosityBudgetAuthorityPath()) {
+    let contract;
+    try {
+        contract = loadContract(contractPath);
+    }
+    catch (error) {
+        return [error.message];
+    }
+    const errors = [];
+    for (const artifactId of contract.owners.keys()) {
+        const inspected = inspectArtifactVerbosityBudget(artifactId, contractPath);
+        for (const dimension of inspected.dimensions) {
+            if (dimension.classification === "invalid_declaration") {
+                errors.push(`${artifactId}:${dimension.scope}: ${dimension.error}`);
+            }
+        }
+    }
+    return errors;
+}
+//# sourceMappingURL=verbosityBudgetContract.js.map

package/dist/registries/verbosityBudgetContract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verbosityBudgetContract.js","sourceRoot":"","sources":["../../src/registries/verbosityBudgetContract.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EACL,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,0BAA0B,CAAC;AAgClC,MAAM,OAAO,4BAA6B,SAAQ,KAAK;IACrD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,8BAA8B,CAAC;IAC7C,CAAC;CACF;AAED,MAAM,UAAU,4BAA4B;IAC1C,OAAO,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,YAAY,EAAE,WAAW,EAAE,iCAAiC,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB,EAAE,KAAa;IAClD,IAAI,CAAC;QACH,OAAO,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,4BAA4B,CACpC,GAAG,KAAK,IAAI,QAAQ,gCAAiC,KAAe,CAAC,OAAO,EAAE,CAC/E,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,YAAoB;IACxC,MAAM,QAAQ,GAAG,WAAW,CAAC,YAAY,EAAE,4BAA4B,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,cAAc,KAAK,sCAAsC,EAAE,CAAC;QACvE,MAAM,IAAI,4BAA4B,CACpC,8BAA8B,YAAY,iCAAiC,CAC5E,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,KAAK,EAAE,mBAAmB,CAAC;IAC7C,IAAI,CAAC,SAAS,IAAI,OAAO,SAAS,CAAC,gBAAgB,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9F,MAAM,IAAI,4BAA4B,CACpC,8BAA8B,YAAY,wEAAwE,CACnH,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,UAAU,GAAG,KAAK,EAAE,WAAW,CAAC;QACtC,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,CAAC;QAC7B,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,2BAA2B,CAAC,UAAU,CAAC,KAAK,UAAU,EAAE,CAAC;YAC7F,MAAM,IAAI,4BAA4B,CACpC,8BAA8B,YAAY,kCAAkC,CAC7E,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,MAAM,EAAE,CAAC;YAChG,MAAM,IAAI,4BAA4B,CACpC,8BAA8B,YAAY,yCAAyC,UAAU,EAAE,CAChG,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,4BAA4B,CACpC,8BAA8B,YAAY,kCAAkC,UAAU,EAAE,CACzF,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,UAAU,EAAE;YACrB,UAAU;YACV,aAAa,EAAE,YAAY;YAC3B,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC;SAC/C,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,4BAA4B,CACpC,8BAA8B,YAAY,kCAAkC,CAC7E,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,MAAM,UAAU,GAAG,2BAA2B,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAClC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;IACpE,KAAK,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC,EAAE,CAAC;QACjF,MAAM,aAAa,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC;QACjD,IAAI,UAAU,KAAK,aAAa,IAAI,UAAU,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YACtF,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,QAAgB,EAChB,eAAuB,4BAA4B,EAAE;IAErD,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,4BAA4B,CACpC,wBAAwB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,kCAAkC;YAChF,6BAA6B,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa,EAAE,aAA4B,EAAE,KAAa;IAClF,OAAO;QACL,KAAK;QACL,cAAc,EAAE,qBAAqB;QACrC,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,IAAI;QACX,aAAa;QACb,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAY,EAAE,KAAa;IACtD,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,CAAC,WAAW;QAAE,OAAO,gBAAgB,CAAC,UAAU,KAAK,GAAG,EAAE,IAAI,EAAE,sCAAsC,CAAC,CAAC;IAC5G,MAAM,KAAK,GAAG,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE;QAC7E,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE;QAC1B,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC;IACvB,MAAM,aAAa,GAAG,OAAO,WAAW,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,OAAO,gBAAgB,CAAC,KAAK,EAAE,aAAa,EAAE,kDAAkD,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,gBAAgB,CACrB,KAAK,EACL,aAAa,EACb,yEAAyE,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,WAAW,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YACnC,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACnG,CAAC;QACD,IAAI,cAAc,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1C,OAAO;gBACL,KAAK;gBACL,cAAc,EAAE,eAAe;gBAC/B,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,WAAW,CAAC,SAAS;gBAC5B,aAAa;aACd,CAAC;QACJ,CAAC;QACD,OAAO,gBAAgB,CAAC,KAAK,EAAE,aAAa,EAAE,6CAA6C,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,cAAc,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7C,OAAO;YACL,KAAK;YACL,cAAc,EAAE,eAAe;YAC/B,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,WAAW,CAAC,YAAY;YAC/B,aAAa;SACd,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,EAAE,aAAa,EAAE,wCAAwC,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAY;IAC7C,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACjC,OAAO,OAAO,CACZ,WAAW;QACT,OAAO,WAAW,CAAC,IAAI,KAAK,QAAQ;QACpC,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC;QACxC,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,QAAgB,EAChB,eAAuB,4BAA4B,EAAE;IAErD,MAAM,KAAK,GAAG,2BAA2B,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAClE,IAAI,MAA+B,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,8BAA8B,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3F,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,GAAG,KAAK;YACR,UAAU,EAAE,CAAC,gBAAgB,CAAC,aAAa,EAAE,IAAI,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;SAC9E,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO;YACL,GAAG,KAAK;YACR,UAAU,EAAE,CAAC,gBAAgB,CAAC,aAAa,EAAE,IAAI,EAAE,sDAAsD,CAAC,CAAC;SAC5G,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;SACtC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,WAAW,CAAC,CAAC;SACpE,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1E,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,KAAK;YACR,UAAU,EAAE,CAAC,gBAAgB,CAAC,aAAa,EAAE,IAAI,EAAE,wDAAwD,CAAC,CAAC;SAC9G,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,SAAS,IAAI,UAAU;QAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxG,OAAO;QACL,GAAG,KAAK;QACR,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACvC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;YACpC,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,aAAa,EAAE,0BAA0B,SAAS,CAAC,KAAK,EAAE,CAAC;YACzG,CAAC,CAAC,SAAS,CACd;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,eAAuB,4BAA4B,EAAE;IAErD,IAAI,QAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAE,KAAe,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,SAAS,GAAG,8BAA8B,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QAC3E,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;YAC7C,IAAI,SAAS,CAAC,cAAc,KAAK,qBAAqB,EAAE,CAAC;gBACvD,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}