tantrasara-a17 tsa17-p01 (17.1-17.6) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from tantrasara-a17/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
tantrasāra, saptadaśam āhnikam vaiṣṇavādidakṣiṇatantrānteṣu śāsaneṣu ye sthitāḥ tadgṛhītavratā vā ye ca uttamaśāsanasthā api anadhikṛtādharaśāsanagurūpasevinaḥ te yadā śaktipātena pārameśvareṇa unmukhīkriyante tadā teṣām ayaṃ vidhiḥ tatra enaṃ kṛtopavāsam anyadine sādhāraṇamantrapūjitasya tadīyāṃ ceṣṭāṃ śrāvitasya bhagavato 'gre praveśayet tatrāsya vrataṃ gṛhītvā ambhasi kṣipet tato 'sau snāyāt tataḥ prokṣya carudantakāṣṭhābhyāṃ saṃskṛtya baddhanetraṃ praveśya sādhāraṇena mantreṇa parameśvarapūjāṃ kārayet // abhts_17.1 tataḥ sādhāraṇamantreṇa śivīkṛte agnau vrataśuddhiṃ kuryāt tanmantrasampuṭaṃ nāma kṛtvā prāyaścittaṃ śodhayāmi iti svāhāntaṃ śataṃ juhuyāt // abhts_17.2 tato 'pi pūrṇāhutiḥ vauṣaḍantena // abhts_17.3 tato vrateśvaram āhūya pūjayitvā tasya śivājñayā akiṃcitkaraḥ tvam asya bhava iti śrāvaṇāṃ kṛtvā taṃ tarpayitvā visṛjya agniṃ visṛjet iti liṅgoddhāraḥ // abhts_17.4 tato 'sya adhivāsādi prāgvat // abhts_17.5 dīkṣā yatheccham // abhts_17.6
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-a17-v01 — For those standing in scriptures from the Vaiṣṇavas to the southern tantras at the end, or vow-takers thereof — and even highest-scripture-standers serving unentitled lower-scripture gurus: when they are turned hither by the Lord's descent of power, then this is their rule. Therein, let the fast-observed one on the next day — worshipped with the common mantra, his doings told — be led in before the Lord; there, having taken his vow, let him cast it in water; then let him bathe; then, having sprinkled, having purified with gruel and tooth-stick, having led him blindfolded in, by the common mantra let him have the Lord's worship performed.
tsa-a17-v02 — Then, in fire made Śiva by the common mantra, let him purify the vow; having casketed his name in his mantra, 'I purify the expiation,' ending in svāhā, let him offer a hundred times.
tsa-a17-v03 — Then too the full oblation, ending in vauṣaṭ.
tsa-a17-v04 — Then, having invoked the Vow-lord, having worshipped, by Śiva's order — 'be thou his no-harm-doer' — having announced it, having satisfied him, having dismissed him, let him dismiss the fire. Thus the liṅga-lifting.
tsa-a17-v05 — Then his consecration-dwelling and the rest, as before.
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) | 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-a17-tsa17-p01.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/tantrasara-a17-tsa17-p01/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/tantrasara-a17-tsa17-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: db23385e14b66d4a6ca9eb42d863aa3b45d95ba61e7dceccd046ded071cfb206 ledger: tantrasara-a17/passages.jsonl · edition: gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL) (CANDIDATE-EDITION) layer argmap: 348ac1beb9d8a581… tantrasara-a17/data/tsa-a17.argmap.json BOUND-WHOLE-SONG layer c1: 535d4b576ce86940… tantrasara-a17/data/tsa-a17.c1.json BOUND-WHOLE-SONG layer c2: 019a83cc068493c1… tantrasara-a17/data/tsa-a17.c2.json BOUND-WHOLE-SONG layer l0: b05ffb0797432870… tantrasara-a17/data/tsa-a17.l0.json BOUND-WHOLE-SONG layer l2: 67c9991e3404d010… tantrasara-a17/data/tsa-a17.l2.json BOUND-WHOLE-SONG layer l3: 742240ab85deb556… tantrasara-a17/data/tsa-a17.l3.json BOUND-WHOLE-SONG layer l4: 0bbe7e5d783b875e… tantrasara-a17/data/tsa-a17.l4.json BOUND-WHOLE-SONG layer t1: 06283b1d61abcdb5… tantrasara-a17/data/tsa-a17.t1.json BOUND-WHOLE-SONG song proof tantrasara-a17/proof/proof-tsa-a17.json: e05751c3a1456b087185162ce7f6246a6cb1384706398e479eea73c8568d129f PASS (0 warnings) trace bundle traces/tantrasara-a17-tsa17-p01.json: cd847b69c7031d0e208fc28633b2c9fdb6b84331ee8991aa782760274b5ea9b7 verify pack artifacts (bytes): source.txt db23385e14b66d4a… 1176B tsa-a17.argmap.json 348ac1beb9d8a581… 5893B tsa-a17.c1.json 535d4b576ce86940… 3219B tsa-a17.c2.json 019a83cc068493c1… 3495B tsa-a17.l0.json b05ffb0797432870… 33521B tsa-a17.l2.json 67c9991e3404d010… 5315B tsa-a17.l3.json 742240ab85deb556… 5596B tsa-a17.l4.json 0bbe7e5d783b875e… 5687B tsa-a17.t1.json 06283b1d61abcdb5… 9088B proof-tsa-a17.json e05751c3a1456b08… 1722B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL); verses 17.1-17.6 excerpt | CANDIDATE-EDITION; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND-WHOLE-SONG |
| GATE deterministic | ABSTENTION | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | cd847b69c7031d0e… | 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-a17 tsa17-p01 (17.1-17.6)”, https://svatantrya.net/claim/tantrasara-a17/tsa17-p01/, version trace cd847b69c7031d0e208fc28633b2c9fdb6b84331ee8991aa782760274b5ea9b7 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/tantrasara-a17-tsa17-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-a17
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-a17/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.