C# / Execução registrada

csharp-offshore-load-shed-optimizer

Select nonessential loads to shed with an exact capacity-constrained search while preserving protected consumers.

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: 7fa9d315817fb133406e565371396f9ca1ffa28e
Registro: 2026-10-10T05:30:01.192034+00:00
Repositório: brunnojob/csharp-offshore-load-shed-optimizer
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 dotnet build && dotnet run --no-build -- --self-test && dotnet run --no-build < examples/input.txt

Saída: 0 · esperada: 0 · 14.988 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-load-shed-optimizer/csharp-offshore-load-shed-optimizer/Offshore.csproj (in 85 ms).
  Offshore -> /home/runner/work/csharp-offshore-load-shed-optimizer/csharp-offshore-load-shed-optimizer/bin/Debug/net8.0/Offshore.dll

Build succeeded.
    0 Warning(s)
    0 Error(s)

Time Elapsed 00:00:06.98
Tests passed
{"Shed":["HVAC-A","workshop"],"ReleasedKw":85,"Cost":5}

PASS Application demonstration with checked output

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

$ dotnet run --no-build --

{"Shed":["HVAC-A","workshop"],"ReleasedKw":85,"Cost":5}

PASS Reject an empty capture

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

$ dotnet run --no-build --

Missing input

PASS Reject malformed input

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

$ dotnet run --no-build --

Invalid CSV row

PASS Reject unsupported invocation

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

$ dotnet run --no-build -- --unsupported

Unsupported command arguments

PASS Reject an oversized input record

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

$ dotnet run --no-build --

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/csharp-offshore-load-shed-optimizer.git
cd csharp-offshore-load-shed-optimizer
git checkout 7fa9d315817fb133406e565371396f9ca1ffa28e
python .proof/record.py

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