| 4c003cd | Peter Woodfine | 2026-05-15T03:25:04+00:00 | docs(architecture): add external references to two architecture articles (EN+ES) | machine-based-auth: Noise Protocol Framework [^1], WireGuard NDSS 2017 [^2]
capability-based-security: seL4 SOSP 2009 [^1], Lampson Protection 1974 [^2]
capability-based-security: remove internal workspace paths from References section
capability-based-security.es.md: fix broken [[sel4-foundation]] → [[sel4-microkernel-substrate]] |
| cf727ad | Peter Woodfine | 2026-05-15T02:31:40+00:00 | topic(architecture): five-stage-supply-chain — circular git supply chain, double-blind air-gap, squash-merge IP transfer, repository topology | |