---
# System prepended metadata

title: 05/02/24

---

# 05/02/24

## Ideas
We can test the logicals from the original code to pruned-thickened. This can maybe be tested by removing verticals from the qubits and checking what happens
- [ ] For Lev, write this up codewise: see what happens
- [ ] For Lev: prove Greedy Choosing heights Alg. Add some asserts and stuff here and see what we need to do...
    - Lemma: After pruning, all horizantal layers are still connected by vertical
    - Take that lemma and say shortes path has to at least be $d_x$ then, maybe can say something stronger

# 05/01/24
- ## 1. Pre Meeting Prep
	- Reading material:
	- Agenda Sketch:
		- Discuss the write up: should I re-write pruned thickening? If so, in what notation?
		- Agree on some notation
	- Goals:
- ## 2. During Meeting
	- Introductions
	- Discussion highlights
	    - Look at pruned thickening
	    - Talked about potentially gauging out vertical things if anything is going on there w/ new logicals
	- Decisions made
	- Next steps
- ## 3. Post-Meeting Actions
	- Meeting minutes (summary + decisions + actions)
	- Follow up
	    -  [ ] For Lev: look at code to see number of logical changes!
	        -  Numerically check this for now!
	        -  (So we know what to prove)
        -  [ ] If time for Lev, look at better gauing for HGPs? (not for now, for later)

