 jason.woltje
|
3410df7c3b
|
morgana: row 275 r3 (duckworth-0166): B1 bob asks create only, open and send on alice's own thread; N1 thread B holds a message and the viewer read asserts its id
|
2026-10-22 12:46:09 -05:00 |
|
|
jason.woltje
|
1e3db53436
|
morgana: row 275 r2 (mos-1311): downgraded viewer keeps send and open refusals with nothing stored in the R3 test; BUILD.md lists each changed assertion, old and new, with design 4.3 lines
|
2026-10-22 12:46:09 -05:00 |
|
|
jason.woltje
|
4dd85c6716
|
morgana: row 275 (193b1b, #1780): viewer verbs and board refusals. VIEWER_VERBS at any grant level, collaborator for thread.create/open/send per verb, BOARD_VERBS exported and refused to users, user-side governance pin, mutants 6 and 10; FED R3 viewer-refused assertions reversed per design 4.3
|
2026-10-22 12:46:09 -05:00 |
|