Java / Execução registrada
Repair Log
Request management with priorities, assignees, state transitions, expected revisions, and a persistent event 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 RepairLog.java
Saída: 0 · esperada: 0 · 4.213 s
$ bash -e -o pipefail -c javac -Xlint:all -Werror RepairLog.java
PASS python -m unittest discover -v -s tests
Saída: 0 · esperada: 0 · 1.709 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 1.587s OK
PASS Persist a maintenance ticket with optimistic revision checks
Saída: 0 · esperada: 0 · 0.502 s
$ python .proof/demo.py
{"report": {"active": 1, "events": 3, "tickets": [{"area": "zone", "assignee": "operator", "description": "repair", "id": "6a2c9c96-0f0a-4420-a519-1ee913bd2ef4", "priority": 3, "revision": 3, "state": "IN_PROGRESS", "updated": "2026-10-10T05:29:50.165903023Z"}], "unassigned": 0}, "stale_revision_rejected": true}
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-neighborhood-repair-log.git cd java-neighborhood-repair-log git checkout 6d93611c16e22941e2a090c2392aa5ec4767528f python .proof/record.py