This directory owns the 79 controlled synthetic experiments, their protocol, lab runner, runtime tests, and current publication results. Stable P identifiers identify experiments throughout the runner ...

This document is a reading map for the AAuth source family pinned in SPECIFICATIONS.md. It shows how the documents compose, which role owns each protocol fact, and where an implementation can observe ...