sequenceDiagram
    %% The Correction Loop: Tracing, Fixing, Learning

    participant H as Human Supervisor
    participant E as Episteme
    participant G as Gardener

    H->>E: Trace deploy agent queries
    Note right of E: SRE investigates: what did the agent believe?

    E-->>H: Query audit trail
    Note right of H: ⚠️ Found it: no lifecycle filter. Proposal returned.

    H->>E: Mark assertion incorrect
    Note right of E: Supersede the problematic assertion.

    E->>G: Correction event
    Note right of G: Gardener wakes up.

    G->>E: TrustRank back-propagation
    Note right of E: Lead Orchestrator's reputation on auth topics drops.

    G->>E: Store negative constraint
    Note right of E: ✓ Future queries will see this constraint.