phrdaya phr-p04 (13-16) — trace-backed claim page

Svatantrya Reader

phrdaya phr-p04 (13-16) passes link checks; counts REGISTERED without a per-declaration run. Chunk gate passes; no witness verified.

The passage

Passage excerpt exactly as hashed (from phrdaya/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.

cetanapadādhyārohāt citiḥ

Machine rendering — unreviewed draft, not an approved translation. Each line below is the pack's verified L2 for the named verse (bytes checked against trace and manifest; join: cited Sanskrit occurs in the hashed excerpt, spacing-normalized). Clause-level proof is not claimed.

phr-p04-v13 — By climbing to knowing's seat — knowing.

Claim table

Claim	Status	Basis
Link completeness	PASS	assurance.trace_links_present + gaps
Human review	UNREVIEWED (machine rendering; no human sign-off)	assurance.review
Mala.lean :: count_3	REGISTERED, run UNBOUND (tier T)	trace formal; EVIDENCE registry reference only
MalaFuel.lean :: fuel_terminates	REGISTERED, run UNBOUND (tier T)	trace formal; EVIDENCE registry reference only
MalaFuel.lean :: grace_ignites	REGISTERED, run UNBOUND (tier T)	trace formal; EVIDENCE registry reference only
Deterministic chunk gate	PASS (none)	proofs.chunk_gate
Manuscript witness	UNPINNED (0 verified corpus-wide)	identity.witness
Source-span completeness	UNKNOWN	assurance: ledger span is an excerpt; volume not hashed

What this does NOT establish

That any translation is correct — matching bytes never prove correctness, and the rendering above is an unreviewed machine draft.
That a human reviewed anything — review UNREVIEWED, publication NOT_AUTHORIZED.
That a manuscript witness exists — witnesses are UNPINNED until manuscript records exist.
That a formal count is proved for this passage — theorems are REGISTERED via reference; no per-declaration run digest is bound.
That the excerpt is the whole span — span completeness is UNKNOWN.

Verify it

Fetch the trace: curl -s https://svatantrya.net/data/traces/phrdaya-phr-p04.json
Fetch the pack manifest: curl -s https://svatantrya.net/data/verify/phrdaya-phr-p04/manifest.json
For each artifact: curl -s https://svatantrya.net/data/verify/phrdaya-phr-p04/<name> | sha256sum, then compare that hash with the same artifact's 'sha256' above and in the trace. If every artifact matches and the trace's recorded verdict/gaps agree with what you read, the chain is intact. A mismatch means the upstream bytes changed after the trace was made: treat the trace as stale, not the hash as wrong.
If every hash matches and the verdict/gaps here agree with the trace, the chain is intact. A mismatch means upstream bytes changed: treat the trace as stale, not the hash as wrong.

Hashes

source excerpt: aad7c58ddb7b9dfa308c0c2175fccf8d4efd2b233e27af2b7fd2c14cf84086da
  ledger: phrdaya/passages.jsonl · edition: GRETIL (CANDIDATE-WORK)
layer argmap: 2851d08bf49078ef…  phrdaya/data/phr-p04.argmap.json  BOUND
layer c1: 54e2388ec5ccbdb4…  phrdaya/data/phr-p04.c1.json  BOUND
layer c2: 566d62cc8258e98d…  phrdaya/data/phr-p04.c2.json  BOUND
layer l0: 21bc4c5c2a3eb08f…  phrdaya/data/phr-p04.l0.json  BOUND
layer l2: 1e52f1906dcc201a…  phrdaya/data/phr-p04.l2.json  BOUND
layer l3: 0b1c6e04bba43550…  phrdaya/data/phr-p04.l3.json  BOUND
layer l4: 4c6f16265b8241d0…  phrdaya/data/phr-p04.l4.json  BOUND
layer t1: db9647b89848baaa…  phrdaya/data/phr-p04.t1.json  BOUND
song proof phrdaya/proof/proof-phr-p04.json: e4e0868ce36a13c41be1c59ca84ada72135c31c1a6965a6b9082e67d62e5a520  PASS (0 warnings)
trace bundle traces/phrdaya-phr-p04.json: ece86217b783333c71be6b68429f3beb05d4f0a65be026a0e8a7dad66e9ae65d
verify pack artifacts (bytes):
source.txt  aad7c58ddb7b9dfa…  30B
phr-p04.argmap.json  2851d08bf49078ef…  3354B
phr-p04.c1.json  54e2388ec5ccbdb4…  750B
phr-p04.c2.json  566d62cc8258e98d…  1405B
phr-p04.l0.json  21bc4c5c2a3eb08f…  3698B
phr-p04.l2.json  1e52f1906dcc201a…  1161B
phr-p04.l3.json  0b1c6e04bba43550…  1502B
phr-p04.l4.json  4c6f16265b8241d0…  1646B
phr-p04.t1.json  db9647b89848baaa…  1894B
proof-phr-p04.json  e4e0868ce36a13c4…  1712B

Chain

Hop	Value	Status
SOURCE edition + span	GRETIL; verses 13-16 excerpt	CANDIDATE-WORK; span UNKNOWN
LAYERS	shas below; song-file paths	BOUND
GATE deterministic	none	PASS
FORMAL theorems	registry references, run_bound false	REGISTERED
TRACE bundle	`ece86217b783333c…`	COMPLETE (links present only)
PACK manifest	10 artifacts	links present
WITNESS	none verified	UNPINNED
REVIEW	none bound	UNREVIEWED
PUBLICATION	human sign-off required; never automatic	NOT_AUTHORIZED

Cite this

Svatantrya Reader, “phrdaya phr-p04 (13-16)”, https://svatantrya.net/claim/phrdaya/phr-p04/, version trace ece86217b783333c71be6b68429f3beb05d4f0a65be026a0e8a7dad66e9ae65d (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/phrdaya-phr-p04.json | sha256sum must print this digest. Translators/editors of record: not established here — see edition record. The URL serves the live version; the digest pins the cited bytes. There is no archival resolver: the digest is integrity evidence, not durable storage or scholarly validation. “Complete” means links present — not approval, proof, or witness verification.

Provenance

Edition: GRETIL (CANDIDATE-WORK). Source record: unrecorded (status: unknown). Licence: unestablished — consult the edition source; do not redistribute. A hash is not a licence.
Ledger: phrdaya/passages.jsonl (translation-work lane; read-only from here).
Generated by tools/emit_claim_pages.py from byte-verified trace + pack (every file hashed against trace and manifest by role). Regenerates byte-identically or fails closed.