SE Theory: Reference Kit

Shared Python engine for validating, scaffolding, and exporting Structural Explainability theory-reference artifacts that mirror Lean public surfaces.

For the full documentation, see docs/en/index.md.

Overview

This project provides the shared Python infrastructure used by Structural Explainability theory repositories to maintain reference artifacts aligned with their Lean public surfaces.

The kit owns generic loading, validation, scaffolding, and export machinery. Each theory repository owns its own public Lean surface declarations and export specifications.

Package Interface

The Python import package is se_theory_reference_kit.
The Python distribution package is se-theory-reference-kit.
The public command is se-theory-reference.

Command Reference

Show command reference

In a machine terminal

Open a machine terminal where you want the project:

git clone https://github.com/structural-explainability/se-theory-reference-kit

cd se-theory-reference-kit
code .

In a VS Code terminal

Use VS Code Menu: View / Command Palette / Developer: Reload Window to refresh.

uv self update
uv python pin 3.15
uv lock --upgrade
uv sync --extra dev --extra docs --upgrade

uvx pre-commit install
uvx pre-commit autoupdate

uv run se-theory-reference --help
uv run se-theory-reference validate --help
uv run se-theory-reference scaffold --help
uv run se-theory-reference export --help
uv run se-theory-reference catalog --help
uv run se-theory-reference inspect --help

# validate manifest file
uvx se-manifest-schema validate-manifest --strict

git add -A
uvx pre-commit run --all-files
# repeat if changes were made
uvx pre-commit run --all-files

uv run python -m pyright
uv run python -m pytest
uv run python -m zensical build

# check import layers
uvx --python 3.13 --from import-linter lint-imports --config .github/.importlinter

# check complexity; no output is good (all A or B)
uvx radon cc src/se_theory_reference_kit -s -a -n C

uv build
uvx twine check dist/*

# save progress
git add -A
git commit -m "update"
git push -u origin main

Authority Manifest

.accountability/surfaces.toml

Citation

CITATION.cff

License

MIT

Repository Manifest

SE_MANIFEST.toml

Metadata

Release files for se-theory-reference-kit 0.3.1

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for se-theory-reference-kit 0.3.1
File	Size	Uploaded
se_theory_reference_kit-0.3.1.tar.gz	96.0 kB	Jul 29, 2026	Details

Built distribution (wheel)

Table of built distributions (wheels) for se-theory-reference-kit 0.3.1
File	Interpreter	ABI	Platform	Reset
se_theory_reference_kit-0.3.1-py3-none-any.whl 44.4 kB Jul 29, 2026	Python 3	none	any	Details

Total release size: 140.4 kB

Release files / se_theory_reference_kit-0.3.1.tar.gz

Download URL	se_theory_reference_kit-0.3.1.tar.gz
Size	96.0 kB
Tags	Source
SHA-256 checksum How to use checksums	`9bff4a7d1f096781b859c8151190aac5894ee610524a6d87f3a8ea0f6309743d`
BLAKE2b-256 checksum How to use checksums	`76336e76b4b6ed25fd99c824376d2a036a0723a80d2ee6fdbb9a7662196b7c11`
Upload date	Jul 29, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/structural-explainability/se-theory-reference-kit
Publishing commit: github.com/structural-explainability/se-theory-reference-kit/tree/a5601b32955d0b4eb050f5760607c8aa4e436451

Workflow

Publishing configuration: github.com/structural-explainability/se-theory-reference-kit/blob/a5601b32955d0b4eb050f5760607c8aa4e436451/.github/workflows/release-pypi.yml
Publishing logs: github.com/structural-explainability/se-theory-reference-kit/actions/runs/30496840633/attempts/1

Artifact

Subject: se_theory_reference_kit-0.3.1.tar.gz
SHA-256 checksum: 9bff4a7d1f096781b859c8151190aac5894ee610524a6d87f3a8ea0f6309743d Verifying attestations

Release files / se_theory_reference_kit-0.3.1-py3-none-any.whl

Download URL	se_theory_reference_kit-0.3.1-py3-none-any.whl
Size	44.4 kB
Tags	Python 3
SHA-256 checksum How to use checksums	`e266a5a45ed1c0d93e7ff28b35aa4aa59261dc6d4fc09db46b5ef97c38076201`
BLAKE2b-256 checksum How to use checksums	`de812f16dffb9ebf83806c2d48ba8e06ca9442d07af81de2508a9032cadf6509`
Upload date	Jul 29, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	Yes
Uploaded via	`twine/7.0.0 CPython/3.13.14`

Provenance

Identity

Publishing platform: GitHub Actions
Publishing repository: github.com/structural-explainability/se-theory-reference-kit
Publishing commit: github.com/structural-explainability/se-theory-reference-kit/tree/a5601b32955d0b4eb050f5760607c8aa4e436451

Workflow

Publishing configuration: github.com/structural-explainability/se-theory-reference-kit/blob/a5601b32955d0b4eb050f5760607c8aa4e436451/.github/workflows/release-pypi.yml
Publishing logs: github.com/structural-explainability/se-theory-reference-kit/actions/runs/30496840633/attempts/1

Artifact

Subject: se_theory_reference_kit-0.3.1-py3-none-any.whl
SHA-256 checksum: e266a5a45ed1c0d93e7ff28b35aa4aa59261dc6d4fc09db46b5ef97c38076201 Verifying attestations