H-6819: Add status views, identities and a Kanban board to Petrinaut (experimental) - #9744

Draft

claude[bot] wants to merge 55 commits into

mainfrom

claude/h-6819-status-views

Commits on Sep 17, 2026

Add status views to the SDCPN schema, actions, and file format
claude
committed
b27380b
Add identities to the SDCPN and identityRef key markers on colour elements
claude
committed
a9da9ad
Add ticket-processing example and a status view to Production with Machine Failure
claude
committed
e0f0483
Record token values on actual-mode transition firings
claude
committed
b2649c6
Derive per-instance status and time-in-state from execution frames
claude
committed
2c70243
Add a status views authoring panel to the simulate view
claude
committed
bc68c40
Show status badges and label tinting on component-instance nodes
claude
committed
f98932c
Add a Kanban board toggle and status timing surfaces
claude
committed
761bd91
Fix machine-fleet identity keys and the stranded Kanban view mode
claude
committed
543ecdf
Make actual-mode token replay honor firing counts and never drop the wrong token
claude
committed
a4a1713
Fail closed on broken status conditions and validate status-view references
claude
committed
cdd57e2
Surface status-view failures in the UI and share one condition-compile pipeline
claude
committed
60fb28e
Drive the events status column with the shared evaluator and end replay quadratics
claude
committed
67bc06f
Cover validateStatusViewCompiles with unit tests
claude
committed
5e0019b
Keep dangling-place wording timeless
claude
committed
fb46167
Split the status-views changeset per package
claude
committed
d3b4565
Keep identities and status views when normalizing an SDCPN input
claude
committed
d83129f
Keep the Kanban board clear of the editor's overlay panels
claude
committed
a60b0b9
Polish Kanban cards and columns and deselect on board click
claude
committed
bcc772e
Give example tickets human-readable ids
claude
committed
f328d70
Cover description and metadata in normalizeSDCPN and update the GPU example matrix
claude
committed
efbd416
Gate status views behind an experimental feature flag
claude
committed
64dbfbd
Drop status view exports nothing outside their modules uses
claude
committed
e71189a
Carry the Status views section and overlay in the example URL contract
claude
committed
201c005
List the Ticket Processing example only while status views are on
claude
committed
654370a
Regenerate the protocol schema and Python models for the status-condition HIR surface
claude
committed
0bed7ed
Carry statusConditions, identities and statusViews in the CLI and API test fixtures
claude
committed
b3d4087
Sort the type imports in canvas-frame-store
claude
committed
830f97d
Move the Kanban board into the workspace view switcher
claude
committed
1329f1f

Commits on Sep 21, 2026

Merge branch 'main' into claude/h-6819-status-views
CiaranMn
authored
ee63ca7

Commits on Sep 22, 2026

Commits on Sep 23, 2026

Set the actual-mode recording version to 2
claude
committed
1e3ec20
Reject actual-mode firings that consume tokens the marking does not hold
claude
committed
5105bce
Align the Kanban status-view select with the view switcher
claude
committed
27f3189
Require actual-mode token records to carry every colour element
claude
committed
c06ad42
Replace try/finally in worked-model revision settling with Promise finally
claude
committed
20cec45
Reject token counts on actual-mode places whose colour has elements
claude
committed
80d61fa
Prune status label places that no longer resolve on every delete path

CiaranMn
and
claude
committed
a3740f7
Count each frame's Kanban condition errors once

CiaranMn
and
claude
committed
a6cddde
Drop status view tests that restate constants or repeat coverage held elsewhere

CiaranMn
and
claude
committed
3ce692d
Validate status view labels in the form with the core schema

CiaranMn
and
claude
committed
9482896
Drop core exports nothing outside the package uses

CiaranMn
and
claude
committed
456a74a

Commits on Sep 29, 2026