feat! Introduce Regorus type analysis pipeline with CLI support - #492

Open

Anand Krishnamoorthi (anakrish) wants to merge 43 commits into

microsoft:mainfrom

anakrish:type-inference

Commits on Oct 28, 2025

feat: prepare interpreter and AST for constant folding
Anand Krishnamoorthi (anakrish)
committed
171d404
feat: add rule path helpers
Anand Krishnamoorthi (anakrish)
committed
b24088b
feat: add core type analysis model
Anand Krishnamoorthi (anakrish)
committed
09bfc72
feat: add constant fact store
Anand Krishnamoorthi (anakrish)
committed
3cb79f4
feat: add value-to-type bridge
Anand Krishnamoorthi (anakrish)
committed
7296537
feat: add type analysis contexts
Anand Krishnamoorthi (anakrish)
committed
728eb2d
Introduce type analysis result model
Anand Krishnamoorthi (anakrish)
committed
0230ce8
Add type analysis options
Anand Krishnamoorthi (anakrish)
committed
5cd4f60
Add propagation analysis state
Anand Krishnamoorthi (anakrish)
committed
6ad207a
Add type analyzer scaffold
Anand Krishnamoorthi (anakrish)
committed
b31f8e8
Add rule analysis traversal
Anand Krishnamoorthi (anakrish)
committed
2d87024
Extend parser metadata for type analysis
Anand Krishnamoorthi (anakrish)
committed
c03bfaf
Add type analysis diagnostics
Anand Krishnamoorthi (anakrish)
committed
1eff55d
Add type analysis fact helpers
Anand Krishnamoorthi (anakrish)
committed
c563873
Add loop binding helpers for propagation
Anand Krishnamoorthi (anakrish)
committed
a353719
Infer unary negation types
Anand Krishnamoorthi (anakrish)
committed
db076cd
Infer set operations
Anand Krishnamoorthi (anakrish)
committed
7538f08
Infer boolean comparisons
Anand Krishnamoorthi (anakrish)
committed
7207049
Infer arithmetic operations
Anand Krishnamoorthi (anakrish)
committed
caacffc
Infer assignment expressions
Anand Krishnamoorthi (anakrish)
committed
c987e47
Infer literal expressions
Anand Krishnamoorthi (anakrish)
committed
19bfe7a
type-analysis: add structural utility helpers
Anand Krishnamoorthi (anakrish)
committed
27242b9
type-analysis: add property access inference
Anand Krishnamoorthi (anakrish)
committed
25ffeb8
type-analysis: infer structural literals
Anand Krishnamoorthi (anakrish)
committed
099a93d
type-analysis: add expression module shims
Anand Krishnamoorthi (anakrish)
committed
14f3ac1
type-analysis: add expression helper utilities
Anand Krishnamoorthi (anakrish)
committed
20d5257
type-analysis: add expression dispatcher
Anand Krishnamoorthi (anakrish)
committed
f9614bf
type-analysis: add comprehension inference
Anand Krishnamoorthi (anakrish)
committed
f4e42f5
type-analysis: add statement inference
Anand Krishnamoorthi (anakrish)
committed
72eeb0d
type-analysis: add rule expression module
Anand Krishnamoorthi (anakrish)
committed
077961e
type-analysis: add rule lookup helpers
Anand Krishnamoorthi (anakrish)
committed
2df1694
type-analysis: add rule call handling
Anand Krishnamoorthi (anakrish)
committed
0f4e8cc
type-analysis: add builtin catalog and lookup
Anand Krishnamoorthi (anakrish)
committed
8fa9e31
type-analysis: expose public entrypoints
Anand Krishnamoorthi (anakrish)
committed
eac2c1d
type-analysis: integrate checker into engine
Anand Krishnamoorthi (anakrish)
committed
0646834
tests(type-analysis): add YAML harness and suites
Anand Krishnamoorthi (anakrish)
committed
0472582
examples: add type analysis helpers
Anand Krishnamoorthi (anakrish)
committed
22d2217
docs: document type analysis workflow
Anand Krishnamoorthi (anakrish)
committed
977b6ef
Fix build without default-features
Anand Krishnamoorthi (anakrish)
committed
4c71846
fix: clippy warnings
Anand Krishnamoorthi (anakrish)
committed
4912692
fix test execution in no-std
Anand Krishnamoorthi (anakrish)
committed
48b51ed

Commits on Oct 29, 2025

fix schema doc tests
Anand Krishnamoorthi (anakrish)
committed
c2a342b
fix: Do not use the or keyword
Anand Krishnamoorthi (anakrish)
committed
6b6ba2b