Jev
Projects and libraries using Jev for routing, verification and typed decisions.
Repository owner imageTypeSafe Migration Guard Prototype
Demonstrate a model-assisted SAFE/DANGER check before SQL migrations.
CategoryVerification & guardrails | UseSQL migration assessment prototype | SourceGitHub |
Owneropaielsheikh | Original projecthttps://github.com/opaielsheikh/typesafe-migration-guard | |
Research evidence
lib/typesafe.ts calls systemOne with a safety Choice over supplied SQL; package.json aliases its @typesafeai/sdk import to the official @typesafe-ai/sdk package. The API returns HTTP 403 only for DANGER with a caller-supplied production environment. check-migrations.ts exits unsuccessfully on blocked or failed requests.
A separately implemented prototype, not a verified production migration safeguard or an official TypeSafe integration.
The inspected CI waits on port 3000 while start uses 3005 and invokes deployment in simulation mode. deploy-ec2.sh checks the current files before fetching and resetting to another revision, so that check does not bind the later migration bytes. No confidence threshold or claimed latency guarantee is enforced. Production-ready, deterministic and zero-risk claims are not adopted.
documentation source 1 (retrieved 2026-09-18)code source 2 (retrieved 2026-09-18)code source 3 (retrieved 2026-09-18)code source 4 (retrieved 2026-09-18)code source 5 (retrieved 2026-09-18)code source 6 (retrieved 2026-09-18)code source 7 (retrieved 2026-09-18)