Списъкът е филтър: запазено ⟺ вярно; запазени + пречистени = всичко
Всеки артефакт се запазва само ако е доказан — неговото изчисление издържа; всичко недоказано се пречиства. Моделът и неговият интерфейс остават чисто доказателство, а портите балансират, когато остане само доказаното.
деклариран, поставен, монтиран и преизчислим от името на компонента.
Печат на ковачницатаT_max = ∞commands 108 · gates 432 · source files 110 · papers 432 · references 432 · diamonds 1024 · skill atoms 267 · referenced units 2034 · harmonic rungs 20
✓ доказаноbd408945-4354-84b6-ac51-db7975b36691