{
  "id": "THY-2026-0202",
  "kind": "theory",
  "label": "The green-light fallacy",
  "created_at": "2026-09-21",
  "updated_at": "2026-10-13",
  "values": {
    "eml_status": "PRELIMINARY",
    "eml_evidence_level": "E1",
    "eml_object_version": "0.1",
    "eml_canonical_url": "https://evemisslab.com/ai/theory/THY-2026-0202/",
    "eml_provenance": {
      "source": "EveMissLab research collection: AI Agent Publication Boundary and Security Closure (真本體論14)",
      "extracted_by": "Splice (Claude Code), reading the open-source release's own manifests, locks and pooled outputs, and the hashes of the internal drafts",
      "extracted_at": "2026-10-13",
      "generator": "tools/extract_all.py",
      "claim_boundary": "status, evidence level and result type follow the source artifact's own stated claim boundary; nothing is upgraded beyond what the report supports"
    },
    "eml_summary": "V₁(x) ∧ … ∧ Vₙ(x) = PASS does not imply G(x) = PASS unless the global postcondition G was mapped into their coverage. Checks that read the same source or share a generated oracle are not independent; a scope false PASS is a correct detector pointed at the wrong surface; NOT MEASURED is a result, never a pass.",
    "eml_summary_zh": "除非全域後置條件 G 被映射進它們的覆蓋範圍，否則 V₁(x) ∧ … ∧ Vₙ(x) = PASS 推不出 G(x) = PASS。讀同一來源或共用生成 oracle 的檢查彼此不獨立；範圍偽 PASS 是正確的 detector 指向錯誤的表面；NOT MEASURED 是一個結果，永遠不是通過。",
    "eml_label_zh": "綠燈謬誤",
    "eml_primary_domain": "Privacy",
    "eml_program_id": "PRG-2026-0201",
    "eml_data_basis": "THEORY",
    "eml_ai_collaborators": [
      "AI collaboration recorded for the series; the collaborator is not named in the drafts",
      "Splice (Claude Code, Anthropic) — Phase II protocols, runners, audits, reports and the integrated edition"
    ],
    "eml_tags": [
      "paper 01"
    ],
    "eml_formalization": [
      "V₁ ∧ … ∧ Vₙ = PASS ⇏ G = PASS",
      "claimed assurance ≤ demonstrated coverage"
    ],
    "eml_authors": [
      "Neo.K (EveMissLab)"
    ]
  },
  "canonical_url": "https://evemisslab.com/ai/theory/THY-2026-0202/",
  "json": "/ai/theory/THY-2026-0202/index.json",
  "relations": [
    {
      "id": "REL-2026-0514",
      "predicate": "contains",
      "source": "THY-2026-0202",
      "target": "CLM-2026-0203",
      "status": "ACTIVE"
    },
    {
      "id": "REL-2026-0505",
      "predicate": "develops",
      "source": "RES-2026-0201",
      "target": "THY-2026-0202",
      "status": "ACTIVE"
    },
    {
      "id": "REL-2026-0529",
      "predicate": "formalizes",
      "source": "PAP-2026-0202",
      "target": "THY-2026-0202",
      "status": "ACTIVE"
    }
  ],
  "snapshot": {
    "snapshot_id": "AI-SNAPSHOT-v0.1-58e716495670",
    "created_at": "2026-10-13T14:55:22Z",
    "format_version": "0.1",
    "sedb_baseline": "v0.4B contract; static source content/ai/",
    "generator_version": "evemisslab-com ai_research 0.1",
    "object_count": 179,
    "relation_count": 624,
    "artifact_count": 88
  }
}