Add app home Spaces shell and session diagnostics profile menu

Post-login lands on Spaces empty state instead of a principal dump.
Profile menu exposes Session details with identity, tenant, roles/groups,
and authz diagnostics for operator refinement (CSOC-WP-0004 T01/T07).
This commit is contained in:
tegwick 2026-08-11 02:31:55 +02:00
parent 8169102866
commit 422cd613f6
10 changed files with 404 additions and 88 deletions

View file

@ -1,10 +1,16 @@
from django.conf import settings
from coulomb_social.apps.core.principal import display_name_for
def site_context(request):
return {
ctx = {
"site_name": "coulomb.social",
"default_tenant_id": settings.DEFAULT_TENANT_ID,
"oidc_enabled": settings.OIDC_ENABLED,
"registration_enabled": bool(settings.NETKINGDOM_REGISTRATION_URL),
"nav_display_name": "",
}
if getattr(request, "user", None) is not None and request.user.is_authenticated:
ctx["nav_display_name"] = display_name_for(request)
return ctx

View file

@ -0,0 +1,75 @@
"""Build principal/session diagnostic dicts for templates (no secrets)."""
from __future__ import annotations
from typing import Any
from django.http import HttpRequest
from coulomb_social.apps.identity import flex_auth
def display_name_for(request: HttpRequest) -> str:
member = getattr(request.user, "member", None)
if member and member.display_name:
return member.display_name
return request.user.get_full_name() or request.user.get_username()
def build_principal(request: HttpRequest, *, authz_resource_id: str = "app_home") -> dict[str, Any]:
"""Principal card fields + optional session claim diagnostics."""
member = getattr(request.user, "member", None)
subject = member.subject if member else request.user.get_username()
tenant = member.tenant_id if member else ""
decision = flex_auth.check(
"shell:view",
resource="shell",
resource_id=authz_resource_id,
subject=subject,
tenant=tenant,
attributes={
"issuer": member.issuer if member else "",
"user_engine_user_id": str(member.user_engine_user_id) if member else "",
},
)
groups = request.session.get("identity_groups") or []
roles = request.session.get("identity_roles") or []
assurance = request.session.get("identity_assurance") or {}
return {
"username": request.user.get_username(),
"display_name": display_name_for(request),
"email": (member.email if member else "") or request.user.email or "",
"issuer": member.issuer if member else "",
"subject": member.subject if member else "",
"user_engine_user_id": str(member.user_engine_user_id) if member else "",
"tenant_id": member.tenant_id if member else "",
"user_engine_source": request.session.get("user_engine_source", ""),
"principal_type": request.session.get("identity_principal_type", "") or "",
"groups": groups,
"roles": roles,
"groups_display": ", ".join(str(g) for g in groups) if groups else "",
"roles_display": ", ".join(str(r) for r in roles) if roles else "",
"assurance": assurance,
"assurance_display": _format_assurance(assurance),
"authz_decision_id": decision.decision_id,
"authz_reason": decision.reason,
"authz_allow": decision.allow,
"member": member,
"decision": decision,
}
def _format_assurance(assurance: dict[str, Any]) -> str:
if not assurance:
return ""
aal = assurance.get("aal") or assurance.get("acr") or ""
methods = assurance.get("methods") or []
mfa = assurance.get("mfa")
parts: list[str] = []
if aal:
parts.append(str(aal))
if methods:
parts.append("methods=" + ",".join(str(m) for m in methods))
if mfa is not None:
parts.append(f"mfa={mfa}")
return "; ".join(parts) if parts else str(assurance)

View file

@ -7,4 +7,5 @@ app_name = "core"
urlpatterns = [
path("", views.landing, name="landing"),
path("app/", views.app_home, name="app_home"),
path("account/session/", views.account_session, name="account_session"),
]

View file

@ -1,61 +1,51 @@
from django.contrib.auth.decorators import login_required
from django.http import HttpRequest, HttpResponse, HttpResponseForbidden, JsonResponse
from django.shortcuts import render
from django.shortcuts import redirect, render
from coulomb_social.apps.identity import flex_auth
from .principal import build_principal
def landing(request: HttpRequest) -> HttpResponse:
if request.user.is_authenticated:
from django.shortcuts import redirect
return redirect("core:app_home")
return render(request, "core/landing.html")
@login_required
def app_home(request: HttpRequest) -> HttpResponse:
member = getattr(request.user, "member", None)
subject = member.subject if member else request.user.get_username()
tenant = member.tenant_id if member else ""
decision = flex_auth.check(
"shell:view",
resource="shell",
resource_id="app_home",
subject=subject,
tenant=tenant,
attributes={
"issuer": member.issuer if member else "",
"user_engine_user_id": str(member.user_engine_user_id) if member else "",
},
)
if not decision.allow:
principal = build_principal(request, authz_resource_id="app_home")
if not principal["authz_allow"]:
return HttpResponseForbidden(
f"Not authorized to view shell ({decision.reason})."
f"Not authorized to view shell ({principal['authz_reason']})."
)
# Spaces list is empty until CSOC-WP-0004-T02; keep the product empty-state.
spaces: list[dict] = []
return render(
request,
"core/app_home.html",
{
"member": member,
"principal": {
"username": request.user.get_username(),
"display_name": (
member.display_name
if member and member.display_name
else request.user.get_full_name() or request.user.get_username()
),
"issuer": member.issuer if member else "",
"subject": member.subject if member else "",
"user_engine_user_id": (
str(member.user_engine_user_id) if member else ""
),
"tenant_id": member.tenant_id if member else "",
"user_engine_source": request.session.get("user_engine_source", ""),
"authz_decision_id": decision.decision_id,
"authz_reason": decision.reason,
},
"principal": principal,
"display_name": principal["display_name"],
"spaces": spaces,
},
)
@login_required
def account_session(request: HttpRequest) -> HttpResponse:
"""Principal / session diagnostics (profile menu → T07)."""
principal = build_principal(request, authz_resource_id="account_session")
if not principal["authz_allow"]:
return HttpResponseForbidden(
f"Not authorized to view session details ({principal['authz_reason']})."
)
return render(
request,
"core/account_session.html",
{
"principal": principal,
"display_name": principal["display_name"],
},
)

View file

@ -59,9 +59,13 @@ def establish_session(request: HttpRequest, claims: IdentityClaims) -> Member:
member.last_login_at = timezone.now()
member.save()
# Stash provenance for debugging shell (no secrets)
# Stash non-secret claim provenance for account diagnostics (T07)
request.session["user_engine_source"] = link.source
request.session["user_engine_user_id"] = link.user_id
request.session["identity_groups"] = list(claims.groups)
request.session["identity_roles"] = list(claims.roles)
request.session["identity_principal_type"] = claims.principal_type or "human"
request.session["identity_assurance"] = dict(claims.assurance or {})
login(request, user, backend="django.contrib.auth.backends.ModelBackend")
return member

View file

@ -20,15 +20,36 @@
color: var(--color-text);
line-height: 1.5;
}
header {
header.app-header {
display: flex;
justify-content: space-between;
align-items: center;
padding: 1rem 1.5rem;
gap: 1rem;
padding: 0.85rem 1.5rem;
border-bottom: 1px solid #e5e5e5;
}
header a { color: inherit; text-decoration: none; font-weight: 600; }
main { max-width: 48rem; margin: 0 auto; padding: 2.5rem 1.5rem; }
header.app-header a.brand {
color: inherit;
text-decoration: none;
font-weight: 600;
white-space: nowrap;
}
header .nav-main {
display: flex;
align-items: center;
gap: 1rem;
flex: 1;
margin-left: 1.5rem;
}
header .nav-main a {
color: var(--color-muted);
text-decoration: none;
font-weight: 500;
font-size: 0.95rem;
}
header .nav-main a:hover,
header .nav-main a.active { color: var(--color-text); }
header .nav-end { display: flex; align-items: center; gap: 0.75rem; }
.btn {
display: inline-block;
padding: 0.75rem 1.25rem;
@ -42,6 +63,7 @@
cursor: pointer;
}
.btn.secondary { background: #171717; }
.btn.small { padding: 0.4rem 0.85rem; font-size: 0.9rem; }
.muted { color: var(--color-muted); }
.card {
border: 1px solid #e5e5e5;
@ -59,22 +81,88 @@
border: 1px solid #ccc;
border-radius: 6px;
}
dl { display: grid; grid-template-columns: 10rem 1fr; gap: 0.35rem 1rem; }
dl { display: grid; grid-template-columns: 11rem 1fr; gap: 0.35rem 1rem; }
dt { color: var(--color-muted); }
dd { margin: 0; word-break: break-all; }
main { max-width: 48rem; margin: 0 auto; padding: 2.5rem 1.5rem; }
/* Profile menu */
.profile-menu { position: relative; }
.profile-menu > summary {
list-style: none;
cursor: pointer;
display: inline-flex;
align-items: center;
gap: 0.4rem;
padding: 0.4rem 0.75rem;
border: 1px solid #e5e5e5;
border-radius: 999px;
font-weight: 600;
font-size: 0.9rem;
user-select: none;
}
.profile-menu > summary::-webkit-details-marker { display: none; }
.profile-menu > summary:hover { border-color: #ccc; }
.profile-menu[open] > summary { border-color: var(--color-primary); }
.profile-menu .menu-panel {
position: absolute;
right: 0;
top: calc(100% + 0.35rem);
min-width: 14rem;
background: #fff;
border: 1px solid #e5e5e5;
border-radius: var(--radius);
box-shadow: 0 8px 24px rgba(0,0,0,0.08);
padding: 0.4rem 0;
z-index: 40;
}
.profile-menu .menu-panel a,
.profile-menu .menu-panel button {
display: block;
width: 100%;
text-align: left;
padding: 0.55rem 1rem;
border: none;
background: none;
font: inherit;
color: inherit;
text-decoration: none;
cursor: pointer;
}
.profile-menu .menu-panel a:hover,
.profile-menu .menu-panel button:hover { background: #f5f5f5; }
.profile-menu .menu-meta {
padding: 0.5rem 1rem 0.35rem;
font-size: 0.8rem;
color: var(--color-muted);
border-bottom: 1px solid #f0f0f0;
margin-bottom: 0.25rem;
}
</style>
{% block extra_head %}{% endblock %}
</head>
<body>
<header>
<a href="{% url 'core:landing' %}">{{ site_name }}</a>
<nav>
{% if user.is_authenticated %}
<a class="btn secondary" href="{% url 'identity:logout' %}">Sign out</a>
{% else %}
<a class="btn" href="{% url 'identity:login' %}">Sign in</a>
{% endif %}
</nav>
<header class="app-header">
<a class="brand" href="{% if user.is_authenticated %}{% url 'core:app_home' %}{% else %}{% url 'core:landing' %}{% endif %}">{{ site_name }}</a>
{% if user.is_authenticated %}
<nav class="nav-main" aria-label="Main">
<a href="{% url 'core:app_home' %}" {% if request.resolver_match.url_name == 'app_home' %}class="active"{% endif %}>Spaces</a>
</nav>
<div class="nav-end">
<details class="profile-menu">
<summary title="Account menu">{{ nav_display_name|default:user.get_username }}</summary>
<div class="menu-panel" role="menu">
<div class="menu-meta">Signed in</div>
<a href="{% url 'core:account_session' %}" role="menuitem">Session details</a>
<a href="{% url 'identity:logout' %}" role="menuitem">Sign out</a>
</div>
</details>
</div>
{% else %}
<div class="nav-end">
<a class="btn small" href="{% url 'identity:login' %}">Sign in</a>
</div>
{% endif %}
</header>
<main>
{% if messages %}

View file

@ -0,0 +1,52 @@
{% extends "base.html" %}
{% block title %}Session details — {{ site_name }}{% endblock %}
{% block content %}
<p class="muted" style="margin:0 0 0.5rem;">
<a href="{% url 'core:app_home' %}">← Spaces</a>
</p>
<h1>Session details</h1>
<p class="muted">
Identity and authorization diagnostics for refining user, group, role,
and tenant management. No secrets are shown.
</p>
<div class="card">
<h2 style="margin-top:0;">Identity</h2>
<dl>
<dt>Display name</dt><dd>{{ principal.display_name }}</dd>
<dt>Username</dt><dd>{{ principal.username }}</dd>
<dt>Email</dt><dd>{{ principal.email|default:"—" }}</dd>
<dt>Issuer</dt><dd>{{ principal.issuer|default:"—" }}</dd>
<dt>Subject</dt><dd>{{ principal.subject|default:"—" }}</dd>
<dt>Principal type</dt><dd>{{ principal.principal_type }}</dd>
</dl>
</div>
<div class="card">
<h2 style="margin-top:0;">Platform user</h2>
<dl>
<dt>user-engine id</dt><dd>{{ principal.user_engine_user_id|default:"—" }}</dd>
<dt>user-engine source</dt><dd>{{ principal.user_engine_source|default:"—" }}</dd>
</dl>
</div>
<div class="card">
<h2 style="margin-top:0;">Tenancy, roles &amp; groups</h2>
<dl>
<dt>Tenant</dt><dd>{{ principal.tenant_id|default:"—" }}</dd>
<dt>Roles</dt><dd>{{ principal.roles_display }}</dd>
<dt>Groups</dt><dd>{{ principal.groups_display }}</dd>
<dt>Assurance</dt><dd>{{ principal.assurance_display }}</dd>
</dl>
</div>
<div class="card">
<h2 style="margin-top:0;">Authorization</h2>
<dl>
<dt>Shell check</dt>
<dd>{% if principal.authz_allow %}allow{% else %}deny{% endif %}</dd>
<dt>Reason</dt><dd>{{ principal.authz_reason }}</dd>
<dt>Decision id</dt><dd>{{ principal.authz_decision_id }}</dd>
</dl>
</div>
{% endblock %}

View file

@ -1,19 +1,28 @@
{% extends "base.html" %}
{% block title %}Home — {{ site_name }}{% endblock %}
{% block title %}Spaces — {{ site_name }}{% endblock %}
{% block content %}
<h1>Signed in</h1>
<p class="muted">Authenticated shell (CSOC-WP-0002). Content surfaces come later.</p>
<div class="card">
<h2 style="margin-top:0;">Principal</h2>
<dl>
<dt>Display name</dt><dd>{{ principal.display_name }}</dd>
<dt>Username</dt><dd>{{ principal.username }}</dd>
<dt>Tenant</dt><dd>{{ principal.tenant_id }}</dd>
<dt>Issuer</dt><dd>{{ principal.issuer }}</dd>
<dt>Subject</dt><dd>{{ principal.subject }}</dd>
<dt>user-engine id</dt><dd>{{ principal.user_engine_user_id }}</dd>
<dt>user-engine source</dt><dd>{{ principal.user_engine_source|default:"—" }}</dd>
<dt>authz</dt><dd>{{ principal.authz_reason }} <span class="muted">({{ principal.authz_decision_id }})</span></dd>
</dl>
</div>
<h1>Spaces</h1>
<p class="muted">
Co-creation spaces for your tenant.
Content will live as markdown in Forgejo-backed repositories.
</p>
{% if spaces %}
<ul class="space-list" style="list-style:none;padding:0;margin:1.5rem 0 0;">
{% for space in spaces %}
<li class="card" style="margin-top:0.75rem;">
<strong>{{ space.title }}</strong>
<span class="muted"> · {{ space.slug }}</span>
</li>
{% endfor %}
</ul>
{% else %}
<div class="card">
<h2 style="margin-top:0;">No spaces yet</h2>
<p class="muted" style="margin-bottom:0;">
Spaces and Forgejo-backed content land in the next steps
(CSOC-WP-0004-T02+). Use the profile menu for session diagnostics.
</p>
</div>
{% endif %}
{% endblock %}

View file

@ -38,7 +38,7 @@ def test_app_home_requires_login(client):
@pytest.mark.django_db
def test_dev_login_establishes_member_and_shell(client, settings):
def test_dev_login_lands_on_app_home_not_principal_dump(client, settings):
settings.DEBUG = True
settings.OIDC_ENABLED = False
@ -63,8 +63,45 @@ def test_dev_login_establishes_member_and_shell(client, settings):
home = client.get(reverse("core:app_home"))
assert home.status_code == 200
assert b"Spaces" in home.content
assert b"No spaces yet" in home.content
# Principal dump moved off the home body
assert b"user-engine id" not in home.content
assert b"sub-abc" not in home.content
# Profile chrome shows display name
assert b"Ada Lovelace" in home.content
assert b"sub-abc" in home.content
assert b"Session details" in home.content
@pytest.mark.django_db
def test_account_session_shows_principal_diagnostics(client, settings):
settings.DEBUG = True
settings.OIDC_ENABLED = False
client.post(
reverse("identity:dev_login"),
{
"subject": "sub-diag",
"issuer": "https://local.dev/issuer",
"name": "Diag User",
"email": "diag@example.com",
},
)
r = client.get(reverse("core:account_session"))
assert r.status_code == 200
assert b"Session details" in r.content
assert b"sub-diag" in r.content
assert b"Diag User" in r.content
assert b"user-engine id" in r.content
assert b"Tenant" in r.content
assert b"Roles" in r.content
assert b"Groups" in r.content
@pytest.mark.django_db
def test_account_session_requires_login(client):
r = client.get(reverse("core:account_session"))
assert r.status_code == 302
assert reverse("identity:login") in r["Location"]
@pytest.mark.django_db
@ -75,7 +112,6 @@ def test_establish_session_idempotent(client, settings):
email="x@example.com",
name="Once",
)
# Use request factory via client session by posting twice
settings.DEBUG = True
settings.OIDC_ENABLED = False
client.post(

View file

@ -9,6 +9,7 @@ owner: bernd
topic_slug: coulomb-social
created: "2026-08-10"
updated: "2026-08-10"
# note: T07 added same day — principal diagnostics via profile menu
depends_on:
- CSOC-WP-0002
related:
@ -16,6 +17,7 @@ related:
- CSOC-WP-0003
origin: operator
origin_ref: session-2026-08-10-parallel-host-product-path
state_hub_workstream_id: "d10427aa-02d9-4ec9-a466-d7cdb1a9167e"
---
# CSOC-WP-0004 — App shell entry and Forgejo-backed space content
@ -49,27 +51,33 @@ Migration of all Bubble spaces is **explicitly later** (`CSOC-WP-0001`).
```task
id: CSOC-WP-0004-T01
status: todo
status: done
priority: high
state_hub_task_id: "7cce67c0-6234-4ef4-ad67-de952f5f4519"
```
Replace the dead-end “Signed in / Principal” page as the primary post-login
destination with an **app home** that a member can use:
- Clear primary navigation: Spaces (and placeholders for later surfaces).
- Principal summary available but secondary (account menu or `/account/`).
- Compact account control (display name / avatar) opening a **profile menu**
(full principal diagnostics live under **T07**, not on the home body).
- Empty state when the member has no spaces yet (“Create space” or “No spaces”).
- `LOGIN_REDIRECT_URL` and templates updated; design-extract tokens only as needed.
**Done when:** after OIDC login on app.coulomb.social, tegwick lands on app home
(not a debug-only principal card) and can navigate without guessing URLs.
2026-08-11: App home is Spaces empty state; header nav + profile menu; principal
dump removed from home body. Deploy with next image for app.coulomb.social.
## T02 — Space domain model (metadata, tenant-keyed)
```task
id: CSOC-WP-0004-T02
status: todo
priority: high
state_hub_task_id: "5fd91718-151d-4216-acf2-2104a45cddf9"
```
Introduce `Space` (name pending Bubble vocabulary alignment) as application
@ -90,6 +98,7 @@ tenant isolation basics.
id: CSOC-WP-0004-T03
status: todo
priority: high
state_hub_task_id: "628243e0-732f-42c1-b4e3-9b8cd82ea530"
```
Write `docs/adr/ADR-0002-space-content-forgejo-markdown.md` deciding:
@ -110,6 +119,7 @@ and linked from INTENT/SCOPE.
id: CSOC-WP-0004-T04
status: todo
priority: high
state_hub_task_id: "77fa3454-6f2e-4a76-8a0c-ff7e13ca4b6a"
```
Implement a vertical slice:
@ -128,6 +138,7 @@ markdown sourced from Forgejo (not Bubble).
id: CSOC-WP-0004-T05
status: todo
priority: medium
state_hub_task_id: "30ed5def-2718-4379-834c-920e751e4d0b"
```
Minimal authoring or sync so content is not read-only forever:
@ -146,36 +157,80 @@ and (if in-app write exists) a save produces a commit without secrets in git.
id: CSOC-WP-0004-T06
status: todo
priority: medium
state_hub_task_id: "40a880d0-62b9-4ae4-ab3e-074e8901462a"
```
Document operator steps: create Forgejo org/repo, bind space, credentials env
names, smoke checklist on app.coulomb.social. Update `docs/deploy.md` and
`docs/identity/smoke.md` pointers as needed.
## T07 — Principal diagnostics via user profile menu
```task
id: CSOC-WP-0004-T07
status: done
priority: high
```
Keep the current principal card fields available as **detail information**
reachable from the **user profile menu** in the app chrome (not as the primary
post-login page body). Purpose: refine and diagnose identity wiring during
ongoing user, group, role, and tenant management work.
Include at least the present shell fields (and extend as claims become available):
| Area | Examples |
|------|----------|
| Identity | display name, username, issuer, subject |
| Platform user | user-engine id, user-engine source |
| Tenancy | tenant id / claims |
| Roles & groups | OIDC/groups/roles claims when present |
| Authz | flex-auth / shell decision reason + decision id |
| Session | assurance / AAL hints when present |
UX:
- Profile menu entry e.g. **Account** / **Session details** / **Identity**
- Detail view at a stable path (e.g. `/account/` or `/account/session/`)
- Readable for operators; no secrets (tokens, proxy secrets) ever rendered
- Sign out remains on the menu
**Done when:** after T01 app chrome exists, tegwick can open the profile menu →
principal/session detail page and see the same diagnostic surface formerly on
the signed-in card, without that card being the home page.
Ship with or immediately after **T01** (same PR is fine).
2026-08-11: `/account/session/` holds principal diagnostics (identity, UE,
tenant, roles/groups, assurance, authz). Profile menu → **Session details**.
Session stashes groups/roles/assurance at login (no secrets).
---
## Sequencing
```text
T01 app home entry
└─► T02 Space metadata
└─► T03 content ADR
└─► T04 read path (MVP value)
├─► T05 write/sync
└─► T06 runbook
T01 app home entry ──┬─► T07 profile menu principal diagnostics
└─► T02 Space metadata
└─► T03 content ADR
└─► T04 read path (MVP value)
├─► T05 write/sync
└─► T06 runbook
```
T01 can ship alone to fix the “stuck on login confirmation” UX immediately.
T03 should land before large T04 investment if write-model choices are unclear;
a **provisional** ADR is enough to start T04 against a single seed repo.
T01 (+ T07) can ship alone to fix the “stuck on login confirmation” UX while
keeping identity diagnostics one click away. T03 should land before large T04
investment if write-model choices are unclear; a **provisional** ADR is enough
to start T04 against a single seed repo.
## Acceptance (workplan)
1. Post-login journey is product-shaped (app home + spaces), not identity-debug-only.
2. Spaces exist as tenant-keyed app records.
3. Space page content is markdown backed by Forgejo with a working read path.
4. Bubble migration is still not required for demos on app.coulomb.social.
5. CSOC-WP-0001 can map Bubble pages onto the ADR layout when migration starts.
2. Principal/session diagnostics remain available from the user profile menu (T07).
3. Spaces exist as tenant-keyed app records.
4. Space page content is markdown backed by Forgejo with a working read path.
5. Bubble migration is still not required for demos on app.coulomb.social.
6. CSOC-WP-0001 can map Bubble pages onto the ADR layout when migration starts.
## Related