java-offshore-alarm-cascade-correlator

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

c9870ee87d4571818ee0bdffb82b5c56a25a6226

Registro

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

Repositório

brunnojob/java-offshore-alarm-cascade-correlator

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 javac Main.java && java Main --self-test && java Main < examples/input.txt

tests passed
root=MCC-loss,time=0.000,count=4,members=MCC-loss|pump-trip|low-flow|low-pressure
root=high-temperature,time=12.000,count=1,members=high-temperature

$ java Main

root=MCC-loss,time=0.000,count=4,members=MCC-loss|pump-trip|low-flow|low-pressure
root=high-temperature,time=12.000,count=1,members=high-temperature

$ java Main

missing input

$ java Main

invalid CSV row

$ java Main --unsupported

unsupported command arguments

$ java Main

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/java-offshore-alarm-cascade-correlator.git
cd java-offshore-alarm-cascade-correlator
git checkout c9870ee87d4571818ee0bdffb82b5c56a25a6226
python .proof/record.py