Quantominarium

ONTOMETRIA / FUNCTIONAL VALIDATOR

Онтометричний валідатор фіксацій. Подане не тлумачиться. Подане проходить контур.

Core: CORPUS PURUS Reformatio: x̃ / x / x° / χ⁺(x) / Neu(x) / Neb(x̃) Shortcode: [quantominarium]

Input(x̃) ⊢ Candidate(x̃) ⊢ Extract(x, x̃) ⊢ Occ(x)? ⊢ x = x? ⊢ Є(x)? ⊢ x° / χ⁺(x) / Neu(x) / Neb(x̃)

Інструкція користування

Оператор не пояснює подане. Оператор фіксує контур.

Внести x̃. Без прикрашання. Без психологічної підміни. Без розширення об’єкта.
Виділити мінімальне x. Фіксація не дорівнює коментарю до фіксації.
Вказати підставу виділення. Немає підстави — немає дисциплінарного допуску.
Перевірити Occ(x). Подане має мати обставність, а не лише інтонацію.
Перевірити x = x. Фіксація не змінює значення під час проходження контуру.
Перевірити Reg(x) / x°. Реєстрація не передує валідності.
Замкнути guard-locks. Об’єкт, символи, підстави й межі не змішуються.
Натиснути Обчислити контур. Вихід протоколу не є думкою оператора.

Вихід є режимом поданого: x°, χ⁺(x), Neu(x) або Neb(x̃).

01/ InputLock

Назва перевірки x̃ — ікс-фантом / подане до виділення Контекст / межі перевірки

02/ Extractio

x — виділена фіксація Підстава виділення x з x̃

Candidate(x̃) утримано Extract(x, x̃) можливе

03/ Conturus

Occ(x)

x = x

Reg(x) / x° допустиме

04/ Guard Locks

ObjectLock: об'єкт не підмінено SymbolLock: символи не змішані ReasonLock: підстави вказані AntiInflatio: немає метафізичного роздування

Дисциплінарні примітки оператора

NEBx̃ / туманність

EXITVS PROTOCOLLI

0/8

Класифікація

Туманність: контур ще не обчислено; подане не внесено або фіксацію не виділено.

Формула виходу

Input(x̃) ⊢ Candidate(x̃)? ⊢ ¬Extractable(x̃) ⊢ Neb(x̃)

Протокол

QUANTOMINARIUM / КВАНТОМІНАРІЙ
Version: 0.1.22
Core: ONTOMETRIA. CORPUS PURUS
Reformatio: x̃ / x / x° / χ⁺(x) / Neu(x) / Neb(x̃)

Title: —
x̃: —
x: —
Exitus: Neb(x̃)
Score: 0/8
Formula: Input(x̃) ⊢ Candidate(x̃)? ⊢ ¬Extractable(x̃) ⊢ Neb(x̃)

Quantominarium 0.1.16. Shortcode: [quantominarium].