pdks-claude-code
Responsibility
Section titled “Responsibility”A Rust executable translates host events into input IR and sends them to a separate
pdks covenant check --enforce block process. Its consumer contract is the init and hook commands.
Observed evidence
Section titled “Observed evidence”File tools supply disk pre-state and computed post-state; shell calls supply the command. Only
Claude transcript messages marked origin.kind: human count as human evidence. SDK-authored user
messages do not establish human provenance.
Connect
Section titled “Connect”pdks-claude-code initInstall the judge and adapter first, then run from the project root. Register again after paths change. Installation · Registration contract · Migration
Limits and recovery
Section titled “Limits and recovery”Judges calls delivered by the host, not every write made by child processes. Calls can proceed when the adapter or judge cannot start, so verify executable paths and actual logs. Make protected edits in your terminal when a session has no human evidence.