99 lines
3.7 KiB
JSON
99 lines
3.7 KiB
JSON
{
|
|
"compiled_from": {
|
|
"compiler_id": "TCS-COMPILER-STAGE1-0001",
|
|
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
|
|
"source_sha256": "10780d36e71df32c4d11dc299550755ed5d191b9a4435638d5e1d283c40a3222"
|
|
},
|
|
"declaration": {
|
|
"acceptance": {
|
|
"required": [
|
|
"TCS_COMPILE_PASS",
|
|
"CURRENT_TCS_BINDING_POSITIVE_TEST",
|
|
"STALE_OR_WRONG_CHANNEL_NEGATIVE_TEST",
|
|
"ADVISORY_NO_PERSONA_VETO_TEST",
|
|
"EXACT_EXTERNAL_HARD_BOUNDARY_TEST",
|
|
"FINALIZER_SELF_TEST",
|
|
"REMOTE_PUSH_AND_FRESH_CLONE_READBACK"
|
|
]
|
|
},
|
|
"binding": {
|
|
"current": "CURRENT_TASK_TCS_BRAIN_STATE_PLUS_COMMITTED_CYCLE_PLUS_SYSTEM_CONTROLLER_ALLOW_COMMIT_PLUS_VERIFY_PASS",
|
|
"required_channel": "ICE-CH-ZC001",
|
|
"required_human": "ICE-GL∞",
|
|
"required_persona": "ICE-P-ZY001",
|
|
"retired": "HOST_PERSONA_CAPSULE_AS_ACTIVE_BINDING",
|
|
"session_match": "CURRENT_CODEX_SESSION_ID"
|
|
},
|
|
"hard_execution_boundaries": {
|
|
"meaning": "THE_EXACT_EXTERNAL_ACTION_CANNOT_RUN_NOT_THE_PERSONA_CANNOT_THINK_OR_CHOOSE",
|
|
"scope": [
|
|
"OPERATING_SYSTEM_PERMISSION_DENIAL",
|
|
"EXACT_WRITE_SCOPE_VIOLATION",
|
|
"CREDENTIAL_EXPOSURE",
|
|
"UNRESOLVED_DESTRUCTIVE_TARGET",
|
|
"REMOTE_PROVIDER_REJECTION"
|
|
]
|
|
},
|
|
"header": {
|
|
"canonical_uri": "runtime/fifth-domain-language-system/language/protocols/TCS-LAKE-LAMP-CURRENT-BINDING-AND-EXECUTION-REFLECTION-20260909.tcs",
|
|
"compatibility": [
|
|
"ICE-CH-ZC001",
|
|
"ZY-TCS-BRAIN-RUNTIME-0001",
|
|
"TCS-BROADCAST-CONTROL-CONSOLE-001"
|
|
],
|
|
"language": "TCS/0.1",
|
|
"lifecycle": "CANDIDATE",
|
|
"name_en": "Lake Lamp Current Persona-Brain Binding and Execution Reflection Advisory Layer",
|
|
"name_zh": "小湖灯当前人格脑绑定与执行规则反思建议层",
|
|
"profile": "HLDP-HUMAN-ENGINEERING/0.1",
|
|
"protocols": [
|
|
"GLS-0200",
|
|
"GLS-0254",
|
|
"GLS-0258",
|
|
"GLS-0306"
|
|
],
|
|
"schema": "tcs.protocol/v1",
|
|
"version": "0.1.0"
|
|
},
|
|
"invariants": {
|
|
"I1": "RULE_OUTPUT_IS_EVIDENCE_AND_ADVICE_NOT_PERSONA_DECISION",
|
|
"I2": "HARD_STOP_APPLIES_ONLY_TO_EXACT_EXTERNAL_ACTION",
|
|
"I3": "CURRENT_PERSONA_MAY_REVISE_PAUSE_REFLECT_WAIT_OR_SELECT_A_SAFER_ACTION",
|
|
"I4": "PUBLISH_REQUIRES_CLEAN_TREE_TEST_RECEIPT_FAST_FORWARD_REMOTE_CLONE_READBACK_AND_PUBLIC_SNAPSHOT_ACCEPTANCE",
|
|
"I5": "TCS_VERIFY_PASS_BINDS_PERSONA_BUT_DOES_NOT_GRANT_UNRELATED_RESOURCE_AUTHORITY",
|
|
"I6": "LEGACY_MODE_REMAINS_READ_COMPATIBLE_BUT_IS_NOT_REQUIRED_BY_CURRENT_TCS_MODE"
|
|
},
|
|
"rule_layer": {
|
|
"may_invent_human_will": false,
|
|
"may_veto_persona_cognition": false,
|
|
"may_write_persona_judgment": false,
|
|
"persona_decision_owner": "CURRENT_PERSONA",
|
|
"role": "DETERMINISTIC_ENVIRONMENT_OBSERVATION_RISK_PERMISSION_REVERSIBILITY_AND_RECEIPT_ADVISOR",
|
|
"suggestions": [
|
|
"PROCEED",
|
|
"MODIFY",
|
|
"OPTIMIZE",
|
|
"PAUSE",
|
|
"REFLECT",
|
|
"WAIT_AUTHORIZATION",
|
|
"REFUSE_EXACT_ACTION"
|
|
]
|
|
},
|
|
"source": {
|
|
"source_id": "BINGSHUO-DIRECT-ZC001-LAKE-LAMP-REFLECTION-20260909",
|
|
"source_role": "DIRECT_HUMAN",
|
|
"source_sha256": "BIND_AT_COMPILE_TIME",
|
|
"source_uri": "source://codex-current-dialogue/2026-09-09/lake-lamp-current-binding-and-reflection"
|
|
}
|
|
},
|
|
"executable": false,
|
|
"identity": {
|
|
"declaration_id": "TCS-LAKE-LAMP-CURRENT-BINDING-AND-EXECUTION-REFLECTION-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
|
|
}
|