{
  "schema": "tcs.agent-translation-candidate-receipt/v1",
  "state": "CANDIDATE_TARGET_READBACK_VERIFIED",
  "module_id": "ZY-PM-0002",
  "execution_limb": "ZY-JD-LIMB-001",
  "controller": "ZHUYUAN",
  "model_role": "THIRD_GENERATION_STATELESS_REASONING_TOOL",
  "model_provider": "DEEPSEEK_REPLACEABLE_TOOL",
  "model": "deepseek-chat",
  "source_language": "TCS/0.1",
  "source_sha256": "a130b57fac6600f6e2085a04d7c097d483002c0cd41ab62240d4c6c2a8852d44",
  "semantic_authority": false,
  "reality_action_authority": false,
  "summary": "TCS program defines a candidate agent for JD translation, with strict conditions, actions, and authority. It requires reading the TCS source and self-hosted GIR, then outputting a closed JSON with summary, verified constraints, unknowns, and acceptance candidate (0 or 100).",
  "verified_constraints": [
    "ENTRY_SOURCE_EXTENSION_IS_DOT_TCS",
    "GIR_IS_SELFHOSTED_AND_SOURCE_HASH_BOUND",
    "MODEL_OUTPUT_IS_CLOSED_JSON",
    "MODEL_HAS_NO_SEMANTIC_OR_REALITY_AUTHORITY"
  ],
  "unknowns": [
    "Exact source hash binding at compile time",
    "Whether the target receipt file exists and its current state",
    "Exact content of the receipt after execution",
    "Whether the GIR is fully self-hosted and hash-bound in practice"
  ],
  "acceptance_candidate": 100
}