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:25 UTC (the auditing machine’s clock).

Subject

filename	`serve.pala`
sha256	`a87a0cfcb8690b8b7138f17249bb9b92bf31dd429123f598dca48b784cb54d6d`
bytes	1598
records	8
boots / spans	2 / 0
seq range	0 – 7

Container (§2.4)

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

Chain (§7.1)

chain_ok	yes
head	`cd372b034b5b9a20da1f1d51ba3c3237609a548e28dd06644c588036ae2768c1`
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.