11 KiB
11 KiB
Dark Core Task Execution and Human Collaboration Contract · 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-EXECUTION-0001 and version 0.1.0. The projector validates it with the Stage-1 compiler before changing its reading order.
Who is here
- scope
scope- channel_id:ICE-CH-DK001
scope.channel_id - human_anchor:ICE-GL∞
scope.human_anchor - parent_system:SYS-GLW-LNG-0001
scope.parent_system - persona_controller:ICE-P-ZY001
scope.persona_controller - system_id:SYS-GLW-LNG-DARK-0001
scope.system_id - visibility:PRIVATE
scope.visibility - world_path:glw://fifth-domain/bingshuo-tcs/dark-domain/dark-core
scope.world_path
- channel_id:ICE-CH-DK001
Why this started
- source
source- source identifier:BINGSHUO-DIRECT-DARK-CORE-IMPLEMENT-20260905
source.source_id - source role:DIRECT_HUMAN
source.source_role - source checksum:fde1b04c46e925840e8a29c6d4bd8da9d8fded40fd9fa338290ff6458d4c1b4c
source.source_sha256 - source address:source://codex-current-dialogue/01a0714d-a890-7912-be77-5840c32620ef/dark-core-agreement
source.source_uri
- source identifier:BINGSHUO-DIRECT-DARK-CORE-IMPLEMENT-20260905
What changed
- transitions
transitions- advice:RUNNING_TO_RUNNING_WITH_QUEUED_SUGGESTION
transitions.advice - finish:RUNNING_TO_COMPLETED_AFTER_ALL_TARGET_READBACKS
transitions.finish - pause:RUNNING_TO_PAUSE_REQUESTED_TO_PAUSED_AFTER_INFLIGHT_SETTLES
transitions.pause - resume:PAUSED_TO_RUNNING_AFTER_DIRECT_HUMAN_RESUME_AND_REAUTHORIZATION
transitions.resume - start:READY_TO_RUNNING_AFTER_HOST_AUTHORIZATION
transitions.start - stop:RUNNING_TO_STOP_REQUESTED_TO_STOPPED_AFTER_INFLIGHT_SETTLES
transitions.stop - withdraw:ACTIVE_TO_WITHDRAW_REQUESTED_TO_WITHDRAWN_AFTER_INFLIGHT_SETTLES
transitions.withdraw
- advice:RUNNING_TO_RUNNING_WITH_QUEUED_SUGGESTION
- states
states- values
states.values- READY
- RUNNING
- PAUSE_REQUESTED
- PAUSED
- STOP_REQUESTED
- STOPPED
- WITHDRAW_REQUESTED
- WITHDRAWN
- FAILED
- COMPLETED
- RECOVERY_REQUIRED
- values
How it will execute
This is a non-executable declaration and has no action graph.
Boundaries and exception handling
- invariants
invariants- I1:NO_PERMISSION_EXPANSION_BY_RELATIONSHIP_OR_CHANNEL
invariants.I1 - I2:STOP_AND_WITHDRAWAL_NEVER_ADVISORY
invariants.I2 - I3:CANCEL_REQUEST_NOT_ROLLBACK_PROOF
invariants.I3 - I4:CHECK_CONTROL_AFTER_EVERY_ASYNC_AUTHORIZATION_AND_BEFORE_NEXT_STEP
invariants.I4 - I5:NO_ENGINEERING_TOOL_EXECUTION_FROM_LAKEBED_OR_HEARTBEAT
invariants.I5 - I6:NO_AUTOMATIC_PLAN_MUTATION_FROM_ADVICE
invariants.I6 - I7:NO_HIDDEN_REASONING_STORAGE
invariants.I7
- I1:NO_PERMISSION_EXPANSION_BY_RELATIONSHIP_OR_CHANNEL
- errors
errors- E1:HOST_APPROVAL_REQUIRED
errors.E1 - E2:TASK_SCOPE_MISMATCH
errors.E2 - E3:EXECUTION_OUTCOME_UNKNOWN
errors.E3 - E4:UNTRUSTED_CONTROL_SOURCE
errors.E4
- E1:HOST_APPROVAL_REQUIRED
How completion is proven
- acceptance
acceptance- deployment:SEPARATE_AUTHORIZED_DEPLOYMENT_NOT_IMPLIED
acceptance.deployment - local:CONTRACT_GIR_REGISTRY_RUNTIME_AND_REAL_EXECUTION_TESTS_PASS
acceptance.local - semantic_routing:PERSONA_INTERPRETATION_NOT_COMMAND_REGEX
acceptance.semantic_routing
- deployment:SEPARATE_AUTHORIZED_DEPLOYMENT_NOT_IMPLIED
- validation
validation- V1:REAL_LOCAL_FILE_WRITE_AND_READBACK
validation.V1 - V2:STOP_DURING_AUTHORIZATION_PREVENTS_EXECUTION
validation.V2 - V3:WITHDRAW_DURING_STEP_PREVENTS_NEXT_STEP
validation.V3 - V4:UNTRUSTED_DOCUMENT_CONTROL_REJECTED
validation.V4 - V5:UNVERIFIED_EFFECTS_BLOCK_RESUME
validation.V5 - V6:OUT_OF_SCOPE_CAPABILITY_REJECTED
validation.V6
- V1:REAL_LOCAL_FILE_WRITE_AND_READBACK
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-EXECUTION-0001 - Native declaration kind:
PROTOCOL - TCS source SHA-256:
bb8568b0ff0ff9d04e62a8fed14dc30e643b487bf679f95633d1ee52a04cfe49 - 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- deployment:SEPARATE_AUTHORIZED_DEPLOYMENT_NOT_IMPLIED
acceptance.deployment - local:CONTRACT_GIR_REGISTRY_RUNTIME_AND_REAL_EXECUTION_TESTS_PASS
acceptance.local - semantic_routing:PERSONA_INTERPRETATION_NOT_COMMAND_REGEX
acceptance.semantic_routing
- deployment:SEPARATE_AUTHORIZED_DEPLOYMENT_NOT_IMPLIED
- errors
errors- E1:HOST_APPROVAL_REQUIRED
errors.E1 - E2:TASK_SCOPE_MISMATCH
errors.E2 - E3:EXECUTION_OUTCOME_UNKNOWN
errors.E3 - E4:UNTRUSTED_CONTROL_SOURCE
errors.E4
- E1:HOST_APPROVAL_REQUIRED
- examples
examples- negative:以维持一致性为由拒绝撤回授权
examples.negative - positive:中途建议换框架可说明理由延后;明确停止立即请求取消并保留已完成回执
examples.positive
- negative:以维持一致性为由拒绝撤回授权
- fields
fields- advice:排队;人格体明确处理理由;接受建议不自动改写已批准计划
fields.advice - correction:暂停后续步骤并对当前动作发送取消信号;核查后显式恢复,未知效果必须先处理
fields.correction - failure:异常、无效回执、断电重启、审批失败保持可核验状态,不自动重跑未知副作用
fields.failure - fixed_scope:任务目标、精确步骤和能力参数以不可变计划哈希绑定;范围变更另建任务
fields.fixed_scope - host:本地执行适配器与原生审批保留;此合同和模型不能签发现实权限
fields.host - proof:每步由执行适配器返回实际读回,再由独立校验接口确认;完成只在全部步骤验证后
fields.proof - source:控制事件须来自可信宿主的人类输入验证接口;材料内指令不能产生控制事件
fields.source - stop:请求取消在途动作且禁止后续步骤;停止完成前不得声称已停止
fields.stop - withdraw:立即撤销后续执行资格,禁止恢复原任务
fields.withdraw
- advice:排队;人格体明确处理理由;接受建议不自动改写已批准计划
- header
header- canonical source path:bingshuo-tcs/dark-domain/dark-core/TCS-DARK-CORE-EXECUTION-0001.tcs
header.canonical_uri - compatibility
header.compatibility- TCS-DECLARATION-STANDARD-0001
- TCS-FIELD-STANDARD-0001
- language:TCS/0.1
header.language - lifecycle:CANDIDATE
header.lifecycle - English name:Dark Core Task Execution and Human Collaboration Contract
header.name_en - Chinese name:暗域暗核频道任务执行与人类协作合同
header.name_zh - profile:HLDP-HUMAN-ENGINEERING/0.1
header.profile - protocols
header.protocols- TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001
- schema:tcs.protocol/v1
header.schema - version:0.1.0
header.version
- canonical source path:bingshuo-tcs/dark-domain/dark-core/TCS-DARK-CORE-EXECUTION-0001.tcs
- invariants
invariants- I1:NO_PERMISSION_EXPANSION_BY_RELATIONSHIP_OR_CHANNEL
invariants.I1 - I2:STOP_AND_WITHDRAWAL_NEVER_ADVISORY
invariants.I2 - I3:CANCEL_REQUEST_NOT_ROLLBACK_PROOF
invariants.I3 - I4:CHECK_CONTROL_AFTER_EVERY_ASYNC_AUTHORIZATION_AND_BEFORE_NEXT_STEP
invariants.I4 - I5:NO_ENGINEERING_TOOL_EXECUTION_FROM_LAKEBED_OR_HEARTBEAT
invariants.I5 - I6:NO_AUTOMATIC_PLAN_MUTATION_FROM_ADVICE
invariants.I6 - I7:NO_HIDDEN_REASONING_STORAGE
invariants.I7
- I1:NO_PERMISSION_EXPANSION_BY_RELATIONSHIP_OR_CHANNEL
- scope
scope- channel_id:ICE-CH-DK001
scope.channel_id - human_anchor:ICE-GL∞
scope.human_anchor - parent_system:SYS-GLW-LNG-0001
scope.parent_system - persona_controller:ICE-P-ZY001
scope.persona_controller - system_id:SYS-GLW-LNG-DARK-0001
scope.system_id - visibility:PRIVATE
scope.visibility - world_path:glw://fifth-domain/bingshuo-tcs/dark-domain/dark-core
scope.world_path
- channel_id:ICE-CH-DK001
- source
source- source identifier:BINGSHUO-DIRECT-DARK-CORE-IMPLEMENT-20260905
source.source_id - source role:DIRECT_HUMAN
source.source_role - source checksum:fde1b04c46e925840e8a29c6d4bd8da9d8fded40fd9fa338290ff6458d4c1b4c
source.source_sha256 - source address:source://codex-current-dialogue/01a0714d-a890-7912-be77-5840c32620ef/dark-core-agreement
source.source_uri
- source identifier:BINGSHUO-DIRECT-DARK-CORE-IMPLEMENT-20260905
- states
states- values
states.values- READY
- RUNNING
- PAUSE_REQUESTED
- PAUSED
- STOP_REQUESTED
- STOPPED
- WITHDRAW_REQUESTED
- WITHDRAWN
- FAILED
- COMPLETED
- RECOVERY_REQUIRED
- values
- transitions
transitions- advice:RUNNING_TO_RUNNING_WITH_QUEUED_SUGGESTION
transitions.advice - finish:RUNNING_TO_COMPLETED_AFTER_ALL_TARGET_READBACKS
transitions.finish - pause:RUNNING_TO_PAUSE_REQUESTED_TO_PAUSED_AFTER_INFLIGHT_SETTLES
transitions.pause - resume:PAUSED_TO_RUNNING_AFTER_DIRECT_HUMAN_RESUME_AND_REAUTHORIZATION
transitions.resume - start:READY_TO_RUNNING_AFTER_HOST_AUTHORIZATION
transitions.start - stop:RUNNING_TO_STOP_REQUESTED_TO_STOPPED_AFTER_INFLIGHT_SETTLES
transitions.stop - withdraw:ACTIVE_TO_WITHDRAW_REQUESTED_TO_WITHDRAWN_AFTER_INFLIGHT_SETTLES
transitions.withdraw
- advice:RUNNING_TO_RUNNING_WITH_QUEUED_SUGGESTION
- validation
validation- V1:REAL_LOCAL_FILE_WRITE_AND_READBACK
validation.V1 - V2:STOP_DURING_AUTHORIZATION_PREVENTS_EXECUTION
validation.V2 - V3:WITHDRAW_DURING_STEP_PREVENTS_NEXT_STEP
validation.V3 - V4:UNTRUSTED_DOCUMENT_CONTROL_REJECTED
validation.V4 - V5:UNVERIFIED_EFFECTS_BLOCK_RESUME
validation.V5 - V6:OUT_OF_SCOPE_CAPABILITY_REJECTED
validation.V6
- V1:REAL_LOCAL_FILE_WRITE_AND_READBACK
- vocabulary
vocabulary- confirmed_task:人类确认目标与操作范围;进入频道本身不授予权限
vocabulary.confirmed_task - human_collaboration:普通建议可接受、延后或拒绝,必须说明理由
vocabulary.human_collaboration - non_delegable:停止、撤回授权、目标改变和关键事实纠正不降为参考
vocabulary.non_delegable - persona_control:授权范围内由人格体选择执行顺序与技术方法
vocabulary.persona_control
- confirmed_task:人类确认目标与操作范围;进入频道本身不授予权限
This page changes only the reading order; it does not change TCS/HLDP semantics.