C# / Execução registrada
csharp-offshore-valve-stiction-diagnostic
Identify command reversals, valve deadband and persistent position mismatch from trend captures.
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 dotnet build && dotnet run --no-build -- --self-test && dotnet run --no-build < examples/input.txt
Saída: 0 · esperada: 0 · 7.276 s
$ bash -e -o pipefail -c dotnet build && dotnet run --no-build -- --self-test && dotnet run --no-build < examples/input.txt
Determining projects to restore...
Restored /home/runner/work/csharp-offshore-valve-stiction-diagnostic/csharp-offshore-valve-stiction-diagnostic/Offshore.csproj (in 84 ms).
Offshore -> /home/runner/work/csharp-offshore-valve-stiction-diagnostic/csharp-offshore-valve-stiction-diagnostic/bin/Debug/net8.0/Offshore.dll
Build succeeded.
0 Warning(s)
0 Error(s)
Time Elapsed 00:00:03.58
Tests passed
{"Time":1,"Type":"STUCK_TRAVEL","Magnitude":6}
{"Time":2,"Type":"STUCK_TRAVEL","Magnitude":14}
{"Time":5,"Type":"PERSISTENT_MISMATCH","Magnitude":20}
PASS Application demonstration with checked output
Saída: 0 · esperada: 0 · 0.853 s
$ dotnet run --no-build --
{"Time":1,"Type":"STUCK_TRAVEL","Magnitude":6}
{"Time":2,"Type":"STUCK_TRAVEL","Magnitude":14}
{"Time":5,"Type":"PERSISTENT_MISMATCH","Magnitude":20}
PASS Reject an empty capture
Saída: 2 · esperada: 2 · 0.803 s
$ dotnet run --no-build -- Missing input
PASS Reject malformed input
Saída: 2 · esperada: 2 · 0.803 s
$ dotnet run --no-build -- Invalid CSV row
PASS Reject unsupported invocation
Saída: 2 · esperada: 2 · 0.803 s
$ dotnet run --no-build -- --unsupported Unsupported command arguments
PASS Reject an oversized input record
Saída: 2 · esperada: 2 · 0.804 s
$ dotnet run --no-build -- 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/csharp-offshore-valve-stiction-diagnostic.git cd csharp-offshore-valve-stiction-diagnostic git checkout b1fa87977ea5eddc26adf3e3e94330bd9fc5365e python .proof/record.py