@amcooper@toot.cat the District of Columbia agencies that regulate them call them “tree boxes.” Also in DC your property line is probably just outside your front door, and the entire thing you think of as your front yard (including the tree box) is considered “public parking.” https://trees.dc.gov/pages/permitting