feat(B-0183 Phase 1 sibling): TS wrapper for Alloy + fix AlloyRunner.java API (latent silent-no-op fix)#1413

Merged

AceHack merged 2 commits intomainfrom

feat/b0183-phase1-alloy-ts-wrapper

May 3, 2026

Commits on May 3, 2026

feat(B-0183 Phase 1 sibling): TS wrapper for Alloy + fix AlloyRunner.java API + gitignore classes/
AceHack
committed
fix(run-alloy.ts): align with run-tlc.ts fixes — unused imports + in-process which + exit code 3 + fail-on-missing + failure-details
AceHack
committed