tantraloka-a15 tal-a15-p32 (15.311-15.320) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from tantraloka-a15/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
[and]-vidyāvidyeśinaḥ sarve hyuttarottaratāṃ gatāḥ / sadāśivībhūya tataḥ paraṃ śivamupāśritāḥ ataḥ sadāśivo nityamūrdhvadṛgbhāsvarātmakaḥ / kṛśo meyatvadaurbalyātpreto@ṭṭahasanāditaḥ tasya nābhyutthitaṃ mūrdharandhratrayavinirgatam / nādāntātma smarecchaktivyāpinīsamanojjvalam arātrayaṃ dviṣaṭkāntaṃ tatrāpyaunmanasaṃ trayam / paṅkajānāṃ sitaṃ saptatriṃśadātmedamāsanam atra sarvāṇi tattvāni bhedaprāṇāni yattataḥ / āsanatvena bhinnaṃ hi saṃvido viṣayaḥ smṛtaḥ etānyeva tu tattvāni līnāni parabhairave / tādātmyenātha sṛṣṭāni bhidevārcyatvayojane śrīmadbhairavabodhaikyalābhasvātantryavanti tu / etānyeva tu tattvāni pūjakatvaṃ prayāntyalam pūjakaḥ paratattvātmā pūjyaṃ tattvaṃ parāparam / sṛṣṭatvādaparaṃ tattvajālamāsanatāspadam vidyākalāntaṃ siddhānte vāmadakṣiṇaśāstrayoḥ / sadāśivāntaṃ samanāparyantaṃ matayāmale unmanāntamihākhyātamityetatparamāsanam / arcayitvāsanaṃ pūjyā gurupaṅktistu bhāvivat
Reading translation: withheld. legacy markdown rendering (section-level, not verse-mapped to this passage) The verify pack carries the layer bytes; no English is quoted without a verified verse mapping.
Claim table
| Claim | Status | Basis |
|---|---|---|
| Link completeness | FAIL (5 gaps named) | 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; no English is quoted on this page.
- 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/tantraloka-a15-tal-a15-p32.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/tantraloka-a15-tal-a15-p32/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/tantraloka-a15-tal-a15-p32/<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: 9198cea498e31dedc59cac13373d9c5ad420e11fa0fd77b3cd80044bd1d62183 ledger: tantraloka-a15/passages.jsonl · edition: UNRESOLVED (work record.json: NO-SOURCE-RECORD, no workcfg source) (CANDIDATE-WORK) layer argmap: 44f14a503058feb1… tantraloka-a15/ARGMAP.md BOUND-WORK-MD layer c1: UNKNOWN (no bytes recorded) layer c2: NOT-APPLICABLE (no bytes recorded) layer l0: UNKNOWN (no bytes recorded) layer l2: 79a44bf73d38e6a9… tantraloka-a15/L2.md BOUND-WORK-MD layer l3: UNKNOWN (no bytes recorded) layer l4: UNKNOWN (no bytes recorded) layer t1: 7883705080c72ae6… tantraloka-a15/T1.md BOUND-WORK-MD song proof : UNKNOWN (0 warnings) trace bundle traces/tantraloka-a15-tal-a15-p32.json: a073f829ad0d1033985de7c987bcfd28a1a7446f3ea211364b5f56ee3970ff5c verify pack artifacts (bytes): source.txt 9198cea498e31ded… 1090B ARGMAP.md 44f14a503058feb1… 148477B L2.md 79a44bf73d38e6a9… 138763B T1.md 7883705080c72ae6… 71358B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | UNRESOLVED (work record.json: NO-SOURCE-RECORD, no workcfg source); verses 15.311-15.320 excerpt | CANDIDATE-WORK; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND-WORK-MD, NOT-APPLICABLE, UNKNOWN |
| GATE deterministic | ABSTENTION | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | a073f829ad0d1033… | PARTIAL (links incomplete — see gaps) |
| PACK manifest | 4 artifacts | links present |
| WITNESS | none verified | UNPINNED |
| REVIEW | none bound | UNREVIEWED |
| PUBLICATION | human sign-off required; never automatic | NOT_AUTHORIZED |
Cite this
Svatantrya Reader, “tantraloka-a15 tal-a15-p32 (15.311-15.320)”, https://svatantrya.net/claim/tantraloka-a15/tal-a15-p32/, version trace a073f829ad0d1033985de7c987bcfd28a1a7446f3ea211364b5f56ee3970ff5c (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/tantraloka-a15-tal-a15-p32.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: tal-a15-p31
- Next claim in work: tal-a15-p33
- Work index: tantraloka-a15
Provenance
- Edition:
UNRESOLVED (work record.json: NO-SOURCE-RECORD, no workcfg source)(CANDIDATE-WORK). Source record: unrecorded (status: unknown). Licence: unestablished — consult the edition source; do not redistribute. A hash is not a licence. - Ledger:
tantraloka-a15/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.