| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Ecluse.Composition.Validate
Contents
Description
The pure boot pass accumulates refusals and advisories for each role.
The composition root builds only from ValidatedPlan. Unvetted settings remain on vpSettings.
Synopsis
- data ValidatedPlan
- vetBoot :: Config -> Vet ValidatedPlan
- data VettedMount
- data VettedPublication
The validate phase
data ValidatedPlan Source #
What the pure boot pass cleared: the mounts a role may serve, the endpoints it may use, and the settings no rule vets.
vetBoot :: Config -> Vet ValidatedPlan Source #
Accumulate every pure refusal and advisory for one role before constructing its plan.
What it clears
data VettedMount Source #
One active mount, paired with the adapter this build ships for its ecosystem.
data VettedPublication Source #
A mount's cleared publish path: the vetted endpoint, the first-party namespaces the anti-shadowing guard enforces, and the static credential the inbound edge gate covers.