universal-physics-tensor 0.20.0 → 0.21.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.
|
@@ -35,14 +35,24 @@
|
|
|
35
35
|
*/
|
|
36
36
|
import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
|
|
37
37
|
/**
|
|
38
|
-
* Lemma AST: the WKB exponent (2/ℏ) · ∫ √(2m(V−E)) dx,
|
|
39
|
-
*
|
|
38
|
+
* Lemma AST: the WKB exponent (2/ℏ) · ∫_{x₁}^{x₂} √(2m(V−E)) dx, dimensionless.
|
|
39
|
+
*
|
|
40
|
+
* v0.21: the integral carries explicit barrier-endpoint bounds x₁, x₂ (a definite
|
|
41
|
+
* integral) — faithful to this bridge's rectangular-barrier model, since the
|
|
42
|
+
* integrand √(2m(V−E)) is constant in x (V_minus_E is a constant ENERGY symbol,
|
|
43
|
+
* not V(x)), so 16-pt Gauss–Legendre is EXACT and equals √(2m(V−E))·(x₂−x₁).
|
|
44
|
+
* This exposes m, V_minus_E, x₁, x₂ to differentiation (Adam+Eve GREEN). Domain
|
|
45
|
+
* guards (caller's): V_minus_E ≥ 0, m > 0, x₂ ≥ x₁.
|
|
40
46
|
*/
|
|
41
47
|
export declare const DNA_TUNNELING_WKB_ARG: ExprNode;
|
|
42
48
|
/**
|
|
43
|
-
* RHS of the WKB tunneling rate: `ν₀ ·
|
|
44
|
-
*
|
|
45
|
-
*
|
|
49
|
+
* RHS of the WKB tunneling rate: `ν₀ · exp(−WKB) · f`. The Gamow exponential is
|
|
50
|
+
* encoded faithfully (v0.21) as `transcendental(exp, −1 · DNA_TUNNELING_WKB_ARG)`
|
|
51
|
+
* — a definite integral under the exp — so m, V_minus_E, and the barrier
|
|
52
|
+
* endpoints x₁, x₂ are visible to differentiation. `exp` of the DIMENSIONLESS
|
|
53
|
+
* WKB exponent is DIMENSIONLESS, so the round-trip dimensional_signature
|
|
54
|
+
* ([frequency]) is unchanged from the former symbol stub. The f(T, pH, EM)
|
|
55
|
+
* prefactor remains an opaque interpolation stub (no closed form).
|
|
46
56
|
*/
|
|
47
57
|
export declare const DNA_TUNNELING_RHS: ExprNode;
|
|
48
58
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-26-dna-tunneling.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F
|
|
1
|
+
{"version":3,"file":"be-26-dna-tunneling.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;;;;;;;GASG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAkCnC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAc/B,CAAC;AAOF;;GAEG;AACH,UAAU,kBAAkB;IAC1B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,CAAC,EAAE,MAAM,CAAC;IACV,yEAAyE;IACzE,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAkBtE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,8BAA8B,IAAI,yBAAyB,CAE1E"}
|
|
@@ -38,8 +38,14 @@ import { hbar as DIM_hbar } from '../../dimensional/constants.js';
|
|
|
38
38
|
import { PhysicalConstants } from '../../core/types.js';
|
|
39
39
|
import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
|
|
40
40
|
/**
|
|
41
|
-
* Lemma AST: the WKB exponent (2/ℏ) · ∫ √(2m(V−E)) dx,
|
|
42
|
-
*
|
|
41
|
+
* Lemma AST: the WKB exponent (2/ℏ) · ∫_{x₁}^{x₂} √(2m(V−E)) dx, dimensionless.
|
|
42
|
+
*
|
|
43
|
+
* v0.21: the integral carries explicit barrier-endpoint bounds x₁, x₂ (a definite
|
|
44
|
+
* integral) — faithful to this bridge's rectangular-barrier model, since the
|
|
45
|
+
* integrand √(2m(V−E)) is constant in x (V_minus_E is a constant ENERGY symbol,
|
|
46
|
+
* not V(x)), so 16-pt Gauss–Legendre is EXACT and equals √(2m(V−E))·(x₂−x₁).
|
|
47
|
+
* This exposes m, V_minus_E, x₁, x₂ to differentiation (Adam+Eve GREEN). Domain
|
|
48
|
+
* guards (caller's): V_minus_E ≥ 0, m > 0, x₂ ≥ x₁.
|
|
43
49
|
*/
|
|
44
50
|
export const DNA_TUNNELING_WKB_ARG = {
|
|
45
51
|
kind: 'op', op: '*',
|
|
@@ -53,9 +59,11 @@ export const DNA_TUNNELING_WKB_ARG = {
|
|
|
53
59
|
],
|
|
54
60
|
},
|
|
55
61
|
{
|
|
56
|
-
// ∫ √(2m(V−E)) dx
|
|
62
|
+
// ∫_{x₁}^{x₂} √(2m(V−E)) dx
|
|
57
63
|
kind: 'integral',
|
|
58
64
|
over: sym('x', LENGTH),
|
|
65
|
+
lower: sym('x_1', LENGTH),
|
|
66
|
+
upper: sym('x_2', LENGTH),
|
|
59
67
|
integrand: {
|
|
60
68
|
// √(2m(V−E)) = (2m(V−E))^{1/2}
|
|
61
69
|
kind: 'op', op: '^',
|
|
@@ -75,15 +83,26 @@ export const DNA_TUNNELING_WKB_ARG = {
|
|
|
75
83
|
],
|
|
76
84
|
};
|
|
77
85
|
/**
|
|
78
|
-
* RHS of the WKB tunneling rate: `ν₀ ·
|
|
79
|
-
*
|
|
80
|
-
*
|
|
86
|
+
* RHS of the WKB tunneling rate: `ν₀ · exp(−WKB) · f`. The Gamow exponential is
|
|
87
|
+
* encoded faithfully (v0.21) as `transcendental(exp, −1 · DNA_TUNNELING_WKB_ARG)`
|
|
88
|
+
* — a definite integral under the exp — so m, V_minus_E, and the barrier
|
|
89
|
+
* endpoints x₁, x₂ are visible to differentiation. `exp` of the DIMENSIONLESS
|
|
90
|
+
* WKB exponent is DIMENSIONLESS, so the round-trip dimensional_signature
|
|
91
|
+
* ([frequency]) is unchanged from the former symbol stub. The f(T, pH, EM)
|
|
92
|
+
* prefactor remains an opaque interpolation stub (no closed form).
|
|
81
93
|
*/
|
|
82
94
|
export const DNA_TUNNELING_RHS = {
|
|
83
95
|
kind: 'op', op: '*',
|
|
84
96
|
args: [
|
|
85
97
|
sym('nu_0', FREQUENCY),
|
|
86
|
-
|
|
98
|
+
{
|
|
99
|
+
kind: 'transcendental',
|
|
100
|
+
fn: 'exp',
|
|
101
|
+
arg: {
|
|
102
|
+
kind: 'op', op: '*',
|
|
103
|
+
args: [sym('-1', DIMENSIONLESS), DNA_TUNNELING_WKB_ARG],
|
|
104
|
+
},
|
|
105
|
+
},
|
|
87
106
|
sym('f(T,pH,EM)', DIMENSIONLESS),
|
|
88
107
|
],
|
|
89
108
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"be-26-dna-tunneling.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EACL,aAAa,EACb,SAAS,EACT,IAAI,EACJ,MAAM,EACN,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF
|
|
1
|
+
{"version":3,"file":"be-26-dna-tunneling.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EACL,aAAa,EACb,SAAS,EACT,IAAI,EACJ,MAAM,EACN,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,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,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;YACtB,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;YACzB,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;YACzB,SAAS,EAAE;gBACT,+BAA+B;gBAC/B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;gBACnB,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;wBACnB,IAAI,EAAE;4BACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;4BACvB,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;4BACd,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;yBACzB;qBACF;oBACD,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;iBAC1B;aACF;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC;QACtB;YACE,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE;gBACH,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;gBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,qBAAqB,CAAC;aACxD;SACF;QACD,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF,wCAAwC;AACxC,MAAM,iBAAiB,GAAa,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;AAoBrE;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE;QAC7B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACnD,EAAE,IAAI,EAAE,cAAc,EAAE;KACzB,EACD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAClE,MAAM,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IACnC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAG,gBAAgB;IAC1D,MAAM,MAAM,GAAG,CAAC,GAAG,aAAa,CAAC,CAAS,QAAQ;IAClD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC,CAAU,gBAAgB;IAC1D,OAAO,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC;AAC9C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,8BAA8B;IAC5C,OAAO,oBAAoB,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;AAC5E,CAAC"}
|
package/package.json
CHANGED