"stateManagement": {
  "eventHandlers": [
    { "name": "onSubmit", "description": "Validate + navigate to /thanks." }
  ]
},
"userActions": [
  { "action": "Tap submit button", "processing": "onSubmit() then onNavigate('/thanks')." }
],
"transitions": [
  { "trigger": "onNavigate(url)", "condition": "url === '/thanks'", "destination": "ThanksScreen" }
],
"dataFlow": {
  "viewModel": {
    "methods": [
      { "name": "onNavigate", "params": [{"name": "url", "type": "String"}],
        "description": "Router.push(url). URL is opaque to spec." }
    ]
  }
}

// src/viewmodels/CounterViewModel.ts  — hand-written
import type { AppRouterInstance } from "next/dist/shared/lib/app-router-context.shared-runtime";
import { CounterViewModelBase } from "@/generated/viewmodels/CounterViewModelBase";
 
export class CounterViewModel extends CounterViewModelBase {
  constructor(private router: AppRouterInstance) { super(); }
 
  protected initializeEventHandlers() {
    this.updateData({
      onNavigate: (url: string) => this.router.push(url),
      onSubmit:   () => this.router.push("/thanks"),
    });
  }
}

// src/app/counter/page.tsx — hand-written
"use client";
import { useRouter } from "next/navigation";
import { useCounterViewModel } from "@/generated/hooks/useCounterViewModel";
import { CounterViewModel } from "@/viewmodels/CounterViewModel";
import CounterLayout from "@/Layouts/counter.json";
 
export default function CounterPage() {
  const router = useRouter();
  const { data } = useCounterViewModel(() => new CounterViewModel(router));
  return <LayoutRenderer layout={CounterLayout} data={data} />;
}

// hand-written — AppNav.kt
sealed class Route(val path: String) {
    object Counter  : Route("counter")
    object Thanks   : Route("thanks")
    object Settings : Route("settings")
}
 
@Composable
fun AppNav() {
    val nav = rememberNavController()
    NavHost(nav, startDestination = Route.Counter.path) {
        composable(Route.Counter.path) {
            CounterScreen(onNavigate = { url -> nav.navigate(url.trimStart('/')) })
        }
        composable(Route.Thanks.path)   { ThanksScreen() }
        composable(Route.Settings.path) { SettingsScreen() }
    }
}