Java / Execução registrada
Medication Schedule
A schedule of user-supplied times, with time zones, clock-change handling, and a record history.
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.
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 -Xlint:all -Werror MedicationSchedule.java
Saída: 0 · esperada: 0 · 4.165 s
$ bash -e -o pipefail -c javac -Xlint:all -Werror MedicationSchedule.java
PASS python -m unittest discover -v -s tests
Saída: 0 · esperada: 0 · 1.104 s
$ bash -e -o pipefail -c python -m unittest discover -v -s tests test_persistent_workflow (test_workflow.WorkflowTests.test_persistent_workflow) ... ok ---------------------------------------------------------------------- Ran 1 test in 0.852s OK
PASS Resolve a persisted schedule across a daylight-saving gap
Saída: 0 · esperada: 0 · 0.251 s
$ python .proof/demo.py
{"nonexistent_dst_time": {"date": "2026-03-08", "doses": [], "zone": "America/New_York"}, "regular_day": {"date": "2026-03-09", "doses": [{"scheduled": "2026-03-09T06:30:00Z", "status": "unrecorded"}], "zone": "America/New_York"}}
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-medication-schedule.git cd java-medication-schedule git checkout c71a20d62cf21a2f2f89993f34b40010f01b6560 python .proof/record.py