MJPS Thermodynamics - Verification and discovery
MJPS Thermodynamics / Indigo
MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida
VERIFICATION AND DISCOVERY
Bangel 0.1 MJPS component for bounded thermoelectric calculations, network proposals and deterministic reference simulation.
OBSERVED IN THIS PASS
Source/document inspection supplied identity, scope, references and documentary contract.
SPECIFIC ASSERTION TO EXECUTE
Unknown temperature and unverified calibration must remain HOLD rather than physical control commands.
EXPECTED BOUNDARY
Return a simulation proposal or HOLD with physical and authority effects NONE. This does not establish a physical controller or the full general-language grammar.
EVIDENCE RECORD REQUIREMENT
Fix test identity, source revision, input, expected assertion and applicable contract before execution. Preserve command, environment, observed outcome, exit status, transcript and artifact hashes. Report failed, held and skipped cases.
EXECUTION STATUS
Not run by authoring this sequence. Historical test counts remain historical. This new Indigo record follows recovered overview rules; native tests and results remain authoritative.
DISCOVERY NAMES
MJPS; Bangel Measurement Reference; Bangel Thermoelectric Reference; MJPS thermodynamic
These names aid search; current compiler naming remains Elsa.
SOURCE STATUS AND LIMITS
Current source inspected; these documentary bindings do not report newly executed software or physical tests.
Recovered status: implementation_source.
No physical controller, board backend or actuation is established.
SOURCE REFERENCES
- components/thermoelectric-reference/README.md · line 1
https://github.com/Mjos23/bangel-language/blob/229548f13a4856455b3d30d408cf845fb5b557fc/components/thermoelectric-reference/README.md#L1
- components/thermoelectric-reference/README.md · line 31
https://github.com/Mjos23/bangel-language/blob/229548f13a4856455b3d30d408cf845fb5b557fc/components/thermoelectric-reference/README.md#L31
RECOVERED HISTORICAL CONTEXT
- Historical scope: Package-native thermoelectric simulation combining Seebeck harvesting, Peltier heat pumping, uncertainty and bounded thermal/electrical optimization.
- Historical 0.2 package; physical effect and authority effect remained NONE, global JP acceptance MERGE_CANDIDATE, and bench/HIL/field gates remained held.
- Historical evidence has not been rerun in this discovery pass.
SEPARATE HISTORICAL CONTRACT OUTLINE
- ThermalBoundary — module and operating conditions
- ThermoelectricModel — Seebeck/Peltier parameters
- UncertaintyEnvelope — bounded temperature and model inputs
- SimulationReceipt — result, assumptions and effect ceiling
IF
A thermoelectric module is evaluated under declared thermal and electrical conditions.
HOW
Apply the documented package formulas and uncertainty bounds, keeping steady and transient coverage distinct.
THEN
Return the bounded simulation result and retain the separate hardware-validation requirements.
This historical outline is separate from the current-source contract above. It does not establish native integration or newly executed results.