FormalClaim IR · v3-formal47 claims · 37d → 3d PCA · 12 edges
Each FormalClaim ⟨P, O, S, I, C⟩ tuple summarized as a structural feature vector (operation-kind counts, inference depth, evidence-class distribution, provenance state, CV scheme, null-model kind). Coords are deterministic PCA on the standardized matrix. Click a node to inspect its DAG below.
PC1
16.4%
null_model
PC2
11.5%
cv_split
PC3
8.8%
local_rds
silhouette · topic
-0.007
RC excluded (n=1)
silhouette · outcome
-0.068
higher = clusters
12 dep edges
1.07
tighter than null (p=0.062)
Loading projection…
strong positive
positive
qualified
negative
Click a node above to inspect its DAG