tantraloka-a34 tal-a34-p01 (34.1-34.4) links incomplete (5 gaps named); counts REGISTERED without a per-declaration run. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from tantraloka-a34/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
[and]-:C34 atha śrītantrāloke catustriṃśamāhnikam ucyate@tha svasvarūpapraveśaḥ kramasaṅgataḥ / 0b yadetadbahudhā proktamāṇavaṃ śivatāptaye / tatrāntarantarāviśya viśrāmyetsavidhe pade tato@pyāṇavasaṃtyāgācchāktīṃ bhūmimupāśrayet / tato@pi śāmbhavīmevaṃ tāratamyakramātsphuṭam itthaṃ kramoditavibodhamahāmarīcisaṃpūritaprasarabhairavabhāvabhāgī / ante@bhyupāyanirapekṣatayaiva nityaṃ svātmānamāviśati garbhitaviśvarūpam kathito@yaṃ svasvarūpapraveśaḥ parameṣṭhinā / [AbhT_34.4]
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 |
| Ladder.lean :: abandon_strict | REGISTERED, run UNBOUND (tier R) | trace formal; EVIDENCE registry reference only |
| Ladder.lean :: chain_trans | REGISTERED, run UNBOUND (tier R) | trace formal; EVIDENCE registry reference only |
| Ladder.lean :: terminal_no_successor | REGISTERED, run UNBOUND (tier R) | trace formal; EVIDENCE registry reference only |
| 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-a34-tal-a34-p01.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/tantraloka-a34-tal-a34-p01/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/tantraloka-a34-tal-a34-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: 490ecf440ef60f69bae233c416d026c0e9ec66eadab3bc67a32fd07db10ae25b ledger: tantraloka-a34/passages.jsonl · edition: UNRESOLVED (work record.json: NO-SOURCE-RECORD, no workcfg source) (CANDIDATE-WORK) layer argmap: b643ba1e614aa4a0… tantraloka-a34/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: bb3fa7ca8cf5d2cb… tantraloka-a34/L2.md BOUND-WORK-MD layer l3: UNKNOWN (no bytes recorded) layer l4: UNKNOWN (no bytes recorded) layer t1: 30ed0d516811ecaf… tantraloka-a34/T1.md BOUND-WORK-MD song proof : UNKNOWN (0 warnings) trace bundle traces/tantraloka-a34-tal-a34-p01.json: c7c6214fdeb130b23c5cecdf21167b8d77a3ad0fd64f8a2f4e7f0493248d0945 verify pack artifacts (bytes): source.txt 490ecf440ef60f69… 560B ARGMAP.md b643ba1e614aa4a0… 1311B L2.md bb3fa7ca8cf5d2cb… 1446B T1.md 30ed0d516811ecaf… 761B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | UNRESOLVED (work record.json: NO-SOURCE-RECORD, no workcfg source); verses 34.1-34.4 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 | REGISTERED |
| TRACE bundle | c7c6214fdeb130b2… | 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-a34 tal-a34-p01 (34.1-34.4)”, https://svatantrya.net/claim/tantraloka-a34/tal-a34-p01/, version trace c7c6214fdeb130b23c5cecdf21167b8d77a3ad0fd64f8a2f4e7f0493248d0945 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/tantraloka-a34-tal-a34-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: tantraloka-a34
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-a34/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.