Fields

• smEcosystem :: Ecosystem

  The mount's ecosystem, which names it in an audit line.

• smStore :: SweepStore

  The store's own calls. Every backend-varying fact is a value on it.

• smRules :: [PreparedRule]

  The mount's own prepared rule set, the one the serve and ingest gates evaluate.

• smConfigured :: [Rule]

  The same rules as configured values, which a prepared rule no longer carries. The candidate set reads an identity deny's names out of these.

• smRuleDeps :: RuleDeps

  Lookup acquisition, which candidate discovery and a later verdict may take at different generations.

• smProjectName :: ProjectName

  The ecosystem's own name parser, which both halves of the candidate set are read through.

• smFirstParty :: PackageName -> Bool

  Whether a name belongs to a namespace this deployment owns, derived once at the composition root.

Fields

• ssObserve :: StoreObservation
   
• ssExecute :: SweepExecution
   
• ssPrivate :: SweepCache

  Carried by every view of the mount's stores, because the pairing is a fact about the mount rather than about the store in hand.

• ssVersionLimit :: Int

  Maximum distinct versions held for one package across both observations.

Fields

• scObserve :: StoreObservation
   
• scExecute :: SweepExecution
   

Fields

• swpChunkSize :: Int

  Candidate packages one chunk examines before the sweep pauses.

• swpChunkPause :: NominalDiffTime

  The wait between chunks, and the wait a fault whose advice names no delay takes.

• swpCyclePause :: NominalDiffTime

  The wait between the end of one cycle and the start of the next, a halted one included. The role's own loop applies it, so a cycle is one supervised step.

• swpCycleWindow :: NominalDiffTime

  The window an advisory is paced to reach every affected mirrored version inside. It covers the rest of the running cycle, the cycle pause, and the next whole cycle.

• swpBudgetFraction :: Maybe Rational

  The share of a store's request capacity one sweep may take, else computed per scope.

• swpDeletionCap :: Int

  Versions one cycle may hand over for deletion before it halts for good.

• swpShape :: SweepShape

  Which names the cycle carries to the rules.

Fields

• reportRemoval :: SweepResult

  What a removal the backend accepted counts as.

• reportOpening :: Text

  How a removal's audit line opens.

• reportCapHalts :: Bool

  Whether reaching the cap stops the cycle. A preview counts past it instead.

Fields

• sweepNow :: IO UTCTime

  The clock the rules' evaluation context reads.

• sweepAdvisoryEtag :: Ecosystem -> IO (Maybe DbEtag)

  The active advisory generation for one ecosystem, for the audit line alone.

• sweepDelay :: NominalDiffTime -> IO ()

  The pause, injected so a spec observes pacing without waiting for it.

• sweepTarget :: SweepTarget
   
• sweepMetrics :: DredgerMetricsPort

  Where each version's disposition is counted.

• sweepAudit :: SweepAudit

  Where the sweep's own lines go.

• sweepReport :: SweepReport

  How this run reports a removal, and whether its cap stops the cycle.

• sweepBudget :: BudgetPort

  Where the cycle's own request counts are measured and the next cycle's rate installed.

Fields

• auditInfo :: Text -> IO ()

  One routine line: a deletion, a preview's own count, a completed cycle.

• auditWarn :: Text -> IO ()

  One line that may clear on its own: a store call being retried.

• auditError :: Text -> IO ()

  One line an operator must act on: a halt, a refused deletion, a store fault.

Fields

• stTally :: IORef SweepTally
   
• stIssued :: IORef Int
   
• stChunkProgress :: IORef Int

  Names examined in the current chunk, shared across pages, buckets, and mounts.

• stEvidence :: IORef EvidenceGaps

  What the cycle could not read, which decides whether its counts cover the whole store.

• stPrerequisites :: IORef [TargetPrerequisites]

  What a preview found of each target, newest first until the cycle reverses it.