Repository map

Path	Purpose
src/conjecture_solver/	Typed models, ledgers, sandbox, orchestration, providers, CLI, local web UI, and optional TUI
skills/	Versioned model-readable interfaces and scientific practice
capabilities/	Harness-owned executable runtime manifests; optional solver binaries remain local and untracked
environments/	Release-pinned operator provisioning specifications
schemas/	Public, committed JSON Schemas
demos/	Recorded autonomous runs, compact audit records, and reproduction inputs
scripts/	Deployment, qualification, audit, and maintenance utilities
tests/	Deterministic, integration, replay, and scientific regression tests
docs/	Curated documentation

Local runtimes, provider credentials, mutable ledgers, and bulk raw campaign artifacts are ignored by Git. A small release demo may commit a curated portable record. Large scientific campaigns should publish compact audit records in the repository and deposit complete immutable artifacts in a DOI-bearing data archive.