/**
 * 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