zeekayandHanzo Dev d6c799c1f6 Typecheck on the native compiler, keep 6 for the tools ...

typescript 7.0.2 is the native compiler and exports no JavaScript API, so next
cannot read it. It comes in aliased as tsgo and does the typechecking;
typescript stays on the 6 line for the tools. site and formal/site each report
1 diagnostic under both compilers.

Co-authored-by: Hanzo Dev <[email protected]>

2026-09-17 00:20:38 -07:00

..

src

Publish under the org, not a person

2026-09-01 08:58:14 -07:00

next-env.d.ts

proofs: ZK signatures, property tests, site

2026-03-02 12:00:00 -08:00

next.config.mjs

proofs: ZK signatures, property tests, site

2026-03-02 12:00:00 -08:00

package-lock.json

Typecheck on the native compiler, keep 6 for the tools

2026-09-17 00:20:38 -07:00

package.json

Typecheck on the native compiler, keep 6 for the tools

2026-09-17 00:20:38 -07:00

postcss.config.mjs

proofs: ZK signatures, property tests, site

2026-03-02 12:00:00 -08:00

tsconfig.json

proofs: ZK signatures, property tests, site

2026-03-02 12:00:00 -08:00