Kevin Veen-BirkenbachandClaude Opus 5.5
c035373518
Requirement 001 phase 6, S0: - Speech: the security class shows as "Sécurité" and is spoken as in maritime radio, "say-cure-ee-tay" three times. A hex run of 7 or more characters with a letter and a digit (commit, session, message ids) is spelled in the NATO alphabet; every other digit is spoken on its own in ICAO pronunciation (42305: four two tree zero fife). The spelling runs inside clip() before the length cut, so a phrase still fits SPEECH_LIMIT; the displayed text keeps its digits and hashes. - English: every orchestrator label, tooltip, message, error, script output, document and test string is English (Regeln -> Firewall, Hierarchie -> Hierarchy, Steuerung -> Controls, Ausführen -> Run, ...); the page declares lang="en" and formats dates as en-GB. Task filter ids are English. German stays only in the skill trigger phrases that quote the operator, and as identifiers: the view keys (view=) and the leitstand id. - tests/test_english.py scans every tracked text file for umlauts and German words, with an allowlist of the quoted trigger phrases. BREAKING CHANGE: the Stream search tokens art: and seit: are now kind: and since:; an old art: or seit: token counts as a plain word. Evidence: make test 657 OK, ruff and markdownlint clean (/tmp/s0-make-test-1.log); e2e 17 OK, none skipped (/tmp/s0-e2e-1.log); MEDUSA 86 files, 24 findings on reworded strings accepted after an independent skeptic (21 path:line, 0 rejected, no behaviour change in signing, approving, rules, denying, offices, events), rescan 0 open. 🎯 Fix: 93 % 💥 Break: 4 % 💸 Cost: 100 % ⏱️ Time: – 🛡️ Security: 100 % 🏆 Score: 89 🚦 Gate: ✅ 90/5, cost and time <= 100, security 100 % Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
68 lines
2.7 KiB
Python
68 lines
2.7 KiB
Python
from __future__ import annotations
|
|
|
|
import json
|
|
import subprocess
|
|
import unittest
|
|
|
|
from hub_support import AMBIENCE
|
|
from kvb_orchestrator.settings import stream_origin
|
|
|
|
DLF = "https://st01.sslstream.dlf.de/dlf/01/high/aac/stream.aac?aggregator=web"
|
|
OTHER = "https://radio.example/morning"
|
|
URLS = [DLF, "https://Radio.Example:443/second?x=1", "http://10.0.0.5:8000/night", "https://other.example:8443/", "http://radio.example:80/x"]
|
|
PROBE = """
|
|
const A = require(process.argv[1]);
|
|
const [DLF, OTHER] = JSON.parse(process.argv[2]);
|
|
const toasts = (events) => {
|
|
let told = null;
|
|
const shown = [];
|
|
for (const [url, kind, cause] of events) {
|
|
const fresh = A.retold(told, url, kind, cause);
|
|
if (fresh) {
|
|
told = fresh;
|
|
shown.push(`${kind}:${cause}`);
|
|
}
|
|
}
|
|
return shown;
|
|
};
|
|
const attempt = [[DLF, "error", "csp"], [DLF, "error", "media"], [DLF, "error", "refused"]];
|
|
console.log(JSON.stringify({
|
|
attempt: toasts(attempt),
|
|
reversed: toasts([...attempt].reverse()),
|
|
clicks: toasts([1, 2, 3, 4].flatMap(() => attempt)),
|
|
autoplay: toasts([[DLF, "blocked", "refused"], [DLF, "blocked", "refused"], ...attempt]),
|
|
stations: toasts([...attempt, [OTHER, "error", "media"], [OTHER, "error", "csp"]]),
|
|
origins: JSON.parse(process.argv[3]).map((url) => A.stationOrigins({url, via: []})[0]),
|
|
redirected: A.stationOrigins({url: DLF, via: ["https://*.rndfnk.com"]}),
|
|
}));
|
|
"""
|
|
|
|
|
|
class TestRadioTrouble(unittest.TestCase):
|
|
@classmethod
|
|
def setUpClass(cls):
|
|
command = ["node", "-e", PROBE, str(AMBIENCE), json.dumps([DLF, OTHER]), json.dumps(URLS)]
|
|
done = subprocess.run(command, capture_output=True, text=True, timeout=60, check=True)
|
|
cls.data = json.loads(done.stdout)
|
|
|
|
def test_a_blocked_redirect_and_its_media_error_toast_once(self):
|
|
self.assertEqual(self.data["attempt"], ["error:csp"])
|
|
|
|
def test_a_later_cause_replaces_a_lesser_one_but_never_the_other_way(self):
|
|
self.assertEqual(self.data["reversed"], ["error:refused", "error:media", "error:csp"])
|
|
|
|
def test_retries_through_clicks_stack_no_toast(self):
|
|
self.assertEqual(self.data["clicks"], ["error:csp"])
|
|
|
|
def test_each_failure_and_station_toasts_on_its_own(self):
|
|
self.assertEqual(self.data["autoplay"], ["blocked:refused", "error:csp"])
|
|
self.assertEqual(self.data["stations"], ["error:csp", "error:media", "error:csp"])
|
|
|
|
def test_the_page_computes_the_origins_the_server_puts_into_media_src(self):
|
|
self.assertEqual(self.data["origins"], [stream_origin(url) for url in URLS])
|
|
self.assertEqual(self.data["redirected"], ["https://st01.sslstream.dlf.de", "https://*.rndfnk.com"])
|
|
|
|
|
|
if __name__ == "__main__":
|
|
unittest.main()
|