1: System architecture¶

flowchart TD
    subgraph generation["GENERATION"]
        seeds(["seed corpus<br/>data artifact"])
        corpus["pkg/corpus<br/>corpus management"]
        gguf["pkg/gguf<br/>parsed structure"]
        mutate{{"pkg/mutator + siblings<br/>structure-aware engines"}}
    end

    subgraph execution["EXECUTION"]
        archives(["cgo c-archives<br/>10 build paths"])
        harnesses["harness/*<br/>6 driver families"]
        targets["target parsers<br/>upstream code"]
    end

    subgraph assessment["ASSESSMENT"]
        triage["pkg/triage<br/>observation + Exact / Stable"]
        oracle["pkg/oracle<br/>legacy compatibility signature"]
        coverage["pkg/coverage<br/>execution evidence"]
        mutstats["pkg/mutstats<br/>mutation telemetry"]
        assess{{"human assessment<br/>exploitability gate"}}
    end

    subgraph record["RECORD"]
        docs(["finding documents<br/>canonical evidence"])
        yaml(["reports/findings.yaml<br/>authoritative store"])
        ledger["tools/ledger<br/>generated record"]
        counts(["reports/generated/COUNTS.md<br/>generated count"])
    end

    seeds -->|"[]byte"| corpus
    corpus -->|"[]byte"| gguf
    gguf -->|"*gguf.File"| mutate
    mutate ==>|"[]byte"| archives
    archives ==>|".a archive"| harnesses
    harnesses ==>|"mutated artifact"| targets
    targets -->|"crash-* artifact"| triage
    targets -->|"sanitizer log"| coverage
    triage -->|"legacy HashStack"| oracle
    triage -->|"crash record"| assess
    coverage -->|"coverage profile"| mutstats
    oracle -->|"known / net-new"| assess
    assess -->|"evidence bundle"| docs
    docs -->|"YAML entry"| yaml
    yaml ==>|"parsed ledger"| ledger
    ledger ==>|"generated Markdown"| counts
    assess -. "NOT IMPLEMENTED: no coverage or crash feedback into strategy selection" .-> mutate
    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 seeds,corpus,gguf,mutate gen
    class archives,harnesses,targets exec
    class triage,oracle,coverage,mutstats assess
    class assess gate
    class docs,yaml,ledger,counts record

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