parapravesika par-p02 (mula-1 + vrtti (nanu; dvidha; sun-analogy)) 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.
iha khalu parameśvaraḥ prakāśātmā, prakāśaśca vimarśasvabhāvaḥ, vimarśo nāma viśvākāreṇa viśvaprakāśena viśvasaṃharaṇena ca akṛtrimāham iti visphuraṇam | yadi nirvimarśaḥ syāt anīśvaro jaḍaśca prasajyeta
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-p02.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/parapravesika-par-p02/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/parapravesika-par-p02/<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: 9d02d9a95428895756cd6de1ae03fa498962b2fbe4fad8ef5483a29fef591889 ledger: parapravesika/passages.jsonl · edition: edition unrecorded (UNKNOWN) layer argmap: 42c8ac1856068a76… parapravesika/data/par-p02.argmap.json BOUND layer c1: 560283b82bd31f6d… parapravesika/data/par-p02.c1.json BOUND layer c2: 45243b7f627c76c8… parapravesika/data/par-p02.c2.json BOUND layer l0: 3635a948394ed0ac… parapravesika/data/par-p02.l0.json BOUND layer l2: ae97f3427ab58bfe… parapravesika/data/par-p02.l2.json BOUND layer l3: 4dce96ef4f6d247a… parapravesika/data/par-p02.l3.json BOUND layer l4: 1d5384ee7b483b7e… parapravesika/data/par-p02.l4.json BOUND layer t1: 3a8197159057508b… parapravesika/data/par-p02.t1.json BOUND song proof parapravesika/proof/proof-par-p02.json: 8e77bc7a5839f73c51d494ba64b1acbaf758bed4d0110bec0e33256a4d8b9094 PASS (0 warnings) trace bundle traces/parapravesika-par-p02.json: c162adf51d29a41dd1039791ccc69b4c014e9f8d8602417f35c3f9b2022f56e5 verify pack artifacts (bytes): source.txt 9d02d9a954288957… 246B par-p02.argmap.json 42c8ac1856068a76… 2750B par-p02.c1.json 560283b82bd31f6d… 1090B par-p02.c2.json 45243b7f627c76c8… 1922B par-p02.l0.json 3635a948394ed0ac… 26715B par-p02.l2.json ae97f3427ab58bfe… 2733B par-p02.l3.json 4dce96ef4f6d247a… 2744B par-p02.l4.json 1d5384ee7b483b7e… 2779B par-p02.t1.json 3a8197159057508b… 6378B proof-par-p02.json 8e77bc7a5839f73c… 1721B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | edition unrecorded; verses mula-1 + vrtti (nanu; dvidha; sun-analogy) 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 | c162adf51d29a41d… | 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-p02 (mula-1 + vrtti (nanu; dvidha; sun-analogy))”, https://svatantrya.net/claim/parapravesika/par-p02/, version trace c162adf51d29a41dd1039791ccc69b4c014e9f8d8602417f35c3f9b2022f56e5 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/parapravesika-par-p02.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-p01
- Next claim in work: par-p03
- 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.