Homotypic synonyms; with Circinaria fully accepted by iNat surely A./C. hoffmanniana should be there regardless of whether accepted at species level or not. This is also the placement made by e.g. the BLS: https://britishlichensociety.org.uk/resources/taxon-database/circinaria-hoffmanniana (Esslinger's NA checklist does not include this taxon but does also accept Circinaria).

See also flags https://www.inaturalist.org/flags/561073, https://www.inaturalist.org/flags/561074