{"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":"/conformance/core"},{"label":"runtime","href":"/conformance/runtime"},{"label":"stdlib","href":"/conformance/stdlib"}]},{"label":"member-of →","links":[{"label":"The proof","href":"/proof"}]}],"door":{"label":"open the page","href":"/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 /proof; this root lists the rooms.

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

the rooms

3 doors

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