domainforge 0.13.0

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 (481) hide show
  1. package/.cargo/config.toml +6 -0
  2. package/.claude/settings.local.json +18 -0
  3. package/.coderabbit.yml +43 -0
  4. package/.codex/skills/release-management/SKILL.md +151 -0
  5. package/.codex/skills/release-management/agents/openai.yaml +4 -0
  6. package/.github/actions/decrypt-secrets/action.yml +121 -0
  7. package/.github/agents/Coder.agent.md +97 -0
  8. package/.github/agents/DeepResearch.agent.md +61 -0
  9. package/.github/chatmodes/tdd.vibepro.chatmode.md +1183 -0
  10. package/.github/copilot-instructions.md +13 -0
  11. package/.github/dependabot.yml +68 -0
  12. package/.github/workflows/README.md +165 -0
  13. package/.github/workflows/ci.yml +335 -0
  14. package/.github/workflows/dependabot-automerge.yml +114 -0
  15. package/.github/workflows/dependency-review.yml +27 -0
  16. package/.github/workflows/deploy.yml +87 -0
  17. package/.github/workflows/prepare-release.yml +168 -0
  18. package/.github/workflows/release-crates.yml +42 -0
  19. package/.github/workflows/release-npm.yml +137 -0
  20. package/.github/workflows/release-please.yml +29 -0
  21. package/.github/workflows/release-pypi.yml +96 -0
  22. package/.gitkeep +1 -0
  23. package/.release-please-manifest.json +5 -0
  24. package/.sea-registry.toml +10 -0
  25. package/.serena/project.yml +133 -0
  26. package/.sops.yaml +10 -0
  27. package/AGENTS.md +216 -0
  28. package/CHANGELOG.md +400 -0
  29. package/CLAUDE.md +62 -0
  30. package/CONTRIBUTING.md +323 -0
  31. package/Cargo.lock +3612 -0
  32. package/Cargo.toml +12 -0
  33. package/LICENSE +201 -0
  34. package/README.md +660 -0
  35. package/README_PYTHON.md +256 -0
  36. package/README_TYPESCRIPT.md +305 -0
  37. package/README_WASM.md +329 -0
  38. package/RELEASE_NOTES.md +41 -0
  39. package/bun.lock +378 -0
  40. package/bunfig.toml +11 -0
  41. package/check_output.txt +83 -0
  42. package/clippy_output.txt +80 -0
  43. package/commitlint.config.cjs +8 -0
  44. package/deny.toml +42 -0
  45. package/devbox.json +14 -0
  46. package/devbox.lock +76 -0
  47. package/docs/RELEASE_PROCESS.md +360 -0
  48. package/docs/diagnostics.md +161 -0
  49. package/docs/doc_guidelines.md +53 -0
  50. package/docs/explanations/README.md +21 -0
  51. package/docs/explanations/architecture-overview.md +109 -0
  52. package/docs/explanations/cross-language-binding-strategy.md +68 -0
  53. package/docs/explanations/graph-store-design.md +47 -0
  54. package/docs/explanations/performance-benchmarks.md +63 -0
  55. package/docs/explanations/policy-evaluation-logic.md +106 -0
  56. package/docs/explanations/semantic-modeling-concepts.md +109 -0
  57. package/docs/explanations/three-valued-logic.md +66 -0
  58. package/docs/explanations/versioning-strategy.md +45 -0
  59. package/docs/governance.md +168 -0
  60. package/docs/how-tos/README.md +46 -0
  61. package/docs/how-tos/ci-cd-validation.md +93 -0
  62. package/docs/how-tos/create-custom-units.md +125 -0
  63. package/docs/how-tos/define-policies.md +119 -0
  64. package/docs/how-tos/export-to-calm.md +110 -0
  65. package/docs/how-tos/export-to-protobuf.md +312 -0
  66. package/docs/how-tos/extend-grammar.md +133 -0
  67. package/docs/how-tos/generate-rdf-turtle.md +106 -0
  68. package/docs/how-tos/import-from-calm.md +114 -0
  69. package/docs/how-tos/import-from-sbvr.md +249 -0
  70. package/docs/how-tos/install-cli.md +126 -0
  71. package/docs/how-tos/parse-sea-files.md +132 -0
  72. package/docs/how-tos/policy-evaluation-modes.md +30 -0
  73. package/docs/how-tos/run-cross-language-tests.md +115 -0
  74. package/docs/how-tos/troubleshoot-napi-builds.md +55 -0
  75. package/docs/how-tos/use-modules-imports.md +285 -0
  76. package/docs/index.md +13 -0
  77. package/docs/plans/canonical-normalizer.md +121 -0
  78. package/docs/plans/cd_improvement.md +112 -0
  79. package/docs/plans/cli-ast.md +29 -0
  80. package/docs/plans/expression-bindings-and-normalizer-integration.md +174 -0
  81. package/docs/plans/protobuf_advanced_features_plan.md +597 -0
  82. package/docs/plans/protobuf_plan.yml +525 -0
  83. package/docs/plans/refactor_dsl_architecture.md +131 -0
  84. package/docs/plans/release-plan.md +163 -0
  85. package/docs/plans/sea_fmt_implementation_plan.md +516 -0
  86. package/docs/playbooks/README.md +18 -0
  87. package/docs/playbooks/adding-new-primitive.md +68 -0
  88. package/docs/playbooks/debugging-parser-failures.md +42 -0
  89. package/docs/playbooks/local-release-preparation.md +139 -0
  90. package/docs/playbooks/migrating-schema-versions.md +43 -0
  91. package/docs/playbooks/onboarding-contributors.md +64 -0
  92. package/docs/playbooks/releasing-beta.md +86 -0
  93. package/docs/playbooks/secret-management.md +64 -0
  94. package/docs/reference/README.md +199 -0
  95. package/docs/reference/ast-json-api.md +427 -0
  96. package/docs/reference/calm-mapping.md +519 -0
  97. package/docs/reference/cli-commands.md +588 -0
  98. package/docs/reference/configuration.md +202 -0
  99. package/docs/reference/error-codes.md +664 -0
  100. package/docs/reference/generated-artifacts-policy.md +53 -0
  101. package/docs/reference/grammar-spec.md +255 -0
  102. package/docs/reference/primitives-api.md +317 -0
  103. package/docs/reference/protobuf-api.md +426 -0
  104. package/docs/reference/python-api.md +485 -0
  105. package/docs/reference/registry.md +50 -0
  106. package/docs/reference/sea-dsl-ai-cheatsheet.yaml +913 -0
  107. package/docs/reference/security-model.md +74 -0
  108. package/docs/reference/typescript-api.md +508 -0
  109. package/docs/reference/wasm-api.md +420 -0
  110. package/docs/semantic-pack-review.md +144 -0
  111. package/docs/semantic-pack-signing.md +234 -0
  112. package/docs/semantic-packs.md +284 -0
  113. package/docs/specs/ADR-001-sea-dsl-semantic-source-of-truth.md +33 -0
  114. package/docs/specs/ADR-002-projection-first-class-construct.md +50 -0
  115. package/docs/specs/ADR-003-protobuf-projection-target.md +51 -0
  116. package/docs/specs/ADR-004-projection-compatibility-semantics.md +57 -0
  117. package/docs/specs/ADR-005-multi-language-support-strategy.md +112 -0
  118. package/docs/specs/ADR-006-error-handling-strategy.md +115 -0
  119. package/docs/specs/ADR-007-policy-evaluation-engine.md +95 -0
  120. package/docs/specs/ADR-008-knowledge-graph-integration.md +90 -0
  121. package/docs/specs/ADR-009-module-resolution-strategy.md +115 -0
  122. package/docs/specs/ADR-010-unit-system.md +106 -0
  123. package/docs/specs/PRD-001-sea-projection-framework.md +155 -0
  124. package/docs/specs/PRD-002-sea-cli-tooling.md +169 -0
  125. package/docs/specs/PRD-003-dsl-core-capabilities.md +275 -0
  126. package/docs/specs/README.md +62 -0
  127. package/docs/specs/SDS-001-protobuf-projection-engine.md +451 -0
  128. package/docs/specs/SDS-002-sea-core-architecture.md +268 -0
  129. package/docs/specs/SDS-003-parser-semantic-graph.md +377 -0
  130. package/docs/specs/SDS-004-policy-engine-design.md +362 -0
  131. package/docs/specs/SDS-005-knowledge-graph-module.md +364 -0
  132. package/docs/specs/SDS-006-calm-integration.md +367 -0
  133. package/docs/specs/SDS-007-sbvr-import.md +347 -0
  134. package/docs/templates/template_explanation.md +14 -0
  135. package/docs/templates/template_howto.md +21 -0
  136. package/docs/templates/template_playbook.md +21 -0
  137. package/docs/templates/template_reference.md +17 -0
  138. package/docs/templates/template_tutorial.md +24 -0
  139. package/docs/tutorials/README.md +12 -0
  140. package/docs/tutorials/first-sea-model.md +85 -0
  141. package/docs/tutorials/getting-started.md +98 -0
  142. package/docs/tutorials/python-binding-quickstart.md +107 -0
  143. package/docs/tutorials/typescript-binding-quickstart.md +91 -0
  144. package/docs/tutorials/wasm-in-browser.md +75 -0
  145. package/domainforge-core/CHANGELOG.md +138 -0
  146. package/domainforge-core/Cargo.toml +101 -0
  147. package/domainforge-core/MIGRATING.md +32 -0
  148. package/domainforge-core/README.md +197 -0
  149. package/domainforge-core/benchmark_results.txt +51 -0
  150. package/domainforge-core/build.rs +6 -0
  151. package/domainforge-core/deny.toml +31 -0
  152. package/domainforge-core/docs/specs/projections/sbvr_kg_mapping.md +43 -0
  153. package/domainforge-core/examples/basic.sea +7 -0
  154. package/domainforge-core/examples/cli/import_export_workflow.sh +38 -0
  155. package/domainforge-core/examples/cli/validate_example.sh +30 -0
  156. package/domainforge-core/examples/evolution_semantics.sea +31 -0
  157. package/domainforge-core/examples/parser_demo.rs +203 -0
  158. package/domainforge-core/grammar/sea.pest +408 -0
  159. package/domainforge-core/schemas/calm-v1.schema.json +170 -0
  160. package/domainforge-core/schemas/shacl/sea_shapes.ttl +19 -0
  161. package/domainforge-core/src/authority/compiler.rs +309 -0
  162. package/domainforge-core/src/authority/environment.rs +203 -0
  163. package/domainforge-core/src/authority/error.rs +164 -0
  164. package/domainforge-core/src/authority/fact_resolver.rs +224 -0
  165. package/domainforge-core/src/authority/mod.rs +25 -0
  166. package/domainforge-core/src/authority/pack.rs +133 -0
  167. package/domainforge-core/src/authority/policy.rs +224 -0
  168. package/domainforge-core/src/authority/resolver.rs +446 -0
  169. package/domainforge-core/src/authority/trace.rs +217 -0
  170. package/domainforge-core/src/authority/transform.rs +168 -0
  171. package/domainforge-core/src/authority/types.rs +617 -0
  172. package/domainforge-core/src/bin/domainforge.rs +25 -0
  173. package/domainforge-core/src/calm/export.rs +538 -0
  174. package/domainforge-core/src/calm/import.rs +1220 -0
  175. package/domainforge-core/src/calm/mod.rs +9 -0
  176. package/domainforge-core/src/calm/models.rs +108 -0
  177. package/domainforge-core/src/calm/sbvr_import.rs +9 -0
  178. package/domainforge-core/src/cli/authority.rs +149 -0
  179. package/domainforge-core/src/cli/format.rs +85 -0
  180. package/domainforge-core/src/cli/import.rs +133 -0
  181. package/domainforge-core/src/cli/mod.rs +64 -0
  182. package/domainforge-core/src/cli/normalize.rs +180 -0
  183. package/domainforge-core/src/cli/pack.rs +904 -0
  184. package/domainforge-core/src/cli/parse.rs +112 -0
  185. package/domainforge-core/src/cli/project.rs +294 -0
  186. package/domainforge-core/src/cli/registry.rs +41 -0
  187. package/domainforge-core/src/cli/test.rs +12 -0
  188. package/domainforge-core/src/cli/validate.rs +195 -0
  189. package/domainforge-core/src/cli/validate_kg.rs +80 -0
  190. package/domainforge-core/src/concept_id.rs +89 -0
  191. package/domainforge-core/src/error/diagnostics.rs +426 -0
  192. package/domainforge-core/src/error/fuzzy.rs +253 -0
  193. package/domainforge-core/src/error/mod.rs +13 -0
  194. package/domainforge-core/src/formatter/comments.rs +223 -0
  195. package/domainforge-core/src/formatter/config.rs +114 -0
  196. package/domainforge-core/src/formatter/mod.rs +22 -0
  197. package/domainforge-core/src/formatter/printer.rs +906 -0
  198. package/domainforge-core/src/graph/mod.rs +858 -0
  199. package/domainforge-core/src/graph/to_ast.rs +66 -0
  200. package/domainforge-core/src/kg.rs +1476 -0
  201. package/domainforge-core/src/kg_import.rs +251 -0
  202. package/domainforge-core/src/lib.rs +203 -0
  203. package/domainforge-core/src/module/mod.rs +1 -0
  204. package/domainforge-core/src/module/resolver.rs +260 -0
  205. package/domainforge-core/src/parser/ast.rs +2919 -0
  206. package/domainforge-core/src/parser/ast_convert.rs +494 -0
  207. package/domainforge-core/src/parser/ast_schema.rs +491 -0
  208. package/domainforge-core/src/parser/error.rs +291 -0
  209. package/domainforge-core/src/parser/lint.rs +39 -0
  210. package/domainforge-core/src/parser/mod.rs +193 -0
  211. package/domainforge-core/src/parser/printer.rs +702 -0
  212. package/domainforge-core/src/parser/profiles.rs +71 -0
  213. package/domainforge-core/src/parser/string_utils.rs +138 -0
  214. package/domainforge-core/src/patterns.rs +68 -0
  215. package/domainforge-core/src/policy/core.rs +1148 -0
  216. package/domainforge-core/src/policy/expression.rs +399 -0
  217. package/domainforge-core/src/policy/mod.rs +18 -0
  218. package/domainforge-core/src/policy/normalize.rs +1028 -0
  219. package/domainforge-core/src/policy/quantifier.rs +940 -0
  220. package/domainforge-core/src/policy/three_valued.rs +140 -0
  221. package/domainforge-core/src/policy/three_valued_microbench.rs +104 -0
  222. package/domainforge-core/src/policy/type_inference.rs +67 -0
  223. package/domainforge-core/src/policy/violation.rs +36 -0
  224. package/domainforge-core/src/primitives/concept_change.rs +61 -0
  225. package/domainforge-core/src/primitives/entity.rs +224 -0
  226. package/domainforge-core/src/primitives/flow.rs +111 -0
  227. package/domainforge-core/src/primitives/instance.rs +93 -0
  228. package/domainforge-core/src/primitives/mapping_contract.rs +50 -0
  229. package/domainforge-core/src/primitives/metric.rs +79 -0
  230. package/domainforge-core/src/primitives/mod.rs +25 -0
  231. package/domainforge-core/src/primitives/projection_contract.rs +50 -0
  232. package/domainforge-core/src/primitives/quantity.rs +56 -0
  233. package/domainforge-core/src/primitives/relation.rs +68 -0
  234. package/domainforge-core/src/primitives/resource.rs +237 -0
  235. package/domainforge-core/src/primitives/resource_instance.rs +88 -0
  236. package/domainforge-core/src/primitives/role.rs +49 -0
  237. package/domainforge-core/src/projection/buf.rs +404 -0
  238. package/domainforge-core/src/projection/contracts.rs +22 -0
  239. package/domainforge-core/src/projection/engine.rs +19 -0
  240. package/domainforge-core/src/projection/mod.rs +16 -0
  241. package/domainforge-core/src/projection/protobuf.rs +3331 -0
  242. package/domainforge-core/src/projection/registry.rs +43 -0
  243. package/domainforge-core/src/python/authority.rs +253 -0
  244. package/domainforge-core/src/python/error.rs +227 -0
  245. package/domainforge-core/src/python/formatter.rs +86 -0
  246. package/domainforge-core/src/python/graph.rs +366 -0
  247. package/domainforge-core/src/python/mod.rs +9 -0
  248. package/domainforge-core/src/python/policy.rs +651 -0
  249. package/domainforge-core/src/python/primitives.rs +796 -0
  250. package/domainforge-core/src/python/registry.rs +98 -0
  251. package/domainforge-core/src/python/semantic_pack.rs +619 -0
  252. package/domainforge-core/src/python/units.rs +96 -0
  253. package/domainforge-core/src/registry/mod.rs +432 -0
  254. package/domainforge-core/src/registry/tests.rs +210 -0
  255. package/domainforge-core/src/sbvr.rs +744 -0
  256. package/domainforge-core/src/semantic_pack/builder.rs +470 -0
  257. package/domainforge-core/src/semantic_pack/canonical_json.rs +184 -0
  258. package/domainforge-core/src/semantic_pack/diagnostics.rs +214 -0
  259. package/domainforge-core/src/semantic_pack/diff.rs +216 -0
  260. package/domainforge-core/src/semantic_pack/mod.rs +31 -0
  261. package/domainforge-core/src/semantic_pack/pack_set.rs +240 -0
  262. package/domainforge-core/src/semantic_pack/resolver.rs +437 -0
  263. package/domainforge-core/src/semantic_pack/review.rs +125 -0
  264. package/domainforge-core/src/semantic_pack/schema.rs +342 -0
  265. package/domainforge-core/src/semantic_pack/signing.rs +105 -0
  266. package/domainforge-core/src/semantic_pack/validator.rs +368 -0
  267. package/domainforge-core/src/semantic_version.rs +140 -0
  268. package/domainforge-core/src/test_utils.rs +12 -0
  269. package/domainforge-core/src/typescript/authority.rs +184 -0
  270. package/domainforge-core/src/typescript/error.rs +146 -0
  271. package/domainforge-core/src/typescript/formatter.rs +76 -0
  272. package/domainforge-core/src/typescript/graph.rs +391 -0
  273. package/domainforge-core/src/typescript/mod.rs +9 -0
  274. package/domainforge-core/src/typescript/policy.rs +564 -0
  275. package/domainforge-core/src/typescript/primitives.rs +784 -0
  276. package/domainforge-core/src/typescript/registry.rs +88 -0
  277. package/domainforge-core/src/typescript/semantic_pack.rs +470 -0
  278. package/domainforge-core/src/typescript/units.rs +76 -0
  279. package/domainforge-core/src/units/mod.rs +462 -0
  280. package/domainforge-core/src/uuid_module.rs +42 -0
  281. package/domainforge-core/src/validation_error.rs +818 -0
  282. package/domainforge-core/src/validation_result.rs +30 -0
  283. package/domainforge-core/src/wasm/authority.rs +192 -0
  284. package/domainforge-core/src/wasm/error.rs +145 -0
  285. package/domainforge-core/src/wasm/formatter.rs +69 -0
  286. package/domainforge-core/src/wasm/graph.rs +471 -0
  287. package/domainforge-core/src/wasm/mod.rs +16 -0
  288. package/domainforge-core/src/wasm/policy.rs +607 -0
  289. package/domainforge-core/src/wasm/primitives.rs +295 -0
  290. package/domainforge-core/src/wasm/semantic_pack.rs +471 -0
  291. package/domainforge-core/src/wasm/units.rs +62 -0
  292. package/domainforge-core/std/aws.sea +6 -0
  293. package/domainforge-core/std/core.sea +6 -0
  294. package/domainforge-core/std/http.sea +27 -0
  295. package/domainforge-core/tests/aggregation_enhanced_tests.rs +162 -0
  296. package/domainforge-core/tests/aggregation_eval_tests.rs +248 -0
  297. package/domainforge-core/tests/aggregation_integration_tests.rs +379 -0
  298. package/domainforge-core/tests/aggregation_parser_tests.rs +92 -0
  299. package/domainforge-core/tests/aggregation_tests.rs +102 -0
  300. package/domainforge-core/tests/authority_conformance_tests.rs +1173 -0
  301. package/domainforge-core/tests/calm_round_trip_tests.rs +283 -0
  302. package/domainforge-core/tests/calm_schema_validation_tests.rs +137 -0
  303. package/domainforge-core/tests/cast_operator_tests.rs +85 -0
  304. package/domainforge-core/tests/cli_binary_check.rs +37 -0
  305. package/domainforge-core/tests/cli_import_tests.rs +291 -0
  306. package/domainforge-core/tests/cli_path_traversal_tests.rs +124 -0
  307. package/domainforge-core/tests/cli_tests.rs +63 -0
  308. package/domainforge-core/tests/diagnostics_tests.rs +203 -0
  309. package/domainforge-core/tests/dimension_unit_tests.rs +80 -0
  310. package/domainforge-core/tests/entity_tests.rs +69 -0
  311. package/domainforge-core/tests/evolution_semantics_tests.rs +157 -0
  312. package/domainforge-core/tests/flow_tests.rs +78 -0
  313. package/domainforge-core/tests/flow_unit_validation_tests.rs +31 -0
  314. package/domainforge-core/tests/graph_integration_tests.rs +218 -0
  315. package/domainforge-core/tests/graph_tests.rs +626 -0
  316. package/domainforge-core/tests/import_parsing_tests.rs +23 -0
  317. package/domainforge-core/tests/instance_integration_tests.rs +98 -0
  318. package/domainforge-core/tests/instance_parsing_tests.rs +58 -0
  319. package/domainforge-core/tests/instance_tests.rs +61 -0
  320. package/domainforge-core/tests/kg_uri_encoding_tests.rs +53 -0
  321. package/domainforge-core/tests/lint_tests.rs +19 -0
  322. package/domainforge-core/tests/metric_tests.rs +143 -0
  323. package/domainforge-core/tests/module_resolution_tests.rs +100 -0
  324. package/domainforge-core/tests/namespace_registry_tests.rs +247 -0
  325. package/domainforge-core/tests/null_handling_tests.rs +26 -0
  326. package/domainforge-core/tests/parser_ast_v3.rs +53 -0
  327. package/domainforge-core/tests/parser_dimension_registry_tests.rs +20 -0
  328. package/domainforge-core/tests/parser_integration_tests.rs +294 -0
  329. package/domainforge-core/tests/parser_metadata_tests.rs +97 -0
  330. package/domainforge-core/tests/parser_resource_domain_only_graph_test.rs +21 -0
  331. package/domainforge-core/tests/parser_resource_limits_tests.rs +122 -0
  332. package/domainforge-core/tests/parser_tests.rs +512 -0
  333. package/domainforge-core/tests/pattern_semantics_tests.rs +87 -0
  334. package/domainforge-core/tests/phase_14_determinism_tests.rs +166 -0
  335. package/domainforge-core/tests/phase_15_validation_error_tests.rs +136 -0
  336. package/domainforge-core/tests/phase_16_unicode_tests.rs +248 -0
  337. package/domainforge-core/tests/phase_17_export_tests.rs +285 -0
  338. package/domainforge-core/tests/phase_17_round_trip_tests.rs +264 -0
  339. package/domainforge-core/tests/policy_tests.rs +635 -0
  340. package/domainforge-core/tests/primitives_integration_tests.rs +151 -0
  341. package/domainforge-core/tests/print_rdf_xml.rs +14 -0
  342. package/domainforge-core/tests/printer_tests.rs +204 -0
  343. package/domainforge-core/tests/profile_tests.rs +35 -0
  344. package/domainforge-core/tests/projection_contracts_tests.rs +154 -0
  345. package/domainforge-core/tests/protobuf_projection_tests.rs +199 -0
  346. package/domainforge-core/tests/quantity_tests.rs +41 -0
  347. package/domainforge-core/tests/rdf_xml_typed_literal_tests.rs +105 -0
  348. package/domainforge-core/tests/registry_schema_tests.rs +33 -0
  349. package/domainforge-core/tests/resource_tests.rs +50 -0
  350. package/domainforge-core/tests/resource_unit_tests.rs +24 -0
  351. package/domainforge-core/tests/roles_relations_tests.rs +61 -0
  352. package/domainforge-core/tests/round_trip_tests.rs +34 -0
  353. package/domainforge-core/tests/runtime_toggle_tests.rs +70 -0
  354. package/domainforge-core/tests/sbvr_fact_schema_tests.rs +60 -0
  355. package/domainforge-core/tests/sbvr_flow_facts_tests.rs +55 -0
  356. package/domainforge-core/tests/sbvr_parsing_tests.rs +53 -0
  357. package/domainforge-core/tests/semantic_pack_alias_resolution.rs +197 -0
  358. package/domainforge-core/tests/semantic_pack_build.rs +302 -0
  359. package/domainforge-core/tests/semantic_pack_consumer_smoke.rs +150 -0
  360. package/domainforge-core/tests/semantic_pack_pack_set.rs +160 -0
  361. package/domainforge-core/tests/semantic_pack_signing.rs +157 -0
  362. package/domainforge-core/tests/semantic_pack_three_valued.rs +250 -0
  363. package/domainforge-core/tests/semantic_pack_validate.rs +196 -0
  364. package/domainforge-core/tests/std_lib_tests.rs +37 -0
  365. package/domainforge-core/tests/temporal_evaluation_tests.rs +159 -0
  366. package/domainforge-core/tests/temporal_semantics_tests.rs +214 -0
  367. package/domainforge-core/tests/three_valued_quantifiers_tests.rs +164 -0
  368. package/domainforge-core/tests/turtle_entity_export_tests.rs +38 -0
  369. package/domainforge-core/tests/turtle_escaping_tests.rs +53 -0
  370. package/domainforge-core/tests/turtle_resource_export_tests.rs +34 -0
  371. package/domainforge-core/tests/type_inference_tests.rs +40 -0
  372. package/domainforge-core/tests/unicode_validation_tests.rs +169 -0
  373. package/domainforge-core/tests/unit_tests.rs +81 -0
  374. package/domainforge-core/tests/validate_tests.rs +38 -0
  375. package/domainforge-core/tests/validation_unit_mismatch_tests.rs +83 -0
  376. package/domainforge-core/tests/wasm_tests.rs +229 -0
  377. package/domainforge-python/CHANGELOG-python.md +12 -0
  378. package/domainforge-python/MIGRATING.md +24 -0
  379. package/domainforge-python/README.md +256 -0
  380. package/domainforge-python/domainforge/__init__.py +95 -0
  381. package/domainforge-python/domainforge/domainforge.pyi +519 -0
  382. package/domainforge-python/pyproject.toml +36 -0
  383. package/domainforge-typescript/CHANGELOG-typescript.md +12 -0
  384. package/domainforge-typescript/LICENSE +201 -0
  385. package/domainforge-typescript/MIGRATING.md +24 -0
  386. package/domainforge-typescript/README.md +305 -0
  387. package/domainforge-typescript/index.d.ts +452 -0
  388. package/domainforge-typescript/index.js +361 -0
  389. package/domainforge-typescript/package.json +60 -0
  390. package/example.js +61 -0
  391. package/examples/browser.html +366 -0
  392. package/examples/namespaces/finance/cashflow.sea +5 -0
  393. package/examples/namespaces/logistics/core.sea +7 -0
  394. package/examples/observability_metrics.sea +38 -0
  395. package/fixtures/semantic_packs/acme_procurement/domain/entities.sea +39 -0
  396. package/fixtures/semantic_packs/acme_procurement/domain/metrics.sea +11 -0
  397. package/fixtures/semantic_packs/acme_procurement/domain/relations.sea +7 -0
  398. package/fixtures/semantic_packs/acme_procurement/domain/resources.sea +9 -0
  399. package/fixtures/semantic_packs/acme_procurement/review/acme.procurement.semantic-review.jsonl +7 -0
  400. package/fixtures/semantic_packs/acme_procurement/tests/ambiguous_vendor_alias.sea +8 -0
  401. package/fixtures/semantic_packs/acme_procurement/tests/deprecated_vendor_alias.sea +8 -0
  402. package/fixtures/semantic_packs/acme_procurement/tests/invalid_relation.sea +3 -0
  403. package/fixtures/semantic_packs/acme_procurement/tests/proposed_concept.sea +8 -0
  404. package/fixtures/semantic_packs/acme_procurement/tests/rejected_concept.sea +8 -0
  405. package/fixtures/semantic_packs/acme_procurement/tests/unit_mismatch.sea +7 -0
  406. package/fixtures/semantic_packs/acme_procurement/tests/unknown_vendor_policy.sea +8 -0
  407. package/fixtures/semantic_packs/acme_procurement/tests/valid_purchase_policy.sea +8 -0
  408. package/index.d.ts +2 -0
  409. package/index.js +8 -0
  410. package/justfile +200 -0
  411. package/lefthook.yml +13 -0
  412. package/lib/validate_native_exports.d.ts +4 -0
  413. package/lib/validate_native_exports.js +12 -0
  414. package/package.json +22 -0
  415. package/pytest.ini +5 -0
  416. package/python/tests/test_registry.py +75 -0
  417. package/python/tests/test_units.py +18 -0
  418. package/release-please-config.json +49 -0
  419. package/requirements-dev.txt +3 -0
  420. package/requirements.txt +3 -0
  421. package/rust-toolchain.toml +3 -0
  422. package/schemas/ast-v1.schema.json +72 -0
  423. package/schemas/ast-v2.schema.json +1200 -0
  424. package/schemas/ast-v3.schema.json +1200 -0
  425. package/schemas/sea-registry.schema.json +45 -0
  426. package/scripts/build-python.sh +37 -0
  427. package/scripts/build-release.sh +279 -0
  428. package/scripts/build-typescript.sh +13 -0
  429. package/scripts/build-wasm.sh +113 -0
  430. package/scripts/bump-version.sh +245 -0
  431. package/scripts/check_unused_test_imports.py +85 -0
  432. package/scripts/ci_tasks.py +379 -0
  433. package/scripts/clear_debug_test.sh +10 -0
  434. package/scripts/create-github-release.sh +262 -0
  435. package/scripts/create-tag.sh +203 -0
  436. package/scripts/find_and_link_test_binary.sh +70 -0
  437. package/scripts/generate-changelog.sh +271 -0
  438. package/scripts/generate-release-notes.sh +205 -0
  439. package/scripts/lint_release_security.py +96 -0
  440. package/scripts/lint_release_workflows.py +82 -0
  441. package/scripts/lint_workflow_gates.py +113 -0
  442. package/scripts/optimized-wasm-build.sh +61 -0
  443. package/scripts/patch_napi_types.py +62 -0
  444. package/scripts/pre-release-check.sh +289 -0
  445. package/scripts/prepare_rust_debug.sh +52 -0
  446. package/scripts/release.sh +373 -0
  447. package/scripts/resolve_rust_binary.py +230 -0
  448. package/scripts/run_commitlint.sh +29 -0
  449. package/scripts/test-all.sh +77 -0
  450. package/scripts/update_launch_program.py +93 -0
  451. package/secrets/README.md +27 -0
  452. package/secrets/secrets.yaml +21 -0
  453. package/test_integration.py +67 -0
  454. package/tests/test_authority.py +328 -0
  455. package/tests/test_ci_tasks.py +143 -0
  456. package/tests/test_expression.py +256 -0
  457. package/tests/test_golden_payment_flow.py +42 -0
  458. package/tests/test_graph.py +127 -0
  459. package/tests/test_instance.py +136 -0
  460. package/tests/test_parser.py +82 -0
  461. package/tests/test_primitives.py +68 -0
  462. package/tests/test_role_relation_parity.py +56 -0
  463. package/tests/test_runtime_toggle.py +156 -0
  464. package/tests/test_semantic_pack.py +639 -0
  465. package/tests/test_three_valued_eval.py +159 -0
  466. package/tsconfig.json +30 -0
  467. package/typescript-tests/advanced.test.ts +165 -0
  468. package/typescript-tests/authority.test.ts +216 -0
  469. package/typescript-tests/expression.test.ts +228 -0
  470. package/typescript-tests/golden-payment-flow.test.ts +51 -0
  471. package/typescript-tests/graph.test.ts +142 -0
  472. package/typescript-tests/native-binding.test.ts +20 -0
  473. package/typescript-tests/primitives.test.ts +88 -0
  474. package/typescript-tests/registry.test.ts +122 -0
  475. package/typescript-tests/role_relation.test.ts +63 -0
  476. package/typescript-tests/runtime_toggle.test.ts +141 -0
  477. package/typescript-tests/semantic-pack.test.ts +556 -0
  478. package/typescript-tests/three_valued_eval.test.ts +135 -0
  479. package/typescript-tests/units.test.ts +36 -0
  480. package/vitest.config.ts +13 -0
  481. package/wasm_demo.html +225 -0
@@ -0,0 +1,80 @@
1
+ //! Tests for parsing dimension and unit declarations.
2
+ use domainforge_core::parser::ast::AstNode;
3
+ use domainforge_core::parser::parse_source;
4
+ use domainforge_core::units::{Dimension, UnitRegistry};
5
+ use rust_decimal_macros::dec;
6
+ #[test]
7
+ fn test_parse_dimension() {
8
+ let source = r#"
9
+ Dimension "Currency"
10
+ "#;
11
+ let ast = parse_source(source).unwrap();
12
+ assert_eq!(ast.declarations.len(), 1);
13
+ match &ast.declarations[0].node {
14
+ AstNode::Dimension { name } => {
15
+ assert_eq!(name, "Currency");
16
+ }
17
+ _ => panic!("Expected Dimension declaration"),
18
+ }
19
+ }
20
+ #[test]
21
+ fn test_parse_unit() {
22
+ let source = r#"
23
+ Unit "USD" of "Currency" factor 1 base "USD"
24
+ "#;
25
+ let ast = parse_source(source).unwrap();
26
+ assert_eq!(ast.declarations.len(), 1);
27
+ match &ast.declarations[0].node {
28
+ AstNode::UnitDeclaration {
29
+ symbol,
30
+ dimension,
31
+ ref factor,
32
+ base_unit,
33
+ } => {
34
+ assert_eq!(symbol, "USD");
35
+ assert_eq!(dimension, "Currency");
36
+ assert_eq!(*factor, dec!(1));
37
+ assert_eq!(base_unit, "USD");
38
+ }
39
+ _ => panic!("Expected UnitDeclaration"),
40
+ }
41
+ }
42
+ #[test]
43
+ fn test_parse_unit_with_decimal_factor() {
44
+ let source = r#"
45
+ Unit "EUR" of "Currency" factor 1.07 base "USD"
46
+ "#;
47
+ let ast = parse_source(source).unwrap();
48
+ assert_eq!(ast.declarations.len(), 1);
49
+ match &ast.declarations[0].node {
50
+ AstNode::UnitDeclaration { ref factor, .. } => {
51
+ assert_eq!(*factor, dec!(1.07));
52
+ }
53
+ _ => panic!("Expected UnitDeclaration"),
54
+ }
55
+ }
56
+
57
+ #[test]
58
+ fn test_register_from_json_case_insensitive_dimension() {
59
+ let mut registry = UnitRegistry::new();
60
+ let json = r#"[{"symbol":"NTEST","name":"Test","dimension":"currency","base_factor":1.0,"base_unit":"USD"}]"#;
61
+ registry
62
+ .register_from_json(json)
63
+ .expect("Failed to register from json");
64
+ let unit = registry.get_unit("NTEST").expect("Unit not registered");
65
+ assert_eq!(unit.dimension(), &Dimension::Currency);
66
+ }
67
+
68
+ #[test]
69
+ fn test_dimension_from_str_is_case_insensitive() {
70
+ use std::str::FromStr;
71
+ let d1 = Dimension::from_str("currency").unwrap();
72
+ let d2 = Dimension::from_str("Currency").unwrap();
73
+ let d3 = Dimension::from_str("CURRENCY").unwrap();
74
+ assert_eq!(d1, Dimension::Currency);
75
+ assert_eq!(d2, Dimension::Currency);
76
+ assert_eq!(d3, Dimension::Currency);
77
+ // Custom dims parse to lowercased custom name
78
+ let c = Dimension::from_str("MyDim").unwrap();
79
+ assert_eq!(c, Dimension::Custom("mydim".to_string()));
80
+ }
@@ -0,0 +1,69 @@
1
+ use domainforge_core::primitives::Entity;
2
+ use serde_json::json;
3
+ use uuid::Uuid;
4
+
5
+ #[test]
6
+ fn test_entity_new_creates_valid_uuid() {
7
+ let entity = Entity::new_with_namespace("Test Entity", "default".to_string());
8
+ assert!(Uuid::parse_str(&entity.id().to_string()).is_ok());
9
+ }
10
+
11
+ #[test]
12
+ fn test_entity_name_is_stored() {
13
+ let entity = Entity::new_with_namespace("Assembly Line A", "default".to_string());
14
+ assert_eq!(entity.name(), "Assembly Line A");
15
+ }
16
+
17
+ #[test]
18
+ fn test_entity_with_namespace() {
19
+ let entity = Entity::new_with_namespace("Warehouse", "logistics");
20
+ assert_eq!(entity.namespace(), "logistics");
21
+ }
22
+
23
+ #[test]
24
+ fn test_entity_defaults_to_default_namespace() {
25
+ let entity = Entity::new_with_namespace("Factory", "default".to_string());
26
+ assert_eq!(entity.namespace(), "default");
27
+ }
28
+
29
+ #[test]
30
+ fn test_entity_set_attribute() {
31
+ let mut entity = Entity::new_with_namespace("Factory", "default".to_string());
32
+ entity.set_attribute("capacity", json!(5000));
33
+ assert_eq!(entity.get_attribute("capacity"), Some(&json!(5000)));
34
+ }
35
+
36
+ #[test]
37
+ fn test_entity_multiple_attributes() {
38
+ let mut entity = Entity::new_with_namespace("Warehouse", "default".to_string());
39
+ entity.set_attribute("capacity_sqft", json!(50000));
40
+ entity.set_attribute("climate_controlled", json!(true));
41
+
42
+ assert_eq!(entity.get_attribute("capacity_sqft"), Some(&json!(50000)));
43
+ assert_eq!(
44
+ entity.get_attribute("climate_controlled"),
45
+ Some(&json!(true))
46
+ );
47
+ }
48
+
49
+ #[test]
50
+ fn test_entity_get_nonexistent_attribute() {
51
+ let entity = Entity::new_with_namespace("Entity", "default".to_string());
52
+ assert_eq!(entity.get_attribute("missing"), None);
53
+ }
54
+
55
+ #[test]
56
+ fn test_entity_serializes_to_json() {
57
+ let entity = Entity::new_with_namespace("Test", "default".to_string());
58
+ let json = serde_json::to_string(&entity).unwrap();
59
+ assert!(json.contains("Test"));
60
+ assert!(json.contains("id"));
61
+ }
62
+
63
+ #[test]
64
+ fn test_entity_deserializes_from_json() {
65
+ let entity = Entity::new_with_namespace("Original", "default".to_string());
66
+ let json = serde_json::to_string(&entity).unwrap();
67
+ let deserialized: Entity = serde_json::from_str(&json).unwrap();
68
+ assert_eq!(deserialized.name(), "Original");
69
+ }
@@ -0,0 +1,157 @@
1
+ use domainforge_core::parser::{parse, parse_to_graph, AstNode};
2
+ use domainforge_core::SemanticVersion;
3
+
4
+ #[test]
5
+ fn test_parse_entity_with_version_and_annotations() {
6
+ let source = r#"
7
+ Entity "Vendor" v2.1.0
8
+ @replaces "Vendor" v2.0.0
9
+ @changes ["added credit_limit field", "removed legacy_id"]
10
+ in procurement
11
+ "#;
12
+ let ast = parse(source).unwrap();
13
+ assert_eq!(ast.declarations.len(), 1);
14
+
15
+ match &ast.declarations[0].node {
16
+ AstNode::Entity {
17
+ name,
18
+ version,
19
+ annotations,
20
+ ..
21
+ } => {
22
+ assert_eq!(name, "Vendor");
23
+ assert_eq!(version.as_ref().unwrap(), "2.1.0");
24
+ assert!(annotations.contains_key("replaces"));
25
+ assert!(annotations.contains_key("changes"));
26
+ }
27
+ _ => panic!("Expected Entity declaration"),
28
+ }
29
+ }
30
+
31
+ #[test]
32
+ fn test_parse_concept_change() {
33
+ let source = r#"
34
+ ConceptChange "Vendor_v2_migration"
35
+ @from_version v2.0.0
36
+ @to_version v2.1.0
37
+ @migration_policy mandatory
38
+ @breaking_change true
39
+ "#;
40
+ let ast = parse(source).unwrap();
41
+ assert_eq!(ast.declarations.len(), 1);
42
+
43
+ match &ast.declarations[0].node {
44
+ AstNode::ConceptChange {
45
+ name,
46
+ from_version,
47
+ to_version,
48
+ migration_policy,
49
+ breaking_change,
50
+ ..
51
+ } => {
52
+ assert_eq!(name, "Vendor_v2_migration");
53
+ assert_eq!(from_version, "2.0.0");
54
+ assert_eq!(to_version, "2.1.0");
55
+ assert_eq!(migration_policy, "mandatory");
56
+ assert!(*breaking_change);
57
+ }
58
+ _ => panic!("Expected ConceptChange declaration"),
59
+ }
60
+ }
61
+
62
+ #[test]
63
+ fn test_entity_version_in_graph() {
64
+ let source = r#"
65
+ Entity "Vendor" v2.1.0
66
+ @replaces "Vendor" v2.0.0
67
+ @changes ["added credit_limit field"]
68
+ in procurement
69
+ "#;
70
+ let graph = parse_to_graph(source).unwrap();
71
+
72
+ let entities = graph.all_entities();
73
+ assert_eq!(entities.len(), 1);
74
+
75
+ let entity = entities[0];
76
+ assert_eq!(entity.name(), "Vendor");
77
+ assert_eq!(entity.version(), Some(&SemanticVersion::new(2, 1, 0)));
78
+ assert_eq!(entity.replaces(), Some("Vendor v2.0.0"));
79
+ assert_eq!(entity.changes().len(), 1);
80
+ assert_eq!(entity.changes()[0], "added credit_limit field");
81
+ }
82
+
83
+ #[test]
84
+ fn test_concept_change_in_graph() {
85
+ let source = r#"
86
+ ConceptChange "Vendor_v2_migration"
87
+ @from_version v2.0.0
88
+ @to_version v2.1.0
89
+ @migration_policy mandatory
90
+ @breaking_change true
91
+ "#;
92
+ let graph = parse_to_graph(source).unwrap();
93
+
94
+ let changes = graph.all_concept_changes();
95
+ assert_eq!(changes.len(), 1);
96
+
97
+ let change = changes[0];
98
+ assert_eq!(change.name(), "Vendor_v2_migration");
99
+ assert_eq!(change.from_version(), "2.0.0");
100
+ assert_eq!(change.to_version(), "2.1.0");
101
+ assert_eq!(change.migration_policy(), "mandatory");
102
+ assert!(change.is_breaking_change());
103
+ }
104
+
105
+ #[test]
106
+ fn test_multiple_entity_versions() {
107
+ let source = r#"
108
+ Entity "Vendor" v2.0.0 in procurement
109
+ Entity "VendorV2" v2.1.0
110
+ @replaces "Vendor" v2.0.0
111
+ @changes ["added credit_limit field"]
112
+ in procurement
113
+ "#;
114
+ let graph = parse_to_graph(source).unwrap();
115
+
116
+ let entities = graph.all_entities();
117
+ assert_eq!(entities.len(), 2);
118
+ }
119
+
120
+ #[test]
121
+ fn test_entity_without_version() {
122
+ let source = r#"
123
+ Entity "Vendor" in procurement
124
+ "#;
125
+ let graph = parse_to_graph(source).unwrap();
126
+
127
+ let entities = graph.all_entities();
128
+ assert_eq!(entities.len(), 1);
129
+ assert_eq!(entities[0].version(), None);
130
+ }
131
+
132
+ #[test]
133
+ fn test_invalid_version_format() {
134
+ let source = r#"
135
+ Entity "Vendor" v2.1 in procurement
136
+ "#;
137
+ // This should fail parsing because version must be semver format
138
+ let result = parse(source);
139
+ assert!(result.is_err());
140
+ }
141
+
142
+ #[test]
143
+ fn test_concept_change_non_breaking() {
144
+ let source = r#"
145
+ ConceptChange "Vendor_v2_1_migration"
146
+ @from_version v2.1.0
147
+ @to_version v2.1.1
148
+ @migration_policy optional
149
+ @breaking_change false
150
+ "#;
151
+ let graph = parse_to_graph(source).unwrap();
152
+
153
+ let changes = graph.all_concept_changes();
154
+ assert_eq!(changes.len(), 1);
155
+ assert!(!changes[0].is_breaking_change());
156
+ assert_eq!(changes[0].migration_policy(), "optional");
157
+ }
@@ -0,0 +1,78 @@
1
+ use domainforge_core::primitives::{Entity, Flow, Resource};
2
+ use domainforge_core::units::unit_from_string;
3
+ use domainforge_core::ConceptId;
4
+ use rust_decimal::Decimal;
5
+ use uuid::Uuid;
6
+
7
+ #[test]
8
+ fn test_flow_new_stores_references() {
9
+ let warehouse = Entity::new_with_namespace("Warehouse", "default".to_string());
10
+ let factory = Entity::new_with_namespace("Factory", "default".to_string());
11
+ let product =
12
+ Resource::new_with_namespace("Widget", unit_from_string("units"), "default".to_string());
13
+
14
+ let flow = Flow::new(
15
+ product.id().clone(),
16
+ warehouse.id().clone(),
17
+ factory.id().clone(),
18
+ Decimal::from(100),
19
+ );
20
+
21
+ assert_eq!(flow.quantity(), Decimal::from(100));
22
+ assert_eq!(flow.resource_id(), product.id());
23
+ assert_eq!(flow.from_id(), warehouse.id());
24
+ assert_eq!(flow.to_id(), factory.id());
25
+ }
26
+
27
+ #[test]
28
+ fn test_flow_references_are_valid_uuids() {
29
+ let flow = Flow::new(
30
+ ConceptId::from_uuid(uuid::Uuid::new_v4()),
31
+ ConceptId::from_uuid(uuid::Uuid::new_v4()),
32
+ ConceptId::from_uuid(uuid::Uuid::new_v4()),
33
+ Decimal::from(50),
34
+ );
35
+
36
+ assert!(Uuid::parse_str(&flow.resource_id().to_string()).is_ok());
37
+ assert!(Uuid::parse_str(&flow.from_id().to_string()).is_ok());
38
+ assert!(Uuid::parse_str(&flow.to_id().to_string()).is_ok());
39
+ assert!(Uuid::parse_str(&flow.id().to_string()).is_ok());
40
+ }
41
+
42
+ #[test]
43
+ fn test_flow_attributes() {
44
+ let mut flow = Flow::new(
45
+ ConceptId::from_uuid(uuid::Uuid::new_v4()),
46
+ ConceptId::from_uuid(uuid::Uuid::new_v4()),
47
+ ConceptId::from_uuid(uuid::Uuid::new_v4()),
48
+ Decimal::from(100),
49
+ );
50
+
51
+ flow.set_attribute("priority", serde_json::json!("high"));
52
+ flow.set_attribute("scheduled_date", serde_json::json!("2025-11-15"));
53
+
54
+ assert_eq!(
55
+ flow.get_attribute("priority"),
56
+ Some(&serde_json::json!("high"))
57
+ );
58
+ assert_eq!(
59
+ flow.get_attribute("scheduled_date"),
60
+ Some(&serde_json::json!("2025-11-15"))
61
+ );
62
+ assert_eq!(flow.get_attribute("nonexistent"), None);
63
+ }
64
+
65
+ #[test]
66
+ fn test_flow_serialization() {
67
+ let flow = Flow::new(
68
+ ConceptId::from_uuid(uuid::Uuid::new_v4()),
69
+ ConceptId::from_uuid(uuid::Uuid::new_v4()),
70
+ ConceptId::from_uuid(uuid::Uuid::new_v4()),
71
+ Decimal::from(250),
72
+ );
73
+
74
+ let json = serde_json::to_string(&flow).unwrap();
75
+ let deserialized: Flow = serde_json::from_str(&json).unwrap();
76
+
77
+ assert_eq!(flow, deserialized);
78
+ }
@@ -0,0 +1,31 @@
1
+ use domainforge_core::{
2
+ primitives::{Entity, Flow, Resource},
3
+ units::unit_from_string,
4
+ Graph,
5
+ };
6
+ use rust_decimal::Decimal;
7
+
8
+ #[test]
9
+ fn test_flow_creation_with_resource_unit() {
10
+ let mut graph = Graph::new();
11
+
12
+ let warehouse = Entity::new_with_namespace("Warehouse", "default".to_string());
13
+ let factory = Entity::new_with_namespace("Factory", "default".to_string());
14
+ let kg = unit_from_string("kg");
15
+ let gold = Resource::new_with_namespace("Gold", kg, "default".to_string());
16
+
17
+ graph.add_entity(warehouse.clone()).unwrap();
18
+ graph.add_entity(factory.clone()).unwrap();
19
+ graph.add_resource(gold.clone()).unwrap();
20
+
21
+ // For MVP, Flow quantity is assumed to be in the resource's unit
22
+ let flow = Flow::new(
23
+ gold.id().clone(),
24
+ warehouse.id().clone(),
25
+ factory.id().clone(),
26
+ Decimal::from(100),
27
+ );
28
+
29
+ let result = graph.add_flow(flow);
30
+ assert!(result.is_ok());
31
+ }
@@ -0,0 +1,218 @@
1
+ use domainforge_core::{
2
+ primitives::{Entity, Flow, Resource, ResourceInstance},
3
+ units::unit_from_string,
4
+ Graph,
5
+ };
6
+ use rust_decimal::Decimal;
7
+ use std::str::FromStr;
8
+
9
+ #[test]
10
+ fn test_complete_supply_chain_graph() {
11
+ let mut graph = Graph::new();
12
+
13
+ let supplier = Entity::new_with_namespace("Steel Supplier", "default".to_string());
14
+ let warehouse = Entity::new_with_namespace("Central Warehouse", "default".to_string());
15
+ let manufacturer = Entity::new_with_namespace("Camera Manufacturer", "default".to_string());
16
+ let retailer = Entity::new_with_namespace("Electronics Retailer", "default".to_string());
17
+
18
+ let steel =
19
+ Resource::new_with_namespace("Steel", unit_from_string("kg"), "default".to_string());
20
+ let camera_parts = Resource::new_with_namespace(
21
+ "Camera Parts",
22
+ unit_from_string("units"),
23
+ "default".to_string(),
24
+ );
25
+ let cameras = Resource::new_with_namespace(
26
+ "Finished Cameras",
27
+ unit_from_string("units"),
28
+ "default".to_string(),
29
+ );
30
+
31
+ let supplier_id = supplier.id().clone();
32
+ let warehouse_id = warehouse.id().clone();
33
+ let manufacturer_id = manufacturer.id().clone();
34
+ let retailer_id = retailer.id().clone();
35
+
36
+ let steel_id = steel.id().clone();
37
+ let camera_parts_id = camera_parts.id().clone();
38
+ let cameras_id = cameras.id().clone();
39
+
40
+ graph.add_entity(supplier).unwrap();
41
+ graph.add_entity(warehouse).unwrap();
42
+ graph.add_entity(manufacturer).unwrap();
43
+ graph.add_entity(retailer).unwrap();
44
+
45
+ graph.add_resource(steel).unwrap();
46
+ graph.add_resource(camera_parts).unwrap();
47
+ graph.add_resource(cameras).unwrap();
48
+
49
+ let flow1 = Flow::new(
50
+ steel_id.clone(),
51
+ supplier_id.clone(),
52
+ warehouse_id.clone(),
53
+ Decimal::from_str("500").unwrap(),
54
+ );
55
+ let flow2 = Flow::new(
56
+ camera_parts_id.clone(),
57
+ warehouse_id.clone(),
58
+ manufacturer_id.clone(),
59
+ Decimal::from_str("200").unwrap(),
60
+ );
61
+ let flow3 = Flow::new(
62
+ cameras_id.clone(),
63
+ manufacturer_id.clone(),
64
+ retailer_id.clone(),
65
+ Decimal::from_str("150").unwrap(),
66
+ );
67
+
68
+ graph.add_flow(flow1).unwrap();
69
+ graph.add_flow(flow2).unwrap();
70
+ graph.add_flow(flow3).unwrap();
71
+
72
+ assert_eq!(graph.entity_count(), 4);
73
+ assert_eq!(graph.resource_count(), 3);
74
+ assert_eq!(graph.flow_count(), 3);
75
+
76
+ let warehouse_upstream = graph.upstream_entities(&warehouse_id);
77
+ assert_eq!(warehouse_upstream.len(), 1);
78
+ assert_eq!(warehouse_upstream[0].name(), "Steel Supplier");
79
+
80
+ let warehouse_downstream = graph.downstream_entities(&warehouse_id);
81
+ assert_eq!(warehouse_downstream.len(), 1);
82
+ assert_eq!(warehouse_downstream[0].name(), "Camera Manufacturer");
83
+
84
+ let manufacturer_upstream = graph.upstream_entities(&manufacturer_id);
85
+ assert_eq!(manufacturer_upstream.len(), 1);
86
+
87
+ let manufacturer_downstream = graph.downstream_entities(&manufacturer_id);
88
+ assert_eq!(manufacturer_downstream.len(), 1);
89
+ assert_eq!(manufacturer_downstream[0].name(), "Electronics Retailer");
90
+
91
+ let supplier_downstream = graph.downstream_entities(&supplier_id);
92
+ assert_eq!(supplier_downstream.len(), 1);
93
+
94
+ let retailer_upstream = graph.upstream_entities(&retailer_id);
95
+ assert_eq!(retailer_upstream.len(), 1);
96
+ }
97
+
98
+ #[test]
99
+ fn test_graph_with_instances() {
100
+ let mut graph = Graph::new();
101
+
102
+ let warehouse = Entity::new_with_namespace("Warehouse", "default".to_string());
103
+ let cameras =
104
+ Resource::new_with_namespace("Cameras", unit_from_string("units"), "default".to_string());
105
+
106
+ let warehouse_id = warehouse.id().clone();
107
+ let cameras_id = cameras.id().clone();
108
+
109
+ graph.add_entity(warehouse).unwrap();
110
+ graph.add_resource(cameras).unwrap();
111
+
112
+ let instance1 = ResourceInstance::new(cameras_id.clone(), warehouse_id.clone());
113
+ let instance2 = ResourceInstance::new(cameras_id.clone(), warehouse_id.clone());
114
+
115
+ graph.add_instance(instance1).unwrap();
116
+ graph.add_instance(instance2).unwrap();
117
+
118
+ assert_eq!(graph.instance_count(), 2);
119
+ }
120
+
121
+ #[test]
122
+ fn test_graph_validation_prevents_invalid_flows() {
123
+ let mut graph = Graph::new();
124
+
125
+ let warehouse = Entity::new_with_namespace("Warehouse", "default".to_string());
126
+ let cameras =
127
+ Resource::new_with_namespace("Cameras", unit_from_string("units"), "default".to_string());
128
+
129
+ let warehouse_id = warehouse.id().clone();
130
+ let cameras_id = cameras.id().clone();
131
+
132
+ graph.add_entity(warehouse).unwrap();
133
+ graph.add_resource(cameras).unwrap();
134
+
135
+ let fake_entity_id = domainforge_core::ConceptId::from_uuid(uuid::Uuid::new_v4());
136
+
137
+ let invalid_flow = Flow::new(
138
+ cameras_id,
139
+ warehouse_id,
140
+ fake_entity_id,
141
+ Decimal::from_str("100").unwrap(),
142
+ );
143
+
144
+ assert!(graph.add_flow(invalid_flow).is_err());
145
+ assert_eq!(graph.flow_count(), 0);
146
+ }
147
+
148
+ #[test]
149
+ fn test_graph_multi_resource_flows() {
150
+ let mut graph = Graph::new();
151
+
152
+ let supplier = Entity::new_with_namespace("Supplier", "default".to_string());
153
+ let factory = Entity::new_with_namespace("Factory", "default".to_string());
154
+
155
+ let steel =
156
+ Resource::new_with_namespace("Steel", unit_from_string("kg"), "default".to_string());
157
+ let plastic =
158
+ Resource::new_with_namespace("Plastic", unit_from_string("kg"), "default".to_string());
159
+ let electronics = Resource::new_with_namespace(
160
+ "Electronics",
161
+ unit_from_string("units"),
162
+ "default".to_string(),
163
+ );
164
+
165
+ let supplier_id = supplier.id().clone();
166
+ let factory_id = factory.id().clone();
167
+
168
+ let steel_id = steel.id().clone();
169
+ let plastic_id = plastic.id().clone();
170
+ let electronics_id = electronics.id().clone();
171
+
172
+ graph.add_entity(supplier).unwrap();
173
+ graph.add_entity(factory).unwrap();
174
+ graph.add_resource(steel).unwrap();
175
+ graph.add_resource(plastic).unwrap();
176
+ graph.add_resource(electronics).unwrap();
177
+
178
+ let flow1 = Flow::new(
179
+ steel_id.clone(),
180
+ supplier_id.clone(),
181
+ factory_id.clone(),
182
+ Decimal::from_str("1000").unwrap(),
183
+ );
184
+ let flow2 = Flow::new(
185
+ plastic_id.clone(),
186
+ supplier_id.clone(),
187
+ factory_id.clone(),
188
+ Decimal::from_str("500").unwrap(),
189
+ );
190
+ let flow3 = Flow::new(
191
+ electronics_id.clone(),
192
+ supplier_id.clone(),
193
+ factory_id.clone(),
194
+ Decimal::from_str("200").unwrap(),
195
+ );
196
+
197
+ graph.add_flow(flow1).unwrap();
198
+ graph.add_flow(flow2).unwrap();
199
+ graph.add_flow(flow3).unwrap();
200
+
201
+ let flows_to_factory = graph.flows_to(&factory_id);
202
+ assert_eq!(flows_to_factory.len(), 3);
203
+
204
+ let flows_from_supplier = graph.flows_from(&supplier_id);
205
+ assert_eq!(flows_from_supplier.len(), 3);
206
+ }
207
+
208
+ #[test]
209
+ fn test_empty_graph_queries() {
210
+ let graph = Graph::new();
211
+
212
+ let fake_id = domainforge_core::ConceptId::from_uuid(uuid::Uuid::new_v4());
213
+
214
+ assert_eq!(graph.flows_from(&fake_id).len(), 0);
215
+ assert_eq!(graph.flows_to(&fake_id).len(), 0);
216
+ assert_eq!(graph.upstream_entities(&fake_id).len(), 0);
217
+ assert_eq!(graph.downstream_entities(&fake_id).len(), 0);
218
+ }