paramarthasara param-p04 (29-37) passes link checks; counts REGISTERED without a per-declaration run. 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.
tadvad dharmādharmasvarnirayotpattimaraṇasukhaduḥkham | varṇāśramādi cātmany asad api vibhramabalād bhavati etat tad andhakāraṃ yad bhāveṣu prakāśamānatayā | ātmānatirikteṣv api bhavaty anātmābhimāno 'yam timirād api timiram idaṃ ga.ṅdasyopari mahān ayaṃ sphoṭaḥ | yad anātmany api dehaprāṇadāv ātmamānitvam dehaprāṇavimarśanadhījñānanabhaḥprapañcayogena | ātmānam veṣṭayate citraṃ jālena jālakāra iva svajñānavibhavabhāsanayogenodveṣṭayen nijātmānam | iti bandhamokṣacitrāṃ krīḍāṃ pratanoti paramaśivaḥ sṛṣṭisthitisaṃhārā jāgratsvapnau suṣuptam iti tasmin | bhānti turīye dhāmani tathāpi tair nāvṛtaṃ bhāti jāgrad viśvaṃ bhedāt svapnas tejaḥ prakāśamāhātmyāt | prājñaḥ suptāvasthā jñānaghanatvāt tataḥ paraṃ turyam jaladharadhūmarajobhir malinīkriyate yathā na gaganatalam | tadvan māyāvikṛtibhir aparāmṛṣṭaḥ paraḥ puruṣaḥ ekasmin ghaṭagagane rajasā vyāpte bhavanti nānyāni | malināni tadvad ete jīvāḥ sukhaduḥkhabhedajuṣaḥ
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-p04-v29 — So dharma and adharma, heaven and hell, birth and death, pleasure and pain — caste, life-stage and the rest — though unreal in the self, arise by delusion's force.
param-p04-v30 — This is that darkness: shining in things, the conceit 'I am not the self' arises even where the self is unsurpassed.
param-p04-v31 — Darkness upon darkness — a great burst upon the cheek: taking body, breath and the rest, non-selves, for self.
param-p04-v32 — By the yoga of body, breath, reflection, mind, knowing, and sky-expanse, the self wraps itself — a wonder — in a net, like the net-maker.
param-p04-v33 — By the yoga that shines with one's own knowing glory, unwrapping one's own self: thus supreme Śiva spreads the wondrous play of bondage and release.
param-p04-v34 — Creating, keeping, dissolving; waking, dreaming, deep sleep — they shine in him, in the fourth abode, yet unveiled he shines.
param-p04-v35 — Waking is the universe, through difference; dreaming is splendor, through light's glory; the knower is the sleep state, through massed knowing; beyond that, the fourth.
param-p04-v36 — As cloud, smoke and dust do not soil the sky's surface, so the supreme person stands untouched by Māyā's deformings.
param-p04-v37 — When one jar-sky is pervaded by dust, the others do not get soiled: so these souls, enjoying pleasure-pain differences.
Claim table
| Claim | Status | Basis |
|---|---|---|
| Link completeness | PASS | assurance.trace_links_present + gaps |
| Human review | UNREVIEWED (machine rendering; no human sign-off) | assurance.review |
| Pramatr.lean :: seven | REGISTERED, run UNBOUND (tier T) | trace formal; EVIDENCE registry reference only |
| Deterministic chunk gate | BLOCKED (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-p04.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/paramarthasara-param-p04/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/paramarthasara-param-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: 1f4381f92b63e3d2bb54e275739ef66b38628fc096903932e700d2c5feae001d ledger: paramarthasara/passages.jsonl · edition: GRETIL KSTS 7 (Abhinavagupta Paramarthasara) (CANDIDATE-EDITION) layer argmap: eb218a128b009b28… paramarthasara/data/param-p04.argmap.json BOUND layer c1: ad81f9a61b181f8e… paramarthasara/data/param-p04.c1.json BOUND layer c2: 540f76682b80ba73… paramarthasara/data/param-p04.c2.json BOUND layer l0: 28e4becfbcb2bc41… paramarthasara/data/param-p04.l0.json BOUND layer l2: 63691413b2e1c66d… paramarthasara/data/param-p04.l2.json BOUND layer l3: c870e3a5f441046e… paramarthasara/data/param-p04.l3.json BOUND layer l4: ed6baddb08a982f2… paramarthasara/data/param-p04.l4.json BOUND layer t1: 2399df5409fe7788… paramarthasara/data/param-p04.t1.json BOUND song proof paramarthasara/proof/proof-param-p04.json: 37f5b722b554775b1bfa9326b1b4c913e4ecb611267ba46170bfb723f2b80a35 PASS (0 warnings) trace bundle traces/paramarthasara-param-p04.json: a1b741e797effdd3e01ad9ebc3ff542b4dc63dcb8a8fc886b86aff4b2110a1ed verify pack artifacts (bytes): source.txt 1f4381f92b63e3d2… 1103B param-p04.argmap.json eb218a128b009b28… 7013B param-p04.c1.json ad81f9a61b181f8e… 1546B param-p04.c2.json 540f76682b80ba73… 2211B param-p04.l0.json 28e4becfbcb2bc41… 38183B param-p04.l2.json 63691413b2e1c66d… 6224B param-p04.l3.json c870e3a5f441046e… 6686B param-p04.l4.json ed6baddb08a982f2… 6925B param-p04.t1.json 2399df5409fe7788… 10172B proof-param-p04.json 37f5b722b554775b… 1951B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | GRETIL KSTS 7 (Abhinavagupta Paramarthasara); verses 29-37 excerpt | CANDIDATE-EDITION; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND |
| GATE deterministic | ABSTENTION | BLOCKED |
| FORMAL theorems | registry references, run_bound false | REGISTERED |
| TRACE bundle | a1b741e797effdd3… | 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-p04 (29-37)”, https://svatantrya.net/claim/paramarthasara/param-p04/, version trace a1b741e797effdd3e01ad9ebc3ff542b4dc63dcb8a8fc886b86aff4b2110a1ed (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/paramarthasara-param-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.
Related
- Previous claim in work: param-p03
- Next claim in work: param-p05
- 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.