# The layer this bundle contributes when a profile lists it.
#
# `dsh plugin --profile <name> add ./integrations/deepseek-harness/dsh-plugin-readproof`
# appends `dsh-plugin-readproof` to the profile's bundle list; this patch is then
# applied in that order, before the profile's own cordis.patch.yml. A user
# overrides any of it by restating the whole row in their profile patch — a
# patch replaces a row's `config` rather than deep-merging it.
- insert:
    - id: readproof
      name: dsh-plugin-readproof
      config:
        # A readproofd you already run. Point this at your deployment, or set
        # `spawn: true` below to have the plugin start a private one.
        endpoint: http://127.0.0.1:8080
        # Left empty, the plugin falls back to $READPROOF_API_KEY — keep the secret
        # out of this file.
        apiKey: ''
        spawn: false
        readproofdPath: readproofd
        dataDir: ~/.readproof
        addr: 127.0.0.1:18080
        # Mirror every model-driven readproof_resolve into a run keyed by the DSH
        # session, so "what did this session read?" is answerable.
        sessionRuns: true
        toolPrefix: readproof_
        systemPromptSection: true