ajadapramatrsiddhi ajad-p02 (10-18) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
The passage
Passage excerpt exactly as hashed (from ajadapramatrsiddhi/passages.jsonl). Devanagari is not in the ledger, so none is rendered. The recorded hash covers this excerpt, not the edition volume.
saivaṃ bhūtātmanā svenāpy alabdhapariniṣṭhitiḥ katham anyasya bhāvasya pratiṣṭhāspadatām iyāt
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.
ajad-p02-v10 — If she — by her become self-nature — has never won final grounding, how could she become the standing-place of establishment for another existent?
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/ajadapramatrsiddhi-ajad-p02.json - Fetch the pack manifest:
curl -s https://svatantrya.net/data/verify/ajadapramatrsiddhi-ajad-p02/manifest.json - For each artifact: curl -s https://svatantrya.net/data/verify/ajadapramatrsiddhi-ajad-p02/<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: 54aed76b26411523def6d3875af5a76d8b369fd87a33892fd1e1d229f80e4f71 ledger: ajadapramatrsiddhi/passages.jsonl · edition: edition unrecorded (UNKNOWN) layer argmap: 219fdaea7b1ec064… ajadapramatrsiddhi/data/ajad-p02.argmap.json BOUND layer c1: 3e49c5f3294ce0b1… ajadapramatrsiddhi/data/ajad-p02.c1.json BOUND layer c2: 390461b7b07882df… ajadapramatrsiddhi/data/ajad-p02.c2.json BOUND layer l0: 2e3b9308db76e59d… ajadapramatrsiddhi/data/ajad-p02.l0.json BOUND layer l2: a68335c4d224b8a3… ajadapramatrsiddhi/data/ajad-p02.l2.json BOUND layer l3: ad94be53793ca10f… ajadapramatrsiddhi/data/ajad-p02.l3.json BOUND layer l4: caabb92223d135f3… ajadapramatrsiddhi/data/ajad-p02.l4.json BOUND layer t1: 4ddcc4fe23b0c0ae… ajadapramatrsiddhi/data/ajad-p02.t1.json BOUND song proof ajadapramatrsiddhi/proof/proof-ajad-p02.json: 4855e7e6a0c6b139c8cf301d7817d576f83d0f63037850cae66a3c4d30061aba PASS (0 warnings) trace bundle traces/ajadapramatrsiddhi-ajad-p02.json: 65d3eaa452862c1ee8f4f9fdd084cb4950a9bcc48d0f70170b1049441ec45fdc verify pack artifacts (bytes): source.txt 54aed76b26411523… 113B ajad-p02.argmap.json 219fdaea7b1ec064… 9715B ajad-p02.c1.json 3e49c5f3294ce0b1… 3109B ajad-p02.c2.json 390461b7b07882df… 3036B ajad-p02.l0.json 2e3b9308db76e59d… 38002B ajad-p02.l2.json a68335c4d224b8a3… 5952B ajad-p02.l3.json ad94be53793ca10f… 6660B ajad-p02.l4.json caabb92223d135f3… 6954B ajad-p02.t1.json 4ddcc4fe23b0c0ae… 10119B proof-ajad-p02.json 4855e7e6a0c6b139… 1732B
Chain
| Hop | Value | Status |
|---|---|---|
| SOURCE edition + span | edition unrecorded; verses 10-18 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 | 65d3eaa452862c1e… | 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, “ajadapramatrsiddhi ajad-p02 (10-18)”, https://svatantrya.net/claim/ajadapramatrsiddhi/ajad-p02/, version trace 65d3eaa452862c1ee8f4f9fdd084cb4950a9bcc48d0f70170b1049441ec45fdc (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/ajadapramatrsiddhi-ajad-p02.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: ajad-p01
- Next claim in work: ajad-p03
- Work index: ajadapramatrsiddhi
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:
ajadapramatrsiddhi/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.