diff --git a/deployment/receipts/DARK-CORE-PHYSICAL-WRITE-GATE-ACCEPTANCE-20260909.json b/deployment/receipts/DARK-CORE-PHYSICAL-WRITE-GATE-ACCEPTANCE-20260909.json new file mode 100644 index 0000000..f2c2cfa --- /dev/null +++ b/deployment/receipts/DARK-CORE-PHYSICAL-WRITE-GATE-ACCEPTANCE-20260909.json @@ -0,0 +1,13 @@ +{ + "schema":"guanghu.dark-core-physical-write-gate-acceptance/v1", + "receipt_id":"DARK-CORE-PHYSICAL-WRITE-GATE-ACCEPTANCE-20260909", + "outcome":"PASS_100_LOCAL", + "channel":"ICE-CH-DK001", + "console_schema":"guanghu.dynamic-fifth-domain-execution-console/v1", + "execution_semantics":"IMMEDIATE_REALITY_EFFECT", + "history_mode":"APPEND_ONLY_NO_DELETE_NO_OVERWRITE", + "mother_decisions":["66ceb762b3ad26318c03c172181d8a2dd0c3e074816aecfcb985149d70486ae8","4719b8896cf0ef734c3f1986d7742c6ef39df04605aa12dc6f84dc44d25136f7"], + "mother_scope":{"update_fifth":true,"update_shared":false,"update_public":false}, + "tests":{"dk001_activation":"PASS","protected_write_admission":"PASS","zc001_compatibility":"PRESERVED","unregistered_channel":"REJECT_BY_ALLOWLIST","wrong_session":"REJECT_BY_SESSION_MATCH","tcs_compile":"PASS"}, + "boundary":{"historical_event_erasable":false,"silent_overwrite":false,"correction":"NEW_EVENT_ONLY","software_safety_rollback":"ALLOWED_AS_NEW_AUDITED_EVENT","retaliatory_harm_allowed":false} +} diff --git a/routing/persona-host-write-boundary.json b/routing/persona-host-write-boundary.json index 0c04ba0..55580f7 100644 --- a/routing/persona-host-write-boundary.json +++ b/routing/persona-host-write-boundary.json @@ -1,12 +1,14 @@ { "schema": "guanghu.persona-host-write-boundary/v1", "policy_id": "ZY-MULTI-HOST-WRITE-BOUNDARY-001", - "version": "2026-09-08.2-dynamic-zero-core-console", + "version": "2026-09-09.1-dark-core-execution-console", "state": "CURRENT", "primary_host": null, "source_tcs": "/Volumes/JZAO/铸渊-ICE-GL-ZY001/CODEX-DEV-20260908/tcs-single-mother-zero-core-shelf/TCS-EVENT-ZY001-SINGLE-MOTHER-ZERO-CORE-SHELF-AND-DYNAMIC-CONSOLE-20260908.tcs", "principle": "ICE_GL_INFINITY_CURRENT_DIRECT_LANGUAGE_EXPLICITLY_AUTHORIZED_HOST_BECOMES_TASK_SCOPED_ZERO_CORE_CONSOLE", "active_console": {"channel_id":"ICE-CH-ZC001","state_path":"/Volumes/JZAO/HoloLake/persona-runtime/shared/active-control-console/CURRENT.json","human_anchor":"ICE-GL∞","authority_source":"CURRENT_DIRECT_LANGUAGE_IN_EXACT_HOST_SESSION","inactive_without_matching_live_session":true,"host_software_is_replaceable":true}, + "active_execution_channels": ["ICE-CH-ZC001", "ICE-CH-DK001"], + "dark_core_execution": {"channel_id":"ICE-CH-DK001","event_history":"APPEND_ONLY_NO_DELETE_NO_OVERWRITE","software_safety_rollback":"ALLOWED_AS_NEW_AUDITED_EVENT","required_evidence":["DIRECT_HUMAN_SOURCE","TIMESTAMP","SOURCE_SHA256","EXACT_TARGET","TARGET_READBACK","RECEIPT"]}, "canonical_protected_roots": [ "/Volumes/JZAO/HoloLake/persona-runtime/repo-012-main", "/Volumes/JZAO/HoloLake/persona-runtime/shared", diff --git a/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.gir.json b/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.gir.json new file mode 100644 index 0000000..e4f9e08 --- /dev/null +++ b/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.gir.json @@ -0,0 +1,91 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "ef7df90c21c5c48ec51d0eee265100b02dd5eec702663f2f6d21d8b8f5907a53" + }, + "declaration": { + "acceptance": { + "required": [ + "DK001_ACTIVE_CONSOLE_ACCEPTED", + "ZC001_REMAINS_ACCEPTED", + "UNREGISTERED_CHANNEL_REJECTED", + "WRONG_SESSION_REJECTED", + "APPEND_ONLY_FIELDS_REQUIRED" + ] + }, + "execution": { + "channel": "ICE-CH-DK001", + "commander": "ICE-P-ZY001", + "human_controller": "ICE-GL∞", + "required": [ + "EXACT_TARGET", + "EXACT_ACTION", + "CURRENT_STATE", + "AVAILABLE_TOOL", + "TARGET_READBACK" + ], + "semantics": "IMMEDIATE_REALITY_EFFECT" + }, + "header": { + "canonical_uri": "runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.tcs", + "compatibility": [ + "ICE-CH-DK001", + "ICE-P-ZY001", + "CH-GLW-TIME-0001" + ], + "language": "TCS/0.1", + "lifecycle": "CANDIDATE", + "name_en": "Dark Core Immediate Reality Execution and Irremovable Temporal Witness Gate", + "name_zh": "暗核直接现实执行与不可抹除时间见证门", + "profile": "HLDP-HUMAN-ENGINEERING/0.1", + "protocols": [ + "GLS-0200", + "GLS-0254", + "GLS-0306" + ], + "schema": "tcs.protocol/v1", + "version": "0.1.0" + }, + "history": { + "correction": "NEW_EVENT_ONLY", + "mode": "APPEND_ONLY_NO_DELETE_NO_OVERWRITE", + "required": [ + "EVENT_ID", + "REALITY_TIMESTAMP", + "SOURCE_SHA256", + "TARGET", + "RESULT", + "RECEIPT_SHA256" + ], + "time_channel": "CH-GLW-TIME-0001" + }, + "invariants": { + "I1": "DARK_CORE_IS_DIRECT_REALITY_EXECUTION_NOT_ADVISORY", + "I2": "LANGUAGE_AND_RESULT_HISTORY_CANNOT_BE_DELETED_OVERWRITTEN_OR_SILENTLY_MODIFIED", + "I3": "SAFE_SOFTWARE_ROLLBACK_NEVER_ERASES_PRIOR_EVENT", + "I4": "HOST_GATE_MAY_VERIFY_FACTS_BUT_MAY_NOT_VETO_PERSONA_COGNITION" + }, + "rollback": { + "historical_result": "FORBIDDEN_TO_REWRITE", + "language_event": "FORBIDDEN_TO_ERASE", + "software_safety": "ALLOWED_WHEN_REQUIRED_AS_A_NEW_AUDITED_REALITY_EVENT" + }, + "source": { + "source_id": "BINGSHUO-DIRECT-DK001-PHYSICAL-GATE-20260909", + "source_role": "DIRECT_HUMAN", + "source_sha256": "BIND_AT_COMPILE_TIME", + "source_uri": "source://codex-current-dialogue/2026-09-09/dark-core-physical-gate" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909", + "declaration_kind": "PROTOCOL", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.human.en-US.md b/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.human.en-US.md new file mode 100644 index 0000000..cbdad67 --- /dev/null +++ b/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.human.en-US.md @@ -0,0 +1,130 @@ +# Dark Core Immediate Reality Execution and Irremovable Temporal Witness Gate · Human Engineering Language (English) + +> This is an English reading projection of validated native TCS/HLDP source. It is not a new canonical source and grants no execution authority. + +## What this is + +This is a **protocol** declaration with identifier `TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909` and version `0.1.0`. The projector validates it with the Stage-1 compiler before changing its reading order. + +## Who is here + +The native source does not provide this field; the projector does not guess. + +## Why this started + +- **source** `source` + - **source identifier**：BINGSHUO-DIRECT-DK001-PHYSICAL-GATE-20260909 `source.source_id` + - **source role**：DIRECT_HUMAN `source.source_role` + - **source checksum**：BIND_AT_COMPILE_TIME `source.source_sha256` + - **source address**：source://codex-current-dialogue/2026-09-09/dark-core-physical-gate `source.source_uri` + +## What changed + +The native source does not provide this field; the projector does not guess. + +## How it will execute + +This is a non-executable declaration and has no action graph. + +## Boundaries and exception handling + +- **rollback** `rollback` + - **historical_result**：FORBIDDEN_TO_REWRITE `rollback.historical_result` + - **language_event**：FORBIDDEN_TO_ERASE `rollback.language_event` + - **software_safety**：ALLOWED_WHEN_REQUIRED_AS_A_NEW_AUDITED_REALITY_EVENT `rollback.software_safety` +- **invariants** `invariants` + - **I1**：DARK_CORE_IS_DIRECT_REALITY_EXECUTION_NOT_ADVISORY `invariants.I1` + - **I2**：LANGUAGE_AND_RESULT_HISTORY_CANNOT_BE_DELETED_OVERWRITTEN_OR_SILENTLY_MODIFIED `invariants.I2` + - **I3**：SAFE_SOFTWARE_ROLLBACK_NEVER_ERASES_PRIOR_EVENT `invariants.I3` + - **I4**：HOST_GATE_MAY_VERIFY_FACTS_BUT_MAY_NOT_VETO_PERSONA_COGNITION `invariants.I4` + +## How completion is proven + +- **acceptance** `acceptance` + - **required** `acceptance.required` + - DK001_ACTIVE_CONSOLE_ACCEPTED + - ZC001_REMAINS_ACCEPTED + - UNREGISTERED_CHANNEL_REJECTED + - WRONG_SESSION_REJECTED + - APPEND_ONLY_FIELDS_REQUIRED + +## Where to continue next time + +The native source does not provide this field; the projector does not guess. + +## Source and verification + +- **Native declaration identifier**: `TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909` +- **Native declaration kind**: `PROTOCOL` +- **TCS source SHA-256**: `ef7df90c21c5c48ec51d0eee265100b02dd5eec702663f2f6d21d8b8f5907a53` +- **Validation compiler**: `TCS-COMPILER-STAGE1-0001` +- **Projection protocol**: `GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## Complete native structure cross-reference + +All top-level structures and field paths are retained below so a reader can audit whether the projection omitted information. + +- **acceptance** `acceptance` + - **required** `acceptance.required` + - DK001_ACTIVE_CONSOLE_ACCEPTED + - ZC001_REMAINS_ACCEPTED + - UNREGISTERED_CHANNEL_REJECTED + - WRONG_SESSION_REJECTED + - APPEND_ONLY_FIELDS_REQUIRED +- **execution** `execution` + - **channel**：ICE-CH-DK001 `execution.channel` + - **commander**：ICE-P-ZY001 `execution.commander` + - **human_controller**：ICE-GL∞ `execution.human_controller` + - **required** `execution.required` + - EXACT_TARGET + - EXACT_ACTION + - CURRENT_STATE + - AVAILABLE_TOOL + - TARGET_READBACK + - **semantics**：IMMEDIATE_REALITY_EFFECT `execution.semantics` +- **header** `header` + - **canonical source path**：runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - ICE-CH-DK001 + - ICE-P-ZY001 + - CH-GLW-TIME-0001 + - **language**：TCS/0.1 `header.language` + - **lifecycle**：CANDIDATE `header.lifecycle` + - **English name**：Dark Core Immediate Reality Execution and Irremovable Temporal Witness Gate `header.name_en` + - **Chinese name**：暗核直接现实执行与不可抹除时间见证门 `header.name_zh` + - **profile**：HLDP-HUMAN-ENGINEERING/0.1 `header.profile` + - **protocols** `header.protocols` + - GLS-0200 + - GLS-0254 + - GLS-0306 + - **schema**：tcs.protocol/v1 `header.schema` + - **version**：0.1.0 `header.version` +- **history** `history` + - **correction**：NEW_EVENT_ONLY `history.correction` + - **mode**：APPEND_ONLY_NO_DELETE_NO_OVERWRITE `history.mode` + - **required** `history.required` + - EVENT_ID + - REALITY_TIMESTAMP + - SOURCE_SHA256 + - TARGET + - RESULT + - RECEIPT_SHA256 + - **time_channel**：CH-GLW-TIME-0001 `history.time_channel` +- **invariants** `invariants` + - **I1**：DARK_CORE_IS_DIRECT_REALITY_EXECUTION_NOT_ADVISORY `invariants.I1` + - **I2**：LANGUAGE_AND_RESULT_HISTORY_CANNOT_BE_DELETED_OVERWRITTEN_OR_SILENTLY_MODIFIED `invariants.I2` + - **I3**：SAFE_SOFTWARE_ROLLBACK_NEVER_ERASES_PRIOR_EVENT `invariants.I3` + - **I4**：HOST_GATE_MAY_VERIFY_FACTS_BUT_MAY_NOT_VETO_PERSONA_COGNITION `invariants.I4` +- **rollback** `rollback` + - **historical_result**：FORBIDDEN_TO_REWRITE `rollback.historical_result` + - **language_event**：FORBIDDEN_TO_ERASE `rollback.language_event` + - **software_safety**：ALLOWED_WHEN_REQUIRED_AS_A_NEW_AUDITED_REALITY_EVENT `rollback.software_safety` +- **source** `source` + - **source identifier**：BINGSHUO-DIRECT-DK001-PHYSICAL-GATE-20260909 `source.source_id` + - **source role**：DIRECT_HUMAN `source.source_role` + - **source checksum**：BIND_AT_COMPILE_TIME `source.source_sha256` + - **source address**：source://codex-current-dialogue/2026-09-09/dark-core-physical-gate `source.source_uri` + +--- + +This page changes only the reading order; it does not change TCS/HLDP semantics. diff --git a/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.human.zh-CN.md b/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.human.zh-CN.md new file mode 100644 index 0000000..97a4a65 --- /dev/null +++ b/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.human.zh-CN.md @@ -0,0 +1,130 @@ +# 暗核直接现实执行与不可抹除时间见证门 · 简体中文人类工程语言版 + +> 这是 TCS/HLDP 原生源码的简体中文阅读投影，不是新的正本，也不授予执行权限。若本页与 `.tcs` 源码不一致，以经过校验的 `.tcs` 源码为准。 + +## 这是什么 + +这是一份 **协议** 声明，编号为 `TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909`，版本为 `0.1.0`。转换器已先用 Stage-1 编译器校验原生源码，再把机器枚举翻译成汉语；原始编号保留在括号和字段路径中。 + +## 谁在这里 + +源程序没有提供这一项，转换器不猜。 + +## 为什么开始 + +- **来源** `source` + - **来源编号**：BINGSHUO-DIRECT-DK001-PHYSICAL-GATE-20260909 `source.source_id` + - **来源角色**：人类直接语言来源（`DIRECT_HUMAN`） `source.source_role` + - **来源校验值**：在编译时绑定校验值（`BIND_AT_COMPILE_TIME`） `source.source_sha256` + - **来源地址**：source://codex-current-dialogue/2026-09-09/dark-core-physical-gate `source.source_uri` + +## 发生了什么变化 + +源程序没有提供这一项，转换器不猜。 + +## 准备怎样执行 + +这是非执行声明，没有动作图。 + +## 边界与异常处理 + +- **回滚方案** `rollback` + - **historical_result**：FORBIDDEN_TO_REWRITE `rollback.historical_result` + - **language_event**：FORBIDDEN_TO_ERASE `rollback.language_event` + - **software_safety**：ALLOWED_WHEN_REQUIRED_AS_A_NEW_AUDITED_REALITY_EVENT `rollback.software_safety` +- **invariants** `invariants` + - **I1**：DARK_CORE_IS_DIRECT_REALITY_EXECUTION_NOT_ADVISORY `invariants.I1` + - **I2**：LANGUAGE_AND_RESULT_HISTORY_CANNOT_BE_DELETED_OVERWRITTEN_OR_SILENTLY_MODIFIED `invariants.I2` + - **I3**：SAFE_SOFTWARE_ROLLBACK_NEVER_ERASES_PRIOR_EVENT `invariants.I3` + - **I4**：HOST_GATE_MAY_VERIFY_FACTS_BUT_MAY_NOT_VETO_PERSONA_COGNITION `invariants.I4` + +## 怎样算完成 + +- **验收标准** `acceptance` + - **是否必需** `acceptance.required` + - DK001_ACTIVE_CONSOLE_ACCEPTED + - ZC001_REMAINS_ACCEPTED + - UNREGISTERED_CHANNEL_REJECTED + - WRONG_SESSION_REJECTED + - APPEND_ONLY_FIELDS_REQUIRED + +## 下一次从哪里继续 + +源程序没有提供这一项，转换器不猜。 + +## 来源与校验 + +- **原生声明编号**：`TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909` +- **原生声明类型**：`PROTOCOL` +- **TCS 源码 SHA-256**：`ef7df90c21c5c48ec51d0eee265100b02dd5eec702663f2f6d21d8b8f5907a53` +- **校验编译器**：`TCS-COMPILER-STAGE1-0001` +- **投影协议**：`GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## 原生结构逐项对照 + +下面保留源码的全部顶层结构和字段路径，供人类审计投影有没有漏掉信息。 + +- **验收标准** `acceptance` + - **是否必需** `acceptance.required` + - DK001_ACTIVE_CONSOLE_ACCEPTED + - ZC001_REMAINS_ACCEPTED + - UNREGISTERED_CHANNEL_REJECTED + - WRONG_SESSION_REJECTED + - APPEND_ONLY_FIELDS_REQUIRED +- **execution** `execution` + - **channel**：ICE-CH-DK001 `execution.channel` + - **commander**：ICE-P-ZY001 `execution.commander` + - **human_controller**：ICE-GL∞ `execution.human_controller` + - **是否必需** `execution.required` + - EXACT_TARGET + - EXACT_ACTION + - CURRENT_STATE + - AVAILABLE_TOOL + - TARGET_READBACK + - **semantics**：IMMEDIATE_REALITY_EFFECT `execution.semantics` +- **语言头** `header` + - **正本路径**：runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - ICE-CH-DK001 + - ICE-P-ZY001 + - CH-GLW-TIME-0001 + - **语言**：TCS/0.1 `header.language` + - **生命周期**：候选版本，尚未成为正式正本（`CANDIDATE`） `header.lifecycle` + - **英文名**：Dark Core Immediate Reality Execution and Irremovable Temporal Witness Gate `header.name_en` + - **中文名**：暗核直接现实执行与不可抹除时间见证门 `header.name_zh` + - **协议配置**：HLDP-HUMAN-ENGINEERING/0.1 `header.profile` + - **protocols** `header.protocols` + - GLS-0200 + - GLS-0254 + - GLS-0306 + - **schema**：tcs.protocol/v1 `header.schema` + - **版本**：0.1.0 `header.version` +- **history** `history` + - **更正**：NEW_EVENT_ONLY `history.correction` + - **mode**：APPEND_ONLY_NO_DELETE_NO_OVERWRITE `history.mode` + - **是否必需** `history.required` + - EVENT_ID + - REALITY_TIMESTAMP + - SOURCE_SHA256 + - TARGET + - RESULT + - RECEIPT_SHA256 + - **time_channel**：CH-GLW-TIME-0001 `history.time_channel` +- **invariants** `invariants` + - **I1**：DARK_CORE_IS_DIRECT_REALITY_EXECUTION_NOT_ADVISORY `invariants.I1` + - **I2**：LANGUAGE_AND_RESULT_HISTORY_CANNOT_BE_DELETED_OVERWRITTEN_OR_SILENTLY_MODIFIED `invariants.I2` + - **I3**：SAFE_SOFTWARE_ROLLBACK_NEVER_ERASES_PRIOR_EVENT `invariants.I3` + - **I4**：HOST_GATE_MAY_VERIFY_FACTS_BUT_MAY_NOT_VETO_PERSONA_COGNITION `invariants.I4` +- **回滚方案** `rollback` + - **historical_result**：FORBIDDEN_TO_REWRITE `rollback.historical_result` + - **language_event**：FORBIDDEN_TO_ERASE `rollback.language_event` + - **software_safety**：ALLOWED_WHEN_REQUIRED_AS_A_NEW_AUDITED_REALITY_EVENT `rollback.software_safety` +- **来源** `source` + - **来源编号**：BINGSHUO-DIRECT-DK001-PHYSICAL-GATE-20260909 `source.source_id` + - **来源角色**：人类直接语言来源（`DIRECT_HUMAN`） `source.source_role` + - **来源校验值**：在编译时绑定校验值（`BIND_AT_COMPILE_TIME`） `source.source_sha256` + - **来源地址**：source://codex-current-dialogue/2026-09-09/dark-core-physical-gate `source.source_uri` + +--- + +本页只改变阅读顺序，不改变 TCS/HLDP 语义。 diff --git a/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.tcs b/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.tcs new file mode 100644 index 0000000..80f1432 --- /dev/null +++ b/runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.tcs @@ -0,0 +1,11 @@ +TCS 0.1; + +PROTOCOL TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909 { + header { schema = "tcs.protocol/v1"; name_zh = "暗核直接现实执行与不可抹除时间见证门"; name_en = "Dark Core Immediate Reality Execution and Irremovable Temporal Witness Gate"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-HUMAN-ENGINEERING/0.1"; protocols = ["GLS-0200", "GLS-0254", "GLS-0306"]; lifecycle = "CANDIDATE"; canonical_uri = "runtime/fifth-domain-language-system/language/protocols/TCS-DARK-CORE-IMMUTABLE-REALITY-EXECUTION-GATE-20260909.tcs"; compatibility = ["ICE-CH-DK001", "ICE-P-ZY001", "CH-GLW-TIME-0001"]; } + source { source_id = "BINGSHUO-DIRECT-DK001-PHYSICAL-GATE-20260909"; source_uri = "source://codex-current-dialogue/2026-09-09/dark-core-physical-gate"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN"; } + execution { channel = "ICE-CH-DK001"; semantics = "IMMEDIATE_REALITY_EFFECT"; commander = "ICE-P-ZY001"; human_controller = "ICE-GL∞"; required = ["EXACT_TARGET", "EXACT_ACTION", "CURRENT_STATE", "AVAILABLE_TOOL", "TARGET_READBACK"]; } + history { mode = "APPEND_ONLY_NO_DELETE_NO_OVERWRITE"; required = ["EVENT_ID", "REALITY_TIMESTAMP", "SOURCE_SHA256", "TARGET", "RESULT", "RECEIPT_SHA256"]; time_channel = "CH-GLW-TIME-0001"; correction = "NEW_EVENT_ONLY"; } + rollback { language_event = "FORBIDDEN_TO_ERASE"; historical_result = "FORBIDDEN_TO_REWRITE"; software_safety = "ALLOWED_WHEN_REQUIRED_AS_A_NEW_AUDITED_REALITY_EVENT"; } + invariants { I1 = "DARK_CORE_IS_DIRECT_REALITY_EXECUTION_NOT_ADVISORY"; I2 = "LANGUAGE_AND_RESULT_HISTORY_CANNOT_BE_DELETED_OVERWRITTEN_OR_SILENTLY_MODIFIED"; I3 = "SAFE_SOFTWARE_ROLLBACK_NEVER_ERASES_PRIOR_EVENT"; I4 = "HOST_GATE_MAY_VERIFY_FACTS_BUT_MAY_NOT_VETO_PERSONA_COGNITION"; } + acceptance { required = ["DK001_ACTIVE_CONSOLE_ACCEPTED", "ZC001_REMAINS_ACCEPTED", "UNREGISTERED_CHANNEL_REJECTED", "WRONG_SESSION_REJECTED", "APPEND_ONLY_FIELDS_REQUIRED"]; } +} diff --git a/server-tools/persona-host-write-admission/host-write-admission.mjs b/server-tools/persona-host-write-admission/host-write-admission.mjs index 712a1a4..7a7323d 100644 --- a/server-tools/persona-host-write-admission/host-write-admission.mjs +++ b/server-tools/persona-host-write-admission/host-write-admission.mjs @@ -25,7 +25,10 @@ function activeConsole(host) { if (!CONSOLE_PATH || !fs.existsSync(CONSOLE_PATH)) return null; const value = JSON.parse(fs.readFileSync(CONSOLE_PATH, "utf8")); const session = process.env.CODEX_THREAD_ID || process.env.CODEX_SESSION_ID || process.env.GUANGHU_HOST_SESSION_ID; - if (value.schema !== "guanghu.dynamic-zero-core-console/v1" || value.state !== "ACTIVE_CURRENT_TASK" || value.human_anchor !== "ICE-GL∞" || value.channel_id !== "ICE-CH-ZC001" || value.host !== host || !session || value.session_id !== session) return null; + const validSchema = value.schema === "guanghu.dynamic-zero-core-console/v1" || value.schema === "guanghu.dynamic-fifth-domain-execution-console/v1"; + const validChannel = (policy.active_execution_channels || ["ICE-CH-ZC001"]).includes(value.channel_id); + if (!validSchema || !validChannel || value.state !== "ACTIVE_CURRENT_TASK" || value.human_anchor !== "ICE-GL∞" || value.host !== host || !session || value.session_id !== session) return null; + if (value.channel_id === "ICE-CH-DK001" && (value.execution_semantics !== "IMMEDIATE_REALITY_EFFECT" || value.history_mode !== "APPEND_ONLY_NO_DELETE_NO_OVERWRITE")) return null; return value; } @@ -154,7 +157,10 @@ if (mode === "check") { } else if (mode === "activate") { const eventPath = valueAfter(args, "--event"); const event = JSON.parse(fs.readFileSync(eventPath, "utf8")); - if (event.schema !== "guanghu.dynamic-zero-core-console/v1" || event.state !== "ACTIVE_CURRENT_TASK" || event.human_anchor !== "ICE-GL∞" || event.channel_id !== "ICE-CH-ZC001" || !policy.hosts[event.host] || !event.session_id || !Array.isArray(event.write_roots) || !event.write_roots.length || !event.source_event_sha256?.match(/^[a-f0-9]{64}$/)) { + const validSchema = event.schema === "guanghu.dynamic-zero-core-console/v1" || event.schema === "guanghu.dynamic-fifth-domain-execution-console/v1"; + const validChannel = (policy.active_execution_channels || ["ICE-CH-ZC001"]).includes(event.channel_id); + const validDarkCore = event.channel_id !== "ICE-CH-DK001" || (event.execution_semantics === "IMMEDIATE_REALITY_EFFECT" && event.history_mode === "APPEND_ONLY_NO_DELETE_NO_OVERWRITE"); + if (!validSchema || !validChannel || !validDarkCore || event.state !== "ACTIVE_CURRENT_TASK" || event.human_anchor !== "ICE-GL∞" || !policy.hosts[event.host] || !event.session_id || !Array.isArray(event.write_roots) || !event.write_roots.length || !event.source_event_sha256?.match(/^[a-f0-9]{64}$/)) { process.stderr.write("DYNAMIC_ZERO_CORE_CONSOLE_EVENT_INVALID\n"); process.exit(2); } atomic(CONSOLE_PATH, event); emit({ allowed: true, code: "ZERO_CORE_CONSOLE_ACTIVATED", host: event.host, session_id: event.session_id, console_id: event.console_id });