docs(hero_claim_format): groups.<name> always emitted; admin claim deprecated #209

Merged

lee merged 1 commit from development_lee_groups_emission into development

2026-05-05 11:19:26 +00:00

lee commented

2026-05-05 11:14:41 +00:00

Member

Drops the per-route opt-in language from §3.2 — the proxy now emits
groups.<name> for every group an authenticated user belongs to
(transitively), symmetric with users.<x>. No flag, no opt-in.

Adds §3.3 documenting the predefined admin group: seeded at startup,
membership auto-synced to users.is_admin, and groups.remove_member
guards against manual desync. The legacy admin claim is marked
DEPRECATED 2026-05; rules should match groups.admin instead.

Updates the §3.1 example to use groups.admin in place of admin.

Drops the per-route opt-in language from §3.2 — the proxy now emits `groups.<name>` for every group an authenticated user belongs to (transitively), symmetric with `users.<x>`. No flag, no opt-in. Adds §3.3 documenting the predefined `admin` group: seeded at startup, membership auto-synced to users.is_admin, and groups.remove_member guards against manual desync. The legacy `admin` claim is marked DEPRECATED 2026-05; rules should match `groups.admin` instead. Updates the §3.1 example to use groups.admin in place of admin.

lee added 1 commit

2026-05-05 11:14:41 +00:00

docs(hero_claim_format): groups.<name> always emitted; admin claim deprecated

Build and Publish Skills / build-and-publish (pull_request) Successful in 3s

Details

18abd38a23

Drops the per-route opt-in language from §3.2 — the proxy now emits
`groups.<name>` for every group an authenticated user belongs to
(transitively), symmetric with `users.<x>`. No flag, no opt-in.

Adds §3.3 documenting the predefined `admin` group: seeded at startup,
membership auto-synced to users.is_admin, and groups.remove_member
guards against manual desync. The legacy `admin` claim is marked
DEPRECATED 2026-05; rules should match `groups.admin` instead.

Updates the §3.1 example to use groups.admin in place of admin.

lee merged commit 1ec5962173 into development

2026-05-05 11:19:26 +00:00

lee referenced this pull request from a commit

2026-05-05 11:19:28 +00:00

Merge pull request 'docs(hero_claim_format): groups.<name> always emitted; admin claim deprecated' (#209) from development_lee_groups_emission into development