Calibrated abstention
When the evidence gates aren’t met, the context pack says so — with the reason — instead of dressing weak matches up as answers. Activation is gated on measured holdout performance, never vibes.
Open Kioku turns a repository into an evidence layer: exact answers in hundredths of a second, impact and tests picked by proof instead of name-matching, and a straight answer when the evidence isn’t there. Your agent plans from facts — never from confident guesses.
The 3.1.0 release lineage was validated end to end on a large Java repository — same protocol and same hardware as the previous public record, so the improvements are directly comparable.
Most retrieval tools return something confident no matter what. Open Kioku treats certainty as a claim that has to be earned — and labels everything that hasn’t earned it.
When the evidence gates aren’t met, the context pack says so — with the reason — instead of dressing weak matches up as answers. Activation is gated on measured holdout performance, never vibes.
A file that merely shares a name can never become a “proven dependency” or a “required test.” Structural claims carry typed proofs; heuristic candidates stay clearly labeled suggestions.
Every index builds into its own generation and publishes with one atomic switch. Kill it mid-build, lose power, downgrade — readers never see a half-built index.
The evidence below identifies the exact build lineage, publishes aggregate results, and keeps caveats beside the claims they qualify. The newest record also publishes what got faster — and what still isn’t perfect.
Validated end to end on a large Java workload — and honest about the result. The adjacent artifacts are the source of record.
The JSON records build source, host profile, configuration, workload totals, measurements, quality checks, and limitations — including what still isn’t perfect. Repository identity is withheld, so exact replay is not claimed.
The repeated structural run reproduced identical totals, the exact class lookup returned the correct class in 0.02s, and missing compiler-grade SCIP evidence stayed visible instead of being treated as present.
Open Kioku combines deterministic code intelligence with explainable retrieval signals. Exact repository facts do not get demoted by a fuzzy match.
Definitions, references, paths, and exact evidence stay authoritative. Heuristics can help retrieval without rewriting repository truth.
Ranked snippets, exact line ranges, impact, nearby tests, and caveats give the next agent step a bounded evidence set.
Optional semantic retrieval stays on-device and can use persistent approximate nearest-neighbor search while exact-flat remains the correctness oracle.
Co-change, churn, ownership, reviewer, provenance, renames, and similar-change signals are derived from bounded local Git history.
Validation candidates are selected from indexed tests and repository evidence before a change begins, not as an afterthought.
Plans define edit boundaries. Verification compares the actual changed files with those boundaries and reports evidence caveats.
Click through the same sequence an agent can use before, during, and after a repository change.
The default workflow is designed for local repository intelligence rather than a hosted code-index service.
Core search and evidence are stored under the repository’s local .ok/ data.
The MCP server provides evidence tools; source edits remain in the normal editor and agent workflow.
Default MCP security configuration includes network denial; local semantic search does not require a hosted embeddings API.
ok prove reports index and validation signals while intentionally omitting source snippets.
Install locally, build the repository index, then generate a plan from the task you actually care about.