@nudojs/core 1.0.0 → 1.1.0

package/README.md

@@ -1,18 +1,22 @@
 # @nudojs/core
 
-Core type value primitives and type system for the [Nudo](https://github.com/nudojs/nudo) inference engine.
+> **欢迎重回 JS 世界.** — Nudo 不限制你的 JS 表达，只忠实反映中间量与结果，并提供比类型更精确的契约校验。  
+> Welcome back to JavaScript. Your JS stays JS — observe intermediates, enforce contracts sharper than types.
+
+Core Abs type system for the [Nudo](https://github.com/nudojs/nudo) analysis engine.
 
 ## What is Nudo?
 
-Nudo is a type inference engine for JavaScript. Instead of a separate type system, it runs your code with symbolic type values via abstract interpretation — no TypeScript, no build step.
+Nudo does not restrict how you write JavaScript. It executes code on Abs (`shape × term × pred × conf`) so you can faithfully observe intermediate values and results, and validate them with contracts sharper than ordinary TypeScript types.
 
 ## This package
 
 `@nudojs/core` provides the foundational type representations and operations:
 
-- **Type values** — `TypeValue`, `LiteralValue`, `Refinement`, and the `T` namespace of built-in types
-- **Type operations** — union simplification, subtype checking, narrowing, widening
-- **Operators & dispatch** — binary ops, property access, method calls on type values
+- **Abs** — `shape × term × pred × conf`; constraints participate in algebra
+- **Type operations** — union simplification, assignability (`leqAbs`), check/gate
+- **Operators & dispatch** — binary ops, property access, method calls on Abs
+- **Rendering** — `formatShape` / `formatAbs`, one-way projections (`absToTSType`, zod)
 - **Environment** — scoped variable bindings for the abstract interpreter
 
 ## Install