StructuralExplainability.lean

import StructuralExplainability.Core
import StructuralExplainability.Spec

-- REQ.LIBRARY.ROOT:
--   Public library root for this package.
--
-- WHY:
--   Downstream users import this module to obtain the package's
--   entire verified surface through a single stable entry point.
--
-- OBS:
--   Imports MUST appear at the beginning of the file (Lean requirement).
--   This file remains thin: it only re-exports submodules.
--   No definitions or theorems belong here.