killinchu SZL HOLDINGS DOCTRINE · UNAVAILABLE

SZL Holdings · Governed Counter-UAS & Maritime C2

Counter-UAS that proves every decision.

A governed field surface for air and sea. Every gate, every track and every engagement leaves a hash-chained receipt you can check offline. Every figure below is read from this Space's own FastAPI backend at page load — nothing on this page is typed in by hand.

Human on the loop; effector action is SIMULATED. Detector is Waman (ROADMAP, no weights). KILLINCHU-EYE is an alias, not a second detector.

Enter the field console Read the health endpoint

Service state

UNAVAILABLE

/api/killinchu/healthz

Drone systems in database

UNAVAILABLE

healthz · drones_in_database

Lean declarations

UNAVAILABLE

healthz · declarations

Khipu DAG nodes

UNAVAILABLE

healthz · khipu_nodes

Live backend state · read in-request

What the running service actually reports.

Each card names the endpoint it came from. If the backend does not return a field, the card shows UNAVAILABLE rather than a placeholder number. Honest labels are text, not decoration.

Service · FastAPI · docker Space

killinchu runtime

Awaiting the health endpoint.

status — version — surface —

UNAVAILABLE

GET /api/killinchu/healthz

Reference data · curated systems

Drone database

Curated real drone systems the C-UAS evaluator resolves against. The count is the in-request length of the loaded database.

records — decoders —

UNAVAILABLE

GET /api/killinchu/v1/drones/database

Formal core · Lean 4

Kernel-verified state

Locked declaration / axiom / sorry counts as the service reports them. Open sorries are shown, never hidden.

declarations — axioms — sorries — kernel — lock — locked formulas —

UNAVAILABLE

GET /api/killinchu/v1/honest

Trust aggregate · 13 axes · geometric mean

Λ = Conjecture 1 · not a theorem

Λ uniqueness is OPEN — Conjecture 1, not a closed theorem. Conditional uniqueness is Theorem U (U₁ / U₂) modulo the kernel Decidable ≈Λ relation. The aggregate and the axis scores below are read from the live endpoint.

Λ — floor — gate — axes —

UNAVAILABLE

GET /api/killinchu/v1/lambda · axis scores are deterministic model inputs, not sensor measurements

Receipt DAG · sha256 chain

Khipu hash chain

In-memory, additive, hash-chained. It resets when the Space restarts — that is stated, not smoothed over.

nodes —

root UNAVAILABLE

UNAVAILABLE

GET /api/killinchu/v1/khipu/ledger

Supply chain · image provenance

Build provenance

Awaiting the honest endpoint.

slsa — public rekor entry UNAVAILABLE git sha UNAVAILABLE

digest UNAVAILABLE

UNAVAILABLE

GET /api/killinchu/v1/honest · slsa_evidence

Honest disclosures · served by the backend

What this system does not claim

Rendered verbatim from the service. Nothing here is editorial copy.

  • UNAVAILABLE — disclosures not returned.
UNAVAILABLE

GET /api/killinchu/v1/honest · honest_disclosures

Surfaces

Where the work happens.

Every surface below is a route this service registers. Same card object, same restraint, no accent colors.

Console · operator

Field console

The dense operator deck: track board, sensor fusion, engagement gates and receipt emission.

ROUTE

/elite

Console · unified shell

Unified operator shell

Four-pane shell — terrain, right panel, command palette and the receipt tunnel.

ROUTE

/unified

Console · UDS command center

UDS operator

Mission-software view with the drone 3D health tab attached.

ROUTE

/uds

Compliance · STIG / SCAP / 889

Compliance dashboard

Reads the live compliance endpoints. UDS Core compatible, not certified — stated as such.

ROUTE

/compliance

Analysis · analyst surface

Analyst view

Track-level analysis over the same governed backend.

ROUTE

/static/analyst.html

Verification · offline check

Receipt export

Export the receipt ledger and verify it yourself against the published public key.

ROUTE

/api/killinchu/v1/receipt/export