10.1 Native-decision certificate families

The current public theorem has 0 native-decision atoms, grouped below into 0 mathematical families. A family node is a navigation and audit boundary, not a claim that one Boolean equation replaces all of its members.