universal-physics-tensor 0.47.1 → 1.0.1

package/dist/cli/main.js

@@ -17,9 +17,14 @@ import * as api from '../cli-api.js';
 import { UsageError, CliError } from './errors.js';
 import { parseArgs } from './args.js';
 import { packageVersion } from './version.js';
+import { glossaryText } from './statuses.js';
 import { resolveCommand } from './command.js';
+import { recordInvocation, replayRecord, showRecord } from './record.js';
 // Side-effect import: registers every ported command (see commands/index.ts).
 import './commands/index.js';
+// `Io` is the writer surface `runCli` needs. In production these wrap
+// `process.stdout`/`process.stderr` with exact `console.log`/`console.error`
+// semantics; tests pass a capturing stand-in as the optional second argument.
 function stdoutLine(line) {
     process.stdout.write((line ?? '') + '\n');
 }
@@ -35,179 +40,373 @@ const unknownCommandMessage = (name) => `Unknown command '${name}'. See \`upt he
 // end documenting `upt version` and the global `--json` flag. Do NOT hand-edit
 // tests/cli/golden/help.txt against this — that golden pins the OLD bin/upt.mjs
 // and is only regenerated in Task 8, once main.ts becomes the live CLI.
-const HELP_TEXT = `upt — Universal Physics Tensor bridge-inference CLI
-
-Usage:
-  upt explain <quantity> [name=value | name] ...
-        Explain how the graph determines a quantity: the identifiability
-        verdict, recovered value, derivation chains, and whether the inputs
-        are dimensionally sufficient. A name that is not a quantity of the
-        graph is reported NOT COVERED, with near names, and exits 1.
-        e.g.  upt explain hawking-temperature mass=1.989e30
-
-  upt priority
-        Triage the speculative bridges by structural DECIDABILITY against
-        established physics (Tiers 1-3). NOT a credibility ranking.
-
-  upt audit
-        Try to derive every built-in bridge equation by dimensions: which
-        re-derive as a recognized monomial (with the prefactor recovered),
-        which are decoys, which are dimensionally open.
-
-  upt map [--source=catalog|canonical|both] [--format=text|mermaid|dot|svg]
-          [--proposed] [--out=PATH] [--equation "TARGET = EXPR"]
-        Map how the equations LINK: connected components (clusters) of the
-        graph by shared quantities, the anchored core, the link hubs, and
-        the isolated tail.
-        --format=mermaid|dot|svg emits the VISUAL map (quantities = nodes,
-        equations = junctions colored by status, one subgraph per component).
-        text (default) is the unchanged linkage printout. svg renders the dot
-        layout via the optional @viz-js/viz peer (npm i @viz-js/viz; or pipe
-        dot through "dot -Tsvg"). --proposed overlays the unadjudicated
-        identity-consequence relations (gray dashed). --out writes to a file
-        (default stdout).
-        --equation "TARGET = EXPR" injects YOUR OWN equation as a violet 'user'
-        node and reports where it lands (which cluster / shared quantities), with
-        a "did you mean?" hint for names that miss the catalog vocabulary. Use
-        underscores for multi-word quantities (photon_energy -> photon-energy).
-        e.g.  upt map --equation "period = 2*pi*sqrt(length/gravity)"
-
-  upt candidates [--source=catalog|canonical|both]
-        Propose candidate cross-cluster links (quantities of the same
-        dimension in different clusters) for PHYSICIST REVIEW — a
-        coincidence-heavy surface, not discovered bridges.
-
-  upt predict
-        Project the catalog onto the (scale × force) regime plane and rank
-        the EMPTY regime cells as undiscovered-connection hypotheses
-        (triadic closure). Makes the namesake tensor operational. Review
-        surface, not discovered bridges.
-
-  upt discover [--source=catalog|canonical|both]
-        VET the link candidates through the inference suite: hypothesise
-        each identification a≡b and test whether it merges disconnected
-        physics, unlocks quantities, and stays numerically consistent.
-        Ranks promising / inert / contradictory.
-        --source=canonical runs the funnel on the standard-physics L-layer
-        ALONE (bridges excluded) — new candidates from established physics,
-        and a self-consistency check (expect 0 contradictory).
-        --derive emits, for each 'promising' identification, the ONE algebraic
-        relation it implies (monomial elimination) as an UNADJUDICATED, math-only
-        proposal — NOT a bridge (Part-VI §XXVII-B). Pairs with --source=canonical.
-        --max-orders=N tunes the magnitude-clash threshold (default 3); looser N
-        keeps more candidates 'promising', tighter N falsifies more as clashes.
-        --anchor=k=v[,k2=v2] overrides the numeric anchor (default mass=M_sun)
-        for the consistency/closure check. Both reshape the candidate pool that
-        --derive consumes.
-
-  upt connectors
-        Of the 20 ISOLATED bridges, which could connect to the anchored
-        core via a same-dimension identification? The structural frontier —
-        same-kind connectors are the motivated set for physicist review.
-
-  upt coverage
-        Audit the catalog's empirical grounding — which bridges are
-        data-confronted vs graph-computable vs encoded-only vs thin — to
-        target the physicist review. Fabricates nothing.
-
-  upt canonical
-        List the canonical-equation registry — the standard-physics L-layer
-        (textbook "answer key") with each entry's fidelity (L0/L1/L2),
-        domain, and bridge partners, plus the coverage gap.
-
-  upt recover
-        Validate bridges against standard physics: classify each bridge↔
-        canonical link as restates-canonical (F4 circularity — NOT a
-        discovery), recovers (undeclared structural match), or
-        dimensional-only.
-
-  upt symbolic [--simplify]
-        Compose bridges' SYMBOLIC (AST) forms, not just their numeric
-        evaluators (the Observable contract). Shows the CT-1 / CT-1b chains
-        composed by substitution, dimensionally validated and evaluable.
-        With --simplify, folds the composed AST via MathTS (k_B cancels),
-        re-validated dimensionally + numerically.
-
-  upt eval "<formula>" name=value ...
-        Evaluate YOUR OWN scalar formula (safe — arithmetic only). Knows
-        pi/tau and sqrt/exp/ln/sin/...; any other name must be supplied.
-        e.g.  upt eval "hbar*c^3/(8*pi*G*M*k_B)" hbar=1.054571817e-34 \\
-                       c=299792458 G=6.6743e-11 M=1.989e30 k_B=1.380649e-23
-
-  upt derive <target:dim> <var:dim> ... [--formula "<expr>"]
-        Derive YOUR OWN equation's dimensional form. <dim> is a named
-        dimension (length, time, mass, velocity, ...), a constant (hbar, c,
-        G, k_B, e), or explicit (L^3.M^-1.T^-2). With --formula, also verify
-        it and recover the dimensionless prefactor.
-        e.g.  upt derive period:time length:length gravity:acceleration \\
-                       --formula "2*pi*sqrt(length/gravity)"
-
-  upt confront [--bridge=be-XX] [--rigor=stringent|moderate|loose] [--frontier]
-               [--sensitivity]
-        Run the catalog's committed real-data confrontations (predicted vs
-        observed), each tagged with its RIGOR tier. --rigor filters to one tier
-        (the precision core, or the loose tail that needs better data); --frontier
-        ranks the σ-tests by margin to exclusion (tightest = most at-risk under new
-        data); --sensitivity ranks the prediction's input elasticities.
-
-  upt axes
-        Axis-discrimination audit — which tensor classification axes GATE the
-        discovery funnel (an axis gates only when it MEASURABLY fires). Reproduces
-        the rank-7 result (topology/statistics/symmetry classify but do not gate).
-
-  upt evaluate <be-NN> key=value ...
-        Numerically evaluate a closed-form / spacetime bridge (BE-51/52/55..65).
-        With no bridge id, lists the evaluable bridges and their input keys.
-        e.g.  upt evaluate be-63 mu_e=2   → Chandrasekhar mass ≈ 1.456 M_sun
-              (ideal degenerate gas, with m_u and M_sun = 1.989e30 kg)
-
-  upt ground <quantityA> <quantityB>
-        The epistemic-grounding ledger for one discovery candidate a=b: which
-        falsifiers passed, which abstained (gaps), and the honest ceiling.
-
-  upt regime <family> [--at group=value ...]
-        Where in parameter space a family's models are claimed to apply. Each
-        model reads valid, VIOLATED (naming the failed inequality), or UNKNOWN
-        — a coordinate --at never supplied is NOT a pass. Also prints the
-        pairwise regime overlap and, over the box --at states, the uncovered
-        points. A group can be given by name (spaces ignored, * for ·) or
-        through its parameters (--at tau=1 D=1 q=1 gives tau · D · q^2 = 1);
-        a key no record uses is named and ignored.
-        e.g.  upt regime oscillators --at theta0=0.2
-
-  upt path <from> <to> [--at group=value ...]
-        The chain of bridges between two models, the relation it composes to,
-        the composed (K, delta) with its norm, and whether every bridge's regime
-        and every horizon still holds at --at (a bound outside its regime is
-        not claimed). When the composition table declines to compose, the path
-        carries no bound: it prints 'no composite claim' and exits 0.
-        e.g.  upt path model-pendulum model-spring --at theta0=0.2 T0=1 t=10
-
-  upt atlas [<bridge-id>]
-        One atlas bridge with EVERY qualification visible: relation, side
-        conditions, regime, bound and horizon, witnesses, counterexamples and
-        formal reference. Empty sections print as "none stated". With no id,
-        lists every bridge of every family.
-        e.g.  upt atlas ab-pendulum-linear
-
-  upt probe <scan|show|run|candidates|falsify|rank|design|reproduce>
-        Experimental expression/residual search (Product B). Orthogonal to
-        \`upt discover\`, which vets quantity identifications a≡b and is frozen.
-        Relation-link gaps are not searchable here — use \`upt discover\`.
-
-  upt help        Show this message.
-
-Run with no arguments for a short demo.
-
-  upt version     Show the installed CLI/package version.
-  --json          Global flag: emit a machine-readable JSON envelope instead of
-                  text (where the command supports it).`;
+const HELP_TEXT = `upt — Universal Physics Tensor bridge-inference CLI
+
+Usage:
+  upt explain <quantity> [name=value | name] ...
+              [--source=catalog|canonical|both] [--json]
+        Explain how the graph determines a quantity: the identifiability
+        verdict, recovered value, derivation chains, and whether the inputs
+        are dimensionally sufficient. A name that is not a quantity of the
+        graph is reported NOT COVERED, with near names and what \`upt search\`
+        finds for its words, and exits 1. --source picks the graph (default
+        catalog); the result names the source it used.
+        e.g.  upt explain hawking-temperature mass=1.989e30
+
+  upt priority [--source=catalog|canonical|both]
+        Triage the speculative bridges by structural DECIDABILITY against
+        established physics (Tiers 1-3). NOT a credibility ranking.
+
+  upt audit [--source=catalog|canonical|both]
+        Try to derive every built-in bridge equation by dimensions: which
+        re-derive as a recognized monomial (with the prefactor recovered),
+        which are decoys (a failed dimensional reconstruction, not a physical
+        refutation), which are dimensionally open.
+
+  upt map [--source=catalog|canonical|both|poster] [--format=text|mermaid|dot|svg]
+          [--proposed [--anchor=k=v,...] [--max-orders=N]] [--out=PATH]
+          [--equation "TARGET = EXPR" [--equation-only]] [--around=QUANTITY [--depth=N]]
+          [--relation=TYPE] [--evidence=TAG] [--route=FROM,TO [--all-routes
+          [--max-routes=N]]] [--family=NAME] [--observable=NAME] [--stored | --run]
+        Map how the equations LINK: connected components (clusters) of the
+        graph by shared quantities, the anchored core, the link hubs, and
+        the isolated tail.
+        --format=mermaid|dot|svg emits the VISUAL map (quantities = nodes,
+        equations = junctions colored by status, one subgraph per component).
+        text (default) is the unchanged linkage printout. svg renders the dot
+        layout via the optional @viz-js/viz peer (npm i @viz-js/viz; or pipe
+        dot through "dot -Tsvg"). --proposed overlays the unadjudicated
+        identity-consequence relations (gray dashed). --out writes to a file
+        (default stdout).
+        --equation "TARGET = EXPR" injects YOUR OWN equation as a violet 'user'
+        node and reports where it lands (which cluster / shared quantities), with
+        a "did you mean?" hint for names that miss the catalog vocabulary. Use
+        underscores for multi-word quantities (photon_energy -> photon-energy).
+        --around=QUANTITY [--depth=N] focuses on the edges within N hops of one
+        quantity and states how many of the source's edges it kept.
+        --relation / --evidence filter edges by their Atlas relation or derived
+        evidence; --route, --family and --observable map the ATLAS (models and
+        the bridges between them) instead, and --stored / --run resolve their
+        evidence from witness results. \`upt help map\` describes every flag.
+        e.g.  upt map --equation "period = 2*pi*sqrt(length/gravity)"
+
+  upt candidates [--source=catalog|canonical|both]
+        Propose candidate cross-cluster links (quantities of the same
+        dimension in different clusters) for PHYSICIST REVIEW — a
+        coincidence-heavy surface, not discovered bridges.
+
+  upt frontier [--json]
+        Print two lists apart: null results (records already examined that
+        did not become an accepted connection) and the frontier (connections
+        the catalog does not contain). An empty list is printed as empty.
+        Neither list is a verdict and neither list changes a score.
+
+  upt predict [--source=catalog|canonical|both]
+        Project the catalog onto the (scale × force) regime plane and rank
+        the EMPTY regime cells as undiscovered-connection hypotheses
+        (triadic closure). Makes the namesake tensor operational. Review
+        surface, not discovered bridges.
+
+  upt discover [--source=catalog|canonical|both]
+        VET the link candidates through the inference suite: hypothesise
+        each identification a≡b and test whether it merges disconnected
+        physics, unlocks quantities, and stays numerically consistent.
+        Ranks promising / inert / contradictory.
+        --source=canonical runs the funnel on the standard-physics L-layer
+        ALONE (bridges excluded) — new candidates from established physics,
+        and a self-consistency check (expect 0 contradictory).
+        --derive emits, for each 'promising' identification, the ONE algebraic
+        relation it implies (monomial elimination) as an UNADJUDICATED, math-only
+        proposal — NOT a bridge (Part-VI §XXVII-B). Pairs with --source=canonical.
+        --max-orders=N tunes the magnitude-clash threshold (default 3); looser N
+        keeps more candidates 'promising', tighter N falsifies more as clashes.
+        --anchor=k=v[,k2=v2] overrides the numeric anchor (default mass=M_sun)
+        for the consistency/closure check. Both reshape the candidate pool that
+        --derive consumes. Adjudicated candidates fold out of the promising
+        list; --show-adjudicated lists them with their recorded verdict.
+        Each promising row states which independent falsifiers ran and which
+        abstained, and what would make it testable; --require-falsifier lists
+        only rows one of them ran on and survived.
+
+  upt connectors [--source=catalog|canonical|both]
+        Of the graph's ISOLATED bridges (how many depends on --source, default
+        both; the command prints the count), which could connect to the
+        anchored core via a same-dimension identification? The structural
+        frontier — same-kind connectors are the motivated set for physicist
+        review.
+
+  upt coverage
+        Audit the catalog's empirical grounding — which bridges are
+        data-confronted vs graph-computable vs encoded-only vs thin — to
+        target the physicist review. Fabricates nothing.
+
+  upt canonical [--vars]
+        List the canonical-equation registry — the standard-physics L-layer
+        (textbook "answer key") with each entry's fidelity (L0/L1/L2),
+        domain, and bridge partners, plus the coverage gap. --vars also prints
+        each entry's target and governing variable names.
+
+  upt recover
+        Validate bridges against standard physics: classify each bridge↔
+        canonical link as restates-canonical (F4 circularity — NOT a
+        discovery), recovers (undeclared structural match), or
+        dimensional-only. A chain of two symbolic edges is reported
+        separately. That comparison does not cancel dimensionful constants,
+        and a chain is never restates-canonical.
+
+  upt symbolic [--simplify]
+        Compose bridges' SYMBOLIC (AST) forms, not just their numeric
+        evaluators (the Observable contract). Shows the CT-1 / CT-1b chains
+        composed by substitution, dimensionally validated and evaluable.
+        With --simplify, folds the composed AST via MathTS (k_B cancels),
+        re-validated dimensionally + numerically. Each chain also prints a
+        runnable \`upt eval\` form, a LaTeX form (\\frac for every division)
+        and a symbol table: meaning, value, SI unit and source of each symbol.
+
+  upt eval "<formula>" name=value ...
+        Evaluate YOUR OWN scalar formula (safe — arithmetic only). Knows the
+        constants pi and tau and the functions sqrt, cbrt, exp, ln, log
+        (natural, = ln), log10, log2, abs, sin, cos, tan, asin, acos, atan,
+        sinh, cosh, tanh, pow, atan2. log is the NATURAL logarithm: use log10
+        or log2 for base 10 or 2. A bare e is the elementary charge. E is
+        energy: pass E=<number>. Euler's number is exp(1) or euler.
+        e_charge is the same charge. A value may be a number,
+        a unit, or an expression (v=0.6*c). \`upt help eval\` describes every flag.
+        e.g.  upt eval "hbar*c^3/(8*pi*G*M*k_B)" hbar=1.054571817e-34 \\
+                       c=299792458 G=6.6743e-11 M=1.989e30 k_B=1.380649e-23
+
+  upt derive <target:dim> <var:dim> ... [--formula "<expr>"] [--debug]
+        Derive YOUR OWN equation's dimensional form. <dim> is a named
+        dimension (length, time, mass, velocity, ...), a constant (hbar, c,
+        G, k_B, e), or explicit (L^3.M^-1.T^-2). With --formula, also verify
+        it and recover the dimensionless prefactor. \`upt help derive\` describes every flag.
+        e.g.  upt derive period:time length:length gravity:acceleration \\
+                       --formula "2*pi*sqrt(length/gravity)"
+
+  upt confront [be-XX] [--bridge=be-XX] [--rigor=stringent|moderate|loose]
+               [--frontier] [--sensitivity]
+        Run the catalog's committed real-data confrontations (predicted vs
+        observed), each tagged with its RIGOR tier. A positional be-XX selects
+        that bridge, the same as --bridge (this is the command \`upt explain be-XX\`
+        prints). A positional that is not a bridge id is an error. --rigor filters to one tier
+        (the precision core, or the loose tail that needs better data); --frontier
+        ranks the σ-tests by margin to the 1σ acceptance threshold (a software
+        criterion, not a scientific exclusion level; tightest = most at-risk under
+        new data); --sensitivity ranks the prediction's input elasticities.
+        Each record names its statistical object, criterion and data origin;
+        consistency ratios (no σ) are counted apart from the σ-tests.
+        be-53 is not a registered confrontation. \`upt confront be-53\` refuses
+        and names the missing table and running procedure. It prints no
+        residual and does not change the catalog status.
+
+  upt axes
+        Axis-discrimination audit — which tensor classification axes GATE the
+        discovery funnel (an axis gates only when it MEASURABLY fires). Reproduces
+        the rank-7 result (topology/statistics/symmetry classify but do not gate).
+
+  upt evaluate <be-NN | case-id> key=value[unit] ... [--sigma key=u ...] [--corr a,b=rho ...]
+        Numerically evaluate a closed-form / spacetime bridge (BE-51/52/55..65),
+        or an applied case (resistor noise, Brownian sphere, damped resonator):
+        parent and scalar equations, observable, regime checks and a route to
+        measurement; a violated regime check prints NOT QUALIFIED and exits 3.
+        Every input declares its unit and meaning; a value may carry a unit
+        (d_m=1um, T_K=25degC) or an expression (M_kg=1*M_sun) and converts
+        only when the dimensions agree.
+        With no id, lists the evaluable bridges and cases and their inputs.
+        --sigma/--corr propagate input uncertainties to first order, with a
+        curvature check that flags an unreliable linearization. be-51 and be-52
+        also warn when the ray or the periapsis is not above 10 Schwarzschild
+        radii; the number printed is still the weak-field formula.
+        e.g.  upt evaluate be-63 mu_e=2   → Chandrasekhar mass ≈ 1.456 M_sun
+              (ideal degenerate gas, with m_u and M_sun = 1.989e30 kg)
+
+  upt ground <quantityA> <quantityB> [--source=catalog|canonical|both]
+        The epistemic-grounding ledger for one discovery candidate a=b: which
+        falsifiers passed, which abstained (gaps), and the honest ceiling.
+        Pass the --source (and --anchor/--max-orders) of the discover run that
+        listed the pair.
+
+  upt regime <family> [--at group=value ...] [--assume premise] [--deny premise]
+        Where in parameter space a family's models are claimed to apply. Each
+        model reads valid, VIOLATED (naming the failed inequality), or UNKNOWN
+        — a coordinate --at never supplied is NOT a pass; one that states no
+        inequality reads 'no machine condition evaluated (VACUOUS …)'. Prose premises are
+        never evaluated: --assume records your declaration (not evidence),
+        --deny marks one contradicted, the rest stay unspecified. Also prints the
+        pairwise regime overlap and, over the box --at states, the uncovered
+        points. A group can be given by name (spaces ignored, * for ·) or
+        through its parameters (--at tau=1 D=1 q=1 gives tau · D · q^2 = 1);
+        a key no record uses is named and ignored. Exit 3 when any record is
+        VIOLATED. VACUOUS, UNKNOWN and a survey with no violated record exit 0.
+        e.g.  upt regime oscillators --at theta0=0.2
+
+  upt path <from> <to> [--at group=value ...] [--tolerance=[observable:]EPS]
+           [--sweep name=lo:hi:n[:log]] [--compare=<to2>] [--csv]
+        The chain of bridges between two models (across families when a
+        bridge ends in another family's model), the relation it composes to,
+        the composed (K, delta) with its norm, and whether every bridge's regime
+        and every horizon still holds at --at (a bound outside its regime is
+        not claimed, and a failed check prints no bound number). Values may
+        be expressions (theta0=pi/2). When the composition table declines to compose, the path
+        carries no bound: it prints 'no composite claim', names what composing
+        would need, and exits 0. Across families a matching norm name is not a
+        transport (reason cross-family-unmapped, still exit 0). A multi-premise
+        bridge is named and is not a step. Exit 3 is a regime or horizon that
+        was checked and failed, including under --json. --sweep evaluates the same verdict at 2–200
+        samples of one parameter (a row outside a regime or past a horizon
+        carries no error); --csv writes the rows as CSV; --compare=<to2> sweeps
+        a second route from the same source beside it and marks NEITHER, with
+        no number, where no encoded limit applies. --tolerance=EPS judges
+        adequacy in the bound's own norm (exit 3 if inadequate);
+        --tolerance=phase:EPS or position:EPS judges it through a translation
+        a bridge declares (ab-pendulum-linear), carried only by a later
+        bridge's declared carriage (ab-spring-lc carries phase).
+        e.g.  upt path model-pendulum model-spring --at theta0=0.2 T0=1 t=10
+              upt path model-pendulum model-spring --at T0=1 t=10 --sweep theta0=0.1:0.8:8
+
+  upt atlas [<bridge-id>] [--run]
+  upt atlas --evidence [--stored | --run]
+        One atlas bridge with EVERY qualification visible: relation, side
+        conditions, regime, bound and horizon, witnesses, counterexamples and
+        formal reference. Empty sections print as "none stated". A proved
+        bridge that also derives contradicted prints proved, with unresolved
+        counterexample: yes. The proof stays and the counterexample stays
+        unresolved. Evidence is shown by claim, and each witness with its
+        execution status; --run executes the in-process registered witnesses
+        (exit 3 if refuted).
+        With no id, lists every bridge of every family; --evidence (or
+        --stored / --run with no id) shows every bridge's derived evidence,
+        per-tag counts and the witness results it observes.
+        A catalog id be-<n> with a stored formal reference prints that
+        reference. It is a catalog equation, not an atlas bridge, and the
+        command does not derive formally-proved from it.
+        e.g.  upt atlas ab-pendulum-linear
+              upt atlas be-16
+
+  upt search <word> ...
+        Find a catalog bridge, canonical equation, atlas model or bridge,
+        quantity or applied case by name, id, symbol, alias or description,
+        with the command that inspects each. An equal dimension is never a match.
+        e.g.  upt search thermal noise
+              upt search skin
+
+  upt retrieve <claim>
+        Atlas search for a claim. The default does not call out of process.
+        --embed asks a local Ollama model for a proposal; acceptance stays
+        the atlas search. If Ollama cannot be used, the atlas search is
+        still printed and the reason is named. Exit 0.
+        \`upt help retrieve\` lists every flag.
+        e.g.  upt retrieve period of a pendulum
+
+  upt metric <minkowski|schwarzschild|flrw|kerr> [key=value ...] [--geodesic] [--json]
+        Christoffel symbols, Ricci, the Ricci scalar and the Kretschmann
+        scalar. Parameters accept units and constant expressions (M=1Msun,
+        theta=pi/2). Alias: upt curvature. \`upt help metric\` describes every flag.
+        e.g.  upt metric schwarzschild M=1Msun r=1e8 theta=pi/2
+
+  upt testplan <be-NN | case-id> [--json]
+        The measurement plan stored on a confrontation or an applied case.
+        \`upt help testplan\` describes every flag.
+        e.g.  upt testplan be-58
+
+  upt probe <scan|show|run|candidates|falsify|rank|design|reproduce|study>
+        Experimental expression/residual search (Product B). Orthogonal to
+        \`upt discover\`, which vets quantity identifications a≡b and is frozen.
+        Relation-link gaps are not searchable here — use \`upt discover\`.
+        \`study --data=FILE\` fits calibrated observations (units, σ) on
+        exploratory rows only and tests on withheld holdout/replication rows.
+        \`upt help probe\` lists every flag.
+
+  upt help        Show this message.
+  upt help <command>
+                  Show one command's usage and flags.
+  upt help statuses
+                  Define every status word the commands print (VACUOUS,
+                  UNKNOWN, VIOLATED, ADEQUATE, NEITHER, DECOY, NOT COVERED, …).
+                  Each --json envelope carries the definitions of the statuses
+                  its command can emit, under \`definitions\`.
+
+Run with no arguments for a short demo.
+
+  upt version     Show the installed CLI/package version.
+  --json          Global flag: emit a machine-readable JSON envelope instead of
+                  text (where the command supports it).
+
+  --record=FILE <command> ...
+                  Run the command unchanged and append one JSONL entry to FILE:
+                  arguments, stdout, stderr, exit code, versions, parser, each
+                  constant table by name, the constants the command's code can
+                  reach, the files it reads and its modules' sources, and hashes
+                  of each. Failed invocations are recorded too.
+  --replay=FILE [--json]
+                  Re-run every entry of FILE; report each as reproduced, differs
+                  (naming the stream and first differing line) or not replayable,
+                  name every changed version, parser, constant or module (and
+                  whether the entry's command can reach it), and flag edits. A
+                  file written with --out is replayed to a temporary path and
+                  compared by hash. Exit 0 all reproduced unchanged, 3 any
+                  differs, 1 otherwise.
+  --show-record=FILE [--json]
+                  Print FILE as a readable transcript, running nothing.`;
+const GLOBAL_FILE_OPTION = /^--(record|replay|show-record)(?:=(.*))?$/;
 /**
  * Verb-first CLI entry point. `argv` is the command + its arguments (NOT
  * `process.argv` — callers slice off the node/script prefix themselves, as
  * `bin/upt.mjs` did with `process.argv.slice(2)`).
+ *
+ * Leading `--record=FILE` / `--replay=FILE` / `--show-record=FILE` are global
+ * options (see `record.ts`); anything else goes to `dispatch` unchanged.
  */
 export async function runCli(argv, io = defaultIo) {
+    const files = {};
+    let json = false;
+    let i = 0;
+    try {
+        for (; i < argv.length; i++) {
+            const m = GLOBAL_FILE_OPTION.exec(argv[i]);
+            if (m) {
+                const name = m[1];
+                if (!m[2])
+                    throw new UsageError(`upt: '--${name}' requires '--${name}=FILE'`);
+                if (files[name] !== undefined)
+                    throw new UsageError(`upt: '--${name}' given more than once`);
+                files[name] = m[2];
+            }
+            else if (argv[i] === '--json' && (files.replay !== undefined || files['show-record'] !== undefined)) {
+                json = true;
+            }
+            else {
+                break;
+            }
+        }
+        if (i === 0)
+            return await dispatch(argv, io);
+        const rest = argv.slice(i);
+        if (Object.keys(files).length > 1) {
+            throw new UsageError('upt: use one of --record, --replay and --show-record at a time');
+        }
+        if (files.record !== undefined)
+            return await recordInvocation(files.record, rest, dispatch, io, api);
+        if (rest.length > 0) {
+            throw new UsageError(`upt: '--${files.replay !== undefined ? 'replay' : 'show-record'}' takes no command (got '${rest[0]}')`);
+        }
+        if (files.replay !== undefined)
+            return await replayRecord(files.replay, json, dispatch, io, api);
+        return showRecord(files['show-record'], json, io);
+    }
+    catch (e) {
+        if (e instanceof UsageError) {
+            io.err(e.message);
+            return 2;
+        }
+        if (e instanceof CliError) {
+            io.err(e.message);
+            return 1;
+        }
+        throw e;
+    }
+}
+async function dispatch(argv, io) {
     const { out, err, write } = io;
     try {
         const [cmd, ...rest] = argv;
@@ -235,6 +434,10 @@ export async function runCli(argv, io = defaultIo) {
         }
         if (cmd === 'help' || cmd === '--help' || cmd === '-h') {
             const target = rest[0];
+            if (target === 'statuses') {
+                out(glossaryText());
+                return 0;
+            }
             if (target !== undefined) {
                 const command = resolveCommand(target);
                 if (!command)

package/dist/cli/main.js.map

@@ -1 +1 @@
-{"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,GAAG,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAmB,MAAM,cAAc,CAAC;AAC/D,8EAA8E;AAC9E,OAAO,qBAAqB,CAAC;AAY7B,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,SAAS,GAAO,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAE7E,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,oBAAoB,IAAI,sBAAsB,CAAC;AAEvG,6EAA6E;AAC7E,+EAA+E;AAC/E,gFAAgF;AAChF,wEAAwE;AACxE,MAAM,SAAS,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wDAsKsC,CAAC;AAEzD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAc,EAAE,EAAE,GAAO,SAAS;IAC7D,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAE/B,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;QAE5B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,sEAAsE;YACtE,sEAAsE;YACtE,iDAAiD;YACjD,GAAG,CAAC,8DAA8D,CAAC,CAAC;YAEpE,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;YAC7C,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,IAAI,QAAQ,CAAC,wEAAwE,CAAC,CAAC;YAC/F,CAAC;YACD,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,EAAE,CAAC,qBAAqB,EAAE,eAAe,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YACrG,MAAM,UAAU,GAAe,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAC3E,MAAM,aAAa,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACvD,IAAI,aAAa,KAAK,CAAC;gBAAE,OAAO,aAAa,CAAC;YAE9C,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;YAC/C,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,MAAM,IAAI,QAAQ,CAAC,yEAAyE,CAAC,CAAC;YAChG,CAAC;YACD,MAAM,YAAY,GAAG,SAAS,CAAC,UAAU,EAAE,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC;YAClE,MAAM,WAAW,GAAe,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAC7E,OAAO,MAAM,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;gBACvC,IAAI,CAAC,OAAO;oBAAE,MAAM,IAAI,UAAU,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC;gBAClE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,CAAC,CAAC;YACX,CAAC;YACD,GAAG,CAAC,SAAS,CAAC,CAAC;YACf,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAC7D,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;YACtB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAC/D,OAAO,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC5B,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACf,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC,YAAY,QAAQ,EAAE,CAAC;YAC1B,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACf,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC"}
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/cli/main.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,GAAG,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAmB,MAAM,cAAc,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,UAAU,EAAW,MAAM,aAAa,CAAC;AAClF,8EAA8E;AAC9E,OAAO,qBAAqB,CAAC;AAE7B,sEAAsE;AACtE,6EAA6E;AAC7E,8EAA8E;AAE9E,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,SAAS,GAAO,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAE7E,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,oBAAoB,IAAI,sBAAsB,CAAC;AAEvG,6EAA6E;AAC7E,+EAA+E;AAC/E,gFAAgF;AAChF,wEAAwE;AACxE,MAAM,SAAS,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wEAmTsD,CAAC;AAEzE,MAAM,kBAAkB,GAAG,2CAA2C,CAAC;AAEvE;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAc,EAAE,EAAE,GAAO,SAAS;IAC7D,MAAM,KAAK,GAAiE,EAAE,CAAC;IAC/E,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC;QACH,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,EAAE,CAAC;gBACN,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAuB,CAAC;gBACxC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAE,MAAM,IAAI,UAAU,CAAC,WAAW,IAAI,iBAAiB,IAAI,QAAQ,CAAC,CAAC;gBAC9E,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS;oBAAE,MAAM,IAAI,UAAU,CAAC,WAAW,IAAI,wBAAwB,CAAC,CAAC;gBAC7F,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACrB,CAAC;iBAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;gBACtG,IAAI,GAAG,IAAI,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,UAAU,CAAC,gEAAgE,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,gBAAgB,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACrG,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAAC,WAAW,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,4BAA4B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChI,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACjG,OAAO,UAAU,CAAC,KAAK,CAAC,aAAa,CAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC5B,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC,YAAY,QAAQ,EAAE,CAAC;YAC1B,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClB,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,IAAc,EAAE,EAAM;IAC5C,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAE/B,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;QAE5B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,sEAAsE;YACtE,sEAAsE;YACtE,iDAAiD;YACjD,GAAG,CAAC,8DAA8D,CAAC,CAAC;YAEpE,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;YAC7C,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,IAAI,QAAQ,CAAC,wEAAwE,CAAC,CAAC;YAC/F,CAAC;YACD,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,EAAE,CAAC,qBAAqB,EAAE,eAAe,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YACrG,MAAM,UAAU,GAAe,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAC3E,MAAM,aAAa,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACvD,IAAI,aAAa,KAAK,CAAC;gBAAE,OAAO,aAAa,CAAC;YAE9C,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;YAC/C,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,MAAM,IAAI,QAAQ,CAAC,yEAAyE,CAAC,CAAC;YAChG,CAAC;YACD,MAAM,YAAY,GAAG,SAAS,CAAC,UAAU,EAAE,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC;YAClE,MAAM,WAAW,GAAe,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAC7E,OAAO,MAAM,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC1B,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC;gBACpB,OAAO,CAAC,CAAC;YACX,CAAC;YACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;gBACvC,IAAI,CAAC,OAAO;oBAAE,MAAM,IAAI,UAAU,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC;gBAClE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,CAAC,CAAC;YACX,CAAC;YACD,GAAG,CAAC,SAAS,CAAC,CAAC;YACf,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAC7D,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;YACtB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAC/D,OAAO,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC5B,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACf,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC,YAAY,QAAQ,EAAE,CAAC;YAC1B,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACf,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC"}