paramarthasara param-p10 (83-91) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from paramarthasara/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
tīrthe śvapacagṛhe vā naṣṭasmṛtir api parityajan deham | jñānasamakālamuktaḥ kaivalyaṃ yāti hataśokaḥ puṇyāya tīrthasevā nirayāya śvapacasadananidhanagatiḥ | puṇyāpuṇyakalaṅkasparśābhāve tu kiṃ tena tuṣakambukasupṛthakkṛtata.ṅdulakaṇatuṣadalāntarakṣepaḥ | ta.ṅdulakaṇasya kurute na punas tadrūpatādātmyam tadvat kañcukapaṭalīpṛthakkṛtā saṃvid atra saṃskārāt | tiṣṭhanty api muktātmā tatsparśavivarjitā bhavati kuśalatamaśilpikalpitavimalībhāvaḥ samudgakopādheḥ | malino 'pi maṇir upādher vicchede svacchaparamārthaḥ evaṃ sadguruśāsanavimalasthiti vedanaṃ tanūpādheḥ | muktam apy upādhyantaraśūnyam ivābhāti śivarūpam śāstrādiprāmāṇyād avicalitaśraddhayāpi tanmayatām | prāptaḥ sa eva pūrvaṃ svargaṃ narakaṃ manuṣyatvam antyaḥ kṣaṇas tu tasmin puṇyāṃ pāpāṃ ca vā sthitiṃ puṣyan | mūḍhānāṃ sahakārībhāvaṃ gacchati gatau tu na sa hetuḥ ye 'pi tadātmatvena viduḥ paśupakṣisarīsṛpādayaḥ svagatim | te 'pi purātanasaṃbodhasaṃskṛtās tāṃ gatiṃ yānti
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.
param-p10-v83 — In a shrine or an outcaste hut, memory lost though, abandoning the body — freed simultaneous with knowing, going to isolation, sorrow killed.
param-p10-v84 — Shrine-service for merit, outcaste-death for hell — but with no touch of merit-demerit stain, what use?
param-p10-v85 — Throwing the well-separated rice-grain between husk-pieces makes not again that-form identity.
param-p10-v86 — So the sheath-curtain-separated knowing, here by impression, standing though — freed self, untouched by that touch, becomes.
param-p10-v87 — As flawless-made by the best artisan, the casket-bound gem, though stained, on cutting the bound shows clear truth.
param-p10-v88 — So the true-teacher-taught pure state, feeling the body-bound, freed though void of other bounds, shines as Śiva-formed.
param-p10-v89 — By scripture's weight, by unshaken faith become that — got before heaven, hell, man-ness.
param-p10-v90 — The last moment, nourishing a merit or demerit state, plays helper — but in going on, no cause.
param-p10-v91 — Whoever knows that-self-ness — beast, bird, creeper and the rest — goes his own way, by old awakening impressed.
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 | BLOCKED (COVERAGE, ABSTENTION) | 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/paramarthasara-param-p10.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/paramarthasara-param-p10/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/paramarthasara-param-p10/<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: 7c6e4f30a9d4bb814c109a7fff69381b6942cdf4cb8cca9f2efc8a7469ba0d4c ledger: paramarthasara/passages.jsonl · edition: GRETIL KSTS 7 (Abhinavagupta Paramarthasara) (CANDIDATE-EDITION) layer argmap: 4a508f07293e1b1e… paramarthasara/data/param-p10.argmap.json BOUND layer c1: 07bd3cc8e9c49035… paramarthasara/data/param-p10.c1.json BOUND layer c2: d9738444dfd9b68b… paramarthasara/data/param-p10.c2.json BOUND layer l0: 5c25ad267837ba9a… paramarthasara/data/param-p10.l0.json BOUND layer l2: 36e7caa8a0e07559… paramarthasara/data/param-p10.l2.json BOUND layer l3: 8e621b4f8d85cb0f… paramarthasara/data/param-p10.l3.json BOUND layer l4: 1644e1e4b037f571… paramarthasara/data/param-p10.l4.json BOUND layer t1: 20ed01fdef2d345b… paramarthasara/data/param-p10.t1.json BOUND song proof paramarthasara/proof/proof-param-p10.json: c90a879fff9cc8eeaefe6440b8a58663794d59fbf1a4633e11fa8ffa1f0dbe7f PASS (0 warnings) trace bundle traces/paramarthasara-param-p10.json: 60ef08e91bac7a4d85bf7c2e3d141518197a8f5ca660ef69391c3b4ca3615da1 verify pack artifacts (bytes): source.txt 7c6e4f30a9d4bb81… 1146B param-p10.argmap.json 4a508f07293e1b1e… 6741B param-p10.c1.json 07bd3cc8e9c49035… 1142B param-p10.c2.json d9738444dfd9b68b… 2070B param-p10.l0.json 5c25ad267837ba9a… 36622B param-p10.l2.json 36e7caa8a0e07559… 5933B param-p10.l3.json 8e621b4f8d85cb0f… 6548B param-p10.l4.json 1644e1e4b037f571… 6778B param-p10.t1.json 20ed01fdef2d345b… 9987B proof-param-p10.json c90a879fff9cc8ee… 1732B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | GRETIL KSTS 7 (Abhinavagupta Paramarthasara); verses 83-91 excerpt | CANDIDATE-EDITION; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND |
| GATE deterministic | COVERAGE, ABSTENTION | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | 60ef08e91bac7a4d… | 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, “paramarthasara param-p10 (83-91)”, https://svatantrya.net/claim/paramarthasara/param-p10/, version trace 60ef08e91bac7a4d85bf7c2e3d141518197a8f5ca660ef69391c3b4ca3615da1 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/paramarthasara-param-p10.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: param-p09
- Next claim in work: param-p11
- Work index: paramarthasara
Provenance
- Edition:
GRETIL KSTS 7 (Abhinavagupta Paramarthasara)(CANDIDATE-EDITION). Source record: unrecorded (status: unknown). Licence: unestablished — consult the edition source; do not redistribute. A hash is not a licence. - Ledger:
paramarthasara/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.