Java / Execução registrada

java-offshore-maintenance-critical-path

Calculate dependency-safe maintenance order, earliest completion and task float for shutdown planning.

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: 3a3fdfe0919f64d1d8e2eb2a5612d91b4b5f3b24
Registro: 2026-10-10T05:29:23.651167+00:00
Repositório: brunnojob/java-offshore-maintenance-critical-path
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.

Baixar relatório JSON

PASS javac Main.java && java Main --self-test && java Main < examples/input.txt

Saída: 0 · esperada: 0 · 4.567 s

$ bash -e -o pipefail -c javac Main.java && java Main --self-test && java Main < examples/input.txt

tests passed
isolate,start=0.00,finish=1.00,float=0.00
electrical,start=1.00,finish=3.00,float=4.00
inspect,start=1.00,finish=3.00,float=0.00
replace,start=3.00,finish=7.00,float=0.00
commission,start=7.00,finish=8.00,float=0.00
duration=8.00

PASS Application demonstration with checked output

Saída: 0 · esperada: 0 · 0.102 s

$ java Main

isolate,start=0.00,finish=1.00,float=0.00
electrical,start=1.00,finish=3.00,float=4.00
inspect,start=1.00,finish=3.00,float=0.00
replace,start=3.00,finish=7.00,float=0.00
commission,start=7.00,finish=8.00,float=0.00
duration=8.00

PASS Reject an empty capture

Saída: 2 · esperada: 2 · 0.051 s

$ java Main

missing input

PASS Reject malformed input

Saída: 2 · esperada: 2 · 0.051 s

$ java Main

invalid CSV row

PASS Reject unsupported invocation

Saída: 2 · esperada: 2 · 0.051 s

$ java Main --unsupported

unsupported command arguments

PASS Reject an oversized input record

Saída: 2 · esperada: 2 · 0.051 s

$ java Main

input record too large

Baixar transcrição

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-maintenance-critical-path.git
cd java-offshore-maintenance-critical-path
git checkout 3a3fdfe0919f64d1d8e2eb2a5612d91b4b5f3b24
python .proof/record.py

Entradas e critérios de verificação ↗Pré-requisitos ↗