Reorder navigation, single-source EBNF grammar, enlarge logo

- Reorder nav tabs: RIDDL → Synapify → MCP → IDE Support → About
- Rename OSS section to "IDE Support" for clarity
- Single-source EBNF grammar from riddl-language jar
  - Auto-extracts on `sbt update` when jar is newer
  - Uses MkDocs snippets to include .ebnf file
- Increase header logo size via CSS
- Update sbt-ossuminc to 1.2.4
- Add GitHub Packages resolver for riddl dependency

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Author: respencer-ncl

NOTEBOOK.md

@@ -7,26 +7,31 @@ sections are documented with proper RIDDL syntax highlighting.
 
 **Completed (2026-01-28):**
 
+- Navigation reordered: RIDDL → Synapify → MCP → IDE Support → About
+- Renamed "OSS" section to "IDE Support" in navigation
+- EBNF grammar single-sourced from riddl-language jar (auto-extracts on
+  `sbt update`)
+- Header logo size increased
 - MCP Server URL updated to `https://mcp.ossuminc.com/mcp/v1/` in all guides
 - Added GitHub Copilot CLI integration guide (`docs/MCP/github-copilot.md`)
 - Strategic site improvements Phase 1 (quickstart, examples gallery, SEO,
   edit links, PWA support, about page, playground placeholder)
 - RIDDL Pygments lexer with custom color scheme
 - Comprehensive editorial review
 - CI workflow with lexer installation
+- Updated sbt-ossuminc to 1.2.4
 
 ---
 
 ## Pending Tasks
 
 ### Before Production
 
-| Task                           | Notes                                                          |
-|--------------------------------|----------------------------------------------------------------|
-| Update release download links  | When final releases are published                              |
-| Implement playground           | Integrate Monaco + MCP server validation                       |
-| Remove "Coming Soon" warnings  | When MCP server goes live (~early 2026)                        |
-| Single source for EBNF Grammar | Depend on riddl-language which contains the EBNF as a resource |
+| Task                           | Notes                                      |
+|--------------------------------|--------------------------------------------|
+| Update release download links  | When final releases are published          |
+| Implement playground           | Integrate Monaco + MCP server validation   |
+| Remove "Coming Soon" warnings  | When MCP server goes live (~early 2026)    |
 
 ### Deferred Strategic Improvements (Soon)
 
@@ -56,28 +61,22 @@ sections are documented with proper RIDDL syntax highlighting.
 |------|------|-------|
 | Type examples | `references/language-reference.md` | Add specialized examples |
 | Future work review | `future-work/` | Update for current roadmap |
-| EBNF grammar validation | `references/ebnf-grammar.md` | See details below |
 | Synapify generation docs | `synapify/generation.md` | Use preserved config |
 
 ---
 
 ## Task Details
 
-### EBNF Grammar Validation
+### EBNF Grammar Single-Sourcing
 
-The EBNF grammar (`docs/riddl/references/ebnf-grammar.md`) is derived from the
-official fastparse grammar in the riddl module. It must accurately reflect the
-rules accepted by the parser.
+The EBNF grammar is now automatically extracted from the `riddl-language` jar:
 
-**Known discrepancies found during editorial review:**
-- Missing `=` as alternative to `is` in type definitions
-- Missing `:` as alternative to `is` in field definitions (Scala-style syntax)
+- **Source**: `riddl/grammar/ebnf-grammar.ebnf` resource in riddl-language jar
+- **Target**: `docs/riddl/references/ebnf-grammar.ebnf`
+- **Trigger**: Runs automatically on `sbt update`
+- **Logic**: Only extracts if jar version is newer than local copy
 
-**Validation approach:**
-1. Create a functional parser from the EBNF grammar
-2. Run it against all example RIDDL sources in the test suite
-3. Compare results with the fastparse parser
-4. Revise EBNF until there are no discrepancies
+To manually extract: `sbt extractEbnf`
 
 ### Synapify Generation Configuration
 
@@ -105,13 +104,15 @@ hugo {
 
 | Decision | Rationale | Date |
 |----------|-----------|------|
+| EBNF single-sourced from jar | Keeps docs in sync with compiler grammar | 2026-01-28 |
+| Nav order: RIDDL first | Primary product should be most prominent | 2026-01-28 |
+| OSS renamed to IDE Support | Clearer purpose for visitors | 2026-01-28 |
 | RIDDL lexer colors from IDE tools | Consistency across VS Code, IntelliJ, docs | 2026-01-28 |
 | Lexer installed via pip in CI | Ensures syntax highlighting works in deployment | 2026-01-28 |
 | CSS overrides for dark/light | MkDocs Material uses CSS, not Pygments styles | 2026-01-28 |
 | Synapify four-panel layout | Left=tree, center=visual+text, right=metadata | 2026-01-26 |
 | riddlc validation-only | Code generation moved to Synapify | 2026-01-27 |
 | Separate MCP section | MCP distinct from IDE plugins; deserves own nav | 2026-01-21 |
-| URL placeholder pattern | `{{MCP_SERVER_URL}}` allows easy find/replace | 2026-01-21 |
 
 ---
 

build.sbt

@@ -9,10 +9,35 @@ lazy val developers: List[Developer] = List(
   )
 )
 
+// Task to extract EBNF grammar from riddl-language jar
+lazy val extractEbnf = taskKey[File]("Extract EBNF grammar from riddl-language jar if newer")
+
 lazy val root = Root(
-  "ossum-tech",
-  "ossuminc",
-  "com.ossum.doc",
+  ghRepoName = "ossum-tech",
+  ghOrgName = "ossuminc",
   startYr = 2025,
   devs = developers
-).settings(name := "ossum-tech")
+).configure(
+  With.Scala3
+).settings(
+  resolvers += "GitHub Package Registry" at "https://maven.pkg.github.com/ossuminc/riddl",
+  libraryDependencies += "com.ossuminc" %% "riddl-language" % "1.1.2+",
+
+  // Define the extractEbnf task - automatically triggers update via dependencyClasspath
+  extractEbnf := ExtractEbnf(
+    baseDirectory.value,
+    (Compile / dependencyClasspath).value.files,
+    streams.value.log
+  ),
+
+  // Automatically extract EBNF after update resolves dependencies
+  update := {
+    val updateReport = update.value
+    ExtractEbnf.fromUpdateReport(
+      baseDirectory.value,
+      updateReport,
+      streams.value.log
+    )
+    updateReport
+  }
+)

docs/OSS/index.md

@@ -1,13 +1,13 @@
 ---
-title: "Open Source Tools"
+title: "IDE Support"
 description: >-
-  Free and open source tools for RIDDL development. IDE extensions for
-  IntelliJ and VS Code, authoring guides, and MCP server integration.
+  IDE extensions for RIDDL development. Plugins for IntelliJ IDEA and
+  VS Code with syntax highlighting, validation, and code completion.
 ---
-# Ossum Open Source Software
+# IDE Support for RIDDL
 
-Ossum Inc. provides open source tools for working with the RIDDL language.
-All software is free to use under the Apache License 2.0.
+Ossum Inc. provides IDE extensions for working with the RIDDL language.
+All tools are free and open source under the Apache License 2.0.
 
 ## IDE Extensions