10 Exact trust-boundary drilldown

The following nodes are generated from the same machine-readable inventories used by the repository trust audits. Fifteen family nodes cover every native atom without flattening 1,371 implementation leaves into the main graph. Thirteen public external nodes each link one exact Lean atom to one self-contained source-comparison card. The dormant analytic extension above is deliberately outside that exact public inventory.