HTTP client SDK for the CleanLibrary verdict API — VerdictEnvelopeV1 types, derive_status logic, transport, config, and risk-acceptance YAML emitter shared…
smix-ai-tier — the fenced AI-assertion tier: screenshot to a local claude CLI, back as a structured verdict. Powers the assertCondition / extractWithAI yaml…
Allocation-free parsers for scalars from untrusted text — booleans, numerics, UUIDs, and temporals. Every parse returns a verdict (the value, or a closed…
High-load stress and soak testing for Rust. Concurrent workloads, latency percentiles, throughput collapse detection, sustained-pressure verdicts. Part of the…
Code coverage with regression gates for Rust. Wraps cargo-llvm-cov: line / function / region kill rates, stored baselines, machine-readable verdicts. Part of…
Diagnostic verification harness for the rustdl OWL 2 DL reasoner. A `Violated` verdict is a lead requiring adjudication against a peer reasoner, not a proof of…
Polydeukes SDK for Rust — hands a covenant input or a change set to `pdks covenant check` and returns the verdict as a value, and ingests and searches memory…
Backtests and historical replays for the rungbot ladder: as-configured window runs, variant sweeps, a multi-window monthly verdict and cycle-top studies. Pure…
Which local LLMs can your computer run? Hardware-aware CLI with yes/slow/no verdicts and tok/s estimates, then verified installs via Ollama, llama.cpp, MLX or…
Forward-only tabular parsing — delimited text and spreadsheets — with a HyperCast verdict for every cell: an allocation-free, panic-free, no_std core that…
A dissenting quorum for agent actions: deterministic seats vote on a normalized risk vector, verdicts carry every vote and rationale, and dissent is scored and…
Shared review capability for the content pipeline: deterministic checks over a media or text description, declared holds, a capped repair loop, an advisory…
