@erights noted this recently; have I read it? From a quick skim, no, I don't think I have. [Roland Wismüller](https://www.jot.fm/contents.php?query=Wism%C3%BCller), [Damian Ludwig](https://www.jot.fm/contents.php?query=Ludwig), [Felix Breitweiser](https://www.jot.fm/contents.php?query=Breitweiser), [Extending the Object-Capability Model with Fine-Grained Type-Based Capabilities](https://www.jot.fm/contents/issue_2024_01/article1.html), pp. 1:1-36, [PDF](http://www.jot.fm/issues/issue_2024_01/article1.pdf), [DOI](http://dx.doi.org/10.5381/jot.2024.23.1.a1).