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-16 18:50:31 UTC (the auditing machine’s clock).

Subject

filename	`serve.pala`
sha256	`89d925ea9821cefa7cfa94e67013e9d4f976afd9c36800fa63daac05c43f7b19`
bytes	2301
records	11
boots / spans	1 / 0
seq range	0 – 10

Container (§2.4)

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

Chain (§7.1)

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