brouillon archive β read-only, never
shipped from.
Canonical source:
CHANGELOG.md
on the main branch. This page curates milestones; the full
history lives in the repo. Current HEAD {STATUS.head}.Cadence
One crate admission = one commit = one
v0.80.0-alpha.N tag (the
alpha train below Β· the scheme rides the current milestone).
Every 4 weeks, a blog post or dev log entry. Public accountability,
no hidden work.- Crate admission commits on
main(e.g.,feat(nika-X): admit to workspace β all 12 gates passed). - Hygiene vector deployments (currently active, green / yellow / red).
- ADR promotions ( total β Accepted, Proposed).
Recent milestones
Added
- 4 new hygiene vectors (30-33):
check-cancel-safety.sh,check-owned-strings.sh,check-unsafe-count.sh,check-layer-deps.sh. Brings the suite to active vectors. - Wave 3A post-commit hook β engine commits now trigger Olympus
xtask.tsin background, live-refreshing/timeline,/graph/diff,/graph/fitness,/hygiene. - Wave 4A reservations β 5 forward-compat seams for v0.95 memory subsystem
- v0.100 WASM:
EmbeddingSpec,MemoryFrameRef.trust,RecallQuery.tenant,WasmPluginError::OutOfFuel+PluginCallContext,MemoryLifecycletrait.
- v0.100 WASM:
- Wave 4B telemetry seeds β
SpanGuard.parent_span_id+ W3C Trace Context linkage;Timestamp(i64 unix_ns)+WallDurationinnika-types::timestampwith RFC 3339 Display (inlined Hinnant civil-from-days). - Batch II test depth β 14 new proptest properties (TrustLevel
lattice invariants, ID serde roundtrip); Loom
#[cfg(loom)]interleaving tests forCancelCtx(INV-029); mutation baseline fornika-error(60 mutants, 31 caught, 13 missed). - 5 new ADRs β ADR-029 EmbeddingSpec, ADR-030 MemoryFrameRef trust, ADR-031 RecallQuery tenant, ADR-032 WasmPluginContext, ADR-035 Telemetry seams (all Proposed, arming vector 19).
Changed
- Killed vectors 7 (linear-issue-states) and 18 (adr-dangling duplicate of vector 16).
ObservabilitySinkdropped β 5 sibling channels (Event Β· Metrics Β· Trace Β· Audit Β· Billing) per Q12 rev.3.- Engine hygiene now enforces RED as fail / YELLOW as suggestion for routine pushes (was YELLOW-as-fail β too strict).
Fixed
- 34 ADR evidence-path updates (vector 20 GREEN / 127 paths verified).
- ADR index regenerated 22β30β.
- FCI Β§See-also titles corrected + ADR-023..028 added.
- nika-catalog-verify spec corrected L2 β L4.
Crate admitted:
nika-catalog-verify (L4, 600 LOC, 9 tests, all 12
gates green). The first L4 interface crate β validates all catalog
TOMLs at build time via cargo run -p nika-catalog-verify.Crates admitted:
nika-kernel (L0.5) + nika-kernel-mock (L0.5).
40 ISP traits with sealed supertrait discipline. trait_variant::make
for async dynamic dispatch. Pure-memory mocks for hermetic test
environments. Preludes re-export nika-types + nika-error types
for ergonomic downstream imports.Crate admitted:
nika-catalog (L0). TOML-driven provider + model +
capability catalog with build-time codegen, perfect-hash lookup, Cow-
heavy zero-copy types. providers +
capability rules. Schema FK-check enforced in build.rs.Crate admitted:
nika-error (L0). Typed NIKA-XXX error hierarchy,
miette integration for L4 diagnostics, per-crate error range
allocation, proptest-backed roundtrip invariants.The beginning. Orphan branch created from scratch as
nika-diamond (renamed main 2026-05).
Legacy main (v0.79.3) abandoned. Forever-v0.x β no v1.0 target.
First admitted crate: nika-types (L0 foundation).Full history
CHANGELOG.md
Every crate admission, every hygiene vector deploy, every ADR
promotion. Source of truth on the
main branch.Commit history
Every commit on the
main branch β atomic, bisectable,
Co-Authored-By Nika π¦.Live state
Current test counts, clippy, hygiene, admitted crate inventory.
Roadmap
Whatβs next β 1.0.0 public API lock after the release gates are green,
1.x minors completing the 42-crate foundation, then the
2.0 Connectome era and the ecosystem tier.