> ## Documentation Index
> Fetch the complete documentation index at: https://docs.rotascale.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Evidence

> Three properties kept as three mechanisms: nothing is missing, nothing was altered, and it existed by a certain time.

Most systems offer one thing and call it three. A log file is mutable,
unsequenced and undated by anything but itself, so "nothing is missing" is not a
claim it can support.

RotaGrant keeps the three separately, because they fail separately.

<CardGroup cols={3}>
  <Card title="Completeness" icon="list-ol">
    Records are **sequenced**. A gap in a monotonic sequence is detectable. A
    gap in a log directory is invisible.
  </Card>

  <Card title="Integrity" icon="fingerprint">
    Records are **Merkle-sealed** in batches, so altering one changes a root
    that has already been published.
  </Card>

  <Card title="Existence in time" icon="clock">
    Roots are **anchored** externally, so a record can be shown to have existed
    by a certain moment without trusting our clock.
  </Card>
</CardGroup>

## Inclusion proofs

A reviewer can verify that a specific record belongs to a sealed set **without
access to your systems**. They need the record, the proof, and the published
root. Not a login, not an export, not a call with your team.

That is the property that makes evidence portable, and it is why
[the verifier](https://rotascale.com/verify/) runs entirely in a browser with
nothing sent anywhere.

## Refusals are evidence

The half that most systems discard. An agent stopped 40 times last quarter is a
control demonstrating that it operated. An agent never stopped is either
perfectly bounded or entirely unbounded, and from the outside those are
indistinguishable.

Systems built to log successes cannot produce this, because the refusal is the
path where the code returned early and returning early is exactly where the
logging is not.

## What is sealed into a decision

The fields that make a record readable years later without knowing which release
was deployed:

* the grant it drew on, and the accountable principal behind it
* the **enforcement mode at that moment**, not the mode configured now
* the limits that applied, and what remained
* the gate that stopped it, and which gates were never reached
* the taint present, by source and step

## The disclaimer is inside the signature

Every evidence pack carries a statement that the platform assembles evidence and
does not determine compliance. It sits **inside the signed payload**, so
removing it invalidates the signature.

That is deliberate. A disclaimer somebody can strip before handing the pack to a
regulator is a disclaimer that does not exist.
