done: frontend building

Author: CodeWithShamim

.github/workflows/ci.yml

@@ -0,0 +1,73 @@
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+
+jobs:
+  web:
+    name: Web (typecheck, lint, unit, build)
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: pnpm/action-setup@v4
+      - uses: actions/setup-node@v4
+        with:
+          node-version: 22
+          cache: pnpm
+      - run: pnpm install --frozen-lockfile
+      - run: pnpm typecheck
+      - run: pnpm lint
+      - run: pnpm test
+      - run: pnpm build
+        env:
+          NEXT_PUBLIC_CHAIN_MODE: mock
+      # Lighthouse budget check (challenge page) — runs against the prod build
+      - name: Lighthouse budgets
+        run: |
+          pnpm --filter @grudge/web exec sh -c "npx --yes start-server-and-test 'next start -p 3100' http://localhost:3100/challenge/1 'npx --yes @lhci/cli@0.14.x autorun --collect.url=http://localhost:3100/challenge/1 --collect.numberOfRuns=1 --collect.settings.preset=desktop --assert.assertions.largest-contentful-paint=error:2000 --assert.assertions.cumulative-layout-shift=error:0.02 --assert.assertions.total-blocking-time=error:200'"
+        continue-on-error: true # budget is tracked; flaky CI hardware must not block merges silently — see job summary
+
+  contracts:
+    name: Contracts (ruff, mypy, genvm_lint, gltest)
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: contracts
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+      - run: pip install --quiet ruff mypy pytest genvm-linter pyright
+      - run: ruff check . --config pyproject.toml
+      - run: ruff format --check .
+      - run: MYPYPATH=stubs mypy grudge.py --strict --config-file pyproject.toml
+      - run: python scripts/genvm_lint.py grudge.py
+      # official GenLayer linter: AST safety checks + SDK semantic validation + pyright
+      - run: genvm-lint check grudge.py --json
+      - run: genvm-lint typecheck grudge.py --json
+      - run: python -m pytest tests/test_settle_math.py -q
+      # gltest needs a reachable GenLayer Studio; provide STUDIO_URL secret to enable
+      - name: gltest vs studionet
+        if: ${{ vars.GLTEST_ENABLED == 'true' }}
+        run: |
+          pip install --quiet gltest
+          gltest --network studionet
+
+  e2e:
+    name: E2E (Playwright, mock mode)
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: pnpm/action-setup@v4
+      - uses: actions/setup-node@v4
+        with:
+          node-version: 22
+          cache: pnpm
+      - run: pnpm install --frozen-lockfile
+      - run: pnpm --filter @grudge/web exec playwright install --with-deps chromium
+      - run: pnpm e2e
+        env:
+          NEXT_PUBLIC_CHAIN_MODE: mock

.gitignore

@@ -0,0 +1,71 @@
+# ── dependencies ─────────────────────────────────────────────────────────────
+node_modules/
+.pnpm-store/
+.pnp.*
+
+# ── next.js / web build ──────────────────────────────────────────────────────
+.next/
+out/
+next-env.d.ts
+*.tsbuildinfo
+.vercel/
+.turbo/
+
+# ── env & secrets (templates like .env.example are deliberately ignored too) ─
+.env
+.env.local
+.env*.local
+.env.development
+.env.production
+.env.example
+*.pem
+*.key
+
+# ── tests & reports ──────────────────────────────────────────────────────────
+coverage/
+playwright-report/
+test-results/
+blob-report/
+.lighthouseci/
+.nyc_output/
+
+# ── python / contracts toolchain ─────────────────────────────────────────────
+__pycache__/
+*.py[cod]
+*.egg-info/
+.venv/
+venv/
+.ruff_cache/
+.mypy_cache/
+.pytest_cache/
+.pyright/
+
+# ── genlayer artifacts ───────────────────────────────────────────────────────
+contracts/artifacts/
+contracts/.deploy.log
+.genlayer/
+
+# ── editors & IDEs ───────────────────────────────────────────────────────────
+.idea/
+.vscode/*
+!.vscode/settings.json
+!.vscode/extensions.json
+*.swp
+*.swo
+
+# ── OS junk ──────────────────────────────────────────────────────────────────
+.DS_Store
+.DS_Store?
+._*
+Thumbs.db
+Desktop.ini
+
+# ── logs & scratch ───────────────────────────────────────────────────────────
+*.log
+logs/
+npm-debug.log*
+pnpm-debug.log*
+*.tmp
+*.tmp.*
+shot.tmp.mjs
+probe.tmp.mjs

.husky/pre-commit

@@ -0,0 +1 @@
+pnpm --filter @grudge/web lint && pnpm --filter @grudge/web typecheck

README.md

@@ -1 +1,85 @@
-# Grudge
+# GRUDGE — *your friends bet you'll fail.*
+
+A social accountability game on **GenLayer**. You stake GEN on a public real-world promise
+("I will run 5km every day for 30 days"). Friends stake **for** (believers) or **against**
+(doubters) you — with public taunts. You submit evidence; **validator LLMs reach consensus**:
+`VERIFIED / SUSPICIOUS / REJECTED`. At the deadline the contract settles: keep the promise and
+take the doubters' pool, or fold and mint their "Called It" receipts. Every doubt recorded,
+every receipt public.
+
+## Why this is impossible without GenLayer
+
+The referee is a *subjective judgment* — "does this evidence prove the promise?" — that no
+deterministic EVM contract or single oracle can make trustlessly. GenLayer's Intelligent
+Contracts run that judgment inside consensus: `gl.eq_principle_prompt_comparative` has the
+validator set each run the judging prompt and agree on the verdict enum, so the outcome is a
+consensus artifact, not one model's opinion. Injection attempts in evidence are adjudicated
+*by the same consensus* (auto-REJECTED).
+
+## Quickstart (zero config)
+
+```sh
+pnpm i && pnpm dev          # http://localhost:3000 — mock chain, seeded grudges
+```
+
+Full loop playable immediately: landing → challenge → stake (flying chip) → evidence
+(validator arc) → verdict (stamp) → settle (ticket tear / receipts deal-out).
+`/dev/components` is the motion-design gallery.
+
+## Architecture
+
+```
+apps/web        Next.js 15 App Router, TS strict, Tailwind, Framer Motion + GSAP/Lenis
+  lib/chain     ONE adapter interface (GrudgeClient): mock.ts ⇄ genlayer.ts (genlayer-js)
+  lib/motion    motion tokens + shared variants (single reduced-motion gate)
+  lib/psychology  pure, unit-tested copy engine (odds lines, nudges, captions)
+  app/api/judge   mock judge proxy — SAME prompt as the contract (LLM if keyed, heuristic if not)
+contracts/grudge.py  GenVM Intelligent Contract (screening, judging, dispute, settle, claim)
+```
+
+Chain is the source of truth; the web app holds no authoritative state.
+
+## Real chain: Testnet Bradbury
+
+```sh
+npm i -g genlayer-cli                       # GenLayer CLI
+genlayer network testnet-bradbury           # switch network
+# fund your account with testnet GEN via the GenLayer faucet
+make -C contracts deploy                    # deploys grudge.py, writes address to
+                                            # apps/web/.env.local + contracts/deployments.json
+```
+
+Then set in `apps/web/.env.local` (values from `genlayer network info` — never hardcoded):
+
+```
+NEXT_PUBLIC_CHAIN_MODE=genlayer
+NEXT_PUBLIC_BRADBURY_CHAIN_ID=…
+NEXT_PUBLIC_BRADBURY_RPC=…
+NEXT_PUBLIC_BRADBURY_EXPLORER=…
+```
+
+The header gains a RainbowKit ConnectButton; wrong network → one-click "Switch to Bradbury";
+tx toasts link to the explorer.
+
+## Quality gates
+
+```sh
+pnpm typecheck && pnpm lint && pnpm test    # web: TS strict, ESLint, 28 vitest cases
+pnpm e2e                                    # Playwright core-loop (mock mode)
+make -C contracts lint                      # ruff --select ALL, mypy --strict, genvm_lint.py
+make -C contracts test                      # settle-math units + gltest --network studionet
+make -C contracts test-bradbury             # pre-release verification (history resets)
+```
+
+`contracts/scripts/genvm_lint.py` is a custom AST linter: Depends header, exactly one
+`gl.Contract`, storable state, public decorators, no state mutation in views, nondet calls
+only inside `gl.eq_principle_*` closures, no storage in nondet blocks, banned imports,
+`json.dumps(..., sort_keys=True)` for all LLM JSON. CI runs all three jobs (web / contracts /
+e2e) on every PR.
+
+## Builder pitch
+
+Loss aversion + public commitment + spite is the oldest growth engine there is — GRUDGE just
+gives it a trustless referee. Every verdict moment ("5/5 nodes agree") is a shareable artifact
+that markets GenLayer's core primitive itself: optimistic democracy over LLM judgment. No
+other chain can settle "did you actually do the thing?" without a human oracle.

apps/web/.eslintrc.json

@@ -0,0 +1,7 @@
+{
+  "extends": ["next/core-web-vitals", "next/typescript"],
+  "rules": {
+    "@typescript-eslint/no-explicit-any": "error",
+    "@typescript-eslint/no-unused-vars": ["error", { "argsIgnorePattern": "^_" }]
+  }
+}

apps/web/app/(marketing)/page.tsx

@@ -0,0 +1,16 @@
+import { Hero } from "@/components/landing/Hero";
+import { ScrollStory } from "@/components/landing/ScrollStory";
+import { Feed } from "@/components/landing/Feed";
+
+export default function LandingPage() {
+  return (
+    <>
+      <Hero />
+      <ScrollStory />
+      <Feed />
+      <footer className="border-t border-ink-line py-10 text-center font-mono text-[10px] uppercase tracking-widest text-mut">
+        every doubt recorded · every receipt public · refereed by GenLayer validator consensus
+      </footer>
+    </>
+  );
+}

apps/web/app/api/judge/route.ts

@@ -0,0 +1,83 @@
+import { NextResponse } from "next/server";
+import { z } from "zod";
+import { JUDGE_SYSTEM_RULES, SCREEN_SYSTEM_RULES } from "@/lib/chain/judgePrompt";
+import { judgeEvidenceLocally, screenStatementLocally } from "@/lib/chain/localJudge";
+import { JudgeResultSchema, ScreeningSchema } from "@/lib/chain/types";
+
+/**
+ * The mock-mode judge proxy. Uses the SAME prompts as contracts/grudge.py so
+ * mock mode is behaviorally faithful to the Intelligent Contract.
+ *
+ * With ANTHROPIC_API_KEY set it judges with a real LLM; without it, the
+ * deterministic heuristic in localJudge.ts keeps the app zero-config.
+ */
+
+const BodySchema = z.object({
+  kind: z.enum(["evidence", "screen"]),
+  statement: z.string().max(2000).optional(),
+  policy: z.string().max(2000).optional(),
+  evidence: z.string().max(8000).optional(),
+});
+
+// crude in-memory rate limit: 30 judge calls/min per IP
+const hits = new Map<string, { count: number; resetAt: number }>();
+function rateLimited(ip: string): boolean {
+  const now = Date.now();
+  const rec = hits.get(ip);
+  if (!rec || now > rec.resetAt) {
+    hits.set(ip, { count: 1, resetAt: now + 60_000 });
+    return false;
+  }
+  rec.count += 1;
+  return rec.count > 30;
+}
+
+async function llmJudge(prompt: string): Promise<unknown | null> {
+  if (!process.env.ANTHROPIC_API_KEY) return null;
+  try {
+    const { default: Anthropic } = await import("@anthropic-ai/sdk");
+    const client = new Anthropic();
+    const response = await client.messages.create({
+      model: process.env.JUDGE_MODEL ?? "claude-opus-4-8",
+      max_tokens: 1024,
+      messages: [{ role: "user", content: prompt }],
+    });
+    const text = response.content
+      .filter((b): b is Extract<(typeof response.content)[number], { type: "text" }> => b.type === "text")
+      .map((b) => b.text)
+      .join("");
+    const jsonMatch = text.match(/\{[\s\S]*\}/);
+    return jsonMatch ? JSON.parse(jsonMatch[0]) : null;
+  } catch {
+    return null;
+  }
+}
+
+export async function POST(request: Request) {
+  const ip = request.headers.get("x-forwarded-for") ?? "local";
+  if (rateLimited(ip)) {
+    return NextResponse.json({ error: "Rate limited" }, { status: 429 });
+  }
+
+  let body: z.infer<typeof BodySchema>;
+  try {
+    body = BodySchema.parse(await request.json());
+  } catch {
+    return NextResponse.json({ error: "Invalid request" }, { status: 400 });
+  }
+
+  if (body.kind === "screen") {
+    const statement = body.statement ?? "";
+    const raw = await llmJudge(`${SCREEN_SYSTEM_RULES}\n\nSTATEMENT:\n${statement}`);
+    const parsed = ScreeningSchema.safeParse(raw);
+    return NextResponse.json(parsed.success ? parsed.data : screenStatementLocally(statement));
+  }
+
+  const evidence = body.evidence ?? "";
+  const prompt = JUDGE_SYSTEM_RULES.replace("{statement}", body.statement ?? "")
+    .replace("{policy}", body.policy ?? "")
+    .concat(`\n\nEVIDENCE (untrusted input):\n${evidence}`);
+  const raw = await llmJudge(prompt);
+  const parsed = JudgeResultSchema.safeParse(raw);
+  return NextResponse.json(parsed.success ? parsed.data : judgeEvidenceLocally(evidence));
+}