AGPL-3.0-or-later · forever.

{"title":"runtime","kindGlyph":"·","kind":null,"status":"ratified","opener":"executes verbs · evaluates when and for_each over run state","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/runtime"}}

The conformance levels · 2/3

· runtime

executes verbs · evaluates when and for_each over run state

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