tantrasara-a04 tsa04-p01 (4.1-4.17) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from tantrasara-a04/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
tantrasāra, caturtham āhnikam tatra yadā vikalpaṃ krameṇa saṃskurute samanantaroktasvarūpapraveśāya tadā bhāvanākramasya sattarkasadāgamasadgurūpadeśapūrvakasya asti upayogaḥ // abhts_4.1 tathā hi vikalpabalāt eva jantavo baddham ātmānam abhimanyante sa abhimānaḥ saṃsārapratibandhahetuḥ ataḥ pratidvandvirūpo vikalpa uditaḥ saṃsārahetuṃ vikalpaṃ dalayati iti abhyudayahetuḥ // abhts_4.2 sa ca evaṃrūpaḥ samastebhyaḥ paricchinnasvabhāvebhyaḥ śivāntebhyaḥ tattvebhyo yat uttīrṇam aparicchinnasaṃvinmātrarūpaṃ tad eva ca paramārthaḥ tat vastuvyavasthāsthānaṃ tat viśvasya ojaḥ tena prāṇiti viśvam tad eva ca aham ato viśvottīrṇo viśvātmā ca aham iti // abhts_4.3 sa ca ayaṃ māyāndhānāṃ na utpadyate sattarkādīnām abhāvāt // abhts_4.4 vaiṣṇavādyā hi tāvanmātra eva āgame rāgatattvena niyamitā iti na ūrdhvadarśane 'pi tadunmukhatāṃ bhajante tataḥ sattarkasadāgamasadgurūpadeśadveṣiṇa eva // abhts_4.5 yathoktaṃ pārameśvare vaiṣṇavādyāḥ samastās te vidyārāgeṇa rañjitāḥ // abhts_4.6 na vindanti paraṃ tattvaṃ sarvajñajñānavarjitāḥ iti // abhts_4.7 tasmāt śāṃbhavadṛḍḥaśaktipātāviddhā eva sadāgamādikrameṇa vikalpaṃ saṃskṛtya paraṃ svarūpaṃ praviśanti // abhts_4.8 nanu itthaṃ paraṃ tattvaṃ vikalpyarūpaṃ syāt maivam vikalpasya dvaitādhivāsabhaṅgamātre caritārthatvāt paraṃ tattvaṃ tu sarvatra sarvarūpatayā svaprakāśam eva iti na tatra vikalpaḥ kasyaicit upakriyāyai khaṇḍanāyai vā // abhts_4.9 tatra atidṛḍhaśaktipātāviddhasya svayam eva sāṃsiddhikatayā sattarka udeti yo 'sau devībhiḥ dīkṣita iti ucyate // abhts_4.10 anyasya āgamakrameṇa ityādi savistaraṃ śaktipātaprakāśane vakṣyāmaḥ // abhts_4.11 kiṃ tu guror āgamanirūpaṇe vyāpāraḥ āgamasya ca niḥśaṅkasajātīyatatprabandhaprasavanibandhanasamucitavikalpodaye vyāpāraḥ tathāvidhavikalpaprabandha eva sattarka iti uktaḥ sa eva ca bhāvanā bhaṇyate asphuṭatvāt bhūtam api artham abhūtam iva sphuṭatvāpādanena bhāvyate yayā iti // abhts_4.12 na ca atra sattarkāt śuddhavidyāprakāśarūpāt ṛte anyat yogāṅgaṃ sākṣāt upāyaḥ tapaḥprabhṛteḥ niyamavargasya ahiṃsādeś ca yamaprakārasya pūrakādeḥ prāṇāyāmavargasya vedyamātraniṣṭhatvena ka iva saṃvidi vyāpāraḥ // abhts_4.13 pratyāhāro 'pi karaṇabhūmim eva sātiśayāṃ kuryāt dhyānadhāraṇāsamādhayo 'pi yathottaram abhyāsakrameṇa nirvartyamānā dhyeyavastutādātmyaṃ dhyātuḥ vitareyuḥ // abhts_4.14 abhyāsaś ca pare tattve śivātmani svasvabhāve na saṃbhavaty eva // abhts_4.15 saṃvidrūḍhasya prāṇabuddhidehaniṣṭhīkaraṇarūpo hi abhyāsaḥ bhārodvahanaśāstrārthabodhanṛttābhyāsavat saṃvidrūpe tu na kiṃcit ādātavyaṃ na apasaraṇīyam iti katham abhyāsaḥ // abhts_4.16 kiṃ tarkeṇāpi iti cet uktam atra dvaitādhivāsanirāsaprakāra eva ayaṃ na tu anyat kiṃcid iti // abhts_4.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-a04-v01 — When the concept impresses in order, for entry into the nature just told — then the contemplation-sequence, preceded by true reason, true scripture and the true teacher's instruction, has its use.
tsa-a04-v10 — There, for one pierced by an excessively firm descent of power, true-reason arises by itself through self-attainment — he is called one initiated by the goddesses.
tsa-a04-v11 — For another, by the order of scripture — with elaboration we will say this in the revelation of power-descent.
tsa-a04-v12 — But the task lies in determining the teacher's scripture, and in the arising of the fitting concept that is born of the scripture's chain of kin: that chain of concepts is called true-reason; it is called contemplation as well, since from indistinctness an existing thing is contemplated as non-existent by being made distinct.
tsa-a04-v13 — And here no other yoga-limb is a direct means apart from true-reason, the light-form of pure knowledge: of austerity and the rest, of the restraint-class, of nonviolence and the rest — the yama-type, of retention and the rest, the prāṇāyāma-class — what task is there in consciousness by being established in the knowable merely?
tsa-a04-v14 — Withdrawal too should make the instrument-level excellent; meditation, concentration and samādhi too, performed successively by the order of practice, should impart identity-with-the-meditated-object to the meditator.
tsa-a04-v15 — But practice in the supreme tattva, in the Siva-self, in one's own nature, is simply not possible.
tsa-a04-v16 — For one rooted in consciousness, practice is the form of fixing breath, mind and body — like carrying a load, knowing the scripture's meaning, dancing-practice; but in the form of consciousness nothing is to be taken and nothing removed — how then practice?
tsa-a04-v17 — If it is asked — 'by reasoning too?' — it is said: this is only the mode of removing the residence-in-duality, nothing else at all.
tsa-a04-v02 — For by concept-strength alone beings mistake themselves to be bound; that misapprehension is the cause that obstructs saṃsāra — so the counter-pair concept arises: it tears the saṃsāra-causing concept, and is the cause of prosperity.
tsa-a04-v03 — Such a concept, having crossed all the delimited-natured tattvas from Śiva to the limit, is undelimited-consciousness-merely-formed — that is the supreme truth, the place where thing-ordering stands, the world's essence; by it he breathes the world — that am I, world-crossed, world-self am I.
tsa-a04-v04 — And this does not arise for the māyā-blind, since true-reason and the rest are absent.
tsa-a04-v05 — For Viṣṇu-and-rest are limited in scripture by passion-tattva only, so even in higher vision they show no inclination toward it — therefore they are hostile to true-reason, true scripture and true teacher-instruction alone.
tsa-a04-v06 — As said in the Pārameśvara: all Viṣṇu-and-rest are colored by knowledge-passion.
tsa-a04-v07 — They do not find the supreme tattva, being devoid of omniscient knowledge.
tsa-a04-v08 — Therefore only those pierced by the firm descent of Śāṃbhava-power, having impressed the concept by the order of true scripture and the rest, enter the supreme own-nature.
tsa-a04-v09 — But then would the supreme tattva be of concept-form? Not so: the concept's work is fulfilled merely in breaking the residence-in-duality; the supreme tattva, however, is everywhere all-formed and self-luminous — so there is no service or refutation of it for anyone from concept.
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-a04-tsa04-p01.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/tantrasara-a04-tsa04-p01/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/tantrasara-a04-tsa04-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: 65e2e60eaa2885f80d97606ee32d22cee1718e9d836d7908c2f7fa62e8b7ea75 ledger: tantrasara-a04/passages.jsonl · edition: gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL) (CANDIDATE-EDITION) layer argmap: 994fb4ed109c4175… tantrasara-a04/data/tsa-a04.argmap.json BOUND-WHOLE-SONG layer c1: f20162166549919c… tantrasara-a04/data/tsa-a04.c1.json BOUND-WHOLE-SONG layer c2: NOT-APPLICABLE (no bytes recorded) layer l0: bd2d84bd6c920b9e… tantrasara-a04/data/tsa-a04.l0.json BOUND-WHOLE-SONG layer l2: 09448b05f6ae9685… tantrasara-a04/data/tsa-a04.l2.json BOUND-WHOLE-SONG layer l3: 75b79b9418d9b6b5… tantrasara-a04/data/tsa-a04.l3.json BOUND-WHOLE-SONG layer l4: 1870662a53e8e0c6… tantrasara-a04/data/tsa-a04.l4.json BOUND-WHOLE-SONG layer t1: 010aabf383d42f6c… tantrasara-a04/data/tsa-a04.t1.json BOUND-WHOLE-SONG song proof tantrasara-a04/proof/proof-tsa-a04.json: e1c6d1896b64cd8fde04260aa04aa7fea0b4efacc38028c73d3a4c4b3dd277d6 PASS (1 warnings) trace bundle traces/tantrasara-a04-tsa04-p01.json: 7fc611d1b1351361caf6b1955ebb5e5e4aea09c33754ced21dd8c2902d0ce6e0 verify pack artifacts (bytes): source.txt 65e2e60eaa2885f8… 3093B tsa-a04.argmap.json 994fb4ed109c4175… 57776B tsa-a04.c1.json f20162166549919c… 12040B tsa-a04.l0.json bd2d84bd6c920b9e… 288757B tsa-a04.l2.json 09448b05f6ae9685… 44709B tsa-a04.l3.json 75b79b9418d9b6b5… 48332B tsa-a04.l4.json 1870662a53e8e0c6… 49342B tsa-a04.t1.json 010aabf383d42f6c… 76708B proof-tsa-a04.json e1c6d1896b64cd8f… 1657B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL); verses 4.1-4.17 excerpt | CANDIDATE-EDITION; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND-WHOLE-SONG, NOT-APPLICABLE |
| GATE deterministic | ABSTENTION | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | 7fc611d1b1351361… | 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-a04 tsa04-p01 (4.1-4.17)”, https://svatantrya.net/claim/tantrasara-a04/tsa04-p01/, version trace 7fc611d1b1351361caf6b1955ebb5e5e4aea09c33754ced21dd8c2902d0ce6e0 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/tantrasara-a04-tsa04-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: tsa04-p02
- Work index: tantrasara-a04
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-a04/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.