Primary

Home Public front door Architecture Authority stack and public safety math Proof Library Manuscripts, artifacts, boundaries, and evidence surfaces Evidence Simulation posture and public research records Contact Research, institutional, and reviewer inquiries

Foundation Layer

CivOS Substrate Base survival layer used across LAKANA models TSARO Deterministic state orchestration NICOLE Custody, lease, handoff, and non-release audit

Live Models

SOS Safety Model Civilian safety, degraded response, and governed responder access SSI Structural Models Athlete and load-bearing worker structural twins W-X / WX-Ag Environmental Models Ground truth, farmer physics, weather/metrology, and node mesh

Specialized Lenses

WX-Ag Farmer Lens Crop, soil, drought, flood, heat, cold, ET₀, and VPD W-X Weather / Metrology Lens Node mesh, drift detection, TTL, IEP, RF noise, and ground-layer truth Responder / BFB Lens Consent-gated rescue access and auditable handoff
LAKANA Sovereign Systems Physics-first protection without surveillance
Systems
SOS + CivOS Unified civilian safety, degraded-state, BFB, and audit model. SSI Models Structural intelligence for athletes and load-bearing workers. W-X / WX-Ag Environmental truth hub with Farmer and Weather lenses.
Field Models
Farmer Model Crop, soil, water, ET₀, VPD, anoxia, drought, heat, cold. Weather Model Ground mesh, node drift, TTL, IEP, RF noise, Mesonet/radar fit.
Library
Proof Library Bounded proof surfaces, manifests, and reviewer-facing artifacts. Papers White papers, manuscripts, and supporting research surfaces. Contact Research, pilot, review, and partnership access.
Proof library

Public-safe math, not hidden architecture PDFs.

This page explains the equations and constraints visitors may see in the models. It does not publish internal architecture documents, trade-secret thresholds, raw trajectories, production keys, or reconstructive implementation detail.

Safe-set projection

TSARO treats a subject, device, or subsystem as a bounded state. If the current state approaches or violates the safe set, the system computes the smallest feasible correction. If no feasible correction exists, it routes to fail-closed.

S = { x : g(x) ≤ 0 } if g(x_t) < 0: no action if g(x_t) ≥ 0: u*_t = argmin ||u|| subject to g(f(x_t,u)) ≤ 0

SSI structural pressure

SSI uses public-safety structural proxies: load, recovery, thermal stress, and strain accumulation. These are engineering state variables, not diagnoses.

L(t) = cumulative load R(t) = recovery reserve T(t) = thermal stress S(t) = strain accumulation Risk(t)=f(L(t)-R(t), T(t), S(t))

W-X environmental truth

External location/environment claims must remain consistent with local physics. Expired environmental state decays to null/silence rather than pretending to remain true.

accept if: |x_gps - x_imu| ≤ ε_x |h_gps - h_bar| ≤ ε_h D(t)=1 if t-t₀ < TTL D(t)=0 otherwise

NICOLE / DCL ledger entry

Public ledger demonstrations show only bounded headers and hashes. The purpose is custody and release/non-release accountability, not public raw-data disclosure.

ledger_entry = hash(state_vector || previous_hash || monotonic_counter) valid only if: counter_current = counter_previous + 1

Pumpkin zeroization

Expiration is modeled as key invalidation, not mere file deletion. Public pages may describe the concept without exposing actual keys.

K_season = HKDF(K_root || time_bucket) C = AES-GCM(K_season, payload) expiration ⇒ zeroize(K_season) ciphertext under K_season becomes unrecoverable

Claim boundaries

Every public model output remains simulation-bound unless separately validated. The site must not claim clinical validation, field efficacy, regulatory clearance, privacy theorem, or emergency-service certification.

public output = bounded aggregate ∪ manifest ∪ non-claim public output ≠ raw trajectory custom run ≠ published evidence