@isl-lang/typechecker MIT 3 versions

@isl-lang/typechecker

npm Repository Homepage

Semantic analyzer for ISL - validates AST, resolves types, builds symbol table

Versions

MIT

License

Install Scripts

Missing

Provenance

Supply chain provenance

Status for the latest visible version.

No SLSA provenance npm registry signatures gitHead linked

Without SLSA provenance there is no cryptographic link between this tarball and the public source — the axios compromise (March 2026) relied on exactly this gap.

Maintainers

vibecheckai

Keywords

isltypecheckersemantic-analysistype-systemintent-specification

Accepted risks

Findings the reviewer chose to accept rather than block on.

Source	Rule	Reason	Accepted by	When
source-diff	source-size-tripled	AI (source-diff): v0.1.0 was a near-empty stub; v1.0.0 is the first real implementation — size growth is expected.	ai	2026/05/30
publish-pattern	new-deps-added	AI (publish-pattern): New deps are sibling workspace packages in the same monorepo, not external third-party packages.	ai	2026/05/30
phantom-deps	phantom-dep:@isl-lang/parser	AI (phantom-deps): Declared runtime dependency in same org scope; phantom-dep heuristic is a false positive here.	ai	2026/05/28

Versions (showing 3 of 3)

Version	Deps	Published
1.0.0	2 / 5	2026-02-12
0.1.0	2 / 5	2026-02-01
0.0.1	0 / 0	2026-02-01

v1.0.0

1 finding

LOW No provenance attestation provenance

Package was published without Sigstore provenance. Consider requesting the maintainer enable provenance via CI/CD.

v0.1.0

1 finding

LOW No provenance attestation provenance

Package was published without Sigstore provenance. Only ~12% of npm packages have provenance, so this is common but not ideal.

v0.0.1

1 finding

LOW No provenance attestation provenance

Package was published without Sigstore provenance. Only ~12% of npm packages have provenance, so this is common but not ideal.