bodhavilasa bodh-p05 (41-42) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
The passage
Passage excerpt exactly as hashed (from bodhavilasa/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
etad advayam ity uktaṃ jñānāmṛtam anuttamam yaḥ pibec chāmyate tasya saṃsāraviṣamūrchanam bodhollāsavidhāneyaṃ śivaprāpyai mahātmanām rājñaḥ kṣemābhidhānasya śāstram atyantanirmalam iti śrīkṣemarājakṛtaṃ bodhavilāsākhyaṃ yogaśāstram
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.
bodh-p05-v41 — This non-dual thus said — nectar-of-knowledge unsurpassed — who may drink is quenched. His fever-of-saṃsāra-poison.
bodh-p05-v42 — This bliss-of-awareness-method for attaining Śiva — of great souls, of king Kṣema-named — treatise extremely pure.
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/bodhavilasa-bodh-p05.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/bodhavilasa-bodh-p05/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/bodhavilasa-bodh-p05/<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: cef722a7db17bc196ff5948461f4e2d143579f60192bd08fbfd180275aef9196 ledger: bodhavilasa/passages.jsonl · edition: edition unrecorded (UNKNOWN) layer argmap: 19d625528e2442b5… bodhavilasa/data/bodh-p05.argmap.json BOUND layer c1: ef7f4c4401a2a1d8… bodhavilasa/data/bodh-p05.c1.json BOUND layer c2: 35f0b4ee013e5b86… bodhavilasa/data/bodh-p05.c2.json BOUND layer l0: 6dc1b660c3cd78b7… bodhavilasa/data/bodh-p05.l0.json BOUND layer l2: 58ff32fe78414c42… bodhavilasa/data/bodh-p05.l2.json BOUND layer l3: 12ac042fbb6524ff… bodhavilasa/data/bodh-p05.l3.json BOUND layer l4: 58d774ade939e276… bodhavilasa/data/bodh-p05.l4.json BOUND layer t1: 6d2f4fb993439db4… bodhavilasa/data/bodh-p05.t1.json BOUND song proof bodhavilasa/proof/proof-bodh-p05.json: ccd7775b505c62442d8dff1e5cd8695dc620b367a00fa5199d0b52964f2d7a75 PASS (0 warnings) trace bundle traces/bodhavilasa-bodh-p05.json: 7fef630fdd7370aadb4bc8705981ff28221d990e9b90721ef706689f0d74e4d7 verify pack artifacts (bytes): source.txt cef722a7db17bc19… 281B bodh-p05.argmap.json 19d625528e2442b5… 1660B bodh-p05.c1.json ef7f4c4401a2a1d8… 870B bodh-p05.c2.json 35f0b4ee013e5b86… 1581B bodh-p05.l0.json 6dc1b660c3cd78b7… 7144B bodh-p05.l2.json 58ff32fe78414c42… 1221B bodh-p05.l3.json 12ac042fbb6524ff… 1347B bodh-p05.l4.json 58d774ade939e276… 1419B bodh-p05.t1.json 6d2f4fb993439db4… 2052B proof-bodh-p05.json ccd7775b505c6244… 1723B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | edition unrecorded; verses 41-42 excerpt | UNKNOWN; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND |
| GATE deterministic | none | PASS |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | 7fef630fdd7370aa… | 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, “bodhavilasa bodh-p05 (41-42)”, https://svatantrya.net/claim/bodhavilasa/bodh-p05/, version trace 7fef630fdd7370aadb4bc8705981ff28221d990e9b90721ef706689f0d74e4d7 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/bodhavilasa-bodh-p05.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: bodh-p04
- Work index: bodhavilasa
Provenance
- Edition:
edition unrecorded(UNKNOWN). Source record: unrecorded (status: unknown). Licence: unestablished — consult the edition source; do not redistribute. A hash is not a licence. - Ledger:
bodhavilasa/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.