se-df¶

SE-DF (Structural Explainability Domain Formalization) is a toolkit for building executable domain specifications.

Rather than treating schemas, controlled vocabularies, documentation, generated code, diagnostics, and formal artifacts as independent projects, SE-DF derives them from a single authoritative domain model.

A domain specification becomes an executable asset.

Purpose¶

Many domains use a common engineering process:

• define concepts
• establish terminology
• separate controlled vocabularies from structural models
• generate language bindings
• validate specifications
• produce documentation
• generate diagnostics
• compare independent implementations
• produce conformance evidence
• connect to formal verification

SE-DF provides the reusable infrastructure. Individual domains provide the domain knowledge.

Philosophy¶

SE-DF follows a generator-first architecture.

The author maintains a single authoritative domain specification and related documents are derived.

Domain Specification
        ↓
Schemas
        ↓
Language Bindings
        ↓
Diagnostics
        ↓
Documentation
        ↓
Conformance Artifacts
        ↓
Formal Obligations

Typical Workflow¶

uvx se-df init

uvx se-df validate

uvx se-df generate

uvx se-df compare

uvx se-df conformance

uvx se-df report

uvx se-df up

Each command represents a stage of the domain formalization pipeline.

Initial Scope¶

The first implementation focuses on:

• concept systems
• controlled vocabularies
• structural schemas
• diagnostics
• documentation generation
• Python generation
• Rust generation
• conformance artifacts

Additional generators and formal integrations will be added incrementally.