specproof 0.2.1 → 0.3.0

package/marketing/package.json

@@ -1,10 +0,0 @@
-{
-  "name": "specproof-marketing",
-  "private": true,
-  "version": "0.2.0",
-  "type": "module",
-  "scripts": {
-    "dev": "bun run server.ts",
-    "start": "bun run server.ts"
-  }
-}

package/marketing/server.ts

@@ -1,27 +0,0 @@
-const port = Number(process.env.PORT) || 3002;
-const root = new URL('./', import.meta.url).pathname;
-
-const MIME: Record<string, string> = {
-  '.html': 'text/html; charset=utf-8',
-  '.css': 'text/css; charset=utf-8',
-  '.js': 'text/javascript; charset=utf-8',
-  '.png': 'image/png',
-  '.jpg': 'image/jpeg',
-  '.jpeg': 'image/jpeg',
-  '.svg': 'image/svg+xml',
-  '.ico': 'image/x-icon'
-};
-
-Bun.serve({
-  port,
-  async fetch(req) {
-    const url = new URL(req.url);
-    const pathname = url.pathname === '/' ? '/index.html' : url.pathname;
-    const file = Bun.file(root + pathname.slice(1));
-    if (!(await file.exists())) return new Response('Not found', { status: 404 });
-    const ext = pathname.slice(pathname.lastIndexOf('.'));
-    return new Response(file, { headers: { 'Content-Type': MIME[ext] ?? 'application/octet-stream' } });
-  }
-});
-
-console.log(`SpecProof marketing site → http://localhost:${port}`);

package/vitest.config.ts

@@ -1,19 +0,0 @@
-import { resolve } from "node:path";
-import { defineConfig } from "vitest/config";
-
-// Contract-test config: the proof drift guards are pure node tests that read
-// the checked-in artifact and the apps/web sources it derives from.
-export default defineConfig({
-  resolve: {
-    alias: {
-      // Mirror the tsconfig "@/*" -> "./*" path mapping (specproof root).
-      "@": resolve(__dirname, "."),
-    },
-  },
-  test: {
-    environment: "node",
-    include: ["**/*.test.ts"],
-    // example/ holds fixture tests for the analyzer to parse — never run them
-    exclude: ["node_modules/**", ".next/**", "example/**"],
-  },
-});