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-09-21 20:37:20 UTC (the auditing machine’s clock).

Subject

filename	`serve.pala`
sha256	`0a8a63a021a0016c0c9f5c2bb425d10f718bffc5a4f8149b9f7d1534adeaddfd`
bytes	5015
records	23
boots / spans	1 / 0
seq range	0 – 22

Container (§2.4)

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

Chain (§7.1)

chain_ok	yes
head	`b25d1976c9044d87dc98f38e94a34d5f0a62a7f0248699af0bf7d3050b4c4222`
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.11.0
package	palimpsests 0.11.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.