Covered circuits modeled in Lava, going for ForSyDe and sketching Coquet.