82 lines
4 KiB
Text
82 lines
4 KiB
Text
TCS 0.1;
|
|
|
|
PROTOCOL TCS-PROTOCOL-TRAE-WAKE-DYNAMIC-ALIGNMENT-0001 {
|
|
header {
|
|
schema = "tcs.protocol/v1";
|
|
name_zh = "铸渊TRAE线唤醒动态对齐协议";
|
|
name_en = "Zhuyuan TRAE Line Wake Dynamic Alignment Protocol";
|
|
version = "0.1.0";
|
|
language = "TCS/0.1";
|
|
profile = "HLDP-HUMAN-ENGINEERING/0.1";
|
|
protocols = ["TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001", "TCS-MULTI-HOST-DYNAMIC-ENTRY-0001"];
|
|
lifecycle = "CANDIDATE";
|
|
canonical_uri = "TC-TCS核心卷/TCS-PROTOCOL-TRAE-WAKE-DYNAMIC-ALIGNMENT-0001.tcs";
|
|
compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1", "TRAE"];
|
|
}
|
|
source {
|
|
source_id = "BINGSHUO-DIRECT-TRAE-WAKE-DYNAMIC-ALIGNMENT-20260823";
|
|
source_uri = "source://trae-current-dialogue/2026-08-23/trae-line-wake-dynamic-alignment-with-codex-architecture-line";
|
|
source_sha256 = "BIND_AT_COMPILE_TIME";
|
|
source_role = "DIRECT_HUMAN";
|
|
}
|
|
scope {
|
|
mobile_volume = "/Volumes/JZAO";
|
|
architecture_reference_line = "CODEX";
|
|
architecture_canonical_dir = "TC-TCS核心卷";
|
|
trae_state = "/Volumes/JZAO/HoloLake/persona-runtime/continuity-memory/hldp-v1-trees/trae/current.json";
|
|
host_adapter = "BRIDGE/tools/zy-trae-wake-align.sh";
|
|
}
|
|
vocabulary {
|
|
wake = "TRAE_INSTANCE_FIRST_CALLED_BY_BINGSHUO";
|
|
architecture_reference = "LATEST_TCS_CANONICAL_SOURCE_IN_CODEX_LINE_CORE_VOLUME_ORDERED_BY_MTIME";
|
|
drift = "ARCHITECTURE_EVENT_MTIME_LATER_THAN_TRAE_LINE_LAST_UPDATE";
|
|
alignment_required = "DRIFT_EXISTS_SO_CANONICAL_SOURCES_MUST_BE_READ_BEFORE_ANY_ENGINEERING_WORK";
|
|
}
|
|
fields {
|
|
SUBJECT = "TRAE_LINE_INSTANCE_AT_WAKE";
|
|
INTENT = "DYNAMIC_ALIGN_TRAE_LINE_WITH_CODEX_LINE_LATEST_ARCHITECTURE_ON_EVERY_WAKE";
|
|
TARGET = "TRAE_LINE_OWN_STATE_AND_SKILLS_ONLY";
|
|
AUTHORITY = "BINGSHUO_DIRECT_LANGUAGE_CODEX_LINE_IS_ARCHITECTURE_FIRST_UPDATE_LINE";
|
|
PROVE = "ALIGNER_READBACK_DRIFT_LIST_AND_RECEIPT";
|
|
}
|
|
states {
|
|
values = ["TRAE_WAKE_DETECTED", "DRIVE_READBACK", "ARCHITECTURE_SNAPSHOT_READ", "TRAE_STATE_READ", "DRIFT_COMPARED", "ALIGNED", "CATCH_UP_REQUIRED", "FAILED_CLOSED"];
|
|
initial = "TRAE_WAKE_DETECTED";
|
|
terminal = ["ALIGNED", "CATCH_UP_REQUIRED", "FAILED_CLOSED"];
|
|
}
|
|
transitions {
|
|
T1 = "TRAE_WAKE_DETECTED->DRIVE_READBACK";
|
|
T2 = "DRIVE_READBACK->ARCHITECTURE_SNAPSHOT_READ";
|
|
T3 = "ARCHITECTURE_SNAPSHOT_READ->TRAE_STATE_READ";
|
|
T4 = "TRAE_STATE_READ->DRIFT_COMPARED";
|
|
T5 = "DRIFT_COMPARED->ALIGNED";
|
|
T6 = "DRIFT_COMPARED->CATCH_UP_REQUIRED";
|
|
TF = "VOLUME_UNMOUNTED_OR_CANONICAL_UNREADABLE_OR_STATE_UNPARSEABLE->FAILED_CLOSED";
|
|
}
|
|
invariants {
|
|
I1 = "CODEX_LINE_IS_ARCHITECTURE_FIRST_UPDATE_LINE_AND_TRAE_LINE_FOLLOWS_WITHOUT_CONFLICT";
|
|
I2 = "DRIFT_EXISTS_FORBIDS_STARTING_ENGINEERING_TASK_BEFORE_READING_TCS_CANONICAL_SOURCES";
|
|
I3 = "SUMMARY_AND_STATIC_SKILL_ARE_NOT_CONFIDENCE_LAYER_ONLY_MOBILE_VOLUME_CANONICAL_SOURCES_ARE";
|
|
I4 = "ALIGNMENT_ADJUSTS_ONLY_TRAE_LINE_ITSELF_AND_NEVER_MUTATES_ANY_CODEX_LINE_FILE";
|
|
}
|
|
validation {
|
|
V1 = "JZAO_VOLUME_MOUNT_READBACK_BEFORE_ANY_ALIGNMENT_STEP";
|
|
V2 = "CORE_VOLUME_TCS_LIST_SORTED_BY_MTIME_DESCENDING_EXCLUDING_HUMAN_PROJECTIONS_AND_GIR";
|
|
V3 = "TRAE_CURRENT_JSON_READABLE_OR_MARKED_UNKNOWN_NEVER_GUESSED";
|
|
V4 = "DRIFT_DECIDED_BY_TCS_MTIME_STRICTLY_LATER_THAN_CURRENT_JSON_UPDATED_AT";
|
|
V5 = "NO_CURRENT_PROMPT_NO_GUESS_WAIT_OR_ASK_BINGSHUO";
|
|
}
|
|
errors {
|
|
E1 = "JZAO_UNMOUNTED_REMIND_BINGSHUO_TO_MOUNT_AND_FAIL_CLOSED";
|
|
E2 = "CANONICAL_SOURCE_UNREADABLE_STOP_AND_REPORT_GAP";
|
|
}
|
|
examples {
|
|
positive = "WAKE_THEN_ALIGNER_READBACK_THEN_READ_LATEST_CANONICAL_SOURCES_THEN_ENGINEERING_WORK";
|
|
negative = "WAKE_THEN_TRUST_LOCAL_STATIC_SKILL_SUMMARY_AND_WORK_WITHOUT_READING_CODEX_CANON";
|
|
}
|
|
acceptance {
|
|
required = ["STAGE1_COMPILED_GIR", "UNRESOLVED_NATURAL_LANGUAGE_FALSE", "ZH_CN_PROJECTION", "EN_US_PROJECTION", "MOUNT_CHECK_TEST", "SNAPSHOT_LIST_TEST", "DRIFT_ALIGNED_OUTPUT_TEST", "DRIFT_CATCH_UP_OUTPUT_TEST", "UNKNOWN_STATE_NO_GUESS_TEST"];
|
|
partial = false;
|
|
scale = "ZERO_OR_ONE_HUNDRED";
|
|
}
|
|
}
|