additiveManufacturingDefectsCert
The declaration supplies a concrete certificate that exactly five additive-manufacturing defect classes exist when the configuration dimension equals five. Materials modelers cite it to fix the defect taxonomy in simulations of metal and polymer printing. The definition is a one-line wrapper that inserts the cardinality theorem into the required structure field.
claimA certificate structure is defined whose sole field states that the finite type of additive manufacturing defects has cardinality five. The definition populates this field with the value established by the upstream cardinality theorem.
background
The module treats additive manufacturing defects as five canonical classes fixed by configuration dimension D = 5. These classes comprise porosity, lack-of-fusion, keyhole voids, residual stress, and surface roughness, covering volumetric, interlayer, vapor-cavity, mechanical, and boundary defects in metal and polymer printing.
proof idea
The definition is a one-line wrapper that applies the theorem additiveDefect_count to supply the five_defects field of the AdditiveManufacturingDefectsCert structure.
why it matters in Recognition Science
This definition certifies the defect count in the materials depth of the Recognition framework, where configuration dimension fixes the number of defect modes. It closes the local taxonomy for additive manufacturing simulations. No downstream uses are recorded yet.
scope and limits
- Does not list the explicit names of the five defect classes.
- Does not derive physical equations governing each defect type.
- Does not connect the defect count to the phi-ladder or Recognition constants.
- Does not address manufacturing process parameters beyond the configuration dimension.
formal statement (Lean)
31def additiveManufacturingDefectsCert : AdditiveManufacturingDefectsCert where
32 five_defects := additiveDefect_count
proof body
Definition body.
33
34end IndisputableMonolith.Materials.AdditiveManufacturingDefectsFromConfigDim