crates.sage_oracle_harness.crate
4 anchors
| Anchor | Implementation | Tests |
|---|---|---|
| crates.sage_oracle_harness.crate (4) | 4 Implemented2 TODO | 1 Implemented4 TODO |
deterministic_emission | Implemented | TODO |
Determinism is an emitter responsibility. Each side chooses stable definition identities and semantic ordering before emission, including forward references. The comparator never sorts, renumbers, or otherwise repairs nondeterministic or order-dependent output. | ||
exact_comparison | ImplementedTODO | ImplementedTODO |
Conformance is exact identity of independent emissions. Sage and rustc each produce and validate a complete value in the shared semantic schema, serialize it deterministically, and pass only when the serialized bytes are identical. A structural or textual diff may diagnose inequality but cannot decide equality. | ||
fixed_projection | Implemented | TODO |
Each adapter is a fixed projection into the shared model. An emitter may translate its native identities, adjustments, and deliberately deferred lifetime representation, but the projection cannot inspect the other output or erase a distinction merely because Sage does not yet match it. Missing shared vocabulary is repaired by extending the schema and both independent projections. | ||
independent_coverage | ImplementedTODO | TODO |
Equality is accepted only after independent coverage. Each emitter accounts for every in-scope item and body and rejects forbidden placeholders before comparison. Paired omission, paired unsupported nodes, or paired debug fallback values therefore cannot satisfy conformance even if the remaining serialized bytes agree. | ||