tantrasara-a07 tsa07-p01 (7.1-7.28) passes link checks; counts REGISTERED without a per-declaration run. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from tantrasara-a07/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
tantrasāra, saptamam āhnikam tatra samasta eva ayaṃ mūrtivaicitryābhāsanaśaktijo deśādhvā saṃvidi viśrāntaḥ taddvāreṇa śūnye buddhau prāṇe nāḍīcakrānucakreṣu bahiḥ śarīre yāval liṅgasthaṇḍilapratimādau samasto 'dhvā pariniṣṭhitaḥ taṃ samastam adhvānaṃ dehe vilāpya dehaṃ ca prāṇe taṃ dhiyi tāṃ śūnye tatsaṃvedane nirbharaparipūrṇasaṃvit sampadyate ṣaṭtriṃśattattvasvarūpajñaḥ taduttīrṇāṃ saṃvidaṃ paramaśivarūpāṃ paśyan viśvamayīm api saṃvedayeta aparathā vedyabhāgam eva kaṃcit paratvena gṛhṇīyān māyāgarbhādhikāriṇaṃ viṣṇubrahmādikaṃ vā tasmād avaśyaṃ prakriyājñānapareṇa bhavitavyam // abhts_7.1 tad uktaṃ na prakriyāparaṃ jñānam iti // abhts_7.2 tatra pṛthivītattvaṃ śatakoṭipravistīrṇaṃ brahmāṇḍagolakarūpam // abhts_7.3 tasya antaḥ kālāgnir narakāḥ pātālāni pṛthivī svargo yāvad brahmaloka iti // abhts_7.4 brahmāṇḍabāhye rudrāṇāṃ śatam // abhts_7.5 na ca brahmāṇḍānāṃ saṃkhyā vidyate // abhts_7.6 tato dharātattvād daśaguṇaṃ jalatattvam // abhts_7.7 tata uttarottaraṃ daśaguṇam ahaṃkārāntam // abhts_7.8 tad yathā jalaṃ tejo vāyur nabhaḥ tanmātrapañcakākṣaikādaśagarbho 'haṃkāraś ceti // abhts_7.9 ahaṃkārāt śataguṇaṃ buddhitattvam // abhts_7.10 tataḥ sahasradhā prakṛtitattvam etāvat prakṛtyaṇḍam // abhts_7.11 tac ca brahmāṇḍavad asaṃkhyam // abhts_7.12 prakṛtitattvāt puruṣatattvaṃ ca daśasahasradhā // abhts_7.13 puruṣān niyatiḥ lakṣadhā // abhts_7.14 niyater uttarottaraṃ daśalakṣadhā kalātattvāntam // abhts_7.15 tad yathā niyatiḥ rāgo 'śuddhavidyā kālaḥ kalā ceti // abhts_7.16 kalātattvāt koṭidhā māyā etāvat māyāṇḍam // abhts_7.17 māyātattvāt śuddhavidyā daśakoṭiguṇitā // abhts_7.18 vidyātattvād īśvaratattvaṃ śatakoṭidhā // abhts_7.19 īśvaratattvāt sādākhyaṃ sahasrakoṭidhā // abhts_7.20 sādākhyāt vṛndaguṇitaṃ śaktitattvam iti śaktyaṇḍam // abhts_7.21 sā śaktir vyāpya yato viśvam adhvānam antarbahir āste tasmād vyāpinī // abhts_7.22 evam etāni uttarottaram āvaraṇatayā vartamānāni tattvāny uttaraṃ vyāpakaṃ pūrvaṃ vyāpyam iti sthityā vartante // abhts_7.23 yāvad aśeṣaśaktitattvānto 'dhvā śivatattvena vyāptaḥ // abhts_7.24 śivatattvaṃ punar aparimeyaṃ sarvādhvottīrṇaṃ sarvādhvavyāpakaṃ ca // abhts_7.25 etat tattvāntarālavartīni yāni bhuvanāni tatpataya eva atra pṛthivyāṃ sthitā iti // abhts_7.26 teṣv āyataneṣu ye mriyante teṣāṃ tatra tatra gatiṃ te vitaranti // abhts_7.27 kramāc ca ūrdhvordhvaṃ prerayanti dīkṣākrameṇa // abhts_7.28
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-a07-v01 — Therein this whole — of-place-path-illumination-power-born, rested in consciousness: through its door, in void, mind, prāṇa, nerve-circles-within, outside in body up to liṅga-sthaṇḍila-image — the whole path is firmly fixed. Having melted that whole path into the body, the body into prāṇa, that into mind, that into void, in that consciousness — all-filled-full-consciousness is attained: knowing the thirty-six tattvas' own-form, seeing beyond-it consciousness Supreme-Siva-formed, even world-made consciousness would make-known — the beyond-portion-of-knowable just as some, taking-as-supreme the māyā-womb-qualified, Viṣṇu-Brahmā-and-rest. Therefore it must be by prakriyā-knowledge-endowed.
tsa-a07-v10 — From ahaṃkāra, hundredfold buddhi-tattva.
tsa-a07-v11 — Then thousandfold prakṛti-tattva — so much prakṛti-egg.
tsa-a07-v12 — That, like the cosmic-egg, is countless.
tsa-a07-v13 — From prakṛti-tattva, puruṣa-tattva too, ten-thousandfold.
tsa-a07-v14 — From persons, niyati, lakh-fold.
tsa-a07-v15 — From niyati, successively ten-lakh-fold up to kalā-tattva-end.
tsa-a07-v16 — As niyati, rāga, aśuddha-vidyā, kāla, kalā — and so.
tsa-a07-v17 — From kalā-tattva, crorefold māyā — so much māyā-egg.
tsa-a07-v18 — From māyā-tattva, śuddha-vidyā, ten-crore-multiplied.
tsa-a07-v19 — From vidyā-tattva, īśvara-tattva, hundred-crore-fold.
tsa-a07-v02 — That is said: knowledge-endowed-with-prakriyā is not [mere] prakriyā.
tsa-a07-v20 — From īśvara-tattva, sādākhya, thousand-crore-fold.
tsa-a07-v21 — From sādākhya, multiplied-by-group, śakti-tattva — so the śakti-egg.
tsa-a07-v22 — That power pervading, by which the world-path inside-outside stands — hence all-pervading.
tsa-a07-v23 — Thus these tattvas, standing as mutual-coverings: the later pervader, the earlier pervaded — by that standing they stand.
tsa-a07-v24 — Up to the all-power-tattva-end, the path is pervaded by Śiva-tattva.
tsa-a07-v25 — Śiva-tattva, further, is immeasurable, having-transcended-all-paths, pervading-all-paths.
tsa-a07-v26 — These, dwelling in the gaps-between-tattvas, the bhuvanas — their lords stand in earth, here.
tsa-a07-v27 — In those abodes, those who die — their course there, they grant.
tsa-a07-v28 — And successively upward-downward they impel, by the dīkṣā-order.
tsa-a07-v03 — Therein the earth-tattva, hundred-crore-extended, in-form-of-Brahma-cosmic-egg.
tsa-a07-v04 — Within it: Kālāgni, hells, pātālas, earth, heaven up to Brahma-world — so.
tsa-a07-v05 — Outside the cosmic-egg, a hundred of Rudras.
tsa-a07-v06 — Nor does a count of the cosmic-eggs exist.
tsa-a07-v07 — Then water-tattva, tenfold from earth-tattva.
tsa-a07-v08 — Then, successively, tenfold up-to-ahaṃkāra-end.
tsa-a07-v09 — As water, fire, wind, sky — the five-substances-included one-eleven-wombed ahaṃkāra — and so.
Claim table
| Claim | Status | Basis |
|---|---|---|
| Link completeness | PASS | assurance.trace_links_present + gaps |
| Human review | UNREVIEWED (machine rendering; no human sign-off) | assurance.review |
| AnswerKey.lean :: key_thirtysix_tattvas | REGISTERED, run UNBOUND (tier T) | trace formal; EVIDENCE registry reference only |
| Avarana.lean :: course_ascends | REGISTERED, run UNBOUND (tier T) | trace formal; EVIDENCE registry reference only |
| Tattva.lean :: eleven_wombed | REGISTERED, run UNBOUND (tier T) | trace formal; EVIDENCE registry reference only |
| Tattva.lean :: five_gross_elements | REGISTERED, run UNBOUND (tier T) | trace formal; EVIDENCE registry reference only |
| Tattva.lean :: thirty_six | REGISTERED, run UNBOUND (tier T) | trace formal; EVIDENCE registry reference only |
| TattvaInventory.lean :: kancuka_count | CONTEXT_ONLY, run UNBOUND (tier T) | trace formal; EVIDENCE registry reference only |
| TattvaInventory.lean :: named_tattvas_36 | CONTEXT_ONLY, run UNBOUND (tier T) | trace formal; EVIDENCE registry reference only |
| 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-a07-tsa07-p01.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/tantrasara-a07-tsa07-p01/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/tantrasara-a07-tsa07-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: 5452ed74b7a9af84d6e67e78ac6c21961694c1db0eae5051ef742efbeabdba58 ledger: tantrasara-a07/passages.jsonl · edition: gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL) (CANDIDATE-EDITION) layer argmap: 3a5cd1ea18f85ea1… tantrasara-a07/data/tsa-a07.argmap.json BOUND-WHOLE-SONG layer c1: 0908fa8d740139be… tantrasara-a07/data/tsa-a07.c1.json BOUND-WHOLE-SONG layer c2: NOT-APPLICABLE (no bytes recorded) layer l0: 84492698571c6847… tantrasara-a07/data/tsa-a07.l0.json BOUND-WHOLE-SONG layer l2: 2a3a376d167c242e… tantrasara-a07/data/tsa-a07.l2.json BOUND-WHOLE-SONG layer l3: eedde439a7b8772e… tantrasara-a07/data/tsa-a07.l3.json BOUND-WHOLE-SONG layer l4: 52628874eb60dc74… tantrasara-a07/data/tsa-a07.l4.json BOUND-WHOLE-SONG layer t1: fef1eb4733141138… tantrasara-a07/data/tsa-a07.t1.json BOUND-WHOLE-SONG song proof tantrasara-a07/proof/proof-tsa-a07.json: 8f9898af25e2f6f6eadae512e0ab76c9e00c81c26a1ebdabd987f266484a26d6 PASS (0 warnings) trace bundle traces/tantrasara-a07-tsa07-p01.json: daf5d21fb4993f0648162a31c58d5427edce63f02fb9007fc6aa183c1fc49e0c verify pack artifacts (bytes): source.txt 5452ed74b7a9af84… 2808B tsa-a07.argmap.json 3a5cd1ea18f85ea1… 19997B tsa-a07.c1.json 0908fa8d740139be… 5399B tsa-a07.l0.json 84492698571c6847… 74773B tsa-a07.l2.json 2a3a376d167c242e… 13971B tsa-a07.l3.json eedde439a7b8772e… 16811B tsa-a07.l4.json 52628874eb60dc74… 17411B tsa-a07.t1.json fef1eb4733141138… 22866B proof-tsa-a07.json 8f9898af25e2f6f6… 1631B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL); verses 7.1-7.28 excerpt | CANDIDATE-EDITION; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND-WHOLE-SONG, NOT-APPLICABLE |
| GATE deterministic | ABSTENTION, CITATION_GROUNDING | BLOCKED |
| FORMAL theorems | registry references, run_bound false | REGISTERED |
| TRACE bundle | daf5d21fb4993f06… | 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-a07 tsa07-p01 (7.1-7.28)”, https://svatantrya.net/claim/tantrasara-a07/tsa07-p01/, version trace daf5d21fb4993f0648162a31c58d5427edce63f02fb9007fc6aa183c1fc49e0c (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/tantrasara-a07-tsa07-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-a07
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-a07/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.