Structural Checks

The structural invariant checker at scripts/lint/enforce-domain-invariants.mjs validates cross-file relationships that ESLint cannot check. It reads multiple files, compares structures, and reports violations.

Table Parity Checks

Effect Schema Parity

For every pgTable(...) declaration in packages/db/src/, there must be a corresponding file in packages/db/src/effect-schemas/:

users table    -> packages/db/src/effect-schemas/users.ts
tasks table    -> packages/db/src/effect-schemas/tasks.ts
workspaces     -> packages/db/src/effect-schemas/workspaces.ts

Each schema file must satisfy the following requirements:

Factory Parity

For every table, there must be a factory in packages/db/src/factories/:

users table    -> packages/db/src/factories/users.factory.ts
tasks table    -> packages/db/src/factories/tasks.factory.ts

Each factory must export a create*Factory function and be re-exported from factories/index.ts.

Domain Structure Validation

Required Folders

Every domain under packages/core/src/domains/ must contain the following:

Forbidden Folders

Domains must not contain repositories/ or services/ directories. Use ports/ for contracts and adapters/ for implementations.

Layer Direction

The checker validates every import path within domain files:

Cross-domain imports are forbidden. Each domain is self-contained.

Kind Marker Validation

Repository Port Kinds

Every port file in packages/core/src/domains/*/ports/ must declare:

export const TaskRepositoryKind = 'crud' as const

If marked crud, the port must expose the full CRUD surface (list, getById, create, update, remove). If marked custom, it must not expose the full CRUD surface.

Route Kinds

Every route file in apps/api/src/routes/ must declare a kind marker. The checker validates that route kinds match their corresponding repository port kinds.

Source Hygiene

No TODO/FIXME/HACK

Placeholder comments are forbidden in source modules. Track work items in the issue tracker, not in code comments.

No Build Artifacts

Generated .js, .js.map, .d.ts, and .d.ts.map files are forbidden under src/ directories.

No Direct process.env

Source modules must read environment through dedicated env modules. Allowed env files are explicitly listed in the checker.

Integration Coverage Baselines

The checker verifies that critical integration suites exist and contain required markers:

Test Colocation

All tests must be colocated with their source modules. The following patterns are forbidden:

Every test file must have a colocated source module.