The optimization loop repeatedly tests modification hypotheses against a target query by combining acquisition sampling, ideator edits, ranker scoring, and Bayesian posterior updates until reaching a rank target or budget limit.

sequenceDiagram
    participant Cycle as Optimizer Loop
    participant Acq as Acquisition (Thompson/UCB)
    participant Ideator as Ideator Model
    participant Ranker as Ranker Model
    participant DB as Posterior DB

    Cycle->>Acq: Select Claim Hypothesis
    Acq-->>Cycle: Chosen Claim & Theta
    Cycle->>Ideator: Generate Content Edit
    Ideator-->>Cycle: Variant Content
    Cycle->>Ranker: Rank Variant vs Competitors
    Ranker-->>Cycle: Observed Rank & Rationale
    Cycle->>DB: Update Alpha/Beta Posteriors
    DB-->>Cycle: New State / Convergence Check