@chenglou/freerange 0.0.3 → 0.0.4

package/CHANGELOG.md

@@ -2,12 +2,18 @@
 
 ## Unreleased
 
+## 0.0.4 - 2026-07-31
+
+- Allow `Date.now()` to represent dates before the Unix epoch.
+- Support numeric phantom types (#6).
+- Only recognize `Math`, `Number`, `Infinity`, parser functions, and browser globals when they resolve to TypeScript's standard libraries.
+
 ## 0.0.3 - 2026-07-28
 
 - Analyze arrow functions and function expressions assigned directly to top-level `const` names.
 - Preserve type narrowing through `&&` and `||` expressions.
 - Analyze each `Math.random()` call as a fresh number from zero up to, but not including, one.
-- Avoid quadratic work when tracking values through deep chains of same-file function calls.
+- Avoid quadratic work when tracking values through deep chains of same-file function calls (#3).
 - Consolidate analysis limits and practical refactoring examples in the README.
 
 ## 0.0.2 - 2026-07-21

package/README.md

@@ -134,6 +134,8 @@ Before changing an input rule, decide what the application should do. If `column
 
 For each `number`, Freerange remembers its lowest and highest possible values, whether it is an integer, whether it may be `NaN` or infinite, and at most one exact value that has been ruled out. It reasons about JavaScript floating-point numbers rather than ideal real numbers and does not use a general-purpose theorem prover.
 
+Freerange also supports numeric phantom types, e.g. `type Pixels = number & {readonly __brand: 'pixels'}`.
+
 #### No common-subexpression elimination
 
 Freerange does not replace repeated calculations with one stored result, even when their source code is identical. This function checks one subtraction, then divides by a newly evaluated subtraction:
@@ -285,7 +287,7 @@ export function labelWidthFromMeasurement(measuredWidth: number): number {
 }
 ```
 
-An unsupported caller can pass `measureText(text)` into this helper, allowing Freerange to verify the rule but not the imported measurement. Imported constants work when their initializer resolves to a numeric literal such as `export const GAP = 24`.
+An unsupported caller can pass `measureText(text)` into this helper, allowing Freerange to verify the rule but not the imported measurement. Imported constants work when their initializer resolves to a numeric literal such as `export const GAP = 24`. Runtime import cycles are outside Freerange's scope: an imported module must finish initializing before analyzed code reads its values. Type-only import cycles are fine.
 
 #### No higher-order function analysis