Spaces:
Running
Running
Re-Sweep wave-2: Tactical Routing (A*/NBA*+obstacle), Vessel Threat Ranking, Adaptive Sensor Sampling (3 tabs, 4 routes, MIT clean-room, 0-CDN)
73995f4 verified | # Third-Party Notices — SZL Holdings Flagships | |
| **Doctrine v11 LOCKED 749/14/163 | SLSA L1 honest | Generated: 2026-06-03** | |
| This file contains notices for third-party libraries used by SZL Holdings flagships. | |
| ## Python Dependencies | |
| ### FastAPI | |
| - **License:** MIT | |
| - **Source:** https://github.com/tiangolo/fastapi | |
| - **Usage:** API framework for all 5 flagships | |
| ### Gradio | |
| - **License:** Apache-2.0 | |
| - **Source:** https://github.com/gradio-app/gradio | |
| - **Usage:** UI framework for HuggingFace Spaces | |
| ### Uvicorn | |
| - **License:** BSD-3-Clause | |
| - **Source:** https://github.com/encode/uvicorn | |
| - **Usage:** ASGI server | |
| ### httpx | |
| - **License:** BSD-3-Clause | |
| - **Source:** https://github.com/encode/httpx | |
| - **Usage:** HTTP client for inter-flagship calls | |
| ### huggingface_hub | |
| - **License:** Apache-2.0 | |
| - **Source:** https://github.com/huggingface/huggingface_hub | |
| - **Usage:** HuggingFace API access | |
| ## Infrastructure Components | |
| ### UDS Core (Defense Unicorns) | |
| - **License:** Apache-2.0 | |
| - **Source:** https://github.com/defenseunicorns/uds-core | |
| - **Usage:** Kubernetes security baseline (UDS deployment) | |
| ### Zarf (Defense Unicorns) | |
| - **License:** Apache-2.0 | |
| - **Source:** https://github.com/zarf-dev/zarf | |
| - **Usage:** Airgap packaging | |
| ### Pepr (Defense Unicorns) | |
| - **License:** Apache-2.0 | |
| - **Source:** https://github.com/defenseunicorns/pepr | |
| - **Usage:** Kubernetes admission webhook | |
| ## Mathematical Libraries | |
| ### Lean 4 (Lean FRO / Microsoft Research) | |
| - **License:** Apache-2.0 | |
| - **Source:** https://github.com/leanprover/lean4 | |
| - **Usage:** Formal verification substrate (lutar-lean) | |
| ### Mathlib4 | |
| - **License:** Apache-2.0 | |
| - **Source:** https://github.com/leanprover-community/mathlib4 | |
| - **Usage:** Mathematical library for Lean 4 | |
| ## Section 889 Declaration | |
| SZL Holdings does NOT use equipment or services from: | |
| - Huawei Technologies Company | |
| - ZTE Corporation | |
| - Hytera Communications | |
| - Hangzhou Hikvision Digital Technology Company | |
| - Dahua Technology Company | |
| This notice is provided in compliance with Section 889 of the 2019 NDAA. | |
| **Signed-off-by: Yachay <yachay@szlholdings.ai>** | |
| **Co-Authored-By: Perplexity Computer Agent <agent@perplexity.ai>** | |
| --- | |
| ## Frontier Tabs (3D · Live) — Vendored Visualization Libraries | |
| The killinchu operator console (`/elite`) vendors the following open-source | |
| visualization libraries locally (served from `/vendor/*`, **no CDN — sovereign / | |
| offline**). killinchu adopts their interaction **patterns** and reimplements all | |
| tab logic as its own original code; the libraries themselves are used unmodified | |
| under their own licenses. No GPL/AGPL code is copied. | |
| ### 3d-force-graph / three-forcegraph | |
| - **License:** MIT | |
| - **Copyright:** (c) Vasco Asturiano (vasturiano) | |
| - **Source:** https://github.com/vasturiano/3d-force-graph | |
| - **Usage:** Field Net, Autonomy Oversight, MELT, Dark-Vessel Threat Graph 3D entity-link graphs | |
| ### globe.gl | |
| - **License:** MIT | |
| - **Copyright:** (c) Vasco Asturiano (vasturiano) | |
| - **Source:** https://github.com/vasturiano/globe.gl | |
| - **Usage:** Single-Operating-Picture globe (Live Picture / field view) | |
| ### force-graph | |
| - **License:** MIT | |
| - **Copyright:** (c) Vasco Asturiano (vasturiano) | |
| - **Source:** https://github.com/vasturiano/force-graph | |
| - **Usage:** 2D force-graph fallback | |
| ### Apache ECharts | |
| - **License:** Apache-2.0 | |
| - **Copyright:** The Apache Software Foundation | |
| - **Source:** https://github.com/apache/echarts | |
| - **Usage:** MELT golden-metric + Deploy posture charts | |
| ### echarts-gl | |
| - **License:** Apache-2.0 | |
| - **Copyright:** The Apache Software Foundation | |
| - **Source:** https://github.com/ecomfe/echarts-gl | |
| - **Usage:** GL-accelerated chart rendering | |
| ### Cytoscape.js | |
| - **License:** MIT | |
| - **Copyright:** (c) The Cytoscape Consortium | |
| - **Source:** https://github.com/cytoscape/cytoscape.js | |
| - **Usage:** 2D graph rendering (existing tabs) | |
| ### D3 (d3-force et al.) | |
| - **License:** ISC / BSD-3-Clause | |
| - **Copyright:** (c) Mike Bostock | |
| - **Source:** https://github.com/d3/d3 | |
| - **Usage:** Force-layout primitives used by the graph libraries | |
| ### Chart.js | |
| - **License:** MIT | |
| - **Copyright:** (c) Chart.js Contributors | |
| - **Source:** https://github.com/chartjs/Chart.js | |
| - **Usage:** Sparklines / gauges (existing tabs) | |
| ### KaTeX | |
| - **License:** MIT | |
| - **Copyright:** (c) Khan Academy and contributors | |
| - **Source:** https://github.com/KaTeX/KaTeX | |
| - **Usage:** Formula rendering | |
| ### Three.js | |
| - **License:** MIT | |
| - **Copyright:** (c) three.js authors | |
| - **Source:** https://github.com/mrdoob/three.js | |
| - **Usage:** Live 3D Vessel/Drone Health Twin (subsystem digital twin) — `static/vendor/three.min.js` (r160) | |
| ### deck.gl | |
| - **License:** MIT | |
| - **Copyright:** (c) vis.gl contributors / OpenJS Foundation | |
| - **Source:** https://github.com/visgl/deck.gl | |
| - **Usage:** Live Picture entity scatter+trails, Maritime WEZ threat-ring layers — `static/vendor/deck.min.js` | |
| ### Konva | |
| - **License:** MIT | |
| - **Copyright:** (c) Anton Lavrenov | |
| - **Source:** https://github.com/konvajs/konva | |
| - **Usage:** Byzantine-consensus 4-node schematic (bft tab) — `static/vendor/konva.min.js` | |
| ### sigma.js | |
| - **License:** MIT | |
| - **Copyright:** (c) Alexis Jacomy, Guillaume Plique (sigma.js authors) | |
| - **Source:** https://github.com/jacomyal/sigma.js | |
| - **Usage:** Receipt-chain layered DAG (chain tab) WebGL renderer — `static/vendor/sigma.min.js` | |
| ### graphology | |
| - **License:** MIT | |
| - **Copyright:** (c) Guillaume Plique (Yomguithereal) | |
| - **Source:** https://github.com/graphology/graphology | |
| - **Usage:** Graph model backing the sigma.js DAG — `static/vendor/graphology.min.js` | |
| ### dagre | |
| - **License:** MIT | |
| - **Copyright:** (c) Chris Pettitt | |
| - **Source:** https://github.com/dagrejs/dagre | |
| - **Usage:** Layered (Sugiyama) layout for the receipt-chain DAG — `static/vendor/dagre.min.js` | |
| ### regl | |
| - **License:** MIT | |
| - **Copyright:** (c) 2016 Mikola Lysenko & regl contributors | |
| - **Source:** https://github.com/regl-project/regl | |
| - **Usage:** WebGL command compiler underlying regl-scatterplot (sensor-fusion covariance scatter, fused estimate star) — `static/vendor/regl.min.js` | |
| ### pub-sub-es | |
| - **License:** MIT | |
| - **Copyright:** (c) 2018 Fritz Lekschas | |
| - **Source:** https://github.com/flekschas/pub-sub-es | |
| - **Usage:** Event pub/sub dependency of regl-scatterplot — `static/vendor/pub-sub-es.min.js` | |
| ### regl-scatterplot | |
| - **License:** MIT | |
| - **Copyright:** (c) 2019 Fritz Lekschas | |
| - **Source:** https://github.com/flekschas/regl-scatterplot | |
| - **Usage:** GPU sensor-fusion covariance-ellipse scatter (fusion tab): multi-sensor detections + Kalman P-covariance eigendecomposition ellipse + fused BLUE estimate (C17) — `static/vendor/regl-scatterplot.min.js` | |
| ### @observablehq/plot | |
| - **License:** ISC | |
| - **Copyright:** (c) 2020-2023 Observable, Inc. | |
| - **Source:** https://github.com/observablehq/plot | |
| - **Usage:** Maintenance/compliance state timeline (fleetmaint tab): Plot.barX intervals per vessel per maintenance/cert/PSC item (overdue=red) — `static/vendor/plot.umd.min.js` | |
| ### d3-sankey | |
| - **License:** BSD-3-Clause | |
| - **Copyright:** (c) 2015-2019 Mike Bostock | |
| - **Source:** https://github.com/d3/d3-sankey | |
| - **Usage:** Voyage cargo flow (fleetvoyages tab: port→route→destination, link width=tonnage) and engagement-audit decision flow (audit tab: sensor report→fusion→ROE→engage/deny). Attaches `d3.sankey` to the existing vendored d3 bundle — `static/vendor/d3-sankey.min.js` | |
| ### Space Grotesk (self-hosted webfont) | |
| - **License:** SIL Open Font License 1.1 (OFL-1.1) | |
| - **Copyright:** (c) Florian Karsten | |
| - **Source:** https://github.com/floriankarsten/space-grotesk | |
| - **Usage:** Display typeface, self-hosted at `static/vendor/fonts/` (no Google Fonts CDN — sovereign) | |
| ### JetBrains Mono (self-hosted webfont) | |
| - **License:** SIL Open Font License 1.1 (OFL-1.1) | |
| - **Copyright:** (c) 2020 The JetBrains Mono Project Authors | |
| - **Source:** https://github.com/JetBrains/JetBrainsMono | |
| - **Usage:** Monospace typeface, self-hosted at `static/vendor/fonts/` (no Google Fonts CDN — sovereign) | |
| ### MINED operational upgrades — adopted PATTERNS + permissive code, EVOLVED clean-room (2026-06-07) | |
| The following four upgrades follow the "fashion thinking" doctrine: a permissive | |
| (MIT/Apache) open-source project's *pattern* was adopted **WITH attribution**, then | |
| reimplemented from scratch (pure-Python, clean-room) and evolved into a killinchu | |
| maritime/drone capability. **No upstream source code is copied.** Wired in | |
| `killinchu_mined_ops.py` under `/api/killinchu/v1/mined/*`. | |
| #### al-jshen/compute | |
| - **License:** MIT | |
| - **Copyright:** (c) 2020 Jeff Shen | |
| - **Source:** https://github.com/al-jshen/compute | |
| - **Adopted pattern (evolved clean-room):** small scientific-computing surface — Cholesky/linear solver, Romberg/trapezoid numerical integration, AR(1) Yule-Walker, OLS fit. Reimplemented as the killinchu sensor-fusion/orbital math module: least-squares track fit, Cholesky-gated information-form covariance fusion, Kepler-III orbital period, Romberg energy integral (Sci-Compute tab · `/mined/scicompute`). | |
| #### lwaekfjlk/gpu-bartender | |
| - **License:** MIT | |
| - **Copyright:** (c) 2024 Haofei Yu | |
| - **Source:** https://github.com/lwaekfjlk/gpu-bartender | |
| - **Adopted pattern (evolved clean-room):** component-sum VRAM model (runtime floor + weights + transformer activations + gradients + Adam moments; bytes/param by precision). Reimplemented and evolved into an EDGE deployment feasibility estimator (drone SoC / field-Mac VRAM budget → FITS/EXCEEDS verdict) (Edge VRAM Estimator tab · `/mined/edge-estimator`). | |
| #### mcleish7/MLRC-deep-thinking | |
| - **License:** MIT | |
| - **Copyright:** (c) 2021 Avi Schwarzschild | |
| - **Source:** https://github.com/mcleish7/MLRC-deep-thinking | |
| - **Adopted pattern (evolved clean-room):** perturbation-recovery test + Asymptotic-Alignment (AA) score for iterative/recurrent processes. Reimplemented over a mass-conserving swarm averaging-consensus model as a comms/sensor-disruption resilience monitor: recovery-iterations-to-tolerance + AA-style alignment score (Swarm Resilience Monitor tab · `/mined/swarm-resilience`). | |
| #### mcleish7/kvpress | |
| - **License:** Apache-2.0 (fork of NVIDIA/kvpress) | |
| - **Copyright:** (c) NVIDIA Corporation and kvpress contributors | |
| - **Source:** https://github.com/mcleish7/kvpress | |
| - **Adopted pattern (evolved clean-room):** the "press" idea — score cache entries by expected future attention, prune the lowest-value (SnapKV / ExpectedAttention family). Reimplemented as a priority-weighted telemetry-retention filter (magnitude-spike × source-trust × recency) so the drone retains critical sensor spikes and prunes noise (Telemetry Memory tab · `/mined/telemetry-press`). | |
| ### RE-SWEEP wave-2 operational upgrades (PATTERNS adopted WITH NOTICE, evolved clean-room) | |
| The following three operational surfaces live in `killinchu_resweep_ops.py` (registered under `/api/killinchu/v1/resweep/*`). Each adopts a permissive (MIT) open-source PATTERN and reimplements it clean-room in pure Python (no upstream code copied; no numpy/torch). All advisory; Λ stays **Conjecture 1**; sample inputs are labelled "not a live feed." | |
| #### anvaka/ngraph.path | |
| - **License:** MIT | |
| - **Copyright:** (c) 2017 Andrei Kashcha | |
| - **Source:** https://github.com/anvaka/ngraph.path | |
| - **Adopted pattern (evolved clean-room):** the A* / NBA* (bi-directional A*) heuristic graph-search shape. Reimplemented as a maritime tactical router: A*/NBA* over a sea-state cost grid (per-cell current + wind-drift penalty; exclusion zones hard-blocked) with an admissible octile heuristic (Tactical Routing tab · `/resweep/route` modes `grid-astar`, `grid-nba`). | |
| #### rowanwins/visibility-graph | |
| - **License:** MIT | |
| - **Copyright:** (c) 2018 Rowan Winsemius | |
| - **Source:** https://github.com/rowanwins/visibility-graph | |
| - **Adopted pattern (evolved clean-room):** the polygon-obstacle "visibility graph → shortest path" shape. Reimplemented to route a vessel/drone AROUND landmass / exclusion-zone polygons by building a visibility graph over polygon corners + endpoints and running A* on it (Tactical Routing tab · `/resweep/route` mode `obstacle-avoid`). | |
| #### ft2023/IRanker-demo | |
| - **License:** MIT | |
| - **Copyright:** (c) 2025 Tao Feng | |
| - **Source:** https://github.com/ft2023/IRanker-demo | |
| - **Adopted pattern (evolved clean-room):** the iterative ranking-foundation-model shape — repeatedly extract the current top item and re-rank the remainder so pairwise context informs the order. Reimplemented as a transparent, auditable vessel "strategic threat score" ranker over the consolidated maritime picture (proximity + closing speed + AIS-gap + sanctioned/dark-vessel + identity-mismatch). **Advisory, NOT a targeting product** (Vessel Threat Ranking tab · `/resweep/threat-rank`). | |
| #### al-jshen/adaptive | |
| - **License:** MIT | |
| - **Copyright:** (c) 2021 Jeff Shen | |
| - **Source:** https://github.com/al-jshen/adaptive | |
| - **Adopted pattern (evolved clean-room):** the adaptive-sampling shape — concentrate evaluation points where the signal has the most curvature/structure (loss-driven refinement) plus peak detection. Reimplemented as a sensor-fusion efficiency panel: given a constrained sampling budget over a sensor sweep, decide WHERE to spend samples and surface detected contacts (Adaptive Sensor Sampling tab · `/resweep/adaptive-sample`). | |
| ### Interaction-model inspirations (PATTERNS only — no code copied) | |
| - vasturiano force-graph explorable entity-link model (MIT-compatible) — Field Net tab | |
| - GraphRouter / RouteProfile, Tao Feng et al. (arXiv:2605.00180) — Model Atlas routing graph | |
| - New Relic / Datadog MELT + service-map — MELT Observability tab | |
| - Wiz / CrowdStrike security-graph "toxic path" — Dark-Vessel Threat Graph tab | |
| - Defense Unicorns UDS deploy-posture — Deploy Posture tab (uds-core is AGPL: **PATTERN ONLY, NO code copied**) | |
| - Governed-run oversight pattern — Autonomy Oversight tab (the proven non-interference kernel is killinchu's own) | |
| Copyright (c) of each library belongs to its respective authors. Full license | |
| texts ship with each minified bundle's upstream distribution under `static/vendor/`. | |
| **Signed-off-by: stephenlutar2-hash <stephenlutar2@gmail.com>** | |