F5: deactivate v3 service parser authority

dsl/extdeps/languages/dag/syntax.dag

@@ -10,7 +10,7 @@ import std.syntax {
   ItemForm, ItemFormKind, FuncForm, StructForm, EnumForm, TypeAliasForm, ModuleForm, OtherForm,
   BodyKind,
   ExprBody, BlockBody, TypeBody, ValueBody, NoBody,
-  ServiceBody, ResourceBody,
+  ResourceBody, ServiceBody,
   OperatorSpec, SyntaxSpec,
   BinOp, Add, Sub, Mul, Div, Mod,
   Eq, Ne, Lt, Gt, Le, Ge, And, Or, NullCoalesce,
@@ -32,12 +32,12 @@ data dag_item_forms: List<ItemForm> = [
   ItemForm { kind: FuncForm, keyword: "func", has_type_params: false, has_params: true,
     has_return_type: true, return_required: false,
     has_uses: true, body_kind: BlockBody },
-  ItemForm { kind: OtherForm, keyword: "service", has_type_params: false, has_params: false,
-    has_return_type: false, return_required: false,
-    has_uses: false, body_kind: ServiceBody },
   ItemForm { kind: OtherForm, keyword: "resource", has_type_params: false, has_params: false,
     has_return_type: false, return_required: false,
     has_uses: false, body_kind: ResourceBody },
+  ItemForm { kind: OtherForm, keyword: "service", has_type_params: false, has_params: false,
+    has_return_type: false, return_required: false,
+    has_uses: false, body_kind: ServiceBody },
   ItemForm { kind: OtherForm, keyword: "data", has_type_params: false, has_params: false,
     has_return_type: false, return_required: false,
     has_uses: false, body_kind: ValueBody },
@@ -65,7 +65,7 @@ data dag_keyword_literals: Map<String, LiteralValue> = {
 
 data dag_keyword_set: Map<String, Bool> = {
   "module": true, "import": true, "type": true, "fn": true, "func": true,
-  "service": true, "resource": true, "data": true,
+  "resource": true, "service": true, "data": true,
   "interface": true, "pipeline": true, "profile": true, "pattern": true,
   "let": true, "return": true, "match": true, "if": true, "then": true, "else": true,
   "for": true, "in": true, "where": true, "with": true,

src/v2/stage0/src/extdeps_languages_dag_syntax.rs

@@ -52,22 +52,22 @@ pub fn dag_item_forms() -> Rc<Vec<Rc<ItemForm>>> {
         body_kind: BodyKind::BlockBody,
     }), Rc::new(ItemForm {
         kind: ItemFormKind::OtherForm,
-        keyword: "service".to_string(),
+        keyword: "resource".to_string(),
         has_type_params: false,
         has_params: false,
         has_return_type: false,
         return_required: false,
         has_uses: false,
-        body_kind: BodyKind::ServiceBody,
+        body_kind: BodyKind::ResourceBody,
     }), Rc::new(ItemForm {
         kind: ItemFormKind::OtherForm,
-        keyword: "resource".to_string(),
+        keyword: "service".to_string(),
         has_type_params: false,
         has_params: false,
         has_return_type: false,
         return_required: false,
         has_uses: false,
-        body_kind: BodyKind::ResourceBody,
+        body_kind: BodyKind::ServiceBody,
     }), Rc::new(ItemForm {
         kind: ItemFormKind::OtherForm,
         keyword: "data".to_string(),
@@ -128,8 +128,8 @@ pub fn dag_keyword_set() -> Rc<HashMap<String, bool>> {
             __m.insert("type".to_string(), true);
             __m.insert("fn".to_string(), true);
             __m.insert("func".to_string(), true);
-            __m.insert("service".to_string(), true);
             __m.insert("resource".to_string(), true);
+            __m.insert("service".to_string(), true);
             __m.insert("data".to_string(), true);
             __m.insert("interface".to_string(), true);
             __m.insert("pipeline".to_string(), true);

src/v3/compiler/parse_parser_body.txt

@@ -180,13 +180,12 @@ impl<'a> Parser<'a> {
             Some(ItemDispatchKind::Let) => self.parse_let_item(),
             Some(ItemDispatchKind::Fn) => self.parse_fn_item(),
             Some(ItemDispatchKind::Type) => self.parse_type_item(),
-            Some(ItemDispatchKind::Service) => self.parse_service_item(),
             Some(ItemDispatchKind::Module) => self.parse_module_item(),
             Some(ItemDispatchKind::Import) => self.parse_import_item(),
             Some(ItemDispatchKind::Data) => self.parse_data_item(),
             None => Err(Diagnostic::ParseError {
                 message: format!(
-                    "expected `let`, `fn`, `type`, `service`, `module`, `import`, or `data`, got {tk:?}"
+                    "expected `let`, `fn`, `type`, `module`, `import`, or `data`, got {tk:?}"
                 ),
                 span: self.peek().span.clone(),
                 fixes: Vec::new(),
@@ -864,17 +863,6 @@ impl<'a> Parser<'a> {
         }
     }
 
-    fn parse_service_item(&mut self) -> Result<SurfaceItem, Diagnostic> {
-        let service_kw = self.expect_kind(TokenKind::KwService)?;
-        Err(Diagnostic::ParseError {
-            message: String::from(
-                "service items are recognized at the top-level boundary but the ServiceBlock parser scaffold is not landed yet",
-            ),
-            span: service_kw.span,
-            fixes: Vec::new(),
-        })
-    }
-
     fn parse_optional_type_params(&mut self) -> Result<Vec<String>, Diagnostic> {
         if !matches!(self.peek().kind, TokenKind::Lt) {
             return Ok(Vec::new());

src/v3/compiler/parse_tables.dag

@@ -306,10 +306,6 @@ data top_level_kw_type: TopLevelItemKwRow = {
   token_variant: "KwType"
 }
 
-data top_level_kw_service: TopLevelItemKwRow = {
-  token_variant: "KwService"
-}
-
 data top_level_kw_module: TopLevelItemKwRow = {
   token_variant: "KwModule"
 }
@@ -324,11 +320,10 @@ data top_level_kw_data: TopLevelItemKwRow = {
 
 // --- SG-2c-5: keyword-token aliases that the parser accepts as bare
 // identifier spellings in label/name positions. Today this is the
-// `KwType -> "type"` and `KwService -> "service"` carveout used by
-// both record-field labels and sum-variant names. The parser consumes the generated
+// `KwType -> "type"` carveout used by both record-field labels and sum-variant names.
+// The parser consumes the generated
 // `soft_keyword_ident_spelling` projection rather than duplicating the
-// `TokenKind::KwType => "type"` / `TokenKind::KwService => "service"`
-// match at each call site.
+// `TokenKind::KwType => "type"` match at each call site.
 //
 // Dissolution classification: **🟡 YELLOW (scaffold)**. Same shape as
 // `TopLevelItemKwRow`: substrate rows author only `token_variant`; the
@@ -344,10 +339,6 @@ data soft_keyword_ident_type: SoftKeywordIdentRow = {
   token_variant: "KwType"
 }
 
-data soft_keyword_ident_service: SoftKeywordIdentRow = {
-  token_variant: "KwService"
-}
-
 // --- SG-2c-4: bracket opener / closer membership table. Parser helpers
 // that skip or scan token spans while tracking paren/brace/bracket depth
 // (`skip_where_clause`, `rhs_is_sum` in `parse_parser_body.txt`) dispatch