Merge branch 'main' into weswigham/negated-types

Author: weswigham

.github/copilot-instructions.md

@@ -107,6 +107,9 @@ It is fine to implement more and more of a feature across commits, but be sure t
 - Do not add or change existing dependencies unless asked to.
 - Do not remove any debug assertions or panic calls. Existing assertions are never too strict or incorrect.
 - Do not use the `timeout` command when running tests or other commands, unless specifically debugging a hanging issue. Commands should be run directly without timeout wrappers in normal operation.
+- Do not summarize new changes in any markdown files in the repo. Specifically:
+  - `tsc/CHANGES.md` is a historical artifact for the 6.0 to 7.0 migration, not a live document.
+  - `CONTRIBUTING.md` only documents high-level build tool instructions, not their implementation details.
 
 # PR Template
 

CONTRIBUTING.md

@@ -102,6 +102,7 @@ The repository uses a Go workspace with modules in `tsc/` and `tools/`.
 npx hereby build         # Build the native compiler into built/local/tsc
 npx hereby test          # Run compiler and language-service Go tests
 npx hereby test:all      # Also run benchmarks, tools, and API tests
+npx hereby test:codegen  # Run codegen tests without regenerating source outputs
 npx hereby lint          # Run custom golangci-lint for both Go modules
 npx hereby generate:go   # Run the generators also exposed through go generate
 npx hereby generate      # Regenerate all sources, assets, localization, and vendored files
@@ -116,6 +117,14 @@ Generation is owned by `Herebyfile.mjs`; Go directives forward to the same
 to bypass incremental caches. `generate` includes every generator and fetches
 the pinned LSP model when its local cache is missing or stale. Use
 `generate:go` for the narrower scope of `go generate ./...` in the `tsc` module.
+Up-to-date generators emit no status messages.
+
+`npx hereby build` runs `generate` before compiling; a separate generation step
+is not needed. The API and package build tasks share this prerequisite, and
+`build:watch` runs the full incremental generation suite before every rebuild.
+Each watch pass clears cached input fingerprints and runs generation in-process.
+Restart the watcher after editing generator implementations. Generator-owned outputs are
+excluded from watch events to avoid regeneration loops.
 
 Package-specific commands:
 
@@ -142,19 +151,8 @@ go -C ./tsc test -run='TestLocal/<test name>' ./internal/testrunner
 Run:
 
 ```bash
-npx hereby generate
-npx hereby build
-npx hereby test
-npx hereby test:all
-npx hereby lint
-npx hereby format
-npx hereby check:format
-npm run -w @typescript/typescript build
-npm run -w @typescript/typescript test
-npm run -w native-preview build
-go -C ./tsc mod tidy -diff
-go -C ./tools mod tidy -diff
-go work sync
+npx hereby validate --all
+npx hereby tidy
 git diff --exit-code
 ```