universal-physics-tensor 8.0.0 → 10.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +26 -21
- package/data/atlas/atlas.json +75 -64
- package/data/atlas/atlas.jsonld +1 -1
- package/data/atlas/diffusion.json +23 -22
- package/data/atlas/oscillators.json +21 -16
- package/data/atlas/waves.json +33 -28
- package/data/bridge-catalog.json +1356 -1791
- package/data/bridge-catalog.schema.json +789 -46
- package/data/quantities.json +280 -234
- package/data/quantities.schema.json +52 -0
- package/data/schemas/atlas-record.v0.json +184 -46
- package/data/units.json +1178 -0
- package/data/units.schema.json +124 -0
- package/dist/atlas/applicability.d.ts.map +1 -1
- package/dist/atlas/applicability.js +14 -3
- package/dist/atlas/applicability.js.map +1 -1
- package/dist/atlas/association.d.ts +1 -1
- package/dist/atlas/association.js.map +1 -1
- package/dist/atlas/benchmark/backend-shapes.d.ts.map +1 -1
- package/dist/atlas/benchmark/backend-shapes.js +5 -1
- package/dist/atlas/benchmark/backend-shapes.js.map +1 -1
- package/dist/atlas/benchmark/baselines.d.ts.map +1 -1
- package/dist/atlas/benchmark/baselines.js +8 -0
- package/dist/atlas/benchmark/baselines.js.map +1 -1
- package/dist/atlas/benchmark/hybrid-retrieval.d.ts +3 -2
- package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -1
- package/dist/atlas/benchmark/hybrid-retrieval.js +16 -12
- package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -1
- package/dist/atlas/benchmark/leakage.js.map +1 -1
- package/dist/atlas/benchmark/loader.js.map +1 -1
- package/dist/atlas/benchmark/run-atlas.d.ts.map +1 -1
- package/dist/atlas/benchmark/run-atlas.js +14 -2
- package/dist/atlas/benchmark/run-atlas.js.map +1 -1
- package/dist/atlas/benchmark/stats.d.ts +1 -1
- package/dist/atlas/benchmark/stats.d.ts.map +1 -1
- package/dist/atlas/benchmark/stats.js +1 -1
- package/dist/atlas/benchmark/stats.js.map +1 -1
- package/dist/atlas/benchmark/study.js.map +1 -1
- package/dist/atlas/benchmark/types.js.map +1 -1
- package/dist/atlas/bridge-record.d.ts +4 -4
- package/dist/atlas/bridge-record.d.ts.map +1 -1
- package/dist/atlas/bridge-record.js +6 -6
- package/dist/atlas/bridge-record.js.map +1 -1
- package/dist/atlas/catalog-formal-ref.js.map +1 -1
- package/dist/atlas/chain-pipeline.d.ts +0 -11
- package/dist/atlas/chain-pipeline.d.ts.map +1 -1
- package/dist/atlas/chain-pipeline.js +5 -16
- package/dist/atlas/chain-pipeline.js.map +1 -1
- package/dist/atlas/composition-table.js.map +1 -1
- package/dist/atlas/conventions.js.map +1 -1
- package/dist/atlas/coverage.d.ts +2 -2
- package/dist/atlas/coverage.js.map +1 -1
- package/dist/atlas/derivation.js.map +1 -1
- package/dist/atlas/derive-evidence.d.ts +6 -4
- package/dist/atlas/derive-evidence.d.ts.map +1 -1
- package/dist/atlas/derive-evidence.js +7 -2
- package/dist/atlas/derive-evidence.js.map +1 -1
- package/dist/atlas/diffusion/bridges-closure.d.ts.map +1 -1
- package/dist/atlas/diffusion/bridges-closure.js +0 -5
- package/dist/atlas/diffusion/bridges-closure.js.map +1 -1
- package/dist/atlas/diffusion/bridges.d.ts.map +1 -1
- package/dist/atlas/diffusion/bridges.js +0 -3
- package/dist/atlas/diffusion/bridges.js.map +1 -1
- package/dist/atlas/diffusion/dimensions.js.map +1 -1
- package/dist/atlas/diffusion/index.d.ts +1 -1
- package/dist/atlas/diffusion/index.d.ts.map +1 -1
- package/dist/atlas/diffusion/index.js.map +1 -1
- package/dist/atlas/diffusion/models.js.map +1 -1
- package/dist/atlas/diffusion/numerics.js.map +1 -1
- package/dist/atlas/error-algebra.d.ts +6 -0
- package/dist/atlas/error-algebra.d.ts.map +1 -1
- package/dist/atlas/error-algebra.js +26 -0
- package/dist/atlas/error-algebra.js.map +1 -1
- package/dist/atlas/export.d.ts +18 -2
- package/dist/atlas/export.d.ts.map +1 -1
- package/dist/atlas/export.js +9 -3
- package/dist/atlas/export.js.map +1 -1
- package/dist/atlas/families.d.ts +19 -2
- package/dist/atlas/families.d.ts.map +1 -1
- package/dist/atlas/families.js +26 -3
- package/dist/atlas/families.js.map +1 -1
- package/dist/atlas/family.d.ts +27 -0
- package/dist/atlas/family.d.ts.map +1 -0
- package/dist/atlas/family.js +12 -0
- package/dist/atlas/family.js.map +1 -0
- package/dist/atlas/index.d.ts +3 -2
- package/dist/atlas/index.d.ts.map +1 -1
- package/dist/atlas/index.js +2 -1
- package/dist/atlas/index.js.map +1 -1
- package/dist/atlas/link-prediction.d.ts +1 -1
- package/dist/atlas/link-prediction.d.ts.map +1 -1
- package/dist/atlas/link-prediction.js.map +1 -1
- package/dist/atlas/model.js.map +1 -1
- package/dist/atlas/oscillators/bridges-coarse.d.ts.map +1 -1
- package/dist/atlas/oscillators/bridges-coarse.js +0 -1
- package/dist/atlas/oscillators/bridges-coarse.js.map +1 -1
- package/dist/atlas/oscillators/bridges-exact.d.ts.map +1 -1
- package/dist/atlas/oscillators/bridges-exact.js +0 -3
- package/dist/atlas/oscillators/bridges-exact.js.map +1 -1
- package/dist/atlas/oscillators/bridges-limits.d.ts.map +1 -1
- package/dist/atlas/oscillators/bridges-limits.js +0 -2
- package/dist/atlas/oscillators/bridges-limits.js.map +1 -1
- package/dist/atlas/oscillators/dimensions.js.map +1 -1
- package/dist/atlas/oscillators/index.d.ts +1 -16
- package/dist/atlas/oscillators/index.d.ts.map +1 -1
- package/dist/atlas/oscillators/index.js.map +1 -1
- package/dist/atlas/oscillators/limit-witnesses.js.map +1 -1
- package/dist/atlas/oscillators/models.js.map +1 -1
- package/dist/atlas/oscillators/norm-transport-witness.js.map +1 -1
- package/dist/atlas/oscillators/norm-transport.js.map +1 -1
- package/dist/atlas/oscillators/norms.js.map +1 -1
- package/dist/atlas/oscillators/pendulum-motion.js.map +1 -1
- package/dist/atlas/oscillators/phase-carriage.js.map +1 -1
- package/dist/atlas/oscillators/phase-translation.js.map +1 -1
- package/dist/atlas/oscillators/position-translation.js.map +1 -1
- package/dist/atlas/oscillators/rejections.js.map +1 -1
- package/dist/atlas/path-bound.js.map +1 -1
- package/dist/atlas/physjs-entries.generated.d.ts +1601 -220
- package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
- package/dist/atlas/physjs-entries.generated.js +1854 -345
- package/dist/atlas/physjs-entries.generated.js.map +1 -1
- package/dist/atlas/physjs-ref.d.ts +151 -117
- package/dist/atlas/physjs-ref.d.ts.map +1 -1
- package/dist/atlas/physjs-ref.js +244 -211
- package/dist/atlas/physjs-ref.js.map +1 -1
- package/dist/atlas/physjs-reviewed.d.ts +31 -0
- package/dist/atlas/physjs-reviewed.d.ts.map +1 -0
- package/dist/atlas/physjs-reviewed.js +194 -0
- package/dist/atlas/physjs-reviewed.js.map +1 -0
- package/dist/atlas/poster/associations.js.map +1 -1
- package/dist/atlas/poster/derivations.js.map +1 -1
- package/dist/atlas/poster/statements.js.map +1 -1
- package/dist/atlas/proof-target.d.ts +16 -8
- package/dist/atlas/proof-target.d.ts.map +1 -1
- package/dist/atlas/proof-target.js +34 -31
- package/dist/atlas/proof-target.js.map +1 -1
- package/dist/atlas/public.d.ts +2 -1
- package/dist/atlas/public.d.ts.map +1 -1
- package/dist/atlas/public.js +2 -1
- package/dist/atlas/public.js.map +1 -1
- package/dist/atlas/regime.js.map +1 -1
- package/dist/atlas/serialize.d.ts +18 -12
- package/dist/atlas/serialize.d.ts.map +1 -1
- package/dist/atlas/serialize.js +28 -18
- package/dist/atlas/serialize.js.map +1 -1
- package/dist/atlas/statement.js.map +1 -1
- package/dist/atlas/translation-registry.js.map +1 -1
- package/dist/atlas/translation.js.map +1 -1
- package/dist/atlas/types.d.ts +9 -2
- package/dist/atlas/types.d.ts.map +1 -1
- package/dist/atlas/types.js +1 -1
- package/dist/atlas/types.js.map +1 -1
- package/dist/atlas/waves/bridges-closure.d.ts.map +1 -1
- package/dist/atlas/waves/bridges-closure.js +0 -3
- package/dist/atlas/waves/bridges-closure.js.map +1 -1
- package/dist/atlas/waves/bridges.d.ts.map +1 -1
- package/dist/atlas/waves/bridges.js +0 -4
- package/dist/atlas/waves/bridges.js.map +1 -1
- package/dist/atlas/waves/index.d.ts +1 -1
- package/dist/atlas/waves/index.d.ts.map +1 -1
- package/dist/atlas/waves/index.js.map +1 -1
- package/dist/atlas/waves/models.js.map +1 -1
- package/dist/atlas/waves/numerics.js.map +1 -1
- package/dist/atlas/witness-artifact.js.map +1 -1
- package/dist/atlas/witness-dominance.d.ts +4 -3
- package/dist/atlas/witness-dominance.d.ts.map +1 -1
- package/dist/atlas/witness-dominance.js +15 -5
- package/dist/atlas/witness-dominance.js.map +1 -1
- package/dist/atlas/witness-numeric.d.ts +8 -4
- package/dist/atlas/witness-numeric.d.ts.map +1 -1
- package/dist/atlas/witness-numeric.js +27 -2
- package/dist/atlas/witness-numeric.js.map +1 -1
- package/dist/atlas/witness-result.d.ts +7 -1
- package/dist/atlas/witness-result.d.ts.map +1 -1
- package/dist/atlas/witness-result.js.map +1 -1
- package/dist/atlas/witness-specs.js.map +1 -1
- package/dist/atlas/witness-symbolic.js.map +1 -1
- package/dist/atlas/witnesses/quantum-support.js.map +1 -1
- package/dist/bridges/caller-table.d.ts +1 -1
- package/dist/bridges/caller-table.d.ts.map +1 -1
- package/dist/bridges/caller-table.js.map +1 -1
- package/dist/bridges/carrier-sign.d.ts.map +1 -1
- package/dist/bridges/carrier-sign.js +8 -3
- package/dist/bridges/carrier-sign.js.map +1 -1
- package/dist/bridges/catalog-adapter.d.ts +12 -3
- package/dist/bridges/catalog-adapter.d.ts.map +1 -1
- package/dist/bridges/catalog-adapter.js +22 -14
- package/dist/bridges/catalog-adapter.js.map +1 -1
- package/dist/bridges/catalog-load.d.ts +19 -2
- package/dist/bridges/catalog-load.d.ts.map +1 -1
- package/dist/bridges/catalog-load.js +233 -14
- package/dist/bridges/catalog-load.js.map +1 -1
- package/dist/bridges/catalog-types.d.ts +96 -27
- package/dist/bridges/catalog-types.d.ts.map +1 -1
- package/dist/bridges/catalog-types.js.map +1 -1
- package/dist/bridges/coefficient-statement.js +1 -5
- package/dist/bridges/coefficient-statement.js.map +1 -1
- package/dist/bridges/confrontation-coverage.js.map +1 -1
- package/dist/bridges/confrontations.d.ts +1 -1
- package/dist/bridges/confrontations.d.ts.map +1 -1
- package/dist/bridges/confrontations.js +1 -1
- package/dist/bridges/confrontations.js.map +1 -1
- package/dist/bridges/evaluation-errors.d.ts +89 -0
- package/dist/bridges/evaluation-errors.d.ts.map +1 -0
- package/dist/bridges/evaluation-errors.js +136 -0
- package/dist/bridges/evaluation-errors.js.map +1 -0
- package/dist/bridges/evaluator-inputs.d.ts +5 -3
- package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
- package/dist/bridges/evaluator-inputs.js +24 -24
- package/dist/bridges/evaluator-inputs.js.map +1 -1
- package/dist/bridges/evaluators.d.ts +48 -8
- package/dist/bridges/evaluators.d.ts.map +1 -1
- package/dist/bridges/evaluators.js +173 -38
- package/dist/bridges/evaluators.js.map +1 -1
- package/dist/bridges/expr-parse.d.ts +38 -7
- package/dist/bridges/expr-parse.d.ts.map +1 -1
- package/dist/bridges/expr-parse.js +129 -156
- package/dist/bridges/expr-parse.js.map +1 -1
- package/dist/bridges/holds.d.ts +16 -8
- package/dist/bridges/holds.d.ts.map +1 -1
- package/dist/bridges/holds.js +130 -236
- package/dist/bridges/holds.js.map +1 -1
- package/dist/bridges/index.d.ts +15 -14
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +14 -15
- package/dist/bridges/index.js.map +1 -1
- package/dist/bridges/input-contract.d.ts +65 -0
- package/dist/bridges/input-contract.d.ts.map +1 -0
- package/dist/bridges/input-contract.js +97 -0
- package/dist/bridges/input-contract.js.map +1 -0
- package/dist/bridges/membership.d.ts +5 -3
- package/dist/bridges/membership.d.ts.map +1 -1
- package/dist/bridges/membership.js +5 -6
- package/dist/bridges/membership.js.map +1 -1
- package/dist/bridges/notices.d.ts +11 -0
- package/dist/bridges/notices.d.ts.map +1 -0
- package/dist/bridges/notices.js +22 -0
- package/dist/bridges/notices.js.map +1 -0
- package/dist/bridges/observations/types.js.map +1 -1
- package/dist/bridges/rejected.d.ts +11 -17
- package/dist/bridges/rejected.d.ts.map +1 -1
- package/dist/bridges/rejected.js +13 -68
- package/dist/bridges/rejected.js.map +1 -1
- package/dist/bridges/relation-eval.d.ts +5 -6
- package/dist/bridges/relation-eval.d.ts.map +1 -1
- package/dist/bridges/relation-eval.js +9 -38
- package/dist/bridges/relation-eval.js.map +1 -1
- package/dist/bridges/rhs-registry.js.map +1 -1
- package/dist/bridges/sensitivity.d.ts +11 -3
- package/dist/bridges/sensitivity.d.ts.map +1 -1
- package/dist/bridges/sensitivity.js +24 -10
- package/dist/bridges/sensitivity.js.map +1 -1
- package/dist/bridges/tensor-index.js.map +1 -1
- package/dist/bridges/types.d.ts +1 -7
- package/dist/bridges/types.d.ts.map +1 -1
- package/dist/bridges/types.js +1 -4
- package/dist/bridges/types.js.map +1 -1
- package/dist/canonical/canonical-equation.d.ts +31 -0
- package/dist/canonical/canonical-equation.d.ts.map +1 -1
- package/dist/canonical/canonical-equation.js.map +1 -1
- package/dist/canonical/dimensional-fields.js.map +1 -1
- package/dist/canonical/entries/_l1-build.js.map +1 -1
- package/dist/canonical/entries/atomic.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.js +11 -1
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/condensed-matter.d.ts.map +1 -1
- package/dist/canonical/entries/condensed-matter.js +7 -4
- package/dist/canonical/entries/condensed-matter.js.map +1 -1
- package/dist/canonical/entries/dimensional-classics.d.ts.map +1 -1
- package/dist/canonical/entries/dimensional-classics.js +50 -2
- package/dist/canonical/entries/dimensional-classics.js.map +1 -1
- package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
- package/dist/canonical/entries/electromagnetism.js +32 -2
- package/dist/canonical/entries/electromagnetism.js.map +1 -1
- package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
- package/dist/canonical/entries/fluids-waves.js +34 -0
- package/dist/canonical/entries/fluids-waves.js.map +1 -1
- package/dist/canonical/entries/mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/mechanics.js +24 -0
- package/dist/canonical/entries/mechanics.js.map +1 -1
- package/dist/canonical/entries/nonmonomial.d.ts.map +1 -1
- package/dist/canonical/entries/nonmonomial.js +42 -24
- package/dist/canonical/entries/nonmonomial.js.map +1 -1
- package/dist/canonical/entries/relativity.d.ts.map +1 -1
- package/dist/canonical/entries/relativity.js +6 -0
- package/dist/canonical/entries/relativity.js.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.js +24 -5
- package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +15 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
- package/dist/canonical/linkage.d.ts +29 -4
- package/dist/canonical/linkage.d.ts.map +1 -1
- package/dist/canonical/linkage.js +31 -29
- package/dist/canonical/linkage.js.map +1 -1
- package/dist/canonical/normal-form.d.ts +0 -8
- package/dist/canonical/normal-form.d.ts.map +1 -1
- package/dist/canonical/normal-form.js +17 -12
- package/dist/canonical/normal-form.js.map +1 -1
- package/dist/canonical/registry.js.map +1 -1
- package/dist/canonical/residual.js.map +1 -1
- package/dist/canonical/seed-l-layer.d.ts +7 -1
- package/dist/canonical/seed-l-layer.d.ts.map +1 -1
- package/dist/canonical/seed-l-layer.js +7 -1
- package/dist/canonical/seed-l-layer.js.map +1 -1
- package/dist/canonical/structural.d.ts +21 -0
- package/dist/canonical/structural.d.ts.map +1 -1
- package/dist/canonical/structural.js +24 -4
- package/dist/canonical/structural.js.map +1 -1
- package/dist/cases/brownian-sphere.js +4 -4
- package/dist/cases/brownian-sphere.js.map +1 -1
- package/dist/cases/damped-resonator.js +2 -2
- package/dist/cases/damped-resonator.js.map +1 -1
- package/dist/cases/index.d.ts +9 -2
- package/dist/cases/index.d.ts.map +1 -1
- package/dist/cases/index.js +26 -7
- package/dist/cases/index.js.map +1 -1
- package/dist/cases/kepler-rv.js +6 -6
- package/dist/cases/kepler-rv.js.map +1 -1
- package/dist/cases/lumped-cooling.js +1 -1
- package/dist/cases/lumped-cooling.js.map +1 -1
- package/dist/cases/quadrature.js.map +1 -1
- package/dist/cases/resistor-noise.js +3 -3
- package/dist/cases/resistor-noise.js.map +1 -1
- package/dist/cases/skin-depth.js.map +1 -1
- package/dist/cases/types.js.map +1 -1
- package/dist/cli/args.d.ts +7 -2
- package/dist/cli/args.d.ts.map +1 -1
- package/dist/cli/args.js +18 -2
- package/dist/cli/args.js.map +1 -1
- package/dist/cli/bindings.d.ts +13 -0
- package/dist/cli/bindings.d.ts.map +1 -0
- package/dist/cli/bindings.js +32 -0
- package/dist/cli/bindings.js.map +1 -0
- package/dist/cli/closed-form-range.js.map +1 -1
- package/dist/cli/command.js.map +1 -1
- package/dist/cli/commands/_atlas-map.d.ts +3 -3
- package/dist/cli/commands/_atlas-map.d.ts.map +1 -1
- package/dist/cli/commands/_atlas-map.js +43 -18
- package/dist/cli/commands/_atlas-map.js.map +1 -1
- package/dist/cli/commands/_atlas-route.js.map +1 -1
- package/dist/cli/commands/_discovery-opts.d.ts +2 -1
- package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
- package/dist/cli/commands/_discovery-opts.js +48 -18
- package/dist/cli/commands/_discovery-opts.js.map +1 -1
- package/dist/cli/commands/atlas.d.ts.map +1 -1
- package/dist/cli/commands/atlas.js +7 -12
- package/dist/cli/commands/atlas.js.map +1 -1
- package/dist/cli/commands/audit.d.ts.map +1 -1
- package/dist/cli/commands/audit.js +13 -21
- package/dist/cli/commands/audit.js.map +1 -1
- package/dist/cli/commands/axes.js.map +1 -1
- package/dist/cli/commands/candidates.d.ts.map +1 -1
- package/dist/cli/commands/candidates.js +16 -8
- package/dist/cli/commands/candidates.js.map +1 -1
- package/dist/cli/commands/canonical.js.map +1 -1
- package/dist/cli/commands/chain.js +1 -1
- package/dist/cli/commands/chain.js.map +1 -1
- package/dist/cli/commands/confront.d.ts.map +1 -1
- package/dist/cli/commands/confront.js +22 -14
- package/dist/cli/commands/confront.js.map +1 -1
- package/dist/cli/commands/connectors.d.ts.map +1 -1
- package/dist/cli/commands/connectors.js +8 -9
- package/dist/cli/commands/connectors.js.map +1 -1
- package/dist/cli/commands/coverage.js.map +1 -1
- package/dist/cli/commands/derive.d.ts.map +1 -1
- package/dist/cli/commands/derive.js +50 -26
- package/dist/cli/commands/derive.js.map +1 -1
- package/dist/cli/commands/discover.d.ts.map +1 -1
- package/dist/cli/commands/discover.js +18 -13
- package/dist/cli/commands/discover.js.map +1 -1
- package/dist/cli/commands/eval.d.ts.map +1 -1
- package/dist/cli/commands/eval.js +29 -26
- package/dist/cli/commands/eval.js.map +1 -1
- package/dist/cli/commands/evaluate.d.ts +1 -35
- package/dist/cli/commands/evaluate.d.ts.map +1 -1
- package/dist/cli/commands/evaluate.js +99 -208
- package/dist/cli/commands/evaluate.js.map +1 -1
- package/dist/cli/commands/explain.d.ts.map +1 -1
- package/dist/cli/commands/explain.js +57 -45
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/frontier.js.map +1 -1
- package/dist/cli/commands/ground.d.ts.map +1 -1
- package/dist/cli/commands/ground.js +41 -11
- package/dist/cli/commands/ground.js.map +1 -1
- package/dist/cli/commands/index.js.map +1 -1
- package/dist/cli/commands/map.d.ts.map +1 -1
- package/dist/cli/commands/map.js +84 -92
- package/dist/cli/commands/map.js.map +1 -1
- package/dist/cli/commands/metric.d.ts.map +1 -1
- package/dist/cli/commands/metric.js +53 -15
- package/dist/cli/commands/metric.js.map +1 -1
- package/dist/cli/commands/path.js +4 -4
- package/dist/cli/commands/path.js.map +1 -1
- package/dist/cli/commands/predict.js.map +1 -1
- package/dist/cli/commands/priority.js.map +1 -1
- package/dist/cli/commands/probe.d.ts.map +1 -1
- package/dist/cli/commands/probe.js +50 -26
- package/dist/cli/commands/probe.js.map +1 -1
- package/dist/cli/commands/recover.js +1 -1
- package/dist/cli/commands/recover.js.map +1 -1
- package/dist/cli/commands/regime.d.ts +5 -4
- package/dist/cli/commands/regime.d.ts.map +1 -1
- package/dist/cli/commands/regime.js +25 -27
- package/dist/cli/commands/regime.js.map +1 -1
- package/dist/cli/commands/retrieve.d.ts.map +1 -1
- package/dist/cli/commands/retrieve.js +22 -14
- package/dist/cli/commands/retrieve.js.map +1 -1
- package/dist/cli/commands/search.d.ts.map +1 -1
- package/dist/cli/commands/search.js +8 -4
- package/dist/cli/commands/search.js.map +1 -1
- package/dist/cli/commands/symbolic.d.ts.map +1 -1
- package/dist/cli/commands/symbolic.js +14 -7
- package/dist/cli/commands/symbolic.js.map +1 -1
- package/dist/cli/commands/testplan.js +4 -4
- package/dist/cli/commands/testplan.js.map +1 -1
- package/dist/cli/conventions.d.ts +6 -7
- package/dist/cli/conventions.d.ts.map +1 -1
- package/dist/cli/conventions.js +19 -28
- package/dist/cli/conventions.js.map +1 -1
- package/dist/cli/determination.js.map +1 -1
- package/dist/cli/errors.js.map +1 -1
- package/dist/cli/euler-guard.d.ts +13 -2
- package/dist/cli/euler-guard.d.ts.map +1 -1
- package/dist/cli/euler-guard.js +17 -3
- package/dist/cli/euler-guard.js.map +1 -1
- package/dist/cli/eval-numbers.d.ts +4 -9
- package/dist/cli/eval-numbers.d.ts.map +1 -1
- package/dist/cli/eval-numbers.js +11 -41
- package/dist/cli/eval-numbers.js.map +1 -1
- package/dist/cli/expr-print.d.ts +29 -2
- package/dist/cli/expr-print.d.ts.map +1 -1
- package/dist/cli/expr-print.js +46 -2
- package/dist/cli/expr-print.js.map +1 -1
- package/dist/cli/flag-help.js.map +1 -1
- package/dist/cli/graphs.js.map +1 -1
- package/dist/cli/library-defaults.d.ts +19 -0
- package/dist/cli/library-defaults.d.ts.map +1 -0
- package/dist/cli/library-defaults.js +22 -0
- package/dist/cli/library-defaults.js.map +1 -0
- package/dist/cli/main.js +7 -3
- package/dist/cli/main.js.map +1 -1
- package/dist/cli/map-evidence.js.map +1 -1
- package/dist/cli/output.d.ts +3 -6
- package/dist/cli/output.d.ts.map +1 -1
- package/dist/cli/output.js.map +1 -1
- package/dist/cli/published-url.d.ts +2 -0
- package/dist/cli/published-url.d.ts.map +1 -1
- package/dist/cli/published-url.js +5 -0
- package/dist/cli/published-url.js.map +1 -1
- package/dist/cli/record-reach.d.ts +6 -0
- package/dist/cli/record-reach.d.ts.map +1 -1
- package/dist/cli/record-reach.js +16 -10
- package/dist/cli/record-reach.js.map +1 -1
- package/dist/cli/record-tables.d.ts +2 -1
- package/dist/cli/record-tables.d.ts.map +1 -1
- package/dist/cli/record-tables.js +8 -3
- package/dist/cli/record-tables.js.map +1 -1
- package/dist/cli/record.d.ts.map +1 -1
- package/dist/cli/record.js +31 -12
- package/dist/cli/record.js.map +1 -1
- package/dist/cli/search-index.d.ts +5 -0
- package/dist/cli/search-index.d.ts.map +1 -1
- package/dist/cli/search-index.js +12 -1
- package/dist/cli/search-index.js.map +1 -1
- package/dist/cli/statuses.js.map +1 -1
- package/dist/cli/top-level-help.js.map +1 -1
- package/dist/cli/version.js.map +1 -1
- package/dist/cli-api.d.ts +57 -18
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +49 -21
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/adjudication.d.ts +8 -30
- package/dist/composition/adjudication.d.ts.map +1 -1
- package/dist/composition/adjudication.js +15 -67
- package/dist/composition/adjudication.js.map +1 -1
- package/dist/composition/aliases.d.ts +1 -1
- package/dist/composition/aliases.d.ts.map +1 -1
- package/dist/composition/aliases.js +10 -20
- package/dist/composition/aliases.js.map +1 -1
- package/dist/composition/audit-coverage.d.ts +2 -0
- package/dist/composition/audit-coverage.d.ts.map +1 -1
- package/dist/composition/audit-coverage.js.map +1 -1
- package/dist/composition/axes.d.ts +12 -0
- package/dist/composition/axes.d.ts.map +1 -1
- package/dist/composition/axes.js +18 -6
- package/dist/composition/axes.js.map +1 -1
- package/dist/composition/axis-audit.js.map +1 -1
- package/dist/composition/bridge-analysis.d.ts +0 -14
- package/dist/composition/bridge-analysis.d.ts.map +1 -1
- package/dist/composition/bridge-analysis.js +66 -57
- package/dist/composition/bridge-analysis.js.map +1 -1
- package/dist/composition/bridge-prediction.d.ts +5 -1
- package/dist/composition/bridge-prediction.d.ts.map +1 -1
- package/dist/composition/bridge-prediction.js +12 -16
- package/dist/composition/bridge-prediction.js.map +1 -1
- package/dist/composition/buckingham-filter.js.map +1 -1
- package/dist/composition/canonical-compare.d.ts.map +1 -1
- package/dist/composition/canonical-compare.js +12 -2
- package/dist/composition/canonical-compare.js.map +1 -1
- package/dist/composition/canonical-graph.d.ts +15 -18
- package/dist/composition/canonical-graph.d.ts.map +1 -1
- package/dist/composition/canonical-graph.js +59 -85
- package/dist/composition/canonical-graph.js.map +1 -1
- package/dist/composition/canonical-json.js.map +1 -1
- package/dist/composition/canonical-prefactors.d.ts +10 -29
- package/dist/composition/canonical-prefactors.d.ts.map +1 -1
- package/dist/composition/canonical-prefactors.js +15 -202
- package/dist/composition/canonical-prefactors.js.map +1 -1
- package/dist/composition/catalog-graph.d.ts.map +1 -1
- package/dist/composition/catalog-graph.js +6 -20
- package/dist/composition/catalog-graph.js.map +1 -1
- package/dist/composition/chain-candidate.d.ts +2 -0
- package/dist/composition/chain-candidate.d.ts.map +1 -1
- package/dist/composition/chain-candidate.js +2 -0
- package/dist/composition/chain-candidate.js.map +1 -1
- package/dist/composition/chain-match.js.map +1 -1
- package/dist/composition/chain-regime.js.map +1 -1
- package/dist/composition/chain-result.js.map +1 -1
- package/dist/composition/compose-surface.js.map +1 -1
- package/dist/composition/compose-symbolic.js.map +1 -1
- package/dist/composition/compose.d.ts.map +1 -1
- package/dist/composition/compose.js +154 -36
- package/dist/composition/compose.js.map +1 -1
- package/dist/composition/composition-recovery.js.map +1 -1
- package/dist/composition/consequence.d.ts.map +1 -1
- package/dist/composition/consequence.js +15 -6
- package/dist/composition/consequence.js.map +1 -1
- package/dist/composition/consistency.js.map +1 -1
- package/dist/composition/descriptor.d.ts +1 -1
- package/dist/composition/descriptor.d.ts.map +1 -1
- package/dist/composition/descriptor.js.map +1 -1
- package/dist/composition/dimension-adjacency.js.map +1 -1
- package/dist/composition/discovery.d.ts +67 -7
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +83 -23
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/edge.d.ts +19 -22
- package/dist/composition/edge.d.ts.map +1 -1
- package/dist/composition/edge.js +25 -28
- package/dist/composition/edge.js.map +1 -1
- package/dist/composition/enumerate.d.ts +2 -2
- package/dist/composition/enumerate.d.ts.map +1 -1
- package/dist/composition/enumerate.js.map +1 -1
- package/dist/composition/evaluate-relation.d.ts +29 -5
- package/dist/composition/evaluate-relation.d.ts.map +1 -1
- package/dist/composition/evaluate-relation.js +100 -72
- package/dist/composition/evaluate-relation.js.map +1 -1
- package/dist/composition/explain.d.ts +14 -4
- package/dist/composition/explain.d.ts.map +1 -1
- package/dist/composition/explain.js +53 -19
- package/dist/composition/explain.js.map +1 -1
- package/dist/composition/expr-eval.d.ts.map +1 -1
- package/dist/composition/expr-eval.js +2 -1
- package/dist/composition/expr-eval.js.map +1 -1
- package/dist/composition/expr-simplify.d.ts.map +1 -1
- package/dist/composition/expr-simplify.js +9 -39
- package/dist/composition/expr-simplify.js.map +1 -1
- package/dist/composition/expr-subst.js.map +1 -1
- package/dist/composition/formula-shape.d.ts +9 -0
- package/dist/composition/formula-shape.d.ts.map +1 -1
- package/dist/composition/formula-shape.js +54 -0
- package/dist/composition/formula-shape.js.map +1 -1
- package/dist/composition/frontier-account.d.ts +3 -2
- package/dist/composition/frontier-account.d.ts.map +1 -1
- package/dist/composition/frontier-account.js +7 -3
- package/dist/composition/frontier-account.js.map +1 -1
- package/dist/composition/graph-viz-svg.js.map +1 -1
- package/dist/composition/graph-viz.js.map +1 -1
- package/dist/composition/grounding.js.map +1 -1
- package/dist/composition/identifiability.js.map +1 -1
- package/dist/composition/index.d.ts +9 -5
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +7 -4
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/mathts-quiet.d.ts +28 -0
- package/dist/composition/mathts-quiet.d.ts.map +1 -0
- package/dist/composition/mathts-quiet.js +56 -0
- package/dist/composition/mathts-quiet.js.map +1 -0
- package/dist/composition/mathts-scalar-symbols.d.ts.map +1 -1
- package/dist/composition/mathts-scalar-symbols.js +18 -34
- package/dist/composition/mathts-scalar-symbols.js.map +1 -1
- package/dist/composition/not-composable-seeds.d.ts +3 -1
- package/dist/composition/not-composable-seeds.d.ts.map +1 -1
- package/dist/composition/not-composable-seeds.js +2 -0
- package/dist/composition/not-composable-seeds.js.map +1 -1
- package/dist/composition/probe/backend-protocol.js.map +1 -1
- package/dist/composition/probe/candidate-store.js.map +1 -1
- package/dist/composition/probe/corpus.js.map +1 -1
- package/dist/composition/probe/dataset.js.map +1 -1
- package/dist/composition/probe/experiment-design.js.map +1 -1
- package/dist/composition/probe/expression-gaps.js.map +1 -1
- package/dist/composition/probe/falsify.d.ts +14 -3
- package/dist/composition/probe/falsify.d.ts.map +1 -1
- package/dist/composition/probe/falsify.js +14 -27
- package/dist/composition/probe/falsify.js.map +1 -1
- package/dist/composition/probe/fingerprint.js.map +1 -1
- package/dist/composition/probe/fit.d.ts +1 -1
- package/dist/composition/probe/fit.d.ts.map +1 -1
- package/dist/composition/probe/fit.js +2 -1
- package/dist/composition/probe/fit.js.map +1 -1
- package/dist/composition/probe/frontier.js.map +1 -1
- package/dist/composition/probe/generator.js.map +1 -1
- package/dist/composition/probe/index.d.ts +4 -2
- package/dist/composition/probe/index.d.ts.map +1 -1
- package/dist/composition/probe/index.js +4 -2
- package/dist/composition/probe/index.js.map +1 -1
- package/dist/composition/probe/limits.js.map +1 -1
- package/dist/composition/probe/metadata.js.map +1 -1
- package/dist/composition/probe/pipeline.d.ts +5 -0
- package/dist/composition/probe/pipeline.d.ts.map +1 -1
- package/dist/composition/probe/pipeline.js +13 -6
- package/dist/composition/probe/pipeline.js.map +1 -1
- package/dist/composition/probe/problem.d.ts +8 -0
- package/dist/composition/probe/problem.d.ts.map +1 -1
- package/dist/composition/probe/problem.js +78 -12
- package/dist/composition/probe/problem.js.map +1 -1
- package/dist/composition/probe/report.js.map +1 -1
- package/dist/composition/probe/residual.js.map +1 -1
- package/dist/composition/probe/run-manifest.js +2 -2
- package/dist/composition/probe/run-manifest.js.map +1 -1
- package/dist/composition/probe/scoring.d.ts +2 -1
- package/dist/composition/probe/scoring.d.ts.map +1 -1
- package/dist/composition/probe/scoring.js +21 -7
- package/dist/composition/probe/scoring.js.map +1 -1
- package/dist/composition/probe/search-budget.js.map +1 -1
- package/dist/composition/probe/serialize.js.map +1 -1
- package/dist/composition/probe/structure.js.map +1 -1
- package/dist/composition/probe/study.d.ts +4 -3
- package/dist/composition/probe/study.d.ts.map +1 -1
- package/dist/composition/probe/study.js +5 -3
- package/dist/composition/probe/study.js.map +1 -1
- package/dist/composition/probe/types.d.ts +3 -1
- package/dist/composition/probe/types.d.ts.map +1 -1
- package/dist/composition/probe/types.js +2 -0
- package/dist/composition/probe/types.js.map +1 -1
- package/dist/composition/proposed-bridges.d.ts +11 -4
- package/dist/composition/proposed-bridges.d.ts.map +1 -1
- package/dist/composition/proposed-bridges.js +14 -6
- package/dist/composition/proposed-bridges.js.map +1 -1
- package/dist/composition/quantities.d.ts +0 -4
- package/dist/composition/quantities.d.ts.map +1 -1
- package/dist/composition/quantities.js +5 -5
- package/dist/composition/quantities.js.map +1 -1
- package/dist/composition/quantity.d.ts +18 -2
- package/dist/composition/quantity.d.ts.map +1 -1
- package/dist/composition/quantity.js +35 -6
- package/dist/composition/quantity.js.map +1 -1
- package/dist/composition/representative-values.js.map +1 -1
- package/dist/composition/retrodiction.d.ts +18 -0
- package/dist/composition/retrodiction.d.ts.map +1 -1
- package/dist/composition/retrodiction.js +37 -7
- package/dist/composition/retrodiction.js.map +1 -1
- package/dist/composition/uncertainty.js.map +1 -1
- package/dist/composition/user-equation.d.ts +11 -7
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/composition/user-equation.js +24 -26
- package/dist/composition/user-equation.js.map +1 -1
- package/dist/core/axes-registry.d.ts +8 -5
- package/dist/core/axes-registry.d.ts.map +1 -1
- package/dist/core/axes-registry.js.map +1 -1
- package/dist/core/cell.js.map +1 -1
- package/dist/core/constants.d.ts +35 -12
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +46 -15
- package/dist/core/constants.js.map +1 -1
- package/dist/core/data-file.d.ts +27 -0
- package/dist/core/data-file.d.ts.map +1 -0
- package/dist/core/data-file.js +48 -0
- package/dist/core/data-file.js.map +1 -0
- package/dist/core/flux-rules.js +1 -1
- package/dist/core/flux-rules.js.map +1 -1
- package/dist/core/json-schema.d.ts +27 -0
- package/dist/core/json-schema.d.ts.map +1 -0
- package/dist/core/json-schema.js +177 -0
- package/dist/core/json-schema.js.map +1 -0
- package/dist/core/labeled-tensor.d.ts +6 -1
- package/dist/core/labeled-tensor.d.ts.map +1 -1
- package/dist/core/labeled-tensor.js +18 -8
- package/dist/core/labeled-tensor.js.map +1 -1
- package/dist/core/regime-registry.d.ts +6 -2
- package/dist/core/regime-registry.d.ts.map +1 -1
- package/dist/core/regime-registry.js.map +1 -1
- package/dist/core/regime-rule-install.js.map +1 -1
- package/dist/core/regimes-builtins.js.map +1 -1
- package/dist/core/tensor.d.ts +7 -4
- package/dist/core/tensor.d.ts.map +1 -1
- package/dist/core/tensor.js +40 -8
- package/dist/core/tensor.js.map +1 -1
- package/dist/core/types.d.ts +3 -2
- package/dist/core/types.d.ts.map +1 -1
- package/dist/core/types.js +16 -14
- package/dist/core/types.js.map +1 -1
- package/dist/core/universal-index.js.map +1 -1
- package/dist/diff/bridge-ast-gradient.d.ts +4 -5
- package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-ast-gradient.js +16 -23
- package/dist/diff/bridge-ast-gradient.js.map +1 -1
- package/dist/diff/bridge-gradient.d.ts +24 -80
- package/dist/diff/bridge-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-gradient.js +21 -98
- package/dist/diff/bridge-gradient.js.map +1 -1
- package/dist/diff/bridge-specs.d.ts +18 -6
- package/dist/diff/bridge-specs.d.ts.map +1 -1
- package/dist/diff/bridge-specs.js +17 -5
- package/dist/diff/bridge-specs.js.map +1 -1
- package/dist/dimensional/algebra.js.map +1 -1
- package/dist/dimensional/ast-builders.d.ts +5 -4
- package/dist/dimensional/ast-builders.d.ts.map +1 -1
- package/dist/dimensional/ast-builders.js +6 -5
- package/dist/dimensional/ast-builders.js.map +1 -1
- package/dist/dimensional/ast-types.js.map +1 -1
- package/dist/dimensional/bridge-check.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.js +3 -5
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/dimensional/buckingham.js.map +1 -1
- package/dist/dimensional/connection-validators.d.ts +2 -1
- package/dist/dimensional/connection-validators.d.ts.map +1 -1
- package/dist/dimensional/connection-validators.js.map +1 -1
- package/dist/dimensional/connection.js.map +1 -1
- package/dist/dimensional/constant-rows.d.ts +54 -0
- package/dist/dimensional/constant-rows.d.ts.map +1 -0
- package/dist/dimensional/constant-rows.js +115 -0
- package/dist/dimensional/constant-rows.js.map +1 -0
- package/dist/dimensional/constants.d.ts +7 -17
- package/dist/dimensional/constants.d.ts.map +1 -1
- package/dist/dimensional/constants.js +12 -21
- package/dist/dimensional/constants.js.map +1 -1
- package/dist/dimensional/curvature-composite.js.map +1 -1
- package/dist/dimensional/curvature-invariants.js.map +1 -1
- package/dist/dimensional/curvature.js.map +1 -1
- package/dist/dimensional/dimension-inference.js.map +1 -1
- package/dist/dimensional/dimension-spec.d.ts +21 -6
- package/dist/dimensional/dimension-spec.d.ts.map +1 -1
- package/dist/dimensional/dimension-spec.js +150 -160
- package/dist/dimensional/dimension-spec.js.map +1 -1
- package/dist/dimensional/einstein-equation.js.map +1 -1
- package/dist/dimensional/errors.d.ts +3 -1
- package/dist/dimensional/errors.d.ts.map +1 -1
- package/dist/dimensional/errors.js +2 -2
- package/dist/dimensional/errors.js.map +1 -1
- package/dist/dimensional/exact-scale.d.ts +79 -0
- package/dist/dimensional/exact-scale.d.ts.map +1 -0
- package/dist/dimensional/exact-scale.js +222 -0
- package/dist/dimensional/exact-scale.js.map +1 -0
- package/dist/dimensional/field-equation-helpers.js.map +1 -1
- package/dist/dimensional/formula-names.d.ts +13 -12
- package/dist/dimensional/formula-names.d.ts.map +1 -1
- package/dist/dimensional/formula-names.js +28 -51
- package/dist/dimensional/formula-names.js.map +1 -1
- package/dist/dimensional/fresh-label.js.map +1 -1
- package/dist/dimensional/friedmann-equation.d.ts +3 -3
- package/dist/dimensional/friedmann-equation.js +3 -3
- package/dist/dimensional/friedmann-equation.js.map +1 -1
- package/dist/dimensional/gauge-field.d.ts +2 -3
- package/dist/dimensional/gauge-field.d.ts.map +1 -1
- package/dist/dimensional/gauge-field.js +0 -1
- package/dist/dimensional/gauge-field.js.map +1 -1
- package/dist/dimensional/hyphen-names.d.ts.map +1 -1
- package/dist/dimensional/hyphen-names.js +8 -0
- package/dist/dimensional/hyphen-names.js.map +1 -1
- package/dist/dimensional/killing-validators.js.map +1 -1
- package/dist/dimensional/klein-gordon-equation.js.map +1 -1
- package/dist/dimensional/metric-validators.d.ts +2 -1
- package/dist/dimensional/metric-validators.d.ts.map +1 -1
- package/dist/dimensional/metric-validators.js.map +1 -1
- package/dist/dimensional/metric.js.map +1 -1
- package/dist/dimensional/natural-units.js.map +1 -1
- package/dist/dimensional/quantity-registry.d.ts +23 -1
- package/dist/dimensional/quantity-registry.d.ts.map +1 -1
- package/dist/dimensional/quantity-registry.js +55 -18
- package/dist/dimensional/quantity-registry.js.map +1 -1
- package/dist/dimensional/rg-flow.js.map +1 -1
- package/dist/dimensional/stress-energy-validators.js.map +1 -1
- package/dist/dimensional/symbolic-constants.d.ts +63 -19
- package/dist/dimensional/symbolic-constants.d.ts.map +1 -1
- package/dist/dimensional/symbolic-constants.js +114 -92
- package/dist/dimensional/symbolic-constants.js.map +1 -1
- package/dist/dimensional/tensor-trace.js.map +1 -1
- package/dist/dimensional/tensor.js.map +1 -1
- package/dist/dimensional/types.js.map +1 -1
- package/dist/dimensional/unit-convention.d.ts +0 -2
- package/dist/dimensional/unit-convention.d.ts.map +1 -1
- package/dist/dimensional/unit-convention.js +2 -2
- package/dist/dimensional/unit-convention.js.map +1 -1
- package/dist/dimensional/unit-data.d.ts +70 -0
- package/dist/dimensional/unit-data.d.ts.map +1 -0
- package/dist/dimensional/unit-data.js +139 -0
- package/dist/dimensional/unit-data.js.map +1 -0
- package/dist/dimensional/units.d.ts +87 -24
- package/dist/dimensional/units.d.ts.map +1 -1
- package/dist/dimensional/units.js +290 -295
- package/dist/dimensional/units.js.map +1 -1
- package/dist/dimensional/validator-registry.js.map +1 -1
- package/dist/dimensional/validator.d.ts +0 -16
- package/dist/dimensional/validator.d.ts.map +1 -1
- package/dist/dimensional/validator.js +65 -29
- package/dist/dimensional/validator.js.map +1 -1
- package/dist/dimensional/weyl-validators.js.map +1 -1
- package/dist/index.d.ts +65 -18
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +19 -24
- package/dist/index.js.map +1 -1
- package/dist/numerical/bianchi-residual.js.map +1 -1
- package/dist/numerical/binding-value.d.ts +32 -7
- package/dist/numerical/binding-value.d.ts.map +1 -1
- package/dist/numerical/binding-value.js +218 -209
- package/dist/numerical/binding-value.js.map +1 -1
- package/dist/numerical/christoffel-flat.js.map +1 -1
- package/dist/numerical/connection-lowering-helpers.js.map +1 -1
- package/dist/numerical/covariant-eikonal.d.ts.map +1 -1
- package/dist/numerical/covariant-eikonal.js +2 -2
- package/dist/numerical/covariant-eikonal.js.map +1 -1
- package/dist/numerical/curvature-lowering-helpers.d.ts +20 -0
- package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
- package/dist/numerical/curvature-lowering-helpers.js +6 -3
- package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
- package/dist/numerical/derivative-lowering.js.map +1 -1
- package/dist/numerical/einstein-equation.js.map +1 -1
- package/dist/numerical/engine-registry.js.map +1 -1
- package/dist/numerical/errors.d.ts +7 -3
- package/dist/numerical/errors.d.ts.map +1 -1
- package/dist/numerical/errors.js +5 -5
- package/dist/numerical/errors.js.map +1 -1
- package/dist/numerical/evaluator-uncertainty.d.ts +34 -0
- package/dist/numerical/evaluator-uncertainty.d.ts.map +1 -0
- package/dist/numerical/evaluator-uncertainty.js +134 -0
- package/dist/numerical/evaluator-uncertainty.js.map +1 -0
- package/dist/numerical/formula-contract.d.ts +67 -7
- package/dist/numerical/formula-contract.d.ts.map +1 -1
- package/dist/numerical/formula-contract.js +68 -42
- package/dist/numerical/formula-contract.js.map +1 -1
- package/dist/numerical/formula-dimension.d.ts +17 -7
- package/dist/numerical/formula-dimension.d.ts.map +1 -1
- package/dist/numerical/formula-dimension.js +120 -44
- package/dist/numerical/formula-dimension.js.map +1 -1
- package/dist/numerical/formula-mathts.d.ts.map +1 -1
- package/dist/numerical/formula-mathts.js +10 -3
- package/dist/numerical/formula-mathts.js.map +1 -1
- package/dist/numerical/formula-registry.d.ts +13 -3
- package/dist/numerical/formula-registry.d.ts.map +1 -1
- package/dist/numerical/formula-registry.js +7 -2
- package/dist/numerical/formula-registry.js.map +1 -1
- package/dist/numerical/geodesic-integrator.js.map +1 -1
- package/dist/numerical/geometrized.js.map +1 -1
- package/dist/numerical/gl4-integrator.d.ts +28 -27
- package/dist/numerical/gl4-integrator.d.ts.map +1 -1
- package/dist/numerical/gl4-integrator.js +44 -45
- package/dist/numerical/gl4-integrator.js.map +1 -1
- package/dist/numerical/grid-field.js.map +1 -1
- package/dist/numerical/index.js.map +1 -1
- package/dist/numerical/input-validation.d.ts +3 -6
- package/dist/numerical/input-validation.d.ts.map +1 -1
- package/dist/numerical/input-validation.js +4 -8
- package/dist/numerical/input-validation.js.map +1 -1
- package/dist/numerical/killing.d.ts +8 -5
- package/dist/numerical/killing.d.ts.map +1 -1
- package/dist/numerical/killing.js.map +1 -1
- package/dist/numerical/klein-gordon.js.map +1 -1
- package/dist/numerical/kretschmann.js.map +1 -1
- package/dist/numerical/lowering-utils.js.map +1 -1
- package/dist/numerical/lowering.d.ts.map +1 -1
- package/dist/numerical/lowering.js +7 -17
- package/dist/numerical/lowering.js.map +1 -1
- package/dist/numerical/mathts-engine.d.ts.map +1 -1
- package/dist/numerical/mathts-engine.js +11 -6
- package/dist/numerical/mathts-engine.js.map +1 -1
- package/dist/numerical/metric-inverse.js.map +1 -1
- package/dist/numerical/null-ic.js.map +1 -1
- package/dist/numerical/null-ray-integrator.js +4 -4
- package/dist/numerical/null-ray-integrator.js.map +1 -1
- package/dist/numerical/painleve-gullstrand-metric.js.map +1 -1
- package/dist/numerical/pderiv.d.ts.map +1 -1
- package/dist/numerical/pderiv.js +9 -2
- package/dist/numerical/pderiv.js.map +1 -1
- package/dist/numerical/perihelion-finder.js.map +1 -1
- package/dist/numerical/quadrature.d.ts +5 -2
- package/dist/numerical/quadrature.d.ts.map +1 -1
- package/dist/numerical/quadrature.js +20 -3
- package/dist/numerical/quadrature.js.map +1 -1
- package/dist/numerical/spacetime-metrics.d.ts +17 -19
- package/dist/numerical/spacetime-metrics.d.ts.map +1 -1
- package/dist/numerical/spacetime-metrics.js +158 -250
- package/dist/numerical/spacetime-metrics.js.map +1 -1
- package/dist/numerical/strides.js.map +1 -1
- package/dist/numerical/tensor-engine.d.ts +9 -5
- package/dist/numerical/tensor-engine.d.ts.map +1 -1
- package/dist/numerical/tensor-engine.js.map +1 -1
- package/dist/numerical/types.js.map +1 -1
- package/dist/numerical/weyl-lowering.js.map +1 -1
- package/dist/relations/category.js.map +1 -1
- package/dist/relations/composition-table.d.ts +4 -4
- package/dist/relations/composition-table.js +4 -4
- package/dist/relations/composition-table.js.map +1 -1
- package/dist/relations/conventions.js.map +1 -1
- package/dist/relations/domain-regimes.js.map +1 -1
- package/dist/relations/regime-registration.js.map +1 -1
- package/dist/relations/regime-vocabularies.js.map +1 -1
- package/dist/relations/regime.d.ts +18 -8
- package/dist/relations/regime.d.ts.map +1 -1
- package/dist/relations/regime.js +26 -14
- package/dist/relations/regime.js.map +1 -1
- package/dist/relations/types.d.ts +26 -6
- package/dist/relations/types.d.ts.map +1 -1
- package/dist/relations/types.js +15 -3
- package/dist/relations/types.js.map +1 -1
- package/package.json +10 -14
- package/dist/bridges/registry.d.ts +0 -60
- package/dist/bridges/registry.d.ts.map +0 -1
- package/dist/bridges/registry.js +0 -87
- package/dist/bridges/registry.js.map +0 -1
- package/dist/cli/poster-source.d.ts +0 -154
- package/dist/cli/poster-source.d.ts.map +0 -1
- package/dist/cli/poster-source.js +0 -184
- package/dist/cli/poster-source.js.map +0 -1
package/dist/cli-api.d.ts
CHANGED
|
@@ -15,7 +15,8 @@
|
|
|
15
15
|
* @module cli-api
|
|
16
16
|
*/
|
|
17
17
|
import './relations/domain-regimes.js';
|
|
18
|
-
|
|
18
|
+
/** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */
|
|
19
|
+
export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, equals as dimensionsEqual, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
|
|
19
20
|
/** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */
|
|
20
21
|
export { composeEdges } from './index.js';
|
|
21
22
|
export { formatConnectedSummary } from './composition/user-equation.js';
|
|
@@ -30,8 +31,8 @@ export { auditCoverage } from './composition/audit-coverage.js';
|
|
|
30
31
|
export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';
|
|
31
32
|
/** Ask for a caller-table confrontation. The catalog status does not change. */
|
|
32
33
|
export { requestCallerTableConfrontation } from './bridges/caller-table.js';
|
|
33
|
-
/** The catalog row, the id parser, and the relation a numeric id evaluates. */
|
|
34
|
-
export { catalogEntry, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
|
|
34
|
+
/** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */
|
|
35
|
+
export { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
|
|
35
36
|
/** The two composition demonstrations the CLI prints. */
|
|
36
37
|
export { demonstrationEdges } from './composition/catalog-graph.js';
|
|
37
38
|
export type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';
|
|
@@ -39,11 +40,17 @@ export { consistencyComparison } from './bridges/observations/types.js';
|
|
|
39
40
|
export type { ConfrontationOutcome } from './bridges/observations/types.js';
|
|
40
41
|
export { decidingMeasurement } from './bridges/sensitivity.js';
|
|
41
42
|
export { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';
|
|
43
|
+
/**
|
|
44
|
+
* The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.
|
|
45
|
+
* `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.
|
|
46
|
+
*/
|
|
47
|
+
export { DuplicateInputError, InputTypeError, isInputContractError, MissingInputError, NonFiniteInputError, UnknownInputError, } from './bridges/evaluation-errors.js';
|
|
42
48
|
export type { EvaluatorSpec, EvaluatorParameter } from './bridges/evaluators.js';
|
|
43
49
|
export { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';
|
|
44
50
|
export { APPLIED_CASES, runAppliedCase } from './cases/index.js';
|
|
45
51
|
export type { AppliedCase, CaseCheck, CaseResult } from './cases/index.js';
|
|
46
|
-
|
|
52
|
+
/** The unit reader's conversion, its refusal and the rows of the unit table. */
|
|
53
|
+
export { convertValue, UnitError, unitRows } from './dimensional/units.js';
|
|
47
54
|
export { auditAxisDiscrimination } from './composition/axis-audit.js';
|
|
48
55
|
export type { AxisDiscrimination } from './composition/axis-audit.js';
|
|
49
56
|
export { AXES } from './composition/axes.js';
|
|
@@ -55,11 +62,15 @@ export { deriveProposedBridges } from './composition/proposed-bridges.js';
|
|
|
55
62
|
export { describeDerivedClaim } from './composition/consequence.js';
|
|
56
63
|
export { filterEdges, formatFilterLegend } from './composition/graph-viz.js';
|
|
57
64
|
export { deriveEdgeEvidence } from './cli/map-evidence.js';
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
65
|
+
/**
|
|
66
|
+
* Experimental Product B (expression / residual search). Not the identification
|
|
67
|
+
* funnel (`rankDiscoveries`). CLI `upt probe` only.
|
|
68
|
+
*/
|
|
69
|
+
export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, ProblemFileError, runProbeSearch, nodeWorkerArgv, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
|
|
61
70
|
export { annotateAdjudications, adjudicationFor, candidateId, ADJUDICATIONS, } from './composition/adjudication.js';
|
|
62
|
-
export type { AnnotatedCandidate
|
|
71
|
+
export type { AnnotatedCandidate } from './composition/adjudication.js';
|
|
72
|
+
/** One record of the adjudication ledger, exported from its owner, the catalog file's types. */
|
|
73
|
+
export type { CatalogAdjudication } from './bridges/catalog-types.js';
|
|
63
74
|
export { annotateConsequences } from './composition/consequence.js';
|
|
64
75
|
export type { ConsequenceAnnotatedCandidate, ConsequenceSignal, ConsequenceEvidence, } from './composition/consequence.js';
|
|
65
76
|
export { checkConventions, unknownConventionKeys } from './atlas/conventions.js';
|
|
@@ -79,7 +90,7 @@ export { WITNESS_REGISTRY } from './atlas/witness-specs.js';
|
|
|
79
90
|
export { runNumericWitness } from './atlas/witness-numeric.js';
|
|
80
91
|
export { OBSERVABLE_CARRIAGES, OBSERVABLE_TRANSLATIONS, carriageOf, runTranslationCheck, translationsOf, } from './atlas/translation-registry.js';
|
|
81
92
|
export type { ObservableCarriage, ObservableTranslation, PointCheck } from './atlas/translation.js';
|
|
82
|
-
export type { AtlasFamily } from './atlas/
|
|
93
|
+
export type { AtlasFamily } from './atlas/family.js';
|
|
83
94
|
export { collidingRegimeGroups, regimeHolds, regimeOverlap, uncoveredRegions } from './atlas/regime.js';
|
|
84
95
|
export { domainRegimeRegistrations } from './relations/regime-registration.js';
|
|
85
96
|
export type { RegimeCheck, RegimeOverlap, RegionSample } from './atlas/regime.js';
|
|
@@ -106,19 +117,49 @@ export { scanCompositionRecovery } from './composition/composition-recovery.js';
|
|
|
106
117
|
*
|
|
107
118
|
* @internal
|
|
108
119
|
*/
|
|
109
|
-
export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, schwarzschildCircularOrbit, type MetricId, } from './numerical/spacetime-metrics.js';
|
|
120
|
+
export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, MetricMassError, schwarzschildCircularOrbit, type MetricId, } from './numerical/spacetime-metrics.js';
|
|
110
121
|
/**
|
|
111
122
|
* Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.
|
|
112
123
|
*
|
|
113
124
|
* @internal
|
|
114
125
|
*/
|
|
115
|
-
export { readBinding, bindingInUnit, readNamedBinding } from './numerical/binding-value.js';
|
|
126
|
+
export { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';
|
|
127
|
+
/** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */
|
|
128
|
+
export { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';
|
|
129
|
+
/** One propagated output, and one input's share of it. */
|
|
130
|
+
export type { PropagatedOutput, UncertaintyContribution } from './numerical/evaluator-uncertainty.js';
|
|
131
|
+
/** A stated constant checked against the registry; a disagreement is its own error. */
|
|
132
|
+
export { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';
|
|
133
|
+
/** Thrown when a formula string does not parse or names an unbound symbol. */
|
|
134
|
+
export { FormulaError, FormulaValueError } from './numerical/formula-contract.js';
|
|
135
|
+
/** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */
|
|
136
|
+
export { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';
|
|
137
|
+
/** Synonym agreement and expansion of a binding set. */
|
|
138
|
+
export { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';
|
|
139
|
+
/** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */
|
|
140
|
+
export { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';
|
|
141
|
+
/** The one number formatter of explain text. */
|
|
142
|
+
export { formatQuantity, formatExact } from './composition/explain.js';
|
|
143
|
+
/** A monomial odd in both carrier charge and mobility with opposite signs. */
|
|
144
|
+
export { CarrierSignError } from './bridges/carrier-sign.js';
|
|
145
|
+
/** The constant values a natural-unit mode overrides. */
|
|
146
|
+
export { naturalConstantOverrides } from './dimensional/natural-units.js';
|
|
147
|
+
/** The constant-value mode a formula is evaluated in: SI, natural, or geometrized. */
|
|
148
|
+
export type { UnitMode } from './dimensional/natural-units.js';
|
|
149
|
+
/** Kebab catalog names rewritten to one symbol each before a formula is parsed. */
|
|
150
|
+
export { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
|
|
151
|
+
/** The ledger id of an orphan-connector pair, when both names are slugs. */
|
|
152
|
+
export { candidateIdIfSlug } from './composition/adjudication.js';
|
|
116
153
|
/** The catalog or parameter name a spelling means. The commands call this, not a second table. */
|
|
117
154
|
export { resolveQuantityName } from './index.js';
|
|
118
155
|
/** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */
|
|
119
|
-
export { resolveEvaluable } from './composition/evaluate-relation.js';
|
|
156
|
+
export { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';
|
|
157
|
+
/** The required inputs of an evaluator that no relation source reads. They do not change the value. */
|
|
158
|
+
export { unusedInputKeys } from './bridges/evaluators.js';
|
|
120
159
|
/** Two spellings of one quantity were given different numbers. The formula is not run. */
|
|
121
160
|
export { SynonymDisagreementError } from './dimensional/formula-names.js';
|
|
161
|
+
/** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */
|
|
162
|
+
export { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';
|
|
122
163
|
/**
|
|
123
164
|
* Builtin dimension checker for `upt eval`.
|
|
124
165
|
*
|
|
@@ -131,12 +172,10 @@ export { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js
|
|
|
131
172
|
* @internal
|
|
132
173
|
*/
|
|
133
174
|
export { missingEvaluatorMessage } from './bridges/evaluators.js';
|
|
134
|
-
/**
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
|
|
138
|
-
*/
|
|
139
|
-
export { C_SI, G_SI } from './core/constants.js';
|
|
175
|
+
/** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */
|
|
176
|
+
export { relationNotices } from './bridges/notices.js';
|
|
177
|
+
/** The notes of the registered constants a formula names. */
|
|
178
|
+
export { constantNotes } from './dimensional/symbolic-constants.js';
|
|
140
179
|
/** Quantity-graph edge type for `upt map`. @internal */
|
|
141
180
|
export type { BridgeEdge } from './composition/edge.js';
|
|
142
181
|
/** Visual map types for `upt map`. @internal */
|
package/dist/cli-api.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,+BAA+B,CAAC;
|
|
1
|
+
{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,+BAA+B,CAAC;AAEvC,4FAA4F;AAC5F,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,MAAM,IAAI,eAAe,EACzB,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,YAAY,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3E,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,YAAY,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,YAAY,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAKpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D;;;GAGG;AACH,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,gGAAgG;AAChG,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,YAAY,EACV,6BAA6B,EAC7B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAQtC,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE5D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAE/E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AAChG,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AACrF,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAIzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpG,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC5G,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE5D;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,KAAK,QAAQ,GACd,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AACxH,0DAA0D;AAC1D,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AACtG,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,8EAA8E;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAClF,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvE,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,sFAAsF;AACtF,YAAY,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,mFAAmF;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACvF,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,gHAAgH;AAChH,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEpE,wDAAwD;AACxD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,gDAAgD;AAChD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAExE,yDAAyD;AACzD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAElE,2DAA2D;AAC3D,YAAY,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC"}
|
package/dist/cli-api.js
CHANGED
|
@@ -16,8 +16,8 @@
|
|
|
16
16
|
*/
|
|
17
17
|
// Domain names register when this barrel loads. The command reads the list.
|
|
18
18
|
import './relations/domain-regimes.js';
|
|
19
|
-
|
|
20
|
-
export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
|
|
19
|
+
/** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */
|
|
20
|
+
export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, equals as dimensionsEqual, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
|
|
21
21
|
/** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */
|
|
22
22
|
export { composeEdges } from './index.js';
|
|
23
23
|
// Landing-report summariser (persona W3) — internal, not on the public barrel.
|
|
@@ -35,17 +35,23 @@ export { auditCoverage } from './composition/audit-coverage.js';
|
|
|
35
35
|
export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';
|
|
36
36
|
/** Ask for a caller-table confrontation. The catalog status does not change. */
|
|
37
37
|
export { requestCallerTableConfrontation } from './bridges/caller-table.js';
|
|
38
|
-
/** The catalog row, the id parser, and the relation a numeric id evaluates. */
|
|
39
|
-
export { catalogEntry, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
|
|
38
|
+
/** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */
|
|
39
|
+
export { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
|
|
40
40
|
/** The two composition demonstrations the CLI prints. */
|
|
41
41
|
export { demonstrationEdges } from './composition/catalog-graph.js';
|
|
42
42
|
export { consistencyComparison } from './bridges/observations/types.js';
|
|
43
43
|
export { decidingMeasurement } from './bridges/sensitivity.js';
|
|
44
44
|
// Bridge-evaluator dispatch (`upt evaluate`) + axis-discrimination audit (`upt axes`).
|
|
45
45
|
export { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';
|
|
46
|
+
/**
|
|
47
|
+
* The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.
|
|
48
|
+
* `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.
|
|
49
|
+
*/
|
|
50
|
+
export { DuplicateInputError, InputTypeError, isInputContractError, MissingInputError, NonFiniteInputError, UnknownInputError, } from './bridges/evaluation-errors.js';
|
|
46
51
|
export { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';
|
|
47
52
|
export { APPLIED_CASES, runAppliedCase } from './cases/index.js';
|
|
48
|
-
|
|
53
|
+
/** The unit reader's conversion, its refusal and the rows of the unit table. */
|
|
54
|
+
export { convertValue, UnitError, unitRows } from './dimensional/units.js';
|
|
49
55
|
export { auditAxisDiscrimination } from './composition/axis-audit.js';
|
|
50
56
|
export { AXES } from './composition/axes.js';
|
|
51
57
|
export { simplifyObservable, isSimplifierAvailable } from './composition/expr-simplify.js';
|
|
@@ -59,13 +65,11 @@ export { describeDerivedClaim } from './composition/consequence.js';
|
|
|
59
65
|
// derivation lives in cli/map-evidence.ts, which is what calls it.
|
|
60
66
|
export { filterEdges, formatFilterLegend } from './composition/graph-viz.js';
|
|
61
67
|
export { deriveEdgeEvidence } from './cli/map-evidence.js';
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
// funnel (`rankDiscoveries`). CLI `upt probe` only.
|
|
68
|
-
export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, runProbeSearch, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
|
|
68
|
+
/**
|
|
69
|
+
* Experimental Product B (expression / residual search). Not the identification
|
|
70
|
+
* funnel (`rankDiscoveries`). CLI `upt probe` only.
|
|
71
|
+
*/
|
|
72
|
+
export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, ProblemFileError, runProbeSearch, nodeWorkerArgv, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
|
|
69
73
|
// Adjudication ledger (composition/adjudication.ts) — annotates discovery
|
|
70
74
|
// candidates with recorded human verdicts; never mutates the funnel.
|
|
71
75
|
export { annotateAdjudications, adjudicationFor, candidateId, ADJUDICATIONS, } from './composition/adjudication.js';
|
|
@@ -117,19 +121,45 @@ export { scanCompositionRecovery } from './composition/composition-recovery.js';
|
|
|
117
121
|
*
|
|
118
122
|
* @internal
|
|
119
123
|
*/
|
|
120
|
-
export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, schwarzschildCircularOrbit, } from './numerical/spacetime-metrics.js';
|
|
124
|
+
export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, MetricMassError, schwarzschildCircularOrbit, } from './numerical/spacetime-metrics.js';
|
|
121
125
|
/**
|
|
122
126
|
* Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.
|
|
123
127
|
*
|
|
124
128
|
* @internal
|
|
125
129
|
*/
|
|
126
|
-
export { readBinding, bindingInUnit, readNamedBinding } from './numerical/binding-value.js';
|
|
130
|
+
export { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';
|
|
131
|
+
/** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */
|
|
132
|
+
export { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';
|
|
133
|
+
/** A stated constant checked against the registry; a disagreement is its own error. */
|
|
134
|
+
export { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';
|
|
135
|
+
/** Thrown when a formula string does not parse or names an unbound symbol. */
|
|
136
|
+
export { FormulaError, FormulaValueError } from './numerical/formula-contract.js';
|
|
137
|
+
/** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */
|
|
138
|
+
export { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';
|
|
139
|
+
/** Synonym agreement and expansion of a binding set. */
|
|
140
|
+
export { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';
|
|
141
|
+
/** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */
|
|
142
|
+
export { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';
|
|
143
|
+
/** The one number formatter of explain text. */
|
|
144
|
+
export { formatQuantity, formatExact } from './composition/explain.js';
|
|
145
|
+
/** A monomial odd in both carrier charge and mobility with opposite signs. */
|
|
146
|
+
export { CarrierSignError } from './bridges/carrier-sign.js';
|
|
147
|
+
/** The constant values a natural-unit mode overrides. */
|
|
148
|
+
export { naturalConstantOverrides } from './dimensional/natural-units.js';
|
|
149
|
+
/** Kebab catalog names rewritten to one symbol each before a formula is parsed. */
|
|
150
|
+
export { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
|
|
151
|
+
/** The ledger id of an orphan-connector pair, when both names are slugs. */
|
|
152
|
+
export { candidateIdIfSlug } from './composition/adjudication.js';
|
|
127
153
|
/** The catalog or parameter name a spelling means. The commands call this, not a second table. */
|
|
128
154
|
export { resolveQuantityName } from './index.js';
|
|
129
155
|
/** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */
|
|
130
|
-
export { resolveEvaluable } from './composition/evaluate-relation.js';
|
|
156
|
+
export { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';
|
|
157
|
+
/** The required inputs of an evaluator that no relation source reads. They do not change the value. */
|
|
158
|
+
export { unusedInputKeys } from './bridges/evaluators.js';
|
|
131
159
|
/** Two spellings of one quantity were given different numbers. The formula is not run. */
|
|
132
160
|
export { SynonymDisagreementError } from './dimensional/formula-names.js';
|
|
161
|
+
/** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */
|
|
162
|
+
export { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';
|
|
133
163
|
/**
|
|
134
164
|
* Builtin dimension checker for `upt eval`.
|
|
135
165
|
*
|
|
@@ -142,10 +172,8 @@ export { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js
|
|
|
142
172
|
* @internal
|
|
143
173
|
*/
|
|
144
174
|
export { missingEvaluatorMessage } from './bridges/evaluators.js';
|
|
145
|
-
/**
|
|
146
|
-
|
|
147
|
-
|
|
148
|
-
|
|
149
|
-
*/
|
|
150
|
-
export { C_SI, G_SI } from './core/constants.js';
|
|
175
|
+
/** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */
|
|
176
|
+
export { relationNotices } from './bridges/notices.js';
|
|
177
|
+
/** The notes of the registered constants a formula names. */
|
|
178
|
+
export { constantNotes } from './dimensional/symbolic-constants.js';
|
|
151
179
|
//# sourceMappingURL=cli-api.js.map
|
package/dist/cli-api.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,4EAA4E;AAC5E,OAAO,+BAA+B,CAAC;AAEvC,oDAAoD;AACpD,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,+EAA+E;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,+EAA+E;AAC/E,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACzF,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAExE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEjE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,4EAA4E;AAC5E,mEAAmE;AACnE,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,2EAA2E;AAC3E,yEAAyE;AACzE,uDAAuD;AACvD,OAAO,EACL,YAAY,EACZ,eAAe,EACf,cAAc,EACd,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAGhC,gFAAgF;AAChF,oDAAoD;AACpD,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAEtC,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AAGvC,6EAA6E;AAC7E,4EAA4E;AAC5E,2DAA2D;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAOpE,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,2EAA2E;AAC3E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAGrF,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAG/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAGzD;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,GAE3B,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAC5F,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACtE,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAE1E;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE;;;;GAIG;AACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC"}
|
|
1
|
+
{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,4EAA4E;AAC5E,OAAO,+BAA+B,CAAC;AAEvC,4FAA4F;AAC5F,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,MAAM,IAAI,eAAe,EACzB,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,+EAA+E;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAExE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEjE,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,4EAA4E;AAC5E,mEAAmE;AACnE,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D;;;GAGG;AACH,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAEtC,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AAKvC,6EAA6E;AAC7E,4EAA4E;AAC5E,2DAA2D;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAOpE,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,2EAA2E;AAC3E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAGrF,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAG/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAGzD;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,0BAA0B,GAE3B,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AAGxH,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,8EAA8E;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAClF,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvE,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAG1E,mFAAmF;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACvF,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,gHAAgH;AAChH,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC","sourcesContent":["/**\n * CLI-facing barrel — the single stable entrypoint `bin/upt.mjs` imports.\n *\n * The CLI needs a handful of `@internal` analysis/composition/canonical\n * functions that are deliberately NOT on the public surface (so they are not in\n * the root `index.ts`). Previously `bin/upt.mjs` reached into ~10 deep `dist/`\n * module paths to get them, coupling the CLI to the internal file layout — any\n * module move silently broke the CLI. This barrel re-exports everything the CLI\n * uses from one place, so layout changes touch only this file and `bin/upt.mjs`\n * imports a single `dist/cli-api.js`.\n *\n * @internal — a CLI-support barrel; NOT re-exported from the root index, so it\n * stays off the consumer-facing public surface.\n *\n * @module cli-api\n */\n\n// Domain names register when this barrel loads. The command reads the list.\nimport './relations/domain-regimes.js';\n\n/** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */\nexport {\n explainQuantity,\n CATALOG_GRAPH,\n CANONICAL_GRAPH,\n M_SUN_KG,\n composeSymbolic,\n format,\n equals as dimensionsEqual,\n buildVizModel,\n renderDotToSvg,\n equationLanding,\n analyzeUserEquation,\n suggestQuantities,\n buckinghamPi,\n dimensionallyDetermines,\n} from './index.js';\n/** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */\nexport { composeEdges } from './index.js';\n// Landing-report summariser (persona W3) — internal, not on the public barrel.\nexport { formatConnectedSummary } from './composition/user-equation.js';\n\n// Internal analysis surface (bridge-analysis.ts).\nexport {\n bridgePriority,\n attemptDerivation,\n dimensionalFreedom,\n linkageMap,\n proposeLinkCandidates,\n proposeOrphanConnectors,\n} from './composition/bridge-analysis.js';\n\n// Other internal modules the CLI drives.\nexport {\n getFormulaParser,\n getFormulaParserKind,\n getFormulaDimensionChecker,\n} from './numerical/formula-registry.js';\nexport { parseDimensionSpec } from './dimensional/dimension-spec.js';\nexport { predictMissingBridges } from './composition/bridge-prediction.js';\nexport { catalogFrontierAccount, formatFrontierAccount } from './composition/frontier-account.js';\nexport { rankDiscoveries, ANCHOR_DEFAULT } from './composition/discovery.js';\nexport { BRIDGE_EQUATIONS } from './bridges/index.js';\nexport { auditCoverage } from './composition/audit-coverage.js';\nexport {\n CONFRONTATIONS,\n listConfrontations,\n runConfrontation,\n confrontationRigor,\n rigorDistribution,\n} from './bridges/confrontations.js';\n/** Ask for a caller-table confrontation. The catalog status does not change. */\nexport { requestCallerTableConfrontation } from './bridges/caller-table.js';\n/** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */\nexport { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';\n/** The two composition demonstrations the CLI prints. */\nexport { demonstrationEdges } from './composition/catalog-graph.js';\nexport type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';\nexport { consistencyComparison } from './bridges/observations/types.js';\nexport type { ConfrontationOutcome } from './bridges/observations/types.js';\nexport { decidingMeasurement } from './bridges/sensitivity.js';\n// Bridge-evaluator dispatch (`upt evaluate`) + axis-discrimination audit (`upt axes`).\nexport { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';\n/**\n * The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.\n * `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.\n */\nexport {\n DuplicateInputError,\n InputTypeError,\n isInputContractError,\n MissingInputError,\n NonFiniteInputError,\n UnknownInputError,\n} from './bridges/evaluation-errors.js';\nexport type { EvaluatorSpec, EvaluatorParameter } from './bridges/evaluators.js';\nexport { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';\nexport { APPLIED_CASES, runAppliedCase } from './cases/index.js';\nexport type { AppliedCase, CaseCheck, CaseResult } from './cases/index.js';\n/** The unit reader's conversion, its refusal and the rows of the unit table. */\nexport { convertValue, UnitError, unitRows } from './dimensional/units.js';\nexport { auditAxisDiscrimination } from './composition/axis-audit.js';\nexport type { AxisDiscrimination } from './composition/axis-audit.js';\nexport { AXES } from './composition/axes.js';\nexport type { AxisSpec } from './composition/axes.js';\nexport { simplifyObservable, isSimplifierAvailable } from './composition/expr-simplify.js';\nexport {\n CANONICAL_EQUATIONS,\n bridgesWithoutCanonicalPartner,\n} from './canonical/registry.js';\nexport { scanLinkages } from './canonical/linkage.js';\nexport { deriveProposedBridges } from './composition/proposed-bridges.js';\nexport { describeDerivedClaim } from './composition/consequence.js';\n// `upt map --relation= --evidence=` overlay filtering (S2.4). Internal: the\n// published surface is pinned by tests/api/public-surface.test.ts.\n// Relation filtering and the legend stay in graph-viz. Catalog evidence\n// derivation lives in cli/map-evidence.ts, which is what calls it.\nexport { filterEdges, formatFilterLegend } from './composition/graph-viz.js';\nexport { deriveEdgeEvidence } from './cli/map-evidence.js';\n\n/**\n * Experimental Product B (expression / residual search). Not the identification\n * funnel (`rankDiscoveries`). CLI `upt probe` only.\n */\nexport {\n DEFAULT_SEARCH_BUDGET,\n scanFrontier,\n findFrontierGap,\n expressionSearchGaps,\n scanWithExpressionGaps,\n problemFromResidualGap,\n makeResidualGap,\n loadSearchProblemFromJson,\n resolveObservationsPath,\n parseExprJson,\n ProblemFileError,\n runProbeSearch,\n nodeWorkerArgv,\n formatProbeReport,\n loadStudyFromJson,\n loadStudyFile,\n runProbeStudy,\n formatProbeStudy,\n formatFrontierScan,\n formatFrontierGap,\n suggestDiscriminatingPoint,\n parseDesignBounds,\n runFalsification,\n rankPareto,\n} from './composition/probe/index.js';\n\n// Adjudication ledger (composition/adjudication.ts) — annotates discovery\n// candidates with recorded human verdicts; never mutates the funnel.\nexport {\n annotateAdjudications,\n adjudicationFor,\n candidateId,\n ADJUDICATIONS,\n} from './composition/adjudication.js';\nexport type { AnnotatedCandidate } from './composition/adjudication.js';\n/** One record of the adjudication ledger, exported from its owner, the catalog file's types. */\nexport type { CatalogAdjudication } from './bridges/catalog-types.js';\n\n// Consequence propagation (composition/consequence.ts) — annotates discovery\n// candidates with the entailed/novel-consequence/inconclusive signal; never\n// mutates the catalog/graph, never re-orders or re-scores.\nexport { annotateConsequences } from './composition/consequence.js';\nexport type {\n ConsequenceAnnotatedCandidate,\n ConsequenceSignal,\n ConsequenceEvidence,\n} from './composition/consequence.js';\n\n// Epistemic-grounding ledger (composition/grounding.ts) — a pure, derived view\n// over each candidate's falsifier results: which gates passed vs abstained, plus\n// the honest no-mechanism/no-data ceiling. Annotation-only; changes no verdict.\n// Atlas Phase 1 convention comparison — `upt recover` uses it to flag a\n// bridge↔canonical pair whose DECLARED sign/unit choices disagree. Advisory\n// only: it changes no classification and no exit code.\nexport { checkConventions, unknownConventionKeys } from './atlas/conventions.js';\nexport type { ConventionKey } from './atlas/conventions.js';\n\nexport { describeGrounding, describeReadiness } from './composition/grounding.js';\nexport { REPRESENTATIVE_VALUES } from './composition/representative-values.js';\n// User formula vs the canonical equation it restates (persona finding L2).\nexport {\n compareWithCanonical,\n compareUserEquation,\n describeComparison,\n describeComparisons,\n describeKnownRelation,\n matchingCatalogEdges,\n} from './composition/canonical-compare.js';\nexport type { CanonicalComparison, CatalogEdgeMatch } from './composition/canonical-compare.js';\nexport { CONSTANTS, CONSTANT_PROVENANCE } from './dimensional/symbolic-constants.js';\nexport type { CandidateGrounding, CandidateReadiness } from './composition/grounding.js';\n\n// Atlas Phase 2 CLI surface (`upt regime`, `upt path`). Regime admission and\n// route bounds are `@internal`; the CLI is their only consumer today.\nexport { OSCILLATOR_FAMILY } from './atlas/oscillators/index.js';\nexport { ATLAS_FAMILIES } from './atlas/families.js';\nexport { deriveEvidence, deriveCompositeEvidence, NO_PASSING_WITNESSES, provedWithUnresolvedCounterexample } from './atlas/derive-evidence.js';\nexport { summarizeEvidence, ALL_EVIDENCE_TAGS } from './atlas/coverage.js';\nexport { runWitnessRegistry } from './atlas/witness-artifact.js';\nexport { WITNESS_REGISTRY } from './atlas/witness-specs.js';\nexport { runNumericWitness } from './atlas/witness-numeric.js';\nexport {\n OBSERVABLE_CARRIAGES,\n OBSERVABLE_TRANSLATIONS,\n carriageOf,\n runTranslationCheck,\n translationsOf,\n} from './atlas/translation-registry.js';\nexport type { ObservableCarriage, ObservableTranslation, PointCheck } from './atlas/translation.js';\nexport type { AtlasFamily } from './atlas/family.js';\nexport { collidingRegimeGroups, regimeHolds, regimeOverlap, uncoveredRegions } from './atlas/regime.js';\nexport { domainRegimeRegistrations } from './relations/regime-registration.js';\nexport type { RegimeCheck, RegimeOverlap, RegionSample } from './atlas/regime.js';\nexport { familyChangeBlocksHorizon, findPath, findAtlasPath, enumerateAtlasRoutes, boundPath, horizonOnRoute, routeEntryModels } from './atlas/path-bound.js';\nexport { composeRelation } from './atlas/composition-table.js';\nexport type { PathBoundResult, PathBoundClaim, PathNoClaim, AppliedTransport } from './atlas/path-bound.js';\nexport type { AtlasBridge, RegimeInequality, Witness } from './atlas/types.js';\nexport { MissingLipschitzError } from './atlas/types.js';\nexport type { AtlasModel, ModelId } from './atlas/model.js';\n\n/**\n * Catalog formal reference for `upt atlas`.\n *\n * @internal\n */\nexport { catalogFormalRef } from './atlas/catalog-formal-ref.js';\n\n/**\n * Composition recovery scan for `upt recover`.\n *\n * @internal\n */\nexport { scanCompositionRecovery } from './composition/composition-recovery.js';\n\n/**\n * Exact metrics and geodesic integrators for `upt metric`.\n *\n * @internal\n */\nexport {\n curvatureReport,\n kerrEquatorialCircular,\n kerrGeodesic,\n kerrTurningPointOrbit,\n MetricMassError,\n schwarzschildCircularOrbit,\n type MetricId,\n} from './numerical/spacetime-metrics.js';\n\n/**\n * Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.\n *\n * @internal\n */\nexport { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';\n/** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */\nexport { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';\n/** One propagated output, and one input's share of it. */\nexport type { PropagatedOutput, UncertaintyContribution } from './numerical/evaluator-uncertainty.js';\n/** A stated constant checked against the registry; a disagreement is its own error. */\nexport { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';\n/** Thrown when a formula string does not parse or names an unbound symbol. */\nexport { FormulaError, FormulaValueError } from './numerical/formula-contract.js';\n/** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */\nexport { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';\n/** Synonym agreement and expansion of a binding set. */\nexport { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';\n/** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */\nexport { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';\n/** The one number formatter of explain text. */\nexport { formatQuantity, formatExact } from './composition/explain.js';\n/** A monomial odd in both carrier charge and mobility with opposite signs. */\nexport { CarrierSignError } from './bridges/carrier-sign.js';\n/** The constant values a natural-unit mode overrides. */\nexport { naturalConstantOverrides } from './dimensional/natural-units.js';\n/** The constant-value mode a formula is evaluated in: SI, natural, or geometrized. */\nexport type { UnitMode } from './dimensional/natural-units.js';\n/** Kebab catalog names rewritten to one symbol each before a formula is parsed. */\nexport { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';\n/** The ledger id of an orphan-connector pair, when both names are slugs. */\nexport { candidateIdIfSlug } from './composition/adjudication.js';\n/** The catalog or parameter name a spelling means. The commands call this, not a second table. */\nexport { resolveQuantityName } from './index.js';\n/** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */\nexport { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';\n/** The required inputs of an evaluator that no relation source reads. They do not change the value. */\nexport { unusedInputKeys } from './bridges/evaluators.js';\n/** Two spellings of one quantity were given different numbers. The formula is not run. */\nexport { SynonymDisagreementError } from './dimensional/formula-names.js';\n/** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */\nexport { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';\n\n/**\n * Builtin dimension checker for `upt eval`.\n *\n * @internal\n */\nexport { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js';\n\n/**\n * Missing-evaluator message for `upt evaluate`.\n *\n * @internal\n */\nexport { missingEvaluatorMessage } from './bridges/evaluators.js';\n\n/** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */\nexport { relationNotices } from './bridges/notices.js';\n/** The notes of the registered constants a formula names. */\nexport { constantNotes } from './dimensional/symbolic-constants.js';\n\n/** Quantity-graph edge type for `upt map`. @internal */\nexport type { BridgeEdge } from './composition/edge.js';\n\n/** Visual map types for `upt map`. @internal */\nexport type { VizJunction, VizModel } from './composition/graph-viz.js';\n\n/** Relation vocabulary types for `upt map`. @internal */\nexport type { EvidenceTag, RelationType } from './atlas/types.js';\n\n/** User-equation analysis type for `upt map`. @internal */\nexport type { EquationAnalysis } from './composition/user-equation.js';\n"]}
|
|
@@ -13,6 +13,7 @@
|
|
|
13
13
|
* @module composition/adjudication
|
|
14
14
|
*/
|
|
15
15
|
import type { VettedCandidate } from './discovery.js';
|
|
16
|
+
import type { CatalogAdjudication } from '../bridges/catalog-types.js';
|
|
16
17
|
/**
|
|
17
18
|
* Stable identity for an identification hypothesis: the two quantity names,
|
|
18
19
|
* sorted, joined with `~`. Deliberately excludes score/verdict/dimension so
|
|
@@ -33,39 +34,16 @@ export declare function candidateId(a: string, b: string): string;
|
|
|
33
34
|
*/
|
|
34
35
|
export declare function candidateIdIfSlug(a: string, b: string): string | undefined;
|
|
35
36
|
/**
|
|
36
|
-
*
|
|
37
|
-
*
|
|
38
|
-
*
|
|
39
|
-
*
|
|
40
|
-
* - `decoy` — dimensional coincidence / no mechanism; includes trivial and
|
|
41
|
-
* definitional identifications.
|
|
42
|
-
* - `deferred` — reviewed and consciously parked (≠ absent entry, which means
|
|
43
|
-
* never reviewed).
|
|
37
|
+
* The ledger: the `adjudications` block of `data/bridge-catalog.json`, read
|
|
38
|
+
* once. Append-only by convention; a record is corrected there, never
|
|
39
|
+
* silently removed. A record whose verdict is not one of the four, or whose
|
|
40
|
+
* id is not a slug pair, is a defect in the file and refuses to load.
|
|
44
41
|
*
|
|
45
42
|
* @public
|
|
46
43
|
*/
|
|
47
|
-
export
|
|
48
|
-
/** One adjudicated identification hypothesis. @public */
|
|
49
|
-
export interface CandidateAdjudication {
|
|
50
|
-
/** `candidateId(a, b)` of the identification. */
|
|
51
|
-
readonly id: string;
|
|
52
|
-
readonly verdict: AdjudicationVerdict;
|
|
53
|
-
/** Why — condensed from the adjudication record; never machine-generated. */
|
|
54
|
-
readonly grounds: string;
|
|
55
|
-
/** Repo-relative path of the adjudication document. */
|
|
56
|
-
readonly source: string;
|
|
57
|
-
/** ISO date the verdict was recorded. */
|
|
58
|
-
readonly date: string;
|
|
59
|
-
}
|
|
60
|
-
/**
|
|
61
|
-
* The seeded ledger — 2026-06 Adam+Eve adjudication rounds (8 → 0 genuine).
|
|
62
|
-
* Append-only by convention; entries are corrected, never silently removed.
|
|
63
|
-
*
|
|
64
|
-
* @public
|
|
65
|
-
*/
|
|
66
|
-
export declare const ADJUDICATIONS: readonly CandidateAdjudication[];
|
|
44
|
+
export declare const ADJUDICATIONS: readonly CatalogAdjudication[];
|
|
67
45
|
/** Look up the verdict for an identification, order-insensitive. @public */
|
|
68
|
-
export declare function adjudicationFor(a: string, b: string):
|
|
46
|
+
export declare function adjudicationFor(a: string, b: string): CatalogAdjudication | undefined;
|
|
69
47
|
/**
|
|
70
48
|
* A `VettedCandidate` with its recorded verdict attached, when the ledger has
|
|
71
49
|
* one for `a ≟ b`. The identification funnel (`rankDiscoveries`) never sees
|
|
@@ -74,7 +52,7 @@ export declare function adjudicationFor(a: string, b: string): CandidateAdjudica
|
|
|
74
52
|
* @public
|
|
75
53
|
*/
|
|
76
54
|
export type AnnotatedCandidate = VettedCandidate & {
|
|
77
|
-
readonly adjudication?:
|
|
55
|
+
readonly adjudication?: CatalogAdjudication;
|
|
78
56
|
};
|
|
79
57
|
/**
|
|
80
58
|
* Attach each candidate's recorded verdict, if any. A pure map: preserves
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"adjudication.d.ts","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"adjudication.d.ts","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAMvE;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAOxD;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAG1E;AAID;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,EAAE,SAAS,mBAAmB,EAOtD,CAAC;AAMH,4EAA4E;AAC5E,wBAAgB,eAAe,CAC7B,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,MAAM,GACR,mBAAmB,GAAG,SAAS,CAEjC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,eAAe,GAAG;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,mBAAmB,CAAC;CAC7C,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,SAAS,eAAe,EAAE,GACrC,SAAS,kBAAkB,EAAE,CAM/B"}
|
|
@@ -12,6 +12,7 @@
|
|
|
12
12
|
*
|
|
13
13
|
* @module composition/adjudication
|
|
14
14
|
*/
|
|
15
|
+
import { bridgeCatalog } from '../bridges/catalog-load.js';
|
|
15
16
|
/** Quantity names are ASCII kebab-case slugs; enforced so `~` cannot collide
|
|
16
17
|
* (Adam/Eve vet r1: guard the character-set assumption, don't assume it). */
|
|
17
18
|
const SLUG = /^[a-z0-9][a-z0-9-]*$/u;
|
|
@@ -43,77 +44,24 @@ export function candidateIdIfSlug(a, b) {
|
|
|
43
44
|
return undefined;
|
|
44
45
|
return candidateId(a, b);
|
|
45
46
|
}
|
|
47
|
+
const VERDICTS = new Set(['genuine', 'decoy', 'entailed', 'deferred']);
|
|
46
48
|
/**
|
|
47
|
-
* The
|
|
48
|
-
* Append-only by convention;
|
|
49
|
+
* The ledger: the `adjudications` block of `data/bridge-catalog.json`, read
|
|
50
|
+
* once. Append-only by convention; a record is corrected there, never
|
|
51
|
+
* silently removed. A record whose verdict is not one of the four, or whose
|
|
52
|
+
* id is not a slug pair, is a defect in the file and refuses to load.
|
|
49
53
|
*
|
|
50
54
|
* @public
|
|
51
55
|
*/
|
|
52
|
-
export const ADJUDICATIONS =
|
|
53
|
-
|
|
54
|
-
id:
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
id: candidateId('dark-fermion-mass', 'erasure-energy'),
|
|
62
|
-
verdict: 'decoy',
|
|
63
|
-
grounds: 'Dimensional coincidence; no mechanism. A speculative hidden-sector mass m = gv set equal to a context-dependent erasure energy — no model links a particle mass to an arbitrary processor\'s temperature.',
|
|
64
|
-
source: 'docs/research/proposed-equations-adjudication.md',
|
|
65
|
-
date: '2026-06-21',
|
|
66
|
-
},
|
|
67
|
-
{
|
|
68
|
-
id: candidateId('photon-energy', 'rest-energy'),
|
|
69
|
-
verdict: 'entailed',
|
|
70
|
-
grounds: 'Real physics, already entailed by the L-layer via CE-planck-einstein (E=hν) and CE-mass-energy (E=mc²); not a new link. Both Adam and Eve agree it is not a new discovery.',
|
|
71
|
-
source: 'docs/research/proposed-equations-adjudication.md',
|
|
72
|
-
date: '2026-06-21',
|
|
73
|
-
},
|
|
74
|
-
{
|
|
75
|
-
id: candidateId('dark-fermion-mass', 'rest-energy'),
|
|
76
|
-
verdict: 'decoy',
|
|
77
|
-
grounds: 'Trivial/definitional. m = vg/c² re-expresses the dark-fermion mass via E=mc² instead of via Landauer (cf. PE-2) — a definitional application, not a new bridge.',
|
|
78
|
-
source: 'docs/research/proposed-equations-adjudication.md',
|
|
79
|
-
date: '2026-06-21',
|
|
80
|
-
},
|
|
81
|
-
{
|
|
82
|
-
id: candidateId('hubble-distance', 'peak-wavelength'),
|
|
83
|
-
verdict: 'decoy',
|
|
84
|
-
grounds: 'Dimensional coincidence; no mechanism. A blackbody peak wavelength equated with the cosmological horizon — disparate domains, no mechanism; numerically off by ~10²⁹ for the CMB. The clearest "coincidence, not physics" case.',
|
|
85
|
-
source: 'docs/research/proposed-equations-adjudication.md',
|
|
86
|
-
date: '2026-06-21',
|
|
87
|
-
},
|
|
88
|
-
{
|
|
89
|
-
id: candidateId('coarsening-length', 'quantum-correlation-length'),
|
|
90
|
-
verdict: 'decoy',
|
|
91
|
-
grounds: 'Non-equilibrium vs equilibrium length; unanimous. A coarsening length is a non-equilibrium domain size formed by quenching through a critical point; the quantum correlation length ξ is an equilibrium static property at it. Different processes — not the same length.',
|
|
92
|
-
source: 'docs/research/orphan-connector-adjudication.md',
|
|
93
|
-
date: '2026-06-21',
|
|
94
|
-
},
|
|
95
|
-
{
|
|
96
|
-
id: candidateId('effective-mass', 'tunneling-mass'),
|
|
97
|
-
verdict: 'decoy',
|
|
98
|
-
grounds: 'Different particles/Hamiltonians; unanimous. A proton\'s inertia in a specific biomolecular potential vs. an emergent electronic quasiparticle\'s effective mass in a strongly-correlated metal. Different particles, different Hamiltonians, unrelated scales.',
|
|
99
|
-
source: 'docs/research/orphan-connector-adjudication.md',
|
|
100
|
-
date: '2026-06-21',
|
|
101
|
-
},
|
|
102
|
-
{
|
|
103
|
-
id: candidateId('decoherence-rate', 'mutation-rate'),
|
|
104
|
-
verdict: 'decoy',
|
|
105
|
-
grounds: 'Same units, no shared meaning; unanimous. A decoherence rate (loss of quantum phase to the environment) vs. a mutation rate (frequency of a permanent, classical change to a DNA sequence). Same units, no shared physical meaning — decoherence may precede a mutation, but they are not one quantity.',
|
|
106
|
-
source: 'docs/research/orphan-connector-adjudication.md',
|
|
107
|
-
date: '2026-06-21',
|
|
108
|
-
},
|
|
109
|
-
{
|
|
110
|
-
id: candidateId('foerster-radius', 'schwarzschild-radius'),
|
|
111
|
-
verdict: 'decoy',
|
|
112
|
-
grounds: 'a Förster radius is not a Schwarzschild radius',
|
|
113
|
-
source: 'docs/research/Orphan-Connector-Analysis.md',
|
|
114
|
-
date: '2026-06-15',
|
|
115
|
-
},
|
|
116
|
-
];
|
|
56
|
+
export const ADJUDICATIONS = bridgeCatalog().adjudications.map((row) => {
|
|
57
|
+
if (!VERDICTS.has(row.verdict))
|
|
58
|
+
throw new Error(`adjudication ${row.id}: verdict '${row.verdict}' is not genuine, decoy, entailed or deferred`);
|
|
59
|
+
const [a, b, extra] = row.id.split('~');
|
|
60
|
+
if (a === undefined || b === undefined || extra !== undefined || candidateId(a, b) !== row.id) {
|
|
61
|
+
throw new Error(`adjudication ${row.id}: id is not a sorted slug pair`);
|
|
62
|
+
}
|
|
63
|
+
return row;
|
|
64
|
+
});
|
|
117
65
|
const BY_ID = new Map(ADJUDICATIONS.map((a) => [a.id, a]));
|
|
118
66
|
/** Look up the verdict for an identification, order-insensitive. @public */
|
|
119
67
|
export function adjudicationFor(a, b) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"adjudication.js","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;
|
|
1
|
+
{"version":3,"file":"adjudication.js","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAG3D;8EAC8E;AAC9E,MAAM,IAAI,GAAG,uBAAuB,CAAC;AAErC;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,CAAS;IAC9C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,8DAA8D,CAAC,OAAO,CAAC,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAS,EAAE,CAAS;IACpD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,QAAQ,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAE5F;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAmC,aAAa,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;IACrG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,OAAO,+CAA+C,CAAC,CAAC;IAChJ,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,gCAAgC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,MAAM,KAAK,GAA6C,IAAI,GAAG,CAC7D,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACpC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAC7B,CAAS,EACT,CAAS;IAET,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAaD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAsC;IAEtC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * Adjudication ledger for machine-surfaced discovery candidates.\n *\n * Human verdicts on identification hypotheses (`a ≟ b`) are REVIEW MEMORY:\n * once a physicist has disposed of a candidate, the funnel must not\n * re-surface it as fresh. Verdicts NEVER mutate the catalog or graphs\n * (the epistemic firewall) — they annotate discovery output only.\n *\n * Keyed by the order-normalized quantity-name pair. Proposed equations\n * (`upt discover --derive`) inherit the verdict of the identification they\n * were derived from (`derivedFrom.identification`).\n *\n * @module composition/adjudication\n */\n\nimport type { VettedCandidate } from './discovery.js';\nimport { bridgeCatalog } from '../bridges/catalog-load.js';\nimport type { CatalogAdjudication } from '../bridges/catalog-types.js';\n\n/** Quantity names are ASCII kebab-case slugs; enforced so `~` cannot collide\n * (Adam/Eve vet r1: guard the character-set assumption, don't assume it). */\nconst SLUG = /^[a-z0-9][a-z0-9-]*$/u;\n\n/**\n * Stable identity for an identification hypothesis: the two quantity names,\n * sorted, joined with `~`. Deliberately excludes score/verdict/dimension so\n * ids survive funnel-internal changes. NOT rename-proof: a quantity rename\n * (alias disposition) must update `ADJUDICATIONS` in the SAME commit — the\n * calibration benchmark's seed-resolution test enforces this.\n *\n * @public\n */\nexport function candidateId(a: string, b: string): string {\n if (!SLUG.test(a) || !SLUG.test(b)) {\n throw new Error(\n `candidateId: quantity names must be kebab-case slugs (got '${a}', '${b}')`,\n );\n }\n return a <= b ? `${a}~${b}` : `${b}~${a}`;\n}\n\n/**\n * `candidateId` when both names are kebab-case slugs; otherwise `undefined`.\n * Graphs carry symbols that are not slugs (`A`, `impact_parameter`). Those\n * names are not ledger keys, and routing them through `candidateId` throws.\n * The ledger path keeps the throw. Callers that only need an id skip it.\n *\n * @internal\n */\nexport function candidateIdIfSlug(a: string, b: string): string | undefined {\n if (!SLUG.test(a) || !SLUG.test(b)) return undefined;\n return candidateId(a, b);\n}\n\nconst VERDICTS: ReadonlySet<string> = new Set(['genuine', 'decoy', 'entailed', 'deferred']);\n\n/**\n * The ledger: the `adjudications` block of `data/bridge-catalog.json`, read\n * once. Append-only by convention; a record is corrected there, never\n * silently removed. A record whose verdict is not one of the four, or whose\n * id is not a slug pair, is a defect in the file and refuses to load.\n *\n * @public\n */\nexport const ADJUDICATIONS: readonly CatalogAdjudication[] = bridgeCatalog().adjudications.map((row) => {\n if (!VERDICTS.has(row.verdict)) throw new Error(`adjudication ${row.id}: verdict '${row.verdict}' is not genuine, decoy, entailed or deferred`);\n const [a, b, extra] = row.id.split('~');\n if (a === undefined || b === undefined || extra !== undefined || candidateId(a, b) !== row.id) {\n throw new Error(`adjudication ${row.id}: id is not a sorted slug pair`);\n }\n return row;\n});\n\nconst BY_ID: ReadonlyMap<string, CatalogAdjudication> = new Map(\n ADJUDICATIONS.map((a) => [a.id, a]),\n);\n\n/** Look up the verdict for an identification, order-insensitive. @public */\nexport function adjudicationFor(\n a: string,\n b: string,\n): CatalogAdjudication | undefined {\n return BY_ID.get(candidateId(a, b));\n}\n\n/**\n * A `VettedCandidate` with its recorded verdict attached, when the ledger has\n * one for `a ≟ b`. The identification funnel (`rankDiscoveries`) never sees\n * this — annotation is a command-layer concern (the epistemic firewall).\n *\n * @public\n */\nexport type AnnotatedCandidate = VettedCandidate & {\n readonly adjudication?: CatalogAdjudication;\n};\n\n/**\n * Attach each candidate's recorded verdict, if any. A pure map: preserves\n * order and length, and leaves candidates without a ledger entry untouched\n * (no `adjudication` key added).\n *\n * The discovery funnel's candidate pool is NOT guaranteed to be kebab-case\n * slugs (`candidates` command sources plain quantity names like `A` or\n * `impact_parameter` straight off `BridgeEdge`/canonical governing sets) —\n * `candidateId` intentionally THROWS on those (the `~`-collision guard, see\n * its docstring). A non-slug name can never be a ledger key (every\n * `ADJUDICATIONS` entry is a valid slug), so such candidates are\n * pre-filtered out of lookup rather than routed through the throwing path.\n *\n * @public\n */\nexport function annotateAdjudications(\n candidates: readonly VettedCandidate[],\n): readonly AnnotatedCandidate[] {\n return candidates.map((c) => {\n if (!SLUG.test(c.a) || !SLUG.test(c.b)) return c;\n const adjudication = adjudicationFor(c.a, c.b);\n return adjudication ? { ...c, adjudication } : c;\n });\n}\n"]}
|
|
@@ -15,7 +15,7 @@ import { type DimensionRename } from '../dimensional/formula-names.js';
|
|
|
15
15
|
*
|
|
16
16
|
* Synonym groups are {@link SYNONYM_GROUPS}: the same array, not a copy.
|
|
17
17
|
* A comparison target is a name an entry answers to besides its frozen
|
|
18
|
-
* target word
|
|
18
|
+
* target word, projected from each entry's `targetAliases`. `speed` answers for the sound-speed equation in a comparison
|
|
19
19
|
* and is not a synonym of `sound-speed`. A dimension rename applies only
|
|
20
20
|
* for that dimension, so a time coordinate named `T` stays `T`.
|
|
21
21
|
* Spelling resolution is `resolveQuantityName`, not a second table.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"aliases.d.ts","sourceRoot":"","sources":["../../src/composition/aliases.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAIL,KAAK,eAAe,EACrB,MAAM,iCAAiC,CAAC;
|
|
1
|
+
{"version":3,"file":"aliases.d.ts","sourceRoot":"","sources":["../../src/composition/aliases.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAIL,KAAK,eAAe,EACrB,MAAM,iCAAiC,CAAC;AAIzC;;;;;;;;;GASG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAClD,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IACvE,QAAQ,CAAC,gBAAgB,EAAE,SAAS,eAAe,EAAE,CAAC;CAQvD,CAAC;AAEF,+FAA+F;AAC/F,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,MAAM,EAAE,MAAM,GACb,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAe7B;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAkBzD;AAID;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAQlF;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACxC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAyBnC;AAED;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,GAC9C,MAAM,EAAE,CAeV"}
|