universal-physics-tensor 0.47.1 → 1.0.2
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/LICENSE +21 -21
- package/README.md +405 -383
- package/bin/upt.mjs +7 -1
- package/dist/atlas/benchmark/hybrid-retrieval.d.ts +108 -0
- package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -0
- package/dist/atlas/benchmark/hybrid-retrieval.js +241 -0
- package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -0
- package/dist/atlas/catalog-formal-ref.d.ts +24 -0
- package/dist/atlas/catalog-formal-ref.d.ts.map +1 -0
- package/dist/atlas/catalog-formal-ref.js +36 -0
- package/dist/atlas/catalog-formal-ref.js.map +1 -0
- package/dist/atlas/chain-pipeline.d.ts +52 -0
- package/dist/atlas/chain-pipeline.d.ts.map +1 -0
- package/dist/atlas/chain-pipeline.js +176 -0
- package/dist/atlas/chain-pipeline.js.map +1 -0
- package/dist/atlas/composition-table.d.ts +11 -46
- package/dist/atlas/composition-table.d.ts.map +1 -1
- package/dist/atlas/composition-table.js +7 -124
- package/dist/atlas/composition-table.js.map +1 -1
- package/dist/atlas/conventions.d.ts +4 -58
- package/dist/atlas/conventions.d.ts.map +1 -1
- package/dist/atlas/conventions.js +3 -88
- package/dist/atlas/conventions.js.map +1 -1
- package/dist/atlas/derive-evidence.d.ts +50 -3
- package/dist/atlas/derive-evidence.d.ts.map +1 -1
- package/dist/atlas/derive-evidence.js +73 -4
- 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 +5 -1
- package/dist/atlas/diffusion/bridges-closure.js.map +1 -1
- package/dist/atlas/index.d.ts +9 -7
- package/dist/atlas/index.d.ts.map +1 -1
- package/dist/atlas/index.js +6 -5
- package/dist/atlas/index.js.map +1 -1
- package/dist/atlas/oscillators/bridges-exact.d.ts.map +1 -1
- package/dist/atlas/oscillators/bridges-exact.js +6 -0
- package/dist/atlas/oscillators/bridges-exact.js.map +1 -1
- package/dist/atlas/oscillators/bridges-limits.d.ts +2 -0
- package/dist/atlas/oscillators/bridges-limits.d.ts.map +1 -1
- package/dist/atlas/oscillators/bridges-limits.js +11 -19
- package/dist/atlas/oscillators/bridges-limits.js.map +1 -1
- package/dist/atlas/oscillators/limit-witnesses.d.ts +93 -0
- package/dist/atlas/oscillators/limit-witnesses.d.ts.map +1 -0
- package/dist/atlas/oscillators/limit-witnesses.js +152 -0
- package/dist/atlas/oscillators/limit-witnesses.js.map +1 -0
- package/dist/atlas/oscillators/models.d.ts +2 -1
- package/dist/atlas/oscillators/models.d.ts.map +1 -1
- package/dist/atlas/oscillators/models.js +4 -3
- package/dist/atlas/oscillators/models.js.map +1 -1
- package/dist/atlas/oscillators/norm-transport-witness.d.ts +37 -0
- package/dist/atlas/oscillators/norm-transport-witness.d.ts.map +1 -0
- package/dist/atlas/oscillators/norm-transport-witness.js +58 -0
- package/dist/atlas/oscillators/norm-transport-witness.js.map +1 -0
- package/dist/atlas/oscillators/norm-transport.d.ts +44 -0
- package/dist/atlas/oscillators/norm-transport.d.ts.map +1 -0
- package/dist/atlas/oscillators/norm-transport.js +66 -0
- package/dist/atlas/oscillators/norm-transport.js.map +1 -0
- package/dist/atlas/oscillators/norms.d.ts +11 -0
- package/dist/atlas/oscillators/norms.d.ts.map +1 -0
- package/dist/atlas/oscillators/norms.js +11 -0
- package/dist/atlas/oscillators/norms.js.map +1 -0
- package/dist/atlas/oscillators/pendulum-motion.d.ts +38 -0
- package/dist/atlas/oscillators/pendulum-motion.d.ts.map +1 -0
- package/dist/atlas/oscillators/pendulum-motion.js +122 -0
- package/dist/atlas/oscillators/pendulum-motion.js.map +1 -0
- package/dist/atlas/oscillators/phase-carriage.d.ts +38 -0
- package/dist/atlas/oscillators/phase-carriage.d.ts.map +1 -0
- package/dist/atlas/oscillators/phase-carriage.js +96 -0
- package/dist/atlas/oscillators/phase-carriage.js.map +1 -0
- package/dist/atlas/oscillators/phase-translation.d.ts +46 -0
- package/dist/atlas/oscillators/phase-translation.d.ts.map +1 -0
- package/dist/atlas/oscillators/phase-translation.js +178 -0
- package/dist/atlas/oscillators/phase-translation.js.map +1 -0
- package/dist/atlas/oscillators/position-translation.d.ts +59 -0
- package/dist/atlas/oscillators/position-translation.d.ts.map +1 -0
- package/dist/atlas/oscillators/position-translation.js +254 -0
- package/dist/atlas/oscillators/position-translation.js.map +1 -0
- package/dist/atlas/path-bound.d.ts +126 -9
- package/dist/atlas/path-bound.d.ts.map +1 -1
- package/dist/atlas/path-bound.js +372 -23
- package/dist/atlas/path-bound.js.map +1 -1
- package/dist/atlas/physjs-ref.d.ts +141 -0
- package/dist/atlas/physjs-ref.d.ts.map +1 -0
- package/dist/atlas/physjs-ref.js +878 -0
- package/dist/atlas/physjs-ref.js.map +1 -0
- package/dist/atlas/proof-target.d.ts +32 -0
- package/dist/atlas/proof-target.d.ts.map +1 -0
- package/dist/atlas/proof-target.js +140 -0
- package/dist/atlas/proof-target.js.map +1 -0
- package/dist/atlas/regime.d.ts +12 -136
- package/dist/atlas/regime.d.ts.map +1 -1
- package/dist/atlas/regime.js +8 -254
- package/dist/atlas/regime.js.map +1 -1
- package/dist/atlas/serialize.d.ts.map +1 -1
- package/dist/atlas/serialize.js +25 -0
- package/dist/atlas/serialize.js.map +1 -1
- package/dist/atlas/translation-registry.d.ts +22 -0
- package/dist/atlas/translation-registry.d.ts.map +1 -0
- package/dist/atlas/translation-registry.js +31 -0
- package/dist/atlas/translation-registry.js.map +1 -0
- package/dist/atlas/translation.d.ts +116 -0
- package/dist/atlas/translation.d.ts.map +1 -0
- package/dist/atlas/translation.js +34 -0
- package/dist/atlas/translation.js.map +1 -0
- package/dist/atlas/types.d.ts +74 -240
- package/dist/atlas/types.d.ts.map +1 -1
- package/dist/atlas/types.js +5 -37
- 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 +4 -0
- 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 +3 -0
- package/dist/atlas/waves/bridges.js.map +1 -1
- package/dist/atlas/waves/models.js +1 -1
- package/dist/atlas/waves/models.js.map +1 -1
- package/dist/atlas/witness-dominance.d.ts +50 -0
- package/dist/atlas/witness-dominance.d.ts.map +1 -0
- package/dist/atlas/witness-dominance.js +86 -0
- package/dist/atlas/witness-dominance.js.map +1 -0
- package/dist/atlas/witness-specs.d.ts +30 -0
- package/dist/atlas/witness-specs.d.ts.map +1 -1
- package/dist/atlas/witness-specs.js +107 -0
- package/dist/atlas/witness-specs.js.map +1 -1
- package/dist/bridges/be53-yang-mills-confrontation.d.ts +81 -0
- package/dist/bridges/be53-yang-mills-confrontation.d.ts.map +1 -0
- package/dist/bridges/be53-yang-mills-confrontation.js +110 -0
- package/dist/bridges/be53-yang-mills-confrontation.js.map +1 -0
- package/dist/bridges/be63-chandrasekhar-mass.d.ts.map +1 -1
- package/dist/bridges/be63-chandrasekhar-mass.js +1 -3
- package/dist/bridges/be63-chandrasekhar-mass.js.map +1 -1
- package/dist/bridges/confrontation-coverage.d.ts +5 -61
- package/dist/bridges/confrontation-coverage.d.ts.map +1 -1
- package/dist/bridges/confrontation-coverage.js +5 -70
- 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 +291 -3
- package/dist/bridges/confrontations.js.map +1 -1
- package/dist/bridges/equations/be-13-einstein-trace.d.ts +2 -3
- package/dist/bridges/equations/be-13-einstein-trace.d.ts.map +1 -1
- package/dist/bridges/equations/be-13-einstein-trace.js +2 -3
- package/dist/bridges/equations/be-13-einstein-trace.js.map +1 -1
- package/dist/bridges/equations/be-38-mond.d.ts +7 -5
- package/dist/bridges/equations/be-38-mond.d.ts.map +1 -1
- package/dist/bridges/equations/be-38-mond.js +7 -5
- package/dist/bridges/equations/be-38-mond.js.map +1 -1
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts +3 -0
- package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map +1 -1
- package/dist/bridges/equations/be-42-hawking-temperature.js +8 -1
- package/dist/bridges/equations/be-42-hawking-temperature.js.map +1 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts +21 -0
- package/dist/bridges/equations/be-53-yang-mills-beta.d.ts.map +1 -1
- package/dist/bridges/equations/be-53-yang-mills-beta.js +12 -0
- package/dist/bridges/equations/be-53-yang-mills-beta.js.map +1 -1
- package/dist/bridges/evaluator-inputs.d.ts +21 -0
- package/dist/bridges/evaluator-inputs.d.ts.map +1 -0
- package/dist/bridges/evaluator-inputs.js +75 -0
- package/dist/bridges/evaluator-inputs.js.map +1 -0
- package/dist/bridges/evaluators.d.ts +46 -0
- package/dist/bridges/evaluators.d.ts.map +1 -1
- package/dist/bridges/evaluators.js +57 -16
- package/dist/bridges/evaluators.js.map +1 -1
- package/dist/bridges/gravitational-lensing.d.ts +1 -1
- package/dist/bridges/gravitational-lensing.js +1 -1
- package/dist/bridges/index.d.ts +3 -2
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +15 -14
- package/dist/bridges/index.js.map +1 -1
- package/dist/bridges/observations/types.d.ts +110 -2
- package/dist/bridges/observations/types.d.ts.map +1 -1
- package/dist/bridges/observations/types.js +29 -0
- package/dist/bridges/observations/types.js.map +1 -1
- package/dist/bridges/perihelion-precession.d.ts +1 -1
- package/dist/bridges/perihelion-precession.js +1 -1
- package/dist/bridges/tensor-index.d.ts +39 -0
- package/dist/bridges/tensor-index.d.ts.map +1 -0
- package/dist/bridges/tensor-index.js +66 -0
- package/dist/bridges/tensor-index.js.map +1 -0
- package/dist/canonical/canonical-equation.d.ts +1 -1
- package/dist/canonical/canonical-equation.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.js +32 -10
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/dimensional-classics.js +2 -2
- package/dist/canonical/entries/dimensional-classics.js.map +1 -1
- package/dist/canonical/entries/mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/mechanics.js +10 -6
- package/dist/canonical/entries/mechanics.js.map +1 -1
- package/dist/canonical/entries/relativity.d.ts.map +1 -1
- package/dist/canonical/entries/relativity.js +41 -8
- package/dist/canonical/entries/relativity.js.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +5 -5
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
- package/dist/canonical/linkage.d.ts.map +1 -1
- package/dist/canonical/linkage.js +31 -28
- package/dist/canonical/linkage.js.map +1 -1
- package/dist/canonical/normal-form.d.ts +17 -0
- package/dist/canonical/normal-form.d.ts.map +1 -1
- package/dist/canonical/normal-form.js +21 -4
- package/dist/canonical/normal-form.js.map +1 -1
- package/dist/canonical/structural.d.ts +84 -0
- package/dist/canonical/structural.d.ts.map +1 -0
- package/dist/canonical/structural.js +107 -0
- package/dist/canonical/structural.js.map +1 -0
- package/dist/cases/brownian-sphere.d.ts +68 -0
- package/dist/cases/brownian-sphere.d.ts.map +1 -0
- package/dist/cases/brownian-sphere.js +353 -0
- package/dist/cases/brownian-sphere.js.map +1 -0
- package/dist/cases/damped-resonator.d.ts +23 -0
- package/dist/cases/damped-resonator.d.ts.map +1 -0
- package/dist/cases/damped-resonator.js +224 -0
- package/dist/cases/damped-resonator.js.map +1 -0
- package/dist/cases/index.d.ts +11 -0
- package/dist/cases/index.d.ts.map +1 -0
- package/dist/cases/index.js +29 -0
- package/dist/cases/index.js.map +1 -0
- package/dist/cases/kepler-rv.d.ts +13 -0
- package/dist/cases/kepler-rv.d.ts.map +1 -0
- package/dist/cases/kepler-rv.js +168 -0
- package/dist/cases/kepler-rv.js.map +1 -0
- package/dist/cases/lumped-cooling.d.ts +46 -0
- package/dist/cases/lumped-cooling.d.ts.map +1 -0
- package/dist/cases/lumped-cooling.js +261 -0
- package/dist/cases/lumped-cooling.js.map +1 -0
- package/dist/cases/quadrature.d.ts +14 -0
- package/dist/cases/quadrature.d.ts.map +1 -0
- package/dist/cases/quadrature.js +41 -0
- package/dist/cases/quadrature.js.map +1 -0
- package/dist/cases/resistor-noise.d.ts +14 -0
- package/dist/cases/resistor-noise.d.ts.map +1 -0
- package/dist/cases/resistor-noise.js +210 -0
- package/dist/cases/resistor-noise.js.map +1 -0
- package/dist/cases/skin-depth.d.ts +21 -0
- package/dist/cases/skin-depth.d.ts.map +1 -0
- package/dist/cases/skin-depth.js +174 -0
- package/dist/cases/skin-depth.js.map +1 -0
- package/dist/cases/types.d.ts +115 -0
- package/dist/cases/types.d.ts.map +1 -0
- package/dist/cases/types.js +20 -0
- package/dist/cases/types.js.map +1 -0
- package/dist/cli/commands/_atlas-map.d.ts +409 -0
- package/dist/cli/commands/_atlas-map.d.ts.map +1 -0
- package/dist/cli/commands/_atlas-map.js +1014 -0
- package/dist/cli/commands/_atlas-map.js.map +1 -0
- package/dist/cli/commands/_atlas-route.d.ts +111 -0
- package/dist/cli/commands/_atlas-route.d.ts.map +1 -0
- package/dist/cli/commands/_atlas-route.js +140 -0
- package/dist/cli/commands/_atlas-route.js.map +1 -0
- package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
- package/dist/cli/commands/_discovery-opts.js +10 -1
- package/dist/cli/commands/_discovery-opts.js.map +1 -1
- package/dist/cli/commands/atlas.d.ts +20 -0
- package/dist/cli/commands/atlas.d.ts.map +1 -1
- package/dist/cli/commands/atlas.js +333 -19
- 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 +12 -3
- package/dist/cli/commands/audit.js.map +1 -1
- package/dist/cli/commands/axes.js +4 -4
- package/dist/cli/commands/candidates.d.ts.map +1 -1
- package/dist/cli/commands/candidates.js +3 -2
- package/dist/cli/commands/candidates.js.map +1 -1
- package/dist/cli/commands/canonical.d.ts.map +1 -1
- package/dist/cli/commands/canonical.js +39 -10
- package/dist/cli/commands/canonical.js.map +1 -1
- package/dist/cli/commands/confront.d.ts.map +1 -1
- package/dist/cli/commands/confront.js +210 -28
- 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 +5 -4
- package/dist/cli/commands/connectors.js.map +1 -1
- package/dist/cli/commands/coverage.js +3 -3
- package/dist/cli/commands/derive.d.ts.map +1 -1
- package/dist/cli/commands/derive.js +22 -9
- 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 +149 -32
- 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 +87 -17
- package/dist/cli/commands/eval.js.map +1 -1
- package/dist/cli/commands/evaluate.d.ts +30 -0
- package/dist/cli/commands/evaluate.d.ts.map +1 -1
- package/dist/cli/commands/evaluate.js +441 -25
- 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 +38 -11
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/frontier.d.ts +3 -0
- package/dist/cli/commands/frontier.d.ts.map +1 -0
- package/dist/cli/commands/frontier.js +28 -0
- package/dist/cli/commands/frontier.js.map +1 -0
- package/dist/cli/commands/ground.d.ts.map +1 -1
- package/dist/cli/commands/ground.js +37 -12
- package/dist/cli/commands/ground.js.map +1 -1
- package/dist/cli/commands/index.d.ts +5 -0
- package/dist/cli/commands/index.d.ts.map +1 -1
- package/dist/cli/commands/index.js +5 -0
- package/dist/cli/commands/index.js.map +1 -1
- package/dist/cli/commands/map.d.ts +8 -0
- package/dist/cli/commands/map.d.ts.map +1 -1
- package/dist/cli/commands/map.js +385 -57
- package/dist/cli/commands/map.js.map +1 -1
- package/dist/cli/commands/metric.d.ts +3 -0
- package/dist/cli/commands/metric.d.ts.map +1 -0
- package/dist/cli/commands/metric.js +136 -0
- package/dist/cli/commands/metric.js.map +1 -0
- package/dist/cli/commands/path.d.ts +109 -1
- package/dist/cli/commands/path.d.ts.map +1 -1
- package/dist/cli/commands/path.js +1019 -109
- package/dist/cli/commands/path.js.map +1 -1
- package/dist/cli/commands/predict.d.ts.map +1 -1
- package/dist/cli/commands/predict.js +3 -2
- package/dist/cli/commands/predict.js.map +1 -1
- package/dist/cli/commands/priority.d.ts.map +1 -1
- package/dist/cli/commands/priority.js +3 -2
- package/dist/cli/commands/priority.js.map +1 -1
- package/dist/cli/commands/probe.d.ts +7 -0
- package/dist/cli/commands/probe.d.ts.map +1 -1
- package/dist/cli/commands/probe.js +234 -52
- package/dist/cli/commands/probe.js.map +1 -1
- package/dist/cli/commands/recover.d.ts.map +1 -1
- package/dist/cli/commands/recover.js +17 -6
- package/dist/cli/commands/recover.js.map +1 -1
- package/dist/cli/commands/regime.d.ts +1 -1
- package/dist/cli/commands/regime.d.ts.map +1 -1
- package/dist/cli/commands/regime.js +134 -33
- package/dist/cli/commands/regime.js.map +1 -1
- package/dist/cli/commands/retrieve.d.ts +3 -0
- package/dist/cli/commands/retrieve.d.ts.map +1 -0
- package/dist/cli/commands/retrieve.js +65 -0
- package/dist/cli/commands/retrieve.js.map +1 -0
- package/dist/cli/commands/search.d.ts +3 -0
- package/dist/cli/commands/search.d.ts.map +1 -0
- package/dist/cli/commands/search.js +70 -0
- package/dist/cli/commands/search.js.map +1 -0
- package/dist/cli/commands/symbolic.d.ts.map +1 -1
- package/dist/cli/commands/symbolic.js +107 -16
- package/dist/cli/commands/symbolic.js.map +1 -1
- package/dist/cli/commands/testplan.d.ts +3 -0
- package/dist/cli/commands/testplan.d.ts.map +1 -0
- package/dist/cli/commands/testplan.js +131 -0
- package/dist/cli/commands/testplan.js.map +1 -0
- package/dist/cli/conventions.d.ts +22 -0
- package/dist/cli/conventions.d.ts.map +1 -0
- package/dist/cli/conventions.js +48 -0
- package/dist/cli/conventions.js.map +1 -0
- package/dist/cli/euler-guard.d.ts +9 -0
- package/dist/cli/euler-guard.d.ts.map +1 -0
- package/dist/cli/euler-guard.js +11 -0
- package/dist/cli/euler-guard.js.map +1 -0
- package/dist/cli/eval-numbers.d.ts +26 -0
- package/dist/cli/eval-numbers.d.ts.map +1 -0
- package/dist/cli/eval-numbers.js +48 -0
- package/dist/cli/eval-numbers.js.map +1 -0
- package/dist/cli/expr-print.d.ts +25 -0
- package/dist/cli/expr-print.d.ts.map +1 -0
- package/dist/cli/expr-print.js +123 -0
- package/dist/cli/expr-print.js.map +1 -0
- package/dist/cli/graphs.d.ts +26 -0
- package/dist/cli/graphs.d.ts.map +1 -1
- package/dist/cli/graphs.js +19 -0
- package/dist/cli/graphs.js.map +1 -1
- package/dist/cli/main.d.ts +4 -10
- package/dist/cli/main.d.ts.map +1 -1
- package/dist/cli/main.js +370 -167
- package/dist/cli/main.js.map +1 -1
- package/dist/cli/map-evidence.d.ts +47 -0
- package/dist/cli/map-evidence.d.ts.map +1 -0
- package/dist/cli/map-evidence.js +53 -0
- package/dist/cli/map-evidence.js.map +1 -0
- package/dist/cli/output.d.ts +21 -1
- package/dist/cli/output.d.ts.map +1 -1
- package/dist/cli/output.js +5 -1
- package/dist/cli/output.js.map +1 -1
- package/dist/{composition → cli}/poster-source.d.ts +3 -2
- package/dist/cli/poster-source.d.ts.map +1 -0
- package/dist/{composition → cli}/poster-source.js +2 -1
- package/dist/cli/poster-source.js.map +1 -0
- package/dist/cli/record-reach.d.ts +44 -0
- package/dist/cli/record-reach.d.ts.map +1 -0
- package/dist/cli/record-reach.js +228 -0
- package/dist/cli/record-reach.js.map +1 -0
- package/dist/cli/record-tables.d.ts +38 -0
- package/dist/cli/record-tables.d.ts.map +1 -0
- package/dist/cli/record-tables.js +110 -0
- package/dist/cli/record-tables.js.map +1 -0
- package/dist/cli/record.d.ts +141 -0
- package/dist/cli/record.d.ts.map +1 -0
- package/dist/cli/record.js +612 -0
- package/dist/cli/record.js.map +1 -0
- package/dist/cli/search-index.d.ts +56 -0
- package/dist/cli/search-index.d.ts.map +1 -0
- package/dist/cli/search-index.js +190 -0
- package/dist/cli/search-index.js.map +1 -0
- package/dist/cli/statuses.d.ts +25 -0
- package/dist/cli/statuses.d.ts.map +1 -0
- package/dist/cli/statuses.js +276 -0
- package/dist/cli/statuses.js.map +1 -0
- package/dist/cli/version.d.ts +8 -0
- package/dist/cli/version.d.ts.map +1 -1
- package/dist/cli/version.js +32 -1
- package/dist/cli/version.js.map +1 -1
- package/dist/cli-api.d.ts +34 -16
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +32 -12
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/audit-coverage.d.ts +70 -0
- package/dist/composition/audit-coverage.d.ts.map +1 -0
- package/dist/composition/audit-coverage.js +80 -0
- package/dist/composition/audit-coverage.js.map +1 -0
- package/dist/composition/bridge-analysis.d.ts.map +1 -1
- package/dist/composition/bridge-analysis.js +2 -1
- package/dist/composition/bridge-analysis.js.map +1 -1
- package/dist/composition/buckingham-filter.d.ts +34 -0
- package/dist/composition/buckingham-filter.d.ts.map +1 -0
- package/dist/composition/buckingham-filter.js +64 -0
- package/dist/composition/buckingham-filter.js.map +1 -0
- package/dist/composition/canonical-compare.d.ts +29 -16
- package/dist/composition/canonical-compare.d.ts.map +1 -1
- package/dist/composition/canonical-compare.js +355 -59
- package/dist/composition/canonical-compare.js.map +1 -1
- package/dist/composition/canonical-graph.d.ts +2 -2
- package/dist/composition/canonical-graph.js +3 -3
- package/dist/composition/canonical-graph.js.map +1 -1
- package/dist/composition/canonical-prefactors.d.ts +24 -1
- package/dist/composition/canonical-prefactors.d.ts.map +1 -1
- package/dist/composition/canonical-prefactors.js +97 -1
- package/dist/composition/canonical-prefactors.js.map +1 -1
- package/dist/composition/catalog-graph.d.ts +4 -4
- package/dist/composition/catalog-graph.d.ts.map +1 -1
- package/dist/composition/catalog-graph.js +6 -4
- package/dist/composition/catalog-graph.js.map +1 -1
- package/dist/composition/chain-candidate.d.ts +43 -0
- package/dist/composition/chain-candidate.d.ts.map +1 -0
- package/dist/composition/chain-candidate.js +56 -0
- package/dist/composition/chain-candidate.js.map +1 -0
- package/dist/composition/chain-match.d.ts +19 -0
- package/dist/composition/chain-match.d.ts.map +1 -0
- package/dist/composition/chain-match.js +10 -0
- package/dist/composition/chain-match.js.map +1 -0
- package/dist/composition/chain-regime.d.ts +34 -0
- package/dist/composition/chain-regime.d.ts.map +1 -0
- package/dist/composition/chain-regime.js +89 -0
- package/dist/composition/chain-regime.js.map +1 -0
- package/dist/composition/compose-symbolic.js +1 -1
- package/dist/composition/compose-symbolic.js.map +1 -1
- package/dist/composition/compose.d.ts +11 -0
- package/dist/composition/compose.d.ts.map +1 -1
- package/dist/composition/compose.js +30 -10
- package/dist/composition/compose.js.map +1 -1
- package/dist/composition/composition-recovery.d.ts +47 -0
- package/dist/composition/composition-recovery.d.ts.map +1 -0
- package/dist/composition/composition-recovery.js +77 -0
- package/dist/composition/composition-recovery.js.map +1 -0
- package/dist/composition/consequence.d.ts +39 -0
- package/dist/composition/consequence.d.ts.map +1 -1
- package/dist/composition/consequence.js +37 -0
- package/dist/composition/consequence.js.map +1 -1
- package/dist/{bridges → composition}/descriptor.d.ts +6 -3
- package/dist/composition/descriptor.d.ts.map +1 -0
- package/dist/{bridges → composition}/descriptor.js +7 -4
- package/dist/composition/descriptor.js.map +1 -0
- package/dist/composition/discovery.d.ts +20 -0
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +27 -5
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/edge.d.ts +1 -1
- package/dist/composition/edge.d.ts.map +1 -1
- package/dist/composition/edge.js.map +1 -1
- package/dist/composition/edges/_catalog-helpers.d.ts +4 -0
- package/dist/composition/edges/_catalog-helpers.d.ts.map +1 -1
- package/dist/composition/edges/_catalog-helpers.js +15 -0
- package/dist/composition/edges/_catalog-helpers.js.map +1 -1
- package/dist/composition/edges/calibration.d.ts +0 -9
- package/dist/composition/edges/calibration.d.ts.map +1 -1
- package/dist/composition/edges/calibration.js +85 -0
- package/dist/composition/edges/calibration.js.map +1 -1
- package/dist/composition/edges/catalog-condensed-matter.d.ts +0 -9
- package/dist/composition/edges/catalog-condensed-matter.d.ts.map +1 -1
- package/dist/composition/edges/catalog-condensed-matter.js +32 -1
- package/dist/composition/edges/catalog-condensed-matter.js.map +1 -1
- package/dist/composition/edges/catalog-fields.d.ts.map +1 -1
- package/dist/composition/edges/catalog-fields.js +2 -1
- package/dist/composition/edges/catalog-fields.js.map +1 -1
- package/dist/composition/edges/catalog-full.d.ts +4 -2
- package/dist/composition/edges/catalog-full.d.ts.map +1 -1
- package/dist/composition/edges/catalog-full.js +4 -2
- package/dist/composition/edges/catalog-full.js.map +1 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.d.ts +0 -10
- package/dist/composition/edges/catalog-gravitation-cosmology.d.ts.map +1 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.js +31 -1
- package/dist/composition/edges/catalog-gravitation-cosmology.js.map +1 -1
- package/dist/composition/edges/catalog-quantum.d.ts +0 -10
- package/dist/composition/edges/catalog-quantum.d.ts.map +1 -1
- package/dist/composition/edges/catalog-quantum.js +53 -17
- package/dist/composition/edges/catalog-quantum.js.map +1 -1
- package/dist/composition/edges/catalog-tranche.d.ts +0 -15
- package/dist/composition/edges/catalog-tranche.d.ts.map +1 -1
- package/dist/composition/edges/catalog-tranche.js +70 -16
- package/dist/composition/edges/catalog-tranche.js.map +1 -1
- package/dist/composition/edges/proved-seeds.d.ts +39 -0
- package/dist/composition/edges/proved-seeds.d.ts.map +1 -0
- package/dist/composition/edges/proved-seeds.js +197 -0
- package/dist/composition/edges/proved-seeds.js.map +1 -0
- package/dist/composition/enumerate.d.ts +20 -0
- package/dist/composition/enumerate.d.ts.map +1 -1
- package/dist/composition/enumerate.js +23 -0
- package/dist/composition/enumerate.js.map +1 -1
- package/dist/composition/expr-eval.d.ts +5 -4
- package/dist/composition/expr-eval.d.ts.map +1 -1
- package/dist/composition/expr-eval.js +40 -6
- package/dist/composition/expr-eval.js.map +1 -1
- package/dist/composition/expr-simplify.js +1 -1
- package/dist/composition/expr-simplify.js.map +1 -1
- package/dist/composition/expr-subst.d.ts +2 -1
- package/dist/composition/expr-subst.d.ts.map +1 -1
- package/dist/composition/expr-subst.js +9 -2
- package/dist/composition/expr-subst.js.map +1 -1
- package/dist/composition/frontier-account.d.ts +78 -0
- package/dist/composition/frontier-account.d.ts.map +1 -0
- package/dist/composition/frontier-account.js +127 -0
- package/dist/composition/frontier-account.js.map +1 -0
- package/dist/composition/graph-viz.d.ts +7 -22
- package/dist/composition/graph-viz.d.ts.map +1 -1
- package/dist/composition/graph-viz.js +4 -27
- package/dist/composition/graph-viz.js.map +1 -1
- package/dist/composition/grounding.d.ts +49 -0
- package/dist/composition/grounding.d.ts.map +1 -1
- package/dist/composition/grounding.js +38 -0
- package/dist/composition/grounding.js.map +1 -1
- package/dist/composition/index.d.ts +0 -2
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +1 -1
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/not-composable-seeds.d.ts +30 -0
- package/dist/composition/not-composable-seeds.d.ts.map +1 -0
- package/dist/composition/not-composable-seeds.js +90 -0
- package/dist/composition/not-composable-seeds.js.map +1 -0
- package/dist/composition/probe/expression-gaps.d.ts +27 -0
- package/dist/composition/probe/expression-gaps.d.ts.map +1 -0
- package/dist/composition/probe/expression-gaps.js +47 -0
- package/dist/composition/probe/expression-gaps.js.map +1 -0
- package/dist/composition/probe/frontier.d.ts +2 -1
- package/dist/composition/probe/frontier.d.ts.map +1 -1
- package/dist/composition/probe/frontier.js +3 -2
- package/dist/composition/probe/frontier.js.map +1 -1
- package/dist/composition/probe/index.d.ts +4 -1
- package/dist/composition/probe/index.d.ts.map +1 -1
- package/dist/composition/probe/index.js +3 -1
- package/dist/composition/probe/index.js.map +1 -1
- package/dist/composition/probe/pipeline.d.ts +2 -0
- package/dist/composition/probe/pipeline.d.ts.map +1 -1
- package/dist/composition/probe/pipeline.js +6 -2
- package/dist/composition/probe/pipeline.js.map +1 -1
- package/dist/composition/probe/problem.d.ts +7 -0
- package/dist/composition/probe/problem.d.ts.map +1 -1
- package/dist/composition/probe/problem.js +15 -5
- package/dist/composition/probe/problem.js.map +1 -1
- package/dist/composition/probe/search-budget.d.ts.map +1 -1
- package/dist/composition/probe/search-budget.js +6 -2
- package/dist/composition/probe/search-budget.js.map +1 -1
- package/dist/composition/probe/study.d.ts +340 -0
- package/dist/composition/probe/study.d.ts.map +1 -0
- package/dist/composition/probe/study.js +1519 -0
- package/dist/composition/probe/study.js.map +1 -0
- package/dist/composition/proposed-bridges.js +1 -1
- package/dist/composition/proposed-bridges.js.map +1 -1
- package/dist/composition/quantities/_dims.d.ts +6 -0
- package/dist/composition/quantities/_dims.d.ts.map +1 -1
- package/dist/composition/quantities/_dims.js +6 -0
- package/dist/composition/quantities/_dims.js.map +1 -1
- package/dist/composition/quantities/condensed-matter.d.ts +16 -0
- package/dist/composition/quantities/condensed-matter.d.ts.map +1 -1
- package/dist/composition/quantities/condensed-matter.js +43 -2
- package/dist/composition/quantities/condensed-matter.js.map +1 -1
- package/dist/composition/quantities/fields.d.ts +10 -0
- package/dist/composition/quantities/fields.d.ts.map +1 -1
- package/dist/composition/quantities/fields.js +37 -2
- package/dist/composition/quantities/fields.js.map +1 -1
- package/dist/composition/quantities/gravitation-cosmology.d.ts +4 -0
- package/dist/composition/quantities/gravitation-cosmology.d.ts.map +1 -1
- package/dist/composition/quantities/gravitation-cosmology.js +14 -0
- package/dist/composition/quantities/gravitation-cosmology.js.map +1 -1
- package/dist/composition/quantities/quantum.d.ts +2 -0
- package/dist/composition/quantities/quantum.d.ts.map +1 -1
- package/dist/composition/quantities/quantum.js +7 -0
- package/dist/composition/quantities/quantum.js.map +1 -1
- package/dist/composition/quantities.d.ts +4 -16
- package/dist/composition/quantities.d.ts.map +1 -1
- package/dist/composition/quantities.js +4 -16
- package/dist/composition/quantities.js.map +1 -1
- package/dist/composition/retrodiction.d.ts.map +1 -1
- package/dist/composition/retrodiction.js +6 -2
- package/dist/composition/retrodiction.js.map +1 -1
- package/dist/composition/uncertainty.d.ts +1 -1
- package/dist/composition/uncertainty.d.ts.map +1 -1
- package/dist/composition/user-equation.d.ts +79 -8
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/composition/user-equation.js +224 -32
- package/dist/composition/user-equation.js.map +1 -1
- package/dist/core/constants.d.ts +17 -5
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +17 -5
- package/dist/core/constants.js.map +1 -1
- package/dist/core/types.d.ts +1 -1
- package/dist/core/types.d.ts.map +1 -1
- package/dist/core/types.js +2 -1
- package/dist/core/types.js.map +1 -1
- package/dist/dimensional/curvature.d.ts +7 -56
- package/dist/dimensional/curvature.d.ts.map +1 -1
- package/dist/dimensional/curvature.js +7 -76
- package/dist/dimensional/curvature.js.map +1 -1
- package/dist/dimensional/dimension-spec.d.ts +7 -1
- package/dist/dimensional/dimension-spec.d.ts.map +1 -1
- package/dist/dimensional/dimension-spec.js +131 -3
- package/dist/dimensional/dimension-spec.js.map +1 -1
- package/dist/dimensional/formula-names.d.ts +30 -0
- package/dist/dimensional/formula-names.d.ts.map +1 -0
- package/dist/dimensional/formula-names.js +37 -0
- package/dist/dimensional/formula-names.js.map +1 -0
- package/dist/dimensional/natural-units.d.ts +33 -0
- package/dist/dimensional/natural-units.d.ts.map +1 -0
- package/dist/dimensional/natural-units.js +58 -0
- package/dist/dimensional/natural-units.js.map +1 -0
- package/dist/{composition → dimensional}/symbolic-constants.d.ts +21 -2
- package/dist/dimensional/symbolic-constants.d.ts.map +1 -0
- package/dist/dimensional/symbolic-constants.js +122 -0
- package/dist/dimensional/symbolic-constants.js.map +1 -0
- package/dist/dimensional/unit-convention.d.ts +30 -0
- package/dist/dimensional/unit-convention.d.ts.map +1 -0
- package/dist/dimensional/unit-convention.js +60 -0
- package/dist/dimensional/unit-convention.js.map +1 -0
- package/dist/dimensional/units.d.ts +43 -0
- package/dist/dimensional/units.d.ts.map +1 -0
- package/dist/dimensional/units.js +197 -0
- package/dist/dimensional/units.js.map +1 -0
- package/dist/index.d.ts +11 -5
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +10 -3
- package/dist/index.js.map +1 -1
- package/dist/numerical/bianchi-residual.d.ts +55 -0
- package/dist/numerical/bianchi-residual.d.ts.map +1 -0
- package/dist/numerical/bianchi-residual.js +79 -0
- package/dist/numerical/bianchi-residual.js.map +1 -0
- package/dist/numerical/binding-value.d.ts +67 -0
- package/dist/numerical/binding-value.d.ts.map +1 -0
- package/dist/numerical/binding-value.js +349 -0
- package/dist/numerical/binding-value.js.map +1 -0
- package/dist/numerical/connection-lowering-helpers.d.ts.map +1 -1
- package/dist/numerical/connection-lowering-helpers.js +13 -26
- package/dist/numerical/connection-lowering-helpers.js.map +1 -1
- package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
- package/dist/numerical/curvature-lowering-helpers.js +9 -0
- package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
- package/dist/numerical/float64-engine.d.ts.map +1 -1
- package/dist/numerical/float64-engine.js +23 -16
- package/dist/numerical/float64-engine.js.map +1 -1
- package/dist/numerical/formula-dimension.d.ts +14 -0
- package/dist/numerical/formula-dimension.d.ts.map +1 -1
- package/dist/numerical/formula-dimension.js +56 -9
- 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 +75 -6
- package/dist/numerical/formula-mathts.js.map +1 -1
- package/dist/numerical/formula.d.ts +33 -0
- package/dist/numerical/formula.d.ts.map +1 -1
- package/dist/numerical/formula.js +75 -6
- package/dist/numerical/formula.js.map +1 -1
- package/dist/numerical/spacetime-metrics.d.ts +243 -0
- package/dist/numerical/spacetime-metrics.d.ts.map +1 -0
- package/dist/numerical/spacetime-metrics.js +1056 -0
- package/dist/numerical/spacetime-metrics.js.map +1 -0
- package/dist/relations/category.d.ts +38 -0
- package/dist/relations/category.d.ts.map +1 -0
- package/dist/relations/category.js +23 -0
- package/dist/relations/category.js.map +1 -0
- package/dist/relations/composition-table.d.ts +61 -0
- package/dist/relations/composition-table.d.ts.map +1 -0
- package/dist/relations/composition-table.js +140 -0
- package/dist/relations/composition-table.js.map +1 -0
- package/dist/relations/conventions.d.ts +63 -0
- package/dist/relations/conventions.d.ts.map +1 -0
- package/dist/relations/conventions.js +93 -0
- package/dist/relations/conventions.js.map +1 -0
- package/dist/relations/regime.d.ts +159 -0
- package/dist/relations/regime.d.ts.map +1 -0
- package/dist/relations/regime.js +304 -0
- package/dist/relations/regime.js.map +1 -0
- package/dist/relations/types.d.ts +257 -0
- package/dist/relations/types.d.ts.map +1 -0
- package/dist/relations/types.js +35 -0
- package/dist/relations/types.js.map +1 -0
- package/package.json +166 -163
- package/dist/bridges/descriptor.d.ts.map +0 -1
- package/dist/bridges/descriptor.js.map +0 -1
- package/dist/composition/poster-source.d.ts.map +0 -1
- package/dist/composition/poster-source.js.map +0 -1
- package/dist/composition/symbolic-constants.d.ts.map +0 -1
- package/dist/composition/symbolic-constants.js +0 -65
- package/dist/composition/symbolic-constants.js.map +0 -1
|
@@ -21,7 +21,7 @@ import { confrontBE65 } from './be65-jeans-mass-confrontation.js';
|
|
|
21
21
|
/**
|
|
22
22
|
* Author-declared rigor of each confrontation. Folds in test PRECISION *and*
|
|
23
23
|
* HONESTY (one-sidedness, order-of-magnitude, caveats) — it is deliberately NOT
|
|
24
|
-
* purely computed: e.g. be-11's ratio is exactly 1 (
|
|
24
|
+
* purely computed: e.g. be-11's ratio is exactly 1 (actual difference 0) but its real
|
|
25
25
|
* precision is ~15% gas-to-gas, so it is declared `loose`. The spine is a RIGOR
|
|
26
26
|
* HIERARCHY, not N equal confirmations — after the 2026-07-05 branch expansion the
|
|
27
27
|
* precision core is the quantum-metrology triangle (be-55 QHE 8.6e-11, be-59
|
|
@@ -46,7 +46,7 @@ export const CONFRONTATION_RIGOR = new Map([
|
|
|
46
46
|
[56, 'moderate'], // Casimir 1% (systematics-dominated)
|
|
47
47
|
[62, 'moderate'], // BCS gap 5% (weak-coupling class)
|
|
48
48
|
// loose (≥~10% / one-sided / order-of-magnitude)
|
|
49
|
-
[11, 'loose'], // decoherence ~15% gas-to-gas (
|
|
49
|
+
[11, 'loose'], // decoherence ~15% gas-to-gas (an actual difference of 0 hides it)
|
|
50
50
|
[21, 'loose'], // KSS bound, 26% above
|
|
51
51
|
[23, 'loose'], // Planckian α, factor 2
|
|
52
52
|
[36, 'loose'], // GW speed, one-sided bound
|
|
@@ -82,6 +82,15 @@ const be52Entry = {
|
|
|
82
82
|
withinObserved: r.withinObserved,
|
|
83
83
|
units: 'arcsec/century',
|
|
84
84
|
provenance: { citation: r.observation.citation, year: 1947, retrieved: '2026-07-02' },
|
|
85
|
+
preprocessing: {
|
|
86
|
+
state: 'recorded',
|
|
87
|
+
statement: 'observed is the ANOMALOUS advance: the residual left after subtracting the Newtonian planetary perturbations (Le Verrier / Newcomb / Clemence)',
|
|
88
|
+
source: [
|
|
89
|
+
{ file: 'src/bridges/be52-mercury-confrontation.ts', quote: 'precession — the residual left after subtracting the Newtonian planetary' },
|
|
90
|
+
{ file: 'src/bridges/be52-mercury-confrontation.ts', quote: 'Measured ANOMALOUS perihelion advance (″/Julian century) — the GR residual.' },
|
|
91
|
+
],
|
|
92
|
+
},
|
|
93
|
+
independence: { state: 'not-recorded' },
|
|
85
94
|
};
|
|
86
95
|
},
|
|
87
96
|
};
|
|
@@ -104,6 +113,22 @@ const be23Entry = {
|
|
|
104
113
|
withinObserved: residualInSigma(1.0, r.alphaAggregate, r.alphaAggregateErr) <= 1,
|
|
105
114
|
units: 'dimensionless (α)',
|
|
106
115
|
provenance: { citation: r.observation.citation, year: 2019, retrieved: '2026-07-02' },
|
|
116
|
+
preprocessing: {
|
|
117
|
+
state: 'recorded',
|
|
118
|
+
statement: "the source converts the T-linear resistivity slope to α via the Drude relation ρ = m*/(n e² τ); only its abstract-level aggregate (α within ~×2 of 1) is encoded, as α = 1.0 ± 0.4, an additive σ narrower than the paper's multiplicative factor-2 spread; the per-material table was not reproduced",
|
|
119
|
+
source: [
|
|
120
|
+
{ file: 'src/bridges/be23-planckian-confrontation.ts', quote: 'ρ = m* / (n e² τ), into a Planckian scattering coefficient α defined by' },
|
|
121
|
+
{ file: 'src/bridges/be23-planckian-confrontation.ts', quote: 'The per-material α table from Legros et al. was NOT reproduced here:' },
|
|
122
|
+
{ file: 'src/bridges/be23-planckian-confrontation.ts', quote: 'α = 1.0 ± 0.4 (i.e., α is O(1), within roughly a factor of 2 of the' },
|
|
123
|
+
],
|
|
124
|
+
},
|
|
125
|
+
independence: {
|
|
126
|
+
state: 'no-fitted-parameter',
|
|
127
|
+
statement: 'the predicted α = 1 is the Planckian reference fixed in the encoding, not fitted to this data; BE-23 does not predict α (α_SYK is a free O(1) coefficient), so this checks the O(1) assumption, not a prediction',
|
|
128
|
+
source: [
|
|
129
|
+
{ file: 'src/bridges/be23-planckian-confrontation.ts', quote: 'NOT claimed: that UPT/SYK *predicts* α (BE-23 bundles α_SYK as a' },
|
|
130
|
+
],
|
|
131
|
+
},
|
|
107
132
|
};
|
|
108
133
|
},
|
|
109
134
|
};
|
|
@@ -124,6 +149,7 @@ const be36Entry = {
|
|
|
124
149
|
predicted: r.encodedBound,
|
|
125
150
|
bound: r.upperBound,
|
|
126
151
|
satisfied: r.passesEncodedBound,
|
|
152
|
+
predictedIs: 'encoded-bound',
|
|
127
153
|
caveat: `one-sided: +side only (GW170817 −side ${r.lowerBound.toExponential(1)} exceeds the symmetric encoded ±${r.encodedBound.toExponential(0)})`,
|
|
128
154
|
units: '|c_GW − c| / c (dimensionless)',
|
|
129
155
|
provenance: {
|
|
@@ -132,6 +158,23 @@ const be36Entry = {
|
|
|
132
158
|
retrieved: '2026-07-02',
|
|
133
159
|
note: `two-sided bound: upper ${r.upperBound}, lower ${r.lowerBound}; encoded |ratio| ≤ ${r.encodedBound}`,
|
|
134
160
|
},
|
|
161
|
+
preprocessing: {
|
|
162
|
+
state: 'recorded',
|
|
163
|
+
statement: "both bounds are recomputed from the observed 1.74 s GW-to-GRB lag at the paper's conservative lower distance 26 Mpc (not the 40 Mpc central value); the upper bound attributes the whole lag to faster GW travel, the lower bound assumes an intrinsic EM emission delay of at most 10 s",
|
|
164
|
+
source: [
|
|
165
|
+
{ file: 'src/bridges/be36-gw170817-confrontation.ts', quote: "with the paper's CONSERVATIVE lower distance bound D = 26 Mpc" },
|
|
166
|
+
{ file: 'src/bridges/be36-gw170817-confrontation.ts', quote: '(attributes the whole observed' },
|
|
167
|
+
{ file: 'src/bridges/be36-gw170817-confrontation.ts', quote: '(assumes a 10 s intrinsic EM' },
|
|
168
|
+
],
|
|
169
|
+
},
|
|
170
|
+
independence: {
|
|
171
|
+
state: 'shares-input',
|
|
172
|
+
shared: 'GW170817 itself',
|
|
173
|
+
statement: "the encoded range |Δv|/c ≤ 1e-15 is the bridge's canonical GW170817 bound, so the comparison checks the encoding against the observation it was named for, not an independent prediction",
|
|
174
|
+
source: [
|
|
175
|
+
{ file: 'src/bridges/equations/be-36-gw-speed-bound.ts', quote: 'Canonical GW170817 upper bound on |Δv|/c.' },
|
|
176
|
+
],
|
|
177
|
+
},
|
|
135
178
|
};
|
|
136
179
|
},
|
|
137
180
|
};
|
|
@@ -150,6 +193,15 @@ const be37Entry = {
|
|
|
150
193
|
withinObserved: r.withinObserved,
|
|
151
194
|
units: 'PPN γ (dimensionless)',
|
|
152
195
|
provenance: r.observation.provenance,
|
|
196
|
+
preprocessing: { state: 'not-recorded' },
|
|
197
|
+
independence: {
|
|
198
|
+
state: 'no-fitted-parameter',
|
|
199
|
+
statement: 'the prediction is γ = 1 exactly, fixed by the encoded GR Shapiro form; it takes no input parameter',
|
|
200
|
+
source: [
|
|
201
|
+
{ file: 'src/bridges/be37-cassini-confrontation.ts', quote: 'so the predicted PPN gamma is exactly 1' },
|
|
202
|
+
{ file: 'src/bridges/be37-cassini-confrontation.ts', quote: 'const predicted_gamma = 1;' },
|
|
203
|
+
],
|
|
204
|
+
},
|
|
153
205
|
};
|
|
154
206
|
},
|
|
155
207
|
};
|
|
@@ -164,8 +216,19 @@ const be48Entry = {
|
|
|
164
216
|
predicted: r.predicted_rate_per_s,
|
|
165
217
|
bound: r.bound_rate_per_s,
|
|
166
218
|
satisfied: r.satisfied,
|
|
219
|
+
predictedIs: 'point',
|
|
167
220
|
units: 's⁻¹ (collapse rate)',
|
|
168
221
|
provenance: r.observation.provenance,
|
|
222
|
+
preprocessing: {
|
|
223
|
+
state: 'recorded',
|
|
224
|
+
statement: 'the bound was derived by Carlesso et al. from the LISA-Pathfinder data (Armano et al. 2016) for the CSL model at r_C = 100 nm; it is compared with the GRW single-nucleon rate, a related but distinct model',
|
|
225
|
+
source: [
|
|
226
|
+
{ file: 'src/bridges/be48-collapse-confrontation.ts', quote: 'LISA-Pathfinder data Armano et al. 2016' },
|
|
227
|
+
{ file: 'src/bridges/be48-collapse-confrontation.ts', quote: 'λ ≤ 2.96×10⁻⁸ s⁻¹ (r_C = 100 nm)' },
|
|
228
|
+
{ file: 'src/bridges/be48-collapse-confrontation.ts', quote: 'MODEL CAVEAT: GRW and CSL are related-but-distinct collapse models; this' },
|
|
229
|
+
],
|
|
230
|
+
},
|
|
231
|
+
independence: { state: 'not-recorded' },
|
|
169
232
|
};
|
|
170
233
|
},
|
|
171
234
|
};
|
|
@@ -184,6 +247,24 @@ const be51Entry = {
|
|
|
184
247
|
withinObserved: r.withinObserved,
|
|
185
248
|
units: 'arcsec (solar-limb deflection)',
|
|
186
249
|
provenance: r.observation.provenance,
|
|
250
|
+
preprocessing: {
|
|
251
|
+
state: 'recorded',
|
|
252
|
+
statement: 'the source reports γ − 1 = (−0.8 ± 1.2)×10⁻⁴; the repo converts it to a deflection as (1+γ)/2 × the predicted solar-limb value, and σ likewise',
|
|
253
|
+
source: [
|
|
254
|
+
{ file: 'src/bridges/be51-lensing-confrontation.ts', quote: 'γ − 1 = (−0.8 ± 1.2)×10⁻⁴' },
|
|
255
|
+
{ file: 'src/bridges/be51-lensing-confrontation.ts', quote: 'const scaling = (1 + obs.observed_gamma) / 2;' },
|
|
256
|
+
{ file: 'src/bridges/be51-lensing-confrontation.ts', quote: 'const observed_sigma_arcsec = (obs.observed_gamma_sigma / 2) * predicted_arcsec;' },
|
|
257
|
+
],
|
|
258
|
+
},
|
|
259
|
+
independence: {
|
|
260
|
+
state: 'shares-input',
|
|
261
|
+
shared: 'the solar-limb baseline 4GM☉/(R☉c²) (GM☉ IAU 2015 nominal, R☉ = 6.957e8 m)',
|
|
262
|
+
statement: 'the derived deflection is the predicted value scaled by the measured γ, so the baseline cancels and the residual is |γ − 1|/σ_γ: the test is of γ alone',
|
|
263
|
+
source: [
|
|
264
|
+
{ file: 'src/bridges/be51-lensing-confrontation.ts', quote: 'const observed_arcsec = scaling * predicted_arcsec;' },
|
|
265
|
+
{ file: 'src/bridges/be51-lensing-confrontation.ts', quote: 'const SOLAR_RADIUS_M = 6.957e8;' },
|
|
266
|
+
],
|
|
267
|
+
},
|
|
187
268
|
measured: {
|
|
188
269
|
quantity: 'PPN γ',
|
|
189
270
|
value: r.observation.observed_gamma,
|
|
@@ -205,8 +286,26 @@ const be21Entry = {
|
|
|
205
286
|
predicted: r.predicted_bound,
|
|
206
287
|
approaches: r.observed_eta_over_s,
|
|
207
288
|
fractionalGap: r.fractional_gap,
|
|
289
|
+
fractionalGapIs: 'observed-difference',
|
|
290
|
+
predictedIs: 'lower-limit',
|
|
208
291
|
units: 'η/s (ℏ/k_B units); KSS lower bound 1/(4π), observed satisfies + nearly saturates',
|
|
209
292
|
provenance: r.observation.provenance,
|
|
293
|
+
preprocessing: {
|
|
294
|
+
state: 'recorded',
|
|
295
|
+
statement: 'η/s is temperature-dependent; the Bayesian hydrodynamic extraction from RHIC/LHC flow observables gives a minimum near T_c spanning ~0.08–0.15 across analyses, and the record takes 0.10 as representative, with no σ',
|
|
296
|
+
source: [
|
|
297
|
+
{ file: 'src/bridges/be21-kss-confrontation.ts', quote: 'Bayesian eta/s extraction from RHIC/LHC heavy-ion flow observables' },
|
|
298
|
+
{ file: 'src/bridges/be21-kss-confrontation.ts', quote: 'eta/s is temperature-dependent; the extracted minimum near T_c spans ~0.08-0.15 (hbar/k_B units) across analyses, representative ~0.10.' },
|
|
299
|
+
{ file: 'src/bridges/be21-kss-confrontation.ts', quote: 'observed_eta_over_s: 0.1,' },
|
|
300
|
+
],
|
|
301
|
+
},
|
|
302
|
+
independence: {
|
|
303
|
+
state: 'no-fitted-parameter',
|
|
304
|
+
statement: 'the KSS bound 1/(4π) contains no parameter; the record states the η/s extraction from flow observables is independent of the bound, not a recompute of 1/(4π)',
|
|
305
|
+
source: [
|
|
306
|
+
{ file: 'src/bridges/be21-kss-confrontation.ts', quote: 'INDEPENDENT hydrodynamic extraction (flow observables), not a recompute of 1/(4pi).' },
|
|
307
|
+
],
|
|
308
|
+
},
|
|
210
309
|
};
|
|
211
310
|
},
|
|
212
311
|
};
|
|
@@ -225,6 +324,22 @@ const be35Entry = {
|
|
|
225
324
|
withinObserved: r.withinObserved,
|
|
226
325
|
units: 'ν (3D-Ising correlation-length exponent, dimensionless)',
|
|
227
326
|
provenance: r.observation.provenance,
|
|
327
|
+
preprocessing: {
|
|
328
|
+
state: 'recorded',
|
|
329
|
+
statement: 'observed ν is an experimental average over liquid-vapor and binary-fluid critical points compiled by Pelissetto & Vicari 2002; Monte-Carlo values were deliberately excluded from the observed slot',
|
|
330
|
+
source: [
|
|
331
|
+
{ file: 'src/bridges/be35-bootstrap-confrontation.ts', quote: 'experimental average over liquid-vapor / binary-fluid critical points' },
|
|
332
|
+
{ file: 'src/bridges/be35-bootstrap-confrontation.ts', quote: 'were deliberately NOT used for the observed slot' },
|
|
333
|
+
],
|
|
334
|
+
},
|
|
335
|
+
independence: {
|
|
336
|
+
state: 'no-fitted-parameter',
|
|
337
|
+
statement: 'the record states the bootstrap ν (from Δ_ε = 1.412625(10), Kos et al. 2016) is a parameter-free CFT prediction and the experimental ν an independent determination, not a recompute',
|
|
338
|
+
source: [
|
|
339
|
+
{ file: 'src/bridges/be35-bootstrap-confrontation.ts', quote: 'INDEPENDENT determination (real critical systems), not a recompute of the bootstrap.' },
|
|
340
|
+
{ file: 'src/bridges/be35-bootstrap-confrontation.ts', quote: 'Delta_epsilon = 1.412625(10)' },
|
|
341
|
+
],
|
|
342
|
+
},
|
|
228
343
|
};
|
|
229
344
|
},
|
|
230
345
|
};
|
|
@@ -238,9 +353,28 @@ const be11Entry = {
|
|
|
238
353
|
kind: 'consistency',
|
|
239
354
|
predicted: r.predicted_ratio,
|
|
240
355
|
approaches: r.observed_ratio,
|
|
241
|
-
|
|
356
|
+
// The module's stated tolerance (the source's ~15% experimental uncertainty); the actual
|
|
357
|
+
// difference is computed by `consistencyComparison`, never read from this field.
|
|
358
|
+
fractionalGap: r.observation.tolerance,
|
|
359
|
+
fractionalGapIs: 'agreement-bound',
|
|
242
360
|
units: 'p₀(theory)/p₀(exp) ratio; parameter-free 9-gas agreement within 15% experimental error',
|
|
243
361
|
provenance: r.observation.provenance,
|
|
362
|
+
preprocessing: {
|
|
363
|
+
state: 'recorded',
|
|
364
|
+
statement: 'the source compares theory and experiment in a figure (Fig 3) with no tabulated pair; its stated agreement across 9 gases within ~15% is encoded as ratio 1.0 with a 15% tolerance, not transcribed per gas',
|
|
365
|
+
source: [
|
|
366
|
+
{ file: 'src/bridges/be11-decoherence-confrontation.ts', quote: 'figure (Fig 3), so there is no clean tabulated pair, and this module encodes' },
|
|
367
|
+
{ file: 'src/bridges/be11-decoherence-confrontation.ts', quote: 'observed_ratio: 1.0,' },
|
|
368
|
+
{ file: 'src/bridges/be11-decoherence-confrontation.ts', quote: 'tolerance: DECOHERENCE_EXPERIMENTAL_TOLERANCE,' },
|
|
369
|
+
],
|
|
370
|
+
},
|
|
371
|
+
independence: {
|
|
372
|
+
state: 'no-fitted-parameter',
|
|
373
|
+
statement: 'the source states its calculation "contains no adjustable parameters"',
|
|
374
|
+
source: [
|
|
375
|
+
{ file: 'src/bridges/be11-decoherence-confrontation.ts', quote: 'our calculation, which contains no adjustable parameters, agrees well' },
|
|
376
|
+
],
|
|
377
|
+
},
|
|
244
378
|
};
|
|
245
379
|
},
|
|
246
380
|
};
|
|
@@ -255,8 +389,24 @@ const be55Entry = {
|
|
|
255
389
|
predicted: r.predicted_ratio,
|
|
256
390
|
approaches: r.observed_ratio,
|
|
257
391
|
fractionalGap: r.relative_uncertainty,
|
|
392
|
+
fractionalGapIs: 'agreement-bound',
|
|
258
393
|
units: 'R_H(graphene)/R_H(GaAs) ratio; topological universality to 8.6e-11',
|
|
259
394
|
provenance: r.observation.provenance,
|
|
395
|
+
preprocessing: {
|
|
396
|
+
state: 'recorded',
|
|
397
|
+
statement: "the source's graphene-vs-GaAs agreement to a relative 8.6e-11 is encoded as ratio 1 with that relative uncertainty; no measured ratio value is transcribed",
|
|
398
|
+
source: [
|
|
399
|
+
{ file: 'src/bridges/be55-quantum-hall-confrontation.ts', quote: 'observed_ratio: 1,' },
|
|
400
|
+
{ file: 'src/bridges/be55-quantum-hall-confrontation.ts', quote: 'relative_uncertainty: 8.6e-11,' },
|
|
401
|
+
],
|
|
402
|
+
},
|
|
403
|
+
independence: {
|
|
404
|
+
state: 'no-fitted-parameter',
|
|
405
|
+
statement: 'the predicted ratio is 1 with no parameter; R_K = h/e² is exact by the post-2019 SI, and the material-to-material ratio tests universality, not that definitional value',
|
|
406
|
+
source: [
|
|
407
|
+
{ file: 'src/bridges/be55-quantum-hall-confrontation.ts', quote: 'Post-2019 SI fixes h and e exactly, so R_K = h/e² is exact BY DEFINITION and' },
|
|
408
|
+
],
|
|
409
|
+
},
|
|
260
410
|
};
|
|
261
411
|
},
|
|
262
412
|
};
|
|
@@ -271,8 +421,19 @@ const be56Entry = {
|
|
|
271
421
|
predicted: r.predicted_ratio,
|
|
272
422
|
approaches: r.observed_ratio,
|
|
273
423
|
fractionalGap: r.agreement,
|
|
424
|
+
fractionalGapIs: 'agreement-bound',
|
|
274
425
|
units: 'measured/theory force ratio; ~1% agreement (corrected theory, systematics-dominated)',
|
|
275
426
|
provenance: r.observation.provenance,
|
|
427
|
+
preprocessing: {
|
|
428
|
+
state: 'recorded',
|
|
429
|
+
statement: 'sphere-plate measurement compared with theory corrected for finite conductivity, surface roughness, temperature and electrostatic patches; the ~1% agreement is at the smallest separation and is encoded as ratio 1 with 1% agreement',
|
|
430
|
+
source: [
|
|
431
|
+
{ file: 'src/bridges/be56-casimir-confrontation.ts', quote: 'require finite-conductivity/surface-roughness/temperature/electrostatic-patch corrections' },
|
|
432
|
+
{ file: 'src/bridges/be56-casimir-confrontation.ts', quote: 'corrected theory to ~1% at the smallest separation' },
|
|
433
|
+
{ file: 'src/bridges/be56-casimir-confrontation.ts', quote: 'agreement: 0.01,' },
|
|
434
|
+
],
|
|
435
|
+
},
|
|
436
|
+
independence: { state: 'not-recorded' },
|
|
276
437
|
};
|
|
277
438
|
},
|
|
278
439
|
};
|
|
@@ -291,6 +452,16 @@ const be58Entry = {
|
|
|
291
452
|
withinObserved: r.withinObserved,
|
|
292
453
|
units: 'k_B (J/K); JNT via S_V=4k_BTR vs CODATA',
|
|
293
454
|
provenance: r.observation.provenance,
|
|
455
|
+
preprocessing: { state: 'not-recorded' },
|
|
456
|
+
independence: {
|
|
457
|
+
state: 'shares-input',
|
|
458
|
+
shared: 'the CODATA 2014 k_B (the predicted value is this reference constant, not a bridge output) and a resistance calibration traceable to the quantum Hall effect (the physics of be-55)',
|
|
459
|
+
statement: 'the record states resistance (QHE) and temperature (acoustic/ITS-90) are traceable independently of the noise relation; whether this measurement entered the CODATA 2014 adjustment is not recorded',
|
|
460
|
+
source: [
|
|
461
|
+
{ file: 'src/bridges/be58-johnson-nyquist-confrontation.ts', quote: 'const predicted_k_B = K_B_CODATA_2014;' },
|
|
462
|
+
{ file: 'src/bridges/be58-johnson-nyquist-confrontation.ts', quote: 'resistance traceable to the quantum Hall effect (BE-55), temperature to acoustic/ITS-90 thermometry, both independent of the noise relation' },
|
|
463
|
+
],
|
|
464
|
+
},
|
|
294
465
|
};
|
|
295
466
|
},
|
|
296
467
|
};
|
|
@@ -305,8 +476,23 @@ const be59Entry = {
|
|
|
305
476
|
predicted: r.predicted_ratio,
|
|
306
477
|
approaches: r.observed_ratio,
|
|
307
478
|
fractionalGap: r.relative_uncertainty,
|
|
479
|
+
fractionalGapIs: 'agreement-bound',
|
|
308
480
|
units: 'V(junction A)/V(junction B) ratio; Josephson-volt universality to ~1e-9',
|
|
309
481
|
provenance: r.observation.provenance,
|
|
482
|
+
preprocessing: {
|
|
483
|
+
state: 'recorded',
|
|
484
|
+
statement: 'the parts-in-10⁹ agreement of independently built Josephson standards is encoded as a junction-to-junction ratio of 1 with a conservative 1e-9 bound (best comparisons reach ~1e-10 to 1e-11)',
|
|
485
|
+
source: [
|
|
486
|
+
{ file: 'src/bridges/be59-ac-josephson-confrontation.ts', quote: 'Conservative 1e-9 bound; the best comparisons reach ~1e-10 to 1e-11.' },
|
|
487
|
+
],
|
|
488
|
+
},
|
|
489
|
+
independence: {
|
|
490
|
+
state: 'no-fitted-parameter',
|
|
491
|
+
statement: 'the predicted ratio is 1 with no parameter; K_J = 2e/h is exact by the post-2019 SI, and the junction independence, not that definitional value, is what is tested',
|
|
492
|
+
source: [
|
|
493
|
+
{ file: 'src/bridges/be59-ac-josephson-confrontation.ts', quote: 'K_J = 2e/h is exact by the SI, so confronting its value is circular.' },
|
|
494
|
+
],
|
|
495
|
+
},
|
|
310
496
|
};
|
|
311
497
|
},
|
|
312
498
|
};
|
|
@@ -321,8 +507,23 @@ const be60Entry = {
|
|
|
321
507
|
predicted: r.predicted_ratio,
|
|
322
508
|
approaches: r.observed_ratio,
|
|
323
509
|
fractionalGap: r.relative_uncertainty,
|
|
510
|
+
fractionalGapIs: 'agreement-bound',
|
|
324
511
|
units: 'R_xy(plateau)/(3·R_K) ratio; the ⅓ fraction (topological order) to ~1e-5',
|
|
325
512
|
provenance: r.observation.provenance,
|
|
513
|
+
preprocessing: {
|
|
514
|
+
state: 'recorded',
|
|
515
|
+
statement: 'the fractional quantization confirmed to ~1e-5 in high-mobility samples is encoded as R_xy/(3·R_K) = 1 with a conservative 1e-5 bound',
|
|
516
|
+
source: [
|
|
517
|
+
{ file: 'src/bridges/be60-fractional-qh-confrontation.ts', quote: 'High-mobility samples confirm the fractional quantization to ~1e-5; conservative bound' },
|
|
518
|
+
],
|
|
519
|
+
},
|
|
520
|
+
independence: {
|
|
521
|
+
state: 'no-fitted-parameter',
|
|
522
|
+
statement: 'the predicted fraction 1/3 has no parameter; R_K is definitional (post-2019 SI), so the fraction is what is tested, and the record states no single-particle theory predicts it',
|
|
523
|
+
source: [
|
|
524
|
+
{ file: 'src/bridges/be60-fractional-qh-confrontation.ts', quote: 'Non-circular: no single-particle theory predicts the 1/3.' },
|
|
525
|
+
],
|
|
526
|
+
},
|
|
326
527
|
};
|
|
327
528
|
},
|
|
328
529
|
};
|
|
@@ -337,8 +538,27 @@ const be61Entry = {
|
|
|
337
538
|
predicted: r.predicted_L0,
|
|
338
539
|
approaches: r.observed_L,
|
|
339
540
|
fractionalGap: r.agreement,
|
|
541
|
+
fractionalGapIs: 'agreement-bound',
|
|
340
542
|
units: 'Lorenz number L (W·Ω·K⁻²); degenerate-limit consistency, material spread ~10% (caveat)',
|
|
341
543
|
provenance: r.observation.provenance,
|
|
544
|
+
preprocessing: {
|
|
545
|
+
state: 'recorded',
|
|
546
|
+
statement: "the source's recovery of L₀ in high-RRR silver is encoded as observed = L₀; the 10% figure is the stated material-spread bound (Cu at 0 °C ~9% low), not a measured gap",
|
|
547
|
+
source: [
|
|
548
|
+
{ file: 'src/bridges/be61-wiedemann-franz-confrontation.ts', quote: 'L_measured: LORENZ_NUMBER_SI, // degenerate limit recovers L₀' },
|
|
549
|
+
{ file: 'src/bridges/be61-wiedemann-franz-confrontation.ts', quote: 'Real metals deviate — Cu@0°C ~2.23e-8 (~9% low)' },
|
|
550
|
+
{ file: 'src/bridges/be61-wiedemann-franz-confrontation.ts', quote: 'The ~10% bound covers the material spread' },
|
|
551
|
+
],
|
|
552
|
+
},
|
|
553
|
+
independence: {
|
|
554
|
+
state: 'shares-input',
|
|
555
|
+
shared: 'the value itself: the observed slot is the predicted constant L₀ = (π²/3)(k_B/e)²',
|
|
556
|
+
statement: "observed equals predicted by construction, so this record cannot show a discrepancy; it records the source's statement, not an independent number",
|
|
557
|
+
source: [
|
|
558
|
+
{ file: 'src/bridges/be61-wiedemann-franz-confrontation.ts', quote: 'const predicted_L0 = LORENZ_NUMBER_SI;' },
|
|
559
|
+
{ file: 'src/bridges/be61-wiedemann-franz-confrontation.ts', quote: 'L_measured: LORENZ_NUMBER_SI,' },
|
|
560
|
+
],
|
|
561
|
+
},
|
|
342
562
|
};
|
|
343
563
|
},
|
|
344
564
|
};
|
|
@@ -353,8 +573,26 @@ const be62Entry = {
|
|
|
353
573
|
predicted: r.predicted_ratio,
|
|
354
574
|
approaches: r.observed_ratio,
|
|
355
575
|
fractionalGap: r.agreement,
|
|
576
|
+
fractionalGapIs: 'agreement-bound',
|
|
356
577
|
units: '2Δ(0)/k_BT_c; weak-coupling class ~3.5, strong-coupling to ~4.3 (caveat)',
|
|
357
578
|
provenance: r.observation.provenance,
|
|
579
|
+
preprocessing: {
|
|
580
|
+
state: 'recorded',
|
|
581
|
+
statement: 'a representative weak-coupling value (Sn ~3.5) fills the observed slot; the class spans Al ~3.4 to strong-coupling Pb ~4.3, which is not used; 5% is the stated agreement bound',
|
|
582
|
+
source: [
|
|
583
|
+
{ file: 'src/bridges/be62-bcs-gap-confrontation.ts', quote: 'ratio_measured: 3.5, // Sn, weak-coupling' },
|
|
584
|
+
{ file: 'src/bridges/be62-bcs-gap-confrontation.ts', quote: 'Real conventional superconductors range from a little below 3.5 (Al) to' },
|
|
585
|
+
{ file: 'src/bridges/be62-bcs-gap-confrontation.ts', quote: 'agreement: 0.05,' },
|
|
586
|
+
],
|
|
587
|
+
},
|
|
588
|
+
independence: {
|
|
589
|
+
state: 'no-fitted-parameter',
|
|
590
|
+
statement: 'the weak-coupling ratio 2π/e^γ ≈ 3.528 is a pure number with no material parameter',
|
|
591
|
+
source: [
|
|
592
|
+
{ file: 'src/bridges/be62-bcs-gap.ts', symbol: 'BCS_GAP_RATIO' },
|
|
593
|
+
{ file: 'src/bridges/be62-bcs-gap.ts', quote: 'export const BCS_GAP_RATIO = (2 * Math.PI) / Math.exp(EULER_GAMMA);' },
|
|
594
|
+
],
|
|
595
|
+
},
|
|
358
596
|
};
|
|
359
597
|
},
|
|
360
598
|
};
|
|
@@ -369,8 +607,27 @@ const be63Entry = {
|
|
|
369
607
|
predicted: r.predicted_solar,
|
|
370
608
|
approaches: r.observed_solar,
|
|
371
609
|
fractionalGap: r.agreement,
|
|
610
|
+
fractionalGapIs: 'agreement-bound',
|
|
372
611
|
units: 'M_⊙; WD max ~1.35 vs M_Ch~1.44 (upper-bound; super-Chandrasekhar SNe caveat)',
|
|
373
612
|
provenance: r.observation.provenance,
|
|
613
|
+
preprocessing: {
|
|
614
|
+
state: 'recorded',
|
|
615
|
+
statement: 'observed is the highest reliably measured white-dwarf mass (~1.35 M_⊙); super-Chandrasekhar SN Ia progenitor inferences (2.4–2.8 M_⊙) are not used for the observed slot; 12% is the stated agreement bound',
|
|
616
|
+
source: [
|
|
617
|
+
{ file: 'src/bridges/be63-chandrasekhar-mass-confrontation.ts', quote: 'mass (~1.35 M_⊙, the highest reliably measured)' },
|
|
618
|
+
{ file: 'src/bridges/be63-chandrasekhar-mass-confrontation.ts', quote: 'M_observed_solar: 1.35,' },
|
|
619
|
+
{ file: 'src/bridges/be63-chandrasekhar-mass-confrontation.ts', quote: '2006gz/2007if/2009dc) imply progenitor masses up to 2.4–2.8 M_⊙ via rotation' },
|
|
620
|
+
{ file: 'src/bridges/be63-chandrasekhar-mass-confrontation.ts', quote: 'agreement: 0.12,' },
|
|
621
|
+
],
|
|
622
|
+
},
|
|
623
|
+
independence: {
|
|
624
|
+
state: 'no-fitted-parameter',
|
|
625
|
+
statement: 'M_Ch is evaluated from ℏ, c, G and the atomic mass unit at μ_e = 2, with no parameter taken from white-dwarf masses',
|
|
626
|
+
source: [
|
|
627
|
+
{ file: 'src/bridges/be63-chandrasekhar-mass-confrontation.ts', quote: 'evaluateChandrasekharMass({ mu_e: 2 })' },
|
|
628
|
+
{ file: 'src/bridges/be63-chandrasekhar-mass.ts', quote: 'Math.pow((HBAR_SI * C_SI) / G_SI, 1.5) * Math.pow(mu_e * M_U_SI, -2)' },
|
|
629
|
+
],
|
|
630
|
+
},
|
|
374
631
|
};
|
|
375
632
|
},
|
|
376
633
|
};
|
|
@@ -385,8 +642,20 @@ const be64Entry = {
|
|
|
385
642
|
predicted: r.predicted_ratio,
|
|
386
643
|
approaches: r.observed_ratio,
|
|
387
644
|
fractionalGap: r.agreement,
|
|
645
|
+
fractionalGapIs: 'agreement-bound',
|
|
388
646
|
units: 'peak L/L_Edd (order unity; super-Eddington ULX caveat)',
|
|
389
647
|
provenance: r.observation.provenance,
|
|
648
|
+
preprocessing: {
|
|
649
|
+
state: 'recorded',
|
|
650
|
+
statement: 'observed is the peak Eddington ratio of the brightest sub-Eddington AGN/X-ray binaries, encoded as 1 with an order-unity (50%) bound; super-Eddington sources (ULX pulsars) are not in the observed slot',
|
|
651
|
+
source: [
|
|
652
|
+
{ file: 'src/bridges/be64-eddington-luminosity-confrontation.ts', symbol: 'EddingtonRatioObservation' },
|
|
653
|
+
{ file: 'src/bridges/be64-eddington-luminosity-confrontation.ts', quote: 'The brightest sub-Eddington accretors saturate near L/L_Edd ≈ 1; the broad' },
|
|
654
|
+
{ file: 'src/bridges/be64-eddington-luminosity-confrontation.ts', quote: 'observed_ratio: 1,' },
|
|
655
|
+
{ file: 'src/bridges/be64-eddington-luminosity-confrontation.ts', quote: 'agreement: 0.5,' },
|
|
656
|
+
],
|
|
657
|
+
},
|
|
658
|
+
independence: { state: 'not-recorded' },
|
|
390
659
|
};
|
|
391
660
|
},
|
|
392
661
|
};
|
|
@@ -401,8 +670,27 @@ const be65Entry = {
|
|
|
401
670
|
predicted: r.predicted_solar,
|
|
402
671
|
approaches: r.observed_solar,
|
|
403
672
|
fractionalGap: r.agreement,
|
|
673
|
+
fractionalGapIs: 'agreement-bound',
|
|
404
674
|
units: 'M_⊙; order-of-magnitude collapse scale (convention-dependent prefactor caveat)',
|
|
405
675
|
provenance: r.observation.provenance,
|
|
676
|
+
preprocessing: {
|
|
677
|
+
state: 'recorded',
|
|
678
|
+
statement: 'the Jeans mass is evaluated at dense core-forming conditions (T = 10 K, ρ ≈ 3.8e-16 kg/m³ ~ 10⁵ cm⁻³ of H₂, μ = 2.3), not at cloud-average density where M_J is tens of M_⊙; 150% is the stated agreement bound',
|
|
679
|
+
source: [
|
|
680
|
+
{ file: 'src/bridges/be65-jeans-mass-confrontation.ts', quote: 'Dense core-forming conditions (T=10 K, ρ≈3.8×10⁻¹⁶ kg/m³ ~ 10⁵ cm⁻³ of H₂,' },
|
|
681
|
+
{ file: 'src/bridges/be65-jeans-mass-confrontation.ts', quote: '(At cloud-AVERAGE density M_J is tens of M_⊙ — the well-known "Jeans mass' },
|
|
682
|
+
{ file: 'src/bridges/be65-jeans-mass-confrontation.ts', quote: 'agreement: 1.5,' },
|
|
683
|
+
],
|
|
684
|
+
},
|
|
685
|
+
independence: {
|
|
686
|
+
state: 'shares-input',
|
|
687
|
+
shared: "the cloud conditions T, ρ, μ: the prediction is evaluated at the observation record's own conditions",
|
|
688
|
+
statement: 'the module chose them as the conditions where fragmentation occurs; whether they were chosen independently of the ~1 M_⊙ core scale is not recorded',
|
|
689
|
+
source: [
|
|
690
|
+
{ file: 'src/bridges/be65-jeans-mass-confrontation.ts', symbol: 'MOLECULAR_CLOUD_FRAGMENT' },
|
|
691
|
+
{ file: 'src/bridges/be65-jeans-mass-confrontation.ts', quote: 'evaluateJeansMass({ T_K: obs.T_K, rho_kg_per_m3: obs.rho_kg_per_m3, mu: obs.mu })' },
|
|
692
|
+
],
|
|
693
|
+
},
|
|
406
694
|
};
|
|
407
695
|
},
|
|
408
696
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"confrontations.js","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,4CAA4C,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAalE;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAmC,IAAI,GAAG,CAAC;IACzE,yEAAyE;IACzE,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,mDAAmD;IACtE,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,iBAAiB;IACpC,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,4BAA4B;IAC/C,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,qBAAqB;IACxC,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,uBAAuB;IAC1C,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,8BAA8B;IACjD,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,8DAA8D;IACjF,mBAAmB;IACnB,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,mBAAmB;IACrC,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,qCAAqC;IACvD,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,mCAAmC;IACrD,iDAAiD;IACjD,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,yDAAyD;IACxE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,uBAAuB;IACtC,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,wBAAwB;IACvC,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,4BAA4B;IAC3C,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,+BAA+B;IAC9C,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,0CAA0C;IACzD,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,uDAAuD;IACtE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,sDAAsD;IACrE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,4BAA4B;CAC5C,CAAC,CAAC;AAEH,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,OAAO,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC;AACtD,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,iBAAiB;IAC/B,MAAM,CAAC,GAA8B,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,mBAAmB,CAAC,MAAM,EAAE;QAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,qDAAqD;IAC5D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,4BAA4B;YACzC,QAAQ,EAAE,CAAC,CAAC,2BAA2B;YACvC,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,iCAAiC;YACtD,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,gBAAgB;YACvB,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE;SACtF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,6DAA6D;IACpE,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,yEAAyE;QACzE,+DAA+D;QAC/D,wEAAwE;QACxE,gEAAgE;QAChE,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,CAAC,CAAC,cAAc;YAC1B,KAAK,EAAE,CAAC,CAAC,iBAAiB;YAC1B,eAAe,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,iBAAiB,CAAC;YAC5E,cAAc,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAChF,KAAK,EAAE,mBAAmB;YAC1B,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE;SACtF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,kFAAkF;AAClF,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAC9E,oEAAoE;AACpE,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,4BAA4B;IACnC,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,YAAY;YACzB,KAAK,EAAE,CAAC,CAAC,UAAU;YACnB,SAAS,EAAE,CAAC,CAAC,kBAAkB;YAC/B,MAAM,EAAE,yCAAyC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG;YACnJ,KAAK,EAAE,gCAAgC;YACvC,UAAU,EAAE;gBACV,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ;gBAChC,IAAI,EAAE,IAAI;gBACV,SAAS,EAAE,YAAY;gBACvB,IAAI,EAAE,0BAA0B,CAAC,CAAC,UAAU,WAAW,CAAC,CAAC,UAAU,uBAAuB,CAAC,CAAC,YAAY,EAAE;aAC3G;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,qDAAqD;IAC5D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,QAAQ,EAAE,CAAC,CAAC,cAAc;YAC1B,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,oBAAoB;YACzC,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,uBAAuB;YAC9B,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,4DAA4D;IACnE,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,oBAAoB;YACjC,KAAK,EAAE,CAAC,CAAC,gBAAgB;YACzB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,KAAK,EAAE,qBAAqB;YAC5B,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,oDAAoD;IAC3D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,gBAAgB;YAC7B,QAAQ,EAAE,CAAC,CAAC,eAAe;YAC3B,KAAK,EAAE,CAAC,CAAC,qBAAqB;YAC9B,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,gCAAgC;YACvC,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,QAAQ,EAAE;gBACR,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,cAAc;gBACnC,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,oBAAoB;gBACzC,MAAM,EAAE,MAAM;gBACd,UAAU,EAAE,qBAAqB;aAClC;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,yEAAyE;IAChF,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,mBAAmB;YACjC,aAAa,EAAE,CAAC,CAAC,cAAc;YAC/B,KAAK,EAAE,kFAAkF;YACzF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,uEAAuE;IAC9E,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,YAAY;YACzB,QAAQ,EAAE,CAAC,CAAC,WAAW;YACvB,KAAK,EAAE,CAAC,CAAC,cAAc;YACvB,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,yDAAyD;YAChE,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,0EAA0E;IACjF,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,cAAc;YAC/B,KAAK,EACH,wFAAwF;YAC1F,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,6DAA6D;IACpE,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,oBAAoB;YACrC,KAAK,EAAE,oEAAoE;YAC3E,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,uDAAuD;IAC9D,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,KAAK,EAAE,sFAAsF;YAC7F,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,8DAA8D;IACrE,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,aAAa;YAC1B,QAAQ,EAAE,CAAC,CAAC,YAAY;YACxB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,yCAAyC;YAChD,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,yEAAyE;IAChF,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,oBAAoB;YACrC,KAAK,EAAE,yEAAyE;YAChF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,sEAAsE;IAC7E,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,oBAAoB;YACrC,KAAK,EAAE,0EAA0E;YACjF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,gEAAgE;IACvE,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,YAAY;YACzB,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,KAAK,EAAE,wFAAwF;YAC/F,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,0EAA0E;IACjF,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,KAAK,EAAE,0EAA0E;YACjF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,oEAAoE;IAC3E,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,KAAK,EAAE,8EAA8E;YACrF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,iEAAiE;IACxE,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,KAAK,EAAE,wDAAwD;YAC/D,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,qEAAqE;IAC5E,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,KAAK,EAAE,gFAAgF;YACvF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAA6B;IACnD,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;CAChB,CAAC,CAAC;AAEH,0CAA0C;AAC1C,MAAM,CAAC,MAAM,cAAc,GAA4C,QAAQ,CAAC;AAEhF,yDAAyD;AACzD,MAAM,UAAU,kBAAkB;IAChC,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;AACxE,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,OAAO,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;AACvC,CAAC"}
|
|
1
|
+
{"version":3,"file":"confrontations.js","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,4CAA4C,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAalE;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAmC,IAAI,GAAG,CAAC;IACzE,yEAAyE;IACzE,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,mDAAmD;IACtE,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,iBAAiB;IACpC,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,4BAA4B;IAC/C,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,qBAAqB;IACxC,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,uBAAuB;IAC1C,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,8BAA8B;IACjD,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,8DAA8D;IACjF,mBAAmB;IACnB,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,mBAAmB;IACrC,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,qCAAqC;IACvD,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,mCAAmC;IACrD,iDAAiD;IACjD,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,mEAAmE;IAClF,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,uBAAuB;IACtC,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,wBAAwB;IACvC,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,4BAA4B;IAC3C,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,+BAA+B;IAC9C,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,0CAA0C;IACzD,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,uDAAuD;IACtE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,sDAAsD;IACrE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,4BAA4B;CAC5C,CAAC,CAAC;AAEH,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,OAAO,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC;AACtD,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,iBAAiB;IAC/B,MAAM,CAAC,GAA8B,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,mBAAmB,CAAC,MAAM,EAAE;QAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,qDAAqD;IAC5D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,4BAA4B;YACzC,QAAQ,EAAE,CAAC,CAAC,2BAA2B;YACvC,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,iCAAiC;YACtD,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,gBAAgB;YACvB,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE;YACrF,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,gJAAgJ;gBAClJ,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,0EAA0E,EAAE;oBACxI,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,6EAA6E,EAAE;iBAC5I;aACF;YACD,YAAY,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;SACxC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,6DAA6D;IACpE,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,yEAAyE;QACzE,+DAA+D;QAC/D,wEAAwE;QACxE,gEAAgE;QAChE,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,CAAC,CAAC,cAAc;YAC1B,KAAK,EAAE,CAAC,CAAC,iBAAiB;YAC1B,eAAe,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,iBAAiB,CAAC;YAC5E,cAAc,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAChF,KAAK,EAAE,mBAAmB;YAC1B,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE;YACrF,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,uSAAuS;gBACzS,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,6CAA6C,EAAE,KAAK,EAAE,yEAAyE,EAAE;oBACzI,EAAE,IAAI,EAAE,6CAA6C,EAAE,KAAK,EAAE,sEAAsE,EAAE;oBACtI,EAAE,IAAI,EAAE,6CAA6C,EAAE,KAAK,EAAE,qEAAqE,EAAE;iBACtI;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,qBAAqB;gBAC5B,SAAS,EACP,kNAAkN;gBACpN,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,6CAA6C,EAAE,KAAK,EAAE,kEAAkE,EAAE;iBACnI;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,kFAAkF;AAClF,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAC9E,oEAAoE;AACpE,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,4BAA4B;IACnC,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,YAAY;YACzB,KAAK,EAAE,CAAC,CAAC,UAAU;YACnB,SAAS,EAAE,CAAC,CAAC,kBAAkB;YAC/B,WAAW,EAAE,eAAe;YAC5B,MAAM,EAAE,yCAAyC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG;YACnJ,KAAK,EAAE,gCAAgC;YACvC,UAAU,EAAE;gBACV,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ;gBAChC,IAAI,EAAE,IAAI;gBACV,SAAS,EAAE,YAAY;gBACvB,IAAI,EAAE,0BAA0B,CAAC,CAAC,UAAU,WAAW,CAAC,CAAC,UAAU,uBAAuB,CAAC,CAAC,YAAY,EAAE;aAC3G;YACD,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,0RAA0R;gBAC5R,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,4CAA4C,EAAE,KAAK,EAAE,+DAA+D,EAAE;oBAC9H,EAAE,IAAI,EAAE,4CAA4C,EAAE,KAAK,EAAE,gCAAgC,EAAE;oBAC/F,EAAE,IAAI,EAAE,4CAA4C,EAAE,KAAK,EAAE,8BAA8B,EAAE;iBAC9F;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,cAAc;gBACrB,MAAM,EAAE,iBAAiB;gBACzB,SAAS,EACP,0LAA0L;gBAC5L,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,+CAA+C,EAAE,KAAK,EAAE,2CAA2C,EAAE;iBAC9G;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,qDAAqD;IAC5D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,QAAQ,EAAE,CAAC,CAAC,cAAc;YAC1B,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,oBAAoB;YACzC,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,uBAAuB;YAC9B,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;YACxC,YAAY,EAAE;gBACZ,KAAK,EAAE,qBAAqB;gBAC5B,SAAS,EACP,oGAAoG;gBACtG,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,yCAAyC,EAAE;oBACvG,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,4BAA4B,EAAE;iBAC3F;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,4DAA4D;IACnE,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,oBAAoB;YACjC,KAAK,EAAE,CAAC,CAAC,gBAAgB;YACzB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,WAAW,EAAE,OAAO;YACpB,KAAK,EAAE,qBAAqB;YAC5B,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,8MAA8M;gBAChN,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,4CAA4C,EAAE,KAAK,EAAE,yCAAyC,EAAE;oBACxG,EAAE,IAAI,EAAE,4CAA4C,EAAE,KAAK,EAAE,kCAAkC,EAAE;oBACjG,EAAE,IAAI,EAAE,4CAA4C,EAAE,KAAK,EAAE,0EAA0E,EAAE;iBAC1I;aACF;YACD,YAAY,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;SACxC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,oDAAoD;IAC3D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,gBAAgB;YAC7B,QAAQ,EAAE,CAAC,CAAC,eAAe;YAC3B,KAAK,EAAE,CAAC,CAAC,qBAAqB;YAC9B,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,gCAAgC;YACvC,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,gJAAgJ;gBAClJ,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,2BAA2B,EAAE;oBACzF,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,+CAA+C,EAAE;oBAC7G,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,kFAAkF,EAAE;iBACjJ;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,cAAc;gBACrB,MAAM,EAAE,4EAA4E;gBACpF,SAAS,EACP,yJAAyJ;gBAC3J,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,qDAAqD,EAAE;oBACnH,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,iCAAiC,EAAE;iBAChG;aACF;YACD,QAAQ,EAAE;gBACR,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,cAAc;gBACnC,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,oBAAoB;gBACzC,MAAM,EAAE,MAAM;gBACd,UAAU,EAAE,qBAAqB;aAClC;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,yEAAyE;IAChF,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,mBAAmB;YACjC,aAAa,EAAE,CAAC,CAAC,cAAc;YAC/B,eAAe,EAAE,qBAAqB;YACtC,WAAW,EAAE,aAAa;YAC1B,KAAK,EAAE,kFAAkF;YACzF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,wNAAwN;gBAC1N,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,uCAAuC,EAAE,KAAK,EAAE,oEAAoE,EAAE;oBAC9H,EAAE,IAAI,EAAE,uCAAuC,EAAE,KAAK,EAAE,yIAAyI,EAAE;oBACnM,EAAE,IAAI,EAAE,uCAAuC,EAAE,KAAK,EAAE,2BAA2B,EAAE;iBACtF;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,qBAAqB;gBAC5B,SAAS,EACP,+JAA+J;gBACjK,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,uCAAuC,EAAE,KAAK,EAAE,qFAAqF,EAAE;iBAChJ;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,uEAAuE;IAC9E,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,YAAY;YACzB,QAAQ,EAAE,CAAC,CAAC,WAAW;YACvB,KAAK,EAAE,CAAC,CAAC,cAAc;YACvB,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,yDAAyD;YAChE,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,qMAAqM;gBACvM,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,6CAA6C,EAAE,KAAK,EAAE,uEAAuE,EAAE;oBACvI,EAAE,IAAI,EAAE,6CAA6C,EAAE,KAAK,EAAE,kDAAkD,EAAE;iBACnH;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,qBAAqB;gBAC5B,SAAS,EACP,sLAAsL;gBACxL,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,6CAA6C,EAAE,KAAK,EAAE,sFAAsF,EAAE;oBACtJ,EAAE,IAAI,EAAE,6CAA6C,EAAE,KAAK,EAAE,8BAA8B,EAAE;iBAC/F;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,0EAA0E;IACjF,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,yFAAyF;YACzF,iFAAiF;YACjF,aAAa,EAAE,CAAC,CAAC,WAAW,CAAC,SAAS;YACtC,eAAe,EAAE,iBAAiB;YAClC,KAAK,EACH,wFAAwF;YAC1F,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,6MAA6M;gBAC/M,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,+CAA+C,EAAE,KAAK,EAAE,8EAA8E,EAAE;oBAChJ,EAAE,IAAI,EAAE,+CAA+C,EAAE,KAAK,EAAE,sBAAsB,EAAE;oBACxF,EAAE,IAAI,EAAE,+CAA+C,EAAE,KAAK,EAAE,gDAAgD,EAAE;iBACnH;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,qBAAqB;gBAC5B,SAAS,EACP,uEAAuE;gBACzE,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,+CAA+C,EAAE,KAAK,EAAE,uEAAuE,EAAE;iBAC1I;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,6DAA6D;IACpE,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,oBAAoB;YACrC,eAAe,EAAE,iBAAiB;YAClC,KAAK,EAAE,oEAAoE;YAC3E,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,4JAA4J;gBAC9J,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,gDAAgD,EAAE,KAAK,EAAE,oBAAoB,EAAE;oBACvF,EAAE,IAAI,EAAE,gDAAgD,EAAE,KAAK,EAAE,gCAAgC,EAAE;iBACpG;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,qBAAqB;gBAC5B,SAAS,EACP,yKAAyK;gBAC3K,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,gDAAgD,EAAE,KAAK,EAAE,8EAA8E,EAAE;iBAClJ;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,uDAAuD;IAC9D,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,eAAe,EAAE,iBAAiB;YAClC,KAAK,EAAE,sFAAsF;YAC7F,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,wOAAwO;gBAC1O,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,2FAA2F,EAAE;oBACzJ,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,oDAAoD,EAAE;oBAClH,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,kBAAkB,EAAE;iBACjF;aACF;YACD,YAAY,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;SACxC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,8DAA8D;IACrE,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,aAAa;YAC1B,QAAQ,EAAE,CAAC,CAAC,YAAY;YACxB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,yCAAyC;YAChD,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;YACxC,YAAY,EAAE;gBACZ,KAAK,EAAE,cAAc;gBACrB,MAAM,EAAE,oLAAoL;gBAC5L,SAAS,EACP,qMAAqM;gBACvM,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,mDAAmD,EAAE,KAAK,EAAE,wCAAwC,EAAE;oBAC9G,EAAE,IAAI,EAAE,mDAAmD,EAAE,KAAK,EAAE,6IAA6I,EAAE;iBACpN;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,yEAAyE;IAChF,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,oBAAoB;YACrC,eAAe,EAAE,iBAAiB;YAClC,KAAK,EAAE,yEAAyE;YAChF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,+LAA+L;gBACjM,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,gDAAgD,EAAE,KAAK,EAAE,sEAAsE,EAAE;iBAC1I;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,qBAAqB;gBAC5B,SAAS,EACP,oKAAoK;gBACtK,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,gDAAgD,EAAE,KAAK,EAAE,sEAAsE,EAAE;iBAC1I;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,sEAAsE;IAC7E,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,oBAAoB;YACrC,eAAe,EAAE,iBAAiB;YAClC,KAAK,EAAE,0EAA0E;YACjF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,uIAAuI;gBACzI,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,iDAAiD,EAAE,KAAK,EAAE,wFAAwF,EAAE;iBAC7J;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,qBAAqB;gBAC5B,SAAS,EACP,iLAAiL;gBACnL,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,iDAAiD,EAAE,KAAK,EAAE,2DAA2D,EAAE;iBAChI;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,gEAAgE;IACvE,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,YAAY;YACzB,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,eAAe,EAAE,iBAAiB;YAClC,KAAK,EAAE,wFAAwF;YAC/F,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,yKAAyK;gBAC3K,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,mDAAmD,EAAE,KAAK,EAAE,+DAA+D,EAAE;oBACrI,EAAE,IAAI,EAAE,mDAAmD,EAAE,KAAK,EAAE,iDAAiD,EAAE;oBACvH,EAAE,IAAI,EAAE,mDAAmD,EAAE,KAAK,EAAE,2CAA2C,EAAE;iBAClH;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,cAAc;gBACrB,MAAM,EAAE,mFAAmF;gBAC3F,SAAS,EACP,mJAAmJ;gBACrJ,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,mDAAmD,EAAE,KAAK,EAAE,wCAAwC,EAAE;oBAC9G,EAAE,IAAI,EAAE,mDAAmD,EAAE,KAAK,EAAE,+BAA+B,EAAE;iBACtG;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,0EAA0E;IACjF,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,eAAe,EAAE,iBAAiB;YAClC,KAAK,EAAE,0EAA0E;YACjF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,iLAAiL;gBACnL,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,2CAA2C,EAAE;oBACzG,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,yEAAyE,EAAE;oBACvI,EAAE,IAAI,EAAE,2CAA2C,EAAE,KAAK,EAAE,kBAAkB,EAAE;iBACjF;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,qBAAqB;gBAC5B,SAAS,EACP,oFAAoF;gBACtF,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,6BAA6B,EAAE,MAAM,EAAE,eAAe,EAAE;oBAChE,EAAE,IAAI,EAAE,6BAA6B,EAAE,KAAK,EAAE,qEAAqE,EAAE;iBACtH;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,oEAAoE;IAC3E,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,eAAe,EAAE,iBAAiB;YAClC,KAAK,EAAE,8EAA8E;YACrF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,6MAA6M;gBAC/M,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,sDAAsD,EAAE,KAAK,EAAE,iDAAiD,EAAE;oBAC1H,EAAE,IAAI,EAAE,sDAAsD,EAAE,KAAK,EAAE,yBAAyB,EAAE;oBAClG,EAAE,IAAI,EAAE,sDAAsD,EAAE,KAAK,EAAE,8EAA8E,EAAE;oBACvJ,EAAE,IAAI,EAAE,sDAAsD,EAAE,KAAK,EAAE,kBAAkB,EAAE;iBAC5F;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,qBAAqB;gBAC5B,SAAS,EACP,qHAAqH;gBACvH,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,sDAAsD,EAAE,KAAK,EAAE,wCAAwC,EAAE;oBACjH,EAAE,IAAI,EAAE,wCAAwC,EAAE,KAAK,EAAE,sEAAsE,EAAE;iBAClI;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,iEAAiE;IACxE,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,eAAe,EAAE,iBAAiB;YAClC,KAAK,EAAE,wDAAwD;YAC/D,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,0MAA0M;gBAC5M,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,wDAAwD,EAAE,MAAM,EAAE,2BAA2B,EAAE;oBACvG,EAAE,IAAI,EAAE,wDAAwD,EAAE,KAAK,EAAE,4EAA4E,EAAE;oBACvJ,EAAE,IAAI,EAAE,wDAAwD,EAAE,KAAK,EAAE,oBAAoB,EAAE;oBAC/F,EAAE,IAAI,EAAE,wDAAwD,EAAE,KAAK,EAAE,iBAAiB,EAAE;iBAC7F;aACF;YACD,YAAY,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;SACxC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,qEAAqE;IAC5E,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,UAAU,EAAE,CAAC,CAAC,cAAc;YAC5B,aAAa,EAAE,CAAC,CAAC,SAAS;YAC1B,eAAe,EAAE,iBAAiB;YAClC,KAAK,EAAE,gFAAgF;YACvF,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;YACpC,aAAa,EAAE;gBACb,KAAK,EAAE,UAAU;gBACjB,SAAS,EACP,iNAAiN;gBACnN,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,8CAA8C,EAAE,KAAK,EAAE,4EAA4E,EAAE;oBAC7I,EAAE,IAAI,EAAE,8CAA8C,EAAE,KAAK,EAAE,2EAA2E,EAAE;oBAC5I,EAAE,IAAI,EAAE,8CAA8C,EAAE,KAAK,EAAE,iBAAiB,EAAE;iBACnF;aACF;YACD,YAAY,EAAE;gBACZ,KAAK,EAAE,cAAc;gBACrB,MAAM,EAAE,sGAAsG;gBAC9G,SAAS,EACP,qJAAqJ;gBACvJ,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,8CAA8C,EAAE,MAAM,EAAE,0BAA0B,EAAE;oBAC5F,EAAE,IAAI,EAAE,8CAA8C,EAAE,KAAK,EAAE,mFAAmF,EAAE;iBACrJ;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAA6B;IACnD,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;CAChB,CAAC,CAAC;AAEH,0CAA0C;AAC1C,MAAM,CAAC,MAAM,cAAc,GAA4C,QAAQ,CAAC;AAEhF,yDAAyD;AACzD,MAAM,UAAU,kBAAkB;IAChC,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;AACxE,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,OAAO,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;AACvC,CAAC"}
|
|
@@ -1,6 +1,5 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Bridge Equation 13 —
|
|
3
|
-
* thermodynamic interpretation, post Wave Y reformulation).
|
|
2
|
+
* Bridge Equation 13 — Einstein trace reduction.
|
|
4
3
|
*
|
|
5
4
|
* R = 4Λ - (8π G / c⁴) T
|
|
6
5
|
*
|
|
@@ -52,7 +51,7 @@
|
|
|
52
51
|
* structural form is exposed via the separate `BE13_T_TRACE_NODE` export.
|
|
53
52
|
* See the "BE-13 structural TensorTraceNode" section below.
|
|
54
53
|
*
|
|
55
|
-
* @see docs/specification/Part-I.md ("Bridge Equation 13")
|
|
54
|
+
* @see docs/specification/Part-I.md ("Bridge Equation 13: Einstein trace reduction")
|
|
56
55
|
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 13)
|
|
57
56
|
* @module bridges/equations/be-13-einstein-trace
|
|
58
57
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-13-einstein-trace.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"be-13-einstein-trace.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAGpC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+CAA+C,CAAC;AAG5F;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAE9B,CAAC;AAOF;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAoCrC,CAAC;AAEF,+CAA+C;AAC/C,gBAAgB;AAChB,eAAO,MAAM,uBAAuB,EAAE,QAA2C,CAAC;AAIlF;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,EAAE,sBASrC,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,iBAAiB,EAAE,eAa/B,CAAC;AAIF;;GAEG;AACH,UAAU,mBAAmB;IAC3B,qDAAqD;IACrD,aAAa,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAaxE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
|
|
@@ -1,6 +1,5 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Bridge Equation 13 —
|
|
3
|
-
* thermodynamic interpretation, post Wave Y reformulation).
|
|
2
|
+
* Bridge Equation 13 — Einstein trace reduction.
|
|
4
3
|
*
|
|
5
4
|
* R = 4Λ - (8π G / c⁴) T
|
|
6
5
|
*
|
|
@@ -52,7 +51,7 @@
|
|
|
52
51
|
* structural form is exposed via the separate `BE13_T_TRACE_NODE` export.
|
|
53
52
|
* See the "BE-13 structural TensorTraceNode" section below.
|
|
54
53
|
*
|
|
55
|
-
* @see docs/specification/Part-I.md ("Bridge Equation 13")
|
|
54
|
+
* @see docs/specification/Part-I.md ("Bridge Equation 13: Einstein trace reduction")
|
|
56
55
|
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 13)
|
|
57
56
|
* @module bridges/equations/be-13-einstein-trace
|
|
58
57
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-13-einstein-trace.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"be-13-einstein-trace.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAGH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAc;IACzC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,oEAAoE;AACpE,MAAM,kBAAkB,GAAc;IACpC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,QAAQ,EAAE,gBAAgB,CAAC;aAChC;SACF;QACD;YACE,yBAAyB;YACzB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gCACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gCACf,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC;6BACnC;yBACF;wBACD;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;yBACjD;qBACF;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,+CAA+C;AAC/C,gBAAgB;AAChB,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;AAElF,mEAAmE;AAEnE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA2B;IAC7D,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,GAAG;IACX,OAAO,EAAE;QACP,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;QAClC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;KACnC;IACD,QAAQ,EAAE,WAAW;IACrB,YAAY,EAAE,kBAAkB;CACjC,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAoB;IAChD,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,uBAAuB;IAC/B,MAAM,EAAE;QACN,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;YAClC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;SACnC;QACD,SAAS,EAAE,SAAS;QACpB,GAAG,EAAE,aAAa;KACnB;CACF,CAAC;AAkBF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,eAAe,EAAE;QACzB,EAAE,IAAI,EAAE,kBAAkB,EAAE;KAC7B,EACD,uBAAuB,CACxB,CAAC;IACF,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO,CAAC,GAAG,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;AACxF,CAAC"}
|
|
@@ -9,8 +9,8 @@
|
|
|
9
9
|
* μ(a/a_0) · a = a_N where μ(x) = x / √(1 + x²)
|
|
10
10
|
*
|
|
11
11
|
* Limits:
|
|
12
|
-
* - Newtonian (
|
|
13
|
-
* - Deep-MOND (
|
|
12
|
+
* - Newtonian (z → ∞): ν → 1, so F → F_N
|
|
13
|
+
* - Deep-MOND (z → 0): ν ~ 1/√z, so F → √(m · F_N · a_0)
|
|
14
14
|
*
|
|
15
15
|
* Status: speculative.
|
|
16
16
|
*
|
|
@@ -32,7 +32,7 @@
|
|
|
32
32
|
* (TeVeS gravitational-wave speed deviates from c); see BE-36 for
|
|
33
33
|
* the relativistic completion bridge and its known issue.
|
|
34
34
|
*
|
|
35
|
-
* @see docs/specification/Part-II.md ("Bridge Equation 38:
|
|
35
|
+
* @see docs/specification/Part-II.md ("Bridge Equation 38: Milgrom MOND interpolation ν(z)")
|
|
36
36
|
* @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 38)
|
|
37
37
|
* @module bridges/equations/be-38-mond
|
|
38
38
|
*/
|
|
@@ -75,9 +75,11 @@ interface MONDForceInputs {
|
|
|
75
75
|
* F = F_N · ν(z), z = F_N / (m · a_0)
|
|
76
76
|
* ν(z) = √[(1 + √(1 + 4/z²)) / 2]
|
|
77
77
|
*
|
|
78
|
-
* Limits (
|
|
78
|
+
* Limits (the closed form; pinned in be-38-encoding.test.ts):
|
|
79
79
|
* - z → ∞: ν → 1, so F → F_N (Newtonian)
|
|
80
|
-
* - z → 0: ν
|
|
80
|
+
* - z → 0: ν ~ 1/√z, so F = F_N·ν → √(m · F_N · a_0) (deep-MOND).
|
|
81
|
+
* At z = 1e-6 the closed form is about 1000. √(2/z) is about 1414
|
|
82
|
+
* and is not this expansion.
|
|
81
83
|
*
|
|
82
84
|
* @returns Force in newtons.
|
|
83
85
|
*/
|