Jérôme Bousquié
24 lines
551 B
Markdown
24 lines
551 B
Markdown
---
|
||
type: Section
|
||
title: Attested Computation (§10)
|
||
sources: [SPEC.md]
|
||
generated: true
|
||
verified: false
|
||
status: current
|
||
stale_after: 2026-12-31
|
||
---
|
||
|
||
# Attested Computation (§10)
|
||
|
||
The `computation` field records a deterministic computation that can be re‑run to verify a document’s content. It typically includes a reference to a script or function and its inputs.
|
||
|
||
## Example
|
||
|
||
```yaml
|
||
computation:
|
||
script: verify_hash.sh
|
||
args: ["{{file}}", "{{expected_hash}}"]
|
||
```
|
||
|
||
When the computation succeeds, the document can be marked `verified: true`.
|