Primitive Law Witness Predicates

Abstract

Law variation and exact slot sensitivity over a single primitive signature.

Definition 1.1 (Law variation).

Lean statement: D5/S3/ConceptDynamics/RegistrationWitnesses.FiniteLawVariation

Formalization. D5/S3/ConceptDynamics/RegistrationWitnesses.FiniteLawVariation (✓ std3).

Source. Repository-derived.

Commentary.

Two realizations of the same signature satisfy and violate the law.

Definition 1.2 (Exact slot sensitivity).

Lean statement: D5/S3/ConceptDynamics/RegistrationWitnesses.FiniteSlotSensitivity

Formalization. D5/S3/ConceptDynamics/RegistrationWitnesses.FiniteSlotSensitivity (✓ std3).

Source. Repository-derived.

Commentary.

Each readout or anchor can change the law while every other coordinate is held fixed.

References

• Truth anchor: D5/S3/ConceptDynamics/RegistrationWitnesses.FiniteLawVariation
• Truth anchor: D5/S3/ConceptDynamics/RegistrationWitnesses.FiniteSlotSensitivity
• Dependency: D5/S3/ConceptDynamics/InformationEscape/TheoremUnit