Quantapix

← All status

Qnarre

Qnarre

Axiomatic verifier for legal complaints. Astro + React-island shell fronted by FastAPI; SSE streams predicate events from the proving/ Lean kernel.

version a3a0e360
source verifying/@a3a0e360
built 2026-10-19T18:55:13Z
OK

Qnarre app shell — Astro + React island + FastAPI + SSE

Three-zone /app island streams predicate events from proving/ via SSE. Defined-risk lock lives downstream in evaluating/'s sibling.

Qnarre app shell — Astro + React island + FastAPI + SSE Three-zone /app island streams predicate events from proving/ via SSE. Defined-risk lock lives downstream in evaluating/'s sibling. subscribe Astro shell qnarre.quantapix.com React /app island 3 zones SSE channel /events FastAPI uvicorn :8787 lake build subprocess proving kernel RICO + Title VI + §§

Metrics

host
api.qnarre.quantapix.com
uvicornPort
8787
shellProbe
200
apiProbe
200