Introduction
This site is the code-derived documentation for Nibli: a zero-hallucination symbolic reasoning engine with a human-readable knowledge-representation surface (nibli KR).
These pages track
main, not a released tag — they are rebuilt on every push that touchesmdbook/. The badges above show the latest release and the current published crate version; where the two could differ, the repository is authoritative. Released API docs are versioned on docs.rs.
It is not the Orange AVA book manuscript. Book rights are reserved by the publisher. Nothing here is copied from that manuscript. Claims should re-derive from the repository: source code, tests, just recipes, shipped corpora (.nibli files), and the root engine specifications.
Where to run things
| Surface | URL / command |
|---|---|
| Interactive playground | dhilipsiva.dev/nibli-playground |
| Docs (GitHub Pages mirror) | dhilipsiva.github.io/nibli |
| Docs (site integration, planned) | dhilipsiva.dev/docs/nibli/ — pending the site-repo copy (DEPLOY.md §2b) |
| Local build | just docs / just docs-serve (inside nix develop) |
| Rust API | docs.rs/nibli-engine — every published crate is indexed in the API index; locally cargo doc -p <crate> --open |
Primary host path is /docs/nibli/; the GitHub Pages project site uses base path /nibli/. CI builds the mirror with site-url=/nibli/. Prefer relative links inside chapters so both bases work.
Source layout
| Path | Role |
|---|---|
mdbook/src/ | Hand-authored pages (this site) |
mdbook/book/ | Generated HTML only — do not edit |
Repo root NIBLI_KR.md, LOGIC_IR.md, GUARANTEES.md, … | Normative engine specs (linked from Reference) |
book/ | Private manuscript checkout — never imported into this tree |
Open work — engine, tooling and docs alike — is tracked in TODO.md at the repository root.
Start here
- What Nibli guarantees — the four-valued contract and scope.
- Quickstart — Nix +
just run. - nibli KR cookbook — surface syntax cheat sheet.
- Playground — browser triad without installing anything.
- Authorization — builtin policy and multi-language
can/ field masks.