Scientific corrigendum / reproducible hardening / bilingual
Scientific Corrigenda and Regression Hardening
ARQ M2, MOT-c and C-Calculus. Version 1.0, 5 September 2026.
Corrected editions, preserved history
This author-issued supplement corrects three scientific-document families. It includes four complete corrected reading editions, their PDF projections, unchanged source snapshots, exact edits and 29 focused first-party regression tests.
The earlier DOI files and release identifiers remain unchanged. This is not a complete new version of either parent compound package. This correction supplement is published on Zenodo as version DOI 10.5281/zenodo.22402601; all-versions DOI 10.5281/zenodo.22402600.
Author: Ivan Kotov · ORCID 0009-0009-6002-9845. New explanatory text: CC BY 4.0; new maintenance code: MIT; reproduced sources retain their original attribution and licenses.
Citation: Ivan Kotov, Scientific Corrigenda and Regression Hardening for ARQ M2, MOT-c and C-Calculus, version 1.0. DOI 10.5281/zenodo.22402601 · Zenodo record.
Corrections
What changed
ARQ M2: initial state and resource accounting
The retention expression now includes the initial retained state. The irreversibility term is divided by its positive minimum per-commit cost. Each included budget term must constrain the same counted set; finite rewritable storage is not a lifetime update-count limit.
MOT-c: LATENT in the English and Russian examples
Appendix A now represents all fifteen lifecycle states. The separate machine schema already included LATENT and has not been changed. LATENT is not suspension, abandonment or archiving.
C-Calculus: relation types and finite traces
Snapshot equivalence, lineage, directed continuation and threshold resemblance are not all mathematical equivalence relations. The observed-adjacency denominator now explicitly excludes the terminal event without a successor. Hard guards, unknown-value handling and admission algorithms are unchanged.
Two accompanying clarifications
O12 remains assigned to corpus-control; Personality Formation receives O13 in the text and machine index. The bounded-summary substitution test measures replacement/compression costs, not a formation-path effect under unproved information parity.
Download
Complete correction package
Complete ZIP: corrected documents, PDFs, sources and checks · ZIP SHA-256
Archive SHA-256: ca1e741f7d4f2dbf76a4a66fed7a5d83cf37e599e0fc4552bbca5aaa59b4ffde
- 04 C CONTINUITY METRIC AND EQUIVALENCE SEMANTICS v0 1 2
- ARQ System Models and Assumptions v0.2
- CORRIGENDUM EN
- CORRIGENDUM RU
- MOT c Foundation Theory v0 1 EN
- MOT c Foundation Theory v0 1 RU
English Markdown corrigendum · Русская ведомость исправлений · Exact source bindings · Literal edits · Regression test output
Commit-pinned public repository package · GPG-verified acceptance commit · SER-owned ARQ correction notice
Source and claim boundary
What the checks establish
The final build obtained exact commit-pinned public GitHub source bytes and matched their recorded sizes and SHA-256 values. Full Zenodo deposit archives were not retrieved in this correction exercise. Exact ARQ M2 membership in a particular deposit remains unresolved; the c[q] addendum DOI is not substituted.
These are first-party document and example regressions, not independent scientific peer review, production runtime validation, a native 07c checker result or a c-versus-baseline experiment. No new consciousness, identity, same-c continuity, safety certification, c-specific effect or economic-value result is claimed.
Historical works: MOT-c v0.1 · C-Calculus full stack v0.1 · Origin-Neutral Recognition note. Cite their old versions for historical wording and this supplement for the corrections.
По-русски
Что исправлено
В ARQ восстановлено начальное состояние и согласованы единицы бюджета. В обоих приложениях MOT-c возвращено существующее состояние LATENT; правильная машинная схема не менялась. В C-Calculus разведены разные математические отношения и уточнён учёт конечной трассы.
Это прозрачное исправление опубликованного корпуса, а не переписывание прошлого. Старые DOI и их файлы сохранены. Архив содержит полные исправленные тексты и PDF, а не только список замечаний. DOI дополнения: 10.5281/zenodo.22402601; общий DOI всех версий: 10.5281/zenodo.22402600.
На стройке новая редакция чертежа не меняет задним числом старый акт осмотра. Здесь тот же принцип: точная старая версия, явная поправка, проверяемый новый файл.