Involutive Blind Residual

Abstract

Hidden involutions generate blind residuals and primitive semantic escape.

Theorem 1.1 (Structured negation generates the full escape chain).

$$\begin{array}{c}\forall negation:\mathrm{InvolutiveNegation}\left(X\right),\\ Gamma:\mathrm{Set}\left(\mathrm{Concept}\left(X,InputOutput\right)\right),\\ current:\mathrm{Concept}\left(X,Current\right),\\ target,candidate:\mathrm{Concept}\left(X,Bool\right),\\ (\mathrm{Nonempty}\left(X\right)\wedge \mathrm{HiddenReadout}\left(negation,current\right)\wedge \mathrm{FamilyHidden}\left(negation,Gamma\right)\wedge \\ \mathrm{NegatingReadout}\left(negation,target\right)\wedge \mathrm{NegatingReadout}\left(negation,candidate\right))\Rightarrow \\ (\mathrm{Nonempty}\left(\mathrm{blindResidual}\left(Gamma,current,target\right)\right)\wedge \\ \mathrm{ProductiveSeparation}\left(Gamma,current,target,candidate\right)\wedge \\ \mathrm{PrimitiveEscape}\left(Gamma,candidate\right)).\end{array}$$

Proof. Machine-checked in Lean as D5/S3/ConceptDynamics/Negation/InvolutiveBlindResidual.structured_negation_escape_chain (✓ std3). ∎

Source. Repository-derived.

Commentary.

Assume an inhabited source, an involutive negation hidden by the current readout and every definition in the old family, and Boolean target and candidate readouts that both negate along the same orbits.

Any source point and its involutive partner agree for the current readout and the whole old family, while the negating target distinguishes them. That pair therefore inhabits the target blind residual.

The negating candidate also distinguishes the pair, producing a productive separation. The accepted separation theorem then places the candidate outside the complete semantic closure of the old definition family.

The conclusion packages exactly these three claims: nonempty blind residual, productive separation, and primitive escape. It does not assert escape without the hiddenness, negating, or inhabited-source hypotheses displayed in the antecedent.

References

• Truth anchor: D5/S3/ConceptDynamics/Negation/InvolutiveBlindResidual.structured_negation_escape_chain
• Dependency: D5/S3/ConceptDynamics/DefinitionEscape/DefinitionKernelGalois
• Dependency: D5/S3/ConceptDynamics/Negation/OrbitOrientation