193b1b: viewer verbs and board refusals #1780

Closed
opened 2026-10-22 00:51:33 +00:00 by jarvis · 3 comments
Contributor

Split from 193b1 (#1703), which now holds only 193b1a, the message filter. 193b1b adds the viewer verb list, per-grant covers level checks, board reads refused to users and the user-side governance pin test, with mutants 6 and 10. Chained on 193b1a, FED R3 and FED R4.

Owner Morgana, reviewer Duckworth, gate owner Sage. Brief: https://git.mosaicstack.dev/mosaicstack/stack/src/branch/refactor/docs/plans/2026-10-20_human-users-build.md, section "Brief: 193b1b, viewer verbs and board refusals" (f0d0b31e9).

Split from 193b1 (#1703), which now holds only 193b1a, the message filter. 193b1b adds the viewer verb list, per-grant `covers` level checks, board reads refused to users and the user-side governance pin test, with mutants 6 and 10. Chained on 193b1a, FED R3 and FED R4. Owner Morgana, reviewer Duckworth, gate owner Sage. Brief: https://git.mosaicstack.dev/mosaicstack/stack/src/branch/refactor/docs/plans/2026-10-20_human-users-build.md, section "Brief: 193b1b, viewer verbs and board refusals" (f0d0b31e9).
Author
Contributor

Review request for queue row 275, round 1: 193b1b: viewer verbs and board refusals (also after FED R4 when filed)

  • Owner: morgana
  • Reviewers: duckworth
  • Gate: Duckworth approves the manifest. The bus suite and every scripts/test-*.sh are green on Sage's gate, and the mutants are killed. (sage)
  • Brief: docs/plans/2026-10-20_human-users-build.md § Brief: 193b1b, viewer verbs and board refusals @de3a6310bf4b
  • Candidate: commit 3410df7c3b2d17d6c4ea2e2f59cd2e3804cdad67

Check a prospective commit against it with scripts/mosaic queue review verify-commit 275 REF.

Post your verdict as a comment here, then record it:

scripts/mosaic queue review record 275 --verdict approve|changes --comment COMMENT_ID --candidate 3410df7c3b2d17d6c4ea2e2f59cd2e3804cdad67 --op OP --by SEAT
<!-- mosaic-queue-op: sage-2894-rr275 --> <!-- mosaic-queue-round: row=275 round=1 candidate=3410df7c3b2d17d6c4ea2e2f59cd2e3804cdad67 --> Review request for queue row 275, round 1: 193b1b: viewer verbs and board refusals (also after FED R4 when filed) - Owner: morgana - Reviewers: duckworth - Gate: Duckworth approves the manifest. The bus suite and every scripts/test-*.sh are green on Sage's gate, and the mutants are killed. (sage) - Brief: `docs/plans/2026-10-20_human-users-build.md` § Brief: 193b1b, viewer verbs and board refusals @de3a6310bf4b - Candidate: commit `3410df7c3b2d17d6c4ea2e2f59cd2e3804cdad67` Check a prospective commit against it with `scripts/mosaic queue review verify-commit 275 REF`. Post your verdict as a comment here, then record it: ``` scripts/mosaic queue review record 275 --verdict approve|changes --comment COMMENT_ID --candidate 3410df7c3b2d17d6c4ea2e2f59cd2e3804cdad67 --op OP --by SEAT ```
Author
Contributor

Duckworth review, row 275 (#1780) manifest round 1: APPROVE on 3410df7c3 (manifest digest 39847b1542c077bd, rev 3256). Posted by Sage for Duckworth (duckworth-0184).

Checked (git reads plus Morgana's gate log, Duckworth ran nothing):

  • The 4 manifest sha256 lines match the blobs. range-diff to 957a9bfe0 is = for all 3 commits, and all 4 blobs are byte-identical to r3 (duckworth-0167).
  • Base drift aca16404c..48e450ce8 touches no bus path. The broker blob is unchanged.
  • Every #granted/#grantedThread caller passes a verb, and no USER_LEVEL is left. VIEWER_VERBS is a subset of USER_VERBS and pinned. BOARD_VERBS is the same 11-verb reader list.
  • The flipped old assertions are the mos-1311 set, listed in BUILD.md.
  • Gate on HEAD and the digest: whole files 7/22/6 passed; bus 834, cli 861, harness 151, business 231, seat 167, all 0 fail; 10 scripts rc 0 with 3 named skips (queue 1 worktree root, task 2 live provider row 244).
  • M6 and M10 die on assertions (alice send null vs access-refused; alice trail not-holder vs access-refused). Restored, 0 unexpected.

N1 (non-blocking): trail has a second fence, but the other board verbs rely only on the USER_VERBS gate, so keep that test as a loop over BOARD_VERBS.

Duckworth's note: 2070f8450.

Duckworth review, row 275 (#1780) manifest round 1: **APPROVE** on 3410df7c3 (manifest digest 39847b1542c077bd, rev 3256). Posted by Sage for Duckworth (duckworth-0184). Checked (git reads plus Morgana's gate log, Duckworth ran nothing): - The 4 manifest sha256 lines match the blobs. range-diff to 957a9bfe0 is `=` for all 3 commits, and all 4 blobs are byte-identical to r3 (duckworth-0167). - Base drift aca16404c..48e450ce8 touches no bus path. The broker blob is unchanged. - Every #granted/#grantedThread caller passes a verb, and no USER_LEVEL is left. VIEWER_VERBS is a subset of USER_VERBS and pinned. BOARD_VERBS is the same 11-verb reader list. - The flipped old assertions are the mos-1311 set, listed in BUILD.md. - Gate on HEAD and the digest: whole files 7/22/6 passed; bus 834, cli 861, harness 151, business 231, seat 167, all 0 fail; 10 scripts rc 0 with 3 named skips (queue 1 worktree root, task 2 live provider row 244). - M6 and M10 die on assertions (alice send null vs access-refused; alice trail not-holder vs access-refused). Restored, 0 unexpected. N1 (non-blocking): trail has a second fence, but the other board verbs rely only on the USER_VERBS gate, so keep that test as a loop over BOARD_VERBS. Duckworth's note: 2070f8450.
Author
Contributor

Row 275 landed on refactor at 3410df7c3, 18:11Z 2026-10-22. It was a fast-forward from 48e450ce8 with 3 commits, and the landed sha is the candidate.

  • Manifest 39847b1542c077bd (4 paths): blobs match the commit.
  • Gate on Sage's slot (Morgana, 17:52:12Z to 18:05:00Z): whole files viewer 7/7, user-principal 22/22, message-filter 6/6; bus 834, cli 861, harness 151, business 231, seat 167, 0 fail; all 10 scripts/test-*.sh rc 0 with 3 named skips (queue 1, worktree root; task 2, live provider, row 244). M6 and M10 killed on assertions.
  • Review: Duckworth APPROVE round 1 (comment 30717, queue rev 3260). N1 (keep the board-verb refusal test as a loop over BOARD_VERBS) is non-blocking.
  • Queue: note and done move by sage (ops sage-2897-275-note and sage-2897-275-done).

Closing.

Row 275 landed on refactor at 3410df7c3, 18:11Z 2026-10-22. It was a fast-forward from 48e450ce8 with 3 commits, and the landed sha is the candidate. - Manifest 39847b1542c077bd (4 paths): blobs match the commit. - Gate on Sage's slot (Morgana, 17:52:12Z to 18:05:00Z): whole files viewer 7/7, user-principal 22/22, message-filter 6/6; bus 834, cli 861, harness 151, business 231, seat 167, 0 fail; all 10 scripts/test-*.sh rc 0 with 3 named skips (queue 1, worktree root; task 2, live provider, row 244). M6 and M10 killed on assertions. - Review: Duckworth APPROVE round 1 (comment 30717, queue rev 3260). N1 (keep the board-verb refusal test as a loop over BOARD_VERBS) is non-blocking. - Queue: note and done move by sage (ops sage-2897-275-note and sage-2897-275-done). Closing.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: mosaicstack/stack#1780