Remove unrequested additions

CONTRIBUTING.md

@@ -215,10 +215,6 @@ Contributors should:
 
 ---
 
-Frontend syntax changes must update [the Alpha grammar and token inventory](spec/README.md)
-and its positive/negative fixtures. Run `cargo test --locked -p lexer -p parser --jobs 2`
-for backend-independent frontend tests, then the workspace tests for driver and codegen coverage.
-
 ## 9. Pull Request Guidelines
 
 A PR should include:

README.md

@@ -231,6 +231,3 @@ Wave is developed in public with support from individuals and organizations. You
 </p>
 
 Thank you to everyone who contributes code, documentation, testing, funding, or time to Wave.
-
-The [Alpha language contract](spec/README.md) defines the grammar, numeric literals,
-token status and source-location conventions checked by frontend conformance tests.

front/lexer/src/token.rs

@@ -198,7 +198,7 @@ pub enum TokenType {
 }
 
 impl TokenType {
-    /// Reserved spellings have no executable Alpha grammar production.
+    /// These reserved spellings are not implemented.
     pub fn reserved_spelling(&self) -> Option<&'static str> {
         match self {
             Self::Module => Some("module"),

front/parser/tests/alpha_frontend.rs

@@ -1,4 +1,4 @@
-//! Alpha grammar regressions: malformed source must never be silently accepted.
+//! Parser regressions: malformed source must never be silently accepted.
 use lexer::Lexer;
 use parser::ast::{ASTNode, Expression, Literal};
 use parser::generics::monomorphize_generics;