Split entry points, generate types from schema, humanize errors

[zhawtof]

Summary

Adds five new entry points so consumers only pay for what they use, generates TypeScript types directly from the JSON Schema, and collapses AJV's oneOf-branch cascade into focused per-block errors.

New entry points

Entry	Pulls Ajv?	Use when
@tightknitai/slack-block-kit-validator	yes	Full wrapper (existing behavior).
/helpers	no	Pure helpers, composable with Zod/TypeBox/your validator.
/schema	no	Just slackBlockKitSchema as a JS module.
/schema.json	n/a	Raw JSON Schema (existing).
/standalone	no — precompiled	Self-contained validateBlocks / validateModal / validateHome for Workers/Deno deploy. No runtime deps — Ajv usage is fully inlined at build time via esbuild.
/types	no — types only	Block, SectionBlock, ModalView, etc. generated from the schema.

Error humanization

• /0/text paths now render as blocks[0].text, matching the helper-emitted format.
• A malformed section block went from ~80 errors (expected "actions", expected "alert", … one per block kind) to 2 errors (missing required property 'text', missing required property 'fields').
• Achieved by compiling one focus validator per block kind in BLOCK_TYPE_TO_DEF and re-validating each offending block against just its discriminator-matched branch. Umbrella oneOf/anyOf/not messages are suppressed when underlying errors say the same thing.
• Single-line diagnostics for unrecognized / missing / wrong-shape type.

Tests

• Property-based tests via fast-check for the recursive walkers and stripUndefined. Caught a real bug: check-response-url-enabled-context.ts crashed on null block slots (which appear after normalization). Fixed.
• Type-level test (test/types.test-d.ts) exercises the most easily-broken generated shapes so the types can't silently regress.
• Tests now live under tsconfig.test.json so tsc --noEmit actually checks them (the original config excluded test/).
• 428 tests passing, was 404.

Benchmarks

bench/index.ts via tinybench. Baseline numbers (M-class laptop, Node 22):

Task	ops/sec
validateBlockKit / 5-block valid	~64K
validateBlockKit / 50-block valid	~4.3K
findDuplicateBlockIds / 50 blocks	~890K
checkSurfaceCompatibility / 50 blocks	~4M

CI

• Node matrix expanded to 20/22/24.
• Bun job runs the full vitest suite under bun --bun.
• Deno smoke (scripts/smoke-deno.ts) imports every entry point and runs basic round-trip checks.
• Cloudflare Workers smoke bundles scripts/smoke-worker.ts via esbuild in worker mode; any unbundled require() or Node-only API surfaces as a build failure.
• Generated types in sync check fails if src/types.generated.ts drifts from the schema.

Notes for the reviewer

• src/types.generated.ts is committed (so types are greppable on GitHub). The new CI job + pnpm run generate:types chained into build keeps it honest.
• Standalone bundle is 783 KB unpacked but only ~91 KB gzipped. The full tarball ships at 91.5 KB / 1 MB unpacked.
• The README now points at the new entry points; old pnpm dlx ajv compile ... snippet removed.

Test plan

• pnpm typecheck — src + test + bench + scripts all type-checked
• pnpm lint — biome clean (42 files)
• pnpm test — 428 passing
• pnpm run build:clean — full pipeline (generate:types → tsc → compile:standalone) green
• npm pack --dry-run — 66 files, 91.5 KB
• Cross-entry-point smoke (/, /helpers, /schema, /standalone) — all 11 assertions pass
• Consumer-style typecheck of dist/types.js — exports usable in strict TS
• Bun job (verified on CI — no local Bun)
• Deno smoke (verified on CI — no local Deno)
• Workers smoke build (verified locally — esbuild produces 766 KB ESM bundle)

🤖 Generated with Claude Code