BE-01 Modelo de dominio y ontologia

BE-01 — Modelo de dominio y ontología

• Depende de: US-04, ARCH-02.
• Estado: DONE.

Objetivo

Implementar las entidades (Concept, Technology, Note, Project, Decision, Experiment, Problem) y las aristas tipadas, con PREREQUISITE_OF como DAG.

Entregable

• Modelo tipado seguro.
• Validación de DAG (sin ciclos de prerrequisito).

Criterios de aceptación

• Toda arista tiene tipo.
• Detectar/prueba de ciclo en PREREQUISITE_OF.
• Cobertura de tests del modelo.

Evidencia de cierre

• file:lib/src/domain/knowledge_node.dart
• file:lib/src/domain/knowledge_edge.dart
• file:lib/src/domain/knowledge_graph.dart
• file:lib/src/domain/domain_exceptions.dart
• file:lib/src/domain/knowledge_ontology.dart
• test:test/domain/knowledge_node_test.dart
• test:test/domain/knowledge_edge_test.dart
• test:test/domain/knowledge_graph_test.dart