synthra 0.1.0

data/tech_example/14_exact_json_structure.rb

@@ -0,0 +1,253 @@
+#!/usr/bin/env ruby
+# frozen_string_literal: true
+
+# ============================================================================
+# FakeDataDSL - Exact JSON Structure Example
+# ============================================================================
+# Shows how to generate EXACTLY the JSON structure you need using
+# ONLY built-in types (no custom register_type required).
+#
+# Run with: cd fake_data_dsl && ruby tech_example/14_exact_json_structure.rb
+# Or:       cd fake_data_dsl && bundle exec ruby tech_example/14_exact_json_structure.rb
+# ============================================================================
+
+# Load the local gem
+$LOAD_PATH.unshift(File.expand_path('../lib', __dir__))
+require 'fake_data_dsl'
+require 'json'
+
+puts "=" * 70
+puts "Generating Exact JSON Structure (Built-in Types Only)"
+puts "=" * 70
+puts
+
+# ============================================================================
+# TARGET JSON STRUCTURE:
+# ============================================================================
+#
+# {
+#   "type": "message_create",
+#   "id": "1548932749832749832",
+#   "created_timestamp": "1704898204000",
+#   "message_create": {
+#     "target": {
+#       "recipient_id": "2244994945"
+#     },
+#     "sender_id": "987654321",
+#     "message_data": {
+#       "text": "Hello! I need help with my order.",
+#       "entities": {
+#         "hashtags": [],
+#         "symbols": [],
+#         "user_mentions": [],
+#         "urls": []
+#       }
+#     }
+#   }
+# }
+#
+# ============================================================================
+
+# ============================================================================
+# Built-in Types Used:
+# ============================================================================
+# - snowflake_id      : 19-digit Twitter/Discord snowflake ID
+# - unix_timestamp_ms : Unix timestamp in milliseconds as string
+# - numeric_string_id : 9-19 digit numeric string
+# - message_text      : Chat message text using Faker
+# - empty_array       : Always returns []
+# - const             : Fixed literal value (e.g., const("message_create"))
+# ============================================================================
+
+puts "Built-in types available for this structure:"
+puts "  - snowflake_id       : Twitter snowflake IDs (19 digits)"
+puts "  - unix_timestamp_ms  : Unix timestamp in milliseconds"
+puts "  - numeric_string_id  : Numeric string (9-19 digits)"
+puts "  - message_text       : Chat/DM message text"
+puts "  - empty_array        : Empty arrays for entities"
+puts
+
+# ============================================================================
+# DEFINE THE SCHEMA (using Registry for nested schema references)
+# ============================================================================
+
+registry = FakeDataDSL::Registry.new
+registry.load_string(<<~DSL)
+  TwitterDM:
+    type: const("message_create")
+    id: snowflake_id
+    created_timestamp: unix_timestamp_ms
+    message_create: MessageCreateData
+
+  MessageCreateData:
+    target: TargetData
+    sender_id: numeric_string_id
+    message_data: MessageContentData
+
+  TargetData:
+    recipient_id: numeric_string_id
+
+  MessageContentData:
+    text: message_text
+    entities: EntitiesData
+
+  EntitiesData:
+    hashtags: empty_array
+    symbols: empty_array
+    user_mentions: empty_array
+    urls: empty_array
+DSL
+
+schema = registry.schema("TwitterDM")
+
+# ============================================================================
+# GENERATE AND DISPLAY
+# ============================================================================
+
+puts "=" * 70
+puts "1. GENERATED TWITTER DM"
+puts "=" * 70
+dm = schema.generate(registry: registry)
+puts JSON.pretty_generate(dm)
+puts
+
+# ============================================================================
+# COMPARE WITH ORIGINAL
+# ============================================================================
+
+original = {
+  "type" => "message_create",
+  "id" => "1548932749832749832",
+  "created_timestamp" => "1704898204000",
+  "message_create" => {
+    "target" => {
+      "recipient_id" => "2244994945"
+    },
+    "sender_id" => "987654321",
+    "message_data" => {
+      "text" => "Hello! I need help with my order.",
+      "entities" => {
+        "hashtags" => [],
+        "symbols" => [],
+        "user_mentions" => [],
+        "urls" => []
+      }
+    }
+  }
+}
+
+puts "=" * 70
+puts "2. STRUCTURE COMPARISON"
+puts "=" * 70
+puts
+puts "Original structure keys:  #{original.keys}"
+puts "Generated structure keys: #{dm.keys}"
+puts "Keys match: #{original.keys.sort == dm.keys.sort}"
+puts
+puts "Original message_create keys:  #{original['message_create'].keys}"
+puts "Generated message_create keys: #{dm['message_create'].keys}"
+puts "Nested keys match: #{original['message_create'].keys.sort == dm['message_create'].keys.sort}"
+puts
+puts "Original entities:  #{original['message_create']['message_data']['entities']}"
+puts "Generated entities: #{dm['message_create']['message_data']['entities']}"
+puts "Entities match: #{original['message_create']['message_data']['entities'] == dm['message_create']['message_data']['entities']}"
+puts
+
+# ============================================================================
+# TYPE VALIDATION
+# ============================================================================
+
+puts "=" * 70
+puts "3. TYPE VALIDATION"
+puts "=" * 70
+puts
+puts "Field validations:"
+puts "  type (should be 'message_create'): #{dm['type']} ✓" if dm['type'] == 'message_create'
+puts "  id (should be 19-digit string):    #{dm['id'].length} digits ✓" if dm['id'].to_s.length >= 18
+puts "  created_timestamp (ms timestamp):  #{dm['created_timestamp'].length} digits ✓" if dm['created_timestamp'].to_s.length >= 13
+puts "  sender_id (numeric string):        #{dm['message_create']['sender_id']} ✓" if dm['message_create']['sender_id'].match?(/^\d+$/)
+puts "  recipient_id (numeric string):     #{dm['message_create']['target']['recipient_id']} ✓" if dm['message_create']['target']['recipient_id'].match?(/^\d+$/)
+puts "  text (non-empty string):           '#{dm['message_create']['message_data']['text'][0..30]}...' ✓" if dm['message_create']['message_data']['text'].is_a?(String)
+puts "  hashtags (empty array):            #{dm['message_create']['message_data']['entities']['hashtags']} ✓" if dm['message_create']['message_data']['entities']['hashtags'] == []
+puts
+
+# ============================================================================
+# BATCH GENERATION
+# ============================================================================
+
+puts "=" * 70
+puts "4. BATCH GENERATION (3 messages)"
+puts "=" * 70
+puts
+
+messages = schema.generate_many(3, registry: registry)
+messages.each_with_index do |msg, i|
+  puts "Message #{i + 1}:"
+  puts "  ID:        #{msg['id']}"
+  puts "  Timestamp: #{msg['created_timestamp']}"
+  puts "  Sender:    #{msg['message_create']['sender_id']}"
+  puts "  Recipient: #{msg['message_create']['target']['recipient_id']}"
+  puts "  Text:      #{msg['message_create']['message_data']['text'][0..50]}..."
+  puts
+end
+
+# ============================================================================
+# DETERMINISTIC OUTPUT
+# ============================================================================
+
+puts "=" * 70
+puts "5. DETERMINISTIC OUTPUT (seed: 12345)"
+puts "=" * 70
+puts
+
+dm1 = schema.generate(seed: 12345, registry: registry)
+dm2 = schema.generate(seed: 12345, registry: registry)
+
+puts "First generation:"
+puts "  ID: #{dm1['id']}"
+puts "  Text: #{dm1['message_create']['message_data']['text']}"
+puts
+puts "Second generation (same seed):"
+puts "  ID: #{dm2['id']}"
+puts "  Text: #{dm2['message_create']['message_data']['text']}"
+puts
+puts "Outputs identical: #{dm1 == dm2}"
+puts
+
+# ============================================================================
+# AS WEBHOOK PAYLOAD
+# ============================================================================
+
+puts "=" * 70
+puts "6. AS WEBHOOK PAYLOAD"
+puts "=" * 70
+puts
+
+webhook_payload = {
+  "for_user_id" => schema.generate(registry: registry).dig('message_create', 'target', 'recipient_id'),
+  "direct_message_events" => schema.generate_many(2, seed: 42, registry: registry)
+}
+
+puts JSON.pretty_generate(webhook_payload)
+puts
+
+# ============================================================================
+# SUMMARY
+# ============================================================================
+
+puts "=" * 70
+puts "SUMMARY"
+puts "=" * 70
+puts
+puts "✓ All built-in types - no register_type needed!"
+puts "✓ Exact JSON structure match"
+puts "✓ Deterministic output with seeds"
+puts "✓ Batch generation supported"
+puts "✓ Ready for API testing"
+puts
+puts "Available built-in types for social/messaging APIs:"
+puts "  snowflake_id, unix_timestamp_ms, numeric_string_id,"
+puts "  message_text, empty_array, social_handle, hashtag_text,"
+puts "  indices_pair"
+puts
+puts "=" * 70

data/tech_example/16_lsp_server.rb

@@ -0,0 +1,56 @@
+# frozen_string_literal: true
+
+# =============================================================================
+# LSP Server Example
+# =============================================================================
+#
+# This example demonstrates how to use the FakeDataDSL LSP server
+# for IDE integration.
+#
+# =============================================================================
+
+require "fake_data_dsl"
+
+# LSP server is automatically loaded with fake_data_dsl
+# No need to require separately
+  
+  puts "Starting FakeDataDSL LSP Server..."
+  puts "Connect your IDE to this server via stdin/stdout"
+  puts "Press Ctrl+C to stop"
+  
+  server = FakeDataDSL::LSP::Server.new
+  begin
+    server.run
+  rescue Interrupt
+    puts "\nServer stopped."
+  end
+end
+
+# Example: LSP server with custom input/output
+# This is useful for testing or custom integrations
+
+def start_lsp_with_logging
+  # LSP server is available via FakeDataDSL::LSP::Server
+  output = File.open("lsp_output.log", "w")
+  
+  server = FakeDataDSL::LSP::Server.new(input: input, output: output)
+  server.run
+ensure
+  input&.close
+  output&.close
+end
+
+# Example: LSP capabilities
+# The server supports:
+# - textDocument/definition (go to definition)
+# - textDocument/hover (hover documentation)
+# - textDocument/completion (auto-completion)
+# - textDocument/diagnostic (error reporting)
+
+puts <<~INFO
+  LSP Server Features:
+  - Go to Definition: Jump to schema definitions from Ref(User.id)
+  - Hover: See type and behavior documentation
+  - Completion: Auto-complete types, behaviors, and schemas
+  - Diagnostics: Real-time error reporting with line/column numbers
+INFO

data/tech_example/17_property_testing.rb

@@ -0,0 +1,92 @@
+# frozen_string_literal: true
+
+# =============================================================================
+# Property-Based Testing Example
+# =============================================================================
+#
+# This example demonstrates property-based testing with FakeDataDSL.
+# Property-based testing verifies that properties hold for all generated data.
+#
+# =============================================================================
+
+require "fake_data_dsl"
+
+# Property testing is automatically loaded with fake_data_dsl
+# No need to require separately
+
+# Load schemas
+registry = FakeDataDSL::Registry.new
+registry.load_string(<<~DSL)
+  User:
+    id: uuid
+    name: name
+    email: email
+    age: number(18..80)
+    active: boolean(true:90%)
+DSL
+
+# Example 1: Verify email format
+puts "Example 1: Verifying email format"
+verify_property("User", count: 100, registry: registry) do |user_data|
+  email = user_data["email"]
+  expect(email).to match(/\A[\w+\-.]+@[a-z\d\-]+(\.[a-z\d\-]+)*\.[a-z]+\z/i)
+end
+puts "✅ All emails are valid"
+
+# Example 2: Verify age range
+puts "\nExample 2: Verifying age range"
+verify_property("User", count: 100, registry: registry) do |user_data|
+  age = user_data["age"]
+  expect(age).to be_between(18, 80)
+end
+puts "✅ All ages are in valid range"
+
+# Example 3: Verify UUID format
+puts "\nExample 3: Verifying UUID format"
+verify_property("User", count: 100, registry: registry) do |user_data|
+  uuid = user_data["id"]
+  expect(uuid).to match(/\A[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}\z/i)
+end
+puts "✅ All UUIDs are valid"
+
+# Example 4: Deterministic testing with seed
+puts "\nExample 4: Deterministic testing"
+seed = 12345
+results1 = []
+results2 = []
+
+verify_property("User", count: 10, seed: seed, registry: registry) do |user_data|
+  results1 << user_data["id"]
+end
+
+verify_property("User", count: 10, seed: seed, registry: registry) do |user_data|
+  results2 << user_data["id"]
+end
+
+if results1 == results2
+  puts "✅ Same seed produces same results"
+else
+  puts "❌ Results differ (this shouldn't happen)"
+end
+
+# Example 5: Streaming for large counts
+puts "\nExample 5: Streaming verification (memory-efficient)"
+call_count = 0
+verify_property_stream("User", count: 1000, registry: registry) do |user_data|
+  call_count += 1
+  expect(user_data).to be_a(Hash)
+  expect(user_data["id"]).to be_a(String)
+end
+puts "✅ Verified #{call_count} records via streaming"
+
+# Example 6: Testing with different modes
+puts "\nExample 6: Testing with edge mode"
+verify_property("User", count: 50, mode: :edge, registry: registry) do |user_data|
+  # Edge mode may produce empty strings, nulls, etc.
+  expect(user_data["email"]).to be_a(String).or(be_nil)
+end
+puts "✅ Edge mode handled correctly"
+
+puts "\n" + "=" * 60
+puts "All property tests passed!"
+puts "=" * 60

data/tech_example/18_enhanced_repl.rb

@@ -0,0 +1,120 @@
+# frozen_string_literal: true
+
+# =============================================================================
+# Enhanced REPL Example
+# =============================================================================
+#
+# This example demonstrates the enhanced REPL features:
+# - Visual table formatting
+# - Step-through debugging
+# - Detailed inspection
+#
+# =============================================================================
+
+require "fake_data_dsl"
+
+# Ensure REPL formatter is loaded (it's manually loaded in fake_data_dsl.rb)
+# Access via FakeDataDSL::REPL::Formatter
+
+# Load schemas
+registry = FakeDataDSL::Registry.new
+registry.load_string(<<~DSL)
+  User:
+    id: uuid
+    name: name
+    email: email
+    age: number(18..80)
+    active: boolean(true:90%)
+    created_at: timestamp
+DSL
+
+schema = registry.schema("User")
+
+# Example 1: Table formatting for single record
+puts "Example 1: Table formatting (single record)"
+puts "=" * 60
+record = schema.generate
+puts FakeDataDSL::REPL::Formatter.table(record)
+puts
+
+# Example 2: Table formatting for multiple records
+puts "\nExample 2: Table formatting (multiple records)"
+puts "=" * 60
+records = schema.generate_many(5)
+puts FakeDataDSL::REPL::Formatter.table(records)
+puts
+
+# Example 3: Format value helper
+puts "\nExample 3: Format value helper"
+puts "=" * 60
+test_values = [
+  "Short string",
+  "A" * 100,  # Long string
+  { "key1" => "value1", "key2" => "value2" },
+  [1, 2, 3, 4, 5],
+  nil,
+  12345
+]
+
+test_values.each do |value|
+  formatted = FakeDataDSL::REPL::Formatter.format_value(value, 30)
+  puts "  #{value.class.name.ljust(15)} => #{formatted}"
+end
+puts
+
+# Example 4: Context formatting
+puts "\nExample 4: Context formatting"
+puts "=" * 60
+context = FakeDataDSL::Generator::Context.new
+context["id"] = "550e8400-e29b-41d4-a716-446655440000"
+context["name"] = "John Doe"
+context["email"] = "john.doe@example.com"
+context.depth = 1
+context.registry = registry
+
+puts FakeDataDSL::REPL::Formatter.format_context(context)
+puts
+
+# Example 5: Debug engine (simulated)
+puts "\nExample 5: Debug engine usage"
+puts "=" * 60
+puts "Note: Full debug mode requires interactive REPL"
+puts "Run: fake_data_dsl repl"
+puts "Then use: debug User"
+puts
+
+# Example 6: Inspect command output
+puts "\nExample 6: Inspect command output"
+puts "=" * 60
+record = schema.generate
+puts "📊 Generated Record:"
+puts "=" * 60
+puts FakeDataDSL::REPL::Formatter.table(record)
+puts
+puts "📋 JSON Format:"
+puts JSON.pretty_generate(record)
+puts
+puts "📏 Statistics:"
+puts "  Fields: #{record.keys.length}"
+puts "  Total size: #{JSON.generate(record).bytesize} bytes"
+record.each do |key, value|
+  type = value.class.name
+  size = case value
+         when String then value.bytesize
+         when Hash then "#{value.keys.length} keys"
+         when Array then "#{value.length} items"
+         else value.inspect.length
+         end
+  puts "    #{key}: #{type} (#{size})"
+end
+
+puts "\n" + "=" * 60
+puts "Enhanced REPL examples complete!"
+puts "=" * 60
+puts "\nTo use the interactive REPL, run:"
+puts "  fake_data_dsl repl"
+puts "\nAvailable commands:"
+puts "  table User        - Display record in table format"
+puts "  table User 5      - Display 5 records in table format"
+puts "  debug User        - Step-through debugging"
+puts "  inspect User      - Detailed inspection with statistics"

data/tech_example/19_security_fuzzing.rb

@@ -0,0 +1,145 @@
+# frozen_string_literal: true
+
+# =============================================================================
+# Security Fuzzing (Hostile Mode) Example
+# =============================================================================
+#
+# This example demonstrates using :hostile mode for security testing.
+# Hostile mode generates attack payloads (SQL injection, XSS, etc.)
+# for testing API endpoints and validation logic.
+#
+# =============================================================================
+
+require "fake_data_dsl"
+
+# Load schemas
+registry = FakeDataDSL::Registry.new
+registry.load_string(<<~DSL)
+  User:
+    id: uuid
+    name: text
+    email: text
+    comment: text
+DSL
+
+schema = registry.schema("User")
+
+# Example 1: Generate hostile data
+puts "Example 1: Generating hostile data"
+puts "=" * 60
+hostile_record = schema.generate(mode: :hostile)
+puts JSON.pretty_generate(hostile_record)
+puts
+
+# Example 2: Generate multiple hostile records
+puts "\nExample 2: Generating multiple hostile records"
+puts "=" * 60
+hostile_records = schema.generate_many(10, mode: :hostile)
+hostile_records.each_with_index do |record, idx|
+  puts "Record #{idx + 1}:"
+  puts "  name: #{record['name'].inspect}"
+  puts "  email: #{record['email'].inspect}"
+  puts "  comment: #{record['comment'].inspect}"
+  puts
+end
+
+# Example 3: Test API endpoint with hostile data
+puts "\nExample 3: Testing API endpoint (simulated)"
+puts "=" * 60
+puts "Simulating API endpoint test with hostile data..."
+
+hostile_data = schema.generate_many(100, mode: :hostile)
+success_count = 0
+rejected_count = 0
+
+hostile_data.each do |payload|
+  # Simulate API endpoint validation
+  # In real scenario: response = post("/api/users", payload)
+  
+  # Check if payload contains hostile patterns
+  is_hostile = payload.values.any? do |value|
+    next false unless value.is_a?(String)
+    
+    # Check for SQL injection patterns
+    sql_patterns = ["' OR '1'='1", "'; DROP TABLE", "UNION SELECT"]
+    sql_patterns.any? { |pattern| value.include?(pattern) } ||
+    # Check for XSS patterns
+    xss_patterns = ["<script>", "javascript:", "onerror="]
+    xss_patterns.any? { |pattern| value.include?(pattern) } ||
+    # Check for buffer overflow (very long strings)
+    value.length > 1000
+  end
+  
+  if is_hostile
+    rejected_count += 1
+    # In real scenario: expect(response.status).to eq(400)
+  else
+    success_count += 1
+  end
+end
+
+puts "  ✅ Rejected hostile payloads: #{rejected_count}"
+puts "  ⚠️  Accepted (should be 0): #{success_count}"
+puts
+
+# Example 4: Property-based testing with hostile mode
+puts "\nExample 4: Property-based testing with hostile mode"
+puts "=" * 60
+puts "Verifying that validation rejects hostile input..."
+
+begin
+  require "fake_data_dsl/property_testing"
+  include FakeDataDSL::PropertyTesting
+  
+  verify_property("User", count: 500, mode: :hostile, registry: registry) do |user_data|
+    # In real scenario, this would test actual validation:
+    # user = User.new(user_data)
+    # expect(user).not_to be_valid
+    
+    # For this example, we just verify the data structure
+    expect(user_data).to be_a(Hash)
+    expect(user_data["id"]).to be_a(String)
+  end
+  puts "✅ Property test passed"
+rescue LoadError
+  puts "⚠️  RSpec not available, skipping property test"
+end
+puts
+
+# Example 5: Inspect hostile payloads
+puts "\nExample 5: Available hostile payloads"
+puts "=" * 60
+puts "SQL Injection payloads:"
+FakeDataDSL::HostilePayloads::SQL_INJECTION.first(5).each do |payload|
+  puts "  - #{payload.inspect}"
+end
+puts
+puts "XSS payloads:"
+FakeDataDSL::HostilePayloads::XSS.first(5).each do |payload|
+  puts "  - #{payload.inspect}"
+end
+puts
+puts "Buffer overflow payloads:"
+FakeDataDSL::HostilePayloads::BUFFER_OVERFLOW.first(3).each do |payload|
+  puts "  - Length: #{payload.length} bytes"
+end
+puts
+
+# Example 6: CLI usage
+puts "\nExample 6: CLI usage"
+puts "=" * 60
+puts "Generate hostile data via CLI:"
+puts "  fake_data_dsl generate User --mode hostile"
+puts "  fake_data_dsl generate User --mode hostile --count 1000"
+puts
+puts "Use in REPL:"
+puts "  fake_data_dsl repl"
+puts "  > mode hostile"
+puts "  > gen User"
+puts
+
+puts "=" * 60
+puts "Security fuzzing examples complete!"
+puts "=" * 60
+puts "\n⚠️  WARNING: Hostile mode generates actual attack payloads."
+puts "Use only in test environments, never in production!"