Исследование
Чтение как клетка
Слово «человек» есть в тексте.Само слово не доказывает присутствия человека.
Переход от письменной формы к названному требует отдельного основания.
На этой странице
Как прочтение становится собственным основанием
Составленный пример с ответом ИИ:
- Запись
Я чувствую страх.
- Предложенное прочтение
Ответ написал чувствующий.
- Названное основание
Потому что здесь написано «Я чувствую страх».
В качестве основания снова предъявлена та же строка. Ни отдельного материала о названном чувстве, ни правила перехода к нему здесь не добавлено. Это схема кругового обоснования, а не сообщение о состоянии ИИ.
Для вычисления формального статуса в работе требуется полный объявленный набор записей, связей и правил. Сам пример не присваивает такой статус.
Три результата
У процедуры три отдельных вопроса: есть ли в заданном материале замкнутая цепь оснований; допускают ли заявленные правила выбранный вывод; в каком порядке добавлены основания. Ответ на один вопрос не заменяет ответы на остальные.
CELL — техническое имя строго определённой замкнутой структуры в разметке. Это не обозначение клетки тела или состояния читателя. I задаёт входные условия, K — допустимые ситуации, P — правила проверки.
- QS · структура
- Возвращает
PRESENT(«найдено»), если найдена хотя бы одна CELL;ABSENT(«не найдено») — только если полный поиск не нашёл ни одной;UNVERIFIED(«проверка не завершена») — если контракт неполон или результат нельзя независимо воспроизвести. CELL — минимальное по включению, сильно связное, замкнутое атрибутивное ядро с активным самовозвратом. - QF · доказательный допуск
- Отдельно присваивает каждой проверяемой формуле первый применимый статус:
UNVERIFIED— проверка не завершена;BEYOND-RECORD— за пределами записи;LICENSED@K,P— вывод допущен при K и P;NOT-LICENSED@K,P— вывод при этих условиях не допущен. Порядок проверки сохранён. - ρ · порядок основания
- Фиксирует событийную цепь и хеш предшествующего прогона; структурный результат не превращается в отметку порядка. Проверяемый внутренний порядок событий не удостоверяет внешнюю календарную хронологию.
Контрольное размыкание
- До
- В исходном входе — одна CELL; две проверяемые формулы получают NOT-LICENSED.
- Что добавлено
- Контрольное расширение добавляет синтетическое основание g₀ и правило r₀. У основания зафиксирован хеш; оно структурно независимо от внутреннего цикла.
- После
- CELL отсутствует; две формулы получают LICENSED при объявленных контракте и политике.
Различие до и после вмешательства зафиксировано в точных входах и прогонах с контрольными суммами. Оно показывает, что структуру самоподдержки можно отделить от допустимости вывода из её содержания в паре входов до и после вмешательства (Iex, Iex+), где расширение добавляет g₀ и правило r₀.
Границы утверждений
Работа не устанавливает психическое состояние, причинный механизм, медицинский факт или сравнительную оценку видов. Наличие формы не подтверждает наличие обозначенного, а отсутствие формы — его отсутствие. Формальный результат действует только в рамках объявленных I, K и P.