{
  "name": "Semryn",
  "positioning": "Semantic software infrastructure for AI coding agents",
  "version": "0.0.3",
  "status": "local_engine_prototype",
  "application_rewrite_required": false,
  "implemented": [
    "binary_native_and_web_graphs",
    "typed_SSA",
    "central_operation_schemas",
    "explicit_effects",
    "semantic_validation",
    "persistent_local_binary_control",
    "typed_construction_slots",
    "revisioned_atomic_attribute_edits",
    "C_and_native_backend",
    "static_HTML_backend",
    "host_owned_observable_checks",
    "binary_audit_receipts"
  ],
  "planned": [
    "existing_repository_semantic_indexing",
    "task_specific_repository_context",
    "source_language_adapters",
    "external_agent_adapters",
    "semantic_source_patches",
    "repository_build_and_test_validation"
  ],
  "intended_agents": [
    "Codex",
    "Claude Code",
    "Copilot",
    "Gemini",
    "Custom Agent"
  ],
  "intended_languages": [
    "TypeScript",
    "JavaScript",
    "PHP",
    "Python",
    "Java",
    "Rust",
    "C#"
  ],
  "next_milestone": "Read-only context pilot for one existing source language and one agent integration",
  "evidence_boundaries": {
    "repository_inference_savings_proven": false,
    "agent_integrations_delivered": false,
    "universal_correctness_guaranteed": false,
    "vendor_affiliation": false
  },
  "resources": {
    "overview": "https://semryn.dev/",
    "agent_overview": "https://semryn.dev/for-agents.html",
    "strategy": "https://semryn.dev/strategy.html",
    "full_strategy": "https://semryn.dev/strategy.md",
    "discovery": "https://semryn.dev/llms.txt"
  },
  "technology": {
    "name": "AIR",
    "expanded_name": "AI Intermediate Representation",
    "version": "0.0.3",
    "role": "Underlying semantic representation and compiler technology"
  },
  "version_scope": "AIR engine prototype",
  "url": "https://semryn.dev/"
}