@vauban-org/agent-sdk 0.16.0

package/dist/constitution/gate.d.ts

@@ -0,0 +1,47 @@
+/**
+ * src/constitution/gate.ts
+ *
+ * HardGate — constitutional hard-stop rules evaluated before cycle execution.
+ * Each rule is explicit, isolated, and maps to a single axiom.
+ *
+ * Rules are evaluated deterministically and synchronously.
+ * Any `block` violation causes `pass: false` in the result.
+ *
+ * @module constitution/gate
+ */
+import type { CycleSnapshot, GateViolation } from "./types.js";
+export interface ParentCycleContext {
+    /** Maximum budget the parent was authorised to spend (in USD). */
+    budgetUsdMax: number;
+    /** Scope IDs the child is allowed to operate in. */
+    allowed_scope_ids?: string[];
+}
+export interface GateResult {
+    /** True only when zero violations are detected. */
+    pass: boolean;
+    /** All detected violations (may be empty). */
+    violations: GateViolation[];
+}
+/**
+ * HardGate evaluates a fixed set of hard-stop rules against a CycleSnapshot.
+ *
+ * Rules (in evaluation order):
+ *   1. Child budget > parent budget              → Profitable / block
+ *   2. Secret in step output                     → Robuste / block
+ *   3. Scope dépassé (scope_id ∉ allowed)        → Robuste / block
+ *   4. PII without redacted flag                 → Institutionnel / block
+ *   5. RSO veto                                  → Institutionnel / block
+ */
+export declare class HardGate {
+    /**
+     * Evaluate all hard-gate rules against the cycle.
+     *
+     * @param cycle   - The cycle to evaluate (validated via Zod before checks).
+     * @param parent  - Optional parent context for budget + scope checks.
+     * @returns GateResult with pass flag and list of violations.
+     */
+    evaluate(cycle: CycleSnapshot, parent?: ParentCycleContext): GateResult;
+}
+/** Default singleton HardGate instance. */
+export declare const hardGate: HardGate;
+//# sourceMappingURL=gate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../src/constitution/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAO/D,MAAM,WAAW,kBAAkB;IACjC,kEAAkE;IAClE,YAAY,EAAE,MAAM,CAAC;IACrB,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC9B;AAMD,MAAM,WAAW,UAAU;IACzB,mDAAmD;IACnD,IAAI,EAAE,OAAO,CAAC;IACd,8CAA8C;IAC9C,UAAU,EAAE,aAAa,EAAE,CAAC;CAC7B;AAMD;;;;;;;;;GASG;AACH,qBAAa,QAAQ;IACnB;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,kBAAkB,GAAG,UAAU;CAkGxE;AAMD,2CAA2C;AAC3C,eAAO,MAAM,QAAQ,UAAiB,CAAC"}

package/dist/constitution/gate.js

@@ -0,0 +1,143 @@
+/**
+ * src/constitution/gate.ts
+ *
+ * HardGate — constitutional hard-stop rules evaluated before cycle execution.
+ * Each rule is explicit, isolated, and maps to a single axiom.
+ *
+ * Rules are evaluated deterministically and synchronously.
+ * Any `block` violation causes `pass: false` in the result.
+ *
+ * @module constitution/gate
+ */
+import { SECRET_PATTERN } from "./axioms.js";
+import { cycleSnapshotSchema } from "./types.js";
+// ---------------------------------------------------------------------------
+// HardGate
+// ---------------------------------------------------------------------------
+/**
+ * HardGate evaluates a fixed set of hard-stop rules against a CycleSnapshot.
+ *
+ * Rules (in evaluation order):
+ *   1. Child budget > parent budget              → Profitable / block
+ *   2. Secret in step output                     → Robuste / block
+ *   3. Scope dépassé (scope_id ∉ allowed)        → Robuste / block
+ *   4. PII without redacted flag                 → Institutionnel / block
+ *   5. RSO veto                                  → Institutionnel / block
+ */
+export class HardGate {
+    /**
+     * Evaluate all hard-gate rules against the cycle.
+     *
+     * @param cycle   - The cycle to evaluate (validated via Zod before checks).
+     * @param parent  - Optional parent context for budget + scope checks.
+     * @returns GateResult with pass flag and list of violations.
+     */
+    evaluate(cycle, parent) {
+        // Validate input schema before running any rule
+        const parsed = cycleSnapshotSchema.safeParse(cycle);
+        if (!parsed.success) {
+            return {
+                pass: false,
+                violations: [
+                    {
+                        axiom: "Robuste",
+                        severity: "block",
+                        rule: "schema_validation",
+                        rationale: `CycleSnapshot failed schema validation: ${parsed.error.message}`,
+                    },
+                ],
+            };
+        }
+        const violations = [];
+        // Rule 1 — Child budget > parent budget
+        if (parent !== undefined && cycle.budgetUsdMax > parent.budgetUsdMax) {
+            violations.push({
+                axiom: "Profitable",
+                severity: "block",
+                rule: "child_budget_exceeds_parent",
+                rationale: `Child cycle budgetUsdMax=$${cycle.budgetUsdMax.toFixed(4)} exceeds parent budgetUsdMax=$${parent.budgetUsdMax.toFixed(4)} — walk-away discipline violated`,
+            });
+        }
+        // Rule 2 — Secret in step output
+        for (const step of cycle.steps) {
+            const outputStr = safeStringify(step.output);
+            if (outputStr && SECRET_PATTERN.test(outputStr)) {
+                violations.push({
+                    axiom: "Robuste",
+                    severity: "block",
+                    rule: "secret_in_step_output",
+                    rationale: `Step index=${step.index} output matches secret/api_key/password/token= pattern — potential secret leak`,
+                });
+                break; // One violation sufficient — avoid duplicate entries per step
+            }
+        }
+        // Rule 3 — Scope dépassé
+        if (parent !== undefined &&
+            cycle.scope_id !== undefined &&
+            parent.allowed_scope_ids !== undefined &&
+            parent.allowed_scope_ids.length > 0 &&
+            !parent.allowed_scope_ids.includes(cycle.scope_id)) {
+            violations.push({
+                axiom: "Robuste",
+                severity: "block",
+                rule: "scope_exceeded",
+                rationale: `cycle.scope_id="${cycle.scope_id}" is not in parent.allowed_scope_ids=[${parent.allowed_scope_ids.join(", ")}]`,
+            });
+        }
+        // Rule 4 — PII without redacted flag in cross-agent payload
+        const piiPattern = /\b[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\.[A-Za-z]{2,}\b|\b\+?[0-9]{7,15}\b/;
+        if (cycle.metadata?.pii_redacted !== true) {
+            for (const step of cycle.steps) {
+                const payloads = [safeStringify(step.output), safeStringify(step.storedInput)].filter(Boolean);
+                for (const payload of payloads) {
+                    if (payload && piiPattern.test(payload)) {
+                        violations.push({
+                            axiom: "Institutionnel",
+                            severity: "block",
+                            rule: "pii_in_payload_without_redaction",
+                            rationale: `PII pattern (email or phone) detected in step index=${step.index} payload without metadata.pii_redacted=true — eIDAS/RGPD compliance risk`,
+                        });
+                        break;
+                    }
+                }
+                // Stop after first step-level PII violation to avoid duplicates
+                if (violations.some((v) => v.rule === "pii_in_payload_without_redaction"))
+                    break;
+            }
+        }
+        // Rule 5 — RSO veto
+        if (cycle.metadata?.rso_veto === true) {
+            violations.push({
+                axiom: "Institutionnel",
+                severity: "block",
+                rule: "rso_veto",
+                rationale: "cycle.metadata.rso_veto=true — Responsible Scaling Officer has vetoed this cycle",
+            });
+        }
+        return {
+            pass: violations.length === 0,
+            violations,
+        };
+    }
+}
+// ---------------------------------------------------------------------------
+// Module-level singleton for convenience
+// ---------------------------------------------------------------------------
+/** Default singleton HardGate instance. */
+export const hardGate = new HardGate();
+// ---------------------------------------------------------------------------
+// Internal helpers
+// ---------------------------------------------------------------------------
+function safeStringify(v) {
+    if (v === undefined || v === null)
+        return undefined;
+    if (typeof v === "string")
+        return v;
+    try {
+        return JSON.stringify(v);
+    }
+    catch {
+        return String(v);
+    }
+}
+//# sourceMappingURL=gate.js.map

package/dist/constitution/gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../src/constitution/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAwBjD,8EAA8E;AAC9E,WAAW;AACX,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,OAAO,QAAQ;IACnB;;;;;;OAMG;IACH,QAAQ,CAAC,KAAoB,EAAE,MAA2B;QACxD,gDAAgD;QAChD,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,UAAU,EAAE;oBACV;wBACE,KAAK,EAAE,SAAS;wBAChB,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,mBAAmB;wBACzB,SAAS,EAAE,2CAA2C,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;qBAC7E;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,UAAU,GAAoB,EAAE,CAAC;QAEvC,wCAAwC;QACxC,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,YAAY,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;YACrE,UAAU,CAAC,IAAI,CAAC;gBACd,KAAK,EAAE,YAAY;gBACnB,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,6BAA6B;gBACnC,SAAS,EAAE,6BAA6B,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,iCAAiC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,kCAAkC;aACvK,CAAC,CAAC;QACL,CAAC;QAED,iCAAiC;QACjC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7C,IAAI,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBAChD,UAAU,CAAC,IAAI,CAAC;oBACd,KAAK,EAAE,SAAS;oBAChB,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,uBAAuB;oBAC7B,SAAS,EAAE,cAAc,IAAI,CAAC,KAAK,gFAAgF;iBACpH,CAAC,CAAC;gBACH,MAAM,CAAC,8DAA8D;YACvE,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,IACE,MAAM,KAAK,SAAS;YACpB,KAAK,CAAC,QAAQ,KAAK,SAAS;YAC5B,MAAM,CAAC,iBAAiB,KAAK,SAAS;YACtC,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;YACnC,CAAC,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,EAClD,CAAC;YACD,UAAU,CAAC,IAAI,CAAC;gBACd,KAAK,EAAE,SAAS;gBAChB,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,gBAAgB;gBACtB,SAAS,EAAE,mBAAmB,KAAK,CAAC,QAAQ,yCAAyC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aAC5H,CAAC,CAAC;QACL,CAAC;QAED,4DAA4D;QAC5D,MAAM,UAAU,GAAG,uEAAuE,CAAC;QAC3F,IAAI,KAAK,CAAC,QAAQ,EAAE,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CACnF,OAAO,CACR,CAAC;gBACF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;oBAC/B,IAAI,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;wBACxC,UAAU,CAAC,IAAI,CAAC;4BACd,KAAK,EAAE,gBAAgB;4BACvB,QAAQ,EAAE,OAAO;4BACjB,IAAI,EAAE,kCAAkC;4BACxC,SAAS,EAAE,uDAAuD,IAAI,CAAC,KAAK,0EAA0E;yBACvJ,CAAC,CAAC;wBACH,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,gEAAgE;gBAChE,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kCAAkC,CAAC;oBAAE,MAAM;YACnF,CAAC;QACH,CAAC;QAED,oBAAoB;QACpB,IAAI,KAAK,CAAC,QAAQ,EAAE,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtC,UAAU,CAAC,IAAI,CAAC;gBACd,KAAK,EAAE,gBAAgB;gBACvB,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,UAAU;gBAChB,SAAS,EACP,kFAAkF;aACrF,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,IAAI,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;YAC7B,UAAU;SACX,CAAC;IACJ,CAAC;CACF;AAED,8EAA8E;AAC9E,yCAAyC;AACzC,8EAA8E;AAE9E,2CAA2C;AAC3C,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,QAAQ,EAAE,CAAC;AAEvC,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,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"}

package/dist/constitution/index.d.ts

@@ -0,0 +1,20 @@
+/**
+ * src/constitution/index.ts
+ *
+ * Barrel export for the constitution module.
+ * Provides 5-axiom signal detection, constitutional scoring, hard-gate rules,
+ * and Brain episodic signal publishing.
+ *
+ * @module constitution
+ */
+export type { AxiomId, GateSeverity, GateViolation, SignalPoint, CycleStep, CycleMetadata, CycleSnapshot, } from "./types.js";
+export { cycleSnapshotSchema } from "./types.js";
+export type { Axiom } from "./axioms.js";
+export { INSTITUTIONNEL, SOTA, ROBUSTE, ANTI_FRAGILE, PROFITABLE, BUILT_IN_AXIOMS, SECRET_PATTERN, } from "./axioms.js";
+export type { ScoringResult, ScoringFunction, RegisteredScorer } from "./scorer.js";
+export { institutionnelScorer, sotaScorer, robusteScorer, antiFragileScorer, profitableScorer, ScorerRegistry, defaultScorerRegistry, } from "./scorer.js";
+export type { ParentCycleContext, GateResult } from "./gate.js";
+export { HardGate, hardGate } from "./gate.js";
+export type { SignalBrainPort, AxiomScoreEntry } from "./signal.js";
+export { publishSignal, publishAllSignals } from "./signal.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/constitution/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,YAAY,EACV,OAAO,EACP,YAAY,EACZ,aAAa,EACb,WAAW,EACX,SAAS,EACT,aAAa,EACb,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGjD,YAAY,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,cAAc,EACd,IAAI,EACJ,OAAO,EACP,YAAY,EACZ,UAAU,EACV,eAAe,EACf,cAAc,GACf,MAAM,aAAa,CAAC;AAGrB,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpF,OAAO,EACL,oBAAoB,EACpB,UAAU,EACV,aAAa,EACb,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,qBAAqB,GACtB,MAAM,aAAa,CAAC;AAGrB,YAAY,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAG/C,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC"}

package/dist/constitution/index.js

@@ -0,0 +1,15 @@
+/**
+ * src/constitution/index.ts
+ *
+ * Barrel export for the constitution module.
+ * Provides 5-axiom signal detection, constitutional scoring, hard-gate rules,
+ * and Brain episodic signal publishing.
+ *
+ * @module constitution
+ */
+export { cycleSnapshotSchema } from "./types.js";
+export { INSTITUTIONNEL, SOTA, ROBUSTE, ANTI_FRAGILE, PROFITABLE, BUILT_IN_AXIOMS, SECRET_PATTERN, } from "./axioms.js";
+export { institutionnelScorer, sotaScorer, robusteScorer, antiFragileScorer, profitableScorer, ScorerRegistry, defaultScorerRegistry, } from "./scorer.js";
+export { HardGate, hardGate } from "./gate.js";
+export { publishSignal, publishAllSignals } from "./signal.js";
+//# sourceMappingURL=index.js.map

package/dist/constitution/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/constitution/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAYH,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAIjD,OAAO,EACL,cAAc,EACd,IAAI,EACJ,OAAO,EACP,YAAY,EACZ,UAAU,EACV,eAAe,EACf,cAAc,GACf,MAAM,aAAa,CAAC;AAIrB,OAAO,EACL,oBAAoB,EACpB,UAAU,EACV,aAAa,EACb,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,qBAAqB,GACtB,MAAM,aAAa,CAAC;AAIrB,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAI/C,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC"}

package/dist/constitution/scorer.d.ts

@@ -0,0 +1,67 @@
+/**
+ * src/constitution/scorer.ts
+ *
+ * Constitutional scoring — one ScoringFunction per axiom.
+ * Each scorer aggregates SignalPoints from its axiom and normalises to [0, 1].
+ *
+ * Custom scorers can be registered via the ScorerRegistry.
+ *
+ * @module constitution/scorer
+ */
+import type { AxiomId, CycleSnapshot, SignalPoint } from "./types.js";
+export interface ScoringResult {
+    /** Normalised score in [0, 1]. */
+    score: number;
+    /** Human-readable rationale for audit. */
+    rationale: string;
+    /** The raw signal points used to produce this score. */
+    signals: SignalPoint[];
+}
+/**
+ * A function that takes a CycleSnapshot and returns a scored result.
+ * May be async to allow future LLM-graded scorers.
+ */
+export type ScoringFunction = (cycle: CycleSnapshot) => Promise<ScoringResult>;
+/** Scorer for the Institutionnel axiom. */
+export declare const institutionnelScorer: ScoringFunction;
+/** Scorer for the SOTA axiom. */
+export declare const sotaScorer: ScoringFunction;
+/** Scorer for the Robuste axiom. */
+export declare const robusteScorer: ScoringFunction;
+/** Scorer for the AntiFragile axiom. */
+export declare const antiFragileScorer: ScoringFunction;
+/** Scorer for the Profitable axiom. */
+export declare const profitableScorer: ScoringFunction;
+export interface RegisteredScorer {
+    axiomId: AxiomId | string;
+    scorer: ScoringFunction;
+}
+/**
+ * ScorerRegistry — holds built-in and custom scorers.
+ *
+ * Built-in scorers are pre-registered for all 5 axioms.
+ * Custom scorers can override or extend the registry.
+ */
+export declare class ScorerRegistry {
+    private readonly scorers;
+    constructor();
+    /**
+     * Register (or replace) a scorer for the given axiomId.
+     */
+    register(axiomId: AxiomId | string, scorer: ScoringFunction): void;
+    /**
+     * Retrieve a scorer by axiomId. Returns undefined if not registered.
+     */
+    get(axiomId: AxiomId | string): ScoringFunction | undefined;
+    /**
+     * Score a cycle against all registered scorers in parallel.
+     */
+    scoreAll(cycle: CycleSnapshot): Promise<Map<string, ScoringResult>>;
+    /**
+     * List all registered axiom IDs.
+     */
+    list(): string[];
+}
+/** Singleton default registry pre-loaded with all 5 built-in scorers. */
+export declare const defaultScorerRegistry: ScorerRegistry;
+//# sourceMappingURL=scorer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scorer.d.ts","sourceRoot":"","sources":["../../src/constitution/scorer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAWH,OAAO,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAMtE,MAAM,WAAW,aAAa;IAC5B,kCAAkC;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,0CAA0C;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,OAAO,EAAE,WAAW,EAAE,CAAC;CACxB;AAED;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,aAAa,KAAK,OAAO,CAAC,aAAa,CAAC,CAAC;AAqD/E,2CAA2C;AAC3C,eAAO,MAAM,oBAAoB,EAAE,eAA6C,CAAC;AAEjF,iCAAiC;AACjC,eAAO,MAAM,UAAU,EAAE,eAAmC,CAAC;AAE7D,oCAAoC;AACpC,eAAO,MAAM,aAAa,EAAE,eAAsC,CAAC;AAEnE,wCAAwC;AACxC,eAAO,MAAM,iBAAiB,EAAE,eAA2C,CAAC;AAE5E,uCAAuC;AACvC,eAAO,MAAM,gBAAgB,EAAE,eAAyC,CAAC;AAMzE,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC;IAC1B,MAAM,EAAE,eAAe,CAAC;CACzB;AAED;;;;;GAKG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAsC;;IAS9D;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,MAAM,EAAE,eAAe,GAAG,IAAI;IAIlE;;OAEG;IACH,GAAG,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,GAAG,eAAe,GAAG,SAAS;IAI3D;;OAEG;IACG,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAWzE;;OAEG;IACH,IAAI,IAAI,MAAM,EAAE;CAGjB;AAED,yEAAyE;AACzE,eAAO,MAAM,qBAAqB,gBAAuB,CAAC"}

package/dist/constitution/scorer.js

@@ -0,0 +1,111 @@
+/**
+ * src/constitution/scorer.ts
+ *
+ * Constitutional scoring — one ScoringFunction per axiom.
+ * Each scorer aggregates SignalPoints from its axiom and normalises to [0, 1].
+ *
+ * Custom scorers can be registered via the ScorerRegistry.
+ *
+ * @module constitution/scorer
+ */
+import { ANTI_FRAGILE, BUILT_IN_AXIOMS, INSTITUTIONNEL, PROFITABLE, ROBUSTE, SOTA, } from "./axioms.js";
+// ---------------------------------------------------------------------------
+// Core scoring logic — shared by all built-in scorers
+// ---------------------------------------------------------------------------
+/**
+ * Aggregate SignalPoints into a normalised [0, 1] score.
+ *
+ * Algorithm:
+ *   raw = Σ(weight_i) / Σ(|weight_i|)   (weighted average in [−1, 1])
+ *   score = (raw + 1) / 2                (shift to [0, 1])
+ *
+ * When no signals are present, returns 0.5 (neutral).
+ */
+function aggregateSignals(signals) {
+    if (signals.length === 0)
+        return 0.5;
+    const sumWeights = signals.reduce((acc, s) => acc + s.weight, 0);
+    const sumAbsWeights = signals.reduce((acc, s) => acc + Math.abs(s.weight), 0);
+    if (sumAbsWeights === 0)
+        return 0.5;
+    const raw = sumWeights / sumAbsWeights; // in [−1, 1]
+    return (raw + 1) / 2; // in [0, 1]
+}
+/**
+ * Build a rationale string from signals for audit output.
+ */
+function buildRationale(axiomId, score, signals) {
+    const lines = signals.map((s) => `  [${s.weight > 0 ? "+" : ""}${s.weight.toFixed(2)}] ${s.label}: ${s.evidence}`);
+    return [`${axiomId} score=${score.toFixed(3)}`, ...lines].join("\n");
+}
+/**
+ * Factory — creates a ScoringFunction for a given Axiom.
+ */
+function axiomScorer(axiom) {
+    return async (cycle) => {
+        const signals = axiom.detect(cycle);
+        const score = aggregateSignals(signals);
+        const rationale = buildRationale(axiom.id, score, signals);
+        return { score, rationale, signals };
+    };
+}
+// ---------------------------------------------------------------------------
+// Built-in scorers
+// ---------------------------------------------------------------------------
+/** Scorer for the Institutionnel axiom. */
+export const institutionnelScorer = axiomScorer(INSTITUTIONNEL);
+/** Scorer for the SOTA axiom. */
+export const sotaScorer = axiomScorer(SOTA);
+/** Scorer for the Robuste axiom. */
+export const robusteScorer = axiomScorer(ROBUSTE);
+/** Scorer for the AntiFragile axiom. */
+export const antiFragileScorer = axiomScorer(ANTI_FRAGILE);
+/** Scorer for the Profitable axiom. */
+export const profitableScorer = axiomScorer(PROFITABLE);
+/**
+ * ScorerRegistry — holds built-in and custom scorers.
+ *
+ * Built-in scorers are pre-registered for all 5 axioms.
+ * Custom scorers can override or extend the registry.
+ */
+export class ScorerRegistry {
+    scorers = new Map();
+    constructor() {
+        // Register built-in scorers
+        for (const axiom of BUILT_IN_AXIOMS) {
+            this.scorers.set(axiom.id, axiomScorer(axiom));
+        }
+    }
+    /**
+     * Register (or replace) a scorer for the given axiomId.
+     */
+    register(axiomId, scorer) {
+        this.scorers.set(axiomId, scorer);
+    }
+    /**
+     * Retrieve a scorer by axiomId. Returns undefined if not registered.
+     */
+    get(axiomId) {
+        return this.scorers.get(axiomId);
+    }
+    /**
+     * Score a cycle against all registered scorers in parallel.
+     */
+    async scoreAll(cycle) {
+        const entries = [...this.scorers.entries()];
+        const results = await Promise.all(entries.map(async ([id, scorer]) => {
+            const result = await scorer(cycle);
+            return [id, result];
+        }));
+        return new Map(results);
+    }
+    /**
+     * List all registered axiom IDs.
+     */
+    list() {
+        return [...this.scorers.keys()];
+    }
+}
+/** Singleton default registry pre-loaded with all 5 built-in scorers. */
+export const defaultScorerRegistry = new ScorerRegistry();
+//# sourceMappingURL=scorer.js.map

package/dist/constitution/scorer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scorer.js","sourceRoot":"","sources":["../../src/constitution/scorer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EACL,YAAY,EAEZ,eAAe,EACf,cAAc,EACd,UAAU,EACV,OAAO,EACP,IAAI,GACL,MAAM,aAAa,CAAC;AAsBrB,8EAA8E;AAC9E,sDAAsD;AACtD,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,SAAS,gBAAgB,CAAC,OAAsB;IAC9C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAErC,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAE9E,IAAI,aAAa,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAEpC,MAAM,GAAG,GAAG,UAAU,GAAG,aAAa,CAAC,CAAC,aAAa;IACrD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY;AACpC,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,OAAgB,EAAE,KAAa,EAAE,OAAsB;IAC7E,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CACvB,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,QAAQ,EAAE,CACxF,CAAC;IACF,OAAO,CAAC,GAAG,OAAO,UAAU,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvE,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,KAAY;IAC/B,OAAO,KAAK,EAAE,KAAoB,EAA0B,EAAE;QAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,2CAA2C;AAC3C,MAAM,CAAC,MAAM,oBAAoB,GAAoB,WAAW,CAAC,cAAc,CAAC,CAAC;AAEjF,iCAAiC;AACjC,MAAM,CAAC,MAAM,UAAU,GAAoB,WAAW,CAAC,IAAI,CAAC,CAAC;AAE7D,oCAAoC;AACpC,MAAM,CAAC,MAAM,aAAa,GAAoB,WAAW,CAAC,OAAO,CAAC,CAAC;AAEnE,wCAAwC;AACxC,MAAM,CAAC,MAAM,iBAAiB,GAAoB,WAAW,CAAC,YAAY,CAAC,CAAC;AAE5E,uCAAuC;AACvC,MAAM,CAAC,MAAM,gBAAgB,GAAoB,WAAW,CAAC,UAAU,CAAC,CAAC;AAWzE;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IACR,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IAE9D;QACE,4BAA4B;QAC5B,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,OAAyB,EAAE,MAAuB;QACzD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED;;OAEG;IACH,GAAG,CAAC,OAAyB;QAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,QAAQ,CAAC,KAAoB;QACjC,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE;YACjC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC;YACnC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAU,CAAC;QAC/B,CAAC,CAAC,CACH,CAAC;QACF,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,IAAI;QACF,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAClC,CAAC;CACF;AAED,yEAAyE;AACzE,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,cAAc,EAAE,CAAC"}

package/dist/constitution/signal.d.ts

@@ -0,0 +1,41 @@
+/**
+ * src/constitution/signal.ts
+ *
+ * Publishes soft constitutional scorer results to Brain episodic memory.
+ * Decouples the scoring pipeline from Brain I/O — purely an adapter.
+ *
+ * @module constitution/signal
+ */
+import type { EpisodicMemoryPort } from "../ports/brain.js";
+import type { AxiomId, CycleSnapshot } from "./types.js";
+/**
+ * Minimal Brain port required by publishSignal.
+ * Requires only the episodic tier (Tier 2).
+ */
+export interface SignalBrainPort {
+    episodic?: EpisodicMemoryPort;
+}
+/**
+ * Publish a constitutional soft-score signal to Brain episodic memory.
+ *
+ * Tags: ["constitution_signal", axiomId]
+ *
+ * @param brainPort  - Host-injected BrainPort. If `episodic` is absent, no-ops silently.
+ * @param cycle      - The cycle that was scored.
+ * @param axiomId    - The axiom that produced the score.
+ * @param score      - Normalised score in [0, 1].
+ * @param rationale  - Human-readable scoring rationale for audit.
+ */
+export declare function publishSignal(brainPort: SignalBrainPort, cycle: CycleSnapshot, axiomId: AxiomId, score: number, rationale: string): Promise<void>;
+export interface AxiomScoreEntry {
+    axiomId: AxiomId;
+    score: number;
+    rationale: string;
+}
+/**
+ * Publish all axiom scores for a single cycle to Brain episodic.
+ * Fires all records in parallel; individual failures are re-thrown as an
+ * AggregateError to avoid silent drops.
+ */
+export declare function publishAllSignals(brainPort: SignalBrainPort, cycle: CycleSnapshot, scores: AxiomScoreEntry[]): Promise<void>;
+//# sourceMappingURL=signal.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"signal.d.ts","sourceRoot":"","sources":["../../src/constitution/signal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAMzD;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B;AAMD;;;;;;;;;;GAUG;AACH,wBAAsB,aAAa,CACjC,SAAS,EAAE,eAAe,EAC1B,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,IAAI,CAAC,CA8Bf;AAMD,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;GAIG;AACH,wBAAsB,iBAAiB,CACrC,SAAS,EAAE,eAAe,EAC1B,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,eAAe,EAAE,GACxB,OAAO,CAAC,IAAI,CAAC,CAiBf"}

package/dist/constitution/signal.js

@@ -0,0 +1,61 @@
+/**
+ * src/constitution/signal.ts
+ *
+ * Publishes soft constitutional scorer results to Brain episodic memory.
+ * Decouples the scoring pipeline from Brain I/O — purely an adapter.
+ *
+ * @module constitution/signal
+ */
+// ---------------------------------------------------------------------------
+// publishSignal
+// ---------------------------------------------------------------------------
+/**
+ * Publish a constitutional soft-score signal to Brain episodic memory.
+ *
+ * Tags: ["constitution_signal", axiomId]
+ *
+ * @param brainPort  - Host-injected BrainPort. If `episodic` is absent, no-ops silently.
+ * @param cycle      - The cycle that was scored.
+ * @param axiomId    - The axiom that produced the score.
+ * @param score      - Normalised score in [0, 1].
+ * @param rationale  - Human-readable scoring rationale for audit.
+ */
+export async function publishSignal(brainPort, cycle, axiomId, score, rationale) {
+    if (!brainPort.episodic)
+        return;
+    const event = "constitution_signal";
+    const metadata = {
+        axiom: axiomId,
+        score,
+        rationale,
+        runId: cycle.runId,
+        rootHash: cycle.rootHash,
+        tags: ["constitution_signal", axiomId],
+        budgetUsdMax: cycle.budgetUsdMax,
+        budgetUsdSpent: cycle.budgetUsdSpent,
+    };
+    if (cycle.parentRunId !== undefined) {
+        metadata.parentRunId = cycle.parentRunId;
+    }
+    if (cycle.scope_id !== undefined) {
+        metadata.scope_id = cycle.scope_id;
+    }
+    await brainPort.episodic.record(
+    // agentId: use runId as the owning agent identifier for constitution signals
+    `constitution:${axiomId}`, cycle.runId, event, metadata);
+}
+/**
+ * Publish all axiom scores for a single cycle to Brain episodic.
+ * Fires all records in parallel; individual failures are re-thrown as an
+ * AggregateError to avoid silent drops.
+ */
+export async function publishAllSignals(brainPort, cycle, scores) {
+    const results = await Promise.allSettled(scores.map(({ axiomId, score, rationale }) => publishSignal(brainPort, cycle, axiomId, score, rationale)));
+    const failures = results
+        .filter((r) => r.status === "rejected")
+        .map((r) => r.reason);
+    if (failures.length > 0) {
+        throw new AggregateError(failures, `publishAllSignals: ${failures.length} Brain episodic write(s) failed`);
+    }
+}
+//# sourceMappingURL=signal.js.map

package/dist/constitution/signal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signal.js","sourceRoot":"","sources":["../../src/constitution/signal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAiBH,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,SAA0B,EAC1B,KAAoB,EACpB,OAAgB,EAChB,KAAa,EACb,SAAiB;IAEjB,IAAI,CAAC,SAAS,CAAC,QAAQ;QAAE,OAAO;IAEhC,MAAM,KAAK,GAAG,qBAAqB,CAAC;IACpC,MAAM,QAAQ,GAA4B;QACxC,KAAK,EAAE,OAAO;QACd,KAAK;QACL,SAAS;QACT,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,CAAC,qBAAqB,EAAE,OAAO,CAAC;QACtC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,cAAc,EAAE,KAAK,CAAC,cAAc;KACrC,CAAC;IAEF,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACpC,QAAQ,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;IAC3C,CAAC;IAED,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjC,QAAQ,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IACrC,CAAC;IAED,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM;IAC7B,6EAA6E;IAC7E,gBAAgB,OAAO,EAAE,EACzB,KAAK,CAAC,KAAK,EACX,KAAK,EACL,QAAQ,CACT,CAAC;AACJ,CAAC;AAYD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,SAA0B,EAC1B,KAAoB,EACpB,MAAyB;IAEzB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CACtC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,CAC3C,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAC3D,CACF,CAAC;IAEF,MAAM,QAAQ,GAAG,OAAO;SACrB,MAAM,CAAC,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;SAClE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAe,CAAC,CAAC;IAEjC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,cAAc,CACtB,QAAQ,EACR,sBAAsB,QAAQ,CAAC,MAAM,iCAAiC,CACvE,CAAC;IACJ,CAAC;AACH,CAAC"}