framed bundles; affine bundles; quot scheme Lefschetz-Verdier trace formula; Deligne conjecture; rigid geometry; proper scheme; constructible cohomology sheaves; Frobenius map; positive characteristic 