cypher-codegen: type-check generated query output under Effect v4

[jbmusso]

Summary

Generated cypher-codegen query code did not type-check under Effect v4. This branch fixes the generator so its output compiles cleanly, and adds a compile guard so the class of regression can't silently return.

The previous unit tests only asserted on the emitted source string — they never compiled it — so "generated code fails tsc" could never surface as a failing test. Adding a real compile guard immediately surfaced three distinct type errors in generated output, all fixed here.

Fixes

• Row decoding — dropped the untyped Neo4jRecordToObject schema transform (its composition with the Row struct didn't satisfy decodeTo's getter under v4). record.toObject() is now called in the Effect pipeline and each row is validated directly with Schema.Array(Row), so the struct fully type-checks the decoded shape.
• TemporalString transform — inferred Transformation<string, string>, which didn't match its Schema.Unknown source. Now emits explicit SchemaTransformation.transform<string, unknown> type parameters. The unknown is confined to the encoded boundary (the opaque neo4j temporal object); decoded values stay string.
• Module params — single-file modules emitted untyped destructured params (an implicit any under strict). Resolved param types are now threaded through generateModule and annotated, matching the barrel output via a shared queryParams helper. VitePlugin and Register forward the analyzer's resolved params.

Test guard

New CypherCodegen.typecheck.node.unit.test.ts runs the TypeScript checker over generateModule and generateBarrel output (using the repo's real compiler options) and asserts zero diagnostics — covering scalars, Neo4jInt, nullable, temporal, list, map, the Neo4jValue escape hatch, and typed params. Adds typescript as a package devDependency.

Notes

• The only residual unknown/any in generated output is the encoded side of TemporalString, the deliberate Neo4jValue escape hatch, and the no-schema untyped fallback (which has no param types to emit). Consumer-facing decoded/param types are fully typed.

Verification

• All 218 cypher-codegen unit tests pass (including the new guard).
• tsc -b clean, lint clean.

Changeset

patch for @evryg/effect-cypher-codegen.