pub const SCHEMA: &str = "leanctx.session-readset/v1";
Schema id of the JSON printed by lean-ctx session readset --json.
lean-ctx session readset --json