Swift / Execução registrada
swift-offshore-telemetry-health
Track per-channel freshness, packet loss and jitter from timestamped telemetry receipts.
O que foi verificado
Os comandos abaixo executam o código do repositório e conferem os cenários registrados. A evidência cobre esses cenários na versão indicada; não comprova todas as entradas possíveis nem uso em produção. As entradas de laboratório e os testes do software não comprovam conexão ou operação em equipamentos físicos.
A evidência abaixo pertence à versão registrada. A consulta usa a API pública do GitHub e pode atingir o limite de requisições.
Comandos e resultados reais
Resultados extraídos dos logs do Actions. Saídas extensas podem estar resumidas; a execução original e o artefato contêm o registro completo.
Baixar relatório JSONPASS swiftc Sources/main.swift -o app && ./app --self-test && ./app < examples/input.txt
Saída: 0 · esperada: 0 · 10.497 s
$ bash -e -o pipefail -c swiftc Sources/main.swift -o app && ./app --self-test && ./app < examples/input.txt
Tests passed
{"age":3.0999999999999996,"averageLatency":0.13333333333333333,"duplicate":0,"latencyDeviation":0.057735026918962526,"lost":1,"packets":3,"stale":true,"tag":"PT101"}
{"age":0.09999999999999964,"averageLatency":0.09999999999999964,"duplicate":0,"latencyDeviation":0,"lost":0,"packets":1,"stale":false,"tag":"TT102"}
PASS Application demonstration with checked output
Saída: 0 · esperada: 0 · 0.122 s
$ ./app
{"age":3.0999999999999996,"averageLatency":0.13333333333333333,"duplicate":0,"latencyDeviation":0.057735026918962526,"lost":1,"packets":3,"stale":true,"tag":"PT101"}
{"age":0.09999999999999964,"averageLatency":0.09999999999999964,"duplicate":0,"latencyDeviation":0,"lost":0,"packets":1,"stale":false,"tag":"TT102"}
PASS Reject an empty capture
Saída: 2 · esperada: 2 · 0.131 s
$ ./app Missing input
PASS Reject malformed input
Saída: 2 · esperada: 2 · 0.1 s
$ ./app Invalid CSV row
PASS Reject unsupported invocation
Saída: 2 · esperada: 2 · 0.12 s
$ ./app --unsupported Unsupported command arguments
PASS Reject an oversized input record
Saída: 2 · esperada: 2 · 0.122 s
$ ./app Input record too large
Reproduzir a execução
Os pré-requisitos e as entradas são públicos no repositório. Faça checkout da versão exata antes de executar os cenários.
git clone https://github.com/brunnojob/swift-offshore-telemetry-health.git cd swift-offshore-telemetry-health git checkout 332f5a0cfbad43e2a67f9b2993d791994282b502 python .proof/record.py