universal-physics-tensor 0.40.0 → 0.42.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/be55-quantum-hall-confrontation.d.ts +51 -0
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +1 -0
- package/dist/bridges/be55-quantum-hall-confrontation.js +32 -0
- package/dist/bridges/be55-quantum-hall-confrontation.js.map +1 -0
- package/dist/bridges/be55-quantum-hall.d.ts +24 -0
- package/dist/bridges/be55-quantum-hall.d.ts.map +1 -0
- package/dist/bridges/be55-quantum-hall.js +46 -0
- package/dist/bridges/be55-quantum-hall.js.map +1 -0
- package/dist/bridges/be56-casimir-confrontation.d.ts +52 -0
- package/dist/bridges/be56-casimir-confrontation.d.ts.map +1 -0
- package/dist/bridges/be56-casimir-confrontation.js +31 -0
- package/dist/bridges/be56-casimir-confrontation.js.map +1 -0
- package/dist/bridges/be56-casimir.d.ts +18 -0
- package/dist/bridges/be56-casimir.d.ts.map +1 -0
- package/dist/bridges/be56-casimir.js +36 -0
- package/dist/bridges/be56-casimir.js.map +1 -0
- package/dist/bridges/be57-unruh.d.ts +18 -0
- package/dist/bridges/be57-unruh.d.ts.map +1 -0
- package/dist/bridges/be57-unruh.js +38 -0
- package/dist/bridges/be57-unruh.js.map +1 -0
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +57 -0
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +1 -0
- package/dist/bridges/be58-johnson-nyquist-confrontation.js +38 -0
- package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +1 -0
- package/dist/bridges/be58-johnson-nyquist.d.ts +22 -0
- package/dist/bridges/be58-johnson-nyquist.d.ts.map +1 -0
- package/dist/bridges/be58-johnson-nyquist.js +36 -0
- package/dist/bridges/be58-johnson-nyquist.js.map +1 -0
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts +46 -0
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +1 -0
- package/dist/bridges/be59-ac-josephson-confrontation.js +32 -0
- package/dist/bridges/be59-ac-josephson-confrontation.js.map +1 -0
- package/dist/bridges/be59-ac-josephson.d.ts +22 -0
- package/dist/bridges/be59-ac-josephson.d.ts.map +1 -0
- package/dist/bridges/be59-ac-josephson.js +35 -0
- package/dist/bridges/be59-ac-josephson.js.map +1 -0
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts +45 -0
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +1 -0
- package/dist/bridges/be60-fractional-qh-confrontation.js +31 -0
- package/dist/bridges/be60-fractional-qh-confrontation.js.map +1 -0
- package/dist/bridges/be60-fractional-qh.d.ts +20 -0
- package/dist/bridges/be60-fractional-qh.d.ts.map +1 -0
- package/dist/bridges/be60-fractional-qh.js +33 -0
- package/dist/bridges/be60-fractional-qh.js.map +1 -0
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +35 -0
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +1 -0
- package/dist/bridges/be61-wiedemann-franz-confrontation.js +49 -0
- package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +1 -0
- package/dist/bridges/be61-wiedemann-franz.d.ts +25 -0
- package/dist/bridges/be61-wiedemann-franz.d.ts.map +1 -0
- package/dist/bridges/be61-wiedemann-franz.js +41 -0
- package/dist/bridges/be61-wiedemann-franz.js.map +1 -0
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts +35 -0
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +1 -0
- package/dist/bridges/be62-bcs-gap-confrontation.js +46 -0
- package/dist/bridges/be62-bcs-gap-confrontation.js.map +1 -0
- package/dist/bridges/be62-bcs-gap.d.ts +22 -0
- package/dist/bridges/be62-bcs-gap.d.ts.map +1 -0
- package/dist/bridges/be62-bcs-gap.js +38 -0
- package/dist/bridges/be62-bcs-gap.js.map +1 -0
- package/dist/bridges/confrontations.d.ts.map +1 -1
- package/dist/bridges/confrontations.js +128 -0
- package/dist/bridges/confrontations.js.map +1 -1
- package/dist/bridges/index.d.ts +8 -0
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +186 -0
- package/dist/bridges/index.js.map +1 -1
- package/dist/cli/commands/explain.d.ts.map +1 -1
- package/dist/cli/commands/explain.js +43 -1
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/composition/axes.d.ts +57 -0
- package/dist/composition/axes.d.ts.map +1 -0
- package/dist/composition/axes.js +68 -0
- package/dist/composition/axes.js.map +1 -0
- package/dist/composition/axis-audit.d.ts +46 -0
- package/dist/composition/axis-audit.d.ts.map +1 -0
- package/dist/composition/axis-audit.js +40 -0
- package/dist/composition/axis-audit.js.map +1 -0
- package/dist/composition/discovery.d.ts +3 -0
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +15 -6
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/quantities/condensed-matter.d.ts.map +1 -1
- package/dist/composition/quantities/condensed-matter.js +10 -3
- package/dist/composition/quantities/condensed-matter.js.map +1 -1
- package/dist/composition/quantities/fields.d.ts.map +1 -1
- package/dist/composition/quantities/fields.js +3 -1
- package/dist/composition/quantities/fields.js.map +1 -1
- package/dist/composition/quantity.d.ts +23 -9
- package/dist/composition/quantity.d.ts.map +1 -1
- package/dist/composition/quantity.js +10 -4
- package/dist/composition/quantity.js.map +1 -1
- package/dist/dimensional/bridge-check.d.ts +0 -19
- package/dist/dimensional/bridge-check.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.js +13 -0
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/index.d.ts +15 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +16 -1
- package/dist/index.js.map +1 -1
- package/package.json +1 -1
|
@@ -0,0 +1,51 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* BE-55 × quantum-Hall universality — confront the TOPOLOGICAL quantization by
|
|
3
|
+
* its material-INDEPENDENCE, not its (post-2019 definitional) value.
|
|
4
|
+
*
|
|
5
|
+
* Post-2019 SI fixes h and e exactly, so R_K = h/e² is exact BY DEFINITION and
|
|
6
|
+
* confronting a measured R_H against h/(Ce²) is circular. The genuine empirical
|
|
7
|
+
* content of the integer quantum Hall effect is that the quantized Hall
|
|
8
|
+
* resistance is UNIVERSAL — identical across completely different materials,
|
|
9
|
+
* because it is set by a topological (Chern) invariant, not material details.
|
|
10
|
+
* The most stringent test: epitaxial graphene vs GaAs/AlGaAs agree to a relative
|
|
11
|
+
* 8.6×10⁻¹¹ (Janssen et al. 2012). Consistency confrontation: the material ratio
|
|
12
|
+
* is 1 to within 8.6×10⁻¹¹. (Adam/Eve vet 2026-07-05: GREEN/GREEN — non-circular.)
|
|
13
|
+
*
|
|
14
|
+
* @module bridges/be55-quantum-hall-confrontation
|
|
15
|
+
*/
|
|
16
|
+
import type { ObservationProvenance } from './observations/types.js';
|
|
17
|
+
/** A quantum-Hall universality (material-independence) observation. @public */
|
|
18
|
+
export interface QHUniversalityObservation {
|
|
19
|
+
/** Measured R_H(material A)/R_H(material B) ratio, ≈ 1. */
|
|
20
|
+
readonly observed_ratio: number;
|
|
21
|
+
/** Relative uncertainty on the material-independence (the universality bound). */
|
|
22
|
+
readonly relative_uncertainty: number;
|
|
23
|
+
readonly provenance: ObservationProvenance;
|
|
24
|
+
}
|
|
25
|
+
/**
|
|
26
|
+
* Janssen et al. 2012 graphene-vs-GaAs universality test: the quantized Hall
|
|
27
|
+
* resistance agrees between epitaxial graphene and a GaAs/AlGaAs heterostructure
|
|
28
|
+
* to a relative 8.6×10⁻¹¹ — the most stringent material-independence test.
|
|
29
|
+
*
|
|
30
|
+
* @public
|
|
31
|
+
*/
|
|
32
|
+
export declare const QH_UNIVERSALITY_JANSSEN_2012: QHUniversalityObservation;
|
|
33
|
+
/** Result of confronting BE-55 with a universality observation. @public */
|
|
34
|
+
export interface BE55ConfrontationResult {
|
|
35
|
+
/** The material-independence ratio a correct topological quantization yields: 1. */
|
|
36
|
+
readonly predicted_ratio: number;
|
|
37
|
+
/** The measured material ratio (≈ 1). */
|
|
38
|
+
readonly observed_ratio: number;
|
|
39
|
+
/** The universality bound (relative) — how tightly the ratio equals 1. */
|
|
40
|
+
readonly relative_uncertainty: number;
|
|
41
|
+
/** The ratio is consistent with 1 within the universality bound. */
|
|
42
|
+
readonly consistent: boolean;
|
|
43
|
+
readonly observation: QHUniversalityObservation;
|
|
44
|
+
}
|
|
45
|
+
/**
|
|
46
|
+
* Confront BE-55's topological quantization with a material-universality test.
|
|
47
|
+
*
|
|
48
|
+
* @public
|
|
49
|
+
*/
|
|
50
|
+
export declare function confrontBE55(obs?: QHUniversalityObservation): BE55ConfrontationResult;
|
|
51
|
+
//# sourceMappingURL=be55-quantum-hall-confrontation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be55-quantum-hall-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be55-quantum-hall-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAErE,+EAA+E;AAC/E,MAAM,WAAW,yBAAyB;IACxC,2DAA2D;IAC3D,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,kFAAkF;IAClF,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,EAAE,yBAU1C,CAAC;AAEF,2EAA2E;AAC3E,MAAM,WAAW,uBAAuB;IACtC,oFAAoF;IACpF,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,yCAAyC;IACzC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,0EAA0E;IAC1E,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAC;CACjD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,yBAAwD,GAC5D,uBAAuB,CAQzB"}
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Janssen et al. 2012 graphene-vs-GaAs universality test: the quantized Hall
|
|
3
|
+
* resistance agrees between epitaxial graphene and a GaAs/AlGaAs heterostructure
|
|
4
|
+
* to a relative 8.6×10⁻¹¹ — the most stringent material-independence test.
|
|
5
|
+
*
|
|
6
|
+
* @public
|
|
7
|
+
*/
|
|
8
|
+
export const QH_UNIVERSALITY_JANSSEN_2012 = {
|
|
9
|
+
observed_ratio: 1,
|
|
10
|
+
relative_uncertainty: 8.6e-11,
|
|
11
|
+
provenance: {
|
|
12
|
+
citation: 'Janssen, Williams, Fletcher, Goebel, Tzalenchuk, Yakimova, Lara-Avila, Kubatkin & Fal’ko 2012, Metrologia 49:294 (arXiv:1105.4055), "Graphene, universality of the quantum Hall effect and redefinition of the SI"',
|
|
13
|
+
year: 2012,
|
|
14
|
+
retrieved: '2026-07-05',
|
|
15
|
+
note: 'Material-INDEPENDENCE test: epitaxial graphene vs GaAs/AlGaAs quantized Hall resistance agree to a relative 8.6e-11 — a non-circular empirical test of the TOPOLOGICAL quantization (post-2019 SI makes R_K=h/e2 exact by definition, so the value itself is not a data test; the universality is). Confirms the Hall conductance is fixed by a Chern invariant, not material details.',
|
|
16
|
+
},
|
|
17
|
+
};
|
|
18
|
+
/**
|
|
19
|
+
* Confront BE-55's topological quantization with a material-universality test.
|
|
20
|
+
*
|
|
21
|
+
* @public
|
|
22
|
+
*/
|
|
23
|
+
export function confrontBE55(obs = QH_UNIVERSALITY_JANSSEN_2012) {
|
|
24
|
+
return {
|
|
25
|
+
predicted_ratio: 1,
|
|
26
|
+
observed_ratio: obs.observed_ratio,
|
|
27
|
+
relative_uncertainty: obs.relative_uncertainty,
|
|
28
|
+
consistent: Math.abs(obs.observed_ratio - 1) <= obs.relative_uncertainty,
|
|
29
|
+
observation: obs,
|
|
30
|
+
};
|
|
31
|
+
}
|
|
32
|
+
//# sourceMappingURL=be55-quantum-hall-confrontation.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be55-quantum-hall-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be55-quantum-hall-confrontation.ts"],"names":[],"mappings":"AA0BA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAA8B;IACrE,cAAc,EAAE,CAAC;IACjB,oBAAoB,EAAE,OAAO;IAC7B,UAAU,EAAE;QACV,QAAQ,EACN,oNAAoN;QACtN,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,wXAAwX;KAC/X;CACF,CAAC;AAeF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAiC,4BAA4B;IAE7D,OAAO;QACL,eAAe,EAAE,CAAC;QAClB,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,oBAAoB,EAAE,GAAG,CAAC,oBAAoB;QAC9C,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,oBAAoB;QACxE,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
/** The von Klitzing constant R_K = h/e² (Ω). Post-2019 SI: exact. @public */
|
|
2
|
+
export declare const VON_KLITZING_SI: number;
|
|
3
|
+
/** Inputs for the quantized Hall conductance/resistance. @public */
|
|
4
|
+
export interface QuantumHallInputs {
|
|
5
|
+
/** The integer TKNN/Chern number C (Hall plateau index / filling factor). */
|
|
6
|
+
readonly C: number;
|
|
7
|
+
}
|
|
8
|
+
/** Result of evaluating the integer quantum Hall relation. @public */
|
|
9
|
+
export interface QuantumHallResult {
|
|
10
|
+
readonly C: number;
|
|
11
|
+
/** Hall conductance σ_xy = C·e²/h (siemens, S). */
|
|
12
|
+
readonly sigma_xy_S: number;
|
|
13
|
+
/** Hall resistance R_H = R_K/C = h/(C·e²) (ohm, Ω). */
|
|
14
|
+
readonly R_H_ohm: number;
|
|
15
|
+
/** The von Klitzing constant R_K = h/e² (ohm, Ω). */
|
|
16
|
+
readonly R_K_ohm: number;
|
|
17
|
+
}
|
|
18
|
+
/**
|
|
19
|
+
* Evaluate the integer quantum Hall relation for plateau index (Chern number) C.
|
|
20
|
+
*
|
|
21
|
+
* @public
|
|
22
|
+
*/
|
|
23
|
+
export declare function evaluateQuantumHall({ C }: QuantumHallInputs): QuantumHallResult;
|
|
24
|
+
//# sourceMappingURL=be55-quantum-hall.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be55-quantum-hall.d.ts","sourceRoot":"","sources":["../../src/bridges/be55-quantum-hall.ts"],"names":[],"mappings":"AA2BA,6EAA6E;AAC7E,eAAO,MAAM,eAAe,QAAuB,CAAC;AAEpD,oEAAoE;AACpE,MAAM,WAAW,iBAAiB;IAChC,6EAA6E;IAC7E,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,sEAAsE;AACtE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,qDAAqD;IACrD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,CAAC,EAAE,EAAE,iBAAiB,GAAG,iBAAiB,CAa/E"}
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Bridge Equation 55 — Integer Quantum Hall effect / TKNN (topology ↔ transport).
|
|
3
|
+
*
|
|
4
|
+
* The Hall conductance of a 2D electron gas in a strong magnetic field is
|
|
5
|
+
* quantized in integer multiples of e²/h:
|
|
6
|
+
*
|
|
7
|
+
* σ_xy = C · e²/h,
|
|
8
|
+
*
|
|
9
|
+
* where C is an integer — the TKNN invariant (Thouless-Kohmoto-Nightingale-den
|
|
10
|
+
* Nijs, 1982), a topological (Chern) number of the filled Landau/Bloch bands.
|
|
11
|
+
* Equivalently the Hall RESISTANCE is quantized, R_H = R_K / C, with the von
|
|
12
|
+
* Klitzing constant R_K = h/e² (≈ 25 812.807 Ω). The quantization is
|
|
13
|
+
* material-INDEPENDENT — a topological invariant, not a material property — which
|
|
14
|
+
* is the empirically striking content (confirmed to ~1×10⁻¹⁰ across graphene vs
|
|
15
|
+
* GaAs/AlGaAs; see `be55-quantum-hall-confrontation.ts`).
|
|
16
|
+
*
|
|
17
|
+
* This bridge populates the rank-6 tensor's **Topology** axis: a topological
|
|
18
|
+
* invariant (Chern number) fixes an electrical-transport observable. Discovered
|
|
19
|
+
* by von Klitzing 1980 (Nobel 1985); topological interpretation TKNN 1982.
|
|
20
|
+
*
|
|
21
|
+
* Closed-form evaluator (BE-51/52 pattern; no AST round-trip). Dimensional
|
|
22
|
+
* signature: σ_xy is an electrical conductance [I² T³ M⁻¹ L⁻²].
|
|
23
|
+
*
|
|
24
|
+
* @module bridges/be55-quantum-hall
|
|
25
|
+
*/
|
|
26
|
+
import { H_SI, E_SI } from '../core/constants.js';
|
|
27
|
+
/** The von Klitzing constant R_K = h/e² (Ω). Post-2019 SI: exact. @public */
|
|
28
|
+
export const VON_KLITZING_SI = H_SI / (E_SI * E_SI);
|
|
29
|
+
/**
|
|
30
|
+
* Evaluate the integer quantum Hall relation for plateau index (Chern number) C.
|
|
31
|
+
*
|
|
32
|
+
* @public
|
|
33
|
+
*/
|
|
34
|
+
export function evaluateQuantumHall({ C }) {
|
|
35
|
+
if (!Number.isInteger(C) || C === 0) {
|
|
36
|
+
throw new Error('evaluateQuantumHall: C must be a nonzero integer (TKNN/Chern number)');
|
|
37
|
+
}
|
|
38
|
+
const R_K_ohm = VON_KLITZING_SI;
|
|
39
|
+
return {
|
|
40
|
+
C,
|
|
41
|
+
sigma_xy_S: (C * E_SI * E_SI) / H_SI,
|
|
42
|
+
R_H_ohm: R_K_ohm / C,
|
|
43
|
+
R_K_ohm,
|
|
44
|
+
};
|
|
45
|
+
}
|
|
46
|
+
//# sourceMappingURL=be55-quantum-hall.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be55-quantum-hall.js","sourceRoot":"","sources":["../../src/bridges/be55-quantum-hall.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAElD,6EAA6E;AAC7E,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AAmBpD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAE,CAAC,EAAqB;IAC1D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACb,sEAAsE,CACvE,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC;IAChC,OAAO;QACL,CAAC;QACD,UAAU,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI;QACpC,OAAO,EAAE,OAAO,GAAG,CAAC;QACpB,OAAO;KACR,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* BE-56 × Casimir force — confront the quantum-vacuum force against measurement.
|
|
3
|
+
*
|
|
4
|
+
* The ideal F/A = −π²ℏc/(240 d⁴) is the leading term for perfect conductors at
|
|
5
|
+
* T=0. Real experiments (Lamoreaux 1997 torsion pendulum; Mohideen & Roy 1998
|
|
6
|
+
* AFM) use sphere-plate geometry and require finite-conductivity, surface-
|
|
7
|
+
* roughness, temperature, and electrostatic-patch corrections. With those
|
|
8
|
+
* corrections applied, the measured force agrees with theory to ~1% (Mohideen-
|
|
9
|
+
* Roy, smallest separation) / ~5% (Lamoreaux). Consistency confrontation: the
|
|
10
|
+
* measured/theory ratio is 1 to within ~1%.
|
|
11
|
+
*
|
|
12
|
+
* HONESTY CAVEAT (Adam/Eve vet 2026-07-05, Eve YELLOW): this tests the CORRECTED
|
|
13
|
+
* theory and is SYSTEMATICS-DOMINATED — it is not a clean test of the bare
|
|
14
|
+
* π²ℏc/240d⁴ coefficient. The provenance records this.
|
|
15
|
+
*
|
|
16
|
+
* @module bridges/be56-casimir-confrontation
|
|
17
|
+
*/
|
|
18
|
+
import type { ObservationProvenance } from './observations/types.js';
|
|
19
|
+
/** A Casimir-force measurement-vs-theory agreement observation. @public */
|
|
20
|
+
export interface CasimirAgreementObservation {
|
|
21
|
+
/** Measured/theory force ratio, ≈ 1 (theory = corrected, not ideal). */
|
|
22
|
+
readonly observed_ratio: number;
|
|
23
|
+
/** Fractional agreement (e.g. 0.01 for ~1%). */
|
|
24
|
+
readonly agreement: number;
|
|
25
|
+
readonly provenance: ObservationProvenance;
|
|
26
|
+
}
|
|
27
|
+
/**
|
|
28
|
+
* Mohideen & Roy 1998 AFM measurement: the Casimir force agrees with the
|
|
29
|
+
* corrected theory to ~1% at the smallest separation (0.1–0.9 μm).
|
|
30
|
+
*
|
|
31
|
+
* @public
|
|
32
|
+
*/
|
|
33
|
+
export declare const CASIMIR_MOHIDEEN_ROY_1998: CasimirAgreementObservation;
|
|
34
|
+
/** Result of confronting BE-56 with a Casimir measurement. @public */
|
|
35
|
+
export interface BE56ConfrontationResult {
|
|
36
|
+
/** The measured/theory ratio a correct theory yields: 1. */
|
|
37
|
+
readonly predicted_ratio: number;
|
|
38
|
+
/** The measured ratio (≈ 1). */
|
|
39
|
+
readonly observed_ratio: number;
|
|
40
|
+
/** Fractional agreement level. */
|
|
41
|
+
readonly agreement: number;
|
|
42
|
+
/** The ratio is consistent with 1 within the agreement level. */
|
|
43
|
+
readonly consistent: boolean;
|
|
44
|
+
readonly observation: CasimirAgreementObservation;
|
|
45
|
+
}
|
|
46
|
+
/**
|
|
47
|
+
* Confront BE-56's Casimir pressure with a measurement (vs corrected theory).
|
|
48
|
+
*
|
|
49
|
+
* @public
|
|
50
|
+
*/
|
|
51
|
+
export declare function confrontBE56(obs?: CasimirAgreementObservation): BE56ConfrontationResult;
|
|
52
|
+
//# sourceMappingURL=be56-casimir-confrontation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be56-casimir-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be56-casimir-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAErE,2EAA2E;AAC3E,MAAM,WAAW,2BAA2B;IAC1C,wEAAwE;IACxE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,gDAAgD;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,EAAE,2BAUvC,CAAC;AAEF,sEAAsE;AACtE,MAAM,WAAW,uBAAuB;IACtC,4DAA4D;IAC5D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,gCAAgC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,2BAA2B,CAAC;CACnD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,2BAAuD,GAC3D,uBAAuB,CAQzB"}
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Mohideen & Roy 1998 AFM measurement: the Casimir force agrees with the
|
|
3
|
+
* corrected theory to ~1% at the smallest separation (0.1–0.9 μm).
|
|
4
|
+
*
|
|
5
|
+
* @public
|
|
6
|
+
*/
|
|
7
|
+
export const CASIMIR_MOHIDEEN_ROY_1998 = {
|
|
8
|
+
observed_ratio: 1,
|
|
9
|
+
agreement: 0.01,
|
|
10
|
+
provenance: {
|
|
11
|
+
citation: 'Mohideen & Roy 1998, Phys. Rev. Lett. 81:4549 (arXiv:physics/9805038), "Precision Measurement of the Casimir Force from 0.1 to 0.9 μm"; earlier: Lamoreaux 1997, Phys. Rev. Lett. 78:5 (~5%)',
|
|
12
|
+
year: 1998,
|
|
13
|
+
retrieved: '2026-07-05',
|
|
14
|
+
note: 'Measured Casimir force agrees with theory to ~1% at smallest separation. SYSTEMATICS-DOMINATED: real experiments are sphere-plate and require finite-conductivity/surface-roughness/temperature/electrostatic-patch corrections — this tests the CORRECTED theory, NOT the bare ideal π²ℏc/240d⁴ coefficient (Adam/Eve vet, Eve YELLOW). A consistency statement, not a clean coefficient test.',
|
|
15
|
+
},
|
|
16
|
+
};
|
|
17
|
+
/**
|
|
18
|
+
* Confront BE-56's Casimir pressure with a measurement (vs corrected theory).
|
|
19
|
+
*
|
|
20
|
+
* @public
|
|
21
|
+
*/
|
|
22
|
+
export function confrontBE56(obs = CASIMIR_MOHIDEEN_ROY_1998) {
|
|
23
|
+
return {
|
|
24
|
+
predicted_ratio: 1,
|
|
25
|
+
observed_ratio: obs.observed_ratio,
|
|
26
|
+
agreement: obs.agreement,
|
|
27
|
+
consistent: Math.abs(obs.observed_ratio - 1) <= obs.agreement,
|
|
28
|
+
observation: obs,
|
|
29
|
+
};
|
|
30
|
+
}
|
|
31
|
+
//# sourceMappingURL=be56-casimir-confrontation.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be56-casimir-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be56-casimir-confrontation.ts"],"names":[],"mappings":"AA4BA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAgC;IACpE,cAAc,EAAE,CAAC;IACjB,SAAS,EAAE,IAAI;IACf,UAAU,EAAE;QACV,QAAQ,EACN,8LAA8L;QAChM,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,iYAAiY;KACxY;CACF,CAAC;AAeF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAmC,yBAAyB;IAE5D,OAAO;QACL,eAAe,EAAE,CAAC;QAClB,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,SAAS;QAC7D,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
/** Inputs for the ideal Casimir pressure. @public */
|
|
2
|
+
export interface CasimirInputs {
|
|
3
|
+
/** Plate separation d (m), > 0. */
|
|
4
|
+
readonly d_m: number;
|
|
5
|
+
}
|
|
6
|
+
/** Result of evaluating the ideal Casimir pressure. @public */
|
|
7
|
+
export interface CasimirResult {
|
|
8
|
+
readonly d_m: number;
|
|
9
|
+
/** Force per unit area F/A = −π²ℏc/(240 d⁴) (Pa; negative = attractive). */
|
|
10
|
+
readonly pressure_Pa: number;
|
|
11
|
+
}
|
|
12
|
+
/**
|
|
13
|
+
* Evaluate the ideal (perfect-conductor, T=0) Casimir pressure at separation d.
|
|
14
|
+
*
|
|
15
|
+
* @public
|
|
16
|
+
*/
|
|
17
|
+
export declare function evaluateCasimir({ d_m }: CasimirInputs): CasimirResult;
|
|
18
|
+
//# sourceMappingURL=be56-casimir.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be56-casimir.d.ts","sourceRoot":"","sources":["../../src/bridges/be56-casimir.ts"],"names":[],"mappings":"AAwBA,qDAAqD;AACrD,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,+DAA+D;AAC/D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,4EAA4E;IAC5E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,EAAE,GAAG,EAAE,EAAE,aAAa,GAAG,aAAa,CAMrE"}
|
|
@@ -0,0 +1,36 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Bridge Equation 56 — Casimir effect (quantum vacuum ↔ classical force).
|
|
3
|
+
*
|
|
4
|
+
* Two neutral, parallel, perfectly-conducting plates in vacuum attract, because
|
|
5
|
+
* the boundary conditions restrict the allowed electromagnetic vacuum modes
|
|
6
|
+
* between them. The ideal zero-temperature force per unit area is
|
|
7
|
+
*
|
|
8
|
+
* F/A = − π² ℏ c / (240 d⁴),
|
|
9
|
+
*
|
|
10
|
+
* (negative = attractive), d the plate separation. This bridges the QUANTUM
|
|
11
|
+
* vacuum (zero-point field fluctuations) to a CLASSICAL, macroscopic, measurable
|
|
12
|
+
* force. Predicted by Casimir 1948; measured by Lamoreaux 1997 and Mohideen &
|
|
13
|
+
* Roy 1998 (see `be56-casimir-confrontation.ts`).
|
|
14
|
+
*
|
|
15
|
+
* Closed-form evaluator (BE-51/52 pattern; no AST round-trip). Dimensional
|
|
16
|
+
* signature: pressure [L⁻¹ M T⁻²]. Note the REAL experiments use sphere-plate
|
|
17
|
+
* geometry and require finite-conductivity/roughness/temperature corrections —
|
|
18
|
+
* this ideal formula is the leading term, and the confrontation is honest about
|
|
19
|
+
* the corrections (Adam/Eve vet 2026-07-05, Eve YELLOW: systematics-dominated).
|
|
20
|
+
*
|
|
21
|
+
* @module bridges/be56-casimir
|
|
22
|
+
*/
|
|
23
|
+
import { HBAR_SI, C_SI } from '../core/constants.js';
|
|
24
|
+
/**
|
|
25
|
+
* Evaluate the ideal (perfect-conductor, T=0) Casimir pressure at separation d.
|
|
26
|
+
*
|
|
27
|
+
* @public
|
|
28
|
+
*/
|
|
29
|
+
export function evaluateCasimir({ d_m }) {
|
|
30
|
+
if (!(d_m > 0)) {
|
|
31
|
+
throw new Error('evaluateCasimir: d_m (plate separation) must be > 0');
|
|
32
|
+
}
|
|
33
|
+
const pressure_Pa = -(Math.PI * Math.PI * HBAR_SI * C_SI) / (240 * d_m ** 4);
|
|
34
|
+
return { d_m, pressure_Pa };
|
|
35
|
+
}
|
|
36
|
+
//# sourceMappingURL=be56-casimir.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be56-casimir.js","sourceRoot":"","sources":["../../src/bridges/be56-casimir.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAerD;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,EAAE,GAAG,EAAiB;IACpD,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC;IAC7E,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
/** Inputs for the Unruh temperature. @public */
|
|
2
|
+
export interface UnruhInputs {
|
|
3
|
+
/** Proper acceleration a (m/s²), ≥ 0. */
|
|
4
|
+
readonly a_m_s2: number;
|
|
5
|
+
}
|
|
6
|
+
/** Result of evaluating the Unruh temperature. @public */
|
|
7
|
+
export interface UnruhResult {
|
|
8
|
+
readonly a_m_s2: number;
|
|
9
|
+
/** Unruh temperature T = ℏa/(2π c k_B) (K). */
|
|
10
|
+
readonly T_K: number;
|
|
11
|
+
}
|
|
12
|
+
/**
|
|
13
|
+
* Evaluate the Unruh temperature for proper acceleration a.
|
|
14
|
+
*
|
|
15
|
+
* @public
|
|
16
|
+
*/
|
|
17
|
+
export declare function evaluateUnruh({ a_m_s2 }: UnruhInputs): UnruhResult;
|
|
18
|
+
//# sourceMappingURL=be57-unruh.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be57-unruh.d.ts","sourceRoot":"","sources":["../../src/bridges/be57-unruh.ts"],"names":[],"mappings":"AAwBA,gDAAgD;AAChD,MAAM,WAAW,WAAW;IAC1B,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,0DAA0D;AAC1D,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+CAA+C;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,EAAE,MAAM,EAAE,EAAE,WAAW,GAAG,WAAW,CAQlE"}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Bridge Equation 57 — Unruh effect (acceleration/kinematics ↔ quantum-thermal).
|
|
3
|
+
*
|
|
4
|
+
* A uniformly accelerated observer in the Minkowski vacuum perceives a thermal
|
|
5
|
+
* bath at the Unruh temperature
|
|
6
|
+
*
|
|
7
|
+
* T = ℏ a / (2π c k_B),
|
|
8
|
+
*
|
|
9
|
+
* a = proper acceleration. This bridges KINEMATICS (acceleration) to a
|
|
10
|
+
* QUANTUM-THERMAL observable — the kinematic sibling of Hawking radiation
|
|
11
|
+
* (BE-42: horizon surface gravity κ → temperature via the same 2π factor,
|
|
12
|
+
* a → κ). Predicted by Fulling 1973 / Davies 1975 / Unruh 1976.
|
|
13
|
+
*
|
|
14
|
+
* Closed-form evaluator (BE-51/52 pattern). Dimensional signature: temperature.
|
|
15
|
+
*
|
|
16
|
+
* CONFRONTATION DEFERRED: lab accelerations give T ≈ 4×10⁻²⁰ K per 1g —
|
|
17
|
+
* unmeasurable; analog-gravity results are indirect. Encoded as an established
|
|
18
|
+
* bridge with NO data test (Adam/Eve vet 2026-07-05: DEFER/DEFER). There is no
|
|
19
|
+
* `be57-*-confrontation.ts`; BE-57 is not in DATA_CONFRONTED_IDS.
|
|
20
|
+
*
|
|
21
|
+
* @module bridges/be57-unruh
|
|
22
|
+
*/
|
|
23
|
+
import { HBAR_SI, C_SI, K_B_SI } from '../core/constants.js';
|
|
24
|
+
/**
|
|
25
|
+
* Evaluate the Unruh temperature for proper acceleration a.
|
|
26
|
+
*
|
|
27
|
+
* @public
|
|
28
|
+
*/
|
|
29
|
+
export function evaluateUnruh({ a_m_s2 }) {
|
|
30
|
+
if (!(a_m_s2 >= 0)) {
|
|
31
|
+
throw new Error('evaluateUnruh: a_m_s2 (proper acceleration) must be ≥ 0');
|
|
32
|
+
}
|
|
33
|
+
return {
|
|
34
|
+
a_m_s2,
|
|
35
|
+
T_K: (HBAR_SI * a_m_s2) / (2 * Math.PI * C_SI * K_B_SI),
|
|
36
|
+
};
|
|
37
|
+
}
|
|
38
|
+
//# sourceMappingURL=be57-unruh.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be57-unruh.js","sourceRoot":"","sources":["../../src/bridges/be57-unruh.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAe7D;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,EAAE,MAAM,EAAe;IACnD,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO;QACL,MAAM;QACN,GAAG,EAAE,CAAC,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,GAAG,MAAM,CAAC;KACxD,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,57 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* BE-58 × Johnson Noise Thermometry — confront S_V = 4 k_B T R against data.
|
|
3
|
+
*
|
|
4
|
+
* If the Johnson-Nyquist relation S_V = 4 k_B T R holds, then measuring the
|
|
5
|
+
* thermal voltage noise of a resistor at a known temperature DETERMINES the
|
|
6
|
+
* Boltzmann constant k_B. NIST's Johnson Noise Thermometry (JNT) did exactly
|
|
7
|
+
* this: k_B = 1.3806429(69)×10⁻²³ J/K, a relative offset −4.05×10⁻⁶ ± 5.0×10⁻⁶
|
|
8
|
+
* from CODATA 2014 → residual 0.81σ. This is a genuine, non-circular test: the
|
|
9
|
+
* resistance is traceable to the quantum Hall effect (BE-55) and the temperature
|
|
10
|
+
* to acoustic/ITS-90 thermometry, both INDEPENDENT of the noise relation. Any
|
|
11
|
+
* deviation from the factor-of-4 relation would make the JNT k_B inconsistent
|
|
12
|
+
* with k_B from acoustic gas thermometry or blackbody physics. (Adam/Eve vet
|
|
13
|
+
* 2026-07-05: GREEN/GREEN — factor-of-4 confirmed to < ppm.)
|
|
14
|
+
*
|
|
15
|
+
* @module bridges/be58-johnson-nyquist-confrontation
|
|
16
|
+
*/
|
|
17
|
+
import type { ObservationProvenance } from './observations/types.js';
|
|
18
|
+
/** CODATA 2014 Boltzmann constant (J/K) — the pre-2019 reference value. */
|
|
19
|
+
export declare const K_B_CODATA_2014 = 1.38064852e-23;
|
|
20
|
+
/** A JNT determination of k_B (J/K). @public */
|
|
21
|
+
export interface JNTObservation {
|
|
22
|
+
/** Measured k_B via the Nyquist relation (J/K). */
|
|
23
|
+
readonly k_B_measured: number;
|
|
24
|
+
/** 1σ absolute uncertainty (J/K). */
|
|
25
|
+
readonly sigma: number;
|
|
26
|
+
readonly provenance: ObservationProvenance;
|
|
27
|
+
}
|
|
28
|
+
/**
|
|
29
|
+
* NIST Johnson Noise Thermometry determination of k_B (Flowers-Jacobs et al.
|
|
30
|
+
* 2017): k_B = 1.3806429(69)×10⁻²³ J/K.
|
|
31
|
+
*
|
|
32
|
+
* @public
|
|
33
|
+
*/
|
|
34
|
+
export declare const JNT_FLOWERS_JACOBS_2017: JNTObservation;
|
|
35
|
+
/** Result of confronting BE-58 with a JNT k_B determination. @public */
|
|
36
|
+
export interface BE58ConfrontationResult {
|
|
37
|
+
/** The reference (CODATA) k_B the noise relation should reproduce (J/K). */
|
|
38
|
+
readonly predicted_k_B: number;
|
|
39
|
+
/** The JNT-measured k_B (J/K). */
|
|
40
|
+
readonly observed_k_B: number;
|
|
41
|
+
/** 1σ on the measurement (J/K). */
|
|
42
|
+
readonly sigma: number;
|
|
43
|
+
/** |predicted − observed| in units of σ. */
|
|
44
|
+
readonly residual_in_sigma: number;
|
|
45
|
+
/** Within 1σ. */
|
|
46
|
+
readonly withinObserved: boolean;
|
|
47
|
+
readonly observation: JNTObservation;
|
|
48
|
+
}
|
|
49
|
+
/**
|
|
50
|
+
* Confront BE-58's Johnson-Nyquist relation with a JNT determination of k_B.
|
|
51
|
+
* The bridge's factor-of-4 relation is "predicted" via the independently-known
|
|
52
|
+
* (CODATA) k_B; the JNT experiment "observes" k_B through the noise.
|
|
53
|
+
*
|
|
54
|
+
* @public
|
|
55
|
+
*/
|
|
56
|
+
export declare function confrontBE58(obs?: JNTObservation): BE58ConfrontationResult;
|
|
57
|
+
//# sourceMappingURL=be58-johnson-nyquist-confrontation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be58-johnson-nyquist-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be58-johnson-nyquist-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAErE,2EAA2E;AAC3E,eAAO,MAAM,eAAe,iBAAiB,CAAC;AAE9C,gDAAgD;AAChD,MAAM,WAAW,cAAc;IAC7B,mDAAmD;IACnD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,qCAAqC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,EAAE,cAUrC,CAAC;AAEF,wEAAwE;AACxE,MAAM,WAAW,uBAAuB;IACtC,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,kCAAkC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,mCAAmC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4CAA4C;IAC5C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,iBAAiB;IACjB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;CACtC;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,cAAwC,GAC5C,uBAAuB,CAWzB"}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
/** CODATA 2014 Boltzmann constant (J/K) — the pre-2019 reference value. */
|
|
2
|
+
export const K_B_CODATA_2014 = 1.38064852e-23;
|
|
3
|
+
/**
|
|
4
|
+
* NIST Johnson Noise Thermometry determination of k_B (Flowers-Jacobs et al.
|
|
5
|
+
* 2017): k_B = 1.3806429(69)×10⁻²³ J/K.
|
|
6
|
+
*
|
|
7
|
+
* @public
|
|
8
|
+
*/
|
|
9
|
+
export const JNT_FLOWERS_JACOBS_2017 = {
|
|
10
|
+
k_B_measured: 1.3806429e-23,
|
|
11
|
+
sigma: 6.9e-29, // absolute 1σ (69 in the last two digits of 1.3806429e-23); 5.0 ppm relative
|
|
12
|
+
provenance: {
|
|
13
|
+
citation: 'Flowers-Jacobs, Pollarolo, Coakley, Fox, Rogalla, Tew & Benz 2017, Metrologia 54:730, "A Boltzmann constant determination based on Johnson noise thermometry"',
|
|
14
|
+
year: 2017,
|
|
15
|
+
retrieved: '2026-07-05',
|
|
16
|
+
note: 'k_B measured via S_V=4k_BTR = 1.3806429(69)e-23 J/K, relative offset -4.05e-6 +/- 5.0e-6 from CODATA 2014 -> 0.81 sigma. NON-CIRCULAR: resistance traceable to the quantum Hall effect (BE-55), temperature to acoustic/ITS-90 thermometry, both independent of the noise relation. A deviation from the factor-of-4 relation would make this k_B inconsistent with acoustic-gas-thermometry k_B. Factor-of-4 confirmed to < ppm (Eve).',
|
|
17
|
+
},
|
|
18
|
+
};
|
|
19
|
+
/**
|
|
20
|
+
* Confront BE-58's Johnson-Nyquist relation with a JNT determination of k_B.
|
|
21
|
+
* The bridge's factor-of-4 relation is "predicted" via the independently-known
|
|
22
|
+
* (CODATA) k_B; the JNT experiment "observes" k_B through the noise.
|
|
23
|
+
*
|
|
24
|
+
* @public
|
|
25
|
+
*/
|
|
26
|
+
export function confrontBE58(obs = JNT_FLOWERS_JACOBS_2017) {
|
|
27
|
+
const predicted_k_B = K_B_CODATA_2014;
|
|
28
|
+
const residual_in_sigma = Math.abs(predicted_k_B - obs.k_B_measured) / obs.sigma;
|
|
29
|
+
return {
|
|
30
|
+
predicted_k_B,
|
|
31
|
+
observed_k_B: obs.k_B_measured,
|
|
32
|
+
sigma: obs.sigma,
|
|
33
|
+
residual_in_sigma,
|
|
34
|
+
withinObserved: residual_in_sigma <= 1,
|
|
35
|
+
observation: obs,
|
|
36
|
+
};
|
|
37
|
+
}
|
|
38
|
+
//# sourceMappingURL=be58-johnson-nyquist-confrontation.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be58-johnson-nyquist-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be58-johnson-nyquist-confrontation.ts"],"names":[],"mappings":"AAkBA,2EAA2E;AAC3E,MAAM,CAAC,MAAM,eAAe,GAAG,cAAc,CAAC;AAW9C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAmB;IACrD,YAAY,EAAE,aAAa;IAC3B,KAAK,EAAE,OAAO,EAAE,6EAA6E;IAC7F,UAAU,EAAE;QACV,QAAQ,EACN,+JAA+J;QACjK,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,yaAAya;KAChb;CACF,CAAC;AAiBF;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAsB,uBAAuB;IAE7C,MAAM,aAAa,GAAG,eAAe,CAAC;IACtC,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC;IACjF,OAAO;QACL,aAAa;QACb,YAAY,EAAE,GAAG,CAAC,YAAY;QAC9B,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,IAAI,CAAC;QACtC,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
/** Inputs for the Johnson-Nyquist voltage-noise PSD. @public */
|
|
2
|
+
export interface JohnsonNyquistInputs {
|
|
3
|
+
/** Temperature T (K), ≥ 0. */
|
|
4
|
+
readonly T_K: number;
|
|
5
|
+
/** Resistance R (Ω), ≥ 0. */
|
|
6
|
+
readonly R_ohm: number;
|
|
7
|
+
}
|
|
8
|
+
/** Result of evaluating the Johnson-Nyquist noise. @public */
|
|
9
|
+
export interface JohnsonNyquistResult {
|
|
10
|
+
readonly T_K: number;
|
|
11
|
+
readonly R_ohm: number;
|
|
12
|
+
/** One-sided voltage-noise power spectral density S_V = 4 k_B T R (V²/Hz). */
|
|
13
|
+
readonly S_V_V2_per_Hz: number;
|
|
14
|
+
}
|
|
15
|
+
/**
|
|
16
|
+
* Evaluate the one-sided Johnson-Nyquist voltage-noise PSD for a resistor R at
|
|
17
|
+
* temperature T.
|
|
18
|
+
*
|
|
19
|
+
* @public
|
|
20
|
+
*/
|
|
21
|
+
export declare function evaluateJohnsonNyquist({ T_K, R_ohm, }: JohnsonNyquistInputs): JohnsonNyquistResult;
|
|
22
|
+
//# sourceMappingURL=be58-johnson-nyquist.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be58-johnson-nyquist.d.ts","sourceRoot":"","sources":["../../src/bridges/be58-johnson-nyquist.ts"],"names":[],"mappings":"AAwBA,gEAAgE;AAChE,MAAM,WAAW,oBAAoB;IACnC,8BAA8B;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6BAA6B;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,8DAA8D;AAC9D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,8EAA8E;IAC9E,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,EACrC,GAAG,EACH,KAAK,GACN,EAAE,oBAAoB,GAAG,oBAAoB,CAK7C"}
|
|
@@ -0,0 +1,36 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Bridge Equation 58 — Johnson-Nyquist noise / fluctuation-dissipation
|
|
3
|
+
* (thermal fluctuation ↔ electrical dissipation).
|
|
4
|
+
*
|
|
5
|
+
* A resistor R in thermal equilibrium at temperature T generates a fluctuating
|
|
6
|
+
* voltage whose one-sided power spectral density is
|
|
7
|
+
*
|
|
8
|
+
* S_V = 4 k_B T R
|
|
9
|
+
*
|
|
10
|
+
* (frequency-independent in the classical/low-frequency limit). This is the
|
|
11
|
+
* fluctuation-dissipation theorem for an electrical circuit: the equilibrium
|
|
12
|
+
* voltage FLUCTUATIONS are fixed by the DISSIPATION (R). Discovered by Johnson
|
|
13
|
+
* 1928, derived by Nyquist 1928. (The catalog's BE-27 is the *speculative
|
|
14
|
+
* active-matter VIOLATION* of the FDT; BE-58 is the established theorem.)
|
|
15
|
+
*
|
|
16
|
+
* Closed-form evaluator (BE-51/52 pattern). Dimensional signature: S_V in V²/Hz
|
|
17
|
+
* = [L⁴ M² T⁻⁵ I⁻²]. Confronted via `be58-johnson-nyquist-confrontation.ts`
|
|
18
|
+
* (NIST Johnson Noise Thermometry k_B vs CODATA; Adam/Eve vet GREEN/GREEN —
|
|
19
|
+
* factor-of-4 confirmed to < ppm).
|
|
20
|
+
*
|
|
21
|
+
* @module bridges/be58-johnson-nyquist
|
|
22
|
+
*/
|
|
23
|
+
import { K_B_SI } from '../core/constants.js';
|
|
24
|
+
/**
|
|
25
|
+
* Evaluate the one-sided Johnson-Nyquist voltage-noise PSD for a resistor R at
|
|
26
|
+
* temperature T.
|
|
27
|
+
*
|
|
28
|
+
* @public
|
|
29
|
+
*/
|
|
30
|
+
export function evaluateJohnsonNyquist({ T_K, R_ohm, }) {
|
|
31
|
+
if (!(T_K >= 0) || !(R_ohm >= 0)) {
|
|
32
|
+
throw new Error('evaluateJohnsonNyquist: T_K and R_ohm must be ≥ 0');
|
|
33
|
+
}
|
|
34
|
+
return { T_K, R_ohm, S_V_V2_per_Hz: 4 * K_B_SI * T_K * R_ohm };
|
|
35
|
+
}
|
|
36
|
+
//# sourceMappingURL=be58-johnson-nyquist.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be58-johnson-nyquist.js","sourceRoot":"","sources":["../../src/bridges/be58-johnson-nyquist.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAkB9C;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,EACrC,GAAG,EACH,KAAK,GACgB;IACrB,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,GAAG,MAAM,GAAG,GAAG,GAAG,KAAK,EAAE,CAAC;AACjE,CAAC"}
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* BE-59 × Josephson voltage standard — confront the UNIVERSALITY, not the
|
|
3
|
+
* (post-2019 definitional) K_J.
|
|
4
|
+
*
|
|
5
|
+
* K_J = 2e/h is exact by the SI, so confronting its value is circular. The
|
|
6
|
+
* empirical content is that the Josephson frequency-to-voltage relation is
|
|
7
|
+
* UNIVERSAL — independent of junction material, geometry, and temperature. This
|
|
8
|
+
* universality is what lets Josephson arrays realise the volt reproducibly:
|
|
9
|
+
* international comparisons of independently-built Josephson standards agree to
|
|
10
|
+
* parts in 10⁹ or better. Consistency confrontation: the junction-to-junction
|
|
11
|
+
* ratio is 1 to within ~1×10⁻⁹. (Adam/Eve vet 2026-07-05: GREEN/GREEN.)
|
|
12
|
+
*
|
|
13
|
+
* @module bridges/be59-ac-josephson-confrontation
|
|
14
|
+
*/
|
|
15
|
+
import type { ObservationProvenance } from './observations/types.js';
|
|
16
|
+
/** A Josephson-volt universality (junction-independence) observation. @public */
|
|
17
|
+
export interface JosephsonUniversalityObservation {
|
|
18
|
+
/** Measured V(junction A)/V(junction B) ratio at the same drive, ≈ 1. */
|
|
19
|
+
readonly observed_ratio: number;
|
|
20
|
+
/** Relative agreement bound (the universality reproducibility). */
|
|
21
|
+
readonly relative_uncertainty: number;
|
|
22
|
+
readonly provenance: ObservationProvenance;
|
|
23
|
+
}
|
|
24
|
+
/**
|
|
25
|
+
* Josephson-voltage-standard universality: independently-realised Josephson
|
|
26
|
+
* standards (different junction materials/arrays) agree at the parts-in-10⁹
|
|
27
|
+
* level — a non-circular test of the 2e/h relation's material-independence.
|
|
28
|
+
*
|
|
29
|
+
* @public
|
|
30
|
+
*/
|
|
31
|
+
export declare const JOSEPHSON_UNIVERSALITY_BIPM: JosephsonUniversalityObservation;
|
|
32
|
+
/** Result of confronting BE-59 with a universality observation. @public */
|
|
33
|
+
export interface BE59ConfrontationResult {
|
|
34
|
+
readonly predicted_ratio: number;
|
|
35
|
+
readonly observed_ratio: number;
|
|
36
|
+
readonly relative_uncertainty: number;
|
|
37
|
+
readonly consistent: boolean;
|
|
38
|
+
readonly observation: JosephsonUniversalityObservation;
|
|
39
|
+
}
|
|
40
|
+
/**
|
|
41
|
+
* Confront BE-59's Josephson relation with a junction-universality test.
|
|
42
|
+
*
|
|
43
|
+
* @public
|
|
44
|
+
*/
|
|
45
|
+
export declare function confrontBE59(obs?: JosephsonUniversalityObservation): BE59ConfrontationResult;
|
|
46
|
+
//# sourceMappingURL=be59-ac-josephson-confrontation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be59-ac-josephson-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be59-ac-josephson-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAErE,iFAAiF;AACjF,MAAM,WAAW,gCAAgC;IAC/C,yEAAyE;IACzE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,mEAAmE;IACnE,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B,EAAE,gCAUzC,CAAC;AAEF,2EAA2E;AAC3E,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,gCAAgC,CAAC;CACxD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,gCAA8D,GAClE,uBAAuB,CAQzB"}
|