tantrasara-a08 tsa08-p01 (8.1-8.17) 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-a08/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
tantrasāra, aṣṭamam āhnikam yad idaṃ vibhavātmakaṃ bhuvanajātam uktaṃ garbhīkṛtānantavicitrabhoktṛbhogyaṃ tatra yad anugataṃ mahāprakāśarūpaṃ tat mahāsāmānyakalpaṃ paramaśivarūpam // abhts_8.1 yat tu katipayakatipayabhedānugataṃ rūpaṃ tat tattvaṃ yathā pṛthivī nāma dyutikāṭhinyasthaulyādirūpā kālāgniprabhṛtivīrabhadrāntabhuvaneśādhiṣṭhitasamastabrahmāṇḍānugatā // abhts_8.2 tatra eṣāṃ tattvānāṃ kāryakāraṇabhāvo darśyate sa ca dvividhaḥ // abhts_8.3 pāramārthikaḥ sṛṣṭeś ca // abhts_8.4 tatra pāramārthika etāvān kāryakāraṇabhāvo yad uta kartṛsvabhāvasya svatantrasya bhagavata evaṃvidhena śivādidharāntena vapuṣā svarūpabhinnena svarūpaviśrāntena ca prathanam // abhts_8.5 kalpitas tu kāryakāraṇabhāvaḥ parameśecchayā niyatiprāṇayā nirmitaḥ sa ca yāvati yadā niyatapaurvāparyāvabhāsanaṃ saty api adhike svarūpānugatam etāvaty eva tena yogīcchāto 'pi aṅkuro bījād api svapnādau ghaṭāder apīti // abhts_8.6 tatrāpi ca parameśvarasya kartṛtvānapāya iti akalpito 'pi asau pāramārthikaḥ sthita eva // abhts_8.7 pāramārthike hi bhittisthānīye sthite rūpe sarvam idam ullikhyamānaṃ ghaṭate na anyathā ata eva sāmagryā eva kāruṇatvaṃ yuktam // abhts_8.8 sā hi samastabhāvasaṃdarbhamayī svatantrasaṃvedanamahimnā tathā niyatanijanijadeśakālabhāvarāśisvabhāvā pratyekaṃ vastusvarūpaniṣpattisamaye tathābhūtā tathābhūtāyā hi anyathābhāvo yathā yathā adhikībhavati tathā tathā kāryasyāpi vijātīyatvaṃ tāratamyena puṣyati // abhts_8.9 ity evaṃ saṃvedanasvātantryasvabhāvaḥ parameśvara eva viśvabhāvaśarīro ghaṭāder nirmātā kumbhakārasaṃvidas tato 'nadhikatvāt kumbhakāraśarīrasya ca bhāvarāśimadhye nikṣepāt kathaṃ kumbhakāraśarīrasya kartṛtvābhimānaḥ iti cet parameśvarakṛta evāsau ghaṭādivat bhaviṣyati // abhts_8.10 tasmāt sāmagrīvādo 'pi viśvaśarīrasya saṃvedanasyaiva kartṛtāyām upodbalakaḥ // abhts_8.11 merau hi tatrasthe na bhavet tathāvidho ghaṭaḥ // abhts_8.12 evaṃ kalpite 'smin kāryatve śāstreṣu tattvānāṃ kāryakāraṇabhāvaṃ prati yat bahuprakāratvaṃ tad api saṃgataṃ gomayāt kīṭāt yogīcchāto mantrād auṣadhāt vṛścikodayavat // abhts_8.13 tatra nijatantradṛśā taṃ kalpitaṃ darśayāmaḥ // abhts_8.14 tatra parameśvaraḥ pañcabhiḥ śaktibhiḥ nirbhara ity uktam sa svātantryāt śaktiṃ tāṃ tāṃ mukhyatayā prakaṭayan pañcadhā tiṣṭhati // abhts_8.15 citprādhānye śivatattvam ānandaprādhānye śaktitattvam icchāprādhānye sadāśivatattvam icchāyā hi jñānakriyayoḥ sāmyarūpābhyupagamātmakatvāt jñānaśaktiprādhānye īśvaratattvam kriyāśaktiprādhānye vidyātattvam iti // abhts_8.16 atra ca tattveśvarāḥ śivaśaktisadāśiveśvarānantāḥ brahmeva nivṛttau eṣāṃ sāmānyarūpāṇāṃ viśeṣā anugativiṣayāḥ pañca tadyathā śāmbhavāḥ śāktāḥ mantramaheśvarāḥ mantreśvarāḥ mantrā iti śuddhādhvā // abhts_8.17
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-a08-v01 — Which this world-born glory-natured, said to womb endless varied enjoyer-enjoyed — there whatever pervades as great-light-formed, that is like the great common, Supreme-Śiva-formed.
tsa-a08-v10 — Thus the free-awareness-natured Supreme Lord alone, world-thing-bodied, is the maker of pots and the rest — since potter-awareness, from not being greater, and the potter's body placed amid the thing-mass — how is the potter-body's maker-pride? Thus — if Lord-made even that will be, like pots and the rest.
tsa-a08-v11 — Hence the assemblage-doctrine too strengthens makership of awareness alone, the world-bodied.
tsa-a08-v12 — For a pot such as would be there on Meru would not be.
tsa-a08-v13 — Thus in the constructed caused-ness, the many-typed-ness toward categories' cause-effect-ness in scriptures — that too fits — from dung, worms, from yogin's wish, from mantra, from herbs: like scorpion-arising.
tsa-a08-v14 — There by own-system view we show the constructed.
tsa-a08-v15 — There the Supreme Lord, full with five powers — thus said; he by freedom manifesting power after power chiefly stands fivefold.
tsa-a08-v16 — Where awareness leads: Śiva-principle; where bliss leads: power-principle; where will leads: Sadāśiva-principle — for will, of knowing and doing, is of even-acceptance nature; where knowledge-power leads: Īśvara-principle; where action-power leads: knowledge-principle — thus.
tsa-a08-v17 — And here the category-lords: Śiva, Śakti, Sadāśiva, Īśvara, Ananta — like Brahmā in withdrawal; of these common-formed, the particulars with pervasion for object are five — namely Śāmbhavas, Śāktas, Mantramāheśvaras, Mantreśvaras, Mantras — thus the pure path.
tsa-a08-v02 — But whatever form pervading only some differences, that is a category — as earth called of glow-hardness-bulk-and-rest form, pervading all world-eggs ruled by world-lords from Kālāgni to Vīrabhadra.
tsa-a08-v03 — There of these categories cause-effect-ness is shown; and it is twofold.
tsa-a08-v04 — Ultimate, and of emission —
tsa-a08-v05 — There the ultimate cause-effect-ness is this much: namely, of the agent-natured, free Lord, with such from-Śiva-to-earth-ended body, non-different in nature and resting in own nature — the showing-forth.
tsa-a08-v06 — But the constructed cause-effect-ness, made by the Lord's will with necessity-breath: and as long as, when fixed before-after appearing, being even in the more, following own nature, only so far — by that from yogin's wish too, sprout from seed too, in dream and the rest, from pots and the rest, even thus.
tsa-a08-v07 — And there too, of the Supreme Lord non-loss of agency — thus even unconstructed, that ultimate stands firm.
tsa-a08-v08 — For with the ultimate wall-like standing form, all this drawn is fitting, not otherwise. Hence by the assemblage alone is caused-ness fitting.
tsa-a08-v09 — For it, made of the weave of all beings, by free-awareness greatness, thus of fixed own place-time-thing-mass nature — each thing-nature completed, being thus; of being-thus, being-otherwise — as it increases, so the effect's other-kind-ness by degrees nourishes.
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_five_followers | VERIFIED-QUOTE, run UNBOUND (tier T) | trace formal; EVIDENCE registry reference only |
| TattvaGen.lean :: gen_total | REGISTERED, run UNBOUND (tier R) | trace formal; EVIDENCE registry reference only |
| TattvaGen.lean :: pure_distinct | REGISTERED, run UNBOUND (tier R) | trace formal; EVIDENCE registry reference only |
| TattvaInventory.lean :: pure_count | CONTEXT_ONLY, run UNBOUND (tier T) | trace formal; EVIDENCE registry reference only |
| TattvaInventory.lean :: pure_excludes_maya | 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-a08-tsa08-p01.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/tantrasara-a08-tsa08-p01/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/tantrasara-a08-tsa08-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: 5baba4be51e6ec72d97143fbd9bb8a66e2cd26e6160913b69a03fa1e0debfebc ledger: tantrasara-a08/passages.jsonl · edition: gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL) (CANDIDATE-EDITION) layer argmap: 8485f5769b3ddd4c… tantrasara-a08/data/tsa-a08.argmap.json BOUND-WHOLE-SONG layer c1: 7467f609d89f5031… tantrasara-a08/data/tsa-a08.c1.json BOUND-WHOLE-SONG layer c2: NOT-APPLICABLE (no bytes recorded) layer l0: c0aeeb1cebe7f525… tantrasara-a08/data/tsa-a08.l0.json BOUND-WHOLE-SONG layer l2: 79b9dc558432b430… tantrasara-a08/data/tsa-a08.l2.json BOUND-WHOLE-SONG layer l3: 0471ccf100bde296… tantrasara-a08/data/tsa-a08.l3.json BOUND-WHOLE-SONG layer l4: 3ce353f17c80f219… tantrasara-a08/data/tsa-a08.l4.json BOUND-WHOLE-SONG layer t1: be30594fa191b791… tantrasara-a08/data/tsa-a08.t1.json BOUND-WHOLE-SONG song proof tantrasara-a08/proof/proof-tsa-a08.json: b2fd8d5f4cdfd233e9d26febabbcb82eff54bfc266a75c4bb43cbbf38567b0e0 PASS (1 warnings) trace bundle traces/tantrasara-a08-tsa08-p01.json: 2338d0ae47ff7a85aeddbbe5de432fc208889fa8e268e6d6ff563f7f56bf0d59 verify pack artifacts (bytes): source.txt 5baba4be51e6ec72… 3155B tsa-a08.argmap.json 8485f5769b3ddd4c… 90336B tsa-a08.c1.json 7467f609d89f5031… 17587B tsa-a08.l0.json c0aeeb1cebe7f525… 410998B tsa-a08.l2.json 79b9dc558432b430… 64971B tsa-a08.l3.json 0471ccf100bde296… 72740B tsa-a08.l4.json 3ce353f17c80f219… 74983B tsa-a08.t1.json be30594fa191b791… 110643B proof-tsa-a08.json b2fd8d5f4cdfd233… 1662B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL); verses 8.1-8.17 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 | 2338d0ae47ff7a85… | 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-a08 tsa08-p01 (8.1-8.17)”, https://svatantrya.net/claim/tantrasara-a08/tsa08-p01/, version trace 2338d0ae47ff7a85aeddbbe5de432fc208889fa8e268e6d6ff563f7f56bf0d59 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/tantrasara-a08-tsa08-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
- Next claim in work: tsa08-p02
- Work index: tantrasara-a08
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-a08/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.