Standardize workspace: Justfile migration and A2ML directive cleanup

Author: hyperpolymath

docs/research/binary-star-neurosymbolic-ide.tex

@@ -1568,7 +1568,7 @@ \section{Panel Taxonomy}\label{app:panels}
   Proofs Bridge, Verification Dashboard,
   Functional Tester \\
 Data \& Protocols & 7 & VeriSimDB Feeds, Protocol Squisher,
-  Compatibility Matrix, Databases, VQL Engine \\
+  Compatibility Matrix, Databases, VCL Engine \\
 Security & 5 & Cloud Guard, Security, Provenance,
   Mass Panic, Panic Attack \\
 Infrastructure & 8 & Stapeln, Aerie, Network Topology,