ecluse:ecluse-core
Safe HaskellNone
LanguageGHC2021

Ecluse.Core.Registry.Fault

Description

The registry layer's ecosystem-agnostic fault vocabulary: the exception form of a response-bound breach.

Every registry data plane reads its response bodies through boundedRead against a Limits budget, and the bounded read reports a breach as a value (a LimitError). Some consumers sit behind an exception-shaped boundary instead, and this module owns the typed form they carry there. The breach is about the budget, never about any one ecosystem's wire format, so the vocabulary lives beside the agnostic registry contract rather than in a protocol module.

Synopsis

Documentation

newtype ResponseBoundExceeded Source #

The typed exception form of a response-bound breach: a body that crossed the maxBodyBytes ceiling, carried as its LimitError. The worker's bounded artifact fetch (Ecluse.Core.Worker.Fetch) types its fetch channel with it, and the request perimeter (Ecluse.Core.Server.Fault) recognises it as a typed gate fault, so a breach that reaches an exception-shaped boundary stays a classified refusal rather than a truncated body.