Mixed AIC Ring
A Mixed AIC Ring — traditionally listed as Bidirectional Cycle (XY-Cycle) — is a closed AIC that combines bilocation strong links (one digit, two positions) with bivalue strong links (one cell, two digits), closed by a final weak inference verified independently of the path. The candidate propositions and links define the deduction; a count of highlighted cells or a familiar drawing does not.
What is a Mixed AIC Ring?
A bilocation node is a strong link (XOR) between two positions of one digit; a bivalue node is a strong link (XOR) between two digits of one cell. Dashes are weak inferences (NAND) — not both — and the ring requires a final weak inference from the last node back to the first, verified independently of the path.
How to spot it
Trace the node sequence and classify every strong link — the same digit in two peer cells, or two digits in one cell. Verify each weak connection against the current candidate state, including the closing one; geometric closure alone proves nothing.
The logic
With the closing weak inference verified, the endpoint theorem supplies the missing strong inference between the closing pair, so every weak edge around the ring gains a complementary strong inference. Remove candidates that conflict with both sides of any weak edge; the ring itself never selects which alternating assignment is the solution.