DSHA tested by Argusic Runner

What the test found

Test engineer successfully built JDK 17 + Android SDK 37 toolchain, compiled and confirmed all 32 pure-logic invariants across the 4 core util test classes pass without Android dependencies, but the full Gradle build is blocked by missing offline asset files that are CI-generated.

32 pure-logic unit tests across the 4 core util/ classes (ShellQuote, BackupScope, Query, WebProcSel) compiled and passed directly with javac + JUnit. These lock in the invariants the AGENTS.md mandates: POSIX quoting safety, backup prefix discipline, query parameter boundary security, and Web process never-mistake-proot safety. Full Android Gradle build needs offline assets generated by prepare-* scripts which require the proot binary/dsh runtime files not present in a bare checkout.

Argusic installed DSHA in 16 minutes and launched it; verification reached Verified running for real. 1 of 2 recorded errors were worked through (see the timeline below).

Runsall runs of DSHA

This summary is drawn from the agent's recorded report for this run. Every figure traces to the log and recording above; nothing here is authored.