zeekayandHanzo Dev 59819a92c6 Compile with TypeScript 7 ...

typescript 7.0.2 is the native compiler; site/'s only TS-API consumer is
next 16, which tolerates the bare pin (measured, per the api recipe's
exception), so no tsgo two-compiler shape is needed here. Added a
typecheck script. 0 diagnostics before and after.

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

2026-09-16 22:17:38 -07:00

..

.github/workflows

proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests

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

src

Publish under the org, not a person

2026-09-01 02:31:02 -07:00

.gitignore

proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests

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

next.config.mjs

proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests

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

package-lock.json

Compile with TypeScript 7

2026-09-16 22:17:38 -07:00

package.json

Compile with TypeScript 7

2026-09-16 22:17:38 -07:00

postcss.config.mjs

proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests

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

tsconfig.json

proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests

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