feat(live_session_card): composite canonical widget Stage 1-4 (:workflow_progress_and_status family)

[ty13r]

Summary (DRAFT — Pascal-review required)

Phase 41 PR 41.8 — adds :live_session_card as a NEW COMPOSITE canonical widget in family :workflow_progress_and_status. Stage 1-4 of the canonical-widget pipeline; Stage 5 (AshUI Screen DSL adoption) and PR 41.10 coexistence merge wiring deferred.

This is the centerpiece of Phase 41's chat surface — the only collapsed view for actively-running bound sessions. Composite shape with meters + NOW STREAMING + RECENT list + Pin/Interrupt actions.

Implementation

Stage 1 — UnifiedUi catalog + DSL entity:

• packages/unified_ui/lib/unified_ui/widget_components.ex — register :live_session_card with family: :workflow_progress_and_status
• packages/unified_ui/lib/unified_ui/dsl/entities/widget_components.ex — DSL leaf

Stage 2 — UnifiedIUR constructor + validation:

• packages/unified_iur/lib/unified_iur/widgets/components.ex — live_session_card/1 constructor; deterministic synthetic id live_session:<session_id>:<status_version> enforced
• packages/unified_iur/lib/unified_iur/validate.ex — :invalid_live_session_card with full coverage (uuid format, non-blank, status forced :running, status_version int, meters non-negative int, started_at, recent_events ≤5 cap, per-event shape, pinned? bool, actions)

Stage 3 — LiveUi Phoenix.Component:

• packages/live_ui/lib/live_ui/widgets/live_session_card.ex — composite component with aria-live="polite" + aria-atomic="true" on NOW STREAMING area, aria-pressed reflecting pinned? on Pin button, <ol aria-label> for recent events, role="status" badge, <time datetime> with live duration_label/1
• packages/live_ui/lib/live_ui/renderer.ex — dedicated :live_session_card clause placed before generic fallback

Stage 4 — Adapter routings + family aggregation:

• lib/ash_ui/rendering/iur_adapter.ex — canonical IUR path; element_id_for_kind(:live_session_card, ...) constructs synthetic id consistently with constructor
• lib/ash_ui/rendering/live_ui_adapter.ex — string-HTML fallback with parity-aligned aria-label state + duration label (porting adapter_duration_label/1)
• packages/live_ui/lib/live_ui/widgets/workflow_progress_and_status.ex — LiveSessionCard added to @modules

Spec ref (ariston-ui)

• .spec/specs/canonical_widget_live_session_card.spec.md
• ADR-0044 §"PR 8 — live_session_card"

Spec ↔ implementation reconciliation needed (Pascal): spec lists props as session_handle, nested meters map, expanded? state. Implementation matches the orchestrator brief: flat meter fields (tools_count/edits_count/tokens_consumed), action events pin_toggled/interrupted/expanded_recent, no session_handle. The brief contract is the working model for Phase 41; recommend amending the spec rather than re-shaping the widget.

Test plan

• IUR constructor: happy path + invalid-payload rejections (14+ invariants)
• Deterministic synthetic id: constructor + adapter + validator three-way consistency
• LiveUi.Widgets.LiveSessionCard render: status badge / meters / NOW STREAMING with aria-live / RECENT list capped at 5 / Pin aria-pressed / Interrupt actions
• Both adapter dispatch tests (canonical IUR path + string-HTML fallback)
• aria-label parity: Phoenix.Component + adapter both flip Pin↔Unpin with pinned?
• Duration label parity: both compute from started_at

269 tests, 0 failures (8 widget + 6 IUR + 50 adapter + existing).

Reviews

• Codex implementer: 1 round, no WIP. 20 source files, 1593 insertions.
• Opus Max independent review: APPROVE for DRAFT. No P1. 2 P2s fixed inline post-review (adapter Pin aria-label state + adapter duration label).

Deferred P3 follow-ons

• CSS asset at assets/css/widgets/live_session_card.css not present (DRAFT acceptable).
• Adapter time element's datetime attribute uses raw started_at without ISO-8601 normalization.
• tokens_consumed cardinality not bounded — operator-display sanity caps for Pascal to decide.

Notes for Pascal

• Composite-widget pattern: second composite in :workflow_progress_and_status (after workflow_progress_status_card). Both follow same nested-attribute pattern (attributes.live_session.* vs attributes.subject.*). Composite is cleanly bounded.
• Deterministic synthetic id is the key correctness invariant for PR 41.10's coexistence merge — constructor (IURComponents.live_session_card/1), adapter (element_id_for_kind/2), and validator (validate.ex) all construct/check identically.
• Spec ↔ implementation drift — see above. Recommend amending spec to match working model.

Generated with Claude Code