tantrasara-a01 tsa01-p01 (1.1-1.5) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from tantrasara-a01/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
tantrasāra, prathamam āhnikam vimalakalāśrayābhinavasṛṣṭimahā jananī bharitatanuś ca pañcamukhaguptarucir janakaḥ / tadubhayayāmalasphuritabhāvavisargamayaṃ hṛdayam anuttarāmṛtakulaṃ mama saṃsphuratāt // abhts_1.1 vitatas tantrāloko vigāhituṃ naiva śakyate sarvaiḥ / ṛjuvacanaviracitam idaṃ tu tantrasāraṃ tataḥ śṛṇuta // abhts_1.2 śrīśambhunāthabhāskaracaraṇanipātaprabhāpagatasaṃkocam / abhinavaguptahṛdambujam etad vicinuta maheśapūjanahetoḥ // abhts_1.3 iha jñānaṃ mokṣakāraṇaṃ bandhanimittasya ajñānasya virodhakatvāt dvividhaṃ ca ajñānaṃ buddhigataṃ pauruṣaṃ ca tatra buddhigatam aniścayasvabhāvaṃ viparītaniścayātmakaṃ ca / pauruṣaṃ tu vikalpasvabhāvaṃ saṃkucitaprathātmakaṃ tad eva ca mūlakāraṇaṃ saṃsārasya iti vakṣyāmo malanirṇaye / tatra pauruṣam ajñānaṃ dīkṣādinā nivartetāpi kiṃ tu dīkṣāpi buddhigate anadhyavasāyātmake ajñāne sati na sambhavati heyopādeyaniścayapūrvakatvāt tattvaśuddhiśivayojanārūpāyā dīkṣāyā iti / tatra adhyavasāyātmakaṃ buddhiniṣṭham eva jñānaṃ pradhānam tad eva ca abhyasyamānaṃ pauruṣam api ajñānaṃ nihanti vikalpasaṃvidabhyāsasya avikalpāntatāparyavasānāt / vikalpāsaṃkucitasaṃvitprakāśarūpo hy ātmā śivasvabhāva iti sarvathā samastavastuniṣṭhaṃ samyaṅniścayātmakaṃ jñānam upādeyam / tac ca śāstrapūrvakam / śāstraṃ ca parameśvarabhāṣitam eva pramāṇam / aparaśāstroktānām arthānāṃ tatra vaiviktyena abhyupagamāt tadarthātiriktayuktisiddhanirūpaṇāc ca tena aparāgamoktaṃ jñānaṃ tāvata eva bandhāt vimocakam na sarvasmāt sarvasmāt tu vimocakaṃ parameśvaraśāstraṃ pañcasrotomayaṃ daśāṣṭādaśavasvaṣṭabhedabhinnam / tato 'pi sarvasmāt sāraṃ ṣaḍardhaśāstrāṇi / tebhyo 'pi mālinīvijayam / tadantargataś cārthaḥ saṃkalayyāśakyo nirūpayitum / na ca anirūpitavastutattvasya muktatvaṃ mocakatvaṃ vā śuddhasya jñānasyaiva tathārūpatvāt iti / svabhyastajñānamūlatvāt parapuruṣārthasya tatsiddhaye idam ārabhyate / ajñānaṃ kila bandhahetur uditaḥ śāstre malaṃ tat smṛtaṃ pūrṇajñānakalodaye tad akhilaṃ nirmūlatāṃ gacchati / dhvastāśeṣamalātmasaṃvidudaye mokṣaś ca tenāmunā śāstreṇa prakaṭīkaromi nikhilaṃ yaj jñeyatattvaṃ bhavet // abhts_1.4 tatra iha svabhāva eva paramopādeyaḥ sa ca sarvabhāvānāṃ prakāśarūpa eva aprakāśasya svabhāvatānupapatteḥ sa ca nānekaḥ prakāśasya taditarasvabhāvānupraveśāyoge svabhāvabhedābhāvāt deśakālāv api ca asya na bhedakau tayor api tatprakāśasvabhāvatvāt iti eka eva prakāśaḥ sa eva ca saṃvit arthaprakāśarūpā hi saṃvit iti sarveṣām atra avivāda eva / sa ca prakāśo na paratantraḥ prakāśyataiva hi pāratantryam prakāśyatā ca prakāśāntarāpekṣitaiva na ca prakāśāntaraṃ kiṃcit asti iti svatantra ekaḥ prakāśaḥ svātantryād eva ca deśakālākārāvacchedavirahāt vyāpako nityaḥ sarvākāranirākārasvabhāvaḥ tasya ca svātantryam ānandaśaktiḥ taccamatkāra icchāśaktiḥ prakāśarūpatā cicchaktiḥ āmarśātmakatā jñānaśaktiḥ sarvākārayogitvaṃ kriyāśaktiḥ ity evaṃ mukhyābhiḥ śaktibhiḥ yukto 'pi vastuta icchājñānakriyāśaktiyuktaḥ anavacchinnaḥ prakāśo nijānandaviśrāntaḥ śivarūpaḥ sa eva svātantryāt ātmānaṃ saṃkucitam avabhāsayan aṇur iti ucyate / punar api ca svātmānaṃ svatantratayā prakāśayati yena anavacchinnaprakāśaśivarūpatayaiva prakāśate / tatrāpi svātantryavaśāt anupāyam eva svātmānaṃ prakāśayati sopāyaṃ vā sopāyatve 'pi icchā vā jñānaṃ vā kriyā vā abhyupāya iti traividhyaṃ śāmbhavaśāktāṇavabhedena samāveśasya tatra caturvidham api etad rūpaṃ krameṇa atra upadiśyate / ātmā prakāśavapur eṣa śivaḥ svatantraḥ svātantryanarmarabhasena nijaṃ svarūpam / saṃchādya yat punar api prathayeta pūrṇaṃ tac ca kramākramavaśād athavā tribhedāt // abhts_1.5
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-a01-v01 — Mother — stainless art's abode, great new creation, full-bodied; Father — his five faces' splendor hidden: may the Heart, born of the surging nature of their embrace, the deathless kin beyond the highest, flash forth for me.
tsa-a01-v02 — The Tantrāloka is vast, and no one at all can dive it; so hear this Tantrasāra, composed in plain words.
tsa-a01-v03 — This lotus-heart of Abhinavagupta, its narrowness gone by the light shed from the falling feet of Śambhunātha the Sun — gather it for the sake of the Great Lord's worship.
tsa-a01-v04 — Here knowledge is the cause of liberation, since it opposes ignorance, the cause of bondage. Ignorance is twofold: located in the intellect, and personal. The intellect-located is doubt-natured and wrong-conviction-natured. The personal is thought-natured and contracted-manifestation-natured — and that itself is the root cause of saṃsāra, as will be taught under the determination of the stains. There, personal ignorance may be removed by initiation and the rest — but initiation itself is impossible while intellect-located, determination-less ignorance persists, since initiation is preceded by determination of shun-and-take and takes the form of principle-purification and Śiva-joining. Hence determinative, intellect-abiding knowledge is principal; practiced, that itself kills personal ignorance too, since thought-consciousness-practice ends in thought-free. For the self — consciousness-light uncontracted by thought — is Śiva-natured. Hence in all cases adopt all-thing-directed right-determination knowledge. And that is scripture-led: scripture authoritative only as Lord-spoken, since others' scripture-taught things are accepted there discriminatively and since there is reason-proved exposition beyond their content. Hence other-āgama-taught knowledge liberates only so far from bondage, not from all; from all liberates the Lord's scripture, five-streamed, ten-eighteen-eight-differentiated. Than all that, the essence is the sixfold scriptures; than those, the Mālinīvijaya — whose contained content, gathered, is impossible to expound. Nor is there freedom or liberating power for one whose thing-nature is unexpounded, since only pure knowledge is so-natured. Since the supreme goal is rooted in well-practiced knowledge, for its success this is begun. Ignorance, declared bondage-cause in scripture, is called stain; at the rise of the digit of full knowledge, all that goes rootless. When self-consciousness rises with remainderless destroyed stains — liberation too. Hence by this man, with scripture, I reveal entirely whatever knowable reality there may be.
tsa-a01-v05 — Here own-nature alone is supremely adoptable: light-nature of all things, since non-light cannot be nature. And it is not many, since no other natures enter light and natures do not differ; place and time too do not divide it, since they too are light-natured. Hence one light alone — and it is consciousness, since consciousness is of the nature of thing-manifestation; here for all there is no dispute. And that light is not dependent, since being-illumined is dependence, since illuminedness needs another light, and since no other light at all exists. Hence autonomous is the one light, and through autonomy alone, free from limitation by place, time, and form, all-pervading, eternal, of all-form-formless-nature. Of it autonomy is bliss-power; its wonder is will-power; light-nature is consciousness-power; grasp is knowledge-power; all-form-fitness is action-power. Thus though endowed with chief powers, really will-knowledge-action-powered, unlimited, the light resting in its own bliss is Śiva-natured. He alone, through autonomy manifesting self contracted, is called atom. And again he manifests own self autonomously — whereby he shines as unlimited-light-Śiva-nature itself. There too, through autonomy, he manifests own self without means or with means; and with means — will, knowing, or action as approach: hence threefoldness of immersion by śāmbhava-śākta-āṇava distinction. Therein all four forms too, in order, here are taught. The self, light-bodied, this Śiva, autonomous — by autonomy-play's force having hidden own nature, which again would spread forth full, that by sequence-nosequence force or threefold.
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, 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-a01-tsa01-p01.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/tantrasara-a01-tsa01-p01/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/tantrasara-a01-tsa01-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: 3e3fa21b6ac334f1d8ae928b869d4c6a35c84d089fa70dfd0e9ecf45b65a372a ledger: tantrasara-a01/passages.jsonl · edition: gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL) (CANDIDATE-EDITION) layer argmap: bee519476287df9e… tantrasara-a01/data/tsa-a01.argmap.json BOUND-WHOLE-SONG layer c1: a0a4f34df197a798… tantrasara-a01/data/tsa-a01.c1.json BOUND-WHOLE-SONG layer c2: fb9bc63ec9eba1be… tantrasara-a01/data/tsa-a01.c2.json BOUND-WHOLE-SONG layer l0: c7db8262d9c3edb7… tantrasara-a01/data/tsa-a01.l0.json BOUND-WHOLE-SONG layer l2: bb023fa073336949… tantrasara-a01/data/tsa-a01.l2.json BOUND-WHOLE-SONG layer l3: e2abfcfd8891603b… tantrasara-a01/data/tsa-a01.l3.json BOUND-WHOLE-SONG layer l4: 8fdf912a1bd80552… tantrasara-a01/data/tsa-a01.l4.json BOUND-WHOLE-SONG layer t1: fa0e0d47ecea1312… tantrasara-a01/data/tsa-a01.t1.json BOUND-WHOLE-SONG song proof tantrasara-a01/proof/proof-tsa-a01.json: 6973762884e44b90a56271d2a677c9aa9f0a9446f43d094502927ea030f954b3 PASS (0 warnings) trace bundle traces/tantrasara-a01-tsa01-p01.json: 6a05f0ef56b8f785f83cbc6f0ba93b222befba61d9c7fc9ef2f1b56d672e8286 verify pack artifacts (bytes): source.txt 3e3fa21b6ac334f1… 4135B tsa-a01.argmap.json bee519476287df9e… 12260B tsa-a01.c1.json a0a4f34df197a798… 3282B tsa-a01.c2.json fb9bc63ec9eba1be… 5395B tsa-a01.l0.json c7db8262d9c3edb7… 102683B tsa-a01.l2.json bb023fa073336949… 14572B tsa-a01.l3.json e2abfcfd8891603b… 11932B tsa-a01.l4.json 8fdf912a1bd80552… 11949B tsa-a01.t1.json fa0e0d47ecea1312… 27013B proof-tsa-a01.json 6973762884e44b90… 2226B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL); verses 1.1-1.5 excerpt | CANDIDATE-EDITION; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND-WHOLE-SONG |
| GATE deterministic | ABSTENTION, CITATION_GROUNDING | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | 6a05f0ef56b8f785… | 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-a01 tsa01-p01 (1.1-1.5)”, https://svatantrya.net/claim/tantrasara-a01/tsa01-p01/, version trace 6a05f0ef56b8f785f83cbc6f0ba93b222befba61d9c7fc9ef2f1b56d672e8286 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/tantrasara-a01-tsa01-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-a01
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-a01/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.