This release presents version 1.1 of The Is Framework, extending the type-theoretic reconstruction established in v1.0 through two main contributions: formal grounding of the scope of Feedback (F) and expansion of the falsifiability architecture. First, v1.1 formally delimits the domain of Feedback to the derived layers Difference (D), Structure (S), and Appearance (A). Within the type-theoretic reconstruction, Feedback acts on types, terms, relations, structures, judgments, and expressions within these derived layers, while leaving the pre-formal ground The Is (I) invariant. This is expressed by the invariance condition f(I) = I. Second, v1.1 expands the general falsifiability criteria introduced in v1.0 into three concrete falsification classes: C1 Difference-Free Structure, C2 Non-Type-Generating Difference, and C3 Ground-Violating Feedback. Each class specifies a hypothetical counterexample, explains why it would falsify the reconstruction, and provides a test criterion. The reconstruction remains explicitly interpretive and exploratory, not a claim of formal equivalence between The Is Framework and type theory. Figures 1–6 are inherited and updated from v1.0, while Figures 7 and 8 are newly introduced in v1.1 to clarify Feedback invariance and potential falsifiers. This release includes the full manuscript, README, and reproducible Python demo script for generating all eight illustrative figures.
Koji Okino (Thu,) studied this question.