ALG2: sector generation and conditional uniform section.
tfpt research contracts · Research contracts
SEAM.MMST.ALG2.FRAME.01. v1030_ alg2_ sector_ frame.py does not restore the refuted Vandermonde implication. Suppose, explicitly, [formula in source] and the actual neutral algebra is [formula in source] . Join [formula in source] if [formula in source] . Then [formula in source] precisely when this undirected sector graph is connected: the neutral commutant is [formula in source] , and each nonzero corner forces [fo
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/toe_round4_proofs.tex · lines 423 to 457
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v1030_alg2_sector_frame.py
literal source filename/path in TeX
- cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred