L4 system overview

flowchart TB
    %% house-style: l4-end-to-end
    subgraph src["Inputs"]
        direction LR
        l3["L3 Evidence<br/>(as built: Finding 1.2.0)"]
        sc["Deterministic scanners"]
        meth["L3 system / what-if methods"]
        hyp["LLM hypotheses"]
    end
    subgraph l4["L4 DecisionRuntime"]
        direction LR
        psm["Plant Situation Model"]
        dc["DecisionCase + ledger"]
        fam["Dual-family candidates"]
        ce["Constraint evaluator"]
        pf["Portfolio"]
        kr{{"Kernel re-check"}}
        ol["Opportunity ledger"]
    end
    subgraph out["Outputs"]
        direction LR
        l5["Prescription to L5<br/>(as built: card proposal)"]
        hold["L4 hold store"]
        tr["DecisionTrace"]
    end
    l3 --> dc
    sc --> dc
    meth --> dc
    hyp --> dc
    psm --> dc
    dc --> fam --> ce
    ce -->|"pass"| pf
    ce -->|"block"| ol
    pf -->|"emit / supersede"| kr
    pf -->|"hold"| hold
    pf -->|"block"| ol
    kr -->|"emit / supersede"| l5
    kr -->|"withhold / abstain"| tr
    kr --> tr
    hold --> tr
    ol --> tr

    classDef govc fill:#fff4d6,stroke:#c99a2e,color:#000
    classDef agentc fill:#e8f0ff,stroke:#5b7bd5,color:#000
    classDef loopc fill:#eef7ee,stroke:#4f9a4f,color:#000
    class kr govc

flowchart TB
    %% house-style: l4-improvement-loop
    subgraph learn["Learning inputs"]
        direction LR
        close["L5 closures"]
        soft["Soft-gate blocks"]
    end
    subgraph store["L4 stores"]
        direction LR
        case["Case library"]
        ol["Opportunity ledger"]
    end
    subgraph improve["Offline improvement"]
        direction LR
        back["Owner backlog"]
        exp["Exploration cards"]
        council["Offline council"]
        prop["Playbook / prompt / threshold proposals"]
    end
    gate{{"Replay + shadow"}}
    own(["↩ Named owner accept → release lockfile"])
    close --> case
    soft --> ol
    ol --> back
    ol --> exp
    case --> council
    exp --> council
    council --> prop --> gate --> own

    classDef govc fill:#fff4d6,stroke:#c99a2e,color:#000
    classDef agentc fill:#e8f0ff,stroke:#5b7bd5,color:#000
    classDef loopc fill:#eef7ee,stroke:#4f9a4f,color:#000
    class gate govc
    class own loopc