tangency-labs/solidcore

Rust-vs-C++ difftest of one unit: cargo run -p difftest --features cpp -- --unit geom.extent3d (PASS, 3086/3086 cases, max_rel_err 0)

cd <host-path> && ls -la && cat README* 2>/dev/null | head -300
cd <host-path>; which cargo rustc curl cc make cmake; cat rust-toolchain.toml; cat .cargo/config.toml 2>/dev/null; ls <host-path>; echo "CDP=$CDP_URL $<env-var>"; sed -n 1,80p <host-path>
cd <host-path>; (which cc gcc || (sudo apt-get update -qq && sudo apt-get install -y -qq build-essential pkg-config >/tmp/apt.log 2>&1; echo apt=$?)); curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --profile minimal --default-toolchain none >/tmp/rustup.log 2>&1; echo rustup=$?; tail -3 /tmp/rustup.log
cd <host-path>; export PATH=$HOME/.cargo/bin:$PATH; cargo --version && time cargo build -p solidcore 2>&1 | tail -15; echo rc=${PIPESTATUS[0]}
cd <host-path>; free -m; nproc; dmesg 2>/dev/null | tail -3; export PATH=$HOME/.cargo/bin:$PATH; time cargo build -p solidcore -j1 2>&1 | tail -5; echo rc=${PIPESTATUS[0]}
cd <host-path>; export PATH=$HOME/.cargo/bin:$PATH; ulimit -a | egrep -i 'mem|virt|cpu'; wc -l crates/solidcore/src/*.rs | tail -1; export CARGO_PROFILE_DEV_DEBUG=0; time cargo build -p solidcore -j1 2>&1 | tail -4; echo rc=${PIPESTATUS[0]}
cd <host-path>; export PATH=$HOME/.cargo/bin:$PATH; export CARGO_PROFILE_DEV_DEBUG=0; time cargo check -p solidcore -j1 2>&1 | tail -6; echo rc=${PIPESTATUS[0]}; cat /proc/meminfo | egrep 'MemAvail|Committed_AS|CommitLimit'
cat /proc/self/cgroup; cat /sys/fs/cgroup/memory.max 2>/dev/null; cat /sys/fs/cgroup/memory.events 2>/dev/null; cat /sys/fs/cgroup/memory.peak 2>/dev/null; cd <host-path>; export PATH=$HOME/.cargo/bin:$PATH; (/usr/bin/time -v rustc --crate-name t --edition=2021 -e 'fn main(){}' --crate-type lib -o /tmp/t.rlib 2>&1 | egrep 'Maximum resident|Exit') ; ls bin/debug/deps | grep -c rmeta
cd <host-path>; export PATH=$HOME/.cargo/bin:$PATH; ls /usr/bin/time >/dev/null 2>&1 || echo no-time; EXT=$(ls bin/debug/deps/libthiserror-*.rmeta | head -1); /usr/bin/time -v rustc --crate-name solidcore --edition=2021 crates/solidcore/src/lib.rs --crate-type lib --emit=metadata -o /tmp/sc.rmeta --extern thiserror=$EXT -L dependency=bin/debug/deps -A warnings 2>&1 | egrep 'Maximum resident|Exit status|error|signal' | head; dmesg 2>&1 | tail -2
sudo fallocate -l 4G /swapfile && sudo chmod 600 /swapfile && sudo mkswap /swapfile >/dev/null && sudo swapon /swapfile && free -m | grep -i swap; cd <host-path>; export PATH=$HOME/.cargo/bin:$PATH; time cargo build -p solidcore -j1 2>&1 | tail -4; echo rc=${PIPESTATUS[0]}
cd <host-path>; export PATH=$HOME/.cargo/bin:$PATH; time cargo build -p difftest -j1 2>&1 | tail -3; echo rc=${PIPESTATUS[0]}; ls bin/debug | head; ./bin/debug/difftest --help 2>&1 | head -30
cd <host-path>; export PATH=$HOME/.cargo/bin:$PATH; ./bin/debug/difftest --list 2>&1 | head -20; echo rc=$?; ./bin/debug/difftest --list 2>&1 | wc -l
cd <host-path>; which git cmake g++ make ninja; cmake --version 2>/dev/null | head -1; timeout 20 git ls-remote https://github.com/NVIDIA-Omniverse/usd-brep HEAD 2>&1 | head -2; echo rc=$?; cat harness/cpp/build.sh | head -60
cd <host-path>; sudo apt-get install -y -qq cmake ninja-build >/tmp/apt2.log 2>&1; echo apt=$?; cmake --version | head -1; git clone -q https://github.com/NVIDIA-Omniverse/usd-brep upstream && git -C upstream checkout -q c9c5979 && git -C upstream rev-parse --short HEAD; echo rc=$?
cd <host-path>; time harness/cpp/build.sh > /tmp/cppbuild.log 2>&1; echo rc=$?; tail -5 /tmp/cppbuild.log; ls bin/cpp 2>/dev/null
cd <host-path>; export PATH=$HOME/.cargo/bin:$PATH; time cargo build -p difftest --features cpp -j1 > /tmp/dt.log 2>&1; echo rc=$?; tail -3 /tmp/dt.log; grep -i green plan/PROGRESS.md | head -5; ./bin/debug/difftest --list 2>&1 | head -5
cd <host-path>; time ./bin/debug/difftest --unit geom.extent3d --no-report 2>&1 | tail -15; echo rc=${PIPESTATUS[0]}
cd <host-path>; mkdir -p .coldpass; ls -la .coldpass; cat > .coldpass/probe.json <<'EOF'
{"kind":"cli","argv":["<host-path>"}}
EOF
cat > .coldpass/report.json <<'EOF'
{"outcome":"working","operation":"Rust-vs-C++ difftest of one unit: cargo run -p difftest --features cpp -- --unit geom.extent3d (PASS, 3086/3086 cases, max_rel_err 0)","operation_scope":"Single documented difftest unit against the upstream C++ reference built in bin/cpp. Not run: --green full sweep, cargo test, cargo clippy/fmt, wasm check, SSI corpus. No MCP/HTTP server exists in this repo (it is a library), so no start/list_tools check applies.","steps":["Installed rustup (sh.rustup.rs, minimal, no default toolchain); rust-toolchain.toml pinned 1.98.0 auto-installed on first cargo call","apt-get install build-essential pkg-config (cc/linker)","cargo build -p solidcore (SIGKILL with 1.1GB RAM, no swap; fixed by adding 4G /swapfile, then succeeded; also -j1)","git clone https://github.com/NVIDIA-Omniverse/usd-brep upstream && git -C upstream checkout c9c5979","harness/cpp/build.sh (after installing cmake 3.28 + ninja via apt) -> bin/cpp","cargo build -p difftest --features cpp (15 min)","cargo run -p difftest --features cpp -- --unit geom.extent3d -> PASS"],"deviations":["README 'Building' cargo build -p solidcore: rustc was SIGKILLed (OOM, peak RSS ~910MB, no swap); added 4G swapfile via sudo fallocate/mkswap/swapon, then rebuild succeeded","README prerequisites: rustup, build-essential, pkg-config, cmake and ninja were not present; installed via apt/rustup","harness/cpp/build.sh needs cmake; installed cmake via apt before running it","README 'Difftest': cloned upstream/ (gitignored, lives in workspace; no product source modified)"],"stuck_step":null,"main_blocker":null,"suggested_fix":null}
EOF
<env-var>=<host-path> python3 -I <host-path> --validate; echo rc=$?
cd <host-path>; env -i PATH=<host-path> HOME=<host-path> <host-path> run -p difftest --features cpp -- --unit geom.extent3d 2>&1 | tail -2; echo rc=${PIPESTATUS[0]}; git -C <host-path> status --short 2>/dev/null | head -3