domainforge 0.13.0

package/docs/plans/protobuf_plan.yml

@@ -0,0 +1,525 @@
+# =============================================================================
+# SEA Protobuf Projection Implementation Plan
+# =============================================================================
+# Status: Ready for Implementation
+# Last Updated: 2025-12-14
+# Related Specs: ADR-001 through ADR-004, PRD-001, SDS-001
+# =============================================================================
+
+project:
+  name: sea_projections_protobuf
+  goal: >
+    Extend SEA-DSL's existing Projection infrastructure to support Protobuf as
+    a first-class projection target, generating .proto files from the semantic graph.
+
+# =============================================================================
+# CURRENT STATE ANALYSIS
+# =============================================================================
+current_state:
+  grammar:
+    status: COMPLETE
+    details:
+      - "projection_decl rule exists in sea.pest"
+      - "Supports: Projection 'name' target <format> { overrides }"
+  
+  ast:
+    status: COMPLETE
+    details:
+      - "AstNode::ProjectionDecl { name, target, overrides }"
+      - "TargetFormat enum: Calm | Kg | Sbvr (NEEDS: Protobuf)"
+      - "ProjectionOverride struct with fields HashMap"
+  
+  primitives:
+    status: COMPLETE
+    details:
+      - "ProjectionContract in primitives/projection_contract.rs"
+      - "MappingContract in primitives/mapping_contract.rs"
+  
+  projection_module:
+    status: PARTIAL
+    location: "domainforge-core/src/projection/"
+    existing_files:
+      - "mod.rs: re-exports"
+      - "engine.rs: ProjectionExporter trait (entity/flow only)"
+      - "contracts.rs: find_mapping_rule, find_projection_override helpers"
+      - "registry.rs: ProjectionRegistry for finding mappings/projections by target"
+    missing:
+      - "protobuf.rs: Protobuf-specific IR and engine"
+      - "ProjectionSpec with filters (namespace, kinds, tags)"
+      - "Compatibility checking logic"
+  
+  cli:
+    status: PARTIAL
+    details:
+      - "sea project command exists in cli/project.rs"
+      - "Supports --format with json, ddd, yaml, calm"
+      - "NEEDS: --format protobuf option"
+
+# =============================================================================
+# FILE PATHS (Corrected for current codebase)
+# =============================================================================
+context:
+  repo_root: "."
+  core_crate: "domainforge-core"
+  grammar_file: "domainforge-core/src/grammar/sea.pest"
+  ast_module: "domainforge-core/src/parser/ast.rs"
+  graph_module: "domainforge-core/src/graph/mod.rs"
+  projection_dir: "domainforge-core/src/projection"
+  cli_project: "domainforge-core/src/cli/project.rs"
+  tests_dir: "domainforge-core/tests"
+  examples_dir: "examples"
+
+# =============================================================================
+# ASSUMPTIONS
+# =============================================================================
+assumptions:
+  - Rust stable toolchain 1.77+ is installed
+  - Existing parser, AST, and Graph are compiling (verified)
+  - Existing tests are green before changes
+  - Protobuf compiler (protoc) is optional for validation
+
+# =============================================================================
+# IMPLEMENTATION PHASES
+# =============================================================================
+phases:
+
+  # ---------------------------------------------------------------------------
+  # PHASE 1: Extend TargetFormat for Protobuf
+  # ---------------------------------------------------------------------------
+  - id: 1_extend_target_format
+    description: "Add Protobuf variant to TargetFormat enum"
+    estimated_effort: "30 minutes"
+    steps:
+      - id: 1_1_update_target_format_enum
+        action: "Add Protobuf variant to TargetFormat"
+        files:
+          - "domainforge-core/src/parser/ast.rs"
+        changes:
+          - "Add 'Protobuf' to TargetFormat enum (line ~108)"
+          - "Update Display impl to add 'Protobuf' case"
+          - "Update parse_target_format to handle 'protobuf' string"
+        code_snippet: |
+          pub enum TargetFormat {
+              Calm,
+              Kg,
+              Sbvr,
+              Protobuf,  // NEW
+          }
+        acceptance_criteria:
+          - "cargo build succeeds"
+          - "Projection 'Test' target protobuf {} parses without error"
+
+      - id: 1_2_update_grammar_if_needed
+        action: "Ensure grammar accepts 'protobuf' as target"
+        files:
+          - "domainforge-core/src/grammar/sea.pest"
+        changes:
+          - "Verify target_format rule includes 'protobuf' (case-insensitive)"
+        acceptance_criteria:
+          - "cargo test passes with protobuf target"
+
+  # ---------------------------------------------------------------------------
+  # PHASE 2: Protobuf IR Model
+  # ---------------------------------------------------------------------------
+  - id: 2_protobuf_ir_model
+    description: "Create intermediate representation for .proto files"
+    estimated_effort: "2 hours"
+    depends_on: [1_extend_target_format]
+    steps:
+      - id: 2_1_create_protobuf_module
+        action: "Create domainforge-core/src/projection/protobuf.rs"
+        files:
+          - "domainforge-core/src/projection/protobuf.rs"
+          - "domainforge-core/src/projection/mod.rs"
+        changes:
+          - "Define ProtoFile struct"
+          - "Define ProtoMessage, ProtoField, ProtoEnum"
+          - "Define ProtoTypeRef enum for type references"
+          - "Add mod protobuf to projection/mod.rs"
+        code_sketch: |
+          // domainforge-core/src/projection/protobuf.rs
+          use serde::{Serialize, Deserialize};
+          
+          #[derive(Debug, Clone, Serialize, Deserialize)]
+          pub struct ProtoFile {
+              pub package: String,
+              pub syntax: String,  // "proto3"
+              pub imports: Vec<String>,
+              pub options: ProtoOptions,
+              pub enums: Vec<ProtoEnum>,
+              pub messages: Vec<ProtoMessage>,
+              pub metadata: ProtoMetadata,
+          }
+          
+          #[derive(Debug, Clone, Serialize, Deserialize)]
+          pub struct ProtoMessage {
+              pub name: String,
+              pub fields: Vec<ProtoField>,
+              pub nested_messages: Vec<ProtoMessage>,
+              pub nested_enums: Vec<ProtoEnum>,
+              pub reserved_fields: Vec<u32>,
+              pub reserved_names: Vec<String>,
+              pub comments: Vec<String>,
+          }
+          
+          #[derive(Debug, Clone, Serialize, Deserialize)]
+          pub struct ProtoField {
+              pub name: String,
+              pub number: u32,
+              pub proto_type: ProtoType,
+              pub repeated: bool,
+              pub optional: bool,
+              pub comments: Vec<String>,
+          }
+          
+          #[derive(Debug, Clone, Serialize, Deserialize)]
+          pub enum ProtoType {
+              Scalar(ScalarType),
+              Message(String),
+              Enum(String),
+              Map { key: Box<ProtoType>, value: Box<ProtoType> },
+          }
+          
+          #[derive(Debug, Clone, Serialize, Deserialize)]
+          pub enum ScalarType {
+              Double, Float, Int32, Int64, Uint32, Uint64,
+              Sint32, Sint64, Fixed32, Fixed64, Sfixed32, Sfixed64,
+              Bool, String, Bytes,
+          }
+          
+          #[derive(Debug, Clone, Serialize, Deserialize)]
+          pub struct ProtoEnum {
+              pub name: String,
+              pub values: Vec<ProtoEnumValue>,
+              pub comments: Vec<String>,
+          }
+          
+          #[derive(Debug, Clone, Serialize, Deserialize)]
+          pub struct ProtoEnumValue {
+              pub name: String,
+              pub number: i32,
+          }
+          
+          #[derive(Debug, Clone, Serialize, Deserialize, Default)]
+          pub struct ProtoOptions {
+              pub java_package: Option<String>,
+              pub java_multiple_files: bool,
+              pub go_package: Option<String>,
+          }
+          
+          #[derive(Debug, Clone, Serialize, Deserialize)]
+          pub struct ProtoMetadata {
+              pub projection_name: String,
+              pub semantic_version: Option<String>,
+              pub source_namespace: String,
+              pub generated_at: String,
+          }
+        acceptance_criteria:
+          - "ProtoFile can be constructed in unit tests"
+          - "cargo build succeeds"
+
+      - id: 2_2_type_mapping
+        action: "Implement SEA type to Proto type mapping"
+        files:
+          - "domainforge-core/src/projection/protobuf.rs"
+        changes:
+          - "Add fn map_sea_type_to_proto(sea_type: &str) -> ProtoType"
+          - "Map String -> string, Int -> int64, Float -> double, etc."
+          - "Map UUID -> string, DateTime -> google.protobuf.Timestamp"
+          - "Map Money -> custom Money message"
+        code_sketch: |
+          pub fn map_sea_type_to_proto(sea_type: &str) -> ProtoType {
+              match sea_type.to_lowercase().as_str() {
+                  "string" | "text" => ProtoType::Scalar(ScalarType::String),
+                  "int" | "integer" => ProtoType::Scalar(ScalarType::Int64),
+                  "float" | "double" | "decimal" => ProtoType::Scalar(ScalarType::Double),
+                  "bool" | "boolean" => ProtoType::Scalar(ScalarType::Bool),
+                  "uuid" => ProtoType::Scalar(ScalarType::String),
+                  "date" | "datetime" | "timestamp" => ProtoType::Message("google.protobuf.Timestamp".to_string()),
+                  "bytes" | "binary" => ProtoType::Scalar(ScalarType::Bytes),
+                  other => ProtoType::Message(other.to_string()),  // Custom types
+              }
+          }
+        acceptance_criteria:
+          - "All core SEA types map to appropriate proto types"
+          - "Unit tests cover all mappings"
+
+  # ---------------------------------------------------------------------------
+  # PHASE 3: Protobuf Projection Engine
+  # ---------------------------------------------------------------------------
+  - id: 3_protobuf_engine
+    description: "Implement the Protobuf projection engine"
+    estimated_effort: "4 hours"
+    depends_on: [2_protobuf_ir_model]
+    steps:
+      - id: 3_1_engine_struct
+        action: "Create ProtobufEngine implementing projection logic"
+        files:
+          - "domainforge-core/src/projection/protobuf.rs"
+        changes:
+          - "Define ProtobufEngine struct"
+          - "Implement fn project(graph: &Graph, namespace: &str) -> ProtoFile"
+          - "Walk graph entities/resources/enums and build ProtoFile"
+        code_sketch: |
+          pub struct ProtobufEngine;
+          
+          impl ProtobufEngine {
+              pub fn project(graph: &Graph, namespace: &str) -> ProtoFile {
+                  let mut proto = ProtoFile::new(namespace);
+                  
+                  // Convert entities to messages
+                  for entity in graph.all_entities() {
+                      if entity.namespace() == namespace {
+                          proto.messages.push(Self::entity_to_message(entity));
+                      }
+                  }
+                  
+                  // Convert resources to messages
+                  for resource in graph.all_resources() {
+                      if resource.namespace() == namespace {
+                          proto.messages.push(Self::resource_to_message(resource));
+                      }
+                  }
+                  
+                  proto
+              }
+              
+              fn entity_to_message(entity: &Entity) -> ProtoMessage {
+                  let mut msg = ProtoMessage::new(entity.name());
+                  let mut field_number = 1u32;
+                  
+                  // Sort attributes alphabetically for deterministic ordering
+                  let mut attrs: Vec<_> = entity.attributes().iter().collect();
+                  attrs.sort_by_key(|(k, _)| *k);
+                  
+                  for (name, value) in attrs {
+                      msg.fields.push(ProtoField {
+                          name: to_snake_case(name),
+                          number: field_number,
+                          proto_type: infer_proto_type(value),
+                          repeated: false,
+                          optional: true,
+                          comments: vec![],
+                      });
+                      field_number += 1;
+                  }
+                  
+                  msg
+              }
+          }
+        acceptance_criteria:
+          - "Given a Graph with entities, project() returns valid ProtoFile"
+          - "Field numbers are sequential and stable"
+
+      - id: 3_2_proto_serializer
+        action: "Implement serialization to .proto text format"
+        files:
+          - "domainforge-core/src/projection/protobuf.rs"
+        changes:
+          - "Add impl ProtoFile { pub fn to_proto_string(&self) -> String }"
+          - "Format messages, fields, enums according to proto3 syntax"
+          - "Include header comments with metadata"
+        code_sketch: |
+          impl ProtoFile {
+              pub fn to_proto_string(&self) -> String {
+                  let mut out = String::new();
+                  
+                  // Header
+                  out.push_str(&format!("// Generated from Projection: {}\n", self.metadata.projection_name));
+                  out.push_str(&format!("// Source Namespace: {}\n", self.metadata.source_namespace));
+                  out.push_str(&format!("// Generated At: {}\n", self.metadata.generated_at));
+                  out.push_str("// DO NOT EDIT - Generated by SEA Projection Framework\n\n");
+                  
+                  // Syntax
+                  out.push_str(&format!("syntax = \"{}\";\n\n", self.syntax));
+                  
+                  // Package
+                  out.push_str(&format!("package {};\n\n", self.package));
+                  
+                  // Options
+                  if let Some(ref pkg) = self.options.java_package {
+                      out.push_str(&format!("option java_package = \"{}\";\n", pkg));
+                  }
+                  if self.options.java_multiple_files {
+                      out.push_str("option java_multiple_files = true;\n");
+                  }
+                  if let Some(ref pkg) = self.options.go_package {
+                      out.push_str(&format!("option go_package = \"{}\";\n", pkg));
+                  }
+                  
+                  // Imports
+                  for import in &self.imports {
+                      out.push_str(&format!("import \"{}\";\n", import));
+                  }
+                  if !self.imports.is_empty() {
+                      out.push('\n');
+                  }
+                  
+                  // Enums
+                  for e in &self.enums {
+                      out.push_str(&e.to_proto_string());
+                      out.push('\n');
+                  }
+                  
+                  // Messages
+                  for m in &self.messages {
+                      out.push_str(&m.to_proto_string());
+                      out.push('\n');
+                  }
+                  
+                  out
+              }
+          }
+        acceptance_criteria:
+          - "Generated .proto text is syntactically valid"
+          - "Output is deterministic (same input → same output)"
+
+      - id: 3_3_governance_messages
+        action: "Add standard governance message generation"
+        files:
+          - "domainforge-core/src/projection/protobuf.rs"
+        changes:
+          - "Add fn generate_governance_messages() -> Vec<ProtoMessage>"
+          - "Include PolicyViolation, MetricEvent, GovernanceEvent messages"
+        acceptance_criteria:
+          - "Governance messages appear in output when requested"
+
+  # ---------------------------------------------------------------------------
+  # PHASE 4: CLI Integration
+  # ---------------------------------------------------------------------------
+  - id: 4_cli_integration
+    description: "Wire Protobuf projection into CLI"
+    estimated_effort: "1 hour"
+    depends_on: [3_protobuf_engine]
+    steps:
+      - id: 4_1_extend_project_command
+        action: "Add --format protobuf to sea project command"
+        files:
+          - "domainforge-core/src/cli/project.rs"
+        changes:
+          - "Add 'protobuf' to format enum/match"
+          - "Call ProtobufEngine::project when format is protobuf"
+          - "Write .proto files to output directory"
+        acceptance_criteria:
+          - "sea project --format protobuf model.sea produces .proto file"
+          - "Output directory structure matches package hierarchy"
+
+      - id: 4_2_output_options
+        action: "Add output path and namespace options"
+        files:
+          - "domainforge-core/src/cli/project.rs"
+        changes:
+          - "Add --namespace flag to filter which namespaces to project"
+          - "Add --output-dir flag for proto file destination"
+        acceptance_criteria:
+          - "Can specify output directory"
+          - "Can filter by namespace"
+
+  # ---------------------------------------------------------------------------
+  # PHASE 5: Compatibility Enforcement (Future)
+  # ---------------------------------------------------------------------------
+  - id: 5_compatibility_enforcement
+    description: "Implement schema compatibility checking"
+    estimated_effort: "3 hours"
+    depends_on: [4_cli_integration]
+    priority: LOW
+    steps:
+      - id: 5_1_schema_history
+        action: "Add mechanism to store/load previous schemas"
+        files:
+          - "domainforge-core/src/projection/protobuf.rs"
+        changes:
+          - "Add SchemaHistoryStore trait"
+          - "Implement file-based storage of previous ProtoFile"
+        acceptance_criteria:
+          - "Previous schema can be loaded for comparison"
+
+      - id: 5_2_compatibility_checker
+        action: "Implement compatibility rules"
+        files:
+          - "domainforge-core/src/projection/protobuf.rs"
+        changes:
+          - "Add CompatibilityChecker struct"
+          - "Implement check() method with additive/backward/breaking rules"
+          - "Emit reserved fields when fields are removed"
+        acceptance_criteria:
+          - "Additive mode: only new fields allowed"
+          - "Backward mode: removals become reserved"
+          - "Breaking mode: all changes allowed"
+
+  # ---------------------------------------------------------------------------
+  # PHASE 6: Tests and Examples
+  # ---------------------------------------------------------------------------
+  - id: 6_tests_and_examples
+    description: "Add comprehensive tests and examples"
+    estimated_effort: "2 hours"
+    depends_on: [4_cli_integration]
+    steps:
+      - id: 6_1_unit_tests
+        action: "Add unit tests for Protobuf projection"
+        files:
+          - "domainforge-core/tests/protobuf_projection_tests.rs"
+        changes:
+          - "Test type mapping"
+          - "Test entity → message conversion"
+          - "Test field numbering stability"
+          - "Test proto string serialization"
+        acceptance_criteria:
+          - "All unit tests pass"
+
+      - id: 6_2_integration_test
+        action: "Add end-to-end integration test"
+        files:
+          - "domainforge-core/tests/protobuf_projection_integration.rs"
+        changes:
+          - "Parse .sea file → Graph → ProtoFile → .proto text"
+          - "Verify output contains expected messages and fields"
+        acceptance_criteria:
+          - "Integration test passes"
+
+      - id: 6_3_example_files
+        action: "Add example .sea files with Protobuf projections"
+        files:
+          - "examples/protobuf/finance.sea"
+          - "examples/protobuf/expected/finance.proto"
+        changes:
+          - "Create example demonstrating Protobuf projection"
+          - "Store expected output for golden testing"
+        acceptance_criteria:
+          - "Examples parse and produce expected output"
+
+# =============================================================================
+# DEFINITION OF DONE
+# =============================================================================
+done_definition:
+  - "TargetFormat::Protobuf variant added and parsing works"
+  - "Protobuf IR model (ProtoFile, ProtoMessage, etc.) implemented"
+  - "ProtobufEngine projects Graph to ProtoFile"
+  - "ProtoFile serializes to valid .proto text"
+  - "CLI sea project --format protobuf works"
+  - "Unit tests and integration tests pass"
+  - "At least one example with expected output"
+  - "Documentation in docs/specs/SDS-001 is accurate"
+
+# =============================================================================
+# RISK MITIGATION
+# =============================================================================
+risks:
+  - risk: "Entity attributes lack type information"
+    mitigation: "Infer types from JSON values or default to 'any' message type"
+    
+  - risk: "Field numbering instability across runs"
+    mitigation: "Sort attributes deterministically (alphabetically by key)"
+    
+  - risk: "Complex nested structures"
+    mitigation: "Start with flat messages; add nesting in future iteration"
+
+# =============================================================================
+# FUTURE ENHANCEMENTS (OUT OF SCOPE)
+# =============================================================================
+future:
+  - "gRPC service definitions from Flow patterns"
+  - "Protobuf well-known types (Timestamp, Duration, Any)"
+  - "Custom proto options"
+  - "Buf.build integration for linting"
+  - "Multiple file output per namespace"

package/docs/plans/refactor_dsl_architecture.md

@@ -0,0 +1,131 @@
+# Plan: SEA DSL Refactoring & Architecture Hardening
+
+This plan addresses the critique regarding the SEA DSL implementation, focusing on grammar consistency, architectural layering (profiles), and policy simplification.
+
+## 1. [x] Grammar & Syntax Cleanup
+
+**Goal**: Ensure the grammar is robust, consistent, and matches the documentation/examples.
+
+### Tasks
+
+- [x] **Review `sea.pest`**:
+  - Verify `declaration_inner` rule is complete and not corrupted.
+  - Confirm all keywords use case-insensitive matching (e.g., `^"entity"`).
+- [x] **Standardize Casing**:
+  - Decision: Keep grammar case-insensitive (`^"keyword"`) to be user-friendly.
+  - Action: Enforce "Capitalized" convention (e.g., `Entity`, `Resource`) in all documentation and examples.
+  - Action: Update `domainforge format` (if exists) or `PrettyPrinter` to output Capitalized keywords.
+- [x] **Fix Examples**:
+  - Scan all `.sea` files in `examples/` and `domainforge-core/examples/`.
+  - Remove any `...` placeholders that are not valid syntax.
+  - Ensure all examples parse successfully with the current grammar.
+
+## 2. [x] Grammar Expansion (The `as` Operator)
+
+**Goal**: Support a general-purpose casting/conversion mechanism for units and types.
+
+### Tasks
+
+- [x] **Update Grammar (`sea.pest`)**:
+  - Modify `unary_expr` or `primary_expr` to support `as` syntax.
+  - Rule: `cast_expr = { primary_expr ~ (^"as" ~ string_literal)? }`.
+- [x] **Update AST (`domainforge-core/src/parser/ast.rs`)**:
+  - Add `Expression::Cast(Box<Expression>, String)` variant.
+- [x] **Update Parser (`domainforge-core/src/parser/mod.rs`)**:
+  - Map the new grammar rule to the AST variant.
+- [x] **Update Evaluator (`domainforge-core/src/policy/evaluation.rs`)**:
+  - Implement `eval_cast` logic (initially for unit conversion, e.g., `1000 "ms" as "s"`).
+
+### Casting semantics and validation
+
+- **Compatibility matrix**:
+  - Quantity ↔ Quantity (same dimension): allowed, with conversion via the registry.
+  - Number → Quantity: allowed, wraps the numeric value with the target unit.
+  - String/Boolean/Unknown unit: rejected with a clear diagnostic.
+  - Dimension mismatch (e.g., duration → currency): rejected.
+- **Conversion mechanics**:
+  - Use a canonical base unit per dimension with deterministic scale factors from the registry.
+  - Perform arithmetic with `Decimal` to avoid float rounding; no silent truncation.
+  - Unknown or non-convertible unit pairs surface an evaluation error.
+- **Failure modes**:
+  - Unsupported casts return a deterministic error message that names the offending unit/value.
+  - Parsing/typecheck can pre-reject obviously invalid casts; runtime still guards conversions.
+- **Type inference**:
+  - Successful casts return a concrete quantity typed with the requested unit, not `Any`, and downstream checks propagate that concrete type.
+  - Example: `1000 "ms" as "s"` produces `1 "s"` with the target unit recorded for later comparisons.
+
+#### Parser contract for cast expressions
+
+- `cast_expr` is considered the outermost form of `primary_expr` (i.e., `primary_expr = { cast_expr | ... }`) so the `as` suffix binds tighter than binary operators but looser than atom-level access (field/index) and is left-associative for chains like `value as "ms" as "s"`.
+- The grammar accepts any string literal after `as` so validation is deferred until evaluation; the parser only ensures the operand itself is a valid `primary_expr`.
+- The AST carries the literal verbatim (`Expression::Cast { operand, target_type }`) and keeps the operand boxed so any downstream stage can further inspect or optimize before the cast runs.
+
+#### Evaluator validation and type propagation
+
+- The evaluator must resolve the target unit at runtime by looking it up in the global unit registry; if the string literal does not name a registered unit, return an `EvalError` (e.g., `UnknownUnit`) that mentions the missing symbol so diagnostics stay actionable.
+- After a successful conversion the expression result should include concrete unit/type metadata (for example, wrapping the numeric value into a `Quantity { value, unit }` structure or annotating the evaluation context) so downstream policies and projections can reason about the actual dimension rather than treating the value as untyped.
+- Unknown units, mismatched dimensions, or forbidden conversions must fail at evaluation time, not at parse time, because the registry contents and user-defined units are only known once the runtime context is available.
+
+## 3. [x] DSL Layering (Profiles)
+
+**Goal**: Introduce "Profiles" to allow different DSL dialects (e.g., `profile: "cloud"`, `profile: "data"`).
+
+### Tasks
+
+- [x] **Create Profile Registry (`domainforge-core/src/parser/profiles.rs`)**:
+  - Define `Profile` struct (name, enabled keywords/features).
+  - Create a registry of built-in profiles.
+- [x] **Update Parser Context**:
+  - Pass the active profile into the parser.
+  - Validate that used keywords/constructs are allowed in the current profile.
+- [x] **Add `profile` Keyword to Grammar**:
+  - Allow `profile: "name"` at the top of the file.
+
+### Profile enforcement rules
+
+- **Default and precedence**:
+  - Active profile = `profile:` declared in the file, else project-level option, else `"default"`.
+  - `"default"` is permissive and allows all core/cloud/data constructs; additional profiles may restrict keywords.
+- **Error semantics**:
+  - Profile violations are hard parse errors by default.
+  - Parser option `tolerate_profile_warnings` can downgrade violations to warnings for soft-rollout; violations are still logged.
+- **Conflict resolution**:
+  - Explicit file profile > project-level > default.
+  - If multiple profiles define rules for a keyword, explicit allow wins over deny; tie breaks deterministically by precedence above.
+- **Parser API**:
+  - `ParseOptions` carries `active_profile` and `tolerate_profile_warnings`.
+  - Diagnostics include the requested profile and the list of available profiles from `ProfileRegistry`.
+
+## 4. [x] Standard Library (Modules)
+
+**Goal**: Move built-in types (like `HTTP`, `REST`) out of the compiler and into a standard library.
+
+### Tasks
+
+- [x] **Create Standard Library Files**:
+  - `domainforge-core/std/core.sea` (Base types).
+  - `domainforge-core/std/http.sea` (HTTP/REST types).
+  - `domainforge-core/std/aws.sea` (AWS types).
+- [x] **Embed Stdlib in Binary**:
+  - Use `include_str!` to embed these files in the Rust binary.
+- [x] **Update Module Resolver**:
+  - Modify `domainforge-core/src/module/resolver.rs` to handle `std:` imports (e.g., `import { Service } from "std:core"`).
+  - When resolving `std:*`, return the embedded content.
+
+## 5. [x] Canonical Graph & Isomorphism
+
+**Goal**: Reinforce `Graph` as the source of truth.
+
+### Tasks
+
+- [x] **Verify Round-Trip**:
+  - Ensure `Graph -> DSL (PrettyPrint) -> Graph` preserves all semantics.
+  - Add a test case `tests/test_round_trip.rs` that fuzzes this cycle.
+
+## Implementation Steps for Agent
+
+1. **Grammar Expansion**: Implement the `as` operator in `sea.pest` and AST.
+2. **Implement Profiles**: Create the `DslProfile` enum and integrate it into `ParseOptions`.
+3. **Profile Validation**: Enforce profile constraints during parsing.
+4. **Policy Tracing**: Add the tracing context to the evaluator.
+5. **Final Verification**: Run all tests.