Syntomic cycle classes and prismatic Poincaré duality

We introduce $F$-gauges over a prism, construct syntomic cycle classes, and prove the prismatic Poincaré duality for proper smooth schemes.