Witt Groups and Bulk-Boundary Correspondence for Stabilizer States | Synapse