FE-1601: Clarify saved settings defaults

.changeset/ad-hoc-value-errors.md

@@ -0,0 +1,5 @@
+---
+"@hashintel/petrinaut": patch
+---
+
+Improve scenario and experiment forms with keyboard navigation, stacked section headers, overlay scrollbars, default starting-place filtering with a compact toggle beside the section title, and source expressions over selected computed values. Align the Time Step label and info icon, align token totals with place headers, keep select chevrons inside spreadsheet cells, and keep validation errors visible while editing ad-hoc values.

.changeset/clear-code-editor-guide.md

@@ -0,0 +1,5 @@
+---
+"@hashintel/petrinaut-core": patch
+---
+
+Make the code editor guide available to the in-app assistant.

.changeset/editable-example-scenarios.md

@@ -0,0 +1,5 @@
+---
+"@hashintel/petrinaut-core": patch
+---
+
+Make bundled example scenarios editable in the ad-hoc scenario form while preserving their parameters and initial states.

.changeset/experiment-interval-feedback.md

@@ -0,0 +1,5 @@
+---
+"@hashintel/petrinaut": patch
+---
+
+Offer GPU compute, parameter sweeps, and in-browser optimization without feature flags, with automatic metric names, grouped constraints that accept state expressions, keyboard controls, and explicit optimizer startup. Simplify results with manual optimizer controls, compact details, single-value parameter sliders, and sensitivity estimates ordered by importance.

.changeset/experiment-settings-guide.md

@@ -0,0 +1,5 @@
+---
+"@hashintel/petrinaut-core": patch
+---
+
+Accept state constraint expressions without an explicit return while preserving existing code bodies. Update the assistant's guide summaries for experiment controls and settings available without simulation feature flags.

.changeset/property-checkbox-spacing.md

@@ -0,0 +1,5 @@
+---
+"@hashintel/petrinaut": patch
+---
+
+Polish properties panels with readable, clickable checkbox labels, animated capacity options, a single equation link, consistent fields, and clearer section controls and dividers.

.changeset/routed-simulation-panels.md

@@ -0,0 +1,5 @@
+---
+"@hashintel/petrinaut": patch
+---
+
+Add resizable, routed Experiment and Scenario panels with keyboard selection and fullscreen views that keep the tabs and AI assistant accessible.

.changeset/simulation-panel-guidance.md

@@ -0,0 +1,5 @@
+---
+"@hashintel/petrinaut-core": patch
+---
+
+Add simulation panel guidance to the AI assistant's documentation catalog.

.changeset/tidy-code-editor-layouts.md

@@ -0,0 +1,5 @@
+---
+"@hashintel/petrinaut": patch
+---
+
+Expand code sections to fill the Properties Panel with smooth transitions, a parent breadcrumb, and browser history navigation. Make Canvas and Definitions available as Edit views with browser history navigation.

apps/petrinaut-website/README.md

@@ -136,9 +136,7 @@ use provider-pattern discovery instead.
 The demo at [http://localhost:5173](http://localhost:5173) runs the optimizer
 in the browser: the Optuna study runs in a Pyodide web worker and each
 optimization step runs on Petrinaut's own experiments backend, so no Python
-service is involved. With the experimental **Parameter sweeps** and
-**In-browser optimization** settings on, under **Viewport controls > Settings >
-Simulation**, a sweep's Parameters card in the Experiments tab offers
+service is involved. A sweep's Parameters card in the Experiments tab offers
 **Optimize**. The first optimization in a browser downloads the Python runtime
 from jsDelivr and Optuna from PyPI; later runs use the browser cache.
 

apps/petrinaut-website/scripts/generate-example-artifacts.ts

@@ -65,9 +65,12 @@ const generateRuntime = async (entry: ExampleCatalogEntry) => {
     null,
   ) as Record<string, ScenarioHir>;
   for (const scenario of definition.scenarios ?? []) {
-    const hir = lowerScenarioToHir({
-      parameterOverrides: scenario.parameterOverrides,
-      initialState: scenario.initialState,
+    const hir = lowerScenarioToHir(scenario, {
+      adHocContext: {
+        places: definition.places,
+        types: definition.types,
+        netParameters: definition.parameters,
+      },
     });
     const outcome = compileScenario(
       scenario,

apps/petrinaut-website/src/examples/catalog.test.ts

@@ -1,5 +1,7 @@
 import { describe, expect, it } from "vitest";
 
+import { compileScenario } from "@hashintel/petrinaut-core";
+
 import {
   exampleCatalog,
   exampleSlugs,
@@ -34,7 +36,16 @@ describe("example catalog", () => {
       expect(example.catalog).toBe(entry);
 
       for (const scenario of example.definition.scenarios ?? []) {
+        expect(scenario.initialState.type).toBe("adhoc");
         expect(runtime.scenarioHirById).toHaveProperty(scenario.id);
+        const compiled = compileScenario(
+          scenario,
+          runtime.scenarioHirById[scenario.id]!,
+          example.definition.parameters,
+          example.definition.places,
+          example.definition.types,
+        );
+        expect(compiled.ok, JSON.stringify(compiled)).toBe(true);
 
         for (const parameter of scenario.scenarioParameters) {
           const bounds = entry.parameterBounds[parameter.identifier];

apps/petrinaut-website/src/examples/example-search.test.ts

@@ -8,6 +8,67 @@ import {
 } from "./example-search";
 
 describe("example search contract", () => {
+  it("carries expanded sections as complete panel and section pairs", () => {
+    const expanded = {
+      expandedPanel: "transition-properties",
+      expandedSection: "transition-results",
+    };
+    expect(validateSharedExampleSearch(expanded)).toMatchObject(expanded);
+    expect(canonicalSearchString(expanded)).toBe(
+      "expandedPanel=transition-properties&expandedSection=transition-results",
+    );
+    for (const input of [
+      { expandedPanel: "transition-properties" },
+      { expandedSection: "transition-results" },
+      { expandedPanel: 42, expandedSection: "transition-results" },
+      { expandedPanel: "transition-properties", expandedSection: "" },
+    ]) {
+      const search = validateSharedExampleSearch(input);
+      expect(search.expandedPanel).toBeUndefined();
+      expect(search.expandedSection).toBeUndefined();
+    }
+  });
+
+  it("validates complete resource links and fullscreen creation links", () => {
+    const resource = {
+      resourceType: "scenario",
+      resourceId: "scenario / one",
+      presentation: "fullscreen",
+    };
+    const validated = validateSharedExampleSearch(resource);
+    expect(validated).toMatchObject(resource);
+    expect(canonicalSearchString(validated)).toBe(
+      "presentation=fullscreen&resourceId=scenario+%2F+one&resourceType=scenario",
+    );
+    expect(
+      validateSharedExampleSearch({
+        overlay: "create-experiment",
+        presentation: "fullscreen",
+      }).presentation,
+    ).toBe("fullscreen");
+    for (const invalid of [
+      { resourceType: "unknown", resourceId: "one" },
+      { resourceType: "scenario" },
+      { resourceType: "experiment", resourceId: "" },
+      { resourceId: "one" },
+    ]) {
+      const search = validateSharedExampleSearch({
+        ...invalid,
+        presentation: "fullscreen",
+      });
+      expect(search.resourceType).toBeUndefined();
+      expect(search.resourceId).toBeUndefined();
+      expect(search.presentation).toBeUndefined();
+    }
+    expect(
+      validateSharedExampleSearch({
+        resourceType: "metric",
+        resourceId: "one",
+        presentation: "fullscreen",
+      }).presentation,
+    ).toBeUndefined();
+  });
+
   it("validates settings sections only for the user settings dialog", () => {
     expect(
       validateSharedExampleSearch({
@@ -21,6 +82,12 @@ describe("example search contract", () => {
         settings: "unknown",
       }).settings,
     ).toBeUndefined();
+    expect(
+      validateSharedExampleSearch({
+        overlay: "user-settings",
+        settings: "simulation",
+      }),
+    ).toMatchObject({ overlay: "user-settings", settings: undefined });
     expect(
       validateSharedExampleSearch({
         overlay: "create-experiment",

apps/petrinaut-website/src/examples/example-search.ts

@@ -22,7 +22,9 @@ import {
  * `navigation-search.ts` maps each of these onto the editor's own vocabulary
  * with an exhaustive switch, so a rename on either side fails to compile.
  */
-export const sharedModes = ["edit", "simulate", "actual", "notebook"] as const;
+export const sharedModes = ["edit", "simulate", "actual"] as const;
+
+export const sharedEditViews = ["canvas", "definitions"] as const;
 
 export const sharedSimulateViews = [
   "scenarios",
@@ -38,13 +40,15 @@ export const sharedOverlays = [
   "create-experiment",
 ] as const;
 
-export const sharedSettingsSections = [
-  "general",
-  "viewport",
-  "simulation",
-  "labs",
+export const sharedSettingsSections = ["general", "viewport", "labs"] as const;
+
+export const sharedResourceTypes = [
+  "scenario",
+  "metric",
+  "experiment",
 ] as const;
 
+export type SharedEditView = (typeof sharedEditViews)[number];
 export type SharedMode = (typeof sharedModes)[number];
 export type SharedSimulateView = (typeof sharedSimulateViews)[number];
 export type SharedOverlay = (typeof sharedOverlays)[number];
@@ -64,9 +68,15 @@ export type SharedExampleSearch = {
   itemType?: SelectionItemType;
   itemId?: string;
   mode?: SharedMode;
+  editView?: SharedEditView;
   view?: SharedSimulateView;
   overlay?: SharedOverlay;
   settings?: (typeof sharedSettingsSections)[number];
+  expandedPanel?: string;
+  expandedSection?: string;
+  resourceType?: (typeof sharedResourceTypes)[number];
+  resourceId?: string;
+  presentation?: "fullscreen";
 };
 
 /** The keys this contract owns. Anything else in a URL is foreign. */
@@ -76,9 +86,15 @@ const sharedSearchKeys = [
   "itemType",
   "itemId",
   "mode",
+  "editView",
   "view",
   "overlay",
   "settings",
+  "expandedPanel",
+  "expandedSection",
+  "resourceType",
+  "resourceId",
+  "presentation",
 ] as const satisfies readonly (keyof SharedExampleSearch)[];
 
 // `.catch(undefined)` is the contract's whole validation story: anything a URL
@@ -90,6 +106,7 @@ const optionalSelectionItemType = z
   .optional()
   .catch(undefined);
 
+const optionalEditView = z.enum(sharedEditViews).optional().catch(undefined);
 const optionalMode = z.enum(sharedModes).optional().catch(undefined);
 const optionalSimulateView = z
   .enum(sharedSimulateViews)
@@ -121,22 +138,54 @@ export const selectionToSearch = (
  */
 export const validateSharedExampleSearch = (
   input: Record<string, unknown>,
-): SharedExampleSearch => ({
-  scenario: optionalNonEmptyString.parse(input.scenario),
-  subnet: optionalNonEmptyString.parse(input.subnet),
-  mode: optionalMode.parse(input.mode),
-  view: optionalSimulateView.parse(input.view),
-  overlay: optionalOverlay.parse(input.overlay),
-  settings:
-    input.overlay === "user-settings"
-      ? z
-          .enum(sharedSettingsSections)
-          .optional()
-          .catch(undefined)
-          .parse(input.settings)
+): SharedExampleSearch => {
+  const resourceType = z
+    .enum(sharedResourceTypes)
+    .optional()
+    .catch(undefined)
+    .parse(input.resourceType);
+  const resourceId = optionalNonEmptyString.parse(input.resourceId);
+  const hasResource = resourceType !== undefined && resourceId !== undefined;
+  const canExpand =
+    (hasResource && resourceType !== "metric") ||
+    input.overlay === "create-scenario" ||
+    input.overlay === "create-experiment";
+
+  return {
+    scenario: optionalNonEmptyString.parse(input.scenario),
+    subnet: optionalNonEmptyString.parse(input.subnet),
+    mode: input.mode === "notebook" ? "edit" : optionalMode.parse(input.mode),
+    editView:
+      input.mode === "notebook"
+        ? "definitions"
+        : optionalEditView.parse(
+            input.editView === "notebook" ? "definitions" : input.editView,
+          ),
+    view: optionalSimulateView.parse(input.view),
+    overlay: optionalOverlay.parse(input.overlay),
+    expandedPanel: optionalNonEmptyString.parse(input.expandedSection)
+      ? optionalNonEmptyString.parse(input.expandedPanel)
       : undefined,
-  ...selectionToSearch(selectionFromInput(input)),
-});
+    expandedSection: optionalNonEmptyString.parse(input.expandedPanel)
+      ? optionalNonEmptyString.parse(input.expandedSection)
+      : undefined,
+    settings:
+      input.overlay === "user-settings"
+        ? z
+            .enum(sharedSettingsSections)
+            .optional()
+            .catch(undefined)
+            .parse(input.settings)
+        : undefined,
+    ...selectionToSearch(selectionFromInput(input)),
+    resourceType: hasResource ? resourceType : undefined,
+    resourceId: hasResource ? resourceId : undefined,
+    presentation:
+      canExpand && input.presentation === "fullscreen"
+        ? "fullscreen"
+        : undefined,
+  };
+};
 
 /** Canonical query string for a validated search: sorted, contract keys only. */
 export const canonicalSearchString = (search: SharedExampleSearch): string => {