9: The closed loop, honestly¶

flowchart LR
    generate{{"generate<br/>strategy selection"}}
    execute["execute<br/>harness + parser"]
    observe["observe<br/>crash + coverage"]
    assess["assess<br/>triage + evidence"]
    retune{{"retune generation<br/>weights + registry"}}
    human{"human reads results<br/>human edits weights<br/>human re-measures"}
    synth["pkg/mutator/synth<br/>generated strategies"]
    diff["DifferentialOracle<br/>sibling comparison"]
    minimize["MinimizeWithCoverage<br/>coverage-preserving corpus"]

    generate ==>|"mutated artifact"| execute
    execute ==>|"runtime outcome"| observe
    observe -->|"evidence bundle"| assess
    assess -->|"measurement"| human
    human -->|"edited profile"| retune
    retune -->|"profile"| generate
    observe -.->|"coverage → weights"| retune
    assess -.->|"crash outcome → weights"| retune
    synth -.->|"strategy registration"| generate
    diff -->|"differential verdict"| assess
    minimize -->|"CLI reachability"| execute

    classDef gen fill:#3b3028,stroke:#b08a5a,stroke-width:1.5px,color:#f3ead7
    classDef exec fill:#44372b,stroke:#c49a6c,stroke-width:1.5px,color:#f7edd9
    classDef assess fill:#3c432d,stroke:#9a9b62,stroke-width:1.5px,color:#f2eddc
    classDef record fill:#4b362c,stroke:#a86f4c,stroke-width:1.5px,color:#f5e6d3
    classDef gate fill:#542f2b,stroke:#b96f5c,stroke-width:2px,color:#fae8dc
    classDef hazard fill:#51452d,stroke:#b59658,stroke-width:2px,color:#f8edcf
    classDef ghost fill:#302c28,stroke:#7f7668,stroke-width:1px,stroke-dasharray:5 3,color:#b9afa0
    classDef io fill:#2f3832,stroke:#87927a,stroke-width:1.5px,color:#edf0e2
    class generate,retune gen
    class execute,minimize exec
    class observe,assess,diff assess
    class human gate
    class synth ghost

The shipped profiles remain NOT-VALIDATED: tuned GGUF -4.5%; crossover-lean -1.2%. The solid human gate is the only retuning loop that currently closes.

Source: 6733034d; extracted: 2026-09-03.