feat(engine): single-source logic engine generating TypeScript, Python, Go and Rust - #587

Closed

hyanmandian wants to merge 42 commits into

mainfrom

claude/generic-utilities-engine-h2qm1o

Commits on Sep 21, 2026

feat(engine): single-source logic engine generating TypeScript, Python and Go
claude
committed
32a3f6d
ci(engine): verify the engine and its generated targets on pull requests
claude
committed
cc817be
style(config): wrap the lint ignore list to the formatter's width
claude
committed
61c3e12
perf(engine): drop the option round trip and print a plain nil check
claude
committed
63cc6f5
refactor(core): name the directory each target's fixtures are written to
claude
committed
540f14f
fix(engine): escape pipes in the lowering table
claude
committed
c56bfa0
fix(engine): keep the state carried by break and continue
claude
committed
6cb013f
fix(engine): resolve the capabilities import from nested modules
claude
committed
6f6cb29
chore(core): commit the generated output for the three targets
claude
committed
d8a3546
docs(engine): state what break and continue mean in the subset
claude
committed
72c6c65
feat(core): generate CPF and CNPJ from the Random capability
claude
committed
86842d3
fix(engine): make the generated Python read like Python
claude
committed
acfaee2
docs: re-derive the metrics after the generators landed
claude
committed
5b0da95
ci(engine): pin the formatters the committed output depends on
claude
committed
0d48ea9
test(core): benchmark the generated code against each language's own port
claude
committed
7d25d5e
perf(engine): compile each Go pattern once, at package scope
claude
committed
fbe292f
feat(engine): add Rust as a fourth target, std only
claude
committed
88b46b6
perf(engine): compile each Rust pattern at generation time
claude
committed
4a58408
docs: re-derive the metrics with Rust in the table
claude
committed
052b8b8
perf(engine): compile each Python pattern once, at module level
claude
committed
0605b99
docs(engine): say what a raw emission costs a target author
claude
committed
afb7d55
test(core): benchmark all nine utilities, not three
claude
committed
536b6fa
perf(engine): borrow the Rust parameters a pre-pass proves are only read
claude
committed
5928e1d
fix(engine): draw randomness the way the published package documents
claude
committed
45faae1
feat(engine): generate the published signature, not an injected one
claude
committed
b1c7734
test(engine): generate random programs and run the pipeline against itself
claude
committed
743dda3
docs(engine): measure how far the subset is from ordinary TypeScript
claude
committed
62c9acc
feat(engine): read ordinary TypeScript, not only the engine's namespaces
claude
committed
0bc275b
docs(engine): describe the subset in the spelling authors will use
claude
committed
fc42a9a
feat(core): the source is TypeScript that actually runs
claude
committed
5f1d2de
docs(engine): keep the measured case for generating source
claude
committed
1373b40
feat(engine): `xs[i] ?? fallback` is the author asking for the absent case
claude
committed
fb60bca
docs: write down why `??` decides the accessor, not provability
claude
committed
6269b0d
docs(core): correct the closing coverage numbers
claude
committed
8d6c6f5
feat(engine): accept `number` and infer its range
claude
committed
27ac631
perf(engine): inline per target, and stop doing work the host already does
claude
committed
7804c56

Commits on Sep 22, 2026