phrdaya phr-p05 (17-20) 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.
madhyavikāsāc cidānandalābhaḥ
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-p05-v17 — From the middle's opening — knowing-bliss won.
Claim table
| Claim | Status | Basis |
|---|---|---|
| Link completeness | PASS | assurance.trace_links_present + gaps |
| Human review | UNREVIEWED (machine rendering; no human sign-off) | assurance.review |
| Phrdaya.lean :: closes_four | SPAN-PINNED, run UNBOUND (tier R) | trace formal; EVIDENCE registry reference only |
| Phrdaya.lean :: means_once | SPAN-PINNED, run UNBOUND (tier R) | 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-p05.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/phrdaya-phr-p05/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/phrdaya-phr-p05/<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: 7e4edd1ccaa3ab650ff6821a2cb9c450d6d5bb069381cb7430c024a93f646d79 ledger: phrdaya/passages.jsonl · edition: GRETIL (CANDIDATE-WORK) layer argmap: 71b2dd8ff1931f8e… phrdaya/data/phr-p05.argmap.json BOUND layer c1: 815fde4721a1cabe… phrdaya/data/phr-p05.c1.json BOUND layer c2: fa08b182da24ed97… phrdaya/data/phr-p05.c2.json BOUND layer l0: 90b204638e692241… phrdaya/data/phr-p05.l0.json BOUND layer l2: fe533865a8d04bf4… phrdaya/data/phr-p05.l2.json BOUND layer l3: ee38e8a8cb0f1757… phrdaya/data/phr-p05.l3.json BOUND layer l4: 9dce44b745242fb0… phrdaya/data/phr-p05.l4.json BOUND layer t1: 126b6693ed373f1f… phrdaya/data/phr-p05.t1.json BOUND song proof phrdaya/proof/proof-phr-p05.json: 7dae5e60804a0014777bd448e93f2a031e87a3455e98dfbaf8d1aac865b28ee0 PASS (0 warnings) trace bundle traces/phrdaya-phr-p05.json: 181f0e0f013119a4affb6827fb57c0969cad62030b57d255a2ff03ec63095d2b verify pack artifacts (bytes): source.txt 7e4edd1ccaa3ab65… 35B phr-p05.argmap.json 71b2dd8ff1931f8e… 3102B phr-p05.c1.json 815fde4721a1cabe… 683B phr-p05.c2.json fa08b182da24ed97… 1325B phr-p05.l0.json 90b204638e692241… 3268B phr-p05.l2.json fe533865a8d04bf4… 1095B phr-p05.l3.json ee38e8a8cb0f1757… 1402B phr-p05.l4.json 9dce44b745242fb0… 1546B phr-p05.t1.json 126b6693ed373f1f… 1774B proof-phr-p05.json 7dae5e60804a0014… 1710B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | GRETIL; verses 17-20 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 | 181f0e0f013119a4… | 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-p05 (17-20)”, https://svatantrya.net/claim/phrdaya/phr-p05/, version trace 181f0e0f013119a4affb6827fb57c0969cad62030b57d255a2ff03ec63095d2b (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/phrdaya-phr-p05.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.
Related
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.pyfrom byte-verified trace + pack (every file hashed against trace and manifest by role). Regenerates byte-identically or fails closed.