[cramforce]

Stacked on #1427 (which is stacked on #1422 and #1411). Review those first; this branch is based on opt/npm-lazy-loaders.

Summary

Function export objects. Some CommonJS modules make one of their own top-level functions the export object and attach members to it. semver 5 and 6 do this:

exports = module.exports = SemVer;
exports.parse = parse;
function SemVer(version) { … }

After that statement, module.exports is the function. After the rebinding form, so is exports. A new npm-static pass therefore respells member reads and writes through them as members of the function, which is the expando form both resolvers model, and drops the exports = rebinding.

The pass applies only where the rewrite is exact:

• the statement is the file's only write of module.exports and exports;
• only inert declarations and member writes precede it;
• the function is a top-level declaration that nothing reassigns;
• module and exports are the CommonJS globals.

This also fixes a silent divergence. A constructor function exported whole lost the function-valued members attached afterwards through module.exports: Node ran them, and the binary threw "is not a function".

Conditional export objects. Replacing module.exports, or rebinding exports, inside a branch makes the exports depend on which path ran. readable-stream 2.x does this with its READABLE_STREAM=disable switch. scriptc now names that construct precisely instead of the generic assignment fence.

Required builtin modules are truthy. The LLVM backend now treats a required builtin module object as truthy in boolean contexts, as any object is. readable-stream's … && Stream and Stream || exports guards failed to compile before.

Bundled builtin forwarders. A bundled chunk that only re-exports a builtin, module.exports = require("stream"), is now that builtin: its calls become the require, and no chunk module is emitted.

Evidence

• New npm corpus cases:
  • 2583-cjs-function-exports: the semver idiom and a constructor function with members attached afterwards, run with both values of the environment variable the module reads.
  • 2584-cjs-conditional-exports: a readable-stream-style environment-dependent export object, which is refused by name.
• New corpus program required-module-truthiness.cjs. Main fails it with SC3001 truthy:moduleNs.
• A unit test runs a bundle with a forwarder chunk against its original under Node.
• All new cases match Node byte for byte in the plain and sanitized lanes.
• The npm-static suite, the compiler unit tests and order-parity pass.
• Zero-cost gate against origin/main: PASS. All 2464 programs (bench, self, corpus) are byte-identical; bench geomean +0.1% and self −1.9%, within tolerance.
• pnpm lint, pnpm format:check and test:ts7 --baselines-only pass. The self-hosted compiler builds its IR cleanly, and self-hosting-native-driver.test.ts passes.

🤖 Generated with Claude Code

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated
scriptc	Ready	Preview, v0	Oct 20, 2026 8:14am UTC