ajadapramatrsiddhi ajad-p03 (19-27) 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.

na siddho 'prathanād eva jñānādisamavāyy api tat prāṇādi prameyaṃ syān na pramātānyato bhramā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-p03-v19 — Never proved by non-spreading — though joined with knowing and the rest — breath and kin would be knowables, never knowers. Otherwise, delusion.

Claim table

ClaimStatusBasis
Link completenessPASSassurance.trace_links_present + gaps
Human reviewUNREVIEWED (machine rendering; no human sign-off)assurance.review
Deterministic chunk gatePASS (none)proofs.chunk_gate
Manuscript witnessUNPINNED (0 verified corpus-wide)identity.witness
Source-span completenessUNKNOWNassurance: ledger span is an excerpt; volume not hashed

What this does NOT establish

Verify it

  1. Fetch the trace: curl -s https://svatantrya.net/data/traces/ajadapramatrsiddhi-ajad-p03.json
  2. Fetch the pack manifest: curl -s https://svatantrya.net/data/verify/ajadapramatrsiddhi-ajad-p03/manifest.json
  3. For each artifact: curl -s https://svatantrya.net/data/verify/ajadapramatrsiddhi-ajad-p03/<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.
  4. 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: de745d2824053913624bbee429b8d8d8cb6958de541efbb4c1e6358e0b8dba6f
  ledger: ajadapramatrsiddhi/passages.jsonl · edition: edition unrecorded (UNKNOWN)
layer argmap: 490a3c75d5a0a240…  ajadapramatrsiddhi/data/ajad-p03.argmap.json  BOUND
layer c1: 75e55c558e9b6727…  ajadapramatrsiddhi/data/ajad-p03.c1.json  BOUND
layer c2: b5e253bbc6ab3ad8…  ajadapramatrsiddhi/data/ajad-p03.c2.json  BOUND
layer l0: b8b674bef2a0417f…  ajadapramatrsiddhi/data/ajad-p03.l0.json  BOUND
layer l2: c2c9a8405a248458…  ajadapramatrsiddhi/data/ajad-p03.l2.json  BOUND
layer l3: be89c0d78549b557…  ajadapramatrsiddhi/data/ajad-p03.l3.json  BOUND
layer l4: af42012c42b162ce…  ajadapramatrsiddhi/data/ajad-p03.l4.json  BOUND
layer t1: 0ec2366cb7e83136…  ajadapramatrsiddhi/data/ajad-p03.t1.json  BOUND
song proof ajadapramatrsiddhi/proof/proof-ajad-p03.json: 8e814c6a3890cc18b88dcabc95c10b9fb661570c9fd6152fb0ea3e3f3b80b947  PASS (0 warnings)
trace bundle traces/ajadapramatrsiddhi-ajad-p03.json: 2f80a32d95cc8c1ef92451818da3ebf03dd2059bc77d881af3eeb2cb3fd76c6d
verify pack artifacts (bytes):
source.txt  de745d2824053913…  109B
ajad-p03.argmap.json  490a3c75d5a0a240…  10383B
ajad-p03.c1.json  75e55c558e9b6727…  3281B
ajad-p03.c2.json  b5e253bbc6ab3ad8…  3081B
ajad-p03.l0.json  b8b674bef2a0417f…  35399B
ajad-p03.l2.json  c2c9a8405a248458…  5648B
ajad-p03.l3.json  be89c0d78549b557…  6660B
ajad-p03.l4.json  af42012c42b162ce…  6924B
ajad-p03.t1.json  0ec2366cb7e83136…  9656B
proof-ajad-p03.json  8e814c6a3890cc18…  1732B

Chain

HopValueStatus
SOURCE edition + spanedition unrecorded; verses 19-27 excerptUNKNOWN; span UNKNOWN
LAYERSshas below; song-file pathsBOUND
GATE deterministicnonePASS
FORMAL theoremsregistry references, run_bound falsenone
TRACE bundle2f80a32d95cc8c1e…COMPLETE (links present only)
PACK manifest10 artifactslinks present
WITNESSnone verifiedUNPINNED
REVIEWnone boundUNREVIEWED
PUBLICATIONhuman sign-off required; never automaticNOT_AUTHORIZED

Cite this

Svatantrya Reader, “ajadapramatrsiddhi ajad-p03 (19-27)”, https://svatantrya.net/claim/ajadapramatrsiddhi/ajad-p03/, version trace 2f80a32d95cc8c1ef92451818da3ebf03dd2059bc77d881af3eeb2cb3fd76c6d (full sha256 of the trace bundle). Retrieve and re-verify: curl -s https://svatantrya.net/data/traces/ajadapramatrsiddhi-ajad-p03.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

Provenance