ir+kernel: ElectronicSystem IR + vcad-kernel-electrons scaffold

[ecto]

IR: ElectronicSystem { molecule_ref, charge, multiplicity, model, kpoints, observables } (+ ir:gen). New crate with the ElectronicSolver trait, fail-closed receipts (method, convergence, trust tier per adapter).

Blocked by #486.