Expand description
Meta-deontic (Phase 5, DEONTIC_LOGIC_PLAN §11) — provenance, endorsement, and the court-admissible record.
An obligation is only as strong as the authority asserting it and the record proving its
breach. This layer turns a DeonticVerdict into durable, attributable evidence:
- Provenance anchoring — a breach record carries, in
context, the instrument the norm derived from (prov:wasDerivedFrom), so a violation points back to its ground. - Court-admissible record — a
Violatedverdict is written to the Write-Ahead Log (crate::wal), which is Merkle-DAG–linked (prev_dag_hash) — an immutable, time-orderedBreachRecordhistory. - Cryptographic endorsement — the Curation Directive: a human signs the
interpretation. The breach record is wrapped as a
Credentialclaim and verified with real Ed25519 (crate::verifiable_credential). The engine never holds keys — signing is the identity layer’s job (verifiable_credential::issue); this module only constructs the endorsement envelope and verifies it.
Structs§
- Evidence
Package - A compiled, court-admissible evidence package: the breach
record, theprovenanceinstrument it is anchored to, and the humanendorsement(the Curation-Directive attestation). Bundles the three artefacts a tribunal needs into one structure.
Functions§
- breach_
predicate - Predicate marking a breach record in the WAL / graph.
- breach_
provenance - The instrument a breach record is anchored to (its provenance ground).
- build_
breach_ record - Build a court-admissible breach record from a verdict — only if it is
Violated.subject= the party in breach,object= the breached content,context= the sourceinstrument(provenance anchor),metadata= the breach time. Zero-heap. - compile_
evidence_ package - Compile a court-admissible evidence package from a
Violatedverdict: build the breach record, anchor it to itsinstrument(provenance), and wrap it as an endorsement credential byendorser(the human attestor).Noneif the verdict is not a violation (nothing to compile). The package is then SIGNED by the identity layer (verifiable_credential::issue) — the engine never holds keys. - endorsement_
credential - Build the endorsement envelope: the Curation-Directive attestation that wraps a breach
recordas aCredentialclaim.endorseris the attesting (human) agent;subjectis the party the breach concerns. Unsigned — the identity layer signs it with the endorser’s key viaverifiable_credential::issue, then anyone verifies withverifiable_credential::verify. Authenticates ORIGIN (who endorsed), not truth. - record_
breach_ to_ wal - Append a breach record to the WAL (court-admissible, Merkle-DAG–linked). Returns
trueiff a record was written (i.e. the verdict wasViolated). - translate_
norm_ across_ jurisdictions - Translate a norm’s content across jurisdictions via a
mappingof(source, target)content rows — e.g. mapping an ICCPR Article-7 prohibition to the equivalent domestic-statute provision. Gated by the Curation Directive: a mapping is applied only ifattested(a human ratifies the cross-jurisdictional equivalence). Returns the translated norm (content remapped), orNoneif unmapped/unattested.