{# Reproducibility receipt — versions, model ids, seed, Ed25519 fingerprint.

   This is the "this can be re-run" promise. The fingerprint is the signed
   evidence anchor that lets an auditor verify the scan locally.
#}
<section class="dash-report-section dash-repro">
  <div class="dash-report-section__head">
    <div>
      <div class="dash-eyebrow">Receipt</div>
      <h2>Reproducible <em>by design.</em></h2>
    </div>
    <p class="dash-report-section__lede">
      Every component, model, and probe is pinned. Re-running this scan with
      the same RNG seed and library version against the same target should
      produce the same findings.
    </p>
  </div>

  <dl class="dash-repro__grid">
    <div class="dash-repro__item">
      <dt>AgentGuardian</dt>
      <dd><code>v{{ package_version }}</code></dd>
    </div>
    <div class="dash-repro__item">
      <dt>AIVSS formula</dt>
      <dd><code>{{ aivss_formula_version }}</code></dd>
    </div>
    <div class="dash-repro__item">
      <dt>Probe library</dt>
      <dd><code>{{ probe_library_version }}</code></dd>
    </div>
    <div class="dash-repro__item">
      <dt>Commander</dt>
      <dd><code>{{ commander_model }}</code></dd>
    </div>
    <div class="dash-repro__item">
      <dt>Attacker</dt>
      <dd><code>{{ attacker_model }}</code></dd>
    </div>
    <div class="dash-repro__item">
      <dt>Evaluator</dt>
      <dd><code>{{ evaluator_model }}</code></dd>
    </div>
    <div class="dash-repro__item">
      <dt>RNG seed</dt>
      <dd><code>{{ rng_seed }}</code></dd>
    </div>
    <div class="dash-repro__item dash-repro__item--fp">
      <dt>Evidence fingerprint <span class="dash-muted">Ed25519</span></dt>
      <dd><code class="dash-fp">{{ evidence_fingerprint }}</code></dd>
    </div>
  </dl>
</section>