Repository navigation
I15: Analyzers' reader compatibility with the ledger export (tracking) #76
Description
PRD: §8 (amended 2026-10-01, rulings 3 and 5). Size: S. Depends on: nothing. These should land upstream before the generator consumes #62's export.
Filed upstream:
- NTriplesReader: take the set id from ledger:set's IRI local part Hafeok/decision-driven-analyzers#81: take the set id from
ledger:set's IRI local part (ruling 5). - NTriplesReader: keep every rdf:type of a node, not the last one read Hafeok/decision-driven-analyzers#82: keep every
rdf:typeof a node, not the last one read (ruling 5). - NTriplesReader: read revocations as ledger:Revocation nodes (ledger:revokes), accept the old shape during transition Hafeok/decision-driven-analyzers#83: read revocations as
ledger:Revocationnodes withledger:revokes. It accepts the oldledger:revokedAt-on-acceptance shape with a warning during the transition, so the current export and Varve's interim files keep working until the v2 export (I5: Revocation becomes its own signed entity; acceptances are immutable #66) lands (ruling 3).
Close when all three are merged upstream.
Activity
Hafeok commentedon Nov 3, 2026
Closed as not carried under D1.24`` and the definition's chapter 8:``` the Rust tool is frozen at
rust-finaland its tree left `main` in #166 (`53bd547`). This concerns the Rust ledger (its keys, namespaces or authority), which is Writ's authority graph now. The rewrite holds no key and no grant, and `writ import` reads `.decisions/` once, at the tag. Disposition approved on #165.Generated by Claude Code