bhairavastava bh-p10 (10) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
The passage
Passage excerpt exactly as hashed (from bhairavastava/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
vasurasapauṣe kṛṣṇadaśamyām abhinavaguptaḥ stavam imam akarot yena vibhuḥ bhavati janasya arusantāpaṃ śamayati jhaṭiti dayāluḥ
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.
bh-p10 — In the month of Pauṣa, on the dark tenth, Abhinavagupta made this hymn. The pervasive, compassionate Lord pacifies the world's desert-heat — instantly.
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/bhairavastava-bh-p10.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/bhairavastava-bh-p10/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/bhairavastava-bh-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: 6c8de0d897072c86dac06e7ec4b374cecc7e8a2c7e85c720732e601736be9195 ledger: bhairavastava/passages.jsonl · edition: edition unrecorded (UNKNOWN) layer argmap: 8bdd586c2c32d4d8… bhairavastava/data/bh-p10.argmap.json BOUND layer c1: 030a277f2fc35092… bhairavastava/data/bh-p10.c1.json BOUND layer c2: e7e713e15b395699… bhairavastava/data/bh-p10.c2.json BOUND layer l0: 5698541cfbc816b3… bhairavastava/data/bh-p10.l0.json BOUND layer l2: 89c1b3f533170b1b… bhairavastava/data/bh-p10.l2.json BOUND layer l3: 280c44376d7d0bec… bhairavastava/data/bh-p10.l3.json BOUND layer l4: 218be1ef2933b6b3… bhairavastava/data/bh-p10.l4.json BOUND layer t1: c581603a80b813e5… bhairavastava/data/bh-p10.t1.json BOUND song proof bhairavastava/proof/proof-bh-p10.json: 0dfee6774eef7e70b64df68bb01ec27684a1dd87862d8635c80f805b24aeb977 PASS (0 warnings) trace bundle traces/bhairavastava-bh-p10.json: c282f085a76e036cbfbaa93bdacbc436aff043ab9f911734f4a3ce59619ba06b verify pack artifacts (bytes): source.txt 6c8de0d897072c86… 149B bh-p10.argmap.json 8bdd586c2c32d4d8… 1423B bh-p10.c1.json 030a277f2fc35092… 1188B bh-p10.c2.json e7e713e15b395699… 2243B bh-p10.l0.json 5698541cfbc816b3… 7757B bh-p10.l2.json 89c1b3f533170b1b… 713B bh-p10.l3.json 280c44376d7d0bec… 1070B bh-p10.l4.json 218be1ef2933b6b3… 1088B bh-p10.t1.json c581603a80b813e5… 1410B proof-bh-p10.json 0dfee6774eef7e70… 1714B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | edition unrecorded; verses 10 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 | c282f085a76e036c… | 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, “bhairavastava bh-p10 (10)”, https://svatantrya.net/claim/bhairavastava/bh-p10/, version trace c282f085a76e036cbfbaa93bdacbc436aff043ab9f911734f4a3ce59619ba06b (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/bhairavastava-bh-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: bh-p09
- Work index: bhairavastava
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:
bhairavastava/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.