Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines

Collection of recent PL/SE research focusing on program correctness, safety, and secure-by-construction tooling. Notable items: DALC-CT — a dynamic low-level trace analysis approach for verifying constant-time properties (timing side‑channel mitigation); a compositional security definition for higher-order where-declassification (formal information‑flow/declassification guarantees); &inator — constraint-driven C-to-Rust interface translation to produce memory‑safe Rust interfaces from C; and a message-sequence-chart DSL that yields provably deadlock‑free LLM agent coordination. Additional work