yarqa / README.md
betterwithage's picture
W2: SZL Estate cross-link footer + honest status label
03d02e0 verified
|
Raw
History Blame Contribute Delete
5.02 kB
metadata
title: yarqa  Plug-Flow Compartments (live or sample, always honest)
emoji: 🌊
colorFrom: gray
colorTo: yellow
sdk: docker
app_port: 7860
short_description: Clean-room CFD compartments  live or sample, always honest
pinned: false
license: apache-2.0
tags:
  - cfd
  - plug-flow
  - simulation
  - receipts
  - honest-by-design
  - szl-holdings

yarqa Space

A multi-tab demo of yarqa — clean-room plug-flow compartmentalization for compartmental CFD models (Apache-2.0). FastAPI backend + a sovereign static app with vendored THREE r160 (no CDN; the library is copied into static/lib/).

Honesty (doctrine v11). yarqa is an engineering method (CFD) tier capability. It is NOT a locked theorem, is never folded into the locked-8 {F1,F4,F7,F11,F12,F18,F19,F22}, and carries no "proven" badge. Receipts assert integrity / reproducibility, not correctness. Λ = Conjecture 1, Khipu = Conjecture 2, SLSA L1.

Tabs (each unique)

  1. Flow Compartments (3D) — vendored-THREE render of a velocity field colored by yarqa.compartmentalize labels; align_threshold + top-k sliders; live recompute; compartment count + signed-ready receipt digest.
  2. Agentic Loop — live AgenticYarqa sense→route→gate→receipt; streams the AgentStep log (route target, ALLOW/DENY, receipt digest). Conforms to the SHAPE of P1/P2/P4 — an engineering loop, not a proof.
  3. Receipt Chain — the append-only hash-linked chain with a verify / tamper button that replays digests and shows OK / first-broken index.
  4. Forecast — an HONEST short-horizon projection; everything beyond the live/sample data is labeled PROJECTED. No invented numbers.
  5. Live Data — the real feeds powering the maritime/flow use case, each independently LIVE when reachable else SAMPLE / SIMULATED, with the source URL cited.

Architecture rule

Every data tab uses one code path with an explicit LIVE vs SAMPLE badge based on real reachability of license-clean public feeds — synthetic data is never shown as LIVE. Same code in the preview sandbox and on the HF Space; only the badge differs.

Feeds (license-clean, cited)

Source Use Attribution
Open-Meteo Marine ocean current velocity/direction Open-Meteo (CC BY 4.0)
Open-Meteo Wind 10 m wind speed/direction Open-Meteo (CC BY 4.0)
NOAA CO-OPS currents real-time currents (station cb0102) NOAA Tides & Currents (U.S. public domain)

Current speed+direction are converted to 2-D velocity vectors (vx = v·sin θ, vy = v·cos θ) sampled over a small lat/lon grid to form a real velocity field that feeds yarqa.compartmentalize.

Run locally

pip install -e .                      # the yarqa package (repo root)
pip install -r space/requirements.txt
cd space && python -m uvicorn app:app --port 7860
# open http://localhost:7860

Endpoints

/healthz · /api/feeds · /api/compartments · /api/agentic · /api/chain · POST /api/chain/verify · /api/forecast

Provenance

Clean-room. No third-party source copied. THREE.js r160 is vendored verbatim under its MIT license (static/lib/three.min.js). See repo PROVENANCE.md.

SZL Holdings · Apache-2.0 · Doctrine v11.


DOI

Citation

Part of the SZL Holdings Ouroboros Thesis — concept DOI 10.5281/zenodo.19944926 (Stephen P. Lutar, Jr., ORCID 0009-0001-0110-4173). Doctrine v11 LOCKED; Λ = Conjecture 1.

Signed-off-by: Stephen Lutar stephenlutar2@gmail.com


SZL Estate

Part of the SZL Holdings governed-AI estate — governed AI you can prove: every decision carries a signed, checkable receipt.

Status: responding as of 2026-07-09 (HF Space root probe, this session).

Doctrine v11 · Λ = Conjecture 1 (advisory — never "green"/theorem; open) · honest by design · public data only.