schema: tcs.dev-verify-receipt/v1
protocol_id: TCS-DEV-VERIFY-v1.0
request_id: BINGSHUO-20260821-COMPLETE-TCS-LANGUAGE-SYNTAX-RUNTIME-AND-SELFHOST
receipt_id: TCS-DEV-VERIFY-TCS-LANGUAGE-STAGE0-20260821
op: DEFINE_TCS_LANGUAGE_AND_PROVE_FIRST_SOURCE_TO_MACHINE_RECEIPT_VERTICAL_SLICE
action: SPECIFY_PARSE_VALIDATE_COMPILE_RUN_READBACK_AND_REGISTER_SELFHOST_GATES
output:
  language:
    - language/spec/TCS-LANGUAGE-SPECIFICATION-v0.1.md
    - language/spec/LEARN-TCS-FOR-NEW-AI-v0.1.md
    - language/grammar/TCS-CORE-v0.1.ebnf
    - language/standards/TCS-DECLARATION-STANDARD-v0.1.hldp
    - language/standards/TCS-FIELD-STANDARD-v0.1.hldp
    - language/standards/TCS-ERROR-STANDARD-v0.1.hldp
    - language/standards/TCS-MODULE-ABI-v0.1.hldp
    - language/standards/TCS-SELF-HOST-STANDARD-v0.1.hldp
  compiler:
    - bootstrap/tcs-stage0
    - language/compiler/TCS-COMPILER-STAGE1.tcs
  executable_evidence:
    - language/examples/ECHO-MODULE.tcs
    - build/ECHO-MODULE.gir.json
    - build/echo-receipt.hldp
verify:
  syntax:
    all_tcs_examples_and_stage1_source_parse: PASS_5_FILES
    yaml_hldp_standards_parse: PASS
    duplicate_field_rejected: TCS-E1002
    required_section_missing_rejected: TCS-E1004
    unregistered_absorb_rejected: TCS-E2101
  compiler:
    stage0_tests: PASS_5_OF_5
    deterministic_double_compile: BYTE_IDENTICAL
    rust_format: PASS
  runtime:
    source_to_gir: PASS
    gir_operation: CORE.ECHO
    exact_root_boundary: PASS
    path_traversal_rejected: TCS-E4002
    target_receipt_mismatch_rejected: TCS-E6001
    target_readback: EXACT_BYTES_PASS
    human_readable_output: 光湖语言已经进入机器执行链
  quality:
    json_registries: PASS
    diff_whitespace: PASS
    sensitive_pattern_scan: PASS
  actual: PASS_FOR_STAGE0_VERTICAL_SLICE_ONLY
proof:
  source_sha256: f1ecd630e50dfe5374ca26998d68a49efd35cf3d9de54ecabd3ca3aae68c61bf
  gir_sha256: b9b56d35399e130b513417afd706e7a7ad73cc3dcb1784c678f9130c075317d5
  execution_receipt_sha256: ecfaeea08b6735e806f752f25ec0ef7754aca505b1a076a32cb5fc22937a816b
  stage1_source_sha256: 78ba7b9bf88b1409c541657aa35cf88a117080cfd665b83c726ae2de66689110
integrity:
  language_spec: cd95a791a2c94bc82a1f2ca44df017e7a46d60d46b3544e908ff9815405a420e
  ai_learning_entry: a93b1d34438187a4e798db7e626f3d50eb5314cde0c524babf411f8c7f278e17
  ebnf: dd4bba1eb60c73d57f274276fd9e4afe34968dc415dcac9e3436fee6ada4ff83
  declaration_standard: b481b802402fb630db71d98bed4ca06622c1ee4cf8fc6297532e2d5043e68723
  field_standard: 4d7bc610f59cf5da469edcc471a78801a9d748987307a4960360a0a61290ebd5
  error_standard: 062eab803673b31d3b79d19c6caa9270c19fc396ec132f825f9aebf1dc45d3a5
  module_abi: 5fde07b64fb621ee3338582f510f7d951d4a8ed90f0bfdfc62c9c6ce9fee8304
  self_host_standard: 08e2c173d2a658e24fbc6e08c7a1aa33c313a702b24196133e961d805087b628
  stage0_library: 73ba9382bbb4f04a6f31fb5261b35cfba0b459996e0ecf8152f214d3c6a1c2c9
  loader_contract: cf365df70c740a4834869152f710416dd68c9abe9a01c8b2c6c4fdfaac1b877c
boundaries:
  one_tcs_language_tree: true
  syntax_stable_v1: false
  stage0_is_tcs_native_compiler: false
  tcs_stage1_source_exists: true
  tcs_stage1_executable: false
  self_host_fixed_point: false
  hololake_runtime_integrated: false
  guanghu_os_runtime_integrated: false
  jd_server_updated: false
locked: false
next: IMPLEMENT_COMPILER_DECLARATION_TO_GIR_AND_RUN_STAGE1_FOR_SELF_COMPILE_GATE_SH01_TO_SH04