witsoc 0.1.0__tar.gz

witsoc-0.1.0/.gitignore

@@ -0,0 +1,31 @@
+/plugins/
+
+# Python
+__pycache__/
+*.py[cod]
+*.egg-info/
+.eggs/
+.pytest_cache/
+.ruff_cache/
+.mypy_cache/
+.ipynb_checkpoints/
+
+# Virtual environments
+.venv/
+venv/
+env/
+
+# OS / editor cruft
+.DS_Store
+Thumbs.db
+desktop.ini
+*.swp
+*.swo
+*~
+
+# Logs / temp
+*.log
+*.tmp
+*.bak
+*.orig
+*.rej

witsoc-0.1.0/PKG-INFO

@@ -0,0 +1,114 @@
+Metadata-Version: 2.4
+Name: witsoc
+Version: 0.1.0
+Summary: Witsoc mathematical research orchestration utilities
+Author: Witsoc contributors
+License: Proprietary
+Keywords: lean,mathematics,orchestration,proof,research
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+
+# Witsoc
+
+Witsoc is a collection of mathematical research orchestration utilities used by
+the Witsoc skill. The package exposes the same command surface as the local
+`scripts/witsoc.py` entrypoint while making the tools installable with `pip`.
+
+Initial package scope:
+
+- stable `witsoc` console command;
+- compatibility with existing script names and orchestrator calls;
+- packaged references, schemas, and subskill files needed by the scripts;
+- gradual migration path from standalone scripts to importable modules.
+
+Example:
+
+```bash
+witsoc route "deep run prove or disprove this open conjecture"
+witsoc lovasz-packet runs/example
+witsoc orchestrator-plan route "prove a theorem"
+```
+
+Nested aliases are also available:
+
+```bash
+witsoc strategy rank-lanes --prompt "deep run prove or disprove this open conjecture"
+witsoc lovasz packet runs/example
+```
+
+## Lazy Surface
+
+Witsoc is intentionally lazy at the package boundary. The default command
+surface exposes cheap routing and decision packets first; heavy research engines
+remain callable by explicit command name or by the orchestrator after it chooses
+a plan.
+
+Cheap boundary calls:
+
+```bash
+witsoc route "..."
+witsoc orchestrator-plan route "..."
+witsoc strategy rank-lanes --prompt "..."
+witsoc lovasz packet runs/example
+```
+
+Discover commands by tier:
+
+```bash
+witsoc commands
+witsoc commands --tier core
+witsoc commands --tier heavy --json
+```
+
+Old direct aliases still work for compatibility, for example:
+
+```bash
+witsoc counterexample-search runs/example
+witsoc worker-dispatch runs/example --write
+```
+
+Those commands are not imported or loaded until invoked.
+
+## Build
+
+From this directory:
+
+```bash
+uv build
+```
+
+This produces:
+
+```text
+dist/witsoc-0.1.0.tar.gz
+dist/witsoc-0.1.0-py3-none-any.whl
+```
+
+Local wheel smoke test:
+
+```bash
+python3 -m venv /tmp/witsoc-venv
+/tmp/witsoc-venv/bin/pip install --no-deps dist/witsoc-0.1.0-py3-none-any.whl
+/tmp/witsoc-venv/bin/witsoc route --field route "deep run prove or disprove this open conjecture"
+```
+
+Publish, after configuring PyPI credentials:
+
+```bash
+uv publish
+```
+
+## Migration Model
+
+Version `0.1.0` packages the existing `scripts/` tree as the compatibility
+surface. The stable entrypoint is `witsoc.cli:main`; old calls through
+`scripts/witsoc.py` delegate to the package CLI. Future releases can move
+individual scripts into importable package modules while keeping the same
+console commands.

witsoc-0.1.0/README.md

@@ -0,0 +1,97 @@
+# Witsoc
+
+Witsoc is a collection of mathematical research orchestration utilities used by
+the Witsoc skill. The package exposes the same command surface as the local
+`scripts/witsoc.py` entrypoint while making the tools installable with `pip`.
+
+Initial package scope:
+
+- stable `witsoc` console command;
+- compatibility with existing script names and orchestrator calls;
+- packaged references, schemas, and subskill files needed by the scripts;
+- gradual migration path from standalone scripts to importable modules.
+
+Example:
+
+```bash
+witsoc route "deep run prove or disprove this open conjecture"
+witsoc lovasz-packet runs/example
+witsoc orchestrator-plan route "prove a theorem"
+```
+
+Nested aliases are also available:
+
+```bash
+witsoc strategy rank-lanes --prompt "deep run prove or disprove this open conjecture"
+witsoc lovasz packet runs/example
+```
+
+## Lazy Surface
+
+Witsoc is intentionally lazy at the package boundary. The default command
+surface exposes cheap routing and decision packets first; heavy research engines
+remain callable by explicit command name or by the orchestrator after it chooses
+a plan.
+
+Cheap boundary calls:
+
+```bash
+witsoc route "..."
+witsoc orchestrator-plan route "..."
+witsoc strategy rank-lanes --prompt "..."
+witsoc lovasz packet runs/example
+```
+
+Discover commands by tier:
+
+```bash
+witsoc commands
+witsoc commands --tier core
+witsoc commands --tier heavy --json
+```
+
+Old direct aliases still work for compatibility, for example:
+
+```bash
+witsoc counterexample-search runs/example
+witsoc worker-dispatch runs/example --write
+```
+
+Those commands are not imported or loaded until invoked.
+
+## Build
+
+From this directory:
+
+```bash
+uv build
+```
+
+This produces:
+
+```text
+dist/witsoc-0.1.0.tar.gz
+dist/witsoc-0.1.0-py3-none-any.whl
+```
+
+Local wheel smoke test:
+
+```bash
+python3 -m venv /tmp/witsoc-venv
+/tmp/witsoc-venv/bin/pip install --no-deps dist/witsoc-0.1.0-py3-none-any.whl
+/tmp/witsoc-venv/bin/witsoc route --field route "deep run prove or disprove this open conjecture"
+```
+
+Publish, after configuring PyPI credentials:
+
+```bash
+uv publish
+```
+
+## Migration Model
+
+Version `0.1.0` packages the existing `scripts/` tree as the compatibility
+surface. The stable entrypoint is `witsoc.cli:main`; old calls through
+`scripts/witsoc.py` delegate to the package CLI. Future releases can move
+individual scripts into importable package modules while keeping the same
+console commands.