Spaces:
Running
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.sankeyto 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/routemodesgrid-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/routemodeobstacle-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