I would love that as a solution as well but what it leave out compared to Cackle is abstractions. You can have some packages that abstract lower level operatio

I would love that as a solution as well but what it leave out compared to Cackle is abstractions. You can have some packages that abstract lower level operations into more restricted higher level ones which can give you a different surface area for auditing.