Companion note, version 1.14

Version 1.14 records what the second batch of 1 October 2026 machine-checks.

• All of §2 of Diaz's 2007 paper: Théorèmes 3 to 7 and Corollaires 1 to 7, under Roy's strong six exponentials theorem, with Baker's theorem as a second hypothesis where needed.
• Where that route stops: for transcendental u, a configuration of the strong six exponentials theorem with all six products in the span of u^{±k}, u^{±1} and 1 exists only for k = 2 and 3. So the theorem, fed with a candidate's own data, excludes u² and u³ from ℒ̃ and no higher power. This was not found in the sources read.
• In the generic case, the Matrix Coefficient Conjecture of Dasgupta and Kakde, and its Q̄ form, hold on every singular n×n matrix over ℚu + ℚū + ℚiπ. The proof uses Roy's lemma and the absence of homogeneous relations of every degree at (u, ū, iπ); both are machine-checked.

The mirrored library holds 304 results.