AGPL-3.0-or-later · forever.

{"title":"core","kindGlyph":"·","kind":null,"status":"ratified","opener":"parse · validate · DAG · variables · typed errors · no execution","rows":[{"label":"set","links":[{"label":"The conformance levels","href":"/proof"}]},{"label":"layer","value":"proof"},{"label":"member-of →","links":[{"label":"The conformance levels","href":"/proof"}]}],"door":{"label":"open the page","href":"/conformance/core"}}

The conformance levels · 1/3

· core

parse · validate · DAG · variables · typed errors · no execution

ratified · derived from the pinned spec and the released engine · re-proven at every push

set: The conformance levels
layer: proof
member-of →: The conformance levels

open the page