Bangel Physics Lab - IF / HOW / THEN logic
Bangel Physics Lab / Teal
MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida
IF / HOW / THEN CONTRACT
IF
A learner changes a documented example or experiment.
HOW
Explain the governing rule, preserve input units and assumptions, and label executed examples separately from candidate language exports.
THEN
Show the result, comparison and evidence appropriate to the supported lesson.
TYPED EVIDENCE
- Lesson — concept and versioned source
- ExperimentInput — value, unit and assumption
- ExampleResult — computed or illustrative output
- LearningEvidence — execution environment and limits
FAILURE AND MISSINGNESS
Preserve UNKNOWN separately from zero and source identity separately from truth. Missing required evidence remains a typed error or HOLD under the named profile. Failed permission remains DENY.
PROJECT CHALLENGE
Enter physically incompatible units in a formula example; produce an explicit constraint result rather than a plausible-looking numerical answer.
RECONCILIATION
Append later results or discrepancies to the original evidence; do not rewrite a prediction into an earlier observation.
DISCOVERY NAMES
Bangel Physics Lab
These names aid search; current compiler naming remains Elsa.
SOURCE STATUS AND LIMITS
Recovered historical design and project records informed this documentary profile. Original conversations remain private; current implementation and reported historical tests were not rerun.
Recovered status: historical_report_not_fresh_verification.
Historical 100-method local lab; native execution coverage differed by language and checkpoint. Historical evidence has not been rerun in this discovery pass.
SOURCE REFERENCES
PUBLIC SOURCE NOTE
Recovered historical design and project records informed this documentary profile. Original conversations remain private; current implementation and reported historical tests were not rerun. This edition publishes the reconciled project description, without redistributing private messages or unverified release URLs.