Finite Formal Jets and a Bounded Two-Operator Defect

Abstract

Original English methodological note on finite formal jets and a bounded two-operator defect. The PDF derives finite jet multiplication, an inverse criterion, projection, and a noncommuting two-operator composition defect step by step. A 4,096-case GF(2) associativity fixture and one rational-matrix witness were rerun locally; the full archived pytest suite was not rerun. These are bounded algebraic checks of standard constructions, not a new number field, a universal theorem established by finite tests, or physical-energy validation. Only this newly original explanatory PDF is deposited; source code, earlier archives and third-party material are not included or relicensed. CC BY 4.0 applies solely to this PDF. Riccardo Giudici is responsible for the presentation as an independent SIGMA systems orchestrator; computational and AI assistance is disclosed. No institutional endorsement is claimed.