{"title":"The conformance levels","kindGlyph":"≡","kind":null,"status":"ratified","opener":"Conformance nests: core parses and validates, runtime executes, stdlib proves the library. A higher level includes every lower one · the fixtures are the contract, not the prose.","rows":[{"label":"layer","value":"proof"},{"label":"member-of ←","links":[{"label":"core","href":"/language/conformance/core"},{"label":"runtime","href":"/language/conformance/runtime"},{"label":"stdlib","href":"/language/conformance/stdlib"}]},{"label":"member-of →","links":[{"label":"The proof","href":"/how/proof"}]}],"door":{"label":"open the page","href":"/how/proof"}}

the registers

The conformance levels.

Conformance nests: core parses and validates, runtime executes, stdlib proves the library. A higher level includes every lower one · the fixtures are the contract, not the prose. The teaching lives on /how/proof; this root lists the rooms.

3membersone room each
ratifiedthe clockre-proven at every push
/how/proofthe teaching hubwhere the register is taught
language/conformancethe familythis root lists its rooms

the rooms

3 doors

core
parse · validate · DAG · variables · typed errors · no execution
runtime
executes verbs · evaluates when and for_each over run state
stdlib
proves the v0.1 library surface · the production default

The whole lens lives in the map. Read the spec →