TR-CORE-EGO-ENERGY / Teal / Review draft

MJ-EGO-REV energy ledgers

Terminology revised · September 12 evidence

Later individual Teal rerun. The reported execution status is historical and is not a new test result.

TEAL LIBRARY RERUN  |  12 SEPTEMBER 2026  |  Michael Patrick Bangel
27
TEAL-RERUN-03-B002 | SOURCE_REVIEW_ONLY
TR-CORE-EGO-ENERGY / MJ-EGO-REV energy ledgers
IF
A vehicle-model energy, battery, thermal or mechanical input is supplied.
HOW
Reconcile input, stored, load and loss terms with source-defined bounds and missingness. Keep the P2 direct
mechanical path and bidirectional motor-generator as separate modeled paths.
THEN
Return a simulation/accounting decision and residual. Source example values and physical vehicle
performance are distinct.
CURRENT EVIDENCE
This requirement paper is source-grounded. Native .NET, C++/Rust/R host checks and physical execution
were not rerun.
REMAINING REQUIREMENT
Use the source and recorded case evidence to close remaining per-branch, native-host and full-contract coverage gaps.
SOURCE REFERENCES
associated-core:products/ego-rev/bangel/ego.bangel

Publication is pending owner review. White papers are excluded.