Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Recurso digital |
| Язык: | |
| Опубликовано: |
Zenodo
2026
|
| Предметы: | |
| Online-ссылка: | https://doi.org/10.5281/zenodo.19976928 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Оглавление:
- <p>Abstract<br>The CKS pattern's AI-as-substrate-mediator commitment is articulated in the parent foundational note<br>(A1.04) as a single role with five constitutive properties: (A) the LLM reads from substrate as primary<br>state; (B) the LLM writes under orchestration rules; (C) the LLM holds no substrate-relevant state<br>outside the substrate; (D) the LLM exercises no authority over substrate content; (E) LLM writes are<br>recorded with attribution. This note formalizes the structural property that makes the five-property<br>treatment compositional: each property has independent operational content — a counterfactual<br>implementation can fail any one while preserving the other four, with a specific failure mode — and yet<br>all five together are jointly necessary, since no proper subset suffices to keep the LLM in the mediator<br>position the source paper commits to. The note states the severability argument property by property,<br>the joint-necessity argument as a closed-loop dependency, distinguishes the severable-set frame from<br>three adjacent treatments, specifies how each cross-claim connection from §4.2 grounds in a specific<br>property-subset, and provides an operational test at the parent-frame level. The five property-specific<br>operational tests are deferred to A2.19–A2.23.</p>