ajadapramatrsiddhi ajad-p01 (1-9) — trace-backed claim page

Svatantrya Reader

ajadapramatrsiddhi ajad-p01 (1-9) 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.

yathā sadasatām naiva viśeṣo 'sti nijātmani jadājaḍānām apy evaṃ nāsty asāv iti niścayaḥ

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-p01-v01 — Just as there is no difference between the real and the unreal in their own nature, so too — this is certain — there is no such difference between the inert and the non-inert.

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-p01.json
Fetch the pack manifest: curl -s https://svatantrya.net/data/verify/ajadapramatrsiddhi-ajad-p01/manifest.json
For each artifact: curl -s https://svatantrya.net/data/verify/ajadapramatrsiddhi-ajad-p01/<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: 5c6b9908f2ed0ea0884fdcdaa0c89dbbb977c1f5d71ef200319bf5bdcd01be31
  ledger: ajadapramatrsiddhi/passages.jsonl · edition: edition unrecorded (UNKNOWN)
layer argmap: f7f7ec1ce551288d…  ajadapramatrsiddhi/data/ajad-p01.argmap.json  BOUND
layer c1: e9bbfc99a4fe1e66…  ajadapramatrsiddhi/data/ajad-p01.c1.json  BOUND
layer c2: b1b9cd089918e164…  ajadapramatrsiddhi/data/ajad-p01.c2.json  BOUND
layer l0: b10882ca87f327b8…  ajadapramatrsiddhi/data/ajad-p01.l0.json  BOUND
layer l2: 76f9e0083bea029f…  ajadapramatrsiddhi/data/ajad-p01.l2.json  BOUND
layer l3: 709085f00b03b293…  ajadapramatrsiddhi/data/ajad-p01.l3.json  BOUND
layer l4: 2e55e53e159c0fe4…  ajadapramatrsiddhi/data/ajad-p01.l4.json  BOUND
layer t1: 2f5fe3ee7c4abf29…  ajadapramatrsiddhi/data/ajad-p01.t1.json  BOUND
song proof ajadapramatrsiddhi/proof/proof-ajad-p01.json: f93ed852df50bd3a0e3971665c0ef090d2f19b563379b51358b25611949dbdcb  PASS (0 warnings)
trace bundle traces/ajadapramatrsiddhi-ajad-p01.json: 272c3874af2eac6d3971866941b0e2048d5b0d26fdd7a895be0c7c3b263a474a
verify pack artifacts (bytes):
source.txt  5c6b9908f2ed0ea0…  106B
ajad-p01.argmap.json  f7f7ec1ce551288d…  9243B
ajad-p01.c1.json  e9bbfc99a4fe1e66…  3371B
ajad-p01.c2.json  b1b9cd089918e164…  2900B
ajad-p01.l0.json  b10882ca87f327b8…  39840B
ajad-p01.l2.json  76f9e0083bea029f…  6365B
ajad-p01.l3.json  709085f00b03b293…  6590B
ajad-p01.l4.json  2e55e53e159c0fe4…  6914B
ajad-p01.t1.json  2f5fe3ee7c4abf29…  10419B
proof-ajad-p01.json  f93ed852df50bd3a…  1940B

Chain

Hop	Value	Status
SOURCE edition + span	edition unrecorded; verses 1-9 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	`272c3874af2eac6d…`	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-p01 (1-9)”, https://svatantrya.net/claim/ajadapramatrsiddhi/ajad-p01/, version trace 272c3874af2eac6d3971866941b0e2048d5b0d26fdd7a895be0c7c3b263a474a (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/ajadapramatrsiddhi-ajad-p01.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.

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.py from byte-verified trace + pack (every file hashed against trace and manifest by role). Regenerates byte-identically or fails closed.