Alexander Richardson

ping. Could you please explain why this issue has been closed (especially considering forks of this repository are still applying patches to work around it)?

This should definitely be documented in the guide - there is some documentation we could start from: https://github.com/CTSRD-CHERI/cheri-c-programming/wiki/Displaying-Capabilities and https://github.com/CTSRD-CHERI/cheribsd/blob/main/lib/libc/cheri/strfcap.3

We could try to make this distinction for C++20 (or maybe it's 17) code by only treating std::byte as potentially tag-bearing and assuming that char is actually a string. However,...

ptraddr_t (the new name for vaddr_t) is a non-provenance-carrying **integer** type in both purecap and hybrid. In hybrid you can obviously still cast it to an integer pointer and dereference...

Do you expect these to be 0/1 values or defined/not defined? I agree that the current macros are rather long and can be annoying to type, but I'm not sure...

Doesn't `sptraddr_t` suffer from the same theoretical issues as `ssize_t`/`ptrdiff_t` if you want it to be a "signed machine word"? In practise it will almost always be the same as...

This currently panics the purecap kernel so should wait for https://github.com/CTSRD-CHERI/cheribsd/pull/1088 to land in cheribsd master (or I just change the default to false).

Is this obsolete now?

I believe this should now be correct.

Yes that is unfortunate. However, these dockerfile changes should be backwards compatible since they do nothing when `--uid` is passed to docker. I'll look into a workaround for the release...