tantrasara-a20 tsa20-p04 (20.53-20.65) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from tantrasara-a20/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
tatra nimnāsanasthitebhyaḥ tatparebhyo niyamitavāṅmanaḥkāyebhyo vyākhyā kriyamāṇā phalavatī bhavati prathamaṃ gandhādiliptāyāṃ bhuvi ullikhya saṃkalpya vā padmādhāraṃ caturaśraṃ padmatrayaṃ padmamadhye vāgīśīṃ vāmadakṣiṇayoḥ gaṇapatigurū ca pūjayet ādhārapadme vyākhyeyakalpadevatām // abhts_20.53 tataḥ sāmānyārghapātrayogena cakraṃ tarpayet tato vyācakṣīta sūtravākyapaṭalagrantham pūrvāparāviruddhaṃ kurvan tantrāvṛttiprasaṅgasamuccayavikalpādiśāstranyāyaucityena pūrvaṃ pakṣaṃ samyak ghaṭayitvā samyak ca dūṣayan sādhyaṃ sādhayan tātparyavṛttiṃ pradarśayan paṭalāntaṃ vyācakṣīta nādhikam tatrāpi vastvante vastvante tarpaṇaṃ pūjanam iti yāvad vyākhyāsamāptiḥ // abhts_20.54 tato 'pi pūjayitvā vidyāpīṭhaṃ visarjya upalipya agādhe tat kṣepayet // abhts_20.55 iti vyākhyāvidhiḥ // abhts_20.56 atha samayaniṣkṛtiḥ // abhts_20.57 yady api tattvajñānaniṣṭhasya prāyaścittādi na kiṃcit tathāpi caryāmātrād eva mokṣabhāginaḥ tān anugrahītum ācāravartanīṃ darśayet // abhts_20.58 atattvajñānī tu caryaikāyattabhogamokṣaḥ samayollaṅghane kṛte prāyaścittam akurvan varṣaśataṃ kravyādo bhavatīti iti prāyaścittavidhiḥ vaktavyaḥ tatra strīvadhe prāyaścittaṃ nāsti anyatra tu balābalaṃ jñātvā akhaṇḍāṃ bhagavatīṃ mālinīm ekavārāt prabhṛti trilakṣāntam āvartayet yāvat śaṅkāvicyutiḥ bhavati tadante viśeṣapūjā tatrāpi cakrayāgaḥ sa hi sarvatra śeṣabhūtaḥ // abhts_20.59 iti samayaniṣkṛtividhiḥ // abhts_20.60 atha gurupūjāvidhiḥ // abhts_20.61 sarvayāgānteṣu upasaṃhṛte yāge aparedyuḥ gurupūjāṃ kuryāt pūrvaṃ hi sa vidhyaṅgatayā toṣito na tu prādhānyena iti tāṃ prādhānyena akurvan adhikārabandhena baddho bhavati // abhts_20.62 iti tāṃ sarvathā caret // abhts_20.63 tatra svāstikaṃ maṇḍalaṃ kṛtvā tatra sauvarṇaṃ pīṭhaṃ dattvā tatra samastam adhvānaṃ pūjayitvā tatpīṭhaṃ tena adhiṣṭhāpya tasmai pūjāṃ kṛtvā tarpaṇaṃ bhojanaṃ dakṣiṇām ātmānam iti nivedya naivedyocchiṣṭaṃ prārthya vanditvā svayaṃ prāśya cakrapūjāṃ kuryāt // abhts_20.64 ita gurupūjāvidhiḥ // abhts_20.65
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-a20-v53 — There, exposition performed for the devoted, seated low, with speech, mind, and body restrained, becomes fruitful. First, on the ground smeared with perfumes and the rest, having drawn or resolved: a lotus-base, four-cornered, a lotus-triad, in the middle of the lotus Vāgīśī, on left and right Gaṇapati and the guru — one should worship; on the base-lotus, the wish-granting deity of exposition.
tsa-a20-v54 — Then, having sated the wheel with the common offering-vessel rite, one should expound: the text of aphorism, sentence, and chapter, uncontradicted before and after — first joining the position rightly, and rightly refuting; proving the provandum, revealing the drift — one should expound to the chapter's end, no more; even there, at each section's end, sating and worship — until the exposition is complete.
tsa-a20-v55 — Then too, having worshipped, having dismissed the knowledge-seat, having smeared, one should cast it into the deep.
tsa-a20-v58 — Though for one established in the knowledge of reality there is no expiation and the rest at all, yet to grace those who partake of release through conduct alone, one should display the course of conduct.
tsa-a20-v59 — But the truth-unknowing one, whose enjoyment and release hang on conduct alone — if the rule is transgressed and, not performing expiation, he remains — for a hundred years he becomes an eater of raw flesh: thus the expiation rule is to be stated. There, in woman-slaying there is no expiation; elsewhere, having known strength and weakness, one should repeat the unbroken Goddess Mālinī from one time onward up to three hundred thousand, until doubt falls away. At its end, special worship; even there, the wheel-rite — for it everywhere remains.
tsa-a20-v60 — Thus the rule-expiation rule.
tsa-a20-v62 — At the close of all rites, when the rite has been gathered in, on the next day one should perform guru-worship — for before, as a limb of the rite he is gratified, but not chiefly: thus, not performing it chiefly, bound by the bond of office, one remains bound.
tsa-a20-v63 — Thus one should perform it in every way.
tsa-a20-v64 — There, having drawn a svāstika maṇḍala, there having given a golden seat, there having worshipped the entire path-course, having established that seat thereby, having performed worship to him, sating, meal, gift, and self — thus having offered, having begged the food-leavings, having bowed, having tasted oneself, one should perform wheel-worship.
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, 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-a20-tsa20-p04.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/tantrasara-a20-tsa20-p04/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/tantrasara-a20-tsa20-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: 3f1bb49714d57fb95e855416612d68fd9a2ccfee687b672dedcd555e53a0aeac ledger: tantrasara-a20/passages.jsonl · edition: gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL) (CANDIDATE-EDITION) layer argmap: 312209591f6f3655… tantrasara-a20/data/tsa-a20.argmap.json BOUND-WHOLE-SONG layer c1: acc77e5eb4cf0b51… tantrasara-a20/data/tsa-a20.c1.json BOUND-WHOLE-SONG layer c2: NOT-APPLICABLE (no bytes recorded) layer l0: 57e4c382b08dbc02… tantrasara-a20/data/tsa-a20.l0.json BOUND-WHOLE-SONG layer l2: 82e2c613afdcf6dc… tantrasara-a20/data/tsa-a20.l2.json BOUND-WHOLE-SONG layer l3: a9b15b0480ba112b… tantrasara-a20/data/tsa-a20.l3.json BOUND-WHOLE-SONG layer l4: 6cd4aa8551d9ecd1… tantrasara-a20/data/tsa-a20.l4.json BOUND-WHOLE-SONG layer t1: 975af9df09eb1d8e… tantrasara-a20/data/tsa-a20.t1.json BOUND-WHOLE-SONG song proof tantrasara-a20/proof/proof-tsa-a20.json: f14300a75612e2db4aab8545da12961f59f510495cad90dcd1493568d33d1fcf PASS (1 warnings) trace bundle traces/tantrasara-a20-tsa20-p04.json: ea60e4c93ee6b9f7f94d869ce887ed7e8b7683bdca07aef05d836e2709c1d3b6 verify pack artifacts (bytes): source.txt 3f1bb49714d57fb9… 2345B tsa-a20.argmap.json 312209591f6f3655… 67405B tsa-a20.c1.json acc77e5eb4cf0b51… 12975B tsa-a20.l0.json 57e4c382b08dbc02… 328392B tsa-a20.l2.json 82e2c613afdcf6dc… 54646B tsa-a20.l3.json a9b15b0480ba112b… 57464B tsa-a20.l4.json 6cd4aa8551d9ecd1… 58584B tsa-a20.t1.json 975af9df09eb1d8e… 91283B proof-tsa-a20.json f14300a75612e2db… 1657B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL); verses 20.53-20.65 excerpt | CANDIDATE-EDITION; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND-WHOLE-SONG, NOT-APPLICABLE |
| GATE deterministic | COVERAGE, CITATION_GROUNDING | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | ea60e4c93ee6b9f7… | COMPLETE (links present only) |
| PACK manifest | 9 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-a20 tsa20-p04 (20.53-20.65)”, https://svatantrya.net/claim/tantrasara-a20/tsa20-p04/, version trace ea60e4c93ee6b9f7f94d869ce887ed7e8b7683bdca07aef05d836e2709c1d3b6 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/tantrasara-a20-tsa20-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: tsa20-p03
- Work index: tantrasara-a20
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-a20/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.