typehaus 0.1.0a0__tar.gz

typehaus-0.1.0a0/.gitignore

@@ -0,0 +1,211 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# C extensions
+*.so
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+#  Usually these files are written by a python script from a template
+#  before PyInstaller builds the exe, so as to inject date/other infos into it.
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py,cover
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+docs/_build/
+
+# PyBuilder
+.pybuilder/
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# IPython
+profile_default/
+ipython_config.py
+
+# pyenv
+#   For a library or package, you might want to ignore these files since the code is
+#   intended to run in multiple environments; otherwise, check them in:
+# .python-version
+
+# pipenv
+#   According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
+#   However, in case of collaboration, if having platform-specific dependencies or dependencies
+#   having no cross-platform support, pipenv may install dependencies that don't work, or not
+#   install all needed dependencies.
+#Pipfile.lock
+
+# UV
+#   Similar to Pipfile.lock, it is generally recommended to include uv.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+#uv.lock
+
+# poetry
+#   Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+#   https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
+#poetry.lock
+
+# pdm
+#   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
+#pdm.lock
+#   pdm stores project-wide configurations in .pdm.toml, but it is recommended to not include it
+#   in version control.
+#   https://pdm.fming.dev/latest/usage/project/#working-with-version-control
+.pdm.toml
+.pdm-python
+.pdm-build/
+
+# PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
+__pypackages__/
+
+# Celery stuff
+celerybeat-schedule
+celerybeat.pid
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+
+# Pyre type checker
+.pyre/
+
+# pytype static type analyzer
+.pytype/
+
+# Cython debug symbols
+cython_debug/
+
+# PyCharm
+#  JetBrains specific template is maintained in a separate JetBrains.gitignore that can
+#  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
+#  and can be added to the global gitignore or merged into this file.  For a more nuclear
+#  option (not recommended) you can uncomment the following to ignore the entire idea folder.
+#.idea/
+
+# Ruff stuff:
+.ruff_cache/
+
+# PyPI configuration file
+.pypirc
+
+# Cursor  
+#  Cursor is an AI-powered code editor.`.cursorignore` specifies files/directories to 
+#  exclude from AI features like autocomplete and code analysis. Recommended for sensitive data
+#  refer to https://docs.cursor.com/context/ignore-files
+.cursorignore
+.cursorindexingignore
+
+**/.DS_Store
+
+# build artifacts
+houses/*/out/
+**/out/
+.venv/
+
+# Generated by ui/scripts/build-pwa-assets.mjs (M4 offline engine bundle)
+ui/public/typehaus-engine.tar
+ui/public/typehaus-ifc-ext.tar
+# Generated by ui/scripts/build-house-asset.mjs (U9 bundled default house)
+ui/public/catlin-house.json
+
+# Source trees are never build output. The Python-packaging patterns above (build/, lib/,
+# dist/, parts/, var/, target/, instance/, cover/) are unanchored, so they match at ANY
+# depth — `ui/src/three/build/` was silently swallowed once already, and the commit shipped
+# importing five modules that git never took. These negations make that structurally
+# impossible; `ui/dist` and `packages/**/build` still ignore normally.
+!ui/src/**
+!packages/*/src/**
+!library/**
+!houses/*/plan/**
+!houses/*/params/**
+# ...but re-ignore the genuine artifacts that live *inside* those trees, since a negation
+# re-admits everything it covers, including caches and compiled output.
+__pycache__/
+*.py[cod]
+*.tsbuildinfo
+.DS_Store

typehaus-0.1.0a0/PKG-INFO

@@ -0,0 +1,93 @@
+Metadata-Version: 2.4
+Name: typehaus
+Version: 0.1.0a0
+Summary: Type:Haus — infrastructure-as-code for residential houses. Pre-alpha.
+Project-URL: Homepage, https://type-haus.com
+Author-email: Colin Catlin <colin.catlin@gmail.com>
+License: MIT
+Keywords: BIM,CAD,IFC,architecture,infrastructure-as-code,residential
+Classifier: Development Status :: 2 - Pre-Alpha
+Classifier: Intended Audience :: Developers
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Scientific/Engineering
+Requires-Python: >=3.11
+Requires-Dist: ezdxf>=1.1
+Requires-Dist: ifcopenshell<0.9,>=0.8
+Requires-Dist: libcst>=1.1
+Requires-Dist: matplotlib>=3.8
+Requires-Dist: pydantic>=2.6
+Requires-Dist: pyproj>=3.6
+Requires-Dist: rich>=13.0
+Requires-Dist: shapely>=2.0
+Requires-Dist: trimesh>=4.0
+Requires-Dist: typer>=0.12
+Provides-Extra: dev
+Requires-Dist: fastapi>=0.110; extra == 'dev'
+Requires-Dist: httpx>=0.27; extra == 'dev'
+Requires-Dist: hypothesis>=6.90; extra == 'dev'
+Requires-Dist: mypy>=1.9; extra == 'dev'
+Requires-Dist: pytest>=8.0; extra == 'dev'
+Requires-Dist: ruff>=0.4; extra == 'dev'
+Requires-Dist: uvicorn>=0.29; extra == 'dev'
+Requires-Dist: watchfiles>=0.21; extra == 'dev'
+Requires-Dist: websockets>=12; extra == 'dev'
+Provides-Extra: server
+Requires-Dist: fastapi>=0.110; extra == 'server'
+Requires-Dist: uvicorn>=0.29; extra == 'server'
+Requires-Dist: watchfiles>=0.21; extra == 'server'
+Requires-Dist: websockets>=12; extra == 'server'
+Description-Content-Type: text/markdown
+
+# typehaus
+
+The Type:Haus engine — infrastructure-as-code for residential houses. Author a house plan as
+typed, declarative Python; resolve topology, stacking, and framing; emit an IFC4 model,
+`model.json`, and assembly section cards; and run integrity / code / structural checks.
+
+> **Pre-alpha.** APIs, schema, and outputs change without notice. Not for production use.
+
+This is the Python package behind the `haus` CLI. See the repository root and `docs/plan/`
+for the full design documentation and monorepo layout.
+
+## Install
+
+```bash
+pip install -e packages/engine        # from the repo root
+```
+
+## CLI
+
+```bash
+haus ls houses/starter --summary                 # compact plan digest
+haus build houses/starter                        # -> out/model.json (+ IFC when ifcopenshell present)
+haus check houses/starter                         # integrity/code/advisory/structural findings
+haus explain HOUSE_WALL_2X6_WITH_ZIPR houses/starter --card
+haus explain transitions houses/starter           # derived boundary conditions
+
+# M2 — the loop closes
+haus new my-house --name "My House"               # scaffold a self-contained house
+haus serve houses/starter                          # FastAPI: model.json, PATCH /plan, undo/redo, live reload
+haus render houses/starter --view plan             # -> out/render/plan_*.png  (agent eyes, #52)
+haus print houses/starter                          # -> out/sheets/plan_*.dxf + .pdf (AIA layers)
+haus fmt houses/starter                            # assign missing uids (merge-friendly canonical)
+haus diff architect.ifc houses/starter             # semantic diff -> out/diff.json + table
+```
+
+IFC emission (and `haus diff`'s external-IFC read) requires `ifcopenshell` (pin `0.8.x`);
+when it is absent, `haus build` still writes `model.json` and reports the skipped IFC step.
+The server is an optional extra: `pip install -e 'packages/engine[server]'`.
+
+### The `model.json` contract + write safety (M2)
+
+`haus serve` exposes the resolved `model.json` (revision hash, per-element provenance, live
+findings). Every `PATCH /plan` carries the project revision as a precondition (stale → 409),
+applies element-level ops through the libcst writeback (comments/formatting preserved),
+stages + validates the whole project, then writes each file atomically. Undo/redo is
+server-owned (the file is the state); an external VSCode/Claude edit seals the journal.
+
+## License
+
+MIT © Colin Catlin.

typehaus-0.1.0a0/README.md

@@ -0,0 +1,50 @@
+# typehaus
+
+The Type:Haus engine — infrastructure-as-code for residential houses. Author a house plan as
+typed, declarative Python; resolve topology, stacking, and framing; emit an IFC4 model,
+`model.json`, and assembly section cards; and run integrity / code / structural checks.
+
+> **Pre-alpha.** APIs, schema, and outputs change without notice. Not for production use.
+
+This is the Python package behind the `haus` CLI. See the repository root and `docs/plan/`
+for the full design documentation and monorepo layout.
+
+## Install
+
+```bash
+pip install -e packages/engine        # from the repo root
+```
+
+## CLI
+
+```bash
+haus ls houses/starter --summary                 # compact plan digest
+haus build houses/starter                        # -> out/model.json (+ IFC when ifcopenshell present)
+haus check houses/starter                         # integrity/code/advisory/structural findings
+haus explain HOUSE_WALL_2X6_WITH_ZIPR houses/starter --card
+haus explain transitions houses/starter           # derived boundary conditions
+
+# M2 — the loop closes
+haus new my-house --name "My House"               # scaffold a self-contained house
+haus serve houses/starter                          # FastAPI: model.json, PATCH /plan, undo/redo, live reload
+haus render houses/starter --view plan             # -> out/render/plan_*.png  (agent eyes, #52)
+haus print houses/starter                          # -> out/sheets/plan_*.dxf + .pdf (AIA layers)
+haus fmt houses/starter                            # assign missing uids (merge-friendly canonical)
+haus diff architect.ifc houses/starter             # semantic diff -> out/diff.json + table
+```
+
+IFC emission (and `haus diff`'s external-IFC read) requires `ifcopenshell` (pin `0.8.x`);
+when it is absent, `haus build` still writes `model.json` and reports the skipped IFC step.
+The server is an optional extra: `pip install -e 'packages/engine[server]'`.
+
+### The `model.json` contract + write safety (M2)
+
+`haus serve` exposes the resolved `model.json` (revision hash, per-element provenance, live
+findings). Every `PATCH /plan` carries the project revision as a precondition (stale → 409),
+applies element-level ops through the libcst writeback (comments/formatting preserved),
+stages + validates the whole project, then writes each file atomically. Undo/redo is
+server-owned (the file is the state); an external VSCode/Claude edit seals the journal.
+
+## License
+
+MIT © Colin Catlin.

typehaus-0.1.0a0/pyproject.toml

@@ -0,0 +1,60 @@
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[project]
+name = "typehaus"
+version = "0.1.0a0"
+description = "Type:Haus — infrastructure-as-code for residential houses. Pre-alpha."
+readme = "README.md"
+license = { text = "MIT" }
+authors = [{ name = "Colin Catlin", email = "colin.catlin@gmail.com" }]
+requires-python = ">=3.11"
+keywords = ["architecture", "BIM", "IFC", "residential", "infrastructure-as-code", "CAD"]
+classifiers = [
+    "Development Status :: 2 - Pre-Alpha",
+    "Intended Audience :: Developers",
+    "License :: OSI Approved :: MIT License",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Topic :: Scientific/Engineering",
+]
+dependencies = [
+    "pydantic>=2.6",
+    "typer>=0.12",
+    "rich>=13.0",
+    "shapely>=2.0",
+    "libcst>=1.1",
+    "ifcopenshell>=0.8,<0.9",
+    "ezdxf>=1.1",
+    "matplotlib>=3.8",
+    "pyproj>=3.6",
+    "trimesh>=4.0",
+]
+
+[project.optional-dependencies]
+# The FastAPI server (`haus serve`) + live-reload watcher — optional so a headless
+# build/check/render install stays lean (→ 20 §FastAPI server).
+# `websockets` is required for the `/events` live-reload socket — bare `uvicorn`
+# ships no WS implementation and rejects every upgrade with 403.
+server = ["fastapi>=0.110", "uvicorn>=0.29", "websockets>=12", "watchfiles>=0.21"]
+dev = [
+    "pytest>=8.0", "hypothesis>=6.90", "mypy>=1.9", "ruff>=0.4",
+    "fastapi>=0.110", "uvicorn>=0.29", "websockets>=12", "watchfiles>=0.21", "httpx>=0.27",
+]
+
+[project.urls]
+Homepage = "https://type-haus.com"
+
+[project.scripts]
+haus = "typehaus.cli.app:main"
+
+[project.entry-points.pytest11]
+typehaus_checks = "typehaus.checks.pytest_plugin"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/typehaus"]
+# The pre-built UI ships inside the wheel so `pip install typehaus && haus serve`
+# works without node (→ 02 §Repo layout).
+artifacts = ["src/typehaus/server/static/**"]

typehaus-0.1.0a0/pytest.ini

@@ -0,0 +1,3 @@
+[pytest]
+testpaths = tests
+addopts = -p no:cacheprovider

typehaus-0.1.0a0/scripts/bench_rebuild.py

@@ -0,0 +1,95 @@
+"""Rebuild/resolve micro-benchmark (Phase 0 instrumentation → responsiveness plan).
+
+Opens a house, runs N full rebuilds and one simulated ``move_nodes`` patch, and prints
+per-stage medians so each later optimization phase is measured, not assumed.
+
+Run with the repo .venv::
+
+    PYTHONPATH=packages/engine/src .venv/bin/python packages/engine/scripts/bench_rebuild.py \
+        --house houses/catlin --iters 15
+"""
+
+from __future__ import annotations
+
+import argparse
+import statistics
+import time
+from pathlib import Path
+
+from typehaus.server.macros_api import build_macro_ops
+from typehaus.server.state import ProjectState
+
+
+def _median_timings(runs: list[dict[str, float]]) -> dict[str, float]:
+    keys = sorted({k for r in runs for k in r})
+    return {k: statistics.median([r[k] for r in runs if k in r]) for k in keys}
+
+
+def _print_table(title: str, timings: dict[str, float]) -> None:
+    print(f"\n== {title} ==")
+    for k, v in sorted(timings.items(), key=lambda kv: -kv[1]):
+        print(f"  {v:8.2f} ms  {k}")
+
+
+def main() -> None:
+    ap = argparse.ArgumentParser()
+    ap.add_argument("--house", default="houses/catlin")
+    ap.add_argument("--iters", type=int, default=15)
+    ap.add_argument("--storey", default="main")
+    ap.add_argument("--node", default="N-M-S1")
+    args = ap.parse_args()
+
+    house = Path(args.house).resolve()
+    print(f"opening {house} ...")
+    state = ProjectState.open(house)
+    plan = state.model.plan if state.model else None
+    n_walls = len(state.model.walls) if state.model else 0
+    print(f"opened: {n_walls} resolved walls, ok={state.ok}")
+
+    # --- N plain rebuilds (load_plan + resolve + checks) ---
+    rebuild_runs: list[dict[str, float]] = []
+    wall_times: list[float] = []
+    for _ in range(args.iters):
+        t0 = time.perf_counter()
+        state.rebuild()
+        wall_times.append((time.perf_counter() - t0) * 1000.0)
+        rebuild_runs.append(dict(state.timings))
+    print(f"\nfull rebuild wall time: median {statistics.median(wall_times):.1f} ms "
+          f"(min {min(wall_times):.1f}, max {max(wall_times):.1f})")
+    _print_table("rebuild stage medians", _median_timings(rebuild_runs))
+
+    # --- one simulated move_nodes patch via the slow path (writeback + rebuild), then undo ---
+    if plan is not None:
+        body = {"macro": "move_nodes", "storey": args.storey,
+                "nodes": [args.node], "dx": 0.01, "dy": 0.0}
+        patch_runs: list[dict[str, float]] = []
+        commit_times: list[float] = []
+        for _ in range(min(args.iters, 8)):
+            t0 = time.perf_counter()
+            result = build_macro_ops(state.model.plan, body)
+            state.coordinator.apply_patch(result.ops, None)
+            state.rebuild()
+            commit_times.append((time.perf_counter() - t0) * 1000.0)
+            patch_runs.append(dict(state.timings))
+            state.coordinator.undo()
+            state.rebuild()
+        print(f"\nmove_nodes commit wall time (slow path, writeback+rebuild): median "
+              f"{statistics.median(commit_times):.1f} ms")
+        _print_table("patch-triggered rebuild stage medians",
+                     _median_timings(patch_runs))
+
+        # --- the same macro via the fast path (Phase 2b: in-memory apply, async writeback) ---
+        fast_times: list[float] = []
+        for _ in range(min(args.iters, 8)):
+            result = build_macro_ops(state.model.plan, body)
+            t0 = time.perf_counter()
+            state.apply_edit(result.ops, None)
+            fast_times.append((time.perf_counter() - t0) * 1000.0)
+            state._flush_writes()  # keep source/plan settled before the next undo
+            state.history(undo=True)
+        print(f"\nmove_nodes commit wall time (fast path, in-memory apply): median "
+              f"{statistics.median(fast_times):.1f} ms")
+
+
+if __name__ == "__main__":
+    main()

typehaus-0.1.0a0/src/typehaus/__init__.py

@@ -0,0 +1,15 @@
+"""Type:Haus engine — typed declarative residential house modeling.
+
+The public authoring surface (everything the plan dialect may import) is re-exported
+here from ``typehaus.model``. Plan files import from ``typehaus`` and ``library``.
+"""
+
+from __future__ import annotations
+
+from typehaus._meta import PROJECT_NAME, engine_version
+from typehaus.model import *  # noqa: F401,F403 — re-export the authoring surface
+from typehaus.model import __all__ as _model_all
+
+__version__ = engine_version()
+
+__all__ = ["PROJECT_NAME", "engine_version", "__version__", *_model_all]

typehaus-0.1.0a0/src/typehaus/_meta.py

@@ -0,0 +1,28 @@
+"""Brand-name and build-identity constants, centralized for cheap rename (→ 01 §Naming).
+
+A rename touches only this file, the ``pyproject.toml`` ``name``, the ``src/typehaus``
+directory, and the UI ``branding.ts`` — see ``docs/RENAME.md``.
+"""
+
+from __future__ import annotations
+
+from importlib.metadata import PackageNotFoundError, version
+
+PROJECT_NAME = "Type:Haus"
+PROJECT_SLUG = "typehaus"
+PROJECT_URL = "https://type-haus.com"
+CLI_NAME = "haus"
+
+# IFC header application name and pset prefix. The prefix is kept short and
+# brand-agnostic so the emitted IFC does not churn on a rename (→ 01 §Naming).
+IFC_APP_NAME = "Type:Haus"
+PSET_PREFIX = "Pset_TH"
+PSET_SOURCE = f"{PSET_PREFIX}_Source"
+
+
+def engine_version() -> str:
+    """Installed engine version, or a dev sentinel when running from a source tree."""
+    try:
+        return version(PROJECT_SLUG)
+    except PackageNotFoundError:
+        return "0.0.0+dev"