Interface RuntimePolicyFact

One documented runtime guarantee, traced to the ADR that governs it.

interface RuntimePolicyFact {
    governingAdr: string;
    key: string;
    module: string;
    statement: string;
}

Properties

governingAdr: string

The ADR number (e.g. "0024") that governs this fact -- always a real file under specs/decisions/.

key: string

A short, stable identifier for this fact (e.g. "getter-concurrency").

module: string

The source file that implements this guarantee, root-relative.

statement: string

Human-readable statement of the guarantee.