Minimal Claims Register for the General Theory of Cognitive Structuring
Abstract
This document states the minimal public claim surface supported by the current Version 2.0 General Theory of Cognitive Structuring (GTCS) corpus. It is deliberately narrower than the full result inventory: instead of reproducing every stable formal result, it formulates a compact set of owner- and synthesis-level public claims together with the formal or architectural basis, verification domain, and explicit limits on what each claim licenses. The register represents all thirteen owner papers and the synthesis, including papers whose principal current contribution is definitional, constructive, interface-level, or boundary-setting rather than a registered `GTCS-RES-*` result. It also includes a small number of package-governance claims needed to describe the current dependency and verification architecture. Local claim labels are navigation devices within the register and are not new GTCS result or theorem identifiers. A claim in this register must be narrower than or equal to the scope supported by its owner source, result basis, and boundary constraints. The register therefore does not replace exact result statements, proofs, proof-status records, or empirical evidence, and appearing in the register does not give a claim a stronger formal class. Its purpose is to provide a concise public-facing statement of what the current corpus is prepared to claim directly.
// Source
Authors: Kostiantyn Osmolovskyi