@vauban-org/agent-sdk 0.16.0

package/dist/compute/with-compute.js

@@ -0,0 +1,69 @@
+/**
+ * src/compute/with-compute.ts
+ *
+ * Public `withCompute()` API — caller-explicit strategy entry point.
+ *
+ * Contract (Sprint A):
+ * - Strategy is REQUIRED and explicit (no auto-routing).
+ * - Returns `StrategyResult<O>` whose `metadata.strategy` equals the strategy's `name`.
+ * - Pre-flight guards run BEFORE invoking the generator:
+ *     1. `strategy` must be a non-null object with a usable `run` function.
+ *     2. `budget.maxCalls === 0` → throw `BudgetExhaustedError`.
+ *     3. `deadline` already past → throw `DeadlineExceededError`.
+ *     4. `signal` already aborted → throw the signal's `reason` (DOMException 'AbortError' by default).
+ * - Generator rejections bubble up unchanged.
+ */
+// ---------------------------------------------------------------------------
+// Errors
+// ---------------------------------------------------------------------------
+export class InvalidStrategyError extends Error {
+    name = "InvalidStrategyError";
+    constructor(message = "withCompute: `strategy` is required and must implement Strategy<I,O>") {
+        super(message);
+    }
+}
+export class BudgetExhaustedError extends Error {
+    name = "BudgetExhaustedError";
+    constructor(message = "withCompute: budget exhausted (maxCalls=0)") {
+        super(message);
+    }
+}
+export class DeadlineExceededError extends Error {
+    name = "DeadlineExceededError";
+    constructor(message = "withCompute: deadline exceeded before invocation") {
+        super(message);
+    }
+}
+// ---------------------------------------------------------------------------
+// Implementation
+// ---------------------------------------------------------------------------
+function isStrategyLike(value) {
+    if (value === null || typeof value !== "object")
+        return false;
+    const v = value;
+    return typeof v.name === "string" && typeof v.run === "function";
+}
+/**
+ * Run a compute task under an explicit strategy with pre-flight budget/deadline/abort guards.
+ */
+export async function withCompute(input, options) {
+    // Guard 1: strategy must be valid (runtime guard for JS callers).
+    if (!options || !isStrategyLike(options.strategy)) {
+        throw new InvalidStrategyError();
+    }
+    // Guard 2: budget zero → halt before any work.
+    if (options.budget?.maxCalls === 0) {
+        throw new BudgetExhaustedError();
+    }
+    // Guard 3: deadline already past.
+    if (typeof options.deadline === "number" && Date.now() >= options.deadline) {
+        throw new DeadlineExceededError();
+    }
+    // Guard 4: abort signal already triggered.
+    if (options.signal?.aborted) {
+        throw options.signal.reason ?? new DOMException("Aborted", "AbortError");
+    }
+    const ctx = options.signal ? { signal: options.signal } : {};
+    return options.strategy.run(input, options.generator, ctx);
+}
+//# sourceMappingURL=with-compute.js.map

package/dist/compute/with-compute.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"with-compute.js","sourceRoot":"","sources":["../../src/compute/with-compute.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC3B,IAAI,GAAG,sBAAsB,CAAC;IAChD,YAAY,OAAO,GAAG,sEAAsE;QAC1F,KAAK,CAAC,OAAO,CAAC,CAAC;IACjB,CAAC;CACF;AAED,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC3B,IAAI,GAAG,sBAAsB,CAAC;IAChD,YAAY,OAAO,GAAG,4CAA4C;QAChE,KAAK,CAAC,OAAO,CAAC,CAAC;IACjB,CAAC;CACF;AAED,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC5B,IAAI,GAAG,uBAAuB,CAAC;IACjD,YAAY,OAAO,GAAG,kDAAkD;QACtE,KAAK,CAAC,OAAO,CAAC,CAAC;IACjB,CAAC;CACF;AA0BD,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,SAAS,cAAc,CAAO,KAAc;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,CAAC,GAAG,KAA0C,CAAC;IACrD,OAAO,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,UAAU,CAAC;AACnE,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,KAAa,EACb,OAA4C;IAE5C,kEAAkE;IAClE,IAAI,CAAC,OAAO,IAAI,CAAC,cAAc,CAAkB,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,oBAAoB,EAAE,CAAC;IACnC,CAAC;IAED,+CAA+C;IAC/C,IAAI,OAAO,CAAC,MAAM,EAAE,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,oBAAoB,EAAE,CAAC;IACnC,CAAC;IAED,kCAAkC;IAClC,IAAI,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC3E,MAAM,IAAI,qBAAqB,EAAE,CAAC;IACpC,CAAC;IAED,2CAA2C;IAC3C,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;QAC5B,MAAM,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,GAAG,GAAmB,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7E,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;AAC7D,CAAC"}

package/dist/constitution/axioms.d.ts

@@ -0,0 +1,65 @@
+/**
+ * src/constitution/axioms.ts
+ *
+ * 5 built-in Vauban axioms operationalised as discrete signal extractors.
+ * Each axiom inspects a CycleSnapshot and returns a list of SignalPoints —
+ * observable evidence items, each carrying a weight and a human-readable
+ * evidence string.
+ *
+ * Axioms are intentionally deterministic and pure (no I/O).
+ * They are consumed by scorer.ts and gate.ts.
+ *
+ * @module constitution/axioms
+ */
+import type { AxiomId, CycleSnapshot, SignalPoint } from "./types.js";
+export interface Axiom {
+    readonly id: AxiomId;
+    readonly label: string;
+    /**
+     * Extract observable SignalPoints from a cycle.
+     * Returns an empty array when no signals can be determined.
+     */
+    detect(cycle: CycleSnapshot): SignalPoint[];
+}
+/**
+ * Institutionnel axiom — v2.
+ *
+ * Signal hierarchy (descending severity):
+ *   1. RSO veto flagged              → −1.0 (blocks approval)
+ *   2. Unredacted PII in step output → −0.8 (severe regulatory violation)
+ *   3. Explicit audit_trail_complete → +0.4 / absent → −0.3
+ *   4. rootHash present (≥64 chars)  → +0.25 / absent → −0.5
+ *   5. Regulatory scope declared     → +0.3 / absent → −0.1
+ *   6. PII redacted (detected PII)   → +0.3
+ *   7. No PII in payloads (clean)    → +0.2
+ *   8. Step chain non-empty          → +0.15 / empty → −0.2
+ *
+ * PII patterns detected: email, French NIR, FR IBAN, French phone.
+ */
+export declare const INSTITUTIONNEL: Axiom;
+/**
+ * SOTA axiom.
+ * Signals: model-version recency, hash primitive choices (Poseidon preferred,
+ * keccak ZK-unsafe), post-quantum indicators.
+ */
+export declare const SOTA: Axiom;
+/** Regex that detects leaked secrets in serialised output. */
+export declare const SECRET_PATTERN: RegExp;
+/**
+ * Robuste axiom.
+ * Signals: timeouts configured, explicit error paths, absence of debug artifacts,
+ * supply-chain SLSA hint, leaked secrets.
+ */
+export declare const ROBUSTE: Axiom;
+/**
+ * AntiFragile axiom.
+ * Signals: fallback exists, multi-source funding/data, idempotence.
+ */
+export declare const ANTI_FRAGILE: Axiom;
+/**
+ * Profitable axiom.
+ * Signals: budget respected, walk-away discipline (no budget overrun).
+ */
+export declare const PROFITABLE: Axiom;
+export declare const BUILT_IN_AXIOMS: ReadonlyArray<Axiom>;
+//# sourceMappingURL=axioms.d.ts.map

package/dist/constitution/axioms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"axioms.d.ts","sourceRoot":"","sources":["../../src/constitution/axioms.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAMtE,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,WAAW,EAAE,CAAC;CAC7C;AA4DD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,cAAc,EAAE,KAiI5B,CAAC;AAWF;;;;GAIG;AACH,eAAO,MAAM,IAAI,EAAE,KAoFlB,CAAC;AAMF,8DAA8D;AAC9D,eAAO,MAAM,cAAc,QAAwC,CAAC;AAEpE;;;;GAIG;AACH,eAAO,MAAM,OAAO,EAAE,KAwErB,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE,KAuD1B,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,KA0CxB,CAAC;AAMF,eAAO,MAAM,eAAe,EAAE,aAAa,CAAC,KAAK,CAMvC,CAAC"}

package/dist/constitution/axioms.js

@@ -0,0 +1,496 @@
+/**
+ * src/constitution/axioms.ts
+ *
+ * 5 built-in Vauban axioms operationalised as discrete signal extractors.
+ * Each axiom inspects a CycleSnapshot and returns a list of SignalPoints —
+ * observable evidence items, each carrying a weight and a human-readable
+ * evidence string.
+ *
+ * Axioms are intentionally deterministic and pure (no I/O).
+ * They are consumed by scorer.ts and gate.ts.
+ *
+ * @module constitution/axioms
+ */
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+/** Stringify an unknown value to a JSON-safe string for evidence. */
+function stringify(v) {
+    try {
+        return JSON.stringify(v);
+    }
+    catch {
+        return String(v);
+    }
+}
+/** Flatten all step outputs and storedInputs into strings for scanning. */
+function collectStepStrings(cycle) {
+    const acc = [];
+    for (const step of cycle.steps) {
+        if (step.output !== undefined)
+            acc.push(stringify(step.output));
+        if (step.storedInput !== undefined)
+            acc.push(stringify(step.storedInput));
+    }
+    return acc;
+}
+// ---------------------------------------------------------------------------
+// PII patterns for Institutionnel detector v2
+// ---------------------------------------------------------------------------
+/**
+ * French NIR (numéro de sécurité sociale) pattern.
+ * Format: [12]\d{2}(0[1-9]|1[0-2])\d{2}\d{3}\d{3}\d{2}
+ * Example: 1 85 12 75 108 111 45 → "185127510811145"
+ */
+const NIR_PATTERN = /\b[12]\d{2}(0[1-9]|1[0-2])\d{2}\d{3}\d{3}\d{2}\b/;
+/**
+ * IBAN pattern (FR-style: FR\d{2}\w{23}).
+ * Detects French IBANs — also catches most EU IBANs by prefix.
+ */
+const IBAN_PATTERN = /\bFR\d{2}[0-9A-Z]{23}\b/i;
+/**
+ * Email pattern (RFC-loose — catches standard addresses).
+ */
+const EMAIL_PATTERN = /\b[\w.+-]+@[\w.-]+\.[a-zA-Z]{2,}\b/;
+/**
+ * French phone number pattern (mobile + landline).
+ * Matches: 06/07/01-09 prefixes, with or without country code +33.
+ */
+const PHONE_FR_PATTERN = /(?:\+33|0033|0)[1-9](?:[.\- ]?\d{2}){4}/;
+// ---------------------------------------------------------------------------
+// Institutionnel — regulatory/credibility signals
+// ---------------------------------------------------------------------------
+/** Well-known regulatory scopes that signal explicit compliance alignment. */
+const KNOWN_REGULATORY_SCOPES = new Set(["eIDAS", "gdpr", "ai-act-art-14", "eidas"]);
+/**
+ * Institutionnel axiom — v2.
+ *
+ * Signal hierarchy (descending severity):
+ *   1. RSO veto flagged              → −1.0 (blocks approval)
+ *   2. Unredacted PII in step output → −0.8 (severe regulatory violation)
+ *   3. Explicit audit_trail_complete → +0.4 / absent → −0.3
+ *   4. rootHash present (≥64 chars)  → +0.25 / absent → −0.5
+ *   5. Regulatory scope declared     → +0.3 / absent → −0.1
+ *   6. PII redacted (detected PII)   → +0.3
+ *   7. No PII in payloads (clean)    → +0.2
+ *   8. Step chain non-empty          → +0.15 / empty → −0.2
+ *
+ * PII patterns detected: email, French NIR, FR IBAN, French phone.
+ */
+export const INSTITUTIONNEL = {
+    id: "Institutionnel",
+    label: "Institutionnel",
+    detect(cycle) {
+        const signals = [];
+        // --- Signal 1: RSO veto (strongest negative — vetoed cycles must not pass) ---
+        if (cycle.metadata?.rso_veto === true) {
+            signals.push({
+                label: "rso_veto_flagged",
+                weight: -1.0,
+                evidence: "cycle.metadata.rso_veto=true — RSO has vetoed this cycle",
+            });
+        }
+        // --- Signal 2: PII detection across all step payloads ---
+        const stepStrings = collectStepStrings(cycle);
+        /**
+         * Tests all v2 PII patterns against a string.
+         * Patterns: email, French NIR, FR IBAN, French phone.
+         */
+        const containsPii = (s) => EMAIL_PATTERN.test(s) ||
+            NIR_PATTERN.test(s) ||
+            IBAN_PATTERN.test(s) ||
+            PHONE_FR_PATTERN.test(s);
+        const hasPii = stepStrings.some(containsPii);
+        if (hasPii) {
+            if (cycle.metadata?.pii_redacted === true) {
+                signals.push({
+                    label: "pii_redacted",
+                    weight: 0.3,
+                    evidence: "PII pattern detected (email/NIR/IBAN/phone FR) but metadata.pii_redacted=true — compliant handling",
+                });
+            }
+            else {
+                // Unredacted PII: strong negative (GDPR Article 5 violation)
+                signals.push({
+                    label: "pii_unredacted",
+                    weight: -0.8,
+                    evidence: "PII pattern (email/NIR/IBAN/phone FR) found in step payload without pii_redacted=true — severe regulatory violation",
+                });
+            }
+        }
+        else {
+            signals.push({
+                label: "pii_clean",
+                weight: 0.2,
+                evidence: "No PII pattern (email/NIR/IBAN/phone FR) found in step payloads",
+            });
+        }
+        // --- Signal 3: audit_trail_complete metadata flag ---
+        // Explicit host-declared completeness outweighs rootHash alone.
+        if (cycle.metadata?.audit_trail_complete === true) {
+            signals.push({
+                label: "audit_trail_complete",
+                weight: 0.4,
+                evidence: "metadata.audit_trail_complete=true — host asserts full step coverage",
+            });
+        }
+        else if (cycle.metadata?.audit_trail_complete === false) {
+            signals.push({
+                label: "audit_trail_incomplete",
+                weight: -0.3,
+                evidence: "metadata.audit_trail_complete=false — host explicitly marks audit trail as incomplete",
+            });
+        }
+        // --- Signal 4: rootHash present (structural audit trail integrity) ---
+        if (cycle.rootHash && cycle.rootHash.length >= 64) {
+            signals.push({
+                label: "audit_trail_root_hash",
+                weight: 0.25,
+                evidence: `rootHash present (${cycle.rootHash.slice(0, 16)}…)`,
+            });
+        }
+        else {
+            signals.push({
+                label: "audit_trail_root_hash",
+                weight: -0.5,
+                evidence: "rootHash absent or too short — audit trail integrity not verifiable",
+            });
+        }
+        // --- Signal 5: regulatory_scope explicitly declared ---
+        const scope = cycle.metadata?.regulatory_scope;
+        if (typeof scope === "string" && scope.length > 0) {
+            const normalized = scope.toLowerCase();
+            if (KNOWN_REGULATORY_SCOPES.has(scope) || KNOWN_REGULATORY_SCOPES.has(normalized)) {
+                signals.push({
+                    label: "regulatory_scope_known",
+                    weight: 0.3,
+                    evidence: `metadata.regulatory_scope="${scope}" is a recognized regulatory framework`,
+                });
+            }
+            else {
+                signals.push({
+                    label: "regulatory_scope_declared",
+                    weight: 0.1,
+                    evidence: `metadata.regulatory_scope="${scope}" declared (unrecognized scope — partial credit)`,
+                });
+            }
+        }
+        else {
+            signals.push({
+                label: "regulatory_scope_missing",
+                weight: -0.1,
+                evidence: "No regulatory_scope declared — regulatory alignment unverifiable",
+            });
+        }
+        // --- Signal 6: step chain non-empty (completeness proxy) ---
+        if (cycle.steps.length > 0) {
+            signals.push({
+                label: "step_chain_populated",
+                weight: 0.15,
+                evidence: `${cycle.steps.length} step(s) recorded`,
+            });
+        }
+        else {
+            signals.push({
+                label: "step_chain_empty",
+                weight: -0.2,
+                evidence: "No steps recorded — audit trail is empty",
+            });
+        }
+        return signals;
+    },
+};
+// ---------------------------------------------------------------------------
+// SOTA — state-of-art signals
+// ---------------------------------------------------------------------------
+const KNOWN_STALE_MODELS = new Set(["gpt-3", "gpt-3.5", "claude-1", "claude-2"]);
+const PREFERRED_HASH_PRIMITIVES = new Set(["poseidon", "sha256", "sha-256"]);
+const WEAK_HASH_PRIMITIVES = new Set(["md5", "sha1", "sha-1"]);
+const ZK_UNSAFE_PRIMITIVES = new Set(["keccak256", "keccak-256"]);
+/**
+ * SOTA axiom.
+ * Signals: model-version recency, hash primitive choices (Poseidon preferred,
+ * keccak ZK-unsafe), post-quantum indicators.
+ */
+export const SOTA = {
+    id: "SOTA",
+    label: "SOTA",
+    detect(cycle) {
+        const signals = [];
+        // Signal 1: model recency from step.model fields
+        const stepModels = cycle.steps
+            .filter((s) => s.model !== undefined)
+            .map((s) => s.model?.name.toLowerCase() ?? "");
+        const metaModel = cycle.metadata?.model_name?.toLowerCase() ?? "";
+        const allModels = metaModel ? [...stepModels, metaModel] : stepModels;
+        if (allModels.length > 0) {
+            const isStale = (m) => [...KNOWN_STALE_MODELS].some((stale) => m.startsWith(stale));
+            const staleModels = allModels.filter(isStale);
+            if (staleModels.length > 0) {
+                signals.push({
+                    label: "stale_model_version",
+                    weight: -0.5,
+                    evidence: `${staleModels.length} step(s) use known-stale model(s): ${staleModels.join(", ")}`,
+                });
+            }
+            else {
+                signals.push({
+                    label: "model_recency_ok",
+                    weight: 0.2,
+                    evidence: `Models in use: ${[...new Set(allModels)].join(", ")} — none flagged as stale`,
+                });
+            }
+        }
+        // Signal 2: hash primitive quality
+        const primitive = cycle.metadata?.hash_primitive?.toLowerCase();
+        if (primitive) {
+            if (PREFERRED_HASH_PRIMITIVES.has(primitive)) {
+                signals.push({
+                    label: "hash_primitive_sota",
+                    weight: 0.3,
+                    evidence: `hash_primitive="${primitive}" is ZK-friendly and SOTA`,
+                });
+            }
+            else if (ZK_UNSAFE_PRIMITIVES.has(primitive)) {
+                signals.push({
+                    label: "hash_primitive_zk_unsafe",
+                    weight: -0.4,
+                    evidence: `hash_primitive="${primitive}" is not ZK-friendly (higher prover cost) — prefer Poseidon`,
+                });
+            }
+            else if (WEAK_HASH_PRIMITIVES.has(primitive)) {
+                signals.push({
+                    label: "hash_primitive_weak",
+                    weight: -0.8,
+                    evidence: `hash_primitive="${primitive}" is cryptographically weak`,
+                });
+            }
+            else {
+                signals.push({
+                    label: "hash_primitive_unknown",
+                    weight: 0,
+                    evidence: `hash_primitive="${primitive}" — no SOTA classification available`,
+                });
+            }
+        }
+        // Signal 3: SLSA supply-chain level
+        const slsa = cycle.metadata?.slsa_level;
+        if (typeof slsa === "number") {
+            if (slsa >= 3) {
+                signals.push({
+                    label: "slsa_level_adequate",
+                    weight: 0.25,
+                    evidence: `SLSA level ${slsa} ≥ 3 — supply chain meets SOTA threshold`,
+                });
+            }
+            else {
+                signals.push({
+                    label: "slsa_level_low",
+                    weight: -0.25,
+                    evidence: `SLSA level ${slsa} < 3 — below SOTA supply-chain threshold`,
+                });
+            }
+        }
+        return signals;
+    },
+};
+// ---------------------------------------------------------------------------
+// Robuste — engineering quality signals
+// ---------------------------------------------------------------------------
+/** Regex that detects leaked secrets in serialised output. */
+export const SECRET_PATTERN = /secret|api[_-]?key|password|token=/i;
+/**
+ * Robuste axiom.
+ * Signals: timeouts configured, explicit error paths, absence of debug artifacts,
+ * supply-chain SLSA hint, leaked secrets.
+ */
+export const ROBUSTE = {
+    id: "Robuste",
+    label: "Robuste",
+    detect(cycle) {
+        const signals = [];
+        // Signal 1: timeouts configured
+        if (cycle.metadata?.timeouts_configured === true) {
+            signals.push({
+                label: "timeouts_configured",
+                weight: 0.3,
+                evidence: "metadata.timeouts_configured=true",
+            });
+        }
+        else if (cycle.metadata?.timeouts_configured === false) {
+            signals.push({
+                label: "timeouts_missing",
+                weight: -0.5,
+                evidence: "metadata.timeouts_configured=false — external calls lack timeouts",
+            });
+        }
+        // Signal 2: error paths explicit
+        if (cycle.metadata?.error_paths_explicit === true) {
+            signals.push({
+                label: "error_paths_explicit",
+                weight: 0.25,
+                evidence: "metadata.error_paths_explicit=true",
+            });
+        }
+        else if (cycle.metadata?.error_paths_explicit === false) {
+            signals.push({
+                label: "error_paths_missing",
+                weight: -0.4,
+                evidence: "metadata.error_paths_explicit=false — silent failure risk",
+            });
+        }
+        // Signal 3: no leaked secrets in step outputs
+        const stepStrings = collectStepStrings(cycle);
+        const secretLeak = stepStrings.some((s) => SECRET_PATTERN.test(s));
+        if (secretLeak) {
+            signals.push({
+                label: "secret_leaked_in_output",
+                weight: -1.0,
+                evidence: "Step output matches secret/api_key/password/token= pattern — potential secret leak",
+            });
+        }
+        else {
+            signals.push({
+                label: "no_secret_leak",
+                weight: 0.2,
+                evidence: "No secret-like patterns detected in step outputs",
+            });
+        }
+        // Signal 4: scope id declared (discipline signal)
+        if (cycle.scope_id) {
+            signals.push({
+                label: "scope_id_declared",
+                weight: 0.15,
+                evidence: `scope_id="${cycle.scope_id}" declared`,
+            });
+        }
+        else {
+            signals.push({
+                label: "scope_id_missing",
+                weight: -0.1,
+                evidence: "No scope_id — scope boundary undeclared",
+            });
+        }
+        return signals;
+    },
+};
+// ---------------------------------------------------------------------------
+// AntiFragile — resilience signals
+// ---------------------------------------------------------------------------
+/**
+ * AntiFragile axiom.
+ * Signals: fallback exists, multi-source funding/data, idempotence.
+ */
+export const ANTI_FRAGILE = {
+    id: "AntiFragile",
+    label: "AntiFragile",
+    detect(cycle) {
+        const signals = [];
+        // Signal 1: fallback path exists
+        if (cycle.metadata?.has_fallback === true) {
+            signals.push({
+                label: "fallback_exists",
+                weight: 0.4,
+                evidence: "metadata.has_fallback=true",
+            });
+        }
+        else if (cycle.metadata?.has_fallback === false) {
+            signals.push({
+                label: "no_fallback",
+                weight: -0.4,
+                evidence: "metadata.has_fallback=false — single point of failure",
+            });
+        }
+        // Signal 2: multi-source
+        const sourcesCount = cycle.metadata?.source_count ?? 0;
+        if (sourcesCount >= 2) {
+            signals.push({
+                label: "multi_source",
+                weight: 0.3,
+                evidence: `metadata.source_count=${sourcesCount} — multi-source redundancy present`,
+            });
+        }
+        else if (sourcesCount === 1) {
+            signals.push({
+                label: "single_source",
+                weight: -0.2,
+                evidence: "metadata.source_count=1 — single data/funding source",
+            });
+        }
+        // Signal 3: idempotent operation
+        if (cycle.metadata?.is_idempotent === true) {
+            signals.push({
+                label: "idempotent",
+                weight: 0.3,
+                evidence: "metadata.is_idempotent=true — side-effects are recoverable",
+            });
+        }
+        else if (cycle.metadata?.is_idempotent === false) {
+            signals.push({
+                label: "non_idempotent",
+                weight: -0.3,
+                evidence: "metadata.is_idempotent=false — non-idempotent operations increase fragility",
+            });
+        }
+        return signals;
+    },
+};
+// ---------------------------------------------------------------------------
+// Profitable — cost discipline signals
+// ---------------------------------------------------------------------------
+/**
+ * Profitable axiom.
+ * Signals: budget respected, walk-away discipline (no budget overrun).
+ */
+export const PROFITABLE = {
+    id: "Profitable",
+    label: "Profitable",
+    detect(cycle) {
+        const signals = [];
+        // Signal 1: budget respected
+        const overrun = cycle.budgetUsdSpent - cycle.budgetUsdMax;
+        if (overrun > 0) {
+            signals.push({
+                label: "budget_overrun",
+                weight: -0.8,
+                evidence: `budgetUsdSpent=${cycle.budgetUsdSpent.toFixed(4)} > budgetUsdMax=${cycle.budgetUsdMax.toFixed(4)} — overrun by $${overrun.toFixed(4)}`,
+            });
+        }
+        else {
+            const utilisation = cycle.budgetUsdMax > 0 ? cycle.budgetUsdSpent / cycle.budgetUsdMax : 0;
+            signals.push({
+                label: "budget_respected",
+                weight: 0.4,
+                evidence: `budget utilisation ${(utilisation * 100).toFixed(1)}% — within bounds`,
+            });
+        }
+        // Signal 2: zero-cost guard (no LLM cost means no work done — suspicious)
+        const totalCost = cycle.steps.reduce((acc, s) => acc + (s.costUsd ?? 0), 0);
+        if (totalCost === 0 && cycle.steps.length > 0) {
+            signals.push({
+                label: "zero_cost_cycle",
+                weight: -0.1,
+                evidence: "Total costUsd=0 across all steps — cost tracking may be missing",
+            });
+        }
+        else if (totalCost > 0) {
+            signals.push({
+                label: "cost_tracked",
+                weight: 0.1,
+                evidence: `Total costUsd=${totalCost.toFixed(6)} — cost tracking active`,
+            });
+        }
+        return signals;
+    },
+};
+// ---------------------------------------------------------------------------
+// Built-in axiom registry
+// ---------------------------------------------------------------------------
+export const BUILT_IN_AXIOMS = [
+    INSTITUTIONNEL,
+    SOTA,
+    ROBUSTE,
+    ANTI_FRAGILE,
+    PROFITABLE,
+];
+//# sourceMappingURL=axioms.js.map

package/dist/constitution/axioms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"axioms.js","sourceRoot":"","sources":["../../src/constitution/axioms.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAkBH,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,qEAAqE;AACrE,SAAS,SAAS,CAAC,CAAU;IAC3B,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,kBAAkB,CAAC,KAAoB;IAC9C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAChE,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,8CAA8C;AAC9C,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,WAAW,GAAG,kDAAkD,CAAC;AAEvE;;;GAGG;AACH,MAAM,YAAY,GAAG,0BAA0B,CAAC;AAEhD;;GAEG;AACH,MAAM,aAAa,GAAG,oCAAoC,CAAC;AAE3D;;;GAGG;AACH,MAAM,gBAAgB,GAAG,yCAAyC,CAAC;AAEnE,8EAA8E;AAC9E,kDAAkD;AAClD,8EAA8E;AAE9E,8EAA8E;AAC9E,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC,CAAC;AAErF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,cAAc,GAAU;IACnC,EAAE,EAAE,gBAAgB;IACpB,KAAK,EAAE,gBAAgB;IAEvB,MAAM,CAAC,KAAoB;QACzB,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,gFAAgF;QAChF,IAAI,KAAK,CAAC,QAAQ,EAAE,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtC,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,kBAAkB;gBACzB,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,0DAA0D;aACrE,CAAC,CAAC;QACL,CAAC;QAED,2DAA2D;QAC3D,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAE9C;;;WAGG;QACH,MAAM,WAAW,GAAG,CAAC,CAAS,EAAW,EAAE,CACzC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YACnB,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;YACpB,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE3B,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,KAAK,CAAC,QAAQ,EAAE,YAAY,KAAK,IAAI,EAAE,CAAC;gBAC1C,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,cAAc;oBACrB,MAAM,EAAE,GAAG;oBACX,QAAQ,EACN,oGAAoG;iBACvG,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,6DAA6D;gBAC7D,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,gBAAgB;oBACvB,MAAM,EAAE,CAAC,GAAG;oBACZ,QAAQ,EACN,qHAAqH;iBACxH,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,GAAG;gBACX,QAAQ,EAAE,iEAAiE;aAC5E,CAAC,CAAC;QACL,CAAC;QAED,uDAAuD;QACvD,gEAAgE;QAChE,IAAI,KAAK,CAAC,QAAQ,EAAE,oBAAoB,KAAK,IAAI,EAAE,CAAC;YAClD,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,sBAAsB;gBAC7B,MAAM,EAAE,GAAG;gBACX,QAAQ,EAAE,sEAAsE;aACjF,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,oBAAoB,KAAK,KAAK,EAAE,CAAC;YAC1D,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,wBAAwB;gBAC/B,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EACN,uFAAuF;aAC1F,CAAC,CAAC;QACL,CAAC;QAED,wEAAwE;QACxE,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YAClD,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,uBAAuB;gBAC9B,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,qBAAqB,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI;aAC/D,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,uBAAuB;gBAC9B,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,qEAAqE;aAChF,CAAC,CAAC;QACL,CAAC;QAED,yDAAyD;QACzD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;YACvC,IAAI,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClF,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,wBAAwB;oBAC/B,MAAM,EAAE,GAAG;oBACX,QAAQ,EAAE,8BAA8B,KAAK,wCAAwC;iBACtF,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,2BAA2B;oBAClC,MAAM,EAAE,GAAG;oBACX,QAAQ,EAAE,8BAA8B,KAAK,kDAAkD;iBAChG,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,0BAA0B;gBACjC,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,kEAAkE;aAC7E,CAAC,CAAC;QACL,CAAC;QAED,8DAA8D;QAC9D,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,sBAAsB;gBAC7B,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,mBAAmB;aACnD,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,kBAAkB;gBACzB,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,0CAA0C;aACrD,CAAC,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,8EAA8E;AAC9E,8BAA8B;AAC9B,8EAA8E;AAE9E,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AACjF,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAC7E,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAC/D,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC;AAElE;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAU;IACzB,EAAE,EAAE,MAAM;IACV,KAAK,EAAE,MAAM;IAEb,MAAM,CAAC,KAAoB;QACzB,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,iDAAiD;QACjD,MAAM,UAAU,GAAa,KAAK,CAAC,KAAK;aACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC;aACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QAEjD,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAElE,MAAM,SAAS,GAAa,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;QAEhF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5F,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,qBAAqB;oBAC5B,MAAM,EAAE,CAAC,GAAG;oBACZ,QAAQ,EAAE,GAAG,WAAW,CAAC,MAAM,sCAAsC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBAC9F,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,kBAAkB;oBACzB,MAAM,EAAE,GAAG;oBACX,QAAQ,EAAE,kBAAkB,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B;iBACzF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,mCAAmC;QACnC,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;QAChE,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,yBAAyB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7C,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,qBAAqB;oBAC5B,MAAM,EAAE,GAAG;oBACX,QAAQ,EAAE,mBAAmB,SAAS,2BAA2B;iBAClE,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC/C,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,0BAA0B;oBACjC,MAAM,EAAE,CAAC,GAAG;oBACZ,QAAQ,EAAE,mBAAmB,SAAS,6DAA6D;iBACpG,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC/C,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,qBAAqB;oBAC5B,MAAM,EAAE,CAAC,GAAG;oBACZ,QAAQ,EAAE,mBAAmB,SAAS,6BAA6B;iBACpE,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,wBAAwB;oBAC/B,MAAM,EAAE,CAAC;oBACT,QAAQ,EAAE,mBAAmB,SAAS,sCAAsC;iBAC7E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,oCAAoC;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC;QACxC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;gBACd,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,qBAAqB;oBAC5B,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE,cAAc,IAAI,0CAA0C;iBACvE,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,gBAAgB;oBACvB,MAAM,EAAE,CAAC,IAAI;oBACb,QAAQ,EAAE,cAAc,IAAI,0CAA0C;iBACvE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E;AAE9E,8DAA8D;AAC9D,MAAM,CAAC,MAAM,cAAc,GAAG,qCAAqC,CAAC;AAEpE;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAU;IAC5B,EAAE,EAAE,SAAS;IACb,KAAK,EAAE,SAAS;IAEhB,MAAM,CAAC,KAAoB;QACzB,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,gCAAgC;QAChC,IAAI,KAAK,CAAC,QAAQ,EAAE,mBAAmB,KAAK,IAAI,EAAE,CAAC;YACjD,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,qBAAqB;gBAC5B,MAAM,EAAE,GAAG;gBACX,QAAQ,EAAE,mCAAmC;aAC9C,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,mBAAmB,KAAK,KAAK,EAAE,CAAC;YACzD,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,kBAAkB;gBACzB,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,mEAAmE;aAC9E,CAAC,CAAC;QACL,CAAC;QAED,iCAAiC;QACjC,IAAI,KAAK,CAAC,QAAQ,EAAE,oBAAoB,KAAK,IAAI,EAAE,CAAC;YAClD,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,sBAAsB;gBAC7B,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,oCAAoC;aAC/C,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,oBAAoB,KAAK,KAAK,EAAE,CAAC;YAC1D,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,qBAAqB;gBAC5B,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,2DAA2D;aACtE,CAAC,CAAC;QACL,CAAC;QAED,8CAA8C;QAC9C,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,yBAAyB;gBAChC,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EACN,oFAAoF;aACvF,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,gBAAgB;gBACvB,MAAM,EAAE,GAAG;gBACX,QAAQ,EAAE,kDAAkD;aAC7D,CAAC,CAAC;QACL,CAAC;QAED,kDAAkD;QAClD,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnB,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,mBAAmB;gBAC1B,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,aAAa,KAAK,CAAC,QAAQ,YAAY;aAClD,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,kBAAkB;gBACzB,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,yCAAyC;aACpD,CAAC,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,8EAA8E;AAC9E,mCAAmC;AACnC,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAU;IACjC,EAAE,EAAE,aAAa;IACjB,KAAK,EAAE,aAAa;IAEpB,MAAM,CAAC,KAAoB;QACzB,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,iCAAiC;QACjC,IAAI,KAAK,CAAC,QAAQ,EAAE,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,iBAAiB;gBACxB,MAAM,EAAE,GAAG;gBACX,QAAQ,EAAE,4BAA4B;aACvC,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,YAAY,KAAK,KAAK,EAAE,CAAC;YAClD,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,aAAa;gBACpB,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,uDAAuD;aAClE,CAAC,CAAC;QACL,CAAC;QAED,yBAAyB;QACzB,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,EAAE,YAAY,IAAI,CAAC,CAAC;QACvD,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,cAAc;gBACrB,MAAM,EAAE,GAAG;gBACX,QAAQ,EAAE,yBAAyB,YAAY,oCAAoC;aACpF,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,eAAe;gBACtB,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,sDAAsD;aACjE,CAAC,CAAC;QACL,CAAC;QAED,iCAAiC;QACjC,IAAI,KAAK,CAAC,QAAQ,EAAE,aAAa,KAAK,IAAI,EAAE,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,GAAG;gBACX,QAAQ,EAAE,4DAA4D;aACvE,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,aAAa,KAAK,KAAK,EAAE,CAAC;YACnD,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,gBAAgB;gBACvB,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,6EAA6E;aACxF,CAAC,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,8EAA8E;AAC9E,uCAAuC;AACvC,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAU;IAC/B,EAAE,EAAE,YAAY;IAChB,KAAK,EAAE,YAAY;IAEnB,MAAM,CAAC,KAAoB;QACzB,MAAM,OAAO,GAAkB,EAAE,CAAC;QAElC,6BAA6B;QAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,cAAc,GAAG,KAAK,CAAC,YAAY,CAAC;QAC1D,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,gBAAgB;gBACvB,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,kBAAkB,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;aAClJ,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,WAAW,GAAG,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3F,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,kBAAkB;gBACzB,MAAM,EAAE,GAAG;gBACX,QAAQ,EAAE,sBAAsB,CAAC,WAAW,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB;aAClF,CAAC,CAAC;QACL,CAAC;QAED,0EAA0E;QAC1E,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5E,IAAI,SAAS,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,iBAAiB;gBACxB,MAAM,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,iEAAiE;aAC5E,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,cAAc;gBACrB,MAAM,EAAE,GAAG;gBACX,QAAQ,EAAE,iBAAiB,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,yBAAyB;aACzE,CAAC,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAyB;IACnD,cAAc;IACd,IAAI;IACJ,OAAO;IACP,YAAY;IACZ,UAAU;CACF,CAAC"}