bodhapancadasika bod-p07 (7) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from bodhapancadasika/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
atidurghaṭakāritvam asyānuttaram eva yat | etad eva svatantratvam aisvaryaṃ bodharūpatā
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.
bod-p07-v07 — What is hardest to do is His, and it is unsurpassed. That itself is His freedom, His lordship, His awareness-form.
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, 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/bodhapancadasika-bod-p07.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/bodhapancadasika-bod-p07/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/bodhapancadasika-bod-p07/<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: 18c9c56ff4141d9ac9cacce4909b2344c62478217270198d47372c561f6047c8 ledger: bodhapancadasika/passages.jsonl · edition: edition unrecorded (UNKNOWN) layer argmap: e9c150514364e2f3… bodhapancadasika/data/bod-p07.argmap.json BOUND layer c1: dab4a6ad4a4b7ad7… bodhapancadasika/data/bod-p07.c1.json BOUND layer c2: 2721ab8e6562ddf7… bodhapancadasika/data/bod-p07.c2.json BOUND layer l0: 2e329c03512f2aa6… bodhapancadasika/data/bod-p07.l0.json BOUND layer l2: baf208b0a0ca232e… bodhapancadasika/data/bod-p07.l2.json BOUND layer l3: cd1f7d9813114b2c… bodhapancadasika/data/bod-p07.l3.json BOUND layer l4: 35eae13e9b5e5a4c… bodhapancadasika/data/bod-p07.l4.json BOUND layer t1: b66a949d0c7098a8… bodhapancadasika/data/bod-p07.t1.json BOUND song proof bodhapancadasika/proof/proof-bod-p07.json: 39bd753d1dc99623dab81de0ecae18b652c9e1542bba8593106366779b21e7fa PASS (0 warnings) trace bundle traces/bodhapancadasika-bod-p07.json: 945d10ec28701cc8d277dcac89a43b7252772aaa5d57074c3a0c19058e012460 verify pack artifacts (bytes): source.txt 18c9c56ff4141d9a… 95B bod-p07.argmap.json e9c150514364e2f3… 885B bod-p07.c1.json dab4a6ad4a4b7ad7… 715B bod-p07.c2.json 2721ab8e6562ddf7… 1647B bod-p07.l0.json 2e329c03512f2aa6… 3481B bod-p07.l2.json baf208b0a0ca232e… 578B bod-p07.l3.json cd1f7d9813114b2c… 642B bod-p07.l4.json 35eae13e9b5e5a4c… 678B bod-p07.t1.json b66a949d0c7098a8… 973B proof-bod-p07.json 39bd753d1dc99623… 1721B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | edition unrecorded; verses 7 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 | 945d10ec28701cc8… | 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, “bodhapancadasika bod-p07 (7)”, https://svatantrya.net/claim/bodhapancadasika/bod-p07/, version trace 945d10ec28701cc8d277dcac89a43b7252772aaa5d57074c3a0c19058e012460 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/bodhapancadasika-bod-p07.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: bod-p06
- Next claim in work: bod-p08
- Work index: bodhapancadasika
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:
bodhapancadasika/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.