universal-physics-tensor 0.47.1 → 1.0.2

package/dist/cases/types.d.ts

@@ -0,0 +1,115 @@
+/**
+ * An applied case: one complete measurement problem, qualified end to end.
+ *
+ * A bridge evaluator answers "what does this formula give"; a case answers
+ * "what should this experiment read, under which premises, and how would I
+ * know the premises fail". Each case states the parent (field, vector or
+ * frequency-resolved) equation beside the scalar simplification it evaluates,
+ * the observable with its unit, the boundary and initial conditions, the
+ * regime checks with their thresholds, what the uncertainty treatment does not
+ * cover, and the route to a measurement comparison.
+ *
+ * A case carries no evidence tag. Where it rests on a catalog bridge or an
+ * atlas bridge it names the record, and the evidence stays that record's.
+ *
+ * @module cases/types
+ */
+import type { EvaluatorParameter } from '../bridges/evaluators.js';
+/** One derived number a case reports. @internal */
+export interface CaseOutput {
+    readonly key: string;
+    readonly symbol: string;
+    /** A unit expression; `''` for dimensionless. */
+    readonly unit: string;
+    readonly meaning: string;
+}
+/**
+ * One regime inequality, evaluated at the given inputs. The bound is a chosen
+ * numerical reading of a "≪" and says so in `threshold`.
+ * @internal
+ */
+export interface CaseCheck {
+    readonly id: string;
+    /** The physical premise the inequality stands for. */
+    readonly premise: string;
+    /** The checked quantity, written out. */
+    readonly quantity: string;
+    readonly value: number;
+    readonly op: '<=' | '>=' | '>';
+    readonly bound: number;
+    /** Why this bound: what it guarantees, or that it is a chosen threshold. */
+    readonly threshold: string;
+    readonly holds: boolean;
+}
+/**
+ * A comparison of one output with a reference — the parent model evaluated
+ * numerically, or the ideal a finite measurement approaches. Reported beside
+ * the checks, never merged into them: a small deviation at one point does not
+ * establish the premises.
+ * @internal
+ */
+export interface CaseComparison {
+    /** What the reference is. */
+    readonly reference: string;
+    readonly valueKey: string;
+    readonly referenceKey: string;
+    /** Output holding value/reference − 1. */
+    readonly deviationKey: string;
+    readonly method: string;
+}
+/** A worked invocation. `fails` lists exactly the checks it violates. @internal */
+export interface CaseExample {
+    readonly args: readonly string[];
+    readonly note: string;
+    readonly fails: readonly string[];
+}
+/** What a case evaluates to. A `null` output is undefined outside its premise. @internal */
+export interface CaseResult {
+    readonly outputs: Readonly<Record<string, number | null>>;
+    readonly checks: readonly CaseCheck[];
+    /** Premises stated but not checked at these inputs. */
+    readonly unchecked: readonly string[];
+}
+/** An applied case. @internal */
+export interface AppliedCase {
+    readonly id: string;
+    readonly title: string;
+    readonly parameters: readonly EvaluatorParameter[];
+    readonly governing: {
+        /** The parent equations, which this case does NOT evaluate as its answer. */
+        readonly parent: readonly string[];
+        /** The scalar simplification it evaluates. */
+        readonly scalar: readonly string[];
+        /** What the simplification keeps and what it drops. */
+        readonly distinction: string;
+    };
+    /** Key of the output a measurement reads. */
+    readonly observable: string;
+    readonly outputs: readonly CaseOutput[];
+    readonly conditions: readonly string[];
+    readonly comparison?: CaseComparison;
+    /** Left out of the model and of any --sigma propagation. */
+    readonly notIncluded: readonly string[];
+    readonly measurement: readonly string[];
+    /** Catalog bridges (`be-58`), atlas records (`ab-…`, `model-…`) and canonical entries it rests on. */
+    readonly links: readonly {
+        readonly id: string;
+        readonly role: string;
+    }[];
+    readonly examples: {
+        readonly valid: CaseExample;
+        readonly failures: readonly CaseExample[];
+    };
+    /**
+     * The `upt regime --at` line implied by a result, when the case's outputs
+     * are not the regime's coordinate names.
+     */
+    regimeAt?(inputs: Readonly<Record<string, number>>, outputs: Readonly<Record<string, number | null>>): string;
+    /** @throws Error on an input outside the model's domain (a negative radius, f_lo ≥ f_hi). */
+    run(inputs: Readonly<Record<string, number>>): CaseResult;
+}
+/** Build a CaseCheck from one evaluated inequality and mark whether it holds. @internal */
+export declare const check: (id: string, premise: string, quantity: string, value: number, op: CaseCheck['op'], bound: number, threshold: string) => CaseCheck;
+/** Reject missing, non-finite or non-positive inputs for the listed case parameters. @internal */
+export declare function requirePositive(caseId: string, inputs: Readonly<Record<string, number>>, keys: readonly string[]): void;
+//# sourceMappingURL=types.d.ts.map

package/dist/cases/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/cases/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,mDAAmD;AACnD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,sDAAsD;IACtD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,IAAI,GAAG,IAAI,GAAG,GAAG,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,6BAA6B;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,0CAA0C;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,mFAAmF;AACnF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,4FAA4F;AAC5F,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,uDAAuD;IACvD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,iCAAiC;AACjC,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,QAAQ,CAAC,SAAS,EAAE;QAClB,6EAA6E;QAC7E,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QACnC,8CAA8C;QAC9C,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QACnC,uDAAuD;QACvD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;IACF,6CAA6C;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;IACrC,4DAA4D;IAC5D,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,sGAAsG;IACtG,QAAQ,CAAC,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1E,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAA;KAAE,CAAC;IAC9F;;;OAGG;IACH,QAAQ,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC;IAC9G,6FAA6F;IAC7F,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC;CAC3D;AAED,2FAA2F;AAC3F,eAAO,MAAM,KAAK,OACZ,MAAM,WACD,MAAM,YACL,MAAM,SACT,MAAM,MACT,SAAS,CAAC,IAAI,CAAC,SACZ,MAAM,aACF,MAAM,KAChB,SASD,CAAC;AAEH,kGAAkG;AAClG,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAKvH"}

package/dist/cases/types.js

@@ -0,0 +1,20 @@
+/** Build a CaseCheck from one evaluated inequality and mark whether it holds. @internal */
+export const check = (id, premise, quantity, value, op, bound, threshold) => ({
+    id,
+    premise,
+    quantity,
+    value,
+    op,
+    bound,
+    threshold,
+    holds: op === '<=' ? value <= bound : op === '>=' ? value >= bound : value > bound,
+});
+/** Reject missing, non-finite or non-positive inputs for the listed case parameters. @internal */
+export function requirePositive(caseId, inputs, keys) {
+    for (const k of keys) {
+        const v = inputs[k];
+        if (v === undefined || !Number.isFinite(v) || !(v > 0))
+            throw new Error(`${caseId}: ${k} must be a finite number > 0 (got ${v})`);
+    }
+}
+//# sourceMappingURL=types.js.map

package/dist/cases/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/cases/types.ts"],"names":[],"mappings":"AA+GA,2FAA2F;AAC3F,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,EAAU,EACV,OAAe,EACf,QAAgB,EAChB,KAAa,EACb,EAAmB,EACnB,KAAa,EACb,SAAiB,EACN,EAAE,CAAC,CAAC;IACf,EAAE;IACF,OAAO;IACP,QAAQ;IACR,KAAK;IACL,EAAE;IACF,KAAK;IACL,SAAS;IACT,KAAK,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK;CACnF,CAAC,CAAC;AAEH,kGAAkG;AAClG,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,MAAwC,EAAE,IAAuB;IAC/G,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,KAAK,CAAC,qCAAqC,CAAC,GAAG,CAAC,CAAC;IACpI,CAAC;AACH,CAAC"}

package/dist/cli/commands/_atlas-map.d.ts

@@ -0,0 +1,409 @@
+import type { CommandCtx } from '../command.js';
+import type { EvidenceTag, RelationType } from '../../atlas/types.js';
+import { claimReport, type TransportReport } from './_atlas-route.js';
+type Api = CommandCtx['api'];
+export declare const ATLAS_SOURCE = "atlas (ATLAS_FAMILIES, src/atlas/families.ts)";
+export declare const LINK_SOURCE = "AtlasModel.canonicalRefs";
+/** A canonical equation recorded for an atlas model, with its graph edge when present. */
+export interface EquationLink {
+    id: string;
+    name: string | null;
+    formula: string | null;
+    /** The canonical equation's edge in the equation graph, or null when the graph has none by that id. */
+    graphEdge: {
+        sources: string[];
+        target: string;
+    } | null;
+}
+/** An atlas model row with its family and recorded canonical-equation links. */
+export interface ModelView {
+    id: string;
+    family: string;
+    dynamics: string;
+    equationLinks: EquationLink[];
+}
+/** A bridge's derived evidence tags and witness observations for the current view. */
+export interface EvidenceView {
+    /** Derived whatever the unobserved witness results are. */
+    derived: EvidenceTag[];
+    /** Derived under some unobserved witness results and not others. */
+    undecided: EvidenceTag[];
+    formalRef: {
+        system: string;
+        fidelity: string;
+        kind: string;
+        url: string;
+    } | null;
+    witnesses: number;
+    /** Present only when the view reads a witness-results source. */
+    results?: WitnessOutcomes;
+}
+/** The witness-result source a view can observe. */
+export type ResultsMode = 'stored' | 'run';
+/** One stored or freshly run witness result for an atlas record. */
+export interface WitnessResultRow {
+    recordId: string;
+    witnessId: string;
+    status: 'checked' | 'refuted' | 'unresolved';
+    reason?: string;
+}
+/** Where stored witness results came from and whether the artifact changed since its last commit. */
+export interface StoredProvenance {
+    path: string;
+    schemaVersion: string;
+    /** What the artifact itself records about when it was produced. */
+    carries: string;
+    /** The last commit touching the file, read from git; null when git cannot say. */
+    lastCommit: {
+        hash: string;
+        date: string;
+    } | null;
+    /** Whether the working-tree file differs from that commit; null when git cannot say. */
+    modifiedSinceCommit: boolean | null;
+}
+/** The witness-result rows a view observed, with provenance for their source. */
+export interface WitnessResults {
+    mode: ResultsMode;
+    /** stored: the artifact and what is known of when it was made. run: what ran. */
+    provenance: StoredProvenance | {
+        ran: string;
+        registered: number;
+    };
+    rows: readonly WitnessResultRow[];
+}
+/** One bridge's witnesses, split by what the results source observed of each. */
+export interface WitnessOutcomes {
+    source: ResultsMode;
+    checked: string[];
+    refuted: string[];
+    unresolved: {
+        id: string;
+        reason: string | null;
+    }[];
+    /** No row in the source: a name, not a result. */
+    notObserved: string[];
+}
+export declare const STORED_RESULTS_PATH = "data/atlas/witness-results.json";
+/** The absolute path `--stored` reads, which an experiment record hashes as an input. */
+export declare function storedResultsFile(): string;
+/**
+ * The committed witness-results artifact. It is a repository file, not shipped
+ * in the package, so its absence is refused rather than read as "no results":
+ * an empty source would render every tag exactly as the default view does,
+ * under a label claiming it had been observed.
+ */
+export declare function loadStoredResults(command?: string): WitnessResults;
+/**
+ * Run the in-process registered witnesses of `bridgeIds`, now, and those of
+ * the norm transports the bridges declare (registered under the transport id).
+ */
+export declare function runResults(api: Api, bridgeIds: ReadonlySet<string>): Promise<WitnessResults>;
+/** Aggregate witness result counts over the bridges a view shows. */
+export interface ResultsTally {
+    mode: ResultsMode;
+    provenance: WitnessResults['provenance'];
+    /** Witnesses of the bridges this view shows, by what the source observed. */
+    witnesses: {
+        checked: number;
+        refuted: number;
+        unresolved: number;
+        notObserved: number;
+    };
+}
+/** The atlas bridge data a map view renders after joining models, evidence, regime and bounds. */
+export interface BridgeView {
+    id: string;
+    family: string;
+    relation: RelationType;
+    premises: {
+        id: string;
+        family: string;
+    }[];
+    conclusion: {
+        id: string;
+        family: string;
+    };
+    transformation: string;
+    assumptions: string[];
+    regime: {
+        inequalities: string[];
+        vacuous: boolean;
+    };
+    bound: {
+        K: number;
+        delta: number;
+        norm: string;
+        horizon: string;
+    } | null;
+    evidence: EvidenceView;
+}
+declare function linkSummary(models: readonly ModelView[]): {
+    source: string;
+    withLink: number;
+    withoutLink: number;
+    of: number;
+};
+/** The focused view for one selected atlas route and the claim its composition makes. */
+export interface RouteView {
+    view: 'route';
+    from: string;
+    to: string;
+    source: string;
+    /** null: no chain of bridges connects the endpoints. */
+    steps: BridgeView[] | null;
+    models: ModelView[];
+    denominator: {
+        bridges: {
+            shown: number;
+            of: number;
+        };
+        models: {
+            shown: number;
+            of: number;
+        };
+    };
+    selection: string;
+    composition: {
+        /** The running composite after each step; null once a step has composed to no claim. */
+        running: {
+            after: string;
+            relation: RelationType | 'no-composite-claim' | null;
+        }[];
+        /** Index into `steps` of the step whose composition the table declines, or null. */
+        breaksAt: number | null;
+        claim: ReturnType<typeof claimReport> | null;
+        missing: string[];
+        /** The declared norm transports that carried the bound across exact steps, with their witness results. */
+        transports: (TransportReport & {
+            result: TransportResult;
+        })[];
+        /** The composite claim's evidence (ADR §4); null when the route makes no composite claim. */
+        evidence: CompositeEvidenceView | null;
+    };
+    equationLinks: ReturnType<typeof linkSummary>;
+    witnessResults?: ResultsTally;
+    epistemics: string;
+}
+/** Parse a FROM,TO route flag into atlas model ids. */
+export declare function parseRoute(raw: string): [string, string];
+/** What a results source observed of a transport's witness; 'no result' when it has no row or there is no source. */
+export type TransportResult = 'checked' | 'refuted' | 'unresolved' | 'no result';
+/** The composite evidence of a bound route: the tags derived, the tags left undecided, and the rule that derived them. */
+export interface CompositeEvidenceView {
+    /** Derived whatever the unobserved results are: never stronger than the weakest part. */
+    derived: EvidenceTag[];
+    undecided: EvidenceTag[];
+    rule: string;
+}
+/** Build the focused atlas route view for two model ids. */
+export declare function buildRouteView(api: Api, from: string, to: string, results?: WitnessResults | null): RouteView;
+export declare const DEFAULT_MAX_ROUTES = 20;
+export declare const MAX_ROUTES_CEILING = 1000;
+/** The multi-route view between two atlas models, including composition outcomes for each route. */
+export interface RoutesView {
+    view: 'routes';
+    from: string;
+    to: string;
+    source: string;
+    routes: {
+        /** Bridge ids, in route order. */
+        bridges: string[];
+        /** Model ids, in route order. */
+        models: string[];
+        composition: RouteView['composition'];
+        /** True for the route `upt path` (and `map --route` without --all-routes) reports. */
+        reported: boolean;
+    }[];
+    /** Each bridge used by a shown route, once, in atlas order. */
+    bridges: BridgeView[];
+    models: ModelView[];
+    count: {
+        shown: number;
+        limit: number;
+        /** True: the search ran out of routes, so `shown` is every simple route. */
+        exhausted: boolean;
+        /** When not exhausted: every route of at most this many bridges is among those found. */
+        completeThrough: number | null;
+        /** When not exhausted: the route limit, or the search's work budget. */
+        stoppedBy: 'limit' | 'budget' | null;
+    };
+    claims: {
+        bound: number;
+        noClaim: Record<string, number>;
+    };
+    denominator: {
+        bridges: {
+            shown: number;
+            of: number;
+        };
+        models: {
+            shown: number;
+            of: number;
+        };
+    };
+    selection: string;
+    equationLinks: ReturnType<typeof linkSummary>;
+    witnessResults?: ResultsTally;
+    epistemics: string;
+}
+/** Build the simple-route atlas view between two model ids up to the requested limit. */
+export declare function buildRoutesView(api: Api, from: string, to: string, limit: number, results?: WitnessResults | null): RoutesView;
+/** The observable-focused atlas view listing bridges that preserve, translate or reject a named observable. */
+export interface ObservableView {
+    view: 'observable';
+    observable: string;
+    source: string;
+    match: string;
+    /** Bridges recording the observable as preserved, or declaring a translation of their bound into it. */
+    bridges: (BridgeView & {
+        preservesMatched: string[];
+        translationsMatched: string[];
+    })[];
+    /** Bridges recording the observable as NOT preserved; a bridge may appear here and above. */
+    notPreserved: {
+        id: string;
+        family: string;
+        relation: RelationType;
+        matched: string[];
+    }[];
+    models: ModelView[];
+    denominator: {
+        bridges: {
+            preserves: number;
+            translates: number;
+            doesNotPreserve: number;
+            recordsNothing: number;
+            of: number;
+        };
+        models: {
+            shown: number;
+            of: number;
+        };
+    };
+    filter: AtlasFilterStats | null;
+    equationLinks: ReturnType<typeof linkSummary>;
+    witnessResults?: ResultsTally;
+    epistemics: string;
+}
+/** Build an observable-focused atlas view by matching recorded observable text and translations. */
+export declare function buildObservableView(api: Api, observable: string, filter: AtlasFilter, results?: WitnessResults | null): ObservableView;
+/** The atlas-wide evidence view of `upt atlas --evidence`: each bridge's derived evidence and the per-tag counts. */
+export interface AtlasEvidenceView {
+    view: 'atlas-evidence';
+    source: string;
+    denominator: {
+        families: number;
+        bridges: number;
+        witnesses: number;
+    };
+    bridges: {
+        id: string;
+        family: string;
+        relation: RelationType;
+        evidence: EvidenceView;
+    }[];
+    /**
+     * Per tag, over every atlas bridge: how many derive it whatever the unobserved
+     * witness results are, and, apart, how many it is undecided on. Every tag is
+     * listed, zero included; a bridge carries several tags, so no column sums to
+     * the bridge count.
+     */
+    byTag: {
+        tag: EvidenceTag;
+        derived: number;
+        undecided: number;
+    }[];
+    /** Declared norm transports, whose witnesses are registered under the transport id. */
+    normTransports: {
+        id: string;
+        bridge: string;
+        witness: string;
+        status: TransportResult;
+    }[];
+    witnessResults?: ResultsTally;
+    epistemics: string;
+}
+/** Every bridge of every family, with its derived evidence: the atlas-wide view of `upt atlas --evidence`. */
+export declare function buildAtlasEvidenceView(api: Api, results?: WitnessResults | null): AtlasEvidenceView;
+/** The text lines `upt atlas --evidence` prints for the view `v`. */
+export declare function atlasEvidenceText(v: AtlasEvidenceView): string[];
+/** Filter options applied to atlas bridge views. */
+export interface AtlasFilter {
+    relation?: RelationType;
+    evidence?: EvidenceTag;
+}
+/** Counts explaining how an atlas bridge filter kept or dropped rows. */
+export interface AtlasFilterStats {
+    relation?: RelationType;
+    evidence?: EvidenceTag;
+    total: number;
+    kept: number;
+    droppedNotMatching: number;
+    /** Bridges whose match depends on witness results the view does not observe. */
+    droppedUndecided: number;
+    /** The witness-results source, when the view reads one. */
+    results?: ResultsMode;
+}
+/** The family-focused atlas view with local models, filed bridges, touching bridges and rejections. */
+export interface FamilyView {
+    view: 'family';
+    family: string;
+    source: string;
+    models: ModelView[];
+    /** Bridges filed under the family, then bridges filed elsewhere that touch one of its models. */
+    bridges: (BridgeView & {
+        role: 'filed' | 'touching';
+    })[];
+    rejections: {
+        id: string;
+        claimed: RelationType;
+        premises: string[];
+        conclusion: string;
+        reason: string;
+    }[];
+    denominator: {
+        models: {
+            shown: number;
+            of: number;
+        };
+        bridgesFiled: {
+            shown: number;
+            of: number;
+        };
+        bridgesTouching: {
+            shown: number;
+            of: number;
+        };
+        rejections: number;
+    };
+    filter: AtlasFilterStats | null;
+    equationLinks: ReturnType<typeof linkSummary>;
+    witnessResults?: ResultsTally;
+    epistemics: string;
+}
+/** Format the bridge-filter counts shown in text and diagram legends. */
+export declare function formatAtlasFilterLegend(s: AtlasFilterStats | null): string | null;
+/** Every bridge a view draws on, for running their witnesses before the view is built with the results. */
+export declare function bridgeIdsOf(v: AtlasView): Set<string>;
+/** Build a family-focused atlas map, applying relation and evidence filters to its bridges. */
+export declare function buildFamilyView(api: Api, name: string, filter: AtlasFilter, results?: WitnessResults | null): FamilyView;
+/** Format witness-result provenance and counts for a rendered atlas view. */
+export declare function resultsLine(t: ResultsTally | undefined): string | null;
+/** Render a focused route view as human-readable CLI output lines. */
+export declare function routeText(v: RouteView): string[];
+/** Render a family atlas view as human-readable CLI output lines. */
+export declare function familyText(v: FamilyView): string[];
+/** Render a multi-route atlas view as human-readable CLI output lines. */
+export declare function routesText(v: RoutesView): string[];
+/** Render an observable atlas view as human-readable CLI output lines. */
+export declare function observableText(v: ObservableView): string[];
+/** Any atlas map view that can be rendered as text or a diagram. */
+export type AtlasView = RouteView | RoutesView | FamilyView | ObservableView;
+/** The one-line denominator every diagram carries in its title. */
+export declare function viewLegend(v: AtlasView): string;
+/** Render an atlas map view as a Mermaid flowchart. */
+export declare function toMermaid(v: AtlasView): string;
+/** Render an atlas map view as a DOT graph. */
+export declare function toDot(v: AtlasView): string;
+export {};
+//# sourceMappingURL=_atlas-map.d.ts.map

package/dist/cli/commands/_atlas-map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_atlas-map.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/_atlas-map.ts"],"names":[],"mappings":"AAsCA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAGhD,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEtE,OAAO,EACL,WAAW,EAMX,KAAK,eAAe,EACrB,MAAM,mBAAmB,CAAC;AAE3B,KAAK,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;AAE7B,eAAO,MAAM,YAAY,kDAAkD,CAAC;AAC5E,eAAO,MAAM,WAAW,6BAA6B,CAAC;AAQtD,0FAA0F;AAC1F,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,uGAAuG;IACvG,SAAS,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CACzD;AAED,gFAAgF;AAChF,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,YAAY,EAAE,CAAC;CAC/B;AAED,sFAAsF;AACtF,MAAM,WAAW,YAAY;IAC3B,2DAA2D;IAC3D,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,oEAAoE;IACpE,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,SAAS,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAClF,SAAS,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,OAAO,CAAC,EAAE,eAAe,CAAC;CAC3B;AAID,oDAAoD;AACpD,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,KAAK,CAAC;AAE3C,oEAAoE;AACpE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,YAAY,CAAC;IAC7C,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,qGAAqG;AACrG,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,mEAAmE;IACnE,OAAO,EAAE,MAAM,CAAC;IAChB,kFAAkF;IAClF,UAAU,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAClD,wFAAwF;IACxF,mBAAmB,EAAE,OAAO,GAAG,IAAI,CAAC;CACrC;AAED,iFAAiF;AACjF,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,WAAW,CAAC;IAClB,iFAAiF;IACjF,UAAU,EAAE,gBAAgB,GAAG;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,IAAI,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACnC;AAED,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,WAAW,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,EAAE,CAAC;IACpD,kDAAkD;IAClD,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,eAAO,MAAM,mBAAmB,oCAAoC,CAAC;AAQrE,yFAAyF;AACzF,wBAAgB,iBAAiB,IAAI,MAAM,CAE1C;AAUD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,SAAY,GAAG,cAAc,CAoCrE;AAED;;;GAGG;AACH,wBAAsB,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,CAiBlG;AAeD,qEAAqE;AACrE,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,WAAW,CAAC;IAClB,UAAU,EAAE,cAAc,CAAC,YAAY,CAAC,CAAC;IACzC,6EAA6E;IAC7E,SAAS,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;CAC1F;AAkBD,kGAAkG;AAClG,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,YAAY,CAAC;IACvB,QAAQ,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3C,UAAU,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,MAAM,EAAE;QAAE,YAAY,EAAE,MAAM,EAAE,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACrD,KAAK,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAC1E,QAAQ,EAAE,YAAY,CAAC;CACxB;AAqFD,iBAAS,WAAW,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAGxH;AAID,yFAAyF;AACzF,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IAC3B,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,WAAW,EAAE;QAAE,OAAO,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC;QAAC,MAAM,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;IAC/F,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE;QACX,wFAAwF;QACxF,OAAO,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,QAAQ,EAAE,YAAY,GAAG,oBAAoB,GAAG,IAAI,CAAA;SAAE,EAAE,CAAC;QACnF,oFAAoF;QACpF,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QACxB,KAAK,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,GAAG,IAAI,CAAC;QAC7C,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,0GAA0G;QAC1G,UAAU,EAAE,CAAC,eAAe,GAAG;YAAE,MAAM,EAAE,eAAe,CAAA;SAAE,CAAC,EAAE,CAAC;QAC9D,6FAA6F;QAC7F,QAAQ,EAAE,qBAAqB,GAAG,IAAI,CAAC;KACxC,CAAC;IACF,aAAa,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC;IAC9C,cAAc,CAAC,EAAE,YAAY,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;CACpB;AAKD,uDAAuD;AACvD,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAMxD;AAoBD,qHAAqH;AACrH,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,SAAS,GAAG,YAAY,GAAG,WAAW,CAAC;AAEjF,0HAA0H;AAC1H,MAAM,WAAW,qBAAqB;IACpC,yFAAyF;IACzF,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,SAAS,EAAE,WAAW,EAAE,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;CACd;AAiED,4DAA4D;AAC5D,wBAAgB,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,GAAE,cAAc,GAAG,IAAW,GAAG,SAAS,CA+BnH;AAID,eAAO,MAAM,kBAAkB,KAAK,CAAC;AACrC,eAAO,MAAM,kBAAkB,OAAO,CAAC;AAEvC,oGAAoG;AACpG,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE;QACN,kCAAkC;QAClC,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,iCAAiC;QACjC,MAAM,EAAE,MAAM,EAAE,CAAC;QACjB,WAAW,EAAE,SAAS,CAAC,aAAa,CAAC,CAAC;QACtC,sFAAsF;QACtF,QAAQ,EAAE,OAAO,CAAC;KACnB,EAAE,CAAC;IACJ,+DAA+D;IAC/D,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,KAAK,EAAE;QACL,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,4EAA4E;QAC5E,SAAS,EAAE,OAAO,CAAC;QACnB,yFAAyF;QACzF,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;QAC/B,wEAAwE;QACxE,SAAS,EAAE,OAAO,GAAG,QAAQ,GAAG,IAAI,CAAC;KACtC,CAAC;IACF,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC;IAC3D,WAAW,EAAE;QAAE,OAAO,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC;QAAC,MAAM,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;IAC/F,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC;IAC9C,cAAc,CAAC,EAAE,YAAY,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;CACpB;AAMD,yFAAyF;AACzF,wBAAgB,eAAe,CAC7B,GAAG,EAAE,GAAG,EACR,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,EACb,OAAO,GAAE,cAAc,GAAG,IAAW,GACpC,UAAU,CAiDZ;AAID,+GAA+G;AAC/G,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,wGAAwG;IACxG,OAAO,EAAE,CAAC,UAAU,GAAG;QAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC;QAAC,mBAAmB,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,EAAE,CAAC;IACxF,6FAA6F;IAC7F,YAAY,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,YAAY,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IAC1F,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,WAAW,EAAE;QACX,OAAO,EAAE;YAAE,SAAS,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAC;YAAC,eAAe,EAAE,MAAM,CAAC;YAAC,cAAc,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC;QAChH,MAAM,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC;KACvC,CAAC;IACF,MAAM,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAChC,aAAa,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC;IAC9C,cAAc,CAAC,EAAE,YAAY,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;CACpB;AAcD,oGAAoG;AACpG,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,GAAG,EACR,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,WAAW,EACnB,OAAO,GAAE,cAAc,GAAG,IAAW,GACpC,cAAc,CA0DhB;AAID,qHAAqH;AACrH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IACtE,OAAO,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,YAAY,CAAC;QAAC,QAAQ,EAAE,YAAY,CAAA;KAAE,EAAE,CAAC;IAC1F;;;;;OAKG;IACH,KAAK,EAAE;QAAE,GAAG,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClE,uFAAuF;IACvF,cAAc,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,eAAe,CAAA;KAAE,EAAE,CAAC;IAC3F,cAAc,CAAC,EAAE,YAAY,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,8GAA8G;AAC9G,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,GAAE,cAAc,GAAG,IAAW,GAAG,iBAAiB,CAwBzG;AAED,qEAAqE;AACrE,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,EAAE,CAqBhE;AAGD,oDAAoD;AACpD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,QAAQ,CAAC,EAAE,WAAW,CAAC;CACxB;AAED,yEAAyE;AACzE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB,EAAE,MAAM,CAAC;IAC3B,gFAAgF;IAChF,gBAAgB,EAAE,MAAM,CAAC;IACzB,2DAA2D;IAC3D,OAAO,CAAC,EAAE,WAAW,CAAC;CACvB;AAED,uGAAuG;AACvG,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,iGAAiG;IACjG,OAAO,EAAE,CAAC,UAAU,GAAG;QAAE,IAAI,EAAE,OAAO,GAAG,UAAU,CAAA;KAAE,CAAC,EAAE,CAAC;IACzD,UAAU,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,YAAY,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5G,WAAW,EAAE;QACX,MAAM,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC;QACtC,YAAY,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC;QAC5C,eAAe,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC;QAC/C,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IACF,MAAM,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAChC,aAAa,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC;IAC9C,cAAc,CAAC,EAAE,YAAY,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;CACpB;AAQD,yEAAyE;AACzE,wBAAgB,uBAAuB,CAAC,CAAC,EAAE,gBAAgB,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,CAWjF;AAQD,2GAA2G;AAC3G,wBAAgB,WAAW,CAAC,CAAC,EAAE,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAGrD;AAED,+FAA+F;AAC/F,wBAAgB,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAE,cAAc,GAAG,IAAW,GAAG,UAAU,CAwD9H;AAsCD,6EAA6E;AAC7E,wBAAgB,WAAW,CAAC,CAAC,EAAE,YAAY,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAgBtE;AAkED,sEAAsE;AACtE,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,EAAE,CAuChD;AAED,qEAAqE;AACrE,wBAAgB,UAAU,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM,EAAE,CAmClD;AAED,0EAA0E;AAC1E,wBAAgB,UAAU,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM,EAAE,CAoDlD;AAED,0EAA0E;AAC1E,wBAAgB,cAAc,CAAC,CAAC,EAAE,cAAc,GAAG,MAAM,EAAE,CAkC1D;AAgBD,oEAAoE;AACpE,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,cAAc,CAAC;AAE7E,mEAAmE;AACnE,wBAAgB,UAAU,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAmC/C;AAsCD,uDAAuD;AACvD,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CA8B9C;AAED,+CAA+C;AAC/C,wBAAgB,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CA4B1C"}