Skip to content

pdks-claude-code

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.

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.

Terminal window
pdks-claude-code init

Install the judge and adapter first, then run from the project root. Register again after paths change. Installation · Registration contract · Migration

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.