JO Proof and Verification - Terminology and reconciliation
JO Proof and Verification / Grey
MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida
CANONICAL PROJECT NAME
JO Proof and Verification
DEFINITION
Historical type, unit, proof, test and evidence-verification family, including bounded runtime results in the original papers.
RELATIONSHIP
Preserve the source JO role while linking its runtime lineage to current Joanna.
CURRENT FAMILY TERMINOLOGY
MJ Physics Engineering: company identity.
Bangel Language: language identity.
Elsa: the compiler.
JP: the explicitly versioned representation; protocol and profile remain distinct.
Joanna: runtime, processing and execution evidence.
MJos Operating System: operating-system identity; the name does not establish a bootable implementation.
MJos Predictive Model: separately identified predictive model; forecasts remain distinct from observations and authority.
MJ: governing context and bounded permission where an applicable profile supplies it.
PROJECT TYPES
- ProofScope: named historical contract
- TypedCAPO: exact representation identity
- EvidenceSet: assertion-bound artifacts
- VerificationReceipt: result and unresolved prerequisites
EQUIVALENCE RULE
Related names aid discovery. They do not merge capability, mathematical meaning, evidence state or permission boundaries.
DISCOVERY NAMES
JO; JO-RUNTIME; JO_PROOF_RECEIPT
These names aid search; current compiler naming remains Elsa.
SOURCE STATUS AND LIMITS
Historical reference or specification recovered. Its source status remains visible and is not promoted to a current standalone implementation.
Recovered status: documented_historical_reference.
Do not state that every JO verification meaning is identical to Joanna execution.
SOURCE REFERENCES
- Recovered nonwhite collection, page 1304
https://drive.google.com/file/d/1RpxuVZjdCHSITNXIZZuWacJ1BNBAPCLv/view#page=1304
- Recovered nonwhite collection, page 7062
https://drive.google.com/file/d/1RpxuVZjdCHSITNXIZZuWacJ1BNBAPCLv/view#page=7062
- Recovered nonwhite collection, page 1378
https://drive.google.com/file/d/1RpxuVZjdCHSITNXIZZuWacJ1BNBAPCLv/view#page=1378