{
  "protocol": "emlu-public-engineering-snapshot-v0.1",
  "snapshot_date": "2026-10-05",
  "source_revision": "65286e38ce9f7bebdd40cd0213941896db61a1d4",
  "status": "bounded_experimental_mvp",
  "counts": { "tests": 297, "test_files": 27, "executable_profiles": 4, "excluded_starters": 8, "accepted_production_cases": 0, "production_goal": 1000, "installed_package_entries": 299 },
  "targets": ["cpp20", "eml-p-python", "rust2021"],
  "profiles": ["scalar-u32", "batch-u32", "session-u32", "replay-u32"],
  "rust_build_modes": ["checked", "unchecked"],
  "scalar_witness": {
    "case_id": "u-0001-scalar",
    "arithmetic": "modulo_2_to_32",
    "stdout": "0\n1\n0\n4294967295\n0\n",
    "page_executes_witness": false
  },
  "evidence_scope": {
    "source_tests": "observed_pass_at_snapshot",
    "four_profile_declared_target_verification": "observed_pass_at_snapshot",
    "installed_consumer": "observed_pass_at_snapshot_with_external_prerequisites",
    "clean_operating_system_reproduction": "not_measured",
    "general_performance": "not_measured",
    "autonomous_ai_language_iteration": "research_goal_not_demonstrated",
    "general_source_import": "unsupported",
    "arbitrary_graph_execution": "unsupported",
    "final_spatial_glyph_syntax": "not_frozen",
    "public_emlu_execution_api": "not_provided"
  },
  "evidence_boundary": "This public summary reports dated engineering observations. It is not the full raw execution receipt, an authenticity signature, a live verification, or authorization to accept a proposal.",
  "corpus_round": { "new_cases": 20, "primary_focus": { "cpp20": 8, "rust2021": 8, "eml-p-python": 4 }, "count_per_semantic_case": 1, "starts_automatically": false },
  "limits": ["Source import covers declared scalar C++ and EML-P forms only; Rust projection does not imply general Rust import.", "Composition resolution does not establish arbitrary host lowering or execution.", "Current profiles are bounded, integer and single-threaded; no broad C/C++/Rust support claim.", "Retained C++ batch cost measurements do not transfer to Rust, session or replay.", "Exact key/subject deduplication does not establish arbitrary semantic inequivalence.", "No general language-completion, Stable release, public package license or autonomous recursive-improvement claim."]
}