feat: enable dark-core append-only execution gate
This commit is contained in:
parent
9be3c81a52
commit
a177dab16d
7 changed files with 386 additions and 3 deletions
|
|
@ -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}
|
||||
}
|
||||
|
|
@ -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",
|
||||
|
|
|
|||
|
|
@ -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
|
||||
}
|
||||
|
|
@ -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.
|
||||
|
|
@ -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 语义。
|
||||
|
|
@ -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"]; }
|
||||
}
|
||||
|
|
@ -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 });
|
||||
|
|
|
|||
Loading…
Reference in a new issue