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

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

@@ -1779,7 +1779,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-binding"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "typepython-diagnostics",
  "typepython-syntax",
@@ -1787,7 +1787,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-checking"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "criterion",
  "typepython-binding",
@@ -1800,12 +1800,14 @@ dependencies = [
 
 [[package]]
 name = "typepython-cli"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "anyhow",
  "clap",
  "flate2",
  "glob",
+ "littrs-ruff-python-ast",
+ "littrs-ruff-python-parser",
  "notify",
  "rayon",
  "serde",
@@ -1829,7 +1831,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-config"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "serde",
  "thiserror",
@@ -1838,7 +1840,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-diagnostics"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "serde",
  "serde_json",
@@ -1846,7 +1848,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-emit"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "insta",
  "littrs-ruff-python-ast",
@@ -1859,7 +1861,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-graph"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "criterion",
  "typepython-binding",
@@ -1868,7 +1870,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-incremental"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "serde",
  "serde_json",
@@ -1879,20 +1881,21 @@ dependencies = [
 
 [[package]]
 name = "typepython-lowering"
-version = "0.1.0"
+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.1.0"
+version = "0.1.1"
 dependencies = [
  "anyhow",
  "criterion",
@@ -1914,7 +1917,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-project"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "anyhow",
  "glob",
@@ -1928,7 +1931,7 @@ dependencies = [
 
 [[package]]
 name = "typepython-syntax"
-version = "0.1.0"
+version = "0.1.1"
 dependencies = [
  "criterion",
  "littrs-ruff-python-ast",

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

@@ -20,7 +20,7 @@ authors = ["unadlib"]
 edition = "2024"
 license = "MIT"
 rust-version = "1.85"
-version = "0.1.0"
+version = "0.1.1"
 
 [workspace.dependencies]
 anyhow = "1"

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

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

{type_python-0.1.0 → 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,7 +138,8 @@ 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
 ```
 

{type_python-0.1.0 → 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.1.0 → 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()?)
     })
 }
 

{type_python-0.1.0 → type_python-0.1.1}/crates/typepython_checking/src/semantic.rs

@@ -236,9 +236,7 @@ pub(super) fn resolve_overload_selection_from_attempts<'a>(
 
     match applicable.len() {
         0 => ResolvedOverloadSelection::NotApplicable { runtime_generic_failures },
-        1 => ResolvedOverloadSelection::Selected(
-            applicable.pop().expect("single applicable overload"),
-        ),
+        1 => ResolvedOverloadSelection::Selected(applicable.swap_remove(0)),
         applicable_count => match select_most_specific_overload_index(node, nodes, &applicable) {
             Some(index) => ResolvedOverloadSelection::Selected(applicable.swap_remove(index)),
             None => ResolvedOverloadSelection::Ambiguous { applicable_count },

{type_python-0.1.0 → type_python-0.1.1}/crates/typepython_cli/Cargo.toml

@@ -17,6 +17,8 @@ anyhow.workspace = true
 clap.workspace = true
 flate2.workspace = true
 glob.workspace = true
+littrs-ruff-python-ast = "0.6.2"
+littrs-ruff-python-parser = "0.6.2"
 notify.workspace = true
 rayon.workspace = true
 serde.workspace = true

type_python-0.1.1/crates/typepython_cli/scripts/runtime_importability.py

@@ -0,0 +1,20 @@
+import importlib
+import json
+import sys
+
+sys.path.insert(0, sys.argv[1])
+module_name = sys.argv[2]
+
+try:
+    module = importlib.import_module(module_name)
+    public_names = getattr(module, "__all__", None)
+    if public_names is None:
+        public_names = [name for name in vars(module) if not name.startswith("_")]
+    elif not all(isinstance(name, str) for name in public_names):
+        raise TypeError("__all__ must contain only strings")
+except BaseException as error:
+    print(
+        json.dumps({"importable": False, "error": f"{type(error).__name__}: {error}"})
+    )
+else:
+    print(json.dumps({"importable": True, "public_names": public_names}))

{type_python-0.1.0 → type_python-0.1.1}/crates/typepython_cli/src/cli.rs

@@ -88,6 +88,11 @@ pub(crate) struct VerifyArgs {
         help = "Run an external type checker against the emitted build output (repeatable)"
     )]
     pub(crate) checkers: Vec<String>,
+    #[arg(
+        long = "unsafe-runtime-imports",
+        help = "Import emitted runtime modules during verification to compare runtime-visible public names; this executes project-controlled Python code"
+    )]
+    pub(crate) unsafe_runtime_imports: bool,
 }
 
 #[derive(Debug, Args)]

{type_python-0.1.0 → type_python-0.1.1}/crates/typepython_cli/src/main.rs

@@ -20,7 +20,9 @@ use clap::Parser;
 use notify::{Config as NotifyConfig, RecommendedWatcher, Watcher};
 use serde::Serialize;
 use tracing_subscriber::EnvFilter;
-use typepython_config::{ConfigError, ConfigHandle, ConfigSource, load};
+use typepython_config::{
+    ConfigError, ConfigHandle, ConfigSource, load, load_without_python_executable_validation,
+};
 use typepython_diagnostics::DiagnosticReport;
 
 use crate::cli::{Cli, Command, InitArgs, OutputFormat, RunArgs};
@@ -37,8 +39,6 @@ const INIT_SOURCE_TEMPLATE: &str =
     include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/../../templates/src/app/__init__.tpy"));
 const RUNTIME_IMPORTABILITY_SCRIPT: &str =
     include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/scripts/runtime_importability.py"));
-const STATIC_ALL_NAMES_SCRIPT: &str =
-    include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/scripts/static_all_names.py"));
 
 #[derive(Debug, Serialize)]
 struct CommandSummary {
@@ -271,15 +271,28 @@ fn resolve_python_executable(config: &ConfigHandle) -> PathBuf {
 }
 
 fn load_project(project: Option<&PathBuf>) -> Result<ConfigHandle> {
-    let start = match project {
+    let start = project_start_dir(project)?;
+
+    load(start).context("unable to load TypePython project configuration")
+}
+
+fn load_project_without_python_executable_validation(
+    project: Option<&PathBuf>,
+) -> Result<ConfigHandle> {
+    let start = project_start_dir(project)?;
+
+    load_without_python_executable_validation(start)
+        .context("unable to load TypePython project configuration")
+}
+
+fn project_start_dir(project: Option<&PathBuf>) -> Result<PathBuf> {
+    Ok(match project {
         Some(path) if path.is_file() => {
             path.parent().map(Path::to_path_buf).unwrap_or_else(|| PathBuf::from("."))
         }
         Some(path) => path.clone(),
         None => env::current_dir().context("unable to determine current directory")?,
-    };
-
-    load(start).context("unable to load TypePython project configuration")
+    })
 }
 
 fn write_file(path: &Path, content: &str, force: bool) -> Result<()> {

{type_python-0.1.0 → type_python-0.1.1}/crates/typepython_cli/src/pipeline.rs

@@ -439,6 +439,7 @@ fn can_reuse_cached_pipeline_outputs(
     snapshot_diff.added.is_empty()
         && snapshot_diff.removed.is_empty()
         && snapshot_diff.changed.is_empty()
+        && previous.source_hashes == analyzed.incremental.source_hashes
         && previous.summaries == analyzed.incremental.summaries
         && previous.stdlib_snapshot == analyzed.incremental.stdlib_snapshot
         && !verify_build_artifacts(config, &analyzed.pre_lowering_emit_plan).has_errors()

{type_python-0.1.0 → type_python-0.1.1}/crates/typepython_cli/src/tests/pipeline.rs

@@ -187,6 +187,7 @@ fn run_verify_emits_outputs_when_checker_fails_and_emit_is_allowed() {
             wheels: Vec::new(),
             sdists: Vec::new(),
             checkers: Vec::new(),
+            unsafe_runtime_imports: false,
         })
         .expect("verify should run to completion");
 
@@ -363,6 +364,64 @@ fn run_pipeline_invalidates_cache_when_public_summary_changes() {
     assert_eq!(second.emit_plan.len(), 1);
 }
 
+#[test]
+fn run_pipeline_invalidates_cache_when_source_hash_changes_without_public_summary_change() {
+    let project_dir = temp_project_dir(
+        "run_pipeline_invalidates_cache_when_source_hash_changes_without_public_summary_change",
+    );
+    let (diagnostics, lowered_modules, planned_artifacts, runtime_source) = {
+        fs::create_dir_all(project_dir.join("src")).expect("test setup should succeed");
+        fs::write(project_dir.join("typepython.toml"), "[project]\nsrc = [\"src\"]\n")
+            .expect("test setup should succeed");
+        fs::write(project_dir.join("src/app.tpy"), "def build() -> int:\n    return 1\n")
+            .expect("test setup should succeed");
+        let config = load(&project_dir).expect("test setup should succeed");
+        let runtime_path = project_dir.join(".typepython/build/app.py");
+
+        let first = run_pipeline(&config).expect("test setup should succeed");
+        write_runtime_outputs(
+            &first.emit_plan,
+            &first.lowered_modules,
+            config.config.emit.write_py_typed,
+            false,
+            Some(&first.stub_contexts),
+        )
+        .expect("test setup should succeed");
+        write_incremental_snapshot(
+            &config.resolve_relative_path(&config.config.project.cache_dir),
+            &first.incremental,
+        )
+        .expect("test setup should succeed");
+
+        fs::write(project_dir.join("src/app.tpy"), "def build() -> int:\n    return 2\n")
+            .expect("test setup should succeed");
+
+        let second = run_pipeline(&config).expect("test setup should succeed");
+        write_runtime_outputs(
+            &second.emit_plan,
+            &second.lowered_modules,
+            config.config.emit.write_py_typed,
+            false,
+            Some(&second.stub_contexts),
+        )
+        .expect("test setup should succeed");
+
+        (
+            second.diagnostics,
+            second.lowered_modules.len(),
+            second.emit_plan.len(),
+            fs::read_to_string(runtime_path).expect("runtime output should exist"),
+        )
+    };
+    remove_temp_project_dir(&project_dir);
+
+    assert!(diagnostics.is_empty());
+    assert_eq!(lowered_modules, 1);
+    assert_eq!(planned_artifacts, 1);
+    assert!(runtime_source.contains("return 2"));
+    assert!(!runtime_source.contains("return 1"));
+}
+
 #[test]
 fn build_diagnostics_adds_emit_blocked_error_when_configured() {
     let project_dir = temp_project_dir("build_diagnostics_adds_emit_blocked_error_when_configured");