Zafu/Benchmark/Game/Harness

`Zafu/Benchmark/Game/Harness`

source code:

src/Zafu/Benchmark/Game/Harness.bosatsu

public dependencies: Bosatsu/IO/Bytes, Zafu/Control/Result

Index

Types: BenchmarkCli, BenchmarkRunRecord, BenchmarkRunResult, OutputChannel
Values: benchmark_result_csv_header, is_bosatsu_eval_argv0, normalize_cli_args, normalize_text_fixture, parse_benchmark_cli, render_benchmark_result_csv_row, render_binary_output, render_csv_row, render_fixed_9, render_text_output, render_validation_error, to_benchmark_run_result, validate_exact_bytes_output, validate_exact_text_output, validate_float_lines_output

Types

`BenchmarkCli`

type BenchmarkCli

Constructors

ExitCli(exit_code: Int, channel: OutputChannel, message: String)
RunInput(input: Int)

`BenchmarkRunRecord`

CSV rows intentionally keep the stable 10-column subset. Use BenchmarkRunRecord for the full per-run contract and project down when writing the checked-in CSV companion artifact.

type BenchmarkRunRecord

Constructors

BenchmarkRunRecord( benchmark: String, target: String, input: Int, repeat_index: Int, elapsed_ns: Int, exit_code: Int, validation_passed: Bool, source_id: String, source_url: String, build_command: String, run_command: String, git_sha: String, bosatsu_version: String, java_version: String, gcc_version: String, os: String, cpu_model: String, timestamp_utc: String, output_byte_count: Option[Int], output_sha256: Option[String] )

`BenchmarkRunResult`

type BenchmarkRunResult

Constructors

BenchmarkRunResult( benchmark: String, target: String, input: Int, repeat_index: Int, elapsed_ns: Int, exit_code: Int, validation_passed: Bool, source_id: String, git_sha: String, timestamp_utc: String )

`OutputChannel`

type OutputChannel

Constructors

StderrChannel
StdoutChannel

Values

`benchmark_result_csv_header`

references: String

benchmark_result_csv_header: String

`is_bosatsu_eval_argv0`

references: Bool, String

def is_bosatsu_eval_argv0(token: String) -> Bool

`normalize_cli_args`

Only strip argv0 when it names the active benchmark executable. Invalid direct argv should stay intact so the shared CLI path rejects the supplied token instead of silently dropping it. bosatsu eval --run injects its own driver name, so keep that one special-case strip to preserve the repo's documented benchmark entrypoint contract.

references: List, String

def normalize_cli_args(command_name: String, args: List[String]) -> List[String]

`normalize_text_fixture`

references: String

def normalize_text_fixture(value: String) -> String

`parse_benchmark_cli`

references: BenchmarkCli, List, String

def parse_benchmark_cli(command_name: String, args: List[String]) -> BenchmarkCli

`render_benchmark_result_csv_row`

references: BenchmarkRunResult, String

def render_benchmark_result_csv_row(result: BenchmarkRunResult) -> String

`render_binary_output`

references: Bosatsu/IO/Bytes::Bytes, List

def render_binary_output(chunks: List[Bosatsu/IO/Bytes::Bytes]) -> Bosatsu/IO/Bytes::Bytes

`render_csv_row`

references: List, String

def render_csv_row(fields: List[String]) -> String

`render_fixed_9`

references: Float64, String

def render_fixed_9(value: Float64) -> String

`render_text_output`

references: List, String

def render_text_output(lines: List[String]) -> String

`render_validation_error`

references: String

def render_validation_error(label: String, expected: String, actual: String) -> String

`to_benchmark_run_result`

references: BenchmarkRunRecord, BenchmarkRunResult

def to_benchmark_run_result(record: BenchmarkRunRecord) -> BenchmarkRunResult

`validate_exact_bytes_output`

references: Bosatsu/IO/Bytes::Bytes, String, Unit, Zafu/Control/Result::Result

def validate_exact_bytes_output(label: String, expected: Bosatsu/IO/Bytes::Bytes, actual: Bosatsu/IO/Bytes::Bytes) -> Zafu/Control/Result::Result[String, ()]

`validate_exact_text_output`

references: String, Unit, Zafu/Control/Result::Result

def validate_exact_text_output(label: String, expected_fixture: String, actual_output: String) -> Zafu/Control/Result::Result[String, ()]

`validate_float_lines_output`

references: Float64, String, Unit, Zafu/Control/Result::Result

def validate_float_lines_output(label: String, abs_tolerance: Float64, expected_fixture: String, actual_output: String) -> Zafu/Control/Result::Result[String, ()]