Domain list (Q5)

Q5. The gate's pass condition “or the absence stated” is met by Proposition prop:list: status documentary. The core item D0.8 remains a named domain without an operational description and is open; by the plan's 6 rule this alone keeps original F0 failed.