How star-ga/mind-spec works
This repository’s product is the normative MIND language specification, not a compiler implementation. Its main user workflow is to consult the language and type rules, follow the defined IR and runtime contracts, and use the standard-library and evidence documents to understand supported capabilities and guarantees. The graph also shows the small sampled Core IR prototype as a supporting internal layer. Most source excerpts are documentation; links between specification areas follow the README’s organization, and the prototype links are limited to calls visible in sampled code.
Main entry points: ir.md Core IR · language.md Surface language · language.py Expression entry · stdlib.md Standard library
Components 16
Language specification
- Surface language
spec/v1.0/language.md - Lexical rules
spec/v1.0/lexical.md - Types and shapes
spec/v1.0/types.md
Execution contracts
- Core IR
spec/v1.0/ir.md - Static autodiff
spec/v1.0/autodiff.md - Runtime interface
spec/v1.0/runtime.md - MLIR lowering
spec/v1.0/mlir-lowering.md
Libraries and evidence
- Standard library
spec/v1.0/stdlib.md - Determinism
determinism.md - IR stability
spec/v1.0/ir-stability.md - Model artifacts
spec/v1.0/model-artifact.md - Security profile
spec/v1.0/security.md
IR prototype
- Expression entry
tools/core_ir/language.py - Type validation
tools/core_ir/type_system.py - IR builder
tools/core_ir/core_ir.py
Other components
- Language reader
Connections 16
- Language reader → Surface language: consults
- Language reader → Standard library: consults
- Surface language → Lexical rules: specifies syntax
- Surface language → Types and shapes: uses type rules
- Surface language → Core IR: defines representation
- Core IR → Static autodiff: supports transforms
- Core IR → Runtime interface: defines interface
- Core IR → MLIR lowering: describes lowering
- Standard library → Runtime interface: specifies library use
- IR stability → Core IR: constrains format
- Model artifacts → IR stability: anchors evidence
- Security profile → Model artifacts: specifies trust
- Determinism → Language reader: states guarantees
- Expression entry → Type validation: validates program
- Expression entry → IR builder: emits operations
- Type validation → IR builder: materializes inputs