Derivation of cross-subject consequence relations from declared observation-pairs, with cardinality-governed relation operators, coverage-qualified outcome recording, topology-graded arc-pair inference, and epistemic-status-carrying derived relations