mirror of
https://github.com/bdbrown4/peltier.io.git
synced 2026-11-07 10:58:28 +00:00
Claude
014e3b11d1
Trust-layer generalization (zero-regression verified on tokei):
- TargetSpec [build] uses an explicit {out} isolation-dir placeholder
instead of injected CARGO_TARGET_DIR, plus optional sanitizer/
sanitizer_binary templates. Nothing assumes cargo anymore.
- verdict rebuild_pristine_baseline, sanitizer_check, and harnessd
run_verdict candidate build all use {out} substitution. A target with
no sanitizer build caps accepts at needs-human-review.
- tokei/comrak target.toml migrated to the {out} form (CARGO_TARGET_DIR=
{out} + nightly ASan sanitizer command).
cJSON C target (v1.7.19, MIT):
- harness.c bench/golden driver (trust-layer; agent can patch workspace
cJSON.c but not the rig), compiled with clang against the patched tree.
- 5.6 MB deterministic corpus (gen-corpus.sh) + MANIFEST/GOLDEN pins.
- gates = hermetic Unity/CTest suite (19 tests pass); sanitizer =
ASan+UBSan; scripts/diff-fuzz-cjson.py for differential fuzzing.
coz causal profiler integration (SPEC §12):
- harness.c optional -DHOTPATH_COZ throughput progress point.
- scripts/install-coz.sh, coz-profile.sh, coz-summary.py; just coz/install-coz.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EcKPWQ3MQD4NdEHwar96u2
41 lines
1.8 KiB
TOML
41 lines
1.8 KiB
TOML
# comrak — CommonMark + GFM parser/renderer (Rust)
|
|
# Selection vs SPEC §6: CPU-bound parser; upstream spec test suite;
|
|
# upstream-defined benchmark workload (benches/bench.sh, Pro Git book);
|
|
# BSD-2-Clause; active, no dedicated perf team.
|
|
|
|
[source]
|
|
repo = "https://github.com/kivikakk/comrak.git"
|
|
commit = "45c1995fe922b6d5782b971a377721f088025fc8" # v0.53.0
|
|
license = "BSD-2-Clause"
|
|
|
|
[source.submodules]
|
|
# Upstream benchmark corpus (Pro Git book, all translations).
|
|
"vendor/progit" = { repo = "https://github.com/progit/progit.git", commit = "61833a527c6ac0c44cc40793c034b81599c25efc" }
|
|
|
|
[fetch]
|
|
# targets/*/workspace is gitignored; reproduce it with:
|
|
# git clone <repo> workspace && git -C workspace checkout <commit>
|
|
# git clone <submodule repo> workspace/vendor/progit && git -C ... checkout <commit>
|
|
|
|
[build]
|
|
baseline = "CARGO_TARGET_DIR={out} cargo build --release --manifest-path targets/comrak/workspace/Cargo.toml"
|
|
binary = "{out}/release/comrak"
|
|
sanitizer = "CARGO_TARGET_DIR={out} RUSTFLAGS='-Zsanitizer=address' cargo +nightly build --target x86_64-unknown-linux-gnu --manifest-path targets/comrak/workspace/Cargo.toml"
|
|
sanitizer_binary = "{out}/x86_64-unknown-linux-gnu/debug/comrak"
|
|
|
|
[bench]
|
|
# Upstream workload (benches/bench.sh): full Pro Git book through the
|
|
# renderer, output discarded. Corpus pinned via corpora/comrak/MANIFEST.sha256.
|
|
command = "cat corpora/comrak/progit.md | {binary} > /dev/null"
|
|
workload = "Pro Git book, all translations, 11.0 MB concatenated markdown, single stream"
|
|
|
|
[gates]
|
|
tests = "cargo test --release --manifest-path targets/comrak/workspace/Cargo.toml"
|
|
# Golden replay: corpus through the binary, stdout must be byte-identical.
|
|
golden = "cat corpora/comrak/progit.md | {binary}"
|
|
|
|
[corpus]
|
|
manifest = "corpora/comrak/MANIFEST.sha256"
|
|
root = "corpora/comrak"
|
|
golden_sha256 = "corpora/comrak/GOLDEN.sha256"
|