dsl41 0.1.0__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (23) hide show
  1. dsl41/__init__.py +18 -0
  2. dsl41/ast_jil.py +709 -0
  3. dsl41/backend_uc.py +588 -0
  4. dsl41/cli.py +482 -0
  5. dsl41/conditions.py +430 -0
  6. dsl41/derive.py +825 -0
  7. dsl41/dsl.py +1288 -0
  8. dsl41/equiv.py +868 -0
  9. dsl41/grammars/condition.lark +80 -0
  10. dsl41/ir.py +1362 -0
  11. dsl41/lint.py +891 -0
  12. dsl41/oracle.py +835 -0
  13. dsl41/placeholders.py +217 -0
  14. dsl41/py.typed +0 -0
  15. dsl41/uc_oracle.py +490 -0
  16. dsl41/viz.py +730 -0
  17. dsl41-0.1.0.dist-info/METADATA +251 -0
  18. dsl41-0.1.0.dist-info/RECORD +23 -0
  19. dsl41-0.1.0.dist-info/WHEEL +4 -0
  20. dsl41-0.1.0.dist-info/entry_points.txt +2 -0
  21. dsl41-0.1.0.dist-info/licenses/COMMERCIAL.md +14 -0
  22. dsl41-0.1.0.dist-info/licenses/LICENSE +661 -0
  23. dsl41-0.1.0.dist-info/licenses/LICENSING.md +26 -0
dsl41/__init__.py ADDED
@@ -0,0 +1,18 @@
1
+ """dsl41: AutoSys->Stonebranch migration compiler.
2
+
3
+ Module map (implementation order per CLAUDE.md; all ten phases built):
4
+ ast_jil - JIL statement scanner + AST + preserve/canonical renderers (docs/jil-statement-syntax.md)
5
+ conditions - condition-expression parsing via grammars/condition.lark -> Cond models
6
+ ir - IR-F Pydantic models + AST->IR-F lowering (docs/ir-design.md ss3-4)
7
+ lint - Violation model + rules L001..L015 (docs/ir-design.md ss9)
8
+ derive - IR-F -> IR-G analysis passes (docs/ir-design.md ss5)
9
+ viz - IR-G -> Mermaid
10
+ oracle - discrete-event AutoSys semantics interpreter (docs/ir-design.md ss7)
11
+ equiv - canonical form + equivalence tiers a/b/c (docs/ir-design.md ss6)
12
+ backend_uc - UC twin model + edge classification + migration report
13
+ (record emission PENDING: U3 -- see BlockedOnU3)
14
+ uc_oracle - minimal UC workflow interpreter + trace comparator
15
+ (the P-Mxx expected-divergence pairs, stonebranch Part IV)
16
+ dsl - builder surface (job/box/sequence/parallel) + decompiler
17
+ cli - typer entry points (lint/equiv/report/viz/decompile)
18
+ """