Което не е доказано, се пречиства
Всеки артефакт се запазва само ако е доказан — неговото изчисление издържа; всичко недоказано се пречиства. Моделът и неговият интерфейс остават чисто доказателство, а портите балансират, когато остане само доказаното.
деклариран, поставен, монтиран и преизчислим от името на компонента.
Печат на ковачницатаT_max = ∞commands 108 · gates 432 · source files 110 · papers 432 · references 432 · diamonds 1024 · skill atoms 221 · referenced units 2034 · harmonic rungs 20
✓ доказано4a5c9d64-f813-8d71-a37d-d5a92a3db30b