Gate merges on Kani, unblock kani-full, and fix reconciliation write-back ordering (#202) - #227
Open
leynos wants to merge 20 commits into
CodeScene Access / CodeScene Code Health Review (main)
failed
Aug 24, 2026 in 48s
CodeScene PR Check
Quality Gate Failed
Gates Failed
(1 file with Complex Method)
Gates Passed
See analysis details in CodeScene
Reason for failure
| Enforce advisory code health rules | Violations | Code Health Impact | |
|---|---|---|---|
| kani_model.rs | 1 advisory rule | 9.88 | Suppress |
Absence of Expected Change Pattern
- chutoro/chutoro-core/src/hnsw/graph/core.rs is usually changed with: chutoro/chutoro-core/src/hnsw/node.rs
Quality Gate Profile: Pay Down Tech Debt
Install CodeScene MCP: safeguard and uplift AI-generated code. Catch issues early with our IDE extension and CLI tool.
Details
Loading