spanda span-p04 (4-6) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from spanda/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
tasmāc chabdārthacintāsu na sāvasthā na yā śivaḥ | bhoktaiva bhogyabhāvena sadā sarvatra saṃsthitaḥ iti vā yasya saṃvittiḥ krīḍātvenākhilaṃ jagat | sa paśyan satataṃ yukto jīvanmukto na saṃśayaḥ ayam evodayas tasya dhyeyasya dhyāyicetasi | tadātmatāsamāpattir icchataḥ sādhakasya yā iyam evāmṛtaprāptir ayam evātmano grahaḥ | iyaṃ nirvāṇa-dīkṣā ca śivasadbhāvadāyini tṛtīyo niḥṣyandaḥ yathecchābhyarthito dhātā jāgrato 'rthān hṛdi sthitān somasūryodayaṃ kṛtvā sampādayati dehinaḥ || 1 | tathā svapne 'py abhīṣṭārthān praṇayasyānatikramāt | nityaṃ sphuṭataraṃ madhye sthito 'vaśyaṃ prakāśayet anyathā tu svatantrā syāt sṛṣṭis taddharmakatvataḥ | satataṃ laukikasyeva jāgratsvapnapadadvaye yathā hi artho 'sphuṭo dṛṣṭaḥ sāvadhāne 'pi cetasi | bhūyaḥ sphuṭataro bhāti svabalodyogabhāvitaḥ tathā yat paramārthena yena yatra yathā sthitam | tat tathā balam ākramya na cirāt sampravartate durbalo 'pi tadākramya yataḥ kārye pravartate | ācchādayed bubhukṣāṃ ca tathā yo 'ti bubhukṣitaḥ
Reading translation: withheld. no pack L2 entry maps to this passage excerpt (verse-level mapping required, none found) The verify pack carries the layer bytes; no English is quoted without a verified verse mapping.
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 (COVERAGE, 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/spanda-span-p04.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/spanda-span-p04/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/spanda-span-p04/<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: d8ddae2daa0e2ecefbeef04004944f08a82dad34f61cbefab1d91c2aa75ab1ea ledger: spanda/passages.jsonl · edition: GRETIL (Vasugupta Spandakarika) (CANDIDATE-WORK) layer argmap: 9a20dfd86e155956… spanda/data/span-p04.argmap.json BOUND layer c1: cd1ebbe46e8fe8b0… spanda/data/span-p04.c1.json BOUND layer c2: 24e900f007a8ae93… spanda/data/span-p04.c2.json BOUND layer l0: d8d030dbf1313083… spanda/data/span-p04.l0.json BOUND layer l2: db91cd02193443de… spanda/data/span-p04.l2.json BOUND layer l3: d40761e25c0484af… spanda/data/span-p04.l3.json BOUND layer l4: 40ec142a22c993da… spanda/data/span-p04.l4.json BOUND layer t1: a28c5cd87c72cb1c… spanda/data/span-p04.t1.json BOUND song proof spanda/proof/proof-span-p04.json: 7c88f4bb3f973c852fa2f322355c453c04fecf81948a5b1a88726cbd0f092d57 PASS (0 warnings) trace bundle traces/spanda-span-p04.json: 3e073277deed6967fc517565d8abbca3e0e5c8ed1543b17d8f890d2b9a73c004 verify pack artifacts (bytes): source.txt d8ddae2daa0e2ece… 1149B span-p04.argmap.json 9a20dfd86e155956… 5233B span-p04.c1.json cd1ebbe46e8fe8b0… 2769B span-p04.c2.json 24e900f007a8ae93… 2294B span-p04.l0.json d8d030dbf1313083… 23556B span-p04.l2.json db91cd02193443de… 3617B span-p04.l3.json d40761e25c0484af… 4345B span-p04.l4.json 40ec142a22c993da… 4471B span-p04.t1.json a28c5cd87c72cb1c… 6230B proof-span-p04.json 7c88f4bb3f973c85… 1721B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | GRETIL (Vasugupta Spandakarika); verses 4-6 excerpt | CANDIDATE-WORK; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND |
| GATE deterministic | COVERAGE, ABSTENTION | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | 3e073277deed6967… | 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, “spanda span-p04 (4-6)”, https://svatantrya.net/claim/spanda/span-p04/, version trace 3e073277deed6967fc517565d8abbca3e0e5c8ed1543b17d8f890d2b9a73c004 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/spanda-span-p04.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
Provenance
- Edition:
GRETIL (Vasugupta Spandakarika)(CANDIDATE-WORK). Source record: unrecorded (status: unknown). Licence: unestablished — consult the edition source; do not redistribute. A hash is not a licence. - Ledger:
spanda/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.