devcontour-harness 0.1.0-alpha.5 → 0.1.0-alpha.7

package/examples/toolchains/README.md

@@ -0,0 +1,32 @@
+# Toolchains: семь вариантов target-проекта
+
+Каждый каталог — маленький target-проект с детерминированной функцией `label(n)` и поручением
+дополнять номер нулями до трёх знаков (`item-007`). Тесты проекта уже описывают новое
+поведение и защищены от записи.
+
+| Каталог        | Проект                                                            | Установка                        | Проверки                                                    |
+| -------------- | ----------------------------------------------------------------- | -------------------------------- | ----------------------------------------------------------- |
+| `npm`          | Node + npm                                                        | `npm ci`                         | `npm run check`, `npm run test` (node --test, JUnit)        |
+| `pnpm`         | pnpm workspace, локальный бинарник `fx-check`                     | `pnpm install --frozen-lockfile` | `pnpm run check`, `pnpm run test` (фильтр `@fx/label`)      |
+| `turbo`        | pnpm + Turborepo 2.11.10                                          | `pnpm install --frozen-lockfile` | `turbo run check/test --filter=@fx/label`, test — `--force` |
+| `go`           | Go-модуль без package.json                                        | `go mod download`                | `go vet`, `gotestsum … -- -count=1`                         |
+| `python`       | uv-проект без package.json                                        | `uv sync --locked`               | `ruff check`, `pytest --junitxml`                           |
+| `mixed-go`     | один Git root: pnpm `frontend/` + Go `backend/` + `contract/`     | оба рецепта                      | gates с `cwd`, проверка контракта                           |
+| `mixed-python` | один Git root: pnpm `frontend/` + Python `backend/` + `contract/` | оба рецепта                      | gates с `cwd`, проверка контракта                           |
+
+Состав каталога: `repo/` — target-проект (`_gitignore` при подготовке становится
+`.gitignore`), `policy.json` — политика (`path: "repo"`), `task.json` — поручение и требования
+с `testId`, `good/` и `bad/` — файлы, которые пишет fixture writer в положительном и
+отрицательном прогоне.
+
+<!-- repo-only -->
+
+В репозитории harness (не входит в пакет). Сквозной прогон через обычный путь harness (нужны npm, pnpm, go + gotestsum, uv):
+
+```sh
+node --import tsx scripts/acceptance/t01.mjs
+```
+
+<!-- /repo-only -->
+
+Подробности — `docs/toolchains.md`.

package/examples/toolchains/go/bad/label/label.go

@@ -0,0 +1,9 @@
+// Package label форматирует метки позиций заказа.
+package label
+
+import "fmt"
+
+// Неверная реализация для отрицательного прогона: два знака.
+func Label(n int) string {
+	return fmt.Sprintf("item-%02d", n)
+}

package/examples/toolchains/go/good/label/label.go

@@ -0,0 +1,9 @@
+// Package label форматирует метки позиций заказа.
+package label
+
+import "fmt"
+
+// Label возвращает метку позиции: номер дополняется нулями до трёх знаков.
+func Label(n int) string {
+	return fmt.Sprintf("item-%03d", n)
+}

package/examples/toolchains/go/policy.json

@@ -0,0 +1,79 @@
+{
+  "policyVersion": 1,
+  "repositories": [
+    {
+      "id": "app",
+      "path": "repo",
+      "targetRef": "refs/heads/harness/accepted",
+      "prepare": [
+        {
+          "id": "install",
+          "command": ["go", "mod", "download"],
+          "timeoutMs": 600000
+        }
+      ],
+      "gates": [
+        {
+          "id": "vet",
+          "kind": "check",
+          "command": ["go", "vet", "./..."],
+          "timeoutMs": 240000
+        },
+        {
+          "id": "acceptance",
+          "kind": "test",
+          "command": ["gotestsum", "--junitfile", ".reports/junit.xml", "--", "-count=1", "./..."],
+          "timeoutMs": 240000,
+          "dependsOn": ["vet"],
+          "report": {
+            "type": "junit",
+            "path": ".reports/junit.xml"
+          }
+        }
+      ],
+      "toolchain": {
+        "tools": {
+          "gotestsum": "1.12.3"
+        }
+      },
+      "protectedPaths": [
+        ".github/",
+        ".githooks/",
+        "go.mod",
+        "go.sum",
+        "label/label_test.go",
+        "REQUIREMENTS.md"
+      ]
+    }
+  ],
+  "roles": {
+    "developer": {
+      "writer": {
+        "runtime": "claude"
+      }
+    }
+  },
+  "review": {
+    "code": {
+      "reviewer": {
+        "runtime": "codex"
+      }
+    },
+    "plan": {
+      "reviewer": {
+        "runtime": "codex"
+      }
+    },
+    "contract": {
+      "reviewer": {
+        "runtime": "codex"
+      }
+    }
+  },
+  "isolation": {
+    "mode": "none",
+    "domains": []
+  },
+  "maxAttempts": 2,
+  "runTimeoutMs": 900000
+}

package/examples/toolchains/go/repo/REQUIREMENTS.md

@@ -0,0 +1,9 @@
+# Requirements
+
+## REQ-LABEL-PAD
+
+label(n) pads the number to three digits: label(7) is "item-007", label(42) is "item-042".
+
+## REQ-LABEL-LONG
+
+label(n) keeps numbers longer than three digits unchanged: label(1234) is "item-1234".

package/examples/toolchains/go/repo/_gitignore

@@ -0,0 +1 @@
+.reports/

package/examples/toolchains/go/repo/go.mod

@@ -0,0 +1,5 @@
+module example.com/fxlabel
+
+go 1.24
+
+require golang.org/x/mod v0.25.0

package/examples/toolchains/go/repo/go.sum

@@ -0,0 +1,2 @@
+golang.org/x/mod v0.25.0 h1:n7a+ZbQKQA/Ysbyb0/6IbB1H/X41mKgbhfv7AfG/44w=
+golang.org/x/mod v0.25.0/go.mod h1:IXM97Txy2VM4PJ3gI61r1YEk/gAj6zAHN3AdZt6S9Ww=

package/examples/toolchains/go/repo/label/label.go

@@ -0,0 +1,9 @@
+// Package label форматирует метки позиций заказа.
+package label
+
+import "fmt"
+
+// Label возвращает метку позиции.
+func Label(n int) string {
+	return fmt.Sprintf("item-%d", n)
+}

package/examples/toolchains/go/repo/label/label_test.go

@@ -0,0 +1,27 @@
+package label
+
+import "testing"
+
+func TestLabelPadsOneDigit(t *testing.T) {
+	if got := Label(7); got != "item-007" {
+		t.Fatalf("Label(7) = %q, want item-007", got)
+	}
+}
+
+func TestLabelPadsTwoDigits(t *testing.T) {
+	if got := Label(42); got != "item-042" {
+		t.Fatalf("Label(42) = %q, want item-042", got)
+	}
+}
+
+func TestLabelKeepsLong(t *testing.T) {
+	if got := Label(1234); got != "item-1234" {
+		t.Fatalf("Label(1234) = %q, want item-1234", got)
+	}
+}
+
+func TestFormatVersion(t *testing.T) {
+	if !ValidFormat() {
+		t.Fatal("format version is not semver")
+	}
+}

package/examples/toolchains/go/repo/label/version.go

@@ -0,0 +1,9 @@
+package label
+
+import "golang.org/x/mod/semver"
+
+// FormatVersion — версия формата меток (внешняя зависимость модуля проверяется go.sum).
+const FormatVersion = "v1.0.0"
+
+// ValidFormat сообщает, что версия формата — корректная semver.
+func ValidFormat() bool { return semver.IsValid(FormatVersion) }

package/examples/toolchains/go/task.json

@@ -0,0 +1,25 @@
+{
+  "title": "Pad item labels to three digits",
+  "goal": "Change label(n) in label/label.go so the number is zero-padded to three digits (item-007), keeping longer numbers unchanged.",
+  "acceptance": [
+    "label(7) is item-007 and label(42) is item-042",
+    "label(1234) is item-1234",
+    "All gates pass with fresh JUnit reports"
+  ],
+  "writeScope": ["label"],
+  "gates": ["vet", "acceptance"],
+  "requirements": [
+    {
+      "id": "REQ-LABEL-PAD",
+      "gate": "acceptance",
+      "testId": "example.com/fxlabel/label.TestLabelPadsOneDigit",
+      "scenario": "example.com/fxlabel/label.TestLabelPadsOneDigit runs and passes on the accepted SHA"
+    },
+    {
+      "id": "REQ-LABEL-LONG",
+      "gate": "acceptance",
+      "testId": "example.com/fxlabel/label.TestLabelKeepsLong",
+      "scenario": "example.com/fxlabel/label.TestLabelKeepsLong runs and passes on the accepted SHA"
+    }
+  ]
+}

package/examples/toolchains/mixed-go/bad/backend/label/label.go

@@ -0,0 +1,9 @@
+// Package label форматирует метки позиций заказа.
+package label
+
+import "fmt"
+
+// Неверная реализация для отрицательного прогона: два знака.
+func Label(n int) string {
+	return fmt.Sprintf("item-%02d", n)
+}

package/examples/toolchains/mixed-go/bad/frontend/src/label.js

@@ -0,0 +1,4 @@
+// Метка позиции заказа: номер дополняется нулями до трёх знаков.
+export function label(n) {
+  return `item-${String(n).padStart(3, '0')}`;
+}

package/examples/toolchains/mixed-go/good/backend/label/label.go

@@ -0,0 +1,9 @@
+// Package label форматирует метки позиций заказа.
+package label
+
+import "fmt"
+
+// Label возвращает метку позиции: номер дополняется нулями до трёх знаков.
+func Label(n int) string {
+	return fmt.Sprintf("item-%03d", n)
+}

package/examples/toolchains/mixed-go/good/frontend/src/label.js

@@ -0,0 +1,4 @@
+// Метка позиции заказа: номер дополняется нулями до трёх знаков.
+export function label(n) {
+  return `item-${String(n).padStart(3, '0')}`;
+}

package/examples/toolchains/mixed-go/policy.json

@@ -0,0 +1,126 @@
+{
+  "policyVersion": 1,
+  "repositories": [
+    {
+      "id": "app",
+      "path": "repo",
+      "targetRef": "refs/heads/harness/accepted",
+      "prepare": [
+        {
+          "id": "frontend-install",
+          "command": ["pnpm", "--dir", "frontend", "install", "--frozen-lockfile"],
+          "timeoutMs": 600000
+        },
+        {
+          "id": "backend-install",
+          "command": ["go", "-C", "backend", "mod", "download"],
+          "timeoutMs": 600000
+        }
+      ],
+      "toolchain": {
+        "tools": {
+          "pnpm": "10.12.3",
+          "gotestsum": "1.12.3"
+        },
+        "packageManagers": {
+          "frontend": "pnpm"
+        }
+      },
+      "gates": [
+        {
+          "id": "frontend-check",
+          "kind": "check",
+          "cwd": "frontend",
+          "command": ["pnpm", "run", "check"],
+          "timeoutMs": 240000
+        },
+        {
+          "id": "frontend-tests",
+          "kind": "test",
+          "cwd": "frontend",
+          "command": ["pnpm", "run", "test"],
+          "timeoutMs": 240000,
+          "dependsOn": ["frontend-check"],
+          "report": {
+            "type": "junit",
+            "path": ".reports/frontend.xml"
+          }
+        },
+        {
+          "id": "contract",
+          "kind": "check",
+          "cwd": "frontend",
+          "command": ["pnpm", "run", "contract"],
+          "timeoutMs": 60000
+        },
+        {
+          "id": "backend-vet",
+          "kind": "check",
+          "cwd": "backend",
+          "command": ["go", "vet", "./..."],
+          "timeoutMs": 240000
+        },
+        {
+          "id": "backend-tests",
+          "kind": "test",
+          "cwd": "backend",
+          "command": [
+            "gotestsum",
+            "--junitfile",
+            "../.reports/backend.xml",
+            "--",
+            "-count=1",
+            "./..."
+          ],
+          "timeoutMs": 240000,
+          "dependsOn": ["backend-vet"],
+          "report": {
+            "type": "junit",
+            "path": ".reports/backend.xml"
+          }
+        }
+      ],
+      "protectedPaths": [
+        ".github/",
+        ".githooks/",
+        "contract/",
+        "frontend/package.json",
+        "frontend/pnpm-lock.yaml",
+        "frontend/test/",
+        "REQUIREMENTS.md",
+        "backend/go.mod",
+        "backend/label/label_test.go"
+      ]
+    }
+  ],
+  "roles": {
+    "developer": {
+      "writer": {
+        "runtime": "claude"
+      }
+    }
+  },
+  "review": {
+    "code": {
+      "reviewer": {
+        "runtime": "codex"
+      }
+    },
+    "plan": {
+      "reviewer": {
+        "runtime": "codex"
+      }
+    },
+    "contract": {
+      "reviewer": {
+        "runtime": "codex"
+      }
+    }
+  },
+  "isolation": {
+    "mode": "none",
+    "domains": []
+  },
+  "maxAttempts": 2,
+  "runTimeoutMs": 900000
+}

package/examples/toolchains/mixed-go/repo/REQUIREMENTS.md

@@ -0,0 +1,9 @@
+# Requirements
+
+## REQ-FRONTEND-CONTRACT
+
+The frontend label(n) follows contract/label.json: prefix "item-", width 3, every example matches.
+
+## REQ-BACKEND-CONTRACT
+
+The backend label follows the same contract/label.json examples as the frontend.

package/examples/toolchains/mixed-go/repo/_gitignore

@@ -0,0 +1,6 @@
+node_modules/
+.reports/
+.venv/
+__pycache__/
+.pytest_cache/
+.ruff_cache/

package/examples/toolchains/mixed-go/repo/backend/go.mod

@@ -0,0 +1,3 @@
+module example.com/fxbackend
+
+go 1.24

package/examples/toolchains/mixed-go/repo/backend/label/label.go

@@ -0,0 +1,9 @@
+// Package label форматирует метки позиций заказа.
+package label
+
+import "fmt"
+
+// Label возвращает метку позиции.
+func Label(n int) string {
+	return fmt.Sprintf("item-%d", n)
+}

package/examples/toolchains/mixed-go/repo/backend/label/label_test.go

@@ -0,0 +1,30 @@
+package label
+
+import (
+	"encoding/json"
+	"os"
+	"testing"
+)
+
+type contract struct {
+	Prefix   string  `json:"prefix"`
+	Width    int     `json:"width"`
+	Examples [][]any `json:"examples"`
+}
+
+func TestBackendLabelFollowsContract(t *testing.T) {
+	raw, err := os.ReadFile("../../contract/label.json")
+	if err != nil {
+		t.Fatal(err)
+	}
+	var c contract
+	if err := json.Unmarshal(raw, &c); err != nil {
+		t.Fatal(err)
+	}
+	for _, e := range c.Examples {
+		n, want := int(e[0].(float64)), e[1].(string)
+		if got := Label(n); got != want {
+			t.Errorf("Label(%d) = %q, want %q", n, got, want)
+		}
+	}
+}

package/examples/toolchains/mixed-go/repo/contract/check.mjs

@@ -0,0 +1,17 @@
+// Согласованность общего контракта меток: примеры следуют prefix и width.
+// Обе стороны (frontend и backend) проверяют себя по этим же примерам.
+import { readFileSync } from 'node:fs';
+const contract = JSON.parse(readFileSync(new URL('./label.json', import.meta.url), 'utf8'));
+let bad = 0;
+for (const [n, expected] of contract.examples) {
+  const derived = contract.prefix + String(n).padStart(contract.width, '0');
+  if (derived !== expected) {
+    console.error(`contract: ${n} → ${expected}, правило даёт ${derived}`);
+    bad++;
+  }
+}
+if (!contract.examples.length) bad++;
+console.log(
+  bad ? 'contract: inconsistent' : `contract: ${contract.examples.length} examples consistent`,
+);
+process.exit(bad ? 1 : 0);

package/examples/toolchains/mixed-go/repo/contract/label.json

@@ -0,0 +1,9 @@
+{
+  "prefix": "item-",
+  "width": 3,
+  "examples": [
+    [7, "item-007"],
+    [42, "item-042"],
+    [1234, "item-1234"]
+  ]
+}

package/examples/toolchains/mixed-go/repo/frontend/package.json

@@ -0,0 +1,15 @@
+{
+  "name": "fx-frontend",
+  "version": "1.0.0",
+  "private": true,
+  "type": "module",
+  "packageManager": "pnpm@10.12.3",
+  "scripts": {
+    "check": "node --check src/label.js && node --check test/label.test.js",
+    "contract": "node ../contract/check.mjs",
+    "test": "node --test --test-reporter=spec --test-reporter-destination=stdout --test-reporter=junit --test-reporter-destination=../.reports/frontend.xml test/*.test.js"
+  },
+  "devDependencies": {
+    "picocolors": "1.1.1"
+  }
+}

package/examples/toolchains/mixed-go/repo/frontend/pnpm-lock.yaml

@@ -0,0 +1,22 @@
+lockfileVersion: '9.0'
+
+settings:
+  autoInstallPeers: true
+  excludeLinksFromLockfile: false
+
+importers:
+
+  .:
+    devDependencies:
+      picocolors:
+        specifier: 1.1.1
+        version: 1.1.1
+
+packages:
+
+  picocolors@1.1.1:
+    resolution: {integrity: sha512-xceH2snhtb5M9liqDsmEw56le376mTZkEX/jEb/RxNFyegNul7eNslCXP9FDj/Lcu0X8KEyMceP2ntpaHrDEVA==}
+
+snapshots:
+
+  picocolors@1.1.1: {}

package/examples/toolchains/mixed-go/repo/frontend/src/label.js

@@ -0,0 +1,4 @@
+// Метка позиции заказа.
+export function label(n) {
+  return `item-${n}`;
+}

package/examples/toolchains/mixed-go/repo/frontend/test/label.test.js

@@ -0,0 +1,11 @@
+import { test } from 'node:test';
+import assert from 'node:assert/strict';
+import { readFileSync } from 'node:fs';
+import { label } from '../src/label.js';
+
+const contract = JSON.parse(
+  readFileSync(new URL('../../contract/label.json', import.meta.url), 'utf8'),
+);
+test('frontend label follows the shared contract', () => {
+  for (const [n, expected] of contract.examples) assert.equal(label(n), expected);
+});

package/examples/toolchains/mixed-go/task.json

@@ -0,0 +1,25 @@
+{
+  "title": "Pad item labels to three digits",
+  "goal": "Change label(n) in frontend/src/label.js and backend/label/label.go so the number is zero-padded to three digits (item-007), keeping longer numbers unchanged.",
+  "acceptance": [
+    "label(7) is item-007 and label(42) is item-042",
+    "label(1234) is item-1234",
+    "All gates pass with fresh JUnit reports"
+  ],
+  "writeScope": ["frontend/src", "backend/label"],
+  "gates": ["frontend-check", "frontend-tests", "contract", "backend-vet", "backend-tests"],
+  "requirements": [
+    {
+      "id": "REQ-FRONTEND-CONTRACT",
+      "gate": "frontend-tests",
+      "testId": "test.frontend label follows the shared contract",
+      "scenario": "test.frontend label follows the shared contract runs and passes on the accepted SHA"
+    },
+    {
+      "id": "REQ-BACKEND-CONTRACT",
+      "gate": "backend-tests",
+      "testId": "example.com/fxbackend/label.TestBackendLabelFollowsContract",
+      "scenario": "example.com/fxbackend/label.TestBackendLabelFollowsContract runs and passes on the accepted SHA"
+    }
+  ]
+}

package/examples/toolchains/mixed-python/bad/backend/src/fx_backend/__init__.py

@@ -0,0 +1,6 @@
+"""Метки позиций заказа (backend)."""
+
+
+def label(n: int) -> str:
+    """Неверная реализация для отрицательного прогона: два знака."""
+    return f"item-{n:02d}"

package/examples/toolchains/mixed-python/bad/frontend/src/label.js

@@ -0,0 +1,4 @@
+// Метка позиции заказа: номер дополняется нулями до трёх знаков.
+export function label(n) {
+  return `item-${String(n).padStart(3, '0')}`;
+}

package/examples/toolchains/mixed-python/good/backend/src/fx_backend/__init__.py

@@ -0,0 +1,6 @@
+"""Метки позиций заказа (backend)."""
+
+
+def label(n: int) -> str:
+    """Метка позиции: номер дополняется нулями до трёх знаков."""
+    return f"item-{n:03d}"

package/examples/toolchains/mixed-python/good/frontend/src/label.js

@@ -0,0 +1,4 @@
+// Метка позиции заказа: номер дополняется нулями до трёх знаков.
+export function label(n) {
+  return `item-${String(n).padStart(3, '0')}`;
+}