paramarthasara param-p12 (101-105) 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.
viṣayeṣu sārvabhaumaḥ sarvajanaiḥ pūjyate yathā rājā | bhuvaneṣu sarvadaivair yogabhraṣṭas tathā pūjyaḥ mahatā kālena punar mānuṣyaṃ prāpya yogam abhyasya | prāpnoti divyam amṛtam yasmād āvartate na punaḥ tasmāt sanmārge 'smin nirato yaḥ kaścid eti sa śivatvam | iti matvā paramārthe yathā tathāpi prayatanīyam idam abhinavaguptoditasaṃkṣepaṃ dhyāyataḥ paraṃ brahma | acirād eva śivatvaṃ nijahṛdayāveśam abhyeti āryāśatena tad idaṃ saṃkṣiptaṃ śāstrasāram atigūḍham | abhinavaguptena mayā śivacaraṇasmaraṇadīptena
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-p12-v101 — As an emperor among things is honored by all people as king, so among worlds the yoga-fallen is honored by all gods.
param-p12-v102 — After long time, humanity got, yoga practised — getting the divine deathless whence turning back no more.
param-p12-v103 — Therefore whoever, devoted on the true path here, goes — he to Śiva-ness: thinking so, in truth yet strive.
param-p12-v104 — Meditating this supreme brahman, briefly told by Abhinavagupta — soon indeed Śiva-ness enters own-heart-dwelling.
param-p12-v105 — In a hundred āryās this condensed recondite teaching-essence — by Abhinavagupta, by me, kindled by Śiva-feet-memory.
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 (ABSTENTION, CITATION_GROUNDING) | 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-p12.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/paramarthasara-param-p12/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/paramarthasara-param-p12/<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: 04bec613d73b5c4ae2839eeef4f8237aa038ac0de806641b458a0dac75b63580 ledger: paramarthasara/passages.jsonl · edition: GRETIL KSTS 7 (Abhinavagupta Paramarthasara) (CANDIDATE-EDITION) layer argmap: e8b5d7c98b31b121… paramarthasara/data/param-p12.argmap.json BOUND layer c1: bf4b3e90a4c48ac8… paramarthasara/data/param-p12.c1.json BOUND layer c2: db561ea43d32d63f… paramarthasara/data/param-p12.c2.json BOUND layer l0: e62ac7d40e617a8e… paramarthasara/data/param-p12.l0.json BOUND layer l2: 0b0bf3e21095d287… paramarthasara/data/param-p12.l2.json BOUND layer l3: 39d239cc1c078ba2… paramarthasara/data/param-p12.l3.json BOUND layer l4: 6f17ad7a9aa640a6… paramarthasara/data/param-p12.l4.json BOUND layer t1: 1d425bf59ec29e47… paramarthasara/data/param-p12.t1.json BOUND song proof paramarthasara/proof/proof-param-p12.json: 8db34ad3c90eb2cdc6420ace1ded652607dea7e94cfee9b1d63d8efb3dfc2701 PASS (0 warnings) trace bundle traces/paramarthasara-param-p12.json: 15c84eab3607345b18823a5fa8b157b18c5d655d8ce09154c543d36a7b7f903b verify pack artifacts (bytes): source.txt 04bec613d73b5c4a… 604B param-p12.argmap.json e8b5d7c98b31b121… 4058B param-p12.c1.json bf4b3e90a4c48ac8… 1050B param-p12.c2.json db561ea43d32d63f… 1706B param-p12.l0.json e62ac7d40e617a8e… 23157B param-p12.l2.json 0b0bf3e21095d287… 3541B param-p12.l3.json 39d239cc1c078ba2… 3836B param-p12.l4.json 6f17ad7a9aa640a6… 3972B param-p12.t1.json 1d425bf59ec29e47… 5936B proof-param-p12.json 8db34ad3c90eb2cd… 1732B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | GRETIL KSTS 7 (Abhinavagupta Paramarthasara); verses 101-105 excerpt | CANDIDATE-EDITION; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND |
| GATE deterministic | ABSTENTION, CITATION_GROUNDING | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | 15c84eab3607345b… | 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-p12 (101-105)”, https://svatantrya.net/claim/paramarthasara/param-p12/, version trace 15c84eab3607345b18823a5fa8b157b18c5d655d8ce09154c543d36a7b7f903b (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/paramarthasara-param-p12.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-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.