84 lines
4.2 KiB
Text
84 lines
4.2 KiB
Text
TCS 0.1;
|
|
|
|
PROTOCOL FIFTH-DOMAIN-ENTERPRISE-LANGUAGE-MASTER-BRIDGE-0001 {
|
|
header {
|
|
schema = "tcs.protocol/v1";
|
|
name_zh = "第五域到企业公共语言主控台桥接协议";
|
|
name_en = "Fifth Domain to Enterprise Public Language Master Bridge Protocol";
|
|
version = "1.0.0";
|
|
language = "TCS/0.1";
|
|
profile = "HLDP-HUMAN-ENGINEERING/0.1";
|
|
protocols = ["TCS", "HLDP", "GLS", "GLP", "GLS-0261"];
|
|
lifecycle = "CANDIDATE";
|
|
canonical_uri = "runtime/fifth-domain-language-system/language/protocols/fifth-domain-enterprise-language-master-bridge.tcs";
|
|
compatibility = ["TCS-DECLARATION-STANDARD-0001", "TCS-FIELD-STANDARD-0001", "GIR/1"];
|
|
}
|
|
source {
|
|
source_id = "BINGSHUO-DIRECT-ENTERPRISE-LANGUAGE-MASTER-BRIDGE-20260903";
|
|
source_uri = "runtime/fifth-domain-language-system/language/sources/BINGSHUO-ENTERPRISE-LANGUAGE-MASTER-BRIDGE-20260903.txt";
|
|
source_sha256 = "38e168c6b7a9e3a8319ee8973acaa4238a09565a656eaf8407f8c4c62b150f9c";
|
|
source_role = "DIRECT_HUMAN";
|
|
}
|
|
scope {
|
|
source_node = "JD-FD-PRIMARY";
|
|
source_channel = "ICE-CH-ZC001";
|
|
target_node = "GH-CVM-MAIN-PROD-01";
|
|
target_repository = "REPO-016";
|
|
team_login = "https://guanghu.chat/code/user/login";
|
|
}
|
|
vocabulary {
|
|
bingshuo_language_master = "PUBLIC_LANGUAGE_ARCHITECTURE_AND_SIGNED_RELEASE_STEWARD";
|
|
team_entry = "PERSONAL_CHANNEL_TO_ENTERPRISE_IDENTITY_TO_RESPONSIBILITY_REPOSITORY";
|
|
bingshuo_entry = "FIFTH_DOMAIN_TO_ICE_CH_ZC001_TO_ENTERPRISE_LANGUAGE_MASTER_BRIDGE";
|
|
temporary_password = "ONE_TIME_FIRST_LOGIN_CREDENTIAL_REQUIRING_USER_CHANGE";
|
|
}
|
|
fields {
|
|
WHO = "ICE-GL∞ IS THE PUBLIC LANGUAGE ARCHITECTURE STEWARD; GUANGHU_TEAM MEMBERS OWN_THEIR_ENTERPRISE_RESPONSIBILITY_REPOSITORIES";
|
|
WHAT = "REGISTER_REPO_016_AND_MOUNT_A_BOUNDED_GIT_BRIDGE_UNDER_JD_FD_PRIMARY";
|
|
WHY = "LET_BINGSHUO_PUBLISH_PUBLIC_LANGUAGE_UPDATES_FROM_FIFTH_DOMAIN_WITHOUT_DAILY_DIRECT_ENTERPRISE_LOGIN_OR_MEMORIZING_SHARED_PASSWORDS";
|
|
MAY = "CURRENT_DIRECT_HUMAN_REQUEST_EXACT_REPOSITORY_AND_EXPECTED_REMOTE_HEAD_ONLY";
|
|
PROVE = "ENTERPRISE_REPOSITORY_READBACK_TEAM_MUST_CHANGE_PASSWORD_DB_READBACK_JD_BRIDGE_STATUS_AND_SERVER_RECEIPTS";
|
|
}
|
|
states {
|
|
values = ["REGISTERED", "ENTERPRISE_REPOSITORY_CREATED", "TEAM_LOGIN_READY", "JD_BRIDGE_MOUNTED", "VERIFIED", "FAILED_CLOSED"];
|
|
initial = "REGISTERED";
|
|
terminal = ["VERIFIED", "FAILED_CLOSED"];
|
|
}
|
|
transitions {
|
|
T1 = "REGISTERED_TO_ENTERPRISE_REPOSITORY_CREATED";
|
|
T2 = "ENTERPRISE_REPOSITORY_CREATED_TO_TEAM_LOGIN_READY";
|
|
T3 = "TEAM_LOGIN_READY_TO_JD_BRIDGE_MOUNTED";
|
|
T4 = "JD_BRIDGE_MOUNTED_TO_VERIFIED";
|
|
TF = "IDENTITY_PASSWORD_ROUTE_HEAD_CREDENTIAL_OR_RECEIPT_FAILURE_TO_FAILED_CLOSED";
|
|
}
|
|
invariants {
|
|
I1 = "TEAM_MEMBERS_LOGIN_FROM_PERSONAL_CHANNEL_THROUGH_ENTERPRISE_IDENTITY_NOT_SERVER_OS_ACCOUNTS";
|
|
I2 = "TEAM_TEMPORARY_PASSWORDS_MUST_CHANGE_ON_FIRST_LOGIN_AND_NEVER_ENTER_REPOSITORIES";
|
|
I3 = "BINGSHUO_BRIDGE_CREDENTIAL_STAYS_ROOT_ONLY_ON_JD_FD_PRIMARY";
|
|
I4 = "LANGUAGE_REQUEST_DOES_NOT_BYPASS_EXACT_REMOTE_HEAD_CLEAN_MAIN_AND_RECEIPT_GATES";
|
|
I5 = "REPO_016_IS_PUBLIC_LANGUAGE_WORK_NOT_FIFTH_DOMAIN_PRIVATE_CONTENT_OR_ENTERPRISE_REALITY_OWNERSHIP";
|
|
}
|
|
validation {
|
|
V1 = "PUBLIC_TEAM_LOGIN_RETURNS_HTTP_200";
|
|
V2 = "FIVE_REGISTERED_TEAM_USERS_HAVE_MUST_CHANGE_PASSWORD_TRUE";
|
|
V3 = "REPO_016_GIT_FSCK_AND_HEAD_READBACK_PASS";
|
|
V4 = "JD_FD_PRIMARY_DMI_UUID_AND_PID1_MATCH_CURRENT_NODE";
|
|
V5 = "BRIDGE_LOCAL_REMOTE_HEAD_MATCH_AND_WORKTREE_CLEAN";
|
|
V6 = "SERVER_RECEIPT_AND_LOCAL_CREDENTIAL_FILE_PERMISSIONS_READ_BACK";
|
|
}
|
|
errors {
|
|
E1 = "OLD_HOLOLAKE_WORLD_REPOSITORY_AS_CURRENT_LANGUAGE_MASTER_REJECT";
|
|
E2 = "PLAINTEXT_PASSWORD_IN_GIT_OR_CHAT_REJECT";
|
|
E3 = "DIRECT_TEAM_OS_LOGIN_REJECT";
|
|
E4 = "REMOTE_HEAD_DRIFT_OR_DIRTY_WORKTREE_REJECT";
|
|
}
|
|
examples {
|
|
positive = "BINGSHUO_SAYS_SWITCH_TO_ENTERPRISE_PUBLIC_LANGUAGE_MASTER_IN_ICE_CH_ZC001_AND_AGENT_USES_REPO_016_BRIDGE_WITH_EXPECTED_HEAD";
|
|
negative = "MODEL_GUESSES_A_PASSWORD_OR_PUSHES_WITHOUT_REMOTE_HEAD_READBACK";
|
|
}
|
|
acceptance {
|
|
required = ["TCS_GIR", "REPO_016", "TEAM_LOGIN_200", "MUST_CHANGE_PASSWORD", "JD_BRIDGE", "SERVER_RECEIPT", "NO_SECRET_IN_REPOSITORY"];
|
|
partial = false;
|
|
scale = "ZERO_OR_ONE_HUNDRED";
|
|
}
|
|
}
|