Java / Execução registrada
java-offshore-spares-reservation-ledger
Replay idempotent stock reservations, releases and issues while preventing negative spare inventory.
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 javac Main.java && java Main --self-test && java Main < examples/input.txt
Saída: 0 · esperada: 0 · 1.262 s
$ bash -e -o pipefail -c javac Main.java && java Main --self-test && java Main < examples/input.txt tests passed seal-kit,on_hand=7,reserved=0,available=7
PASS Application demonstration with checked output
Saída: 0 · esperada: 0 · 0.101 s
$ java Main seal-kit,on_hand=7,reserved=0,available=7
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
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-spares-reservation-ledger.git cd java-offshore-spares-reservation-ledger git checkout 5f05d093f25aa89a9dcabcfc91ff374568a8b26d python .proof/record.py