From 168c5596939dd11e8e251ea7f16c1884ef747f6b Mon Sep 17 00:00:00 2001 From: konard Date: Mon, 12 Jan 2026 15:17:02 +0100 Subject: [PATCH 1/3] Initial commit with task details Adding CLAUDE.md with task information for AI processing. This file will be removed when the task is complete. Issue: https://github.com/ProverCoderAI/effect-template/issues/5 --- CLAUDE.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/CLAUDE.md b/CLAUDE.md index a8473ac..07c79de 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -265,3 +265,16 @@ describe("Message invariants", () => { Каждый эффект — это контролируемое взаимодействие с реальным миром. ПРИНЦИП: Сначала формализуем, потом программируем. + +--- + +Issue to solve: https://github.com/ProverCoderAI/effect-template/issues/5 +Your prepared branch: issue-5-289477047123 +Your prepared working directory: /tmp/gh-issue-solver-1768227416579 +Your forked repository: konard/ProverCoderAI-effect-template +Original repository (upstream): ProverCoderAI/effect-template + +Proceed. + + +Run timestamp: 2026-01-12T14:17:02.612Z \ No newline at end of file From 910d001037e16e3ece10c8db3cec1572ddf90edd Mon Sep 17 00:00:00 2001 From: konard Date: Mon, 12 Jan 2026 15:21:07 +0100 Subject: [PATCH 2/3] feat(ci): add GitHub Actions workflow for eslint-effect-ts-check MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Add lint-effect job to check.yml workflow for Effect-TS compliance checks - Add lint:effect script to root and app package.json - Use eslint.effect-ts-check.config.mjs for strict functional programming rules INVARIANT: ∀ commit ∈ Commits: passes(lint_effect, commit) → Effect_TS_compliant(commit) COMPLEXITY: O(n) where n = number of source files Co-Authored-By: Claude Sonnet 4.5 --- .github/workflows/check.yml | 10 ++++++++++ package.json | 1 + packages/app/package.json | 1 + 3 files changed, 12 insertions(+) diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 80466d4..32dbd9b 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -61,3 +61,13 @@ jobs: - name: Install global linter dependencies run: npm install -g typescript @biomejs/biome - run: pnpm test + + lint-effect: + name: Lint Effect-TS + runs-on: ubuntu-latest + timeout-minutes: 10 + steps: + - uses: actions/checkout@v4 + - name: Install dependencies + uses: ./.github/actions/setup + - run: pnpm lint:effect diff --git a/package.json b/package.json index f57cddd..40cbe15 100644 --- a/package.json +++ b/package.json @@ -16,6 +16,7 @@ "dev": "pnpm --filter @effect-template/app dev", "lint": "pnpm --filter @effect-template/app lint", "lint:tests": "pnpm --filter @effect-template/app lint:tests", + "lint:effect": "pnpm --filter @effect-template/app lint:effect", "test": "pnpm --filter @effect-template/app test", "typecheck": "pnpm --filter @effect-template/app typecheck", "start": "pnpm --filter @effect-template/app start" diff --git a/packages/app/package.json b/packages/app/package.json index 431e4f3..c6984f0 100644 --- a/packages/app/package.json +++ b/packages/app/package.json @@ -11,6 +11,7 @@ "dev": "vite build --watch --ssr src/app/main.ts", "lint": "npx @ton-ai-core/vibecode-linter src/", "lint:tests": "npx @ton-ai-core/vibecode-linter tests/", + "lint:effect": "npx eslint --config eslint.effect-ts-check.config.mjs .", "check": "pnpm run typecheck", "prestart": "pnpm run build", "start": "node dist/main.js", From a5c91fbcde27fda280d737a1b6fe4420320fd094 Mon Sep 17 00:00:00 2001 From: konard Date: Mon, 12 Jan 2026 15:24:08 +0100 Subject: [PATCH 3/3] Revert "Initial commit with task details" This reverts commit 168c5596939dd11e8e251ea7f16c1884ef747f6b. --- CLAUDE.md | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/CLAUDE.md b/CLAUDE.md index 07c79de..a8473ac 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -265,16 +265,3 @@ describe("Message invariants", () => { Каждый эффект — это контролируемое взаимодействие с реальным миром. ПРИНЦИП: Сначала формализуем, потом программируем. - ---- - -Issue to solve: https://github.com/ProverCoderAI/effect-template/issues/5 -Your prepared branch: issue-5-289477047123 -Your prepared working directory: /tmp/gh-issue-solver-1768227416579 -Your forked repository: konard/ProverCoderAI-effect-template -Original repository (upstream): ProverCoderAI/effect-template - -Proceed. - - -Run timestamp: 2026-01-12T14:17:02.612Z \ No newline at end of file