CertificateWordRegistrationTemplates

Abstract

Six finite readouts retain every code of a certificate word.

Definition 1.1 (certificateSignature).

Lean statement: D5/S3/ConceptDynamics/InformationEscape/CertificateWordRegistrationTemplates.certificateSignature

Formalization. D5/S3/ConceptDynamics/InformationEscape/CertificateWordRegistrationTemplates.certificateSignature (✓ std3).

Source. Repository-derived.

Commentary.

The signature has six CUT positions, each returning one value in Fin 5, and has no anchor positions.

Definition 1.2 (certificateWordRealization).

Lean statement: D5/S3/ConceptDynamics/InformationEscape/CertificateWordRegistrationTemplates.certificateWordRealization

Formalization. D5/S3/ConceptDynamics/InformationEscape/CertificateWordRegistrationTemplates.certificateWordRealization (✓ std3).

Source. Repository-derived.

Commentary.

The realization reads the supplied certificate word at the selected position without replacing, aggregating, or classifying its code.

References

• Truth anchor: D5/S3/ConceptDynamics/InformationEscape/CertificateWordRegistrationTemplates.certificateSignature
• Truth anchor: D5/S3/ConceptDynamics/InformationEscape/CertificateWordRegistrationTemplates.certificateWordRealization
• Dependency: D5/S3/ConceptDynamics/InformationEscape/TheoremUnit
• Dependency: D5/S3/ConceptDynamics/RegistrationWitnesses