add hypothetical folder for Topos V2

topos-svelte/.eslintignore

@@ -0,0 +1,13 @@
+.DS_Store
+node_modules
+/build
+/.svelte-kit
+/package
+.env
+.env.*
+!.env.example
+
+# Ignore files for PNPM, NPM and YARN
+pnpm-lock.yaml
+package-lock.json
+yarn.lock

topos-svelte/.eslintrc.cjs

@@ -0,0 +1,31 @@
+/** @type { import("eslint").Linter.Config } */
+module.exports = {
+	root: true,
+	extends: [
+		'eslint:recommended',
+		'plugin:@typescript-eslint/recommended',
+		'plugin:svelte/recommended',
+		'prettier'
+	],
+	parser: '@typescript-eslint/parser',
+	plugins: ['@typescript-eslint'],
+	parserOptions: {
+		sourceType: 'module',
+		ecmaVersion: 2020,
+		extraFileExtensions: ['.svelte']
+	},
+	env: {
+		browser: true,
+		es2017: true,
+		node: true
+	},
+	overrides: [
+		{
+			files: ['*.svelte'],
+			parser: 'svelte-eslint-parser',
+			parserOptions: {
+				parser: '@typescript-eslint/parser'
+			}
+		}
+	]
+};

topos-svelte/.gitignore

@@ -0,0 +1,10 @@
+.DS_Store
+node_modules
+/build
+/.svelte-kit
+/package
+.env
+.env.*
+!.env.example
+vite.config.js.timestamp-*
+vite.config.ts.timestamp-*

topos-svelte/.npmrc

@@ -0,0 +1 @@
+engine-strict=true

topos-svelte/.prettierignore

@@ -0,0 +1,4 @@
+# Ignore files for PNPM, NPM and YARN
+pnpm-lock.yaml
+package-lock.json
+yarn.lock

topos-svelte/.prettierrc

@@ -0,0 +1,8 @@
+{
+	"useTabs": true,
+	"singleQuote": true,
+	"trailingComma": "none",
+	"printWidth": 100,
+	"plugins": ["prettier-plugin-svelte"],
+	"overrides": [{ "files": "*.svelte", "options": { "parser": "svelte" } }]
+}

topos-svelte/README.md

@@ -0,0 +1,38 @@
+# create-svelte
+
+Everything you need to build a Svelte project, powered by [`create-svelte`](https://github.com/sveltejs/kit/tree/main/packages/create-svelte).
+
+## Creating a project
+
+If you're seeing this, you've probably already done this step. Congrats!
+
+```bash
+# create a new project in the current directory
+npm create svelte@latest
+
+# create a new project in my-app
+npm create svelte@latest my-app
+```
+
+## Developing
+
+Once you've created a project and installed dependencies with `npm install` (or `pnpm install` or `yarn`), start a development server:
+
+```bash
+npm run dev
+
+# or start the server and open the app in a new browser tab
+npm run dev -- --open
+```
+
+## Building
+
+To create a production version of your app:
+
+```bash
+npm run build
+```
+
+You can preview the production build with `npm run preview`.
+
+> To deploy your app, you may need to install an [adapter](https://kit.svelte.dev/docs/adapters) for your target environment.

topos-svelte/package.json

@@ -0,0 +1,44 @@
+{
+	"name": "topos-svelte",
+	"version": "0.0.1",
+	"private": true,
+	"scripts": {
+		"dev": "vite dev",
+		"build": "vite build",
+		"preview": "vite preview",
+		"test": "npm run test:integration && npm run test:unit",
+		"check": "svelte-kit sync && svelte-check --tsconfig ./tsconfig.json",
+		"check:watch": "svelte-kit sync && svelte-check --tsconfig ./tsconfig.json --watch",
+		"lint": "prettier --check . && eslint .",
+		"format": "prettier --write .",
+		"test:integration": "playwright test",
+		"test:unit": "vitest"
+	},
+	"devDependencies": {
+		"@playwright/test": "^1.28.1",
+		"@sveltejs/adapter-auto": "^3.0.0",
+		"@sveltejs/kit": "^2.0.0",
+		"@sveltejs/vite-plugin-svelte": "^3.0.0",
+		"@types/eslint": "^8.56.0",
+		"@typescript-eslint/eslint-plugin": "^7.0.0",
+		"@typescript-eslint/parser": "^7.0.0",
+		"autoprefixer": "^10.4.19",
+		"eslint": "^8.56.0",
+		"eslint-config-prettier": "^9.1.0",
+		"eslint-plugin-svelte": "^2.35.1",
+		"postcss": "^8.4.38",
+		"prettier": "^3.1.1",
+		"prettier-plugin-svelte": "^3.1.2",
+		"svelte": "^4.2.7",
+		"svelte-check": "^3.6.0",
+		"tailwindcss": "^3.4.3",
+		"tslib": "^2.4.1",
+		"typescript": "^5.0.0",
+		"vite": "^5.0.3",
+		"vitest": "^1.2.0"
+	},
+	"type": "module",
+	"dependencies": {
+		"svelte-persisted-store": "^0.9.1"
+	}
+}

topos-svelte/playwright.config.ts

@@ -0,0 +1,12 @@
+import type { PlaywrightTestConfig } from '@playwright/test';
+
+const config: PlaywrightTestConfig = {
+	webServer: {
+		command: 'npm run build && npm run preview',
+		port: 4173
+	},
+	testDir: 'tests',
+	testMatch: /(.+\.)?(test|spec)\.[jt]s/
+};
+
+export default config;

topos-svelte/postcss.config.js

@@ -0,0 +1,6 @@
+export default {
+  plugins: {
+    tailwindcss: {},
+    autoprefixer: {},
+  },
+}

topos-svelte/src/app.css

@@ -0,0 +1,29 @@
+@tailwind base;
+@tailwind components;
+@tailwind utilities;
+
+@layer base {
+    :root {
+        --black: 40 42 54;
+        --red: 68 71 90;
+        --green: 248 248 242;
+        --yellow: 98 114 164;
+        --blue: 139 233 253;
+        --magenta: 80 250 123;
+        --cyan: 255 184 108;
+        --white: 255 121 198;
+        --brightblack: 189 147 249;
+        --brightred: 255 85 85;
+        --brightgreen: 241 250 140;
+        --brightyellow: 139 233 253;
+        --brightblue: 80 250 123;
+        --brightmagenta: 255 184 108;
+        --brightcyan: 255 121 198;
+        --brightwhite: 189 147 249;
+        --background: 40 42 54;
+        --selection_foreground: 68 71 90;
+        --cursor: 139 233 253;
+        --foreground: 248 248 242;
+        --selection_background: 189 147 249;
+    }
+}

topos-svelte/src/app.d.ts

@@ -0,0 +1,13 @@
+// See https://kit.svelte.dev/docs/types#app
+// for information about these interfaces
+declare global {
+	namespace App {
+		// interface Error {}
+		// interface Locals {}
+		// interface PageData {}
+		// interface PageState {}
+		// interface Platform {}
+	}
+}
+
+export {};

topos-svelte/src/app.html

@@ -0,0 +1,12 @@
+<!doctype html>
+<html lang="en">
+	<head>
+		<meta charset="utf-8" />
+		<link rel="icon" href="%sveltekit.assets%/favicon.png" />
+		<meta name="viewport" content="width=device-width, initial-scale=1" />
+		%sveltekit.head%
+	</head>
+	<body data-sveltekit-preload-data="hover">
+		<div style="display: contents">%sveltekit.body%</div>
+	</body>
+</html>

topos-svelte/src/index.test.ts

@@ -0,0 +1,7 @@
+import { describe, it, expect } from 'vitest';
+
+describe('sum test', () => {
+	it('adds 1 + 2 to equal 3', () => {
+		expect(1 + 2).toBe(3);
+	});
+});

topos-svelte/src/lib/components/Editor.svelte

@@ -0,0 +1,2 @@
+<script lang="ts">
+</script>

topos-svelte/src/lib/components/Header.svelte

@@ -0,0 +1,88 @@
+<script>
+	import topos_frog from '$lib/images/topos_frog.svg';
+</script>
+
+<header class="py-0 block">
+	<div id="topbar" class="mx-auto flex flex-wrap pl-2 py-1 flex-row items-center bg-background">
+		<a class="flex title-font font-medium items-center mb-0">
+			<img
+				src={topos_frog}
+				class="w-12 h-12 text-selection_foreground p-2 rounded-full bg-foreground"
+				alt="Topos Frog Logo"
+			/>
+			<input
+				class="hidden transparent xl:block ml-4 text-2xl bg-background text-brightwhite placeholder-brightwhite"
+				type="text"
+				placeholder="Topos"
+			/>
+		</a>
+		<nav class="py-2 flex flex-wrap items-center text-base absolute right-0">
+			<!-- Play Button -->
+			<a title="Play button (Ctrl+P)" id="play-button-1" class="bar_button">
+				<svg class="w-7 h-7" fill="currentColor" viewBox="0 0 14 16">
+					<path
+						d="M0 .984v14.032a1 1 0 0 0 1.506.845l12.006-7.016a.974.974 0 0 0 0-1.69L1.506.139A1 1 0 0 0 0 .984Z"
+					/>
+				</svg>
+				<p class="hidden lg:block text-xl pl-2 inline-block">Play</p>
+			</a>
+
+			<!-- Stop Button -->
+			<a title="Stop button (Ctrl+R)" id="stop-button-1" class="bar_button">
+				<svg class="w-7 h-7" fill="currentColor" viewBox="0 0 20 20">
+					<path d="M10 .5a9.5 9.5 0 1 0 9.5 9.5A9.51 9.51 0 0 0 10 .5Z" />
+					<rect x="6.5" y="6.5" width="7" height="7" fill="selection_background" rx="1" ry="1" />
+				</svg>
+				<p class="hidden lg:block text-xl pl-2 inline-block">Stop</p>
+			</a>
+
+			<!-- Eval Button -->
+			<a title="Eval button (Ctrl+Enter)" id="eval-button-1" class="bar_button">
+				<svg class="w-7 h-7" fill="none" viewBox="0 0 18 20">
+					<path
+						stroke="currentColor"
+						stroke-linecap="round"
+						stroke-linejoin="round"
+						stroke-width="2"
+						d="M16 1v5h-5M2 19v-5h5m10-4a8 8 0 0 1-14.947 3.97M1 10a8 8 0 0 1 14.947-3.97"
+					/>
+				</svg>
+				<p class="hidden lg:block text-xl pl-2 inline-block">Eval</p>
+			</a>
+
+			<!-- Clear Button -->
+			<a title="Clear button" id="clear-button-1" class="bar_button">
+				<svg class="w-7 h-7" fill="currentColor" viewBox="0 0 18 20">
+					<path
+						d="M17 4h-4V2a2 2 0 0 0-2-2H7a2 2 0 0 0-2 2v2H1a1 1 0 0 0 0 2h1v12a2 2 0 0 0 2 2h10a2 2 0 0 0 2-2V6h1a1 1 0 1 0 0-2ZM7 2h4v2H7V2Zm1 14a1 1 0 1 1-2 0V8a1 1 0 0 1 2 0v8Zm4 0a1 1 0 0 1-2 0V8a1 1 0 0 1 2 0v8Z"
+					/>
+				</svg>
+				<p class="hidden lg:block text-xl pl-2 inline-block">Clear</p>
+			</a>
+
+			<!-- Share Button -->
+			<a title="Share button" id="share-button" class="bar_button">
+				<svg class="w-7 h-7" fill="none" viewBox="0 0 19 19">
+					<path
+						stroke="currentColor"
+						stroke-linecap="round"
+						stroke-linejoin="round"
+						stroke-width="2"
+						d="M11.013 7.962a3.519 3.519 0 0 0-4.975 0l-3.554 3.554a3.518 3.518 0 0 0 4.975 4.975l.461-.46m-.461-4.515a3.518 3.518 0 0 0 4.975 0l3.553-3.554a3.518 3.518 0 0 0-4.974-4.975L10.3 3.7"
+					/>
+				</svg>
+				<p class="hidden lg:block text-xl pl-2 inline-block">Share</p>
+			</a>
+
+			<!-- Docs Button -->
+			<a title="Open Documentation (Ctrl+D)" id="doc-button-1" class="bar_button">
+				<svg class="w-7 h-7" fill="currentColor" viewBox="0 0 20 20">
+					<path
+						d="M10 .5a9.5 9.5 0 1 0 9.5 9.5A9.51 9.51 0 0 0 10 .5ZM9.5 4a1.5 1.5 0 1 1 0 3 1.5 1.5 0 0 1 0-3ZM12 15H8a1 1 0 0 1 0-2h1v-3H8a1 1 0 0 1 0-2h2a1 1 0 0 1 1 1v4h1a1 1 0 0 1 0 2Z"
+					/>
+				</svg>
+				<p class="hidden lg:block text-xl pl-2 inline-block">Docs</p>
+			</a>
+		</nav>
+	</div>
+</header>

topos-svelte/src/lib/components/Sidebar.svelte

@@ -0,0 +1,2 @@
+<script lang="ts">
+</script>

topos-svelte/src/lib/index.ts

@@ -0,0 +1 @@
+// place files you want to import through the `$lib` alias in this folder.

topos-svelte/src/routes/+layout.svelte

@@ -0,0 +1,5 @@
+<script>
+	import '../app.css';
+</script>
+
+<slot />

topos-svelte/src/routes/+page.svelte

@@ -0,0 +1,13 @@
+<script>
+	import Header from '$lib/components/Header.svelte';
+	import Sidebar from '$lib/components/Sidebar.svelte';
+	import Editor from '$lib/components/Editor.svelte';
+</script>
+
+<div class="app-container">
+	<Header />
+	<div class="flex">
+		<Sidebar />
+		<Editor />
+	</div>
+</div>

topos-svelte/src/routes/documentation/+page.svelte

@@ -0,0 +1,5 @@
+<script lang="ts">
+</script>
+
+
+<h1>Documentation</h1>

topos-svelte/svelte.config.js

@@ -0,0 +1,18 @@
+import adapter from '@sveltejs/adapter-auto';
+import { vitePreprocess } from '@sveltejs/vite-plugin-svelte';
+
+/** @type {import('@sveltejs/kit').Config} */
+const config = {
+	// Consult https://kit.svelte.dev/docs/integrations#preprocessors
+	// for more information about preprocessors
+	preprocess: vitePreprocess(),
+
+	kit: {
+		// adapter-auto only supports some environments, see https://kit.svelte.dev/docs/adapter-auto for a list.
+		// If your environment is not supported or you settled on a specific environment, switch out the adapter.
+		// See https://kit.svelte.dev/docs/adapters for more information about adapters.
+		adapter: adapter()
+	}
+};
+
+export default config;

topos-svelte/tailwind.config.js

@@ -0,0 +1,33 @@
+/** @type {import('tailwindcss').Config} */
+export default {
+  content: ["./src/**/*.html", "./index.html", "./src/**/*.{js,ts,jsx,tsx}"],
+  theme: {
+    colors: {
+      black: "rgb(var(--black) / <alpha-value>)",
+      red: "rgb(var(--red) / <alpha-value>)",
+      green: "rgb(var(--green) / <alpha-value>)",
+      yellow: "rgb(var(--yellow) / <alpha-value>)",
+      blue: "rgb(var(--blue) / <alpha-value>)",
+      magenta: "rgb(var(--magenta) / <alpha-value>)",
+      cyan: "rgb(var(--cyan) / <alpha-value>)",
+      white: "rgb(var(--white) / <alpha-value>)",
+      brightblack: "rgb(var(--brightblack) / <alpha-value>)",
+      brightred: "rgb(var(--brightred) / <alpha-value>)",
+      brightgreen: "rgb(var(--brightgreen) / <alpha-value>)",
+      brightyellow: "rgb(var(--brightyellow) / <alpha-value>)",
+      brightblue: "rgb(var(--brightblue) / <alpha-value>)",
+      brightmagenta: "rgb(var(--brightmagenta) / <alpha-value>)",
+      brightcyan: "rgb(var(--brightcyan) / <alpha-value>)",
+      brightwhite: "rgb(var(--brightwhite) / <alpha-value>)",
+      background: "rgb(var(--background) / <alpha-value>)",
+      selection_foreground: "rgb(var(--selection_foreground) / <alpha-value>)",
+      cursor: "rgb(var(--cursor) / <alpha-value>)",
+      foreground: "rgb(var(--foreground) / <alpha-value>)",
+      selection_background: "rgb(var(--selection_background) / <alpha-value>)",
+    }
+  },
+  extend: {},
+  safelist: [{
+    pattern: /(bg|text|border)-(transparent|color0|color1|color2|color3|color4|color5|color6|color7|color8|color9|color10|color11|color12|color13|color14|color15|background|selection_background|cursor|foreground|selection_background)/,
+  }],
+};

topos-svelte/tests/test.ts

@@ -0,0 +1,6 @@
+import { expect, test } from '@playwright/test';
+
+test('index page has expected h1', async ({ page }) => {
+	await page.goto('/');
+	await expect(page.getByRole('heading', { name: 'Welcome to SvelteKit' })).toBeVisible();
+});

topos-svelte/tsconfig.json

@@ -0,0 +1,19 @@
+{
+	"extends": "./.svelte-kit/tsconfig.json",
+	"compilerOptions": {
+		"allowJs": true,
+		"checkJs": true,
+		"esModuleInterop": true,
+		"forceConsistentCasingInFileNames": true,
+		"resolveJsonModule": true,
+		"skipLibCheck": true,
+		"sourceMap": true,
+		"strict": true,
+		"moduleResolution": "bundler"
+	}
+	// Path aliases are handled by https://kit.svelte.dev/docs/configuration#alias
+	// except $lib which is handled by https://kit.svelte.dev/docs/configuration#files
+	//
+	// If you want to overwrite includes/excludes, make sure to copy over the relevant includes/excludes
+	// from the referenced tsconfig.json - TypeScript does not merge them in
+}

topos-svelte/vite.config.ts

@@ -0,0 +1,9 @@
+import { sveltekit } from '@sveltejs/kit/vite';
+import { defineConfig } from 'vitest/config';
+
+export default defineConfig({
+	plugins: [sveltekit()],
+	test: {
+		include: ['src/**/*.{test,spec}.{js,ts}']
+	}
+});