symfonic.devtools.archcheck.boundaries¶
boundaries ¶
Import-boundary checks derived from the allowed dependency matrix.
Implements LAY-ADR SS7 rules 1, 3, and 5: every yes/port/root/
no cell enforced at module level, root verified lazy and confined to
sanctioned composition roots (SS5), kernel purity (stdlib + kernel.contracts
only, plus the plan's must_not_import names), and layer-mapping coverage
for every module under an enforced namespace.
Every rule here fails CLOSED. An import the matrix cannot rule on -- because
the TARGET carries no layer -- is a violation attributed to the importer
(kernel-purity from a kernel layer, unmapped-import from any other),
not a silent skip; see :func:_check_unmapped.