FE-756: petrinaut product walkthrough

[alex-e-leon]

🌟 What is the purpose of this PR?

Adds a product walkthrough to the petrinaut website. The logic for the new walkthrough lives inside the petrinaut library so that it can be kept in sync with any changes to the petrinaut ui and/or interact with other modals - however the content (copy + any video animations + their urls) is passed in by the consuming application by including the WalkthroughProvider - not including a walkthrough provider means that no preview will be rendered.

We track whether the user has seen the walkthrough in its own localstorage variable rather than the userSettings variable in order to keep the data better co-located with the context + provider and avoid situations where a provider is added in the wrong order.

The animations in this PR are not final yet, and still need polish @kube has graciously offered to record the experiments animation over the weekend. Will update the PR once they are done.

Pre-Merge Checklist 🚀

🚢 Has this modified a publishable library?

This PR:

• does not modify any publishable blocks or libraries, or modifications do not need publishing

📜 Does this require a change to the docs?

The changes in this PR:

• are internal and do not require a docs change

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
hash	Ready	Preview, Comment	May 31, 2026 2:12pm
hashdotdesign-tokens	Ready	Preview, Comment	May 31, 2026 2:12pm
petrinaut	Ready	Preview, Comment	May 31, 2026 2:12pm

[cursor]

PR Summary

Low Risk
Onboarding UI and user-settings flag only; no auth, simulation core, or data-path changes beyond persisted UI preference.

Overview
Adds an optional, embedder-driven product walkthrough to @hashintel/petrinaut: consumers pass step content (copy + video URLs) via WalkthroughProvider; without a provider or with empty steps, no tour UI appears. The library ships a multi-step WalkthroughDialog (video, navigation, skip/docs) wired into the editor, exports walkthrough APIs from @hashintel/petrinaut/ui, and tracks open/closed state with new isWalkthroughOpen in persisted user settings (defaults open on first visit). While the tour is visible, the empty-canvas AI promo is suppressed so modals do not stack.

The petrinaut website enables the tour with three app-specific steps and demo videos, and updates favicon/PWA assets (site.webmanifest, icon links).

^{Reviewed by Cursor Bugbot for commit d1ced95. Bugbot is set up for automated code reviews on this repo. Configure here.}

[augmentcode]

🤖 Augment PR Summary

Summary: This PR adds a first-visit product walkthrough (“tour”) to the Petrinaut website/editor.

Changes:

• Wraps the Petrinaut website’s <Petrinaut /> instance with a new <WalkthroughProvider /> and supplies host-owned walkthrough step content.
• Adds walkthrough step definitions (copy + video metadata) plus bundled MP4 demo videos to the petrinaut-website app.
• Introduces a new walkthrough module in @hashintel/petrinaut/ui: context types, provider (localStorage-backed “has seen” state), and an Ark UI-based dialog.
• Adds a Storybook story to exercise the walkthrough dialog in isolation.
• Exports walkthrough APIs from the UI package index and mounts <WalkthroughDialog /> in EditorView so it can render when a provider is present.

Technical Notes: The walkthrough auto-opens on first visit (tracked via a dedicated localStorage key) and is designed so embedders provide content via steps rather than baking copy/media into the library.

_{🤖 Was this summary useful? React with 👍 or 👎}

[augmentcode]

Review completed. 3 suggestions posted.

Comment augment review to trigger a new review at any time.

[kube]

Beautiful, just a comment on the LocalStorage usage.

See the output of git range-diff at https://github.com/hashintel/hash/actions/runs/26683862492

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 6358594. Configure here.}