@unbrained/pm-cli 2026.10.11 → 2026.10.13

package/dist/sdk/governance/assurance.d.ts

@@ -16,445 +16,445 @@ export type AssuranceLifetime = "hold" | "retire";
 export type AssuranceValue = number | string[];
 /** Minimal dependency row used by built-in relationship measurements. */
 export interface AssuranceDependencyRecord {
-    /** Target item id. */
-    id: string;
-    /** Typed relationship kind. */
-    kind: string;
-    /** Provenance channel that created or justified the edge. */
-    source_kind?: string;
+/** Target item id. */
+id: string;
+/** Typed relationship kind. */
+kind: string;
+/** Provenance channel that created or justified the edge. */
+source_kind?: string;
 }
 /** Minimal item projection consumed by built-in measurement sources. */
 export interface AssuranceItemRecord {
-    /** Stable item id. */
-    id: string;
-    /** Lifecycle status. */
-    status: string;
-    /** Item type. */
-    type: string;
-    /** Optional tags. */
-    tags?: string[];
-    /** Optional priority. */
-    priority?: string | number;
-    /** Typed relationships. */
-    dependencies?: AssuranceDependencyRecord[];
-    /** Linked files. */
-    files?: object[];
-    /** Linked tests. */
-    tests?: object[];
-    /** Linked docs. */
-    docs?: object[];
-    /** Extension-owned metadata remains filterable. */
-    [key: string]: unknown;
+/** Stable item id. */
+id: string;
+/** Lifecycle status. */
+status: string;
+/** Item type. */
+type: string;
+/** Optional tags. */
+tags?: string[];
+/** Optional priority. */
+priority?: string | number;
+/** Typed relationships. */
+dependencies?: AssuranceDependencyRecord[];
+/** Linked files. */
+files?: object[];
+/** Linked tests. */
+tests?: object[];
+/** Linked docs. */
+docs?: object[];
+/** Extension-owned metadata remains filterable. */
+[key: string]: unknown;
 }
 /** Minimal immutable-history row consumed by history measurements. */
 export interface AssuranceHistoryRecord {
-    /** Mutation operation. */
-    op: string;
-    /** Mutation author. */
-    author: string;
-    /** Optional detected harness. */
-    agent_harness?: string;
-    /** Optional detected model. */
-    agent_model?: string;
-    /** Extensible history metadata. */
-    [key: string]: unknown;
+/** Mutation operation. */
+op: string;
+/** Mutation author. */
+author: string;
+/** Optional detected harness. */
+agent_harness?: string;
+/** Optional detected model. */
+agent_model?: string;
+/** Extensible history metadata. */
+[key: string]: unknown;
 }
 /** Item-population measurement source. */
 export interface AssuranceItemsSource {
-    /** Source discriminant. */
-    kind: "items";
-    /** Allowed statuses. */
-    statuses?: string[];
-    /** Allowed item types. */
-    types?: string[];
-    /** Tags that must all be present. */
-    tags?: string[];
-    /** Optional metadata field. */
-    field?: string;
-    /** Required exact value for field. */
-    equals?: string | number | boolean | null;
-    /** Presence predicate for the selected field. */
-    state?: "present" | "missing";
+/** Source discriminant. */
+kind: "items";
+/** Allowed statuses. */
+statuses?: string[];
+/** Allowed item types. */
+types?: string[];
+/** Tags that must all be present. */
+tags?: string[];
+/** Optional metadata field. */
+field?: string;
+/** Required exact value for field. */
+equals?: string | number | boolean | null;
+/** Presence predicate for the selected field. */
+state?: "present" | "missing";
 }
 /** Typed relationship-count source. */
 export interface AssuranceDependencyKindSource {
-    /** Source discriminant. */
-    kind: "dependency_kind";
-    /** Relationship kind to count. */
-    dependency_kind: string;
-    /** Require an exact dependency provenance channel. */
-    source_kind?: string;
-    /** Require a dependency provenance channel with this prefix. */
-    source_kind_prefix?: string;
-    /** Require dependency provenance to be present or missing. */
-    source_kind_state?: "present" | "missing";
+/** Source discriminant. */
+kind: "dependency_kind";
+/** Relationship kind to count. */
+dependency_kind: string;
+/** Require an exact dependency provenance channel. */
+source_kind?: string;
+/** Require a dependency provenance channel with this prefix. */
+source_kind_prefix?: string;
+/** Require dependency provenance to be present or missing. */
+source_kind_state?: "present" | "missing";
 }
 /** Evidence-backed exemption from prose-to-edge parity. */
 export interface AssuranceProseEdgeExemption {
-    /** Holder whose prose contains the reference. */
-    holder_id: string;
-    /** Optional referenced item; omission exempts every matching pair on the holder. */
-    target_id?: string;
-    /** Optional literal that must occur in the same prose segment as the reference. */
-    text_contains?: string;
-    /** Reviewable explanation for why no typed edge should exist. */
-    reason: string;
+/** Holder whose prose contains the reference. */
+holder_id: string;
+/** Optional referenced item; omission exempts every matching pair on the holder. */
+target_id?: string;
+/** Optional literal that must occur in the same prose segment as the reference. */
+text_contains?: string;
+/** Reviewable explanation for why no typed edge should exist. */
+reason: string;
 }
 /** Prose-reference parity source evaluated directly over authoritative item rows. */
 export interface AssuranceProseEdgeGapSource {
-    /** Source discriminant. */
-    kind: "prose_edge_gap";
-    /** Explicit false-positive ledger; every row requires a reason. */
-    exemptions?: AssuranceProseEdgeExemption[];
-    /** Maximum diagnostic contributors retained after the counts are computed. */
-    sample_limit?: number;
+/** Source discriminant. */
+kind: "prose_edge_gap";
+/** Explicit false-positive ledger; every row requires a reason. */
+exemptions?: AssuranceProseEdgeExemption[];
+/** Maximum diagnostic contributors retained after the counts are computed. */
+sample_limit?: number;
 }
 /** Graph-analytics source delegated to a host adapter. */
 export interface AssuranceGraphSource {
-    /** Source discriminant. */
-    kind: "graph";
-    /** Graph analytic to execute. */
-    operation: string;
-    /** Numeric or labelled-set field to select. */
-    field: string;
-    /** Optional analytic arguments. */
-    parameters?: Record<string, string | number | boolean>;
+/** Source discriminant. */
+kind: "graph";
+/** Graph analytic to execute. */
+operation: string;
+/** Numeric or labelled-set field to select. */
+field: string;
+/** Optional analytic arguments. */
+parameters?: Record<string, string | number | boolean>;
 }
 /** Validator source delegated to a host adapter. */
 export interface AssuranceValidateSource {
-    /** Source discriminant. */
-    kind: "validate";
-    /** Stable validator check id. */
-    check: string;
-    /** Numeric field within the check result. */
-    field: string;
+/** Source discriminant. */
+kind: "validate";
+/** Stable validator check id. */
+check: string;
+/** Numeric field within the check result. */
+field: string;
 }
 /** Health-check source delegated to a host adapter. */
 export interface AssuranceHealthSource {
-    /** Source discriminant. */
-    kind: "health";
-    /** Stable health check id. */
-    check: string;
-    /** Numeric field within the check result. */
-    field: string;
+/** Source discriminant. */
+kind: "health";
+/** Stable health check id. */
+check: string;
+/** Numeric field within the check result. */
+field: string;
 }
 /** Immutable-history population source. */
 export interface AssuranceHistorySource {
-    /** Source discriminant. */
-    kind: "history";
-    /** Optional operation filter. */
-    op?: string;
-    /** Optional author filter. */
-    author?: string;
-    /** Optional harness filter. */
-    harness?: string;
-    /** Optional model filter. */
-    model?: string;
+/** Source discriminant. */
+kind: "history";
+/** Optional operation filter. */
+op?: string;
+/** Optional author filter. */
+author?: string;
+/** Optional harness filter. */
+harness?: string;
+/** Optional model filter. */
+model?: string;
 }
 /** Linked evidence population source. */
 export interface AssuranceLinksSource {
-    /** Source discriminant. */
-    kind: "links";
-    /** Evidence collection to inspect. */
-    link: "files" | "tests" | "docs";
-    /** Count items with or without at least one link. */
-    state: "present" | "missing";
+/** Source discriminant. */
+kind: "links";
+/** Evidence collection to inspect. */
+link: "files" | "tests" | "docs";
+/** Count items with or without at least one link. */
+state: "present" | "missing";
 }
 /** Extension- or host-contributed measurement source. */
 export interface AssuranceProviderSource {
-    /** Source discriminant. */
-    kind: "provider";
-    /** Stable provider id. */
-    provider: string;
-    /** Provider-owned measurement key. */
-    key: string;
-    /** Provider-owned JSON-compatible parameters. */
-    parameters?: Record<string, string | number | boolean | null>;
+/** Source discriminant. */
+kind: "provider";
+/** Stable provider id. */
+provider: string;
+/** Provider-owned measurement key. */
+key: string;
+/** Provider-owned JSON-compatible parameters. */
+parameters?: Record<string, string | number | boolean | null>;
 }
 /** Reference to another measurement inside a derived expression. */
 export interface AssuranceMeasurementReference {
-    /** Referenced measurement id. */
-    measurement: string;
+/** Referenced measurement id. */
+measurement: string;
 }
 /** Literal numeric term inside a derived expression. */
 export interface AssuranceLiteralExpression {
-    /** Literal number. */
-    literal: number;
+/** Literal number. */
+literal: number;
 }
 /** Arithmetic expression over measurement references and literals. */
 export interface AssuranceArithmeticExpression {
-    /** Deterministic arithmetic operation. */
-    operator: "add" | "subtract" | "multiply" | "divide" | "min" | "max";
-    /** Ordered operands. */
-    operands: AssuranceDerivedExpression[];
+/** Deterministic arithmetic operation. */
+operator: "add" | "subtract" | "multiply" | "divide" | "min" | "max";
+/** Ordered operands. */
+operands: AssuranceDerivedExpression[];
 }
 /** Recursive derived-measurement expression. */
 export type AssuranceDerivedExpression = AssuranceMeasurementReference | AssuranceLiteralExpression | AssuranceArithmeticExpression;
 /** Derived arithmetic source. */
 export interface AssuranceDerivedSource {
-    /** Source discriminant. */
-    kind: "derived";
-    /** Arithmetic expression. */
-    expression: AssuranceDerivedExpression;
+/** Source discriminant. */
+kind: "derived";
+/** Arithmetic expression. */
+expression: AssuranceDerivedExpression;
 }
 /** Complete measurement source vocabulary. */
 export type AssuranceMeasurementSource = AssuranceItemsSource | AssuranceDependencyKindSource | AssuranceProseEdgeGapSource | AssuranceGraphSource | AssuranceValidateSource | AssuranceHealthSource | AssuranceHistorySource | AssuranceLinksSource | AssuranceProviderSource | AssuranceDerivedSource;
 /** Persisted measurement declaration. */
 export interface AssuranceMeasurementDefinition {
-    /** Stable registry id. */
-    id: string;
-    /** Optional intent description. */
-    description?: string;
-    /** Measurement source. */
-    source: AssuranceMeasurementSource;
-    /** Maximum abstract compute units accepted for one evaluation. */
-    max_cost?: number;
+/** Stable registry id. */
+id: string;
+/** Optional intent description. */
+description?: string;
+/** Measurement source. */
+source: AssuranceMeasurementSource;
+/** Maximum abstract compute units accepted for one evaluation. */
+max_cost?: number;
 }
 /** Explicit population scope asserted by a bound. */
 export type AssuranceScope = {
-    kind: "all";
+kind: "all";
 } | {
-    kind: "active";
+kind: "active";
 } | {
-    /** Scope discriminant. */
-    kind: "filter";
-    /** Saved measurement whose population defines the scope. */
-    measurement_id: string;
+/** Scope discriminant. */
+kind: "filter";
+/** Saved measurement whose population defines the scope. */
+measurement_id: string;
 };
 /** One assertion negative-control case. */
 export interface AssuranceNegativeControlCase {
-    /** Synthetic observation. */
-    observed: AssuranceValue;
-    /** Expected comparator result. */
-    expected: "pass" | "fail";
+/** Synthetic observation. */
+observed: AssuranceValue;
+/** Expected comparator result. */
+expected: "pass" | "fail";
 }
 /** Required negative-control suite proving a bound can both pass and fail. */
 export interface AssuranceNegativeControl {
-    /** Synthetic comparator cases. */
-    cases: AssuranceNegativeControlCase[];
+/** Synthetic comparator cases. */
+cases: AssuranceNegativeControlCase[];
 }
 /** Persisted assertion declaration. Exactly one polarity field is valid. */
 export interface AssuranceAssertionDefinition {
-    /** Stable registry id. */
-    id: string;
-    /** Registry key of the observation constrained by this guarantee. */
-    measurement_id: string;
-    /** pm item that owns this guarantee. */
-    owner_item_id: string;
-    /** Explicit asserted population scope. */
-    scope: AssuranceScope;
-    /** Maximum permitted value. */
-    ceiling?: number;
-    /** Minimum permitted value. */
-    floor?: number;
-    /** Exact permitted scalar or labelled set. */
-    equals?: AssuranceValue;
-    /** Require numeric zero. */
-    zero?: true;
-    /** Require no decrease from the numeric baseline. */
-    monotone_nondecreasing?: number;
-    /** Require no increase from the numeric baseline. */
-    monotone_nonincreasing?: number;
-    /** Require the observed labelled set to be a subset. */
-    subset_of?: string[];
-    /** Behavior after owner termination. */
-    lifetime?: AssuranceLifetime;
-    /** Required explanation when lifetime retires. */
-    retire_reason?: string;
-    /** Enforcement strength. */
-    enforcement: AssuranceEnforcement;
-    /** Required proof that the comparator distinguishes good and bad values. */
-    negative_control: AssuranceNegativeControl;
-    /** Decision item authorizing a loosening update. */
-    authorization_decision?: string;
+/** Stable registry id. */
+id: string;
+/** Registry key of the observation constrained by this guarantee. */
+measurement_id: string;
+/** pm item that owns this guarantee. */
+owner_item_id: string;
+/** Explicit asserted population scope. */
+scope: AssuranceScope;
+/** Maximum permitted value. */
+ceiling?: number;
+/** Minimum permitted value. */
+floor?: number;
+/** Exact permitted scalar or labelled set. */
+equals?: AssuranceValue;
+/** Require numeric zero. */
+zero?: true;
+/** Require no decrease from the numeric baseline. */
+monotone_nondecreasing?: number;
+/** Require no increase from the numeric baseline. */
+monotone_nonincreasing?: number;
+/** Require the observed labelled set to be a subset. */
+subset_of?: string[];
+/** Behavior after owner termination. */
+lifetime?: AssuranceLifetime;
+/** Required explanation when lifetime retires. */
+retire_reason?: string;
+/** Enforcement strength. */
+enforcement: AssuranceEnforcement;
+/** Required proof that the comparator distinguishes good and bad values. */
+negative_control: AssuranceNegativeControl;
+/** Decision item authorizing a loosening update. */
+authorization_decision?: string;
 }
 /** Persisted gate declaration. */
 export interface AssuranceGateDefinition {
-    /** Stable registry id. */
-    id: string;
-    /** Assertion ids evaluated by this gate. */
-    assertion_ids: string[];
-    /** Lifecycle triggers allowed to run it. */
-    triggers: AssuranceGateTrigger[];
-    /** Optional description. */
-    description?: string;
-    /** Explicit provider allow-list and trigger-specific execution policy. */
-    provider_policy?: {
-        /** Provider ids this gate may invoke. An empty set refuses every provider. */
-        allowed_providers: string[];
-        /** Trigger rules; an omitted rule refuses provider execution for that trigger. */
-        triggers: Partial<Record<AssuranceGateTrigger, {
-            /** Highest provider cost class allowed at this trigger. */
-            max_cost_class: AssuranceProviderCostClass;
-            /** Whether network-declaring providers may run. */
-            allow_network: boolean;
-        }>>;
-    };
+/** Stable registry id. */
+id: string;
+/** Assertion ids evaluated by this gate. */
+assertion_ids: string[];
+/** Lifecycle triggers allowed to run it. */
+triggers: AssuranceGateTrigger[];
+/** Optional description. */
+description?: string;
+/** Explicit provider allow-list and trigger-specific execution policy. */
+provider_policy?: {
+/** Provider ids this gate may invoke. An empty set refuses every provider. */
+allowed_providers: string[];
+/** Trigger rules; an omitted rule refuses provider execution for that trigger. */
+triggers: Partial<Record<AssuranceGateTrigger, {
+/** Highest provider cost class allowed at this trigger. */
+max_cost_class: AssuranceProviderCostClass;
+/** Whether network-declaring providers may run. */
+allow_network: boolean;
+}>>;
+};
 }
 /** Complete persisted assurance registry. */
 export interface AssuranceDocument {
-    /** Storage format version. */
-    version: typeof ASSURANCE_DOCUMENT_VERSION;
-    /** Measurement declarations. */
-    measurements: AssuranceMeasurementDefinition[];
-    /** Assertion declarations. */
-    assertions: AssuranceAssertionDefinition[];
-    /** Gate declarations. */
-    gates: AssuranceGateDefinition[];
+/** Storage format version. */
+version: typeof ASSURANCE_DOCUMENT_VERSION;
+/** Measurement declarations. */
+measurements: AssuranceMeasurementDefinition[];
+/** Assertion declarations. */
+assertions: AssuranceAssertionDefinition[];
+/** Gate declarations. */
+gates: AssuranceGateDefinition[];
 }
 /** Atomic set of ordinary declarations used by presets and accepted proposals. */
 export interface AssuranceDeclarationBundle {
-    /** Measurement declarations to create without overwriting divergent ids. */
-    measurements: AssuranceMeasurementDefinition[];
-    /** Assertion declarations to create without overwriting divergent ids. */
-    assertions: AssuranceAssertionDefinition[];
-    /** Gate declarations to create without overwriting divergent ids. */
-    gates: AssuranceGateDefinition[];
+/** Measurement declarations to create without overwriting divergent ids. */
+measurements: AssuranceMeasurementDefinition[];
+/** Assertion declarations to create without overwriting divergent ids. */
+assertions: AssuranceAssertionDefinition[];
+/** Gate declarations to create without overwriting divergent ids. */
+gates: AssuranceGateDefinition[];
 }
 /** Audited receipt for one atomic assurance bundle application. */
 export interface AssuranceBundleMutationReceipt {
-    /** Whether persistence changed. */
-    changed: boolean;
-    /** Stable ids created by the bundle. */
-    created_ids: string[];
-    /** Stable ids already present with byte-equivalent declarations. */
-    unchanged_ids: string[];
+/** Whether persistence changed. */
+changed: boolean;
+/** Stable ids created by the bundle. */
+created_ids: string[];
+/** Stable ids already present with byte-equivalent declarations. */
+unchanged_ids: string[];
 }
 /** Host adapter result for graph, validate, health, or provider sources. */
 export interface AssuranceExternalMeasurementResult {
-    /** Observed value. */
-    value: AssuranceValue;
-    /** Population denominator. */
-    population_size: number;
-    /** Abstract compute units charged by the adapter. */
-    cost: number;
-    /** Optional contributors that moved the value. */
-    contributors?: string[];
-    /** Optional exact named sub-populations within the observed value. */
-    partitions?: Readonly<Record<string, number>>;
+/** Observed value. */
+value: AssuranceValue;
+/** Population denominator. */
+population_size: number;
+/** Abstract compute units charged by the adapter. */
+cost: number;
+/** Optional contributors that moved the value. */
+contributors?: string[];
+/** Optional exact named sub-populations within the observed value. */
+partitions?: Readonly<Record<string, number>>;
 }
 /** SDK evaluation inputs supplied by a host. */
 export interface AssuranceEvaluationContext {
-    /** Commit, tree, snapshot, or workspace identity being judged. */
-    tree_id: string;
-    /** Item rows for built-in sources. */
-    items: AssuranceItemRecord[];
-    /** Immutable history rows for built-in history sources. */
-    history: AssuranceHistoryRecord[];
-    /** Status ids that make an assertion owner terminal. */
-    terminal_statuses?: string[];
-    /** Host-declared capabilities for provider-policy enforcement. */
-    provider_capabilities?: Readonly<Record<string, {
-        cost_class: AssuranceProviderCostClass;
-        network: boolean;
-    }>>;
-    /** External source adapter. Implementations must enforce an appropriate timeout. */
-    external: (source: AssuranceGraphSource | AssuranceValidateSource | AssuranceHealthSource | AssuranceProviderSource) => Promise<AssuranceExternalMeasurementResult>;
+/** Commit, tree, snapshot, or workspace identity being judged. */
+tree_id: string;
+/** Item rows for built-in sources. */
+items: AssuranceItemRecord[];
+/** Immutable history rows for built-in history sources. */
+history: AssuranceHistoryRecord[];
+/** Status ids that make an assertion owner terminal. */
+terminal_statuses?: string[];
+/** Host-declared capabilities for provider-policy enforcement. */
+provider_capabilities?: Readonly<Record<string, {
+cost_class: AssuranceProviderCostClass;
+network: boolean;
+}>>;
+/** External source adapter. Implementations must enforce an appropriate timeout. */
+external: (source: AssuranceGraphSource | AssuranceValidateSource | AssuranceHealthSource | AssuranceProviderSource) => Promise<AssuranceExternalMeasurementResult>;
 }
 /** Compute receipt for one measurement. */
 export interface AssuranceMeasurementCost {
-    /** Total abstract units. */
-    units: number;
-    /** Item rows scanned. */
-    items_scanned: number;
-    /** History rows scanned. */
-    history_entries: number;
-    /** External provider calls. */
-    provider_calls: number;
-    /** Wall-clock duration. */
-    duration_ms: number;
+/** Total abstract units. */
+units: number;
+/** Item rows scanned. */
+items_scanned: number;
+/** History rows scanned. */
+history_entries: number;
+/** External provider calls. */
+provider_calls: number;
+/** Wall-clock duration. */
+duration_ms: number;
 }
 /** Evaluated measurement receipt. */
 export interface AssuranceMeasurementResult {
-    /** Measurement id. */
-    id: string;
-    /** Stable fingerprint of the exact declaration that produced this result. */
-    definition_fingerprint: string;
-    /** Observed value. */
-    value: AssuranceValue;
-    /** Population denominator. */
-    population_size: number;
-    /** Compute receipt. */
-    cost: AssuranceMeasurementCost;
-    /** Optional contributors. */
-    contributors: string[];
-    /** Optional exact named sub-populations within the observed value. */
-    partitions?: Readonly<Record<string, number>>;
+/** Measurement id. */
+id: string;
+/** Stable fingerprint of the exact declaration that produced this result. */
+definition_fingerprint: string;
+/** Observed value. */
+value: AssuranceValue;
+/** Population denominator. */
+population_size: number;
+/** Compute receipt. */
+cost: AssuranceMeasurementCost;
+/** Optional contributors. */
+contributors: string[];
+/** Optional exact named sub-populations within the observed value. */
+partitions?: Readonly<Record<string, number>>;
 }
 /** Structured assertion bound. */
 export interface AssuranceBound {
-    /** Comparator applied to the observed value and declared bound. */
-    polarity: "ceiling" | "floor" | "equals" | "zero" | "monotone_nondecreasing" | "monotone_nonincreasing" | "subset_of";
-    /** Declared bound value. */
-    value: AssuranceValue;
+/** Comparator applied to the observed value and declared bound. */
+polarity: "ceiling" | "floor" | "equals" | "zero" | "monotone_nondecreasing" | "monotone_nonincreasing" | "subset_of";
+/** Declared bound value. */
+value: AssuranceValue;
 }
 /** One assertion row inside a gate verdict. */
 export interface AssuranceAssertionVerdict {
-    /** Stable guarantee key that produced this evaluation row. */
-    assertion_id: string;
-    /** Stable observation key used to obtain the evaluated value. */
-    measurement_id: string;
-    /** Stable fingerprint of the measurement declaration used for this verdict. */
-    measurement_definition_fingerprint: string;
-    /** Explicit scope. */
-    scope: AssuranceScope;
-    /** Population denominator. */
-    population_size: number;
-    /** Numeric or labelled-set value captured for the judged population. */
-    observed: AssuranceValue;
-    /** Structured bound. */
-    bound: AssuranceBound;
-    /** Signed numeric distance when applicable. */
-    distance: number | null;
-    /** Assertion result. */
-    verdict: "pass" | "fail" | "retired";
-    /** Enforcement strength. */
-    enforcement: AssuranceEnforcement;
-    /** Whether negative controls proved the comparator. */
-    negative_control_proven: boolean;
-    /** Compute receipt. */
-    cost: AssuranceMeasurementCost;
-    /** Optional contributors. */
-    contributors: string[];
-    /** Optional exact named sub-populations within the observed value. */
-    partitions?: Readonly<Record<string, number>>;
+/** Stable guarantee key that produced this evaluation row. */
+assertion_id: string;
+/** Stable observation key used to obtain the evaluated value. */
+measurement_id: string;
+/** Stable fingerprint of the measurement declaration used for this verdict. */
+measurement_definition_fingerprint: string;
+/** Explicit scope. */
+scope: AssuranceScope;
+/** Population denominator. */
+population_size: number;
+/** Numeric or labelled-set value captured for the judged population. */
+observed: AssuranceValue;
+/** Structured bound. */
+bound: AssuranceBound;
+/** Signed numeric distance when applicable. */
+distance: number | null;
+/** Assertion result. */
+verdict: "pass" | "fail" | "retired";
+/** Enforcement strength. */
+enforcement: AssuranceEnforcement;
+/** Whether negative controls proved the comparator. */
+negative_control_proven: boolean;
+/** Compute receipt. */
+cost: AssuranceMeasurementCost;
+/** Optional contributors. */
+contributors: string[];
+/** Optional exact named sub-populations within the observed value. */
+partitions?: Readonly<Record<string, number>>;
 }
 /** Complete gate verdict shared by every presentation and execution surface. */
 export interface AssuranceGateVerdict {
-    /** Stable lifecycle-policy key that produced this verdict. */
-    gate_id: string;
-    /** Judged tree identity. */
-    tree_id: string;
-    /** Evaluation trigger. */
-    trigger: AssuranceGateTrigger;
-    /** Whether history persistence was intentionally skipped. */
-    dry_run: boolean;
-    /** ISO timestamp. */
-    evaluated_at: string;
-    /** Overall result. */
-    verdict: "pass" | "warn" | "block";
-    /** Stable process exit code. */
-    exit_code: 0 | 1;
-    /** Per-assertion receipts. */
-    assertions: AssuranceAssertionVerdict[];
-    /** Total assertions evaluated before any transport projection or compaction. */
-    assertions_total: number;
-    /** Stable selector for iterating assertion evidence across transports. */
-    row_contract: {
-        row_keys: ["assertions"];
-        jq_selector: ".assertions[]";
-    };
-    /** Aggregate compute receipt. */
-    cost: AssuranceMeasurementCost;
+/** Stable lifecycle-policy key that produced this verdict. */
+gate_id: string;
+/** Judged tree identity. */
+tree_id: string;
+/** Evaluation trigger. */
+trigger: AssuranceGateTrigger;
+/** Whether history persistence was intentionally skipped. */
+dry_run: boolean;
+/** ISO timestamp. */
+evaluated_at: string;
+/** Overall result. */
+verdict: "pass" | "warn" | "block";
+/** Stable process exit code. */
+exit_code: 0 | 1;
+/** Per-assertion receipts. */
+assertions: AssuranceAssertionVerdict[];
+/** Total assertions evaluated before any transport projection or compaction. */
+assertions_total: number;
+/** Stable selector for iterating assertion evidence across transports. */
+row_contract: {
+row_keys: ["assertions"];
+jq_selector: ".assertions[]";
+};
+/** Aggregate compute receipt. */
+cost: AssuranceMeasurementCost;
 }
 /** Mutation attribution accepted by registry and verdict writes. */
 export interface AssuranceMutationOptions {
-    /** Explicit author override; normal callers omit it for harness detection. */
-    author?: string;
-    /** Optional audited rationale. */
-    message?: string;
-    /** Decision item ids the caller has verified as authorization. */
-    authorized_decision_ids?: string[];
+/** Explicit author override; normal callers omit it for harness detection. */
+author?: string;
+/** Optional audited rationale. */
+message?: string;
+/** Decision item ids the caller has verified as authorization. */
+authorized_decision_ids?: string[];
 }
 /** Declaration collection kind. */
 export type AssuranceDeclarationKind = "measurement" | "assertion" | "gate";
@@ -462,14 +462,14 @@ export type AssuranceDeclarationKind = "measurement" | "assertion" | "gate";
 export type AssuranceDeclaration = AssuranceMeasurementDefinition | AssuranceAssertionDefinition | AssuranceGateDefinition;
 /** Registry mutation receipt. */
 export interface AssuranceMutationReceipt {
-    /** Whether serialized state changed. */
-    changed: boolean;
-    /** Mutation outcome. */
-    action: "created" | "updated" | "removed";
-    /** Declaration kind. */
-    kind: AssuranceDeclarationKind;
-    /** Declaration id. */
-    id: string;
+/** Whether serialized state changed. */
+changed: boolean;
+/** Mutation outcome. */
+action: "created" | "updated" | "removed";
+/** Declaration kind. */
+kind: AssuranceDeclarationKind;
+/** Declaration id. */
+id: string;
 }
 /** Return true when an assertion update weakens scope, bound, lifetime, or enforcement. */
 export declare function assuranceAssertionUpdateIsLoosening(before: AssuranceAssertionDefinition, after: AssuranceAssertionDefinition): boolean;
@@ -487,21 +487,21 @@ export declare function createEmptyAssuranceDocument(): AssuranceDocument;
 export declare function evaluateMeasurement(definition: AssuranceMeasurementDefinition, context: AssuranceEvaluationContext, definitions?: AssuranceMeasurementDefinition[]): Promise<AssuranceMeasurementResult>;
 /** Evaluate one assertion against a precomputed measurement receipt. */
 export declare function evaluateAssuranceAssertion(definition: AssuranceAssertionDefinition, measurement: AssuranceMeasurementResult, options?: {
-    /** Whether the owning item is terminal. */ owner_terminal?: boolean;
+/** Whether the owning item is terminal. */ owner_terminal?: boolean;
 }): AssuranceAssertionVerdict;
 /** Evaluate a named gate into one presentation-independent verdict document. */
 export declare function evaluateAssuranceGate(gateId: string, document: AssuranceDocument, context: AssuranceEvaluationContext, options: {
-    /** Trigger being evaluated. */ trigger: AssuranceGateTrigger;
-    /** Skip persistence in the caller. */ dry_run?: boolean;
+/** Trigger being evaluated. */ trigger: AssuranceGateTrigger;
+/** Skip persistence in the caller. */ dry_run?: boolean;
 }): Promise<AssuranceGateVerdict>;
 /** Read all declarations of one kind with a stable row selector receipt. */
 export declare function listAssuranceDeclarations(pmRoot: string, kind: AssuranceDeclarationKind): Promise<{
-    items: AssuranceDeclaration[];
-    count: number;
-    row_contract: {
-        row_keys: ["items"];
-        jq_selector: ".items[]";
-    };
+items: AssuranceDeclaration[];
+count: number;
+row_contract: {
+row_keys: ["items"];
+jq_selector: ".items[]";
+};
 }>;
 /** Read one named declaration or fail loudly. */
 export declare function getAssuranceDeclaration(pmRoot: string, kind: AssuranceDeclarationKind, id: string): Promise<AssuranceDeclaration>;
@@ -515,6 +515,6 @@ export declare function removeAssuranceDeclaration(pmRoot: string, kind: Assuran
 export declare function recordAssuranceVerdict(pmRoot: string, verdict: AssuranceGateVerdict, options?: AssuranceMutationOptions): Promise<void>;
 /** Query durable assurance verdicts from the verified workspace stream. */
 export declare function listAssuranceVerdicts(pmRoot: string, options?: {
-    /** Optional gate filter. */ gate_id?: string;
-    /** Maximum newest matching verdicts returned. */ limit?: number;
+/** Optional gate filter. */ gate_id?: string;
+/** Maximum newest matching verdicts returned. */ limit?: number;
 }): Promise<AssuranceGateVerdict[]>;