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.
