the third edge tests the whole triangle

Exact assertion

A completed triangle is also more than three acceptable pairs. Joint positivity requires the determinant of the full three-by-three response to be nonnegative; pairwise bounds can all pass while that global condition fails. Node-sign conventions transport the kernel without changing either its determinant or the product of the three edge signs. The look-here instruction is therefore exact: calculate one gauge-complete top–bottom–weak amplitude, run the 27 settings on common phase-space points and let closure, held-out prediction, determinant positivity and detector folding decide whether the triangle exists. Bc decay remains an independent low-energy validation arm.

What this commits us to

The claim concerns a protocol, sensitivity or decision rule. It must be kept separate from a prediction that a nonzero signal exists.

Logical anatomy

Verification route

1. Recover the declared objects and assumptions from the controlling documents.
2. Check the calculation, construction, obstruction or stopping rule on those same objects.
3. Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
4. Apply the status rule and retain every named external dependency.

What would move or defeat this claim

Specify the apparatus, calibration, null distribution, preregistered threshold and independently predicted effect size.

Source map

Controlling documents

• admissibility 74 one family triangle and global positivity gateOpen controlling document →
• admissibility 73 signed edge extraction and cycle auditOpen controlling document →
• admissibility 66 contextual triangle bound reduces to standard positivityOpen controlling document →