kramastotra kram-p13 (13) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from kramastotra/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
kramollāsaṃ tasyāṃ bhuvi viracayan bhedakalanāṃ svaśaktīnāṃ deva prathayasi sadā svātmani tataḥ | kriyājñānecchākhyāṃ sthitilayamahāsṛṣṭivibhavāṃ trirūpaṃ bhūyāsaṃ samadhiśayituṃ vyagrahṛdayaḥ
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 (CITATION_GROUNDING) | 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/kramastotra-kram-p13.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/kramastotra-kram-p13/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/kramastotra-kram-p13/<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: 49b1f401fab47e98fbfcfd8e1ed6693d1c6d97e7c8656059dadba9ce86be02be ledger: kramastotra/passages.jsonl · edition: edition unrecorded (UNKNOWN) layer argmap: 9768a477ab6d132b… kramastotra/data/kram-p13.argmap.json BOUND layer c1: 20e27740c36fe94c… kramastotra/data/kram-p13.c1.json BOUND layer c2: 8603a54df020f2fd… kramastotra/data/kram-p13.c2.json BOUND layer l0: cfcb4cbbf34359ce… kramastotra/data/kram-p13.l0.json BOUND layer l2: d69d1b09602a9bcb… kramastotra/data/kram-p13.l2.json BOUND layer l3: 932bc14efbc1ce2b… kramastotra/data/kram-p13.l3.json BOUND layer l4: ec2cd47eae80dff5… kramastotra/data/kram-p13.l4.json BOUND layer t1: 88f36c83546635de… kramastotra/data/kram-p13.t1.json BOUND song proof kramastotra/proof/proof-kram-p13.json: 559d2626e8ea02c0ccd70e082740c69a83f60917ca130d447e5456982a42589b PASS (0 warnings) trace bundle traces/kramastotra-kram-p13.json: b40a7de5218e0a879d9391bc4a9180527eb3de623147c2aee9aa2875dbe411a7 verify pack artifacts (bytes): source.txt 49b1f401fab47e98… 241B kram-p13.argmap.json 9768a477ab6d132b… 1203B kram-p13.c1.json 20e27740c36fe94c… 705B kram-p13.c2.json 8603a54df020f2fd… 1443B kram-p13.l0.json cfcb4cbbf34359ce… 8136B kram-p13.l2.json d69d1b09602a9bcb… 1012B kram-p13.l3.json 932bc14efbc1ce2b… 1015B kram-p13.l4.json ec2cd47eae80dff5… 1051B kram-p13.t1.json 88f36c83546635de… 1972B proof-kram-p13.json 559d2626e8ea02c0… 1724B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | edition unrecorded; verses 13 excerpt | UNKNOWN; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND |
| GATE deterministic | CITATION_GROUNDING | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | b40a7de5218e0a87… | 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, “kramastotra kram-p13 (13)”, https://svatantrya.net/claim/kramastotra/kram-p13/, version trace b40a7de5218e0a879d9391bc4a9180527eb3de623147c2aee9aa2875dbe411a7 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/kramastotra-kram-p13.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: kram-p12
- Next claim in work: kram-p14
- Work index: kramastotra
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:
kramastotra/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.