Spaces:
Running
Running
cuas: namespace-aware summary() title; byte-identical to GitHub
Browse files- szl_cuas_formulas.py +5 -4
szl_cuas_formulas.py
CHANGED
|
@@ -238,10 +238,11 @@ def szl_pq_receipt(command: str, prev_hash: str = "0" * 64) -> dict[str, Any]:
|
|
| 238 |
"status": "EXPERIMENTAL"}
|
| 239 |
|
| 240 |
|
| 241 |
-
def summary() -> dict[str, Any]:
|
| 242 |
-
"""Headline of all six SZL counter-UAS formulas + honest provenance/legend.
|
|
|
|
| 243 |
return {
|
| 244 |
-
"title": "SZL Counter-UAS C2 Formulas (
|
| 245 |
"status_legend": STATUS_LEGEND, "sources": SOURCES,
|
| 246 |
"doctrine": {"locked_proven": 8, "lambda": "Conjecture 1", "khipu_bft": "Conjecture 2",
|
| 247 |
"effector": "SIMULATED", "trust": "never 100%"},
|
|
@@ -264,7 +265,7 @@ def summary() -> dict[str, Any]:
|
|
| 264 |
def register(app, ns: str) -> None:
|
| 265 |
"""Attach the counter-UAS routes under /api/<ns>/v1/cuas/* via add_api_route."""
|
| 266 |
base = f"/api/{ns}/v1/cuas"
|
| 267 |
-
app.add_api_route(f"{base}/summary", lambda: summary(), methods=["GET"])
|
| 268 |
app.add_api_route(f"{base}/engage",
|
| 269 |
lambda N, Vc, los_rate, t_go, a_max: szl_engageability(
|
| 270 |
float(N), float(Vc), float(los_rate), float(t_go), float(a_max)),
|
|
|
|
| 238 |
"status": "EXPERIMENTAL"}
|
| 239 |
|
| 240 |
|
| 241 |
+
def summary(ns: str = "killinchu") -> dict[str, Any]:
|
| 242 |
+
"""Headline of all six SZL counter-UAS formulas + honest provenance/legend.
|
| 243 |
+
`ns` names the serving app so the title is accurate on both killinchu and a11oy."""
|
| 244 |
return {
|
| 245 |
+
"title": f"SZL Counter-UAS C2 Formulas ({ns}) — our own constructs, classical inspirations cited",
|
| 246 |
"status_legend": STATUS_LEGEND, "sources": SOURCES,
|
| 247 |
"doctrine": {"locked_proven": 8, "lambda": "Conjecture 1", "khipu_bft": "Conjecture 2",
|
| 248 |
"effector": "SIMULATED", "trust": "never 100%"},
|
|
|
|
| 265 |
def register(app, ns: str) -> None:
|
| 266 |
"""Attach the counter-UAS routes under /api/<ns>/v1/cuas/* via add_api_route."""
|
| 267 |
base = f"/api/{ns}/v1/cuas"
|
| 268 |
+
app.add_api_route(f"{base}/summary", lambda: summary(ns), methods=["GET"])
|
| 269 |
app.add_api_route(f"{base}/engage",
|
| 270 |
lambda N, Vc, los_rate, t_go, a_max: szl_engageability(
|
| 271 |
float(N), float(Vc), float(los_rate), float(t_go), float(a_max)),
|