# Ancillary Lean Surface

This folder is the holding surface for Lean modules that are useful to the
Research Stack but should not be treated as required aggregate core.

Use this folder for modules that are:

- not reachable from the current aggregate roots;
- scaffold or support material;
- reference adapters that still belong in the repo;
- candidates awaiting promotion, archive, or quarantine decisions.

Do not move modules here by name alone. A move needs a receipt from:

```text
shared-data/data/lean_module_graph/cleave_plan.csv
```

Claim boundary: `Ancillary` means outside the required core surface, not
unimportant, obsolete, or safe to delete.