parapravesika par-p05 (mula-4 + vrtti (pramana-needs-none) + taduktam verse) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
The passage
Passage excerpt exactly as hashed (from parapravesika/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
pūrvasiddhasya maheśvarasya svayaṃprakāśatvaṃ sarvasya svasaṃvedanasiddham | pramāṇānyapi vastūnāṃ jīvitaṃ yāni tanvate | teṣāmapi paro jīvaḥ sa eva parameśvaraḥ
Reading translation: withheld. no pack L2 entry maps to this passage excerpt (verse-level mapping required, none found) The verify pack carries the layer bytes; no English is quoted without a verified verse mapping.
Claim table
| Claim | Status | Basis |
|---|---|---|
| Link completeness | PASS | assurance.trace_links_present + gaps |
| Human review | UNREVIEWED (machine rendering; no human sign-off) | assurance.review |
| Deterministic chunk gate | UNKNOWN (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; no English is quoted on this page.
- 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/parapravesika-par-p05.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/parapravesika-par-p05/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/parapravesika-par-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: aaa8a4e3a7d591182691e77326212fc8422213f9ffa1f618151c173b16ea1d29 ledger: parapravesika/passages.jsonl · edition: edition unrecorded (UNKNOWN) layer argmap: 7e8da4304e1066af… parapravesika/data/par-p05.argmap.json BOUND layer c1: 0f4b4e1817e4bc48… parapravesika/data/par-p05.c1.json BOUND layer c2: 116b14b6bfc43399… parapravesika/data/par-p05.c2.json BOUND layer l0: 698cfd252e4e3075… parapravesika/data/par-p05.l0.json BOUND layer l2: 5d6b6eb681bfe8a5… parapravesika/data/par-p05.l2.json BOUND layer l3: f7de833d391c0c69… parapravesika/data/par-p05.l3.json BOUND layer l4: b896b151d129eed7… parapravesika/data/par-p05.l4.json BOUND layer t1: 67566a1f3618d875… parapravesika/data/par-p05.t1.json BOUND song proof parapravesika/proof/proof-par-p05.json: c3b1db713f6898c9e2988222c95030f7d66e97ddc22a5d31bbcc4fd8044cd252 PASS (0 warnings) trace bundle traces/parapravesika-par-p05.json: e9fd9a55aeba1f693b39b087d58c38f1483106dae4c2691d568e35459b35e5d3 verify pack artifacts (bytes): source.txt aaa8a4e3a7d59118… 192B par-p05.argmap.json 7e8da4304e1066af… 4216B par-p05.c1.json 0f4b4e1817e4bc48… 1147B par-p05.c2.json 116b14b6bfc43399… 1791B par-p05.l0.json 698cfd252e4e3075… 51104B par-p05.l2.json 5d6b6eb681bfe8a5… 4735B par-p05.l3.json f7de833d391c0c69… 4748B par-p05.l4.json b896b151d129eed7… 4788B par-p05.t1.json 67566a1f3618d875… 12000B proof-par-p05.json c3b1db713f6898c9… 1725B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | edition unrecorded; verses mula-4 + vrtti (pramana-needs-none) + taduktam verse excerpt | UNKNOWN; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND |
| GATE deterministic | none | UNKNOWN |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | e9fd9a55aeba1f69… | 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, “parapravesika par-p05 (mula-4 + vrtti (pramana-needs-none) + taduktam verse)”, https://svatantrya.net/claim/parapravesika/par-p05/, version trace e9fd9a55aeba1f693b39b087d58c38f1483106dae4c2691d568e35459b35e5d3 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/parapravesika-par-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
- Previous claim in work: par-p04
- Next claim in work: par-p06
- Work index: parapravesika
Provenance
- Edition:
edition unrecorded(UNKNOWN). Source record: unrecorded (status: unknown). Licence: unestablished — consult the edition source; do not redistribute. A hash is not a licence. - Ledger:
parapravesika/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.