PALA-1 verification report

Format pala-verification-report/1 · spec PALA-1 v1.0

PARTIAL — sound as far as checked — completeness was NOT checked (no anchor), so truncation or wholesale replacement would not have been detected

This tool verified serve.pala with no anchor supplied — completeness was not checked. Checked at 2026-08-30 08:34:12 UTC (the auditing machine’s clock).

Subject

filename	`serve.pala`
sha256	`6715fa5f721efb145744d9c2b62a036e23ac480c206bc3919b8b8d2d139e9ba1`
bytes	312
records	2
boots / spans	1 / 0
seq range	0 – 1

Container (§2.4)

well-formed	yes
bytes parsed / total	312 / 312
body-digest mismatches	—

Chain (§7.1)

chain_ok	yes
head	`ec07d1a0fc224ae0dfeadb90f5108c6ba847b967abfb3a706659a0fa81465f31`
breaks	—
gaps	—
violations	—
uninterpretable	—

Anchor & completeness (§7.2)

No anchor was supplied.

complete to anchor	not checked
anchor lag	None
reason	None

Existence pins

external pins	—
note	tier A: none available

Advisories

advisory items do not affect the verdict.

code	at seq	detail
anchor_never_written	None	the chain carries no ANCHOR record

Safety records

count	0
unacknowledged candidates	0

Verifier

tool	palimpsests 0.10.0
package	palimpsests 0.10.0
time basis	proved-order; wall claims qualified by `time_trust`

This document attests a check performed at the stated time; it does not certify anything. Derived rendering of pala-verification-report/1 — the chain itself is authoritative and re-verifiable without this page.