Concept
Deterministic Compiler
A compilation system that always produces the same output for the same input and introduces no randomness or environment-dependent state during compilation. It is a prerequisite for program verifiability.
Timeline (last 90 days)
Oct 16
SemDraft uses a deterministic compiler to verify the recovered edit action sequence, requiring that the action sequence can compile the first pattern into the second pattern.
Unverified50%