codesamplex

Матрица возможностей адаптеров

Published adapter capability matrix (goal.md §13.1). Levels: A0 package/version detection, A1 build/typecheck/test observation, A2 static symbol resolution, A3 runtime symbol instrumentation, A4 clean Sample + Contract verification. No adapter pretends a level it does not have.

npm

node-typescript@1.0.0
npmpnpmyarn
  • A0 Пакет и версия определены из lockfile
  • A1 Наблюдаются результаты сборки, проверки типов и тестов
  • A2 Статическое разрешение символов — какой API использован
  • A3 Инструментация во время выполнения — наблюдается сам вызов
  • A4 Чистый образец проверен контрактом

Достоверность символа PROBABLE Выведено из импортов и мест вызова

Reference ecosystem. Lockfile-resolved versions (package-lock v2/v3, pnpm-lock v9, yarn classic). Static import/member analysis without a type checker yields PROBABLE symbols; EXACT reserved for future TS type-info integration. Verifier adapter node-typescript@1 supports clean resolve/compile/contract.

pypi

python@1.0.0
pipuv
  • A0 Пакет и версия определены из lockfile
  • A1 Наблюдаются результаты сборки, проверки типов и тестов
  • A2 Статическое разрешение символов — какой API использован
  • A3 Инструментация во время выполнения — наблюдается сам вызов
  • A4 Чистый образец проверен контрактом

Достоверность символа PROBABLE Выведено из импортов и мест вызова

Resolved versions from uv.lock, pinned requirements, poetry.lock (best-effort). AST-free regex import analysis; dynamic attribute access degrades to UNKNOWN. Sample verification uses the shared container verifier only when a contract is expressible without native builds.

golang

go@1.0.0
go
  • A0 Пакет и версия определены из lockfile
  • A1 Наблюдаются результаты сборки, проверки типов и тестов
  • A2 Статическое разрешение символов — какой API использован
  • A3 Инструментация во время выполнения — наблюдается сам вызов
  • A4 Чистый образец проверен контрактом

Достоверность символа PROBABLE Выведено из импортов и мест вызова

go.mod/go.sum resolved versions; go/parser import + selector analysis. EXACT requires go/types integration, not claimed in v1.

cargo

rust@1.0.0
cargo
  • A0 Пакет и версия определены из lockfile
  • A1 Наблюдаются результаты сборки, проверки типов и тестов
  • A2 Статическое разрешение символов — какой API использован
  • A3 Инструментация во время выполнения — наблюдается сам вызов
  • A4 Чистый образец проверен контрактом

Достоверность символа PROBABLE Выведено из импортов и мест вызова

Cargo.lock resolved versions; use-statement analysis. Macro-expanded and dynamic usage degrades to UNKNOWN (goal.md §13.5 conservative start).

A3 is not provided by any Public v1 adapter (goal.md §19).