Skip to content

v0.105.0

Latest

Choose a tag to compare

@github-actions github-actions released this 20 Jul 07:57

What's Changed

  • fix(tests): the oracle fixtures speak argv β€” the 565Γ—570 merge race paid by @ThibautMelen in #573
  • feat(lsp): every block teaches its own keys β€” the parser's keysets door by @ThibautMelen in #569
  • feat(nika-lsp): loop-scoped roots by the law β€” item gated, index joins by @ThibautMelen in #576
  • chore(ci): the spec pin becomes a file β€” one mechanism across the estate by @ThibautMelen in #577
  • feat(bench): the w0 refonte baseline harness β€” slopes judged, three caught by @ThibautMelen in #578
  • perf(lsp): the downstream walk goes one-pass β€” hover sheds its Γ—20 slope by @ThibautMelen in #580
  • feat(schema): w1 the map β€” workflow object + task map keyed by id by @ThibautMelen in #581
  • feat(lsp): server-side rename β€” the map key renames everywhere at once by @ThibautMelen in #582
  • fix(kit): the new command frontmatter parses β€” invalid yaml dies at the source by @ThibautMelen in #583
  • docs(kit): the plugin readme counts nine β€” nika_inspect joins at the source by @ThibautMelen in #584
  • feat(hygiene): vector 43 β€” the ADR index answers to its frontmatter by @ThibautMelen in #554
  • docs(adr): related reciprocity β€” the 4 one-way arrows answer back by @ThibautMelen in #587
  • feat(schema): w2 the flow β€” two doors, one graph, the gate names its refusal by @ThibautMelen in #588
  • docs(crate-specs): the teaching surfaces say graph_format 2 by @ThibautMelen in #589
  • fix(hooks): deletion-only pushes skip the pre-push gate by @ThibautMelen in #590
  • chore(ci): nika-lints joins the public-api floor β€” the 50th lock by @ThibautMelen in #591
  • feat(types): w3 the contract β€” one type core, three relations, typed doors by @ThibautMelen in #592
  • feat(authority): w4 the authority β€” policy law, coded secret flows, certified effects by @ThibautMelen in #593
  • feat(decision): w-dec the decision β€” nika:decide, the deterministic kernel by @ThibautMelen in #594
  • feat(outcomes): w5 the bounds β€” the Outcome IR, one table, cause on the record by @ThibautMelen in #595
  • feat(composition): w-comp the composition β€” invoke: workflow:, specified + real partial proof by @ThibautMelen in #596
  • feat(proof): W6 Β« la preuve Β» β€” semantic hash Β· nika.lock Β· assert: v1 Β· receipt_format:1 (the LAST pre-1.0 wave) by @ThibautMelen in #597
  • feat(lsp): semantic_document_format:1 β€” the oracle surface names its own version (W7) by @ThibautMelen in #598
  • chore(ci): the refonte splits join the public-api floor β€” 53/53 ratchet closed by @ThibautMelen in #600
  • chore(pack): the pack follows the spec by @github-actions[bot] in #601
  • chore(spec-pin): the tests leg follows the spec by @github-actions[bot] in #602
  • chore(ci): scorecard + dependabot + codeql β€” the exposure layer lands by @ThibautMelen in #609
  • ci: mutants nightly runs the gate-5 floor on the checker by @ThibautMelen in #621
  • test(runtime): boundary differential β€” check and runtime agree on exec permits by @ThibautMelen in #620
  • ci: coverage on the checker crates via llvm-cov by @ThibautMelen in #623
  • docs(agents): mcp oracle is 9 tools Β· fold dead verbs Β· exit-4 paused by @ThibautMelen in #622
  • test(schema): fuzz the permit checker and the infer-permits surface by @ThibautMelen in #624
  • docs(crate-specs): nika-cli exit-4 paused Β· fold graph/schema residues (#622 follow-up) by @ThibautMelen in #625
  • ci: SHA-pin every workflow action (Scorecard Pinned-Dependencies) by @ThibautMelen in #626
  • test: fs boundary differential β€” check and runtime agree on canonical globs by @ThibautMelen in #627
  • ci: SLSA build-provenance attestations on release by @ThibautMelen in #628
  • docs(crate-spec): the gate-3 verb tree drops the phantom pack by @ThibautMelen in #629
  • feat: nika-sandbox-landlock, the Linux command-sandbox twin by @ThibautMelen in #630
  • chore(deps): the github-actions bumps move together by @ThibautMelen in #631
  • ci: install bubblewrap so the landlock jail proof runs by @ThibautMelen in #632
  • ci: msrv gate + CODEOWNERS + Scorecard badge by @ThibautMelen in #634
  • test(nika-schema): e-diff static battery pins boundary and inference by @ThibautMelen in #635
  • docs(cite): the citation cross-references the spec β€” additive only by @ThibautMelen in #636
  • feat(nika-cap): the lethal trifecta judge β€” NIKA-SEC-009 (NEP-0002) by @ThibautMelen in #637
  • docs(changelog): append v0.104.0 by @github-actions[bot] in #604

Full Changelog: v0.103.0...v0.105.0