tantrasara-a19 tsa19-p01 (19.1-19.7) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from tantrasara-a19/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
tantrasāra, ekonaviṃśam āhnikam atha adharaśāsanasthānāṃ gurvantānām api maraṇasamanantaraṃ mṛtoddhāroditaśaktipātayogād eva antyasaṃskārākhyāṃ dīkṣāṃ kuryāt ūrdhvaśāsanasthānām api luptasamayānām akṛtaprāyaścittānām iti parameśvarājñā // abhts_19.1 tatra yo mṛtoddhāre vidhiḥ uktaḥ sa sarva eva śarīre kartavyaḥ pūrṇāhutyā śavaśarīradāhaḥ mūḍhānāṃ tu pratītirūḍhaye sapratyayām antyeṣṭiṃ kriyājñānayogabalāt kuryāt tatra śavaśarīre saṃhārakrameṇa mantrān nyasya jālakrameṇa ākṛṣya rodhanavedhanaghaṭṭanādi kuryāt prāṇasaṃcārakrameṇa hṛdi kaṇṭhe lalāṭe ca ity evaṃ śavaśarīraṃ kampate // abhts_19.2 tataḥ paramaśive yojanikāṃ kṛtvā tat dahet pūrṇāhutyā antyeṣṭyā śuddhānām anyeṣām api vā śrāddhadīkṣāṃ tryahaṃ turye dine māsi māsi saṃvatsare saṃvatsare kuryāt // abhts_19.3 tatra homāntaṃ vidhiṃ kṛtvā naivedyam ekahaste kṛtvā tadīyāṃ vīryarūpāṃ śaktiṃ bhogyākārāṃ paśugatabhogyaśaktitādātmyapratipannāṃ dhyātvā parameśvare bhoktari arpayet ity evaṃ bhogyabhāve nivṛtte patir eva bhavati antyeṣṭimṛtoddharaṇaśrāddhadīkṣāṇām anyatamenāpi yadyapi kṛtārthatā tathāpi bubhukṣoḥ kriyābhūyastvaṃ phalabhūyastvāya iti sarvam ācaret // abhts_19.4 mumukṣor api tanmayībhāvasiddhaye ayam jīvataḥ pratyaham anuṣṭhānābhyāsavat // abhts_19.5 tattvajñāninas tu na ko 'py ayam antyeṣṭyādiśrāddhānto vidhiḥ upayogī tanmaraṇaṃ tadvidyāsaṃtānināṃ parvadinaṃ saṃvidaṃśapūraṇāt tāvataḥ saṃtānasya ekasaṃvinmātraparamārthatvāt jīvato jñānalābhasaṃtānadivasavat // abhts_19.6 sarvatra ca atra śrāddhādividhau mūrtiyāgaḥ pradhānam iti śrīsiddhāmatam tadvidhiś ca vakṣyate naimittikaprakāśane // abhts_19.7
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.
tsa-a19-v01 — Now, for those standing in lower doctrines, even up to gurus — immediately after death, solely by the power-descent arisen for raising the dead, let him perform the initiation called the final sacrament; and for those standing in higher doctrines, who have lost their observance and performed no expiation — thus is the Lord's command.
tsa-a19-v02 — Therein, whatever rite was told for raising the dead — all of it is to be done to the body: by the full oblation, the burning of the corpse-body. But for the deluded, to plant conviction, let him perform, with the force of ritual-knowledge-yoga, a trust-bearing funeral rite; therein, on the corpse-body, having placed mantras in the withdrawing order, having drawn them in by the net-sequence, having done curbing-piercing-rubbing and the rest, let him do, by the breath-moving sequence, in heart, throat, forehead — and lo, the corpse-body trembles.
tsa-a19-v03 — Then, having made the joining with the supreme Śiva, let him burn it with the full oblation; for the purified by funeral, and for the others too — or: a three-day śrāddha-initiation: on the fourth day, month by month, year by year, let him perform it.
tsa-a19-v04 — Therein, having performed the rite ending in oblation, having made a food-offering in one hand, having meditated on his power of virile form, knowable-formed, that has attained identity with the knowable-power present in the beast — let him offer it to the Lord as enjoyer. Thus, when knowable-being ceases, he becomes the Lord himself. Whether by funeral-raising-śrāddha-initiations one has succeeded or not, still, for one desiring enjoyment, multitude of rites for multitude of fruit — thus, let him perform all.
tsa-a19-v05 — Even of the liberation-seeker, for the attainment of made-of-That-ness, this — of the living, daily, like sustained practice.
tsa-a19-v06 — But for the knower of reality, no rite here ending in funeral and śrāddha is of any use: his death is a festival day for those continuing his knowledge-lineage, from the filling of consciousness-portion — of so much lineage, since the sole reality is mere consciousness — like the day of the lineage's attainment of knowledge while living.
tsa-a19-v07 — But everywhere here, in the śrāddha rite, image-abandonment is chief — so holds the revered Siddhāmata; and its rule will be told in the exposition of the occasional.
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/tantrasara-a19-tsa19-p01.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/tantrasara-a19-tsa19-p01/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/tantrasara-a19-tsa19-p01/<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: 500a17cc749d1c1a179481f670527909425e8736e91794ab6f82cd26f7dc60fa ledger: tantrasara-a19/passages.jsonl · edition: gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL) (CANDIDATE-EDITION) layer argmap: bf7692a662c043a8… tantrasara-a19/data/tsa-a19.argmap.json BOUND-WHOLE-SONG layer c1: f7b665cd6422100b… tantrasara-a19/data/tsa-a19.c1.json BOUND-WHOLE-SONG layer c2: e16afe59b5785292… tantrasara-a19/data/tsa-a19.c2.json BOUND-WHOLE-SONG layer l0: 6d6820b1b0dedc02… tantrasara-a19/data/tsa-a19.l0.json BOUND-WHOLE-SONG layer l2: 7b497bf67b9c92b7… tantrasara-a19/data/tsa-a19.l2.json BOUND-WHOLE-SONG layer l3: f4737955585d398e… tantrasara-a19/data/tsa-a19.l3.json BOUND-WHOLE-SONG layer l4: da3a1b6b54cd607d… tantrasara-a19/data/tsa-a19.l4.json BOUND-WHOLE-SONG layer t1: 62c85bb4335a864a… tantrasara-a19/data/tsa-a19.t1.json BOUND-WHOLE-SONG song proof tantrasara-a19/proof/proof-tsa-a19.json: 4749e1c0a281bfbeec4a7ad2f4b8992c28315aabbfa6942d05a895a61eb4c631 PASS (0 warnings) trace bundle traces/tantrasara-a19-tsa19-p01.json: 5f5fbf49e879a560d51105781c95f4617fcce8fc37941cec9d9b6fa9929e71b3 verify pack artifacts (bytes): source.txt 500a17cc749d1c1a… 1931B tsa-a19.argmap.json bf7692a662c043a8… 8300B tsa-a19.c1.json f7b665cd6422100b… 4727B tsa-a19.c2.json e16afe59b5785292… 3789B tsa-a19.l0.json 6d6820b1b0dedc02… 52066B tsa-a19.l2.json 7b497bf67b9c92b7… 8505B tsa-a19.l3.json f4737955585d398e… 8487B tsa-a19.l4.json da3a1b6b54cd607d… 8555B tsa-a19.t1.json 62c85bb4335a864a… 14564B proof-tsa-a19.json 4749e1c0a281bfbe… 1725B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL); verses 19.1-19.7 excerpt | CANDIDATE-EDITION; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND-WHOLE-SONG |
| GATE deterministic | ABSTENTION, CITATION_GROUNDING | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | 5f5fbf49e879a560… | 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, “tantrasara-a19 tsa19-p01 (19.1-19.7)”, https://svatantrya.net/claim/tantrasara-a19/tsa19-p01/, version trace 5f5fbf49e879a560d51105781c95f4617fcce8fc37941cec9d9b6fa9929e71b3 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/tantrasara-a19-tsa19-p01.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
- Work index: tantrasara-a19
Provenance
- Edition:
gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL)(CANDIDATE-EDITION). Source record: unrecorded (status: unknown). Licence: unestablished — consult the edition source; do not redistribute. A hash is not a licence. - Ledger:
tantrasara-a19/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.