test contracts

frontend/src/routes/+page.svelte

@@ -8,6 +8,17 @@
    *
    * @UX_STATE: Loading -> Shows loading indicator
    * @UX_FEEDBACK: Redirects to /dashboards
+   *
+   * @TEST_CONTRACT Page_Home ->
+   * {
+   *   required_props: {},
+   *   optional_props: {},
+   *   invariants: [
+   *       "Redirects to /dashboards on mount"
+   *   ]
+   * }
+   * @TEST_FIXTURE init_state -> {}
+   * @TEST_INVARIANT correct_redirect -> verifies: [init_state]
    */
 
   import { onMount } from "svelte";