%% PARS Audit 2026-08-16
%% Claim: PARS-ARCH-001
%% Source diagram for the site-native accessible rendering.
flowchart LR
    U["Task + evidence + constraints"] --> P["PARS instructions"]
    P --> M["Host model executes"]
    M --> O["Candidate output"]
    M --> S["Same-context self-check"]
    O --> S
    S --> R["Model-reported verdict"]
    R -. "potentially useful; context-correlated" .-> B["Host-enforced boundary"]

    U --> D["Deterministic validators"]
    O --> D
    U --> X["External path observations"]
    O --> X
    U --> J["Blind clean-context semantic judge"]
    O --> J
    D --> G["Host-enforced claim gate"]
    X --> G
    J --> G

    G -->|"required predicate established"| PASS["Supported"]
    G -->|"counterexample"| FAIL["Refuted"]
    G -->|"required evidence absent"| INC["Inconclusive"]