{
  "project": "discoscm",
  "public_url": "https://research.wehub.us/ghy/tmp/discoscm/",
  "last_updated": "2026-05-30 13:58 CST",
  "status": "active_supreme_theory_priority",
  "current_focus": "Public review page now exposes the compact formal core: core assumptions, DiscoSCM object/do-operator, key valuation theorems, PC, U-based identification branch, and current outputs.",
  "canonical_seed": "/Users/cms/.openclaw/workspace/projects/ghy-temporary-research-archive/research-projects/discoscm/hello_agent.md",
  "canonical_source": "/Users/cms/.openclaw/workspace/projects/causal-research-digital-human/overleaf/6449e55a6fa327ef460de1f8/main.tex",
  "canonical_source_sha256": "7a83002762eb0bc96e345dd1838bbfa8f44838bf9fad9421e5572b06f7425546",
  "milestones": [
    {
      "id": "source_identity",
      "label": "Canonical source corrected to 6449e55a/main.tex",
      "status": "done"
    },
    {
      "id": "paper_card",
      "label": "paper-card-v0.1.md and theory-map-v0.1.md",
      "status": "done"
    },
    {
      "id": "dependency_graph",
      "label": "definition-theorem-dependency-graph-v0.1.md",
      "status": "done"
    },
    {
      "id": "version_evolution",
      "label": "version-evolution-v0.1.md",
      "status": "done"
    },
    {
      "id": "web_entry",
      "label": "public review entry under research.wehub.us/ghy/tmp/discoscm/",
      "status": "done"
    },
    {
      "id": "paper_polish_cleanup",
      "label": "main.tex duplicate labels, central labels, and obvious typos cleaned; latexmk verified",
      "status": "done"
    },
    {
      "id": "formal_core_web_surface",
      "label": "core formulas, theorems, conclusions, and outputs displayed on public review page",
      "status": "done"
    },
    {
      "id": "notation_assumption_polish",
      "label": "Y(x) / Y^d(x) / y_x notation and independent-noise assumption status",
      "status": "next"
    },
    {
      "id": "secondary_layer3_alignment",
      "label": "65b89912 / SIGIR Layer-3 as secondary extension",
      "status": "next"
    }
  ],
  "validation": {
    "active_duplicate_labels": 0,
    "formal_blocks_missing_labels": 0,
    "undefined_refs": 0,
    "latexmk_pdf_exit_code": 0,
    "pdf_pages": 20,
    "pdf_size_bytes": 401494
  },
  "review_rule": "Internal MSP files under research-projects/discoscm are source of truth; this webpage is a noindex reading/projection surface.",
  "core_formal_content": {
    "core_problem": "Consistency locks factual potential outcomes pointwise and creates degenerative counterfactuals.",
    "core_assumption": "X=x, U=u => Y(x) =d Y",
    "core_object": "DiscoSCM = <U, E, V, F>, separating unit/individual semantics U from uncontrollable noise E.",
    "core_operator": "do(x) modifies F to F_x and replaces factual E by counterfactual E(x) with the same distribution.",
    "key_formulas": [
      "Y =d X Y(1) + (1-X) Y(0)",
      "Y^d_u(x)=x+u+E_2(x)",
      "P(Y^d(x)=y|e)=sum_u P(y_x;u)P(u|e)",
      "P(y_x|e;u)=P(y_x;u)=P(y|x;u)",
      "PC(u)=P(Y^d(x)=y|X=x,Y=y,U=u)=P(y|x;u)",
      "E[Y(t*)]=E[Y 1_{T=t*}/P(t*|U)]"
    ],
    "key_theorems": [
      "Layer 1/2 valuations equivalent between SCM and DiscoSCM for the same system.",
      "Layer 3 valuations equivalent only when counterfactual randomness stems entirely from unit selection; generally different.",
      "Population-level valuation aggregates individual-level valuation over P(U|e).",
      "Individual-level valuation collapses to P(y|x;u) under the stated DiscoSCM independence assumptions.",
      "U can play a propensity-score-style balancing / IPW identification role."
    ],
    "current_outputs": [
      "paper-card-v0.1.md",
      "theory-map-v0.1.md",
      "definition-theorem-dependency-graph-v0.1.md",
      "version-evolution-v0.1.md",
      "paper-polish-cleanup-2026-05-30.md",
      "public webpage formal-core section"
    ]
  }
}