Tags and Properties for Check-in 9b2b188ece
- branch=trunk inherited from [7619ba9563]
- sym-trunk inherited from [7619ba9563]
Context
|
2026-08-23
| ||
| 11:08 |
caps: private tickets exist for holders of e
The edge resolved a CapSet and threw it away; it now rides the context, so an op can ask which letters the caller holds. Private tickets list, count and resolve for e, and for nobody else. One privacyWhere() so a fourth read path cannot silently ship without the clause. check-in: 9b2b188ece user: dmestas tags: trunk | |
|
2026-08-14
| ||
| 20:06 | root: RFCs, Go skeleton, ops registry core with import-graph gate check-in: 7619ba9563 user: dmestas tags: trunk | |