Differential Validation

Differential Validation compares independently produced outputs so compiler,

runtime, and release artifacts cannot drift silently.

Self-Host Validation

The core self-host check compares:


build/stage2.oisa
build/stage3.oisa

Both files must be byte-for-byte equal.

The full self-host path also compares the ELF OISA compiler output against the

stage2 compiler output and checks the self-replicating ELF compiler builder.

Backend parity uses expected-output conformance cases across native, VM, direct

ELF, and WASM-shaped lowering.

Release validation compares generated hashes, manifest schemas, package

metadata, backend reports, ABI reports, app release candidate hashes, and docs

parity reports.