universal-physics-tensor 0.15.0 → 0.17.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/bridges/rhs-registry.d.ts +31 -0
- package/dist/bridges/rhs-registry.d.ts.map +1 -0
- package/dist/bridges/rhs-registry.js +123 -0
- package/dist/bridges/rhs-registry.js.map +1 -0
- package/dist/diff/bridge-ast-gradient.d.ts +71 -0
- package/dist/diff/bridge-ast-gradient.d.ts.map +1 -0
- package/dist/diff/bridge-ast-gradient.js +189 -0
- package/dist/diff/bridge-ast-gradient.js.map +1 -0
- package/dist/index.d.ts +2 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -0
- package/dist/index.js.map +1 -1
- package/package.json +2 -2
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Bridge RHS-AST registry — maps each catalogued bridge id to its faithfully
|
|
3
|
+
* encoded right-hand-side `ExprNode`.
|
|
4
|
+
*
|
|
5
|
+
* The `BRIDGE_EQUATIONS` catalog stores a bridge's `dimensional_signature`
|
|
6
|
+
* (a string) but not its symbolic AST; the per-bridge `*_RHS` ExprNode lives in
|
|
7
|
+
* each `equations/be-NN-*.ts` module. This registry gathers them into one
|
|
8
|
+
* id → AST map so consumers (the dimensional round-trip test, and
|
|
9
|
+
* `bridgeGradientAST` by id) have a single source of truth instead of
|
|
10
|
+
* re-listing 40+ imports.
|
|
11
|
+
*
|
|
12
|
+
* Entries are added here as Tier-5 AST encodings land (the static `import` set
|
|
13
|
+
* gives the type-checker a guarantee that every RHS is in scope). The legacy
|
|
14
|
+
* BE-25 Penrose-Hameroff Orch-OR AST is intentionally excluded — the active
|
|
15
|
+
* BE-25 encoding is the IIT form (`BE25_INTRINSIC_INFORMATION_RHS`).
|
|
16
|
+
*
|
|
17
|
+
* @module bridges/rhs-registry
|
|
18
|
+
*/
|
|
19
|
+
import type { ExprNode } from '../dimensional/validator.js';
|
|
20
|
+
/**
|
|
21
|
+
* Numeric bridge id → its encoded RHS AST. Add new entries as Tier-5 encodings
|
|
22
|
+
* land. Ids 11–50, 53, 54 (42 bridges); BE-51/52 are closed-form evaluators
|
|
23
|
+
* without an AST encoding and are intentionally absent.
|
|
24
|
+
*/
|
|
25
|
+
export declare const BRIDGE_RHS_BY_ID: ReadonlyMap<number, ExprNode>;
|
|
26
|
+
/**
|
|
27
|
+
* Parse a bridge id given as a number, `'42'`, or `'BE-42'` (case-insensitive,
|
|
28
|
+
* optional `BE`/`BE-` prefix) into its numeric form. Throws on an unparseable id.
|
|
29
|
+
*/
|
|
30
|
+
export declare function parseBridgeId(bridgeId: number | string): number;
|
|
31
|
+
//# sourceMappingURL=rhs-registry.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rhs-registry.d.ts","sourceRoot":"","sources":["../../src/bridges/rhs-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AA6C5D;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CA2CzD,CAAC;AAEH;;;GAGG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAS/D"}
|
|
@@ -0,0 +1,123 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Bridge RHS-AST registry — maps each catalogued bridge id to its faithfully
|
|
3
|
+
* encoded right-hand-side `ExprNode`.
|
|
4
|
+
*
|
|
5
|
+
* The `BRIDGE_EQUATIONS` catalog stores a bridge's `dimensional_signature`
|
|
6
|
+
* (a string) but not its symbolic AST; the per-bridge `*_RHS` ExprNode lives in
|
|
7
|
+
* each `equations/be-NN-*.ts` module. This registry gathers them into one
|
|
8
|
+
* id → AST map so consumers (the dimensional round-trip test, and
|
|
9
|
+
* `bridgeGradientAST` by id) have a single source of truth instead of
|
|
10
|
+
* re-listing 40+ imports.
|
|
11
|
+
*
|
|
12
|
+
* Entries are added here as Tier-5 AST encodings land (the static `import` set
|
|
13
|
+
* gives the type-checker a guarantee that every RHS is in scope). The legacy
|
|
14
|
+
* BE-25 Penrose-Hameroff Orch-OR AST is intentionally excluded — the active
|
|
15
|
+
* BE-25 encoding is the IIT form (`BE25_INTRINSIC_INFORMATION_RHS`).
|
|
16
|
+
*
|
|
17
|
+
* @module bridges/rhs-registry
|
|
18
|
+
*/
|
|
19
|
+
import { DECOHERENCE_RATE_RHS } from './equations/be-11-decoherence-master.js';
|
|
20
|
+
import { BE12_COHERENCE_LENGTH_RHS } from './equations/be-12-coherence-length.js';
|
|
21
|
+
import { BE13_EINSTEIN_TRACE_RHS } from './equations/be-13-einstein-trace.js';
|
|
22
|
+
import { RYU_TAKAYANAGI_RHS } from './equations/be-14-ryu-takayanagi.js';
|
|
23
|
+
import { BE15_COARSENING_LENGTH_SQUARED_RHS } from './equations/be-15-emergence.js';
|
|
24
|
+
import { BE16_LANDAUER_RHS } from './equations/be-16-landauer.js';
|
|
25
|
+
import { BE17_SPIN_DENSITY_SQUARED_RHS } from './equations/be-17-einstein-cartan.js';
|
|
26
|
+
import { BE18_HIGGS_MASS_RHS } from './equations/be-18-higgs-mass.js';
|
|
27
|
+
import { QUANTUM_BOUNCE_RHS } from './equations/be-19-quantum-bounce.js';
|
|
28
|
+
import { BE20_VACUUM_ENERGY_RHS } from './equations/be-20-vacuum-energy.js';
|
|
29
|
+
import { BE21_KSS_RHS } from './equations/be-21-kss-bound.js';
|
|
30
|
+
import { BE22_TOPOLOGICAL_ENTANGLEMENT_RHS } from './equations/be-22-topological-entanglement.js';
|
|
31
|
+
import { BE23_SYK_RESISTIVITY_RHS } from './equations/be-23-syk-planckian.js';
|
|
32
|
+
import { BE24_FRET_EFFICIENCY_RHS } from './equations/be-24-foerster-fret.js';
|
|
33
|
+
import { BE25_INTRINSIC_INFORMATION_RHS } from './equations/be-25-iit-phi.js';
|
|
34
|
+
import { DNA_TUNNELING_RHS } from './equations/be-26-dna-tunneling.js';
|
|
35
|
+
import { BE27_TEFF_RHS } from './equations/be-27-effective-temperature.js';
|
|
36
|
+
import { BE28_ENTROPY_PRODUCTION_RHS } from './equations/be-28-onsager-entropy-production.js';
|
|
37
|
+
import { BE29_JARZYNSKI_RHS } from './equations/be-29-jarzynski.js';
|
|
38
|
+
import { BE30_FLM_RHS } from './equations/be-30-flm-first-law.js';
|
|
39
|
+
import { BE31_CAUSAL_SET_BD_RHS } from './equations/be-31-causal-set-bd.js';
|
|
40
|
+
import { BE32_QRF_OVERLAP_RHS } from './equations/be-32-quantum-reference-frame.js';
|
|
41
|
+
import { BE33_HERTZ_MILLIS_RHS } from './equations/be-33-hertz-millis.js';
|
|
42
|
+
import { KIBBLE_ZUREK_RHS } from './equations/be-34-kibble-zurek.js';
|
|
43
|
+
import { BE35_CROSSING_RESIDUAL_RHS } from './equations/be-35-conformal-bootstrap.js';
|
|
44
|
+
import { BE36_GW_SPEED_RATIO_RHS } from './equations/be-36-gw-speed-bound.js';
|
|
45
|
+
import { BE37_SHAPIRO_DELAY_RHS } from './equations/be-37-shapiro-delay.js';
|
|
46
|
+
import { BE38_MOND_FORCE_RHS } from './equations/be-38-mond.js';
|
|
47
|
+
import { BE39_BETA_G_RHS } from './equations/be-39-asymptotic-safety.js';
|
|
48
|
+
import { BE40_COMPOSITE_HIGGS_RHS } from './equations/be-40-composite-higgs.js';
|
|
49
|
+
import { SWAMPLAND_RHS } from './equations/be-41-swampland.js';
|
|
50
|
+
import { BE42_HAWKING_TEMPERATURE_RHS } from './equations/be-42-hawking-temperature.js';
|
|
51
|
+
import { BE43_ER_EPR_RHS } from './equations/be-43-er-epr.js';
|
|
52
|
+
import { BE44_SOFT_HAIR_INTEGRAL_RHS } from './equations/be-44-soft-hair.js';
|
|
53
|
+
import { BE45_TCC_RHS } from './equations/be-45-tcc.js';
|
|
54
|
+
import { BE46_ANTHROPIC_PROBABILITY_RHS } from './equations/be-46-multiverse-measure.js';
|
|
55
|
+
import { BBN_DARK_RHS } from './equations/be-47-bbn-dark-sector.js';
|
|
56
|
+
import { BE48_GRW_LOCALIZATION_RHS } from './equations/be-48-grw-localization.js';
|
|
57
|
+
import { BE49_QUANTUM_DARWINISM_RHS } from './equations/be-49-quantum-darwinism.js';
|
|
58
|
+
import { BE50_TIME_SYMMETRY_RESIDUAL_RHS } from './equations/be-50-wheeler-feynman.js';
|
|
59
|
+
import { BE53_BETA_G_RHS } from './equations/be-53-yang-mills-beta.js';
|
|
60
|
+
import { BRANE_FRIEDMANN_RHS } from './equations/be-54-randall-sundrum-brane.js';
|
|
61
|
+
/**
|
|
62
|
+
* Numeric bridge id → its encoded RHS AST. Add new entries as Tier-5 encodings
|
|
63
|
+
* land. Ids 11–50, 53, 54 (42 bridges); BE-51/52 are closed-form evaluators
|
|
64
|
+
* without an AST encoding and are intentionally absent.
|
|
65
|
+
*/
|
|
66
|
+
export const BRIDGE_RHS_BY_ID = new Map([
|
|
67
|
+
[11, DECOHERENCE_RATE_RHS],
|
|
68
|
+
[12, BE12_COHERENCE_LENGTH_RHS],
|
|
69
|
+
[13, BE13_EINSTEIN_TRACE_RHS],
|
|
70
|
+
[14, RYU_TAKAYANAGI_RHS],
|
|
71
|
+
[15, BE15_COARSENING_LENGTH_SQUARED_RHS],
|
|
72
|
+
[16, BE16_LANDAUER_RHS],
|
|
73
|
+
[17, BE17_SPIN_DENSITY_SQUARED_RHS],
|
|
74
|
+
[18, BE18_HIGGS_MASS_RHS],
|
|
75
|
+
[19, QUANTUM_BOUNCE_RHS],
|
|
76
|
+
[20, BE20_VACUUM_ENERGY_RHS],
|
|
77
|
+
[21, BE21_KSS_RHS],
|
|
78
|
+
[22, BE22_TOPOLOGICAL_ENTANGLEMENT_RHS],
|
|
79
|
+
[23, BE23_SYK_RESISTIVITY_RHS],
|
|
80
|
+
[24, BE24_FRET_EFFICIENCY_RHS],
|
|
81
|
+
[25, BE25_INTRINSIC_INFORMATION_RHS],
|
|
82
|
+
[26, DNA_TUNNELING_RHS],
|
|
83
|
+
[27, BE27_TEFF_RHS],
|
|
84
|
+
[28, BE28_ENTROPY_PRODUCTION_RHS],
|
|
85
|
+
[29, BE29_JARZYNSKI_RHS],
|
|
86
|
+
[30, BE30_FLM_RHS],
|
|
87
|
+
[31, BE31_CAUSAL_SET_BD_RHS],
|
|
88
|
+
[32, BE32_QRF_OVERLAP_RHS],
|
|
89
|
+
[33, BE33_HERTZ_MILLIS_RHS],
|
|
90
|
+
[34, KIBBLE_ZUREK_RHS],
|
|
91
|
+
[35, BE35_CROSSING_RESIDUAL_RHS],
|
|
92
|
+
[36, BE36_GW_SPEED_RATIO_RHS],
|
|
93
|
+
[37, BE37_SHAPIRO_DELAY_RHS],
|
|
94
|
+
[38, BE38_MOND_FORCE_RHS],
|
|
95
|
+
[39, BE39_BETA_G_RHS],
|
|
96
|
+
[40, BE40_COMPOSITE_HIGGS_RHS],
|
|
97
|
+
[41, SWAMPLAND_RHS],
|
|
98
|
+
[42, BE42_HAWKING_TEMPERATURE_RHS],
|
|
99
|
+
[43, BE43_ER_EPR_RHS],
|
|
100
|
+
[44, BE44_SOFT_HAIR_INTEGRAL_RHS],
|
|
101
|
+
[45, BE45_TCC_RHS],
|
|
102
|
+
[46, BE46_ANTHROPIC_PROBABILITY_RHS],
|
|
103
|
+
[47, BBN_DARK_RHS],
|
|
104
|
+
[48, BE48_GRW_LOCALIZATION_RHS],
|
|
105
|
+
[49, BE49_QUANTUM_DARWINISM_RHS],
|
|
106
|
+
[50, BE50_TIME_SYMMETRY_RESIDUAL_RHS],
|
|
107
|
+
[53, BE53_BETA_G_RHS],
|
|
108
|
+
[54, BRANE_FRIEDMANN_RHS],
|
|
109
|
+
]);
|
|
110
|
+
/**
|
|
111
|
+
* Parse a bridge id given as a number, `'42'`, or `'BE-42'` (case-insensitive,
|
|
112
|
+
* optional `BE`/`BE-` prefix) into its numeric form. Throws on an unparseable id.
|
|
113
|
+
*/
|
|
114
|
+
export function parseBridgeId(bridgeId) {
|
|
115
|
+
if (typeof bridgeId === 'number')
|
|
116
|
+
return bridgeId;
|
|
117
|
+
const m = /^\s*(?:BE[-\s]?)?(\d+)\s*$/i.exec(bridgeId);
|
|
118
|
+
if (!m) {
|
|
119
|
+
throw new TypeError(`rhs-registry: cannot parse bridge id '${bridgeId}' — expected a number, '42', or 'BE-42'.`);
|
|
120
|
+
}
|
|
121
|
+
return Number(m[1]);
|
|
122
|
+
}
|
|
123
|
+
//# sourceMappingURL=rhs-registry.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rhs-registry.js","sourceRoot":"","sources":["../../src/bridges/rhs-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAIH,OAAO,EAAE,oBAAoB,EAAE,MAAM,yCAAyC,CAAC;AAC/E,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,kCAAkC,EAAE,MAAM,gCAAgC,CAAC;AACpF,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,6BAA6B,EAAE,MAAM,sCAAsC,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC9D,OAAO,EAAE,iCAAiC,EAAE,MAAM,+CAA+C,CAAC;AAClG,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,4CAA4C,CAAC;AAC3E,OAAO,EAAE,2BAA2B,EAAE,MAAM,iDAAiD,CAAC;AAC9F,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8CAA8C,CAAC;AACpF,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AACzE,OAAO,EAAE,wBAAwB,EAAE,MAAM,sCAAsC,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AACxF,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EAAE,+BAA+B,EAAE,MAAM,sCAAsC,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AAEjF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAkC,IAAI,GAAG,CAAmB;IACvF,CAAC,EAAE,EAAE,oBAAoB,CAAC;IAC1B,CAAC,EAAE,EAAE,yBAAyB,CAAC;IAC/B,CAAC,EAAE,EAAE,uBAAuB,CAAC;IAC7B,CAAC,EAAE,EAAE,kBAAkB,CAAC;IACxB,CAAC,EAAE,EAAE,kCAAkC,CAAC;IACxC,CAAC,EAAE,EAAE,iBAAiB,CAAC;IACvB,CAAC,EAAE,EAAE,6BAA6B,CAAC;IACnC,CAAC,EAAE,EAAE,mBAAmB,CAAC;IACzB,CAAC,EAAE,EAAE,kBAAkB,CAAC;IACxB,CAAC,EAAE,EAAE,sBAAsB,CAAC;IAC5B,CAAC,EAAE,EAAE,YAAY,CAAC;IAClB,CAAC,EAAE,EAAE,iCAAiC,CAAC;IACvC,CAAC,EAAE,EAAE,wBAAwB,CAAC;IAC9B,CAAC,EAAE,EAAE,wBAAwB,CAAC;IAC9B,CAAC,EAAE,EAAE,8BAA8B,CAAC;IACpC,CAAC,EAAE,EAAE,iBAAiB,CAAC;IACvB,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,2BAA2B,CAAC;IACjC,CAAC,EAAE,EAAE,kBAAkB,CAAC;IACxB,CAAC,EAAE,EAAE,YAAY,CAAC;IAClB,CAAC,EAAE,EAAE,sBAAsB,CAAC;IAC5B,CAAC,EAAE,EAAE,oBAAoB,CAAC;IAC1B,CAAC,EAAE,EAAE,qBAAqB,CAAC;IAC3B,CAAC,EAAE,EAAE,gBAAgB,CAAC;IACtB,CAAC,EAAE,EAAE,0BAA0B,CAAC;IAChC,CAAC,EAAE,EAAE,uBAAuB,CAAC;IAC7B,CAAC,EAAE,EAAE,sBAAsB,CAAC;IAC5B,CAAC,EAAE,EAAE,mBAAmB,CAAC;IACzB,CAAC,EAAE,EAAE,eAAe,CAAC;IACrB,CAAC,EAAE,EAAE,wBAAwB,CAAC;IAC9B,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,4BAA4B,CAAC;IAClC,CAAC,EAAE,EAAE,eAAe,CAAC;IACrB,CAAC,EAAE,EAAE,2BAA2B,CAAC;IACjC,CAAC,EAAE,EAAE,YAAY,CAAC;IAClB,CAAC,EAAE,EAAE,8BAA8B,CAAC;IACpC,CAAC,EAAE,EAAE,YAAY,CAAC;IAClB,CAAC,EAAE,EAAE,yBAAyB,CAAC;IAC/B,CAAC,EAAE,EAAE,0BAA0B,CAAC;IAChC,CAAC,EAAE,EAAE,+BAA+B,CAAC;IACrC,CAAC,EAAE,EAAE,eAAe,CAAC;IACrB,CAAC,EAAE,EAAE,mBAAmB,CAAC;CAC1B,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,QAAyB;IACrD,IAAI,OAAO,QAAQ,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAClD,MAAM,CAAC,GAAG,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvD,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,SAAS,CACjB,yCAAyC,QAAQ,0CAA0C,CAC5F,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC"}
|
|
@@ -0,0 +1,71 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Exact bridge-gradients via reverse-mode AD over the symbolic RHS AST.
|
|
3
|
+
*
|
|
4
|
+
* The catalog's plain-JS evaluators cannot be differentiated by AD (they run
|
|
5
|
+
* raw `Math.*` arithmetic; see `bridge-gradient.ts`), and `bridgeGradient`'s
|
|
6
|
+
* engine path detaches them. But each bridge also carries a faithful symbolic
|
|
7
|
+
* encoding of its RHS (`*_RHS: ExprNode`). This module lowers that scalar AST
|
|
8
|
+
* through `@danielsimonjr/mathts-autograd`'s `TapedTensor` ops — binding the
|
|
9
|
+
* chosen variable to a traced input and every other symbol to a constant tape
|
|
10
|
+
* leaf — so `reverseGrad` returns the EXACT derivative (machine precision), with
|
|
11
|
+
* the plain-JS evaluators left untouched (P8 Decision #1).
|
|
12
|
+
*
|
|
13
|
+
* Scope: the dimensional scalar grammar is `symbol` + `op(+ − * / ^)` (the
|
|
14
|
+
* transcendentals of a bridge are absorbed into typed-stub *symbols*, so they
|
|
15
|
+
* appear as opaque constants here). A bridge encoded with a typed stub therefore
|
|
16
|
+
* differentiates with respect to the stub, not the physics inside it — faithful,
|
|
17
|
+
* fully-expanded encodings (e.g. BE-42 `ℏc³/(8πGM·k_B)`) differentiate exactly.
|
|
18
|
+
* `^` exponents must be constant (the differentiation variable may not appear in
|
|
19
|
+
* an exponent).
|
|
20
|
+
*
|
|
21
|
+
* Requires the optional `@danielsimonjr/mathts-autograd` peer; throws
|
|
22
|
+
* `EngineCapabilityError` when it is absent (same graceful-degradation contract
|
|
23
|
+
* as `bridgeGradient`).
|
|
24
|
+
*
|
|
25
|
+
* @module diff/bridge-ast-gradient
|
|
26
|
+
*/
|
|
27
|
+
import type { ExprNode } from '../dimensional/validator.js';
|
|
28
|
+
/**
|
|
29
|
+
* Result of {@link bridgeGradientAST}: the bridge's scalar `value` at the
|
|
30
|
+
* supplied point and the exact `gradient` d(value)/d(varName).
|
|
31
|
+
*
|
|
32
|
+
* @public
|
|
33
|
+
*/
|
|
34
|
+
export interface ASTGradientResult {
|
|
35
|
+
readonly value: number;
|
|
36
|
+
readonly gradient: number;
|
|
37
|
+
}
|
|
38
|
+
/**
|
|
39
|
+
* Differentiate a scalar bridge RHS AST with respect to one symbol via
|
|
40
|
+
* reverse-mode AD. Every symbol other than `varName` is resolved to a constant
|
|
41
|
+
* (caller `bindings`, then {@link NAMED_CONSTANTS}, then numeric literal); the
|
|
42
|
+
* `bindings` must contain `varName` (its value sets the point of evaluation).
|
|
43
|
+
*
|
|
44
|
+
* @public
|
|
45
|
+
*/
|
|
46
|
+
export declare function bridgeGradientAST(rhs: ExprNode, varName: string, bindings: Record<string, number>): Promise<ASTGradientResult>;
|
|
47
|
+
/**
|
|
48
|
+
* Convenience wrapper around {@link bridgeGradientAST} that looks the RHS AST up
|
|
49
|
+
* by catalog bridge id. `bridgeId` accepts a number, `'42'`, or `'BE-42'`.
|
|
50
|
+
*
|
|
51
|
+
* Throws if the id has no encoded RHS in {@link BRIDGE_RHS_BY_ID} (e.g. BE-51/52,
|
|
52
|
+
* which are closed-form evaluators without an AST). If the bridge's RHS is not in
|
|
53
|
+
* the differentiable scalar grammar (a tensor/integral/curvature encoding), the
|
|
54
|
+
* delegated `bridgeGradientAST` throws the "unsupported node kind" error — use
|
|
55
|
+
* {@link astDifferentiableBridgeIds} to discover which ids are AD-eligible.
|
|
56
|
+
*
|
|
57
|
+
* @public
|
|
58
|
+
*/
|
|
59
|
+
export declare function bridgeGradientASTById(bridgeId: number | string, varName: string, bindings: Record<string, number>): Promise<ASTGradientResult>;
|
|
60
|
+
/**
|
|
61
|
+
* The catalog bridge ids whose encoded RHS lies entirely in the differentiable
|
|
62
|
+
* scalar grammar — i.e. those `bridgeGradientASTById` can differentiate exactly.
|
|
63
|
+
* Bridges encoded with tensor/integral/curvature nodes (or whose physics is
|
|
64
|
+
* hidden behind a typed-stub symbol) are excluded from EXACT differentiation
|
|
65
|
+
* (a stub still differentiates w.r.t. the stub symbol, but not the physics
|
|
66
|
+
* inside it). Returned sorted ascending.
|
|
67
|
+
*
|
|
68
|
+
* @public
|
|
69
|
+
*/
|
|
70
|
+
export declare function astDifferentiableBridgeIds(): number[];
|
|
71
|
+
//# sourceMappingURL=bridge-ast-gradient.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"bridge-ast-gradient.d.ts","sourceRoot":"","sources":["../../src/diff/bridge-ast-gradient.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAK5D;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AA0FD;;;;;;;GAOG;AACH,wBAAsB,iBAAiB,CACrC,GAAG,EAAE,QAAQ,EACb,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC/B,OAAO,CAAC,iBAAiB,CAAC,CAyE5B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,MAAM,GAAG,MAAM,EACzB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC/B,OAAO,CAAC,iBAAiB,CAAC,CAU5B;AAYD;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,IAAI,MAAM,EAAE,CAMrD"}
|
|
@@ -0,0 +1,189 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Exact bridge-gradients via reverse-mode AD over the symbolic RHS AST.
|
|
3
|
+
*
|
|
4
|
+
* The catalog's plain-JS evaluators cannot be differentiated by AD (they run
|
|
5
|
+
* raw `Math.*` arithmetic; see `bridge-gradient.ts`), and `bridgeGradient`'s
|
|
6
|
+
* engine path detaches them. But each bridge also carries a faithful symbolic
|
|
7
|
+
* encoding of its RHS (`*_RHS: ExprNode`). This module lowers that scalar AST
|
|
8
|
+
* through `@danielsimonjr/mathts-autograd`'s `TapedTensor` ops — binding the
|
|
9
|
+
* chosen variable to a traced input and every other symbol to a constant tape
|
|
10
|
+
* leaf — so `reverseGrad` returns the EXACT derivative (machine precision), with
|
|
11
|
+
* the plain-JS evaluators left untouched (P8 Decision #1).
|
|
12
|
+
*
|
|
13
|
+
* Scope: the dimensional scalar grammar is `symbol` + `op(+ − * / ^)` (the
|
|
14
|
+
* transcendentals of a bridge are absorbed into typed-stub *symbols*, so they
|
|
15
|
+
* appear as opaque constants here). A bridge encoded with a typed stub therefore
|
|
16
|
+
* differentiates with respect to the stub, not the physics inside it — faithful,
|
|
17
|
+
* fully-expanded encodings (e.g. BE-42 `ℏc³/(8πGM·k_B)`) differentiate exactly.
|
|
18
|
+
* `^` exponents must be constant (the differentiation variable may not appear in
|
|
19
|
+
* an exponent).
|
|
20
|
+
*
|
|
21
|
+
* Requires the optional `@danielsimonjr/mathts-autograd` peer; throws
|
|
22
|
+
* `EngineCapabilityError` when it is absent (same graceful-degradation contract
|
|
23
|
+
* as `bridgeGradient`).
|
|
24
|
+
*
|
|
25
|
+
* @module diff/bridge-ast-gradient
|
|
26
|
+
*/
|
|
27
|
+
import { PhysicalConstants } from '../core/types.js';
|
|
28
|
+
import { EngineCapabilityError } from '../numerical/errors.js';
|
|
29
|
+
import { BRIDGE_RHS_BY_ID, parseBridgeId } from '../bridges/rhs-registry.js';
|
|
30
|
+
/**
|
|
31
|
+
* Named physical constants the bridge encodings reference as bare symbols.
|
|
32
|
+
* Sourced from `PhysicalConstants` so a traced AST evaluates to the SAME number
|
|
33
|
+
* as the corresponding hand-written evaluator. Callers can override or extend
|
|
34
|
+
* via the `bindings` argument.
|
|
35
|
+
*/
|
|
36
|
+
const NAMED_CONSTANTS = {
|
|
37
|
+
hbar: PhysicalConstants.hbar,
|
|
38
|
+
c: PhysicalConstants.c,
|
|
39
|
+
G: PhysicalConstants.G,
|
|
40
|
+
k_B: PhysicalConstants.kB,
|
|
41
|
+
kB: PhysicalConstants.kB,
|
|
42
|
+
pi: Math.PI,
|
|
43
|
+
'2pi': 2 * Math.PI,
|
|
44
|
+
'4pi': 4 * Math.PI,
|
|
45
|
+
'8pi': 8 * Math.PI,
|
|
46
|
+
};
|
|
47
|
+
/** Resolve a symbol's numeric value: caller bindings → named constants → numeric literal. */
|
|
48
|
+
function resolveConstant(name, bindings) {
|
|
49
|
+
if (Object.prototype.hasOwnProperty.call(bindings, name))
|
|
50
|
+
return bindings[name];
|
|
51
|
+
if (Object.prototype.hasOwnProperty.call(NAMED_CONSTANTS, name))
|
|
52
|
+
return NAMED_CONSTANTS[name];
|
|
53
|
+
const asNumber = Number(name);
|
|
54
|
+
if (name.trim() !== '' && Number.isFinite(asNumber))
|
|
55
|
+
return asNumber;
|
|
56
|
+
throw new TypeError(`bridgeGradientAST: unknown symbol '${name}' — not a binding, a named constant ` +
|
|
57
|
+
`(${Object.keys(NAMED_CONSTANTS).join(', ')}), or a numeric literal. Supply it in bindings.`);
|
|
58
|
+
}
|
|
59
|
+
/** Resolve a `^` exponent to a constant number; reject the differentiation variable. */
|
|
60
|
+
function resolveExponent(node, varName, bindings) {
|
|
61
|
+
if (node.kind === 'symbol') {
|
|
62
|
+
if (node.name === varName) {
|
|
63
|
+
throw new TypeError(`bridgeGradientAST: differentiation variable '${varName}' appears as an exponent — ` +
|
|
64
|
+
`variable exponents are not supported (only constant powers).`);
|
|
65
|
+
}
|
|
66
|
+
return resolveConstant(node.name, bindings);
|
|
67
|
+
}
|
|
68
|
+
throw new TypeError(`bridgeGradientAST: '^' exponent must be a constant symbol, got node kind '${node.kind}'.`);
|
|
69
|
+
}
|
|
70
|
+
/**
|
|
71
|
+
* Differentiate a scalar bridge RHS AST with respect to one symbol via
|
|
72
|
+
* reverse-mode AD. Every symbol other than `varName` is resolved to a constant
|
|
73
|
+
* (caller `bindings`, then {@link NAMED_CONSTANTS}, then numeric literal); the
|
|
74
|
+
* `bindings` must contain `varName` (its value sets the point of evaluation).
|
|
75
|
+
*
|
|
76
|
+
* @public
|
|
77
|
+
*/
|
|
78
|
+
export async function bridgeGradientAST(rhs, varName, bindings) {
|
|
79
|
+
if (!Object.prototype.hasOwnProperty.call(bindings, varName)) {
|
|
80
|
+
throw new TypeError(`bridgeGradientAST: bindings must contain the differentiation variable '${varName}'.`);
|
|
81
|
+
}
|
|
82
|
+
let autograd;
|
|
83
|
+
let tensorMod;
|
|
84
|
+
try {
|
|
85
|
+
autograd =
|
|
86
|
+
(await import('@danielsimonjr/mathts-autograd'));
|
|
87
|
+
tensorMod =
|
|
88
|
+
(await import('@danielsimonjr/mathts-tensor'));
|
|
89
|
+
}
|
|
90
|
+
catch {
|
|
91
|
+
throw new EngineCapabilityError('mathts-autograd', 'reverseGrad');
|
|
92
|
+
}
|
|
93
|
+
const { reverseGrad, TapedTensor } = autograd;
|
|
94
|
+
const { Tensor } = tensorMod;
|
|
95
|
+
// Build the (traced var) → scalar function reverseGrad expects. `x` arrives as
|
|
96
|
+
// a TapedTensor; constants become extra tape leaves (their gradients are
|
|
97
|
+
// computed and ignored — only `x`'s gradient is returned).
|
|
98
|
+
const fn = (x) => {
|
|
99
|
+
const constLeaf = (v) => TapedTensor.fromTensorAsInput(Tensor.fromNested(v, []), x.tape);
|
|
100
|
+
const walk = (node) => {
|
|
101
|
+
if (node.kind === 'symbol') {
|
|
102
|
+
return node.name === varName
|
|
103
|
+
? x
|
|
104
|
+
: constLeaf(resolveConstant(node.name, bindings));
|
|
105
|
+
}
|
|
106
|
+
if (node.kind === 'op') {
|
|
107
|
+
switch (node.op) {
|
|
108
|
+
case '+':
|
|
109
|
+
return node.args.map(walk).reduce((a, b) => a.add(b));
|
|
110
|
+
case '-': {
|
|
111
|
+
const terms = node.args.map(walk);
|
|
112
|
+
// Unary minus (0 − t); n-ary subtract folds left.
|
|
113
|
+
return terms.length === 1
|
|
114
|
+
? constLeaf(0).sub(terms[0])
|
|
115
|
+
: terms.reduce((a, b) => a.sub(b));
|
|
116
|
+
}
|
|
117
|
+
case '*':
|
|
118
|
+
return node.args.map(walk).reduce((a, b) => a.mul(b));
|
|
119
|
+
case '/':
|
|
120
|
+
return node.args.map(walk).reduce((a, b) => a.divide(b));
|
|
121
|
+
case '^':
|
|
122
|
+
return walk(node.args[0]).pow(resolveExponent(node.args[1], varName, bindings));
|
|
123
|
+
default:
|
|
124
|
+
throw new TypeError(`bridgeGradientAST: unsupported operator '${node.op}'.`);
|
|
125
|
+
}
|
|
126
|
+
}
|
|
127
|
+
throw new TypeError(`bridgeGradientAST: unsupported node kind '${node.kind}' — the scalar grammar is ` +
|
|
128
|
+
`symbol + op(+ − * / ^). Transcendental bridges encode stubs as symbols.`);
|
|
129
|
+
};
|
|
130
|
+
return walk(rhs);
|
|
131
|
+
};
|
|
132
|
+
const xLeaf = Tensor.fromNested(bindings[varName], []);
|
|
133
|
+
const { value, gradient } = reverseGrad(fn, xLeaf);
|
|
134
|
+
return {
|
|
135
|
+
value: value.toNested(),
|
|
136
|
+
gradient: gradient.toNested(),
|
|
137
|
+
};
|
|
138
|
+
}
|
|
139
|
+
/**
|
|
140
|
+
* Convenience wrapper around {@link bridgeGradientAST} that looks the RHS AST up
|
|
141
|
+
* by catalog bridge id. `bridgeId` accepts a number, `'42'`, or `'BE-42'`.
|
|
142
|
+
*
|
|
143
|
+
* Throws if the id has no encoded RHS in {@link BRIDGE_RHS_BY_ID} (e.g. BE-51/52,
|
|
144
|
+
* which are closed-form evaluators without an AST). If the bridge's RHS is not in
|
|
145
|
+
* the differentiable scalar grammar (a tensor/integral/curvature encoding), the
|
|
146
|
+
* delegated `bridgeGradientAST` throws the "unsupported node kind" error — use
|
|
147
|
+
* {@link astDifferentiableBridgeIds} to discover which ids are AD-eligible.
|
|
148
|
+
*
|
|
149
|
+
* @public
|
|
150
|
+
*/
|
|
151
|
+
export function bridgeGradientASTById(bridgeId, varName, bindings) {
|
|
152
|
+
const id = parseBridgeId(bridgeId);
|
|
153
|
+
const rhs = BRIDGE_RHS_BY_ID.get(id);
|
|
154
|
+
if (rhs === undefined) {
|
|
155
|
+
throw new TypeError(`bridgeGradientASTById: BE-${id} has no encoded RHS AST in the registry ` +
|
|
156
|
+
`(BE-51/52 are closed-form; only ids ${[...BRIDGE_RHS_BY_ID.keys()].length} bridges are encoded).`);
|
|
157
|
+
}
|
|
158
|
+
return bridgeGradientAST(rhs, varName, bindings);
|
|
159
|
+
}
|
|
160
|
+
/** Whether an AST consists solely of the differentiable scalar grammar (symbol + op(+ − * / ^)). */
|
|
161
|
+
function isDifferentiableScalarAST(node) {
|
|
162
|
+
if (node.kind === 'symbol')
|
|
163
|
+
return true;
|
|
164
|
+
if (node.kind === 'op') {
|
|
165
|
+
if (!['+', '-', '*', '/', '^'].includes(node.op))
|
|
166
|
+
return false;
|
|
167
|
+
return node.args.every(isDifferentiableScalarAST);
|
|
168
|
+
}
|
|
169
|
+
return false;
|
|
170
|
+
}
|
|
171
|
+
/**
|
|
172
|
+
* The catalog bridge ids whose encoded RHS lies entirely in the differentiable
|
|
173
|
+
* scalar grammar — i.e. those `bridgeGradientASTById` can differentiate exactly.
|
|
174
|
+
* Bridges encoded with tensor/integral/curvature nodes (or whose physics is
|
|
175
|
+
* hidden behind a typed-stub symbol) are excluded from EXACT differentiation
|
|
176
|
+
* (a stub still differentiates w.r.t. the stub symbol, but not the physics
|
|
177
|
+
* inside it). Returned sorted ascending.
|
|
178
|
+
*
|
|
179
|
+
* @public
|
|
180
|
+
*/
|
|
181
|
+
export function astDifferentiableBridgeIds() {
|
|
182
|
+
const ids = [];
|
|
183
|
+
for (const [id, rhs] of BRIDGE_RHS_BY_ID) {
|
|
184
|
+
if (isDifferentiableScalarAST(rhs))
|
|
185
|
+
ids.push(id);
|
|
186
|
+
}
|
|
187
|
+
return ids.sort((a, b) => a - b);
|
|
188
|
+
}
|
|
189
|
+
//# sourceMappingURL=bridge-ast-gradient.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"bridge-ast-gradient.js","sourceRoot":"","sources":["../../src/diff/bridge-ast-gradient.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AA8C7E;;;;;GAKG;AACH,MAAM,eAAe,GAAqC;IACxD,IAAI,EAAE,iBAAiB,CAAC,IAAI;IAC5B,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACtB,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACtB,GAAG,EAAE,iBAAiB,CAAC,EAAE;IACzB,EAAE,EAAE,iBAAiB,CAAC,EAAE;IACxB,EAAE,EAAE,IAAI,CAAC,EAAE;IACX,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;IAClB,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;IAClB,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;CACnB,CAAC;AAEF,6FAA6F;AAC7F,SAAS,eAAe,CACtB,IAAY,EACZ,QAAgC;IAEhC,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;QACtD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC;QAC7D,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IACrE,MAAM,IAAI,SAAS,CACjB,sCAAsC,IAAI,sCAAsC;QAC9E,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,iDAAiD,CAC/F,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,SAAS,eAAe,CACtB,IAAc,EACd,OAAe,EACf,QAAgC;IAEhC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,SAAS,CACjB,gDAAgD,OAAO,6BAA6B;gBAClF,8DAA8D,CACjE,CAAC;QACJ,CAAC;QACD,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,IAAI,SAAS,CACjB,6EAA6E,IAAI,CAAC,IAAI,IAAI,CAC3F,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,GAAa,EACb,OAAe,EACf,QAAgC;IAEhC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,SAAS,CACjB,0EAA0E,OAAO,IAAI,CACtF,CAAC;IACJ,CAAC;IAED,IAAI,QAA4B,CAAC;IACjC,IAAI,SAA2B,CAAC;IAChC,IAAI,CAAC;QACH,QAAQ;YACN,CAAC,MAAM,MAAM,CAAC,gCAAgC,CAAC,CAAkC,CAAC;QACpF,SAAS;YACP,CAAC,MAAM,MAAM,CAAC,8BAA8B,CAAC,CAAgC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,qBAAqB,CAAC,iBAAiB,EAAE,aAAa,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC;IAC9C,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAE7B,+EAA+E;IAC/E,yEAAyE;IACzE,2DAA2D;IAC3D,MAAM,EAAE,GAAG,CAAC,CAAc,EAAe,EAAE;QACzC,MAAM,SAAS,GAAG,CAAC,CAAS,EAAe,EAAE,CAC3C,WAAW,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAElE,MAAM,IAAI,GAAG,CAAC,IAAc,EAAe,EAAE;YAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC3B,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO;oBAC1B,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACvB,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;oBAChB,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBACxD,KAAK,GAAG,CAAC,CAAC,CAAC;wBACT,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBAClC,kDAAkD;wBAClD,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;4BACvB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;4BAC5B,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBACvC,CAAC;oBACD,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBACxD,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC3D,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAC3B,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CACjD,CAAC;oBACJ;wBACE,MAAM,IAAI,SAAS,CACjB,4CAA4C,IAAI,CAAC,EAAE,IAAI,CACxD,CAAC;gBACN,CAAC;YACH,CAAC;YACD,MAAM,IAAI,SAAS,CACjB,6CAA6C,IAAI,CAAC,IAAI,4BAA4B;gBAChF,yEAAyE,CAC5E,CAAC;QACJ,CAAC,CAAC;QAEF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACnD,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAY;QACjC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAY;KACxC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAyB,EACzB,OAAe,EACf,QAAgC;IAEhC,MAAM,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,SAAS,CACjB,6BAA6B,EAAE,0CAA0C;YACvE,uCAAuC,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,wBAAwB,CACrG,CAAC;IACJ,CAAC;IACD,OAAO,iBAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED,oGAAoG;AACpG,SAAS,yBAAyB,CAAC,IAAc;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/D,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B;IACxC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACzC,IAAI,yBAAyB,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACnC,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -26,6 +26,8 @@ import './core/regime-rule-install.js';
|
|
|
26
26
|
import './core/regimes-builtins.js';
|
|
27
27
|
export type { BridgeDiffSpec, BridgeGradientResult, BridgeNumericalGradientResult, } from './diff/bridge-gradient.js';
|
|
28
28
|
export { bridgeGradient, bridgeGradientNumerical, gradientToNamed, } from './diff/bridge-gradient.js';
|
|
29
|
+
export type { ASTGradientResult } from './diff/bridge-ast-gradient.js';
|
|
30
|
+
export { bridgeGradientAST, bridgeGradientASTById, astDifferentiableBridgeIds, } from './diff/bridge-ast-gradient.js';
|
|
29
31
|
export { BE37_SHAPIRO_DIFF, BE52_PERIHELION_DIFF, BE42_HAWKING_DIFF, BE11_DECOHERENCE_DIFF, DIFFERENTIABLE_BRIDGE_SPECS, } from './diff/bridge-specs.js';
|
|
30
32
|
export { BRIDGE_EQUATIONS } from './bridges/index.js';
|
|
31
33
|
export type { BridgeEquationEntry, BridgeEquationStatus, BridgeIssueSeverity, BridgeIssueFixable, KnownIssue, } from './bridges/index.js';
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAInD,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK,EAEL,QAAQ,EAER,MAAM,GACP,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,aAAa,EACb,KAAK,EACL,QAAQ,EACR,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAMpD,YAAY,EACV,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,OAAO,EACP,UAAU,EACV,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAKzC,YAAY,EACV,cAAc,EACd,UAAU,GACX,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,YAAY,EACV,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAKtC,YAAY,EACV,QAAQ,EACR,cAAc,EACd,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,YAAY,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,8BAA8B,EAC9B,iBAAiB,EACjB,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC;AAKlC,YAAY,EACV,gBAAgB,EAChB,eAAe,EACf,UAAU,GACX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,+BAA+B,CAAC;AAEvC,OAAO,4BAA4B,CAAC;AAOpC,YAAY,EACV,cAAc,EACd,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,eAAe,GAChB,MAAM,2BAA2B,CAAC;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAInD,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK,EAEL,QAAQ,EAER,MAAM,GACP,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,aAAa,EACb,KAAK,EACL,QAAQ,EACR,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAMpD,YAAY,EACV,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,OAAO,EACP,UAAU,EACV,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAKzC,YAAY,EACV,cAAc,EACd,UAAU,GACX,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,YAAY,EACV,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAKtC,YAAY,EACV,QAAQ,EACR,cAAc,EACd,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,YAAY,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,8BAA8B,EAC9B,iBAAiB,EACjB,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC;AAKlC,YAAY,EACV,gBAAgB,EAChB,eAAe,EACf,UAAU,GACX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,+BAA+B,CAAC;AAEvC,OAAO,4BAA4B,CAAC;AAOpC,YAAY,EACV,cAAc,EACd,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,eAAe,GAChB,MAAM,2BAA2B,CAAC;AAGnC,YAAY,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAOhC,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,UAAU,GACX,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,EAC/B,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,oBAAoB,CAAC;AAM5B,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAMhE,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAK1E,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAOlE,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,YAAY,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAKrE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAQtE,OAAO,EACL,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EACL,iBAAiB,EACjB,KAAK,wBAAwB,EAC7B,KAAK,wBAAwB,GAC9B,MAAM,oCAAoC,CAAC;AAM5C,OAAO,EACL,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AAOpC,YAAY,EACV,kBAAkB,EAClB,eAAe,EACf,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEpE,YAAY,EACV,gBAAgB,EAChB,qBAAqB,EACrB,iCAAiC,GAClC,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAEhF,YAAY,EACV,cAAc,EACd,gBAAgB,EAChB,4BAA4B,GAC7B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAEhG,YAAY,EACV,WAAW,EACX,cAAc,EACd,yBAAyB,EACzB,qCAAqC,GACtC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAEjG,YAAY,EACV,eAAe,EACf,uBAAuB,EACvB,mCAAmC,GACpC,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAMrF,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACxF,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAQxE,OAAO,EACL,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,6BAA6B,EAC7B,aAAa,EACb,IAAI,GACL,MAAM,kCAAkC,CAAC;AAM1C,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AACnF,YAAY,EACV,yBAAyB,EACzB,qCAAqC,GACtC,MAAM,oCAAoC,CAAC;AAK5C,YAAY,EACV,qBAAqB,EACrB,iCAAiC,GAClC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAIlF,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAQhE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACtB,eAAe,EACf,eAAe,EACf,qBAAqB,EAErB,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,qCAAqC,EAErC,oBAAoB,EAEpB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,WAAW,EACX,SAAS,EAET,iBAAiB,EACjB,iBAAiB,EAEjB,QAAQ,EACR,WAAW,EACX,UAAU,EAEV,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAO9B,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,aAAa,EACb,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EAEpB,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,EAER,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,UAAU,EACV,cAAc,EACd,cAAc,EACd,QAAQ,EACR,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,GACf,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,EAC7B,mBAAmB,GACpB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,aAAa,EACb,yBAAyB,EACzB,0BAA0B,GAC3B,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EACL,YAAY,EACZ,QAAQ,GACT,MAAM,0CAA0C,CAAC;AAClD,YAAY,EACV,uBAAuB,EACvB,kBAAkB,GACnB,MAAM,0CAA0C,CAAC;AAGlD,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAKhC,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAClE,YAAY,EACV,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,YAAY,EACV,qBAAqB,EACrB,cAAc,EACd,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAKhC,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AACtG,YAAY,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAEjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AACvF,YAAY,EAAE,gCAAgC,EAAE,MAAM,0CAA0C,CAAC;AAKjG,OAAO,EACL,YAAY,EACZ,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,mBAAmB,EACnB,OAAO,EACP,iBAAiB,EACjB,gBAAgB,EAChB,8BAA8B,GAC/B,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,yBAAyB,EACzB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,YAAY,EACZ,2BAA2B,EAC3B,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,2CAA2C,CAAC;AACnD,YAAY,EACV,uBAAuB,EACvB,gCAAgC,EAChC,oBAAoB,GACrB,MAAM,2CAA2C,CAAC;AAInD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAI5D,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC"}
|
package/dist/index.js
CHANGED
|
@@ -27,6 +27,7 @@ import './core/regime-rule-install.js';
|
|
|
27
27
|
// Phase 2 side-effect: pre-registers the 18 built-in regimes.
|
|
28
28
|
import './core/regimes-builtins.js';
|
|
29
29
|
export { bridgeGradient, bridgeGradientNumerical, gradientToNamed, } from './diff/bridge-gradient.js';
|
|
30
|
+
export { bridgeGradientAST, bridgeGradientASTById, astDifferentiableBridgeIds, } from './diff/bridge-ast-gradient.js';
|
|
30
31
|
export { BE37_SHAPIRO_DIFF, BE52_PERIHELION_DIFF, BE42_HAWKING_DIFF, BE11_DECOHERENCE_DIFF, DIFFERENTIABLE_BRIDGE_SPECS, } from './diff/bridge-specs.js';
|
|
31
32
|
// Machine-readable bridge equation index — the 40+ catalogued equations.
|
|
32
33
|
// `BridgeEquationEntry` is intentionally a different shape from the runtime
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,qEAAqE;AACrE,2EAA2E;AAC3E,6EAA6E;AAC7E,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK;AACL,iEAAiE;AACjE,QAAQ;AACR,sDAAsD;AACtD,MAAM,GACP,MAAM,qBAAqB,CAAC;AAY7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAcpD,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AASzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK1D,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAWtC,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEtD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,8BAA8B,EAC9B,iBAAiB,EACjB,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC;AAUlC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AACnC,oEAAoE;AACpE,OAAO,+BAA+B,CAAC;AACvC,8DAA8D;AAC9D,OAAO,4BAA4B,CAAC;AAYpC,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,eAAe,GAChB,MAAM,2BAA2B,CAAC;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,qEAAqE;AACrE,2EAA2E;AAC3E,6EAA6E;AAC7E,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK;AACL,iEAAiE;AACjE,QAAQ;AACR,sDAAsD;AACtD,MAAM,GACP,MAAM,qBAAqB,CAAC;AAY7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAcpD,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AASzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK1D,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAWtC,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEtD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,8BAA8B,EAC9B,iBAAiB,EACjB,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC;AAUlC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AACnC,oEAAoE;AACpE,OAAO,+BAA+B,CAAC;AACvC,8DAA8D;AAC9D,OAAO,4BAA4B,CAAC;AAYpC,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,eAAe,GAChB,MAAM,2BAA2B,CAAC;AAInC,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAEhC,yEAAyE;AACzE,4EAA4E;AAC5E,2EAA2E;AAC3E,2EAA2E;AAC3E,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAStD,8EAA8E;AAC9E,OAAO,EACL,4BAA4B,EAG5B,4BAA4B,GAG7B,MAAM,oBAAoB,CAAC;AAE5B,iFAAiF;AACjF,2EAA2E;AAC3E,0DAA0D;AAC1D,kFAAkF;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,iCAAiC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAK1D,4EAA4E;AAC5E,sEAAsE;AACtE,sDAAsD;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAGnD,4EAA4E;AAC5E,sEAAsE;AACtE,mEAAmE;AACnE,yEAAyE;AACzE,0CAA0C;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAGtD,kFAAkF;AAClF,mFAAmF;AACnF,4DAA4D;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAG7D,wDAAwD;AACxD,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,OAAO,EACL,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAMhC,uEAAuE;AACvE,OAAO,EACL,iBAAiB,GAGlB,MAAM,oCAAoC,CAAC;AAE5C,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,6EAA6E;AAC7E,OAAO,EACL,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AAapC,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAOpE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAOhF,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAQhG,OAAO,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAOjG,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAOrF,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAExE,mEAAmE;AACnE,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,8EAA8E;AAC9E,mDAAmD;AACnD,OAAO,EACL,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAO1C,iFAAiF;AACjF,iFAAiF;AACjF,4EAA4E;AAC5E,8CAA8C;AAC9C,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AAanF,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAElF,sEAAsE;AACtE,6EAA6E;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAEhE,8EAA8E;AAC9E,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAC5E,8EAA8E;AAC9E,0EAA0E;AAC1E,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACtB,eAAe,EACf,eAAe,EACf,qBAAqB;AACrB,4CAA4C;AAC5C,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,qCAAqC;AACrC,mCAAmC;AACnC,oBAAoB;AACpB,oCAAoC;AACpC,cAAc,GACf,MAAM,sBAAsB,CAAC;AAuB9B,8EAA8E;AAC9E,0EAA0E;AAC1E,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,aAAa,EACb,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB;AACpB,kEAAkE;AAClE,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ;AACR,4DAA4D;AAC5D,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAWhC,sEAAsE;AACtE,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,EAC7B,mBAAmB,GACpB,MAAM,yBAAyB,CAAC;AAOjC,0DAA0D;AAC1D,OAAO,EACL,YAAY,EACZ,QAAQ,GACT,MAAM,0CAA0C,CAAC;AAMlD,kEAAkE;AAClE,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAOhC,uEAAuE;AACvE,qEAAqE;AACrE,mBAAmB;AACnB,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,wBAAwB,CAAC;AAOhC,sEAAsE;AACtE,yDAAyD;AACzD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AASlE,uEAAuE;AACvE,6DAA6D;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAOzD,0EAA0E;AAC1E,8EAA8E;AAC9E,uCAAuC;AACvC,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAGtG,OAAO,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AAGvF,qEAAqE;AACrE,sEAAsE;AACtE,qDAAqD;AACrD,OAAO,EACL,YAAY,EACZ,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AASrC,0EAA0E;AAC1E,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,kCAAkC,CAAC;AAM1C,6EAA6E;AAC7E,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AAOrC,+EAA+E;AAC/E,OAAO,EACL,YAAY,EACZ,2BAA2B,EAC3B,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,2CAA2C,CAAC;AAOnD,wEAAwE;AACxE,iEAAiE;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE5D,yEAAyE;AACzE,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "universal-physics-tensor",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.17.0",
|
|
4
4
|
"description": "Computational framework for exploring unified physics through tensor formalism",
|
|
5
5
|
"main": "dist/index.js",
|
|
6
6
|
"types": "dist/index.d.ts",
|
|
@@ -78,7 +78,7 @@
|
|
|
78
78
|
"vitest": "^4.1.7"
|
|
79
79
|
},
|
|
80
80
|
"optionalDependencies": {
|
|
81
|
-
"@danielsimonjr/mathts-autograd": "^0.
|
|
81
|
+
"@danielsimonjr/mathts-autograd": "^0.2.0",
|
|
82
82
|
"@danielsimonjr/mathts-core": "^0.1.3",
|
|
83
83
|
"@danielsimonjr/mathts-expression": "^0.2.1",
|
|
84
84
|
"@danielsimonjr/mathts-functions": "^0.2.2",
|