gleamunison/evidence

Types

Evidence

A fact about a definition hash, stored as a CAS chunk. The chunk’s own hash is the evidence identity; the subject is the hash it attests to.

pub type Evidence {
  Evidence(
    subject: String,
    kind: Kind,
    verdict: String,
    payload: String,
    ts: Int,
  )
}

Constructors

Evidence(
  subject: String,
  kind: Kind,
  verdict: String,
  payload: String,
  ts: Int,
)

Kind

</>

What kind of evidence this is. Deploy gates ask for these by name.

pub type Kind {
  Test
  Review
  PropertyCheck
  Io
}

Constructors

```
Test
```
```
Review
```
```
PropertyCheck
```
```
Io
```
Human attestation that an effectful definition behaves: “I ran it and it worked.” The only honest evidence for IO a suite cannot drive — and never a substitute for Test on pure defs.

Values

attach

</>

pub fn attach(
  adapter: storage.StorageAdapter,
  subject subject: String,
  kind kind: Kind,
  verdict verdict: String,
  payload payload: String,
  ts ts: Int,
) -> Result(#(identity.DefinitionRef, String), AttachError)

Store an evidence record. Returns the evidence ref and its hex hash.

for_subject

</>

pub fn for_subject(
  adapter: storage.StorageAdapter,
  subject: String,
) -> List(Evidence)

Every well-formed, untampered evidence record for a subject hash. Tampered chunks (content hash ≠ ref hash) and non-evidence chunks are silently excluded: evidence is only meaningful when integrity holds.

kind_name

</>

pub fn kind_name(k: Kind) -> String

Public name for a kind — reports, CLIs, and MCP tools all render the same word.

verified

</>

pub fn verified(
  adapter: storage.StorageAdapter,
  subject: String,
  kind: Kind,
) -> Bool

Is there at least one passing attestation of this kind for the subject? Passing verdicts are explicit: “pass” for tests/properties, “approved” for reviews. Anything else is not verification.