Over the weekend, lots of commits landed in the indev branch of sonata, our in-development polyproto-core home server. Code was introduced which uses the type system to verify, at compile time, that certificates being stored have actually been verified to be valid and well-formed before being allowed to get stored or passed to other parts of code. Encoding this information in the type system means being 100% sure that a certificate or key is valid in a given context, without having to resort to additional runtime checks. On top of that, CI was improved yet again
Code was introduced which uses the type system to verify, at compile time, that certificates being stored have actually been verified to be valid and well-formed before being allowed to get stored or passed to other parts of code. Encoding this information in the type system means being 100% sure that a certificate or key is valid in a given context, without having to resort to additional runtime checks. On top of that, CI was improved yet again