C# / Execução registrada
csharp-offshore-permit-conflict-audit
Detect overlapping work permits with conflicting isolation boundaries and incomplete authorization evidence.
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 · 11.72 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-permit-conflict-audit/csharp-offshore-permit-conflict-audit/Offshore.csproj (in 48 ms).
Offshore -> /home/runner/work/csharp-offshore-permit-conflict-audit/csharp-offshore-permit-conflict-audit/bin/Debug/net8.0/Offshore.dll
Build succeeded.
0 Warning(s)
0 Error(s)
Time Elapsed 00:00:05.67
Tests passed
{"Left":"P103","Right":"-","Reason":"GAS_TEST_MISSING"}
{"Left":"P101","Right":"P102","Reason":"BOUNDARY_CONFLICT"}
PASS Application demonstration with checked output
Saída: 0 · esperada: 0 · 0.452 s
$ dotnet run --no-build --
{"Left":"P103","Right":"-","Reason":"GAS_TEST_MISSING"}
{"Left":"P101","Right":"P102","Reason":"BOUNDARY_CONFLICT"}
PASS Reject an empty capture
Saída: 2 · esperada: 2 · 0.502 s
$ dotnet run --no-build -- Missing input
PASS Reject malformed input
Saída: 2 · esperada: 2 · 0.452 s
$ dotnet run --no-build -- Invalid CSV row
PASS Reject unsupported invocation
Saída: 2 · esperada: 2 · 0.452 s
$ dotnet run --no-build -- --unsupported Unsupported command arguments
PASS Reject an oversized input record
Saída: 2 · esperada: 2 · 0.452 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-permit-conflict-audit.git cd csharp-offshore-permit-conflict-audit git checkout 7ce4b9125bf022477d91a3553f8c10c741c3ef0d python .proof/record.py