Bidirectional X-Cycle
Bidirectional X-Cycle follows one digit through alternating strong and weak inferences. The proof must be classified from the links: an open AIC proves an endpoint relation, a contradiction chain rejects an assumption, and a continuous ring requires a valid closing weak inference.
What is a Bidirectional X-Cycle?
Traversing a chain in both directions verifies implications but does not reveal which of two possible truth orientations is the solution. A route that starts with candidate A true and returns to not-A is a contradiction chain, not automatically a continuous ring.
How to spot it
Write every candidate proposition and link, then check whether the path is open, closes through a valid weak inference, or returns a contradiction under a stated assumption. Do not infer the proof type from an X-shaped drawing or the page’s historical name.
The logic
Use only the conclusion established by the links. An open chain can prove that at least one endpoint is true; a contradiction under A proves A false; a true continuous ring supports the deductions implied by every valid weak link around the ring. It does not select an actual truth orientation by itself.