Manuscript IX-C@1 · IX-C.tex · scope · 03ce8e6b
Closed conclusion
Retained obstructions and the unresolved release › The next proof obligations · lines 1456–1465
conclusion{ The admitted partial coefficient has a definite place in the IX-A carrier. The scalar calibration has an exact relation test for factoring through that place. Associativity has three separate nontrivial coefficient equations.
None of those statements supplies the missing second multiplication. Both sharp associations are explicitly unresolved. The ternary numerical calibration is retained without being advertised as a binary product or as an associative algebra.}