@isl-lang/typechecker
Semantic analyzer for ISL - validates AST, resolves types, builds symbol table
3
Versions
MIT
License
No
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, so a manually published version cannot be tied back to a reviewed commit.
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 | |
| publish-pattern | new-deps-added | AI (publish-pattern): New deps are sibling workspace packages in the same monorepo, not external third-party packages. | ai | |
| 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 |