Kostiantyn Osmolovskyi

Verification Package Overview for the General Theory of Cognitive Structuring

This document is the front map of the Version 2.0 verification package accompanying the General Theory of Cognitive Structuring (GTCS). It identifies the current companion documents, explains their division of labor, and provides reading routes for questions concerning terminolog...

Acyclicity Statement and Dependency Criteria for the General Theory of Cognitive Structuring

This document specifies how paper-level dependency is identified within the General Theory of Cognitive Structuring (GTCS) and states the acyclicity properties of the current owner-paper dependency architecture. A registered dependency is based on an actual audited import from on...

External Verification Checklist for the General Theory of Cognitive Structuring

This document is a reviewer-facing audit instrument for the Version 2.0 General Theory of Cognitive Structuring (GTCS) corpus and verification package. It converts the procedural guidance of *How to Verify the GTCS* into concrete checks covering package identity, terminology, dep...

Proof Notes for the General Theory of Cognitive Structuring

This document provides the proof and derivation routes associated with the stable result inventory of the Version 2.0 General Theory of Cognitive Structuring (GTCS). For each registered result, it records the relevant assumptions, proof or derivation method, imported proof depend...

Dependency Tables and Node Registry for the General Theory of Cognitive Structuring

This document provides the canonical node and dependency registry for the Version 2.0 General Theory of Cognitive Structuring (GTCS) corpus. It identifies the thirteen owner papers and the synthesis document, assigns stable package-facing node identifiers, and records the typed r...

How to Verify the GTCS. A Procedural Guide for the General Theory of Cognitive Structuring

This document provides a procedural guide for external verification of the Version 2.0 General Theory of Cognitive Structuring (GTCS) corpus. It specifies how to move from a verification question to the document that actually owns the relevant term, dependency, formal signature,...