Repository navigation
Changed
- DevTools inspector refinement (#52; the Chrome extension renders the same component). Correctness: styled diff-table body rows, a real ARIA tablist for the value tabs, stable live regions, a height-bounded membership list, no dangling
aria-controls. The toggle shortcut is now Alt+Shift+E (the old Ctrl/Cmd+Shift+G collided with the browser's "Find previous" and fired while typing; configured legacy shortcuts keep working). Theme: one:hosttoken block (3 surface depths, amber accent, add/mod/del) overridable through--pem-devtools-*, with the existing override names honoured; dirty and error no longer share one colour;@containerlayout for docked panels; every control ≥ 32px (44px touch); contrast failures fixed. Flow: lands on the first dirty entity's diff when anything is dirty; status chips and Overview metrics are buttons; event titles name the affected identity; rewound state is visible in every workspace; Pause reads "Resume · N new". - Core devtools:
DevtoolsEventBus.destroy()keeps inactive registry entries visible togetRegisteredStores()(#49).
Registry
All 13 @prometheus-ags/* npm packages are published at 4.1.1 with latest and next pointing at it, via pnpm publish with a granular token (no provenance attestation). Published manifests are verified free of the workspace: protocol.