Brummel
f68258b044
Public-interface-only field test of the walking-skeleton closing seam (#8): the `aura run` CLI and the reusable aura-std::Recorder sink. A standalone consumer crate (path-deps on the three engine crates, as a C16 project would) drives the real binary as a subprocess and wires Recorder via the raw Harness::bootstrap API. Examples (all built from HEAD and ran green): - c0010_1: drive `aura run` as a downstream CLI/jq consumer — single-line JSON report, byte-identical across two runs (C1), bad-args → exit 2 + exact usage on stderr with empty stdout. - c0010_2: wire Recorder onto Sma(3) via raw bootstrap, drain the mpsc::Receiver — rows match the rustdoc warm-up model exactly. - c0010_3: Recorder over [I64, Bool, Timestamp] — the four-kind claim (never exercised by the CLI's f64-only path) holds, verified from rustdoc alone. Findings: 0 bugs, 4 working, 1 spec_gap, 1 friction. - [spec_gap] `aura run <trailing-arg>` is accepted (exit 0), not rejected — the arg parse keys only on the first token being `run` and ignores the rest. The cycle_scope's "any other or missing subcommand -> exit 2" does not unambiguously cover `run <junk>`; the binary chose the lenient reading. Tracked for a ratify-or-tighten decision. - [friction] verifying the documented {manifest, metrics} JSON nesting needs a hand-rolled string walker — the zero-dep consumer has only to_json() and no typed read-path. Low-priority tidy. Both non-bug findings filed to the forward queue; neither blocks the cycle.
34 lines
1003 B
TOML
34 lines
1003 B
TOML
# Standalone downstream-consumer crate for the cycle-0010 fieldtest
|
|
# (aura-std::Recorder + the `aura run` CLI).
|
|
#
|
|
# Like the cycle-0007/0008/0009 fixtures, this is NOT a member of the aura
|
|
# workspace — it path-depends on the engine crates exactly as a real research
|
|
# project (C16) would, and is built/run via
|
|
# `cargo run --manifest-path fieldtests/cycle-0010-aura-run/Cargo.toml --bin <name>`
|
|
# so HEAD source is always what runs.
|
|
# Empty [workspace] table: marks this fixture crate as its OWN workspace root.
|
|
[workspace]
|
|
|
|
[package]
|
|
name = "c0010-fieldtest"
|
|
version = "0.0.0"
|
|
edition = "2024"
|
|
publish = false
|
|
|
|
[dependencies]
|
|
aura-core = { path = "../../crates/aura-core" }
|
|
aura-engine = { path = "../../crates/aura-engine" }
|
|
aura-std = { path = "../../crates/aura-std" }
|
|
|
|
[[bin]]
|
|
name = "c0010_1_cli_report"
|
|
path = "c0010_1_cli_report.rs"
|
|
|
|
[[bin]]
|
|
name = "c0010_2_recorder_sink"
|
|
path = "c0010_2_recorder_sink.rs"
|
|
|
|
[[bin]]
|
|
name = "c0010_3_recorder_four_kind"
|
|
path = "c0010_3_recorder_four_kind.rs"
|