chore: add DocsBadge to all documentation pages

- Add DocsBadge component to all docs (en, ja, ko)
- Add VerifiedBadge and DocsBadge component source files
- Remove moon.yml (moved to t-ruby monorepo)

Author: yhk1038

docs/cli/commands.md

@@ -4,6 +4,9 @@ title: Commands
 description: trc CLI commands reference
 ---
 
+<DocsBadge />
+
+
 # Commands
 
 The `trc` command-line interface is the primary tool for working with T-Ruby. It compiles `.trb` files to Ruby, type-checks your code, and generates RBS signatures.

docs/cli/compiler-options.md

@@ -4,6 +4,9 @@ title: Compiler Options
 description: All available compiler options
 ---
 
+<DocsBadge />
+
+
 # Compiler Options
 
 T-Ruby's compiler provides extensive options to control compilation, type checking, and code generation. This reference covers all available command-line flags and their effects.
@@ -34,7 +37,7 @@ In strict mode:
 - No implicit `any` types
 - Strict nil checking enabled
 
-```ruby
+```trb
 # Strict mode requires full typing
 def process(data: Array<String>): Hash<String, Integer>
   @count: Integer = 0
@@ -73,7 +76,7 @@ Disallow implicit `any` types.
 trc compile --no-implicit-any src/
 ```
 
-```ruby
+```trb
 # Error with --no-implicit-any
 def process(data)  # Error: implicit any
   # ...
@@ -93,7 +96,7 @@ Enable strict nil checking.
 trc compile --strict-nil src/
 ```
 
-```ruby
+```trb
 # Error with --strict-nil
 def find_user(id: Integer): User  # Error: might return nil
   users.find { |u| u.id == id }
@@ -113,7 +116,7 @@ Warn on unused variables and parameters.
 trc compile --no-unused-vars src/
 ```
 
-```ruby
+```trb
 # Warning with --no-unused-vars
 def calculate(x: Integer, y: Integer): Integer
   x * 2  # Warning: y is unused
@@ -133,7 +136,7 @@ Require checks before array/hash access.
 trc compile --no-unchecked-indexed-access src/
 ```
 
-```ruby
+```trb
 # Error with --no-unchecked-indexed-access
 users: Array<User> = get_users()
 user = users[0]  # Error: might be nil
@@ -152,7 +155,7 @@ Require explicit return types for all functions.
 trc compile --require-return-types src/
 ```
 
-```ruby
+```trb
 # Error with --require-return-types
 def calculate(x: Integer)  # Error: missing return type
   x * 2

docs/cli/configuration.md

@@ -4,6 +4,9 @@ title: Configuration
 description: T-Ruby configuration file reference
 ---
 
+<DocsBadge />
+
+
 # Configuration
 
 T-Ruby uses a `trc.yaml` file to configure compiler behavior, source files, output locations, and type checking rules. This reference covers all available configuration options.
@@ -251,7 +254,7 @@ compiler:
 - No implicit `any` types allowed
 - Strict nil checking enabled
 
-```ruby
+```trb
 # Required in strict mode
 def process(data: Array<String>): Hash<String, Integer>
   @count: Integer = 0
@@ -267,7 +270,7 @@ end
 - Local variables can be inferred
 - Warns on implicit `any`
 
-```ruby
+```trb
 # OK in standard mode
 def process(data: Array<String>): Hash<String, Integer>
   @count: Integer = 0
@@ -314,7 +317,7 @@ Supported versions: `"2.7"`, `"3.0"`, `"3.1"`, `"3.2"`, `"3.3"`
 
 Example - Pattern matching:
 
-```ruby
+```trb
 # Input (.trb)
 case value
 in { name: String => n }
@@ -369,7 +372,7 @@ compiler:
 
 **no_implicit_any**
 
-```ruby
+```trb
 # Error when no_implicit_any: true
 def process(data)  # Error: implicit 'any' type
   # ...
@@ -383,7 +386,7 @@ end
 
 **no_unused_vars**
 
-```ruby
+```trb
 # Warning when no_unused_vars: true
 def calculate(x: Integer, y: Integer): Integer
   result = x * 2  # Warning: 'y' is unused
@@ -393,7 +396,7 @@ end
 
 **strict_nil**
 
-```ruby
+```trb
 # Error when strict_nil: true
 def find_user(id: Integer): User  # Error: might return nil
   users.find { |u| u.id == id }
@@ -407,7 +410,7 @@ end
 
 **no_unchecked_indexed_access**
 
-```ruby
+```trb
 # Error when no_unchecked_indexed_access: true
 users: Array<User> = get_users()
 user = users[0]  # Error: might be nil

docs/getting-started/editor-setup.md

@@ -4,6 +4,9 @@ title: Editor Setup
 description: Set up VS Code, Neovim, and other editors for T-Ruby
 ---
 
+<DocsBadge />
+
+
 # Editor Setup
 
 Get the best T-Ruby development experience by configuring your editor with syntax highlighting, type checking, and autocomplete.

docs/getting-started/first-trb-file.md

@@ -4,6 +4,9 @@ title: Your First .trb File
 description: Create and compile your first T-Ruby file
 ---
 
+<DocsBadge />
+
+
 # Your First .trb File
 
 This guide takes you through creating a T-Ruby file step by step, explaining each concept as we go.
@@ -19,7 +22,7 @@ A `.trb` file is a T-Ruby source file. It's essentially Ruby code with type anno
 
 Let's create a file called `calculator.trb` that implements a simple calculator:
 
-```ruby title="calculator.trb"
+```trb title="calculator.trb"
 # calculator.trb - A simple typed calculator
 
 # Basic arithmetic operations with type annotations
@@ -44,7 +47,7 @@ end
 
 Let's break down the syntax:
 
-```ruby
+```trb
 def add(a: Integer, b: Integer): Integer
 #   ^^^  ^  ^^^^^^^  ^  ^^^^^^^   ^^^^^^^
 #   |    |    |      |    |         |
@@ -60,7 +63,7 @@ def add(a: Integer, b: Integer): Integer
 
 Let's expand our calculator with more advanced features:
 
-```ruby title="calculator.trb"
+```trb title="calculator.trb"
 # Type alias for cleaner code
 type Number = Integer | Float
 
@@ -97,7 +100,7 @@ end
 
 The `|` operator creates a union type:
 
-```ruby
+```trb
 type Number = Integer | Float  # Can be Integer OR Float
 
 def safe_divide(a: Number, b: Number): Float | nil
@@ -111,7 +114,7 @@ end
 
 The `<T>` syntax defines a generic type parameter:
 
-```ruby
+```trb
 def max<T: Comparable>(a: T, b: T): T
 #     ^^  ^^^^^^^^^^
 #     |       |
@@ -128,7 +131,7 @@ max("a", "b")   # T is String
 
 Let's create a Calculator class:
 
-```ruby title="calculator.trb"
+```trb title="calculator.trb"
 class Calculator
   # Instance variable with type annotation
   @history: Array<String>
@@ -229,7 +232,7 @@ class Calculator
 end
 ```
 
-```ruby title="build/calculator.rbs"
+```rbs title="build/calculator.rbs"
 type Number = Integer | Float
 
 class Calculator
@@ -249,7 +252,7 @@ end
 
 ### Optional Parameters
 
-```ruby
+```trb
 def greet(name: String, greeting: String = "Hello"): String
   "#{greeting}, #{name}!"
 end
@@ -260,15 +263,15 @@ greet("Alice", "Hi")     # "Hi, Alice!"
 
 ### Nullable Types (Optional Shorthand)
 
-```ruby
+```trb
 # These are equivalent:
 def find(id: Integer): User | nil
 def find(id: Integer): User?  # Shorthand
 ```
 
 ### Block Parameters
 
-```ruby
+```rbs
 def each_item(items: Array<String>, &block: (String) -> void): void
   items.each(&block)
 end

docs/getting-started/installation.md

@@ -4,6 +4,9 @@ title: Installation
 description: How to install T-Ruby
 ---
 
+<DocsBadge />
+
+
 # Installation
 
 This guide will help you install T-Ruby on your system. T-Ruby requires Ruby 3.0 or later.

docs/getting-started/project-configuration.md

@@ -4,6 +4,9 @@ title: Project Configuration
 description: Configure T-Ruby for your project
 ---
 
+<DocsBadge />
+
+
 # Project Configuration
 
 For larger projects, T-Ruby uses a configuration file to manage compiler options, paths, and behavior.

docs/getting-started/quick-start.md

@@ -4,6 +4,9 @@ title: Quick Start
 description: Get started with T-Ruby in 5 minutes
 ---
 
+<DocsBadge />
+
+
 # Quick Start
 
 Let's get you writing typed Ruby in under 5 minutes. This guide assumes you've already [installed T-Ruby](/docs/getting-started/installation).
@@ -19,7 +22,7 @@ cd my-truby-project
 
 Create a file called `hello.trb`:
 
-```ruby title="hello.trb"
+```trb title="hello.trb"
 # A simple typed function
 def greet(name: String): String
   "Hello, #{name}!"
@@ -81,7 +84,7 @@ puts greet("World")
 puts add(5, 3)
 ```
 
-```ruby title="build/hello.rbs"
+```rbs title="build/hello.rbs"
 def greet: (String name) -> String
 def add: (Integer a, Integer b) -> Integer
 ```
@@ -90,7 +93,7 @@ def add: (Integer a, Integer b) -> Integer
 
 Now let's see type checking in action. Modify `hello.trb` to introduce a bug:
 
-```ruby title="hello.trb (with bug)"
+```trb title="hello.trb (with bug)"
 def greet(name: String): String
   "Hello, #{name}!"
 end
@@ -152,7 +155,7 @@ You've written and compiled your first T-Ruby code! Here's where to go next:
 
 Here's a slightly more complex example to play with:
 
-```ruby title="user.trb"
+```trb title="user.trb"
 # Define a type alias
 type UserId = Integer
 

docs/introduction/t-ruby-vs-others.md

@@ -4,6 +4,9 @@ title: T-Ruby vs Others
 description: Comparison of T-Ruby with TypeScript, RBS, and Sorbet
 ---
 
+<DocsBadge />
+
+
 # T-Ruby vs Others
 
 The Ruby ecosystem has several approaches to static typing. This page compares T-Ruby with other solutions to help you understand where T-Ruby fits in.
@@ -41,7 +44,7 @@ class User
 end
 ```
 
-```ruby title="sig/user.rbs"
+```rbs title="sig/user.rbs"
 class User
   @name: String
   @age: Integer
@@ -55,7 +58,7 @@ end
 
 Types are written inline:
 
-```ruby title="lib/user.trb"
+```trb title="lib/user.trb"
 class User
   @name: String
   @age: Integer
@@ -119,7 +122,7 @@ end
 
 ### T-Ruby Approach
 
-```ruby title="lib/calculator.trb"
+```trb title="lib/calculator.trb"
 class Calculator
   def add(a: Integer, b: Integer): Integer
     a + b
@@ -153,7 +156,7 @@ greet(123)  # Raises TypeError at runtime if runtime checks enabled
 ```
 
 **T-Ruby approach:**
-```ruby
+```trb
 # Types are compile-time only
 def greet(name: String): String
   "Hello, #{name}"
@@ -193,7 +196,7 @@ function processUser<T extends User>(user: T): string {
 }
 ```
 
-```ruby title="T-Ruby"
+```trb title="T-Ruby"
 def greet(name: String): String
   "Hello, #{name}!"
 end