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
Citation
License
Repository Manifest
1 maintainer
Metadata
1 maintainer
Release files for se-theory-reference-kit 0.3.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| se_theory_reference_kit-0.3.0.tar.gz | 95.3 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| se_theory_reference_kit-0.3.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 139.6 kB
Release files / se_theory_reference_kit-0.3.0.tar.gz
| Download URL | se_theory_reference_kit-0.3.0.tar.gz |
|---|---|
| Size | 95.3 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
8d7eb978771b3087cd4b65a93f68d272871d2f0871c111a18c96812795163b4c
|
|
BLAKE2b-256 checksum How to use checksums |
ad63a8fbacf1ece26e75f28bdaba8a4e1f8d222a8f6e331d0be99070aecb1e14
|
| Upload date | |
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Jul 29, 2026.
Transparency logRelease files / se_theory_reference_kit-0.3.0-py3-none-any.whl
| Download URL | se_theory_reference_kit-0.3.0-py3-none-any.whl |
|---|---|
| Size | 44.4 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
15d50a840e708c0ae29cc42fe24cf2c34d044cbd186748cf1e97694a464cf297
|
|
BLAKE2b-256 checksum How to use checksums |
dfdf16452f0d1dadf0a2b5993514533fcfdabf8c59e7e2a8dc10779fb70fe58a
|
| Upload date | |
|
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.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Jul 29, 2026.
Transparency log
