type-python 0.0.8__tar.gz → 0.1.1__tar.gz

{type_python-0.0.8 → type_python-0.1.1}/Cargo.lock

@@ -1779,7 +1779,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-binding"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "typepython-diagnostics",
  "typepython-syntax",
@@ -1787,7 +1787,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-checking"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "criterion",
  "typepython-binding",
@@ -1800,13 +1800,16 @@ dependencies = [
 
 [[package]]
 name = "typepython-cli"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "anyhow",
  "clap",
  "flate2",
  "glob",
+ "littrs-ruff-python-ast",
+ "littrs-ruff-python-parser",
  "notify",
+ "rayon",
  "serde",
  "serde_json",
  "tar",
@@ -1828,7 +1831,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-config"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "serde",
  "thiserror",
@@ -1837,7 +1840,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-diagnostics"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "serde",
  "serde_json",
@@ -1845,7 +1848,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-emit"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "insta",
  "littrs-ruff-python-ast",
@@ -1858,7 +1861,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-graph"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "criterion",
  "typepython-binding",
@@ -1867,7 +1870,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-incremental"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "serde",
  "serde_json",
@@ -1878,20 +1881,21 @@ dependencies = [
 
 [[package]]
 name = "typepython-lowering"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "criterion",
  "insta",
  "littrs-ruff-python-ast",
  "littrs-ruff-python-parser",
  "littrs-ruff-text-size",
+ "proptest",
  "typepython-diagnostics",
  "typepython-syntax",
 ]
 
 [[package]]
 name = "typepython-lsp"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "anyhow",
  "criterion",
@@ -1913,7 +1917,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-project"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "anyhow",
  "glob",
@@ -1927,7 +1931,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-syntax"
-version = "0.0.8"
+version = "0.1.1"
 dependencies = [
  "criterion",
  "littrs-ruff-python-ast",

{type_python-0.0.8 → type_python-0.1.1}/Cargo.toml

@@ -20,7 +20,7 @@ authors = ["unadlib"]
 edition = "2024"
 license = "MIT"
 rust-version = "1.85"
-version = "0.0.8"
+version = "0.1.1"
 
 [workspace.dependencies]
 anyhow = "1"
@@ -28,6 +28,7 @@ clap = { version = "4.5", features = ["derive", "wrap_help"] }
 flate2 = "1"
 glob = "0.3"
 notify = "6"
+rayon = "1.10"
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
 tar = "0.4"

{type_python-0.0.8 → type_python-0.1.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: type-python
-Version: 0.0.8
+Version: 0.1.1
 Summary: A statically-typed authoring language that compiles to standard Python
 Author: unadlib
 License-Expression: MIT

{type_python-0.0.8 → type_python-0.1.1}/README.md

@@ -114,7 +114,7 @@ TypePython is an authoring layer, not a replacement for external checkers. One i
 - **Incremental state and caching** -- fingerprint snapshots, cached artifacts, and LSP rechecks for changed modules plus affected dependents ([architecture](docs/architecture.md))
 - **Full toolchain** -- `init`, `check`, `build`, `watch`, `clean`, `verify`, `migrate` ([CLI reference](docs/cli-reference.md))
 - **LSP server** -- hover, go-to-definition, references, rename, completions, signature help, document symbols, workspace symbols, formatting, code actions, real-time diagnostics ([LSP](docs/lsp.md))
-- **Publication-ready** -- `typepython verify` validates runtime/stub parity, packaged wheel/sdist contents, and optional public API completeness checks ([interop](docs/interop.md))
+- **Publication-ready** -- `typepython verify` performs structural publication checks by default, validates packaged wheel/sdist contents, and can opt into runtime import parity checks for trusted builds ([interop](docs/interop.md))
 - **Bundled stdlib stubs** -- typing data for Python 3.10-3.12 standard library, no external dependencies
 
 ## Examples
@@ -138,11 +138,12 @@ typepython build   --project .          # Emit .py + .pyi
 typepython watch   --project .          # Rebuild on changes
 typepython clean   --project .          # Remove build artifacts
 typepython lsp     --project .          # Start language server
-typepython verify  --project .          # Validate for publication
+typepython verify  --project .          # Structural publication validation (safe mode may ignore a project-controlled interpreter)
+typepython verify  --project . --unsafe-runtime-imports # Also import emitted modules for runtime parity checks
 typepython migrate --project . --report # Migration coverage report
 ```
 
-Project-oriented commands except `clean` support `--format text|json`. `typepython lsp` always speaks JSON-RPC over stdio rather than CLI JSON output. See [CLI reference](docs/cli-reference.md).
+Project-oriented commands `check`, `build`, `watch`, `verify`, and `migrate` support `--format text|json`. `clean` does not. `typepython lsp` speaks JSON-RPC over stdio rather than CLI JSON output. See [CLI reference](docs/cli-reference.md).
 
 ## Configuration
 
@@ -186,8 +187,8 @@ See [configuration reference](docs/configuration.md).
 ## Contributing
 
 ```bash
-make ci              # format + lint + test + bench-check + package-check
-make test            # run all 846 tests
+make ci              # format + lint + split test suites + bench-check + package-check
+make test            # run the full workspace test suite
 make bench           # run performance benchmarks
 make bump-version VERSION=0.0.8  # sync Rust + Python package versions
 make snapshot-review # review insta snapshot changes

{type_python-0.0.8 → type_python-0.1.1}/crates/typepython_binding/src/types.rs

@@ -60,12 +60,14 @@ pub struct ModuleSurfaceFacts {
     pub dataclass_transform_module_info: typepython_syntax::DataclassTransformModuleInfo,
 }
 
+/// Wrapper around a parsed type expression captured from bound source text.
 #[derive(Debug, Clone, Eq, PartialEq, Hash)]
 pub struct BoundTypeExpr {
     pub expr: typepython_syntax::TypeExpr,
 }
 
 impl BoundTypeExpr {
+    /// Parses text into a bound type expression, falling back to a name node when parsing fails.
     #[must_use]
     pub fn new(text: impl Into<String>) -> Self {
         let text = text.into();
@@ -75,23 +77,27 @@ impl BoundTypeExpr {
         }
     }
 
+    /// Wraps an already parsed type expression.
     #[must_use]
     pub fn from_expr(expr: typepython_syntax::TypeExpr) -> Self {
         Self { expr }
     }
 
+    /// Renders the bound expression back to canonical text form.
     #[must_use]
     pub fn render(&self) -> String {
         self.expr.render()
     }
 }
 
+/// Resolved symbol portion of an import target such as `pkg.mod.Name`.
 #[derive(Debug, Clone, Eq, PartialEq, Hash)]
 pub struct BoundImportSymbolTarget {
     pub module_key: String,
     pub symbol_name: String,
 }
 
+/// Structured import target extracted from a declaration.
 #[derive(Debug, Clone, Eq, PartialEq, Hash)]
 pub struct BoundImportTarget {
     pub raw_target: String,
@@ -100,6 +106,7 @@ pub struct BoundImportTarget {
 }
 
 impl BoundImportTarget {
+    /// Builds a structured import target from the source-authored raw import string.
     #[must_use]
     pub fn new(raw_target: impl Into<String>) -> Self {
         let raw_target = raw_target.into();
@@ -112,6 +119,7 @@ impl BoundImportTarget {
     }
 }
 
+/// Bound callable signature used by later graph and checker phases.
 #[derive(Debug, Clone, Eq, PartialEq, Hash)]
 pub struct BoundCallableSignature {
     pub params: Vec<typepython_syntax::DirectFunctionParamSite>,

{type_python-0.0.8 → type_python-0.1.1}/crates/typepython_checking/src/calls/callable_resolution.rs

@@ -1040,7 +1040,9 @@ fn substitute_single_paramspec_from_semantic_callable(
         return ty.clone();
     };
     let mut substitutions = GenericTypeParamSubstitutions::default();
-    let param_name = param_spec_names.into_iter().next().expect("single paramspec name");
+    let Some(param_name) = param_spec_names.into_iter().next() else {
+        return ty.clone();
+    };
     if insert_param_spec_binding(
         &mut substitutions,
         &param_name,

{type_python-0.0.8 → type_python-0.1.1}/crates/typepython_checking/src/calls/reporting.rs

@@ -516,7 +516,7 @@ pub(super) fn inferred_return_type_for_owner(
     Some(if trace_types.len() > 1 {
         diagnostic_type_text(&join_semantic_type_candidates(trace_types))
     } else {
-        diagnostic_type_text(trace_types.first().expect("single return type should exist"))
+        diagnostic_type_text(&trace_types.into_iter().next()?)
     })
 }