isvarasiddhi isva-p04 (28-36) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
The passage
Passage excerpt exactly as hashed (from isvarasiddhi/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
tadvinā kumbhakāreṇa ghaṭo'pi na bhavetkatham atha svabhāva eṣo'sya yatkulālādyapekṣaṇam naivopādanahetvantaḥ praveśātsahakāribhiḥ lokayātrānusaṃdhānavatīṃ prajñāṃ vinā nahi sthūlatāmātrameva syānna tu lokopayoginī kulālasahakāritvamātrāccejjāyate ghaṭaḥ ata evārthanīyatvātsaṃniveśo viśiṣyate na ceśvaro'nīśvaro vā prakṛto'trāṇulakṣaṇaḥ na ca pradhānasyecchādisaṃbhavaḥ puruṣārthatā
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.
isva-p04-v28 — Without that — how could there be even a pot without a potter?
isva-p04-v31 — World-traffic-linking-having wisdom — without — never indeed.
isva-p04-v36 — Nor of pradhāna desire-etc.-arising — person-aim-ness.
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 (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, 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/isvarasiddhi-isva-p04.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/isvarasiddhi-isva-p04/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/isvarasiddhi-isva-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: 3a47eae83295677984981b6c6e98cc16133674ef6c7110087121f86b177f47ec ledger: isvarasiddhi/passages.jsonl · edition: edition unrecorded (UNKNOWN) layer argmap: 024945355930cfe8… isvarasiddhi/data/isva-p04.argmap.json BOUND layer c1: fd9a1ec4efd2a3ad… isvarasiddhi/data/isva-p04.c1.json BOUND layer c2: a20908450862931a… isvarasiddhi/data/isva-p04.c2.json BOUND layer l0: daa3132fc813b72b… isvarasiddhi/data/isva-p04.l0.json BOUND layer l2: a337a3394d57d0e8… isvarasiddhi/data/isva-p04.l2.json BOUND layer l3: 0f8a2a37cabfdb30… isvarasiddhi/data/isva-p04.l3.json BOUND layer l4: 2e9b673f05ccaf13… isvarasiddhi/data/isva-p04.l4.json BOUND layer t1: f786780b311d899d… isvarasiddhi/data/isva-p04.t1.json BOUND song proof isvarasiddhi/proof/proof-isva-p04.json: 5174b8c3389db9fcb4ad79129b4ebdd507f6fd04f703efa2d6ad00f6b9bfa548 PASS (0 warnings) trace bundle traces/isvarasiddhi-isva-p04.json: f863ca253c96772ca6be4dcba73af7a2e9cec7f2315bcb0a50ffd02059cc84d9 verify pack artifacts (bytes): source.txt 3a47eae832956779… 467B isva-p04.argmap.json 024945355930cfe8… 7994B isva-p04.c1.json fd9a1ec4efd2a3ad… 1389B isva-p04.c2.json a20908450862931a… 2575B isva-p04.l0.json daa3132fc813b72b… 33765B isva-p04.l2.json a337a3394d57d0e8… 5179B isva-p04.l3.json 0f8a2a37cabfdb30… 5893B isva-p04.l4.json 2e9b673f05ccaf13… 6187B isva-p04.t1.json f786780b311d899d… 9096B proof-isva-p04.json 5174b8c3389db9fc… 2018B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | edition unrecorded; verses 28-36 excerpt | UNKNOWN; span UNKNOWN |
| LAYERS | shas below; song-file paths | BOUND |
| GATE deterministic | ABSTENTION | BLOCKED |
| FORMAL theorems | registry references, run_bound false | none |
| TRACE bundle | f863ca253c96772c… | 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, “isvarasiddhi isva-p04 (28-36)”, https://svatantrya.net/claim/isvarasiddhi/isva-p04/, version trace f863ca253c96772ca6be4dcba73af7a2e9cec7f2315bcb0a50ffd02059cc84d9 (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/isvarasiddhi-isva-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
- Previous claim in work: isva-p03
- Next claim in work: isva-p05
- Work index: isvarasiddhi
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:
isvarasiddhi/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.