IndisputableMonolith.Linguistics.SyntaxUniversalsFromConfigDim
This module in the Linguistics domain defines syntactic universals derived from configuration dimension within Recognition Science. It centers on the five syntactic roles (subject, object, predicate, modifier, complement) together with supporting categories and a certification object. Linguists or RS researchers applying the framework to grammar would cite these definitions as the syntactic base layer. The module is purely definitional with no theorems or proofs.
claimThe module introduces the objects PhraseCategory, SyntacticRole (with five elements: subject, object, predicate, modifier, complement), phraseCategoryCount, syntacticRoleCount, SyntaxUniversalsCert, and syntaxUniversalsCert.
background
The module belongs to the Linguistics section of Recognition Science and imports only Mathlib. It introduces PhraseCategory and SyntacticRole as the primitive objects for phrase structure, with counts and a certification object SyntaxUniversalsCert. The supplied doc comment identifies the five syntactic roles as the core content. The theoretical setting is the application of configuration dimension to syntax universals, independent of the physics forcing chain (T0-T8) or RCL.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the syntactic objects that feed SyntaxUniversalsCert and downstream linguistics certificates. It fills the definitional step for deriving syntax universals from configuration dimension, consistent with the RS program of extracting structures from the single functional equation. No parent theorems are listed among the zero depends_on or used_by edges.
scope and limits
- Does not derive the five roles from J-cost, phi-ladder, or any RS forcing step.
- Does not contain theorems, proofs, or sorry placeholders.
- Does not reference physics constants, alpha band, or D=3.
- Does not connect to upstream results beyond the module import of Mathlib.