A.6.B:8.4.4 - Example 2 — Mechanical engineering (fit / coaxiality)
A.6.B:8.4.4.1 - Draft sentence (non-conformant)
“This fit ensures coaxiality.”
A.6.B:8.4.4.2 - Atomize + Classify
L-FIT-01 (Definition).
coaxiality is defined relative to a declared base axis and measurement method (datum scheme, instrument, tolerance zone).
(Truth-conditional: “what it means”.)
L-FIT-02 (Interface and boundary structure). The boundary relation involves shaft, bushing, datum axis, tolerance class, temperature window, assembly procedure class. (Signature-level arity recovery / slots.)
A-FIT-01 (Gate predicate). The coaxiality claim is admissible only if manufacturing and assembly satisfy the declared process envelope: material batch, temperature window, tool calibration validity, surface finish class, alignment procedure version. (Gate predicate; can be checked using evidence, but is not itself evidence.)
D-FIT-01 (Duty).
Admitted production-engineering system ProcessEngineer-A is the actual duty bearer of separately obtaining ProcessEnvelopeCommitment-FIT-01 : U.Commitment; it SHALL ensure A-FIT-01 holds for the production lot and SHALL not release the lot for use when A-FIT-01 is false.
(References A-FIT-01.)
E-FIT-01 (Evidence carriers).
For CoaxialityEvaluation-L123 over lot L123 and Γ_time=[t1..t2], actual carriers CMMReport-L123, CalibrationCertificate-C7, AssemblyLog-L123, TemperatureTrace-L123, and DatumSchemePin-D4 were produced or observed. An A.10 evidence-provenance path links those exact carriers to CoaxialityEvaluation-L123 and its CoaxialityResult-L123.
(References A-FIT-01 and L-FIT-01; avoids RFC deontics.)
D-FIT-02 (Duty-to-evidence linkage).
Admitted quality-engineering system QualityEngineer-A is the actual duty bearer of separately obtaining FitEvidenceRetentionCommitment-02 : U.Commitment; it SHALL retain or expose the carriers referenced in E-FIT-01 for the production lot.
(References E-FIT-01 by ID.)
E-FIT-02 (Observed).
For lot L123 and window Γ_time=[t1..t2], under conditions pinned to A-FIT-01 and using carriers in E-FIT-01, CoaxialityEvaluation-L123 produced CoaxialityResult-L123: measured coaxiality was within tolerance zone T (interpreted per L-FIT-01).
(References A-FIT-01, L-FIT-01, and E-FIT-01.)
A.6.B:8.4.4.3 - Readable recomposition
Tech bundle:
- Meaning of coaxiality:
L-FIT-01. - Boundary arity and participants:
L-FIT-02. - When the claim is admissible:
A-FIT-01. - Who has the process-envelope duty:
ProcessEngineer-AunderD-FIT-01. - What we observe and keep as carriers:
E-FIT-01and measured outcomeE-FIT-02(with retention dutyD-FIT-02).
Plain paragraph:
“‘Ensures coaxiality’ is made precise by fixing the definition and datum scheme (L-FIT-01) and by making the boundary participants explicit (L-FIT-02). The mechanism admits this coaxiality evaluation only under the declared manufacturing and assembly envelope (A-FIT-01). ProcessEngineer-A has the process-envelope duty stated in D-FIT-01. Compliance is adjudicated using the measurement and process carriers listed in E-FIT-01; for lot L123 over Γ_time=[t1..t2], the observed coaxiality was within tolerance E-FIT-02.”