tantrasara-a11 tsa11-p10 (11.23-11.25) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
The passage
Passage excerpt exactly as hashed (from tantrasara-a11/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
evam anugrahanimittaṃ śaktipāto nirapekṣa eva karmādiniyatyapekṣaṇāt // abhts_11.23 tirobhāva iti tirobhāvo hi karmādyapekṣagāḍhaduḥkhamohabhāgitvaphalaḥ yathāhi prakāśasvātantryāt prabuddho 'pi mūḍhavat ceṣṭate hṛdayena ca mūḍhaceṣṭāṃ nindati tathā mūḍho 'pi prabuddhaceṣṭāṃ mantrārādhanādikāṃ kuryāt nindec ca yathā ca asya mūḍhaceṣṭā kriyamāṇāpi prabuddhasya dhvaṃsam eti tathā asya prabuddhaceṣṭā sā tu nindyamānā niṣiddhācaraṇarūpatvāt svayaṃ ca tayaiva viśaṅkamānatvāt enaṃ duḥkhamohapaṅke nimajjayati na tu utpannaśaktipātasya tirobhāvo 'sti atrāpi ca karmādyapekṣā pūrvavat niṣedhyā tatrāpi ca icchāvaicitryāt etad dehamātropabhogyaduḥkhaphalatvaṃ vā dīkṣāsamayacaryāgurudevāgnyādau sevānindanobhayaprasaktānām iva prāk śivaśāsanasthānāṃ tattyāginām iva // abhts_11.24 tatrāpi icchāvaicitryāt tirobhūto 'pi svayaṃ vā śaktipātena yujyate mṛto vā bandhugurvādikṛpāmukhena ity evaṃ kṛtyabhāgitvaṃ svātmani anusaṃdadhat parameśvara eva iti na khaṇḍitam ātmānaṃ paśyet // abhts_11.25
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-a11-v23 — Thus caused-by-grace power-descent independent indeed from-dependence-on-act-and-rest-determinism.
tsa-a11-v24 — Concealment — thus concealment indeed fruit-of-dependence-in-deep-sorrow-delusion: for-as from-light-freedom awakened even like-a-fool behaves; by-heart and foolish-behavior condemns; likewise fool even awakened-behavior mantra-worship-and-rest should-do, should-condemn — and as his foolish-behavior even-when-done of-awakened goes-to destruction. Likewise his awakened-behavior she but being-condemned from-being-forbidden-conduct-form oneself and by-it-alone from-self-suspicion him in-mire-of-sorrow-delusion he-drowns. Not but of-arisen-power-descent concealment-even exists herein even and dependence-on-act-and-rest as-before having-prohibited; therein even from-wills-manifoldness this body-only-enjoyment-sorrow-fruit-ness or in-initiation-covenant-conduct-teacher-god-fire-and-rest of-servicing-condemning-both-engaged like before of-Siva-doctrine-standers of-abandoning-him like.
tsa-a11-v25 — Even-therein from-wills-manifoldness concealed even oneself or by-power-descent is-joined, dead or through-mouth-of-kinsman-guru-etc-grace — thus in-this-way duty-share-ness in-own-self committing the-Supreme-Lord just — thus not maimed self should-see.
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 | PASS (none) | 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-a11-tsa11-p10.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/tantrasara-a11-tsa11-p10/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/tantrasara-a11-tsa11-p10/<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: 7d37ae2fe6dc0d6abe5c8222e78a3398cba96bf1ad8081ba85d8b1ef2a2b1d77 ledger: tantrasara-a11/passages.jsonl · edition: gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL) (CANDIDATE-EDITION) layer argmap: 69b33bd64d7adff0… tantrasara-a11/data/tsa-a11.argmap.json BOUND-WHOLE-SONG layer c1: 02afabc0308524fd… tantrasara-a11/data/tsa-a11.c1.json BOUND-WHOLE-SONG layer c2: NOT-APPLICABLE (no bytes recorded) layer l0: 9f705d90885a6273… tantrasara-a11/data/tsa-a11.l0.json BOUND-WHOLE-SONG layer l2: 0b846d3759b589e0… tantrasara-a11/data/tsa-a11.l2.json BOUND-WHOLE-SONG layer l3: 79f0cd2cd9f99f84… tantrasara-a11/data/tsa-a11.l3.json BOUND-WHOLE-SONG layer l4: 5cb729bfacdba257… tantrasara-a11/data/tsa-a11.l4.json BOUND-WHOLE-SONG layer t1: 4ba0d2a3ea3e0522… tantrasara-a11/data/tsa-a11.t1.json BOUND-WHOLE-SONG song proof tantrasara-a11/proof/proof-tsa-a11.json: f92027f353d0eb4f5c908819a89fdef276ea47447651e960fcf50224601e9813 PASS (0 warnings) trace bundle traces/tantrasara-a11-tsa11-p10.json: 2dd0cb34e936258fe958d392e77a6e4b2096c22f0a82e2f45add420aa7fa0b25 verify pack artifacts (bytes): source.txt 7d37ae2fe6dc0d6a… 1174B tsa-a11.argmap.json 69b33bd64d7adff0… 35650B tsa-a11.c1.json 02afabc0308524fd… 8075B tsa-a11.l0.json 9f705d90885a6273… 229431B tsa-a11.l2.json 0b846d3759b589e0… 33988B tsa-a11.l3.json 79f0cd2cd9f99f84… 35457B tsa-a11.l4.json 5cb729bfacdba257… 36028B tsa-a11.t1.json 4ba0d2a3ea3e0522… 60378B proof-tsa-a11.json f92027f353d0eb4f… 1632B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | gretil_tantrasara_clean.txt (Nirnaya Sagara 1918, GRETIL); verses 11.23-11.25 excerpt | CANDIDATE-EDITION; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND-WHOLE-SONG, NOT-APPLICABLE |
| GATE deterministic | none | PASS |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | 2dd0cb34e936258f… | 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-a11 tsa11-p10 (11.23-11.25)”, https://svatantrya.net/claim/tantrasara-a11/tsa11-p10/, version trace 2dd0cb34e936258fe958d392e77a6e4b2096c22f0a82e2f45add420aa7fa0b25 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/tantrasara-a11-tsa11-p10.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
- Previous claim in work: tsa11-p09
- Work index: tantrasara-a11
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-a11/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.