graph TB
    User([User]):::user -->|submit mission| God

    subgraph God["God (Orchestrator)"]
        direction TB
        Planner["Planner<br/>mission → DAG"]:::god
        Oracle["Oracle<br/>thrash escalation"]:::god
        PromptCompiler["Prompt Compiler<br/>shard scoring + packing"]:::god
        Integrator["Integrator<br/>result aggregation"]:::god
        Verifier["Verifier<br/>receipt verification"]:::god
        Meter["Meter<br/>token metering"]:::god
        ThrashDetector["Thrash Detector"]:::god
    end

    God -->|"task + lease tokens"| Angels

    subgraph Angels["Angels (Stateless Workers)"]
        direction TB
        AA["AA Bytecode VM"]:::angel
        EditEngine["Edit IR Engine"]:::angel
    end

    Angels -->|"page faults"| Heaven
    Angels -->|"Edit IR + receipts"| God
    Heaven -->|"shards"| Angels

    subgraph Heaven["Heaven (SSMP)"]
        direction TB
        BlobStore["Blob Store<br/>SHA-256 content-addressed"]:::heaven
        EventLog["Event Log<br/>append-only JSONL"]:::heaven
        LeaseTable["Lease Table<br/>exclusive scope locks"]:::heaven
        PFRouter["PF Router<br/>9 fault commands"]:::heaven
        PFGovernor["PF Governor<br/>budget enforcement"]:::heaven
        IRIndex["IR Index<br/>tree-sitter + SQLite"]:::heaven
        Sectioner["Sectioner<br/>context windowing"]:::heaven
        PromptStore["Prompt Store<br/>content-addressed"]:::heaven
        FileClock["File Clock<br/>monotonic ordering"]:::heaven
    end

    God -->|"lease acquire/release"| Heaven
    God -->|"validate manifest"| Heaven
    God -->|"file clock inc"| Heaven
    God -->|"blob put"| Heaven

    classDef god fill:#f5c842,stroke:#b8860b,color:#000
    classDef angel fill:#4a90d9,stroke:#2c5f8a,color:#fff
    classDef heaven fill:#50c878,stroke:#2e7d4e,color:#000
    classDef user fill:#ddd,stroke:#999,color:#000

sequenceDiagram
    participant U as User
    participant G as God
    participant P as Planner
    participant O as Oracle
    participant A as Angel
    participant H as Heaven

    U->>G: submit task description
    G->>H: POST /ir/build (index repo)
    H-->>G: symbol count
    G->>P: decompose task
    P->>H: GET /ir/search (find symbols)
    H-->>P: matching symbols
    P->>P: group by directory → DAG
    P->>H: POST /lease/acquire (scoped leases)
    H-->>P: lease tokens

    loop each mission in DAG
        G->>G: PromptCompiler scores + packs shards
        G->>A: MissionPack (task + context + budget)
        A->>H: POST /pf PF_SYMDEF (need symbol)
        H->>H: PFGovernor checks budget
        H->>H: IRIndex.Symdef() lookup
        H-->>A: shards (symdef + callers prefetch)
        A->>A: execute AA bytecode
        A->>A: produce Edit IR
        A-->>G: AngelResponse (Edit IR + manifest)
        G->>G: Integrator validates manifest
        G->>H: POST /validate-manifest (lease + clock check)
        H-->>G: allowed / denied
        G->>G: ApplyEditIR to working tree
        G->>H: POST /file-clock/inc
        G->>G: Verifier runs tests
        G->>H: POST /blob (store receipt)
    end

    alt thrashing detected
        G->>G: ThrashDetector triggers
        G->>O: escalate (state vector)
        O-->>G: updated DAG + lease plan
    end

    G-->>U: mission complete

sequenceDiagram
    participant A as Angel
    participant G as PF Governor
    participant R as PF Router
    participant I as IR Index
    participant B as Blob Store
    participant D as Delta Tracker

    A->>G: POST /pf {command: PF_SYMDEF, symbol: "foo"}
    G->>G: check budget (pf_count < 20? shard_bytes < 64KB?)

    alt budget exceeded
        G-->>A: error "budget exceeded"
    else within budget
        G->>R: dispatch request
        R->>I: Symdef("foo")
        I-->>R: symbol definition + metadata
        R->>I: Callers("foo", top_k=10)
        I-->>R: call sites (prefetch)
        R->>B: Put(shard content) → blob_id
        B-->>R: content-addressed ID
        R->>R: track metrics (pf_count++, shard_bytes+=)
        R->>D: CheckAndUpdate(shards)

        alt shard unchanged since last fetch
            D-->>R: sentinel {kind: "unchanged", blob_id}
        else new or changed
            D-->>R: full shard
        end

        R-->>G: PFResponse {shards, meta}
        G->>G: annotate budget_remaining
        G-->>A: response with shards + budget info
    end

    Note over A: Angel fetches blob content<br/>via GET /blob/{id}

graph LR
    NL["Natural Language<br/>Task Description"]:::input
    PC["prompt_compiler.go<br/><i>score shards, greedy pack</i>"]:::god
    MP["MissionPack<br/><i>JSON: task + context + budget</i>"]:::data

    AA["AA Source (.aa)<br/><i>BASE_REV, LEASE, NEED,<br/>DO, ASSERT, RETURN</i>"]:::input
    AP["aa_parser.go<br/><i>line-by-line parse</i>"]:::god
    AV["aa_validate.go<br/><i>semantic checks</i>"]:::god
    AC["aa_compiler.go<br/><i>AST → Mission + ShardRequests</i>"]:::god

    ISA["ISA Source (.isa)<br/><i>VERSION, MODE, BUDGET,<br/>OP, RUN, ASSERT, IF_FAIL</i>"]:::input
    IP["isa_parser.go<br/><i>parse directives</i>"]:::god
    IC["isa_compiler.go<br/><i>lower ISA → AA → compile</i>"]:::god

    OVM["output_vm.go<br/><i>enforce output mode</i>"]:::god
    MO["macro_ops.go<br/><i>expand to Edit IR</i>"]:::god
    EIR["Edit IR<br/><i>replace_span, add_file, ...</i>"]:::output

    NL --> PC --> MP
    AA --> AP --> AV --> AC --> MP
    ISA --> IP --> IC --> AC
    MP --> OVM --> MO --> EIR

    classDef input fill:#e8e8e8,stroke:#999,color:#000
    classDef god fill:#f5c842,stroke:#b8860b,color:#000
    classDef data fill:#ddd,stroke:#666,color:#000
    classDef output fill:#ff6b6b,stroke:#c0392b,color:#fff

graph TB
    Angel["Angel produces Edit IR"]:::angel

    subgraph ops["Edit Operations"]
        RS["replace_span<br/>{anchor_hash, lines, content}"]:::op
        DS["delete_span<br/>{anchor_hash, lines}"]:::op
        IAS["insert_after_symbol<br/>{anchor_hash, symbol, content}"]:::op
        AF["add_file<br/>{path, content}"]:::op
        IBS["insert_before_symbol<br/>{anchor_hash, symbol, content}"]:::op
        DF["delete_file<br/>{path}"]:::op
        RL["replace_line<br/>{line, content}"]:::op
        IL["insert_lines<br/>{line, content}"]:::op
        TM["template<br/>{template, instances}"]:::op
    end

    Angel --> ops

    Validate["Integrator<br/>validate manifest<br/>(lease check + clock)"]:::god
    Rebase["Rebase anchors<br/>(if clock drift)"]:::god
    Apply["edit_apply.go<br/>apply to working tree"]:::god
    Diff["edit_diff.go<br/>generate human-readable diff"]:::god
    Verify["verifier.go<br/>run tests → receipt"]:::god
    Clock["file-clock/inc<br/>increment clocks"]:::heaven
    Log["event log<br/>record integration"]:::heaven

    ops --> Validate
    Validate -->|pass| Rebase --> Apply --> Diff
    Diff --> Verify
    Apply --> Clock
    Apply --> Log

    Validate -->|"conflict"| Conflict["Generate conflict<br/>resolution AA mission<br/>(max depth=2)"]:::hot

    classDef angel fill:#4a90d9,stroke:#2c5f8a,color:#fff
    classDef god fill:#f5c842,stroke:#b8860b,color:#000
    classDef heaven fill:#50c878,stroke:#2e7d4e,color:#000
    classDef op fill:#fff,stroke:#666,color:#000
    classDef hot fill:#ff6b6b,stroke:#c0392b,color:#fff

graph TB
    Server["Heaven Server<br/>HTTP on 127.0.0.1:4444<br/>20 endpoints"]:::heaven

    Server --> BlobStore
    Server --> EventLog
    Server --> IRIndex
    Server --> LeaseManager
    Server --> FileClock
    Server --> PFRouter
    Server --> PromptStore

    subgraph Storage["Persistent Storage"]
        BlobStore["BlobStore<br/>SHA-256 → blobs/sha256/hash<br/>immutable, deduped"]:::heaven
        EventLog["EventLog<br/>append-only JSONL<br/>lease_issued, pf, clock_inc"]:::heaven
        IRIndex["IRIndex<br/>SQLite WAL<br/>symbols, refs, files"]:::heaven
    end

    subgraph Derived["Derived State (replay on boot)"]
        LeaseManager["LeaseManager<br/>exclusive scope locks<br/>replays lease events"]:::heaven
        FileClock["FileClock<br/>monotonic per-file counters<br/>replays clock events"]:::heaven
    end

    subgraph PageFaults["Page Fault System"]
        PFRouter["PFRouter<br/>9 commands<br/>per-mission metrics"]:::heaven
        PFGovernor["PFGovernor<br/>MaxPFCalls=20<br/>MaxShardBytes=64KB"]:::heaven
        DeltaTracker["DeltaTracker<br/>CDC: unchanged → sentinel"]:::heaven
    end

    subgraph Prompts["Prompt System"]
        PromptStore["PromptStore<br/>section, dedupe, delta"]:::heaven
        Sectioner["Sectioner<br/>5-layer algorithm<br/>heading split → classify → chunk"]:::heaven
    end

    PFRouter --> IRIndex
    PFRouter --> BlobStore
    PFRouter --> PromptStore
    PFGovernor --> PFRouter
    DeltaTracker --> PFRouter
    PromptStore --> Sectioner
    PromptStore --> BlobStore
    LeaseManager --> EventLog
    FileClock --> EventLog

    classDef heaven fill:#50c878,stroke:#2e7d4e,color:#000

graph LR
    subgraph Contracts["Proto Contracts (JSON Schema)"]
        M["mission.schema.json"]:::proto
        E["edit_ir.schema.json"]:::proto
        PF["pf.schema.json"]:::proto
        R["receipts.schema.json"]:::proto
        L["leases.schema.json"]:::proto
        O["oracle.schema.json"]:::proto
        AR["angel_response.schema.json"]:::proto
        HS["heaven_status.schema.json"]:::proto
    end

    User([User]):::user -->|mission definition| M
    M -->|"goal + budget + tasks"| God([God]):::god
    God -->|"task + lease tokens"| L
    L -->|"scope grants"| Angel([Angel]):::angel
    Angel -->|"Edit IR ops"| E
    Angel -->|"full response"| AR
    AR -->|"edit_ir or diff_fallback"| God
    E -->|"structured edits"| God
    Angel <-->|"PF req/resp"| PF
    PF <-->|"shards"| Heaven([Heaven]):::heaven
    Angel -->|"verification proof"| R
    R -->|"env+cmd+stdout hashes"| God
    God -->|"thrash escalation"| O
    O -->|"updated DAG"| God
    Heaven -->|"state report"| HS
    HS -->|"rev + leases + clocks"| God

    classDef proto fill:#9b59b6,stroke:#6c3483,color:#fff
    classDef god fill:#f5c842,stroke:#b8860b,color:#000
    classDef angel fill:#4a90d9,stroke:#2c5f8a,color:#fff
    classDef heaven fill:#50c878,stroke:#2e7d4e,color:#000
    classDef user fill:#ddd,stroke:#999,color:#000