swift-offshore-compressor-efficiency

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.

Versão executada

5601548af7a1920075d4723f5645b3b3ccf1a7cf

Registro

2026-10-10T05:29:47.644034+00:00

Repositório

brunnojob/swift-offshore-compressor-efficiency

Licença

MIT

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.

$ bash -e -o pipefail -c swiftc Sources/main.swift -o app && ./app --self-test && ./app < examples/input.txt

Tests passed
{"degraded":false,"isentropicEfficiency":0.7289914337054222,"pressureRatio":4,"shaftPowerKw":160.79999999999998,"tag":"air-A"}
{"degraded":true,"isentropicEfficiency":0.5831931469643378,"pressureRatio":4,"shaftPowerKw":200.99999999999997,"tag":"air-B"}

$ ./app

{"degraded":false,"isentropicEfficiency":0.7289914337054222,"pressureRatio":4,"shaftPowerKw":160.79999999999998,"tag":"air-A"}
{"degraded":true,"isentropicEfficiency":0.5831931469643378,"pressureRatio":4,"shaftPowerKw":200.99999999999997,"tag":"air-B"}

$ ./app

Missing input

$ ./app

Invalid CSV row

$ ./app --unsupported

Unsupported command arguments

$ ./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-compressor-efficiency.git
cd swift-offshore-compressor-efficiency
git checkout 5601548af7a1920075d4723f5645b3b3ccf1a7cf
python .proof/record.py