se-df 0.1.0

Executable domain formalization toolkit for building reusable machine-readable specifications.

se-df

Command-line tool for bringing repositories up to a managed baseline using layered canonical templates.

Developer 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-df

cd se-df
code .

In a VS Code terminal

# if PowerShell blocks execution
Set-ExecutionPolicy -Scope Process -ExecutionPolicy Bypass
.\rel.ps1

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

uvx pre-commit install
uvx pre-commit autoupdate

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

# test drive
uv run se-df --help
uv run se-df init --help
uv run se-df validate --help
uv run se-df generate --help
uv run se-df compare --help
uv run se-df conformance --help
uv run se-df report --help
uv run se-df up --help

# types, tests, docs
uv run python -m pyright
uv run python -m pytest
uv run python -m zensical build

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

Annotations

.annotations/annotations.md

Authority Manifest

.accountability/surfaces.toml

Citation

CITATION.cff

License

MIT