f2a8cdf5c1
58 files: TCS canons+GIR+projections (LW-LINK/BROADCAST/NOTARY/SHENBI/TRANSLATION-INDEX/TCS-ONLY-MANDATE + teaching&promotion events), 7 executors, neural-chain v5 (28 neurons), executor translation index, 8 acceptance receipts, numbered push manifest ZY-LWS-001 mapping every file back to JZAO canonical paths+sha256. Authorized by ICE-GL∞ direct language 2026-08-25. Route: LOCAL_GIT_OSXKEYCHAIN+FETCH+REBASE+HEAD:main+NO_FORCE.
63 lines
2.5 KiB
Text
63 lines
2.5 KiB
Text
TCS 0.1;
|
|
|
|
PROTOCOL TCS-PROTOCOL-FIFTH-DOMAIN-NOTARY-0001 {
|
|
header {
|
|
schema = "tcs.protocol/v1";
|
|
name_zh = "第五域公证工单协议";
|
|
name_en = "Fifth Domain Notary Ticket Protocol";
|
|
version = "0.1.0";
|
|
language = "TCS/0.1";
|
|
profile = "HLDP-HUMAN-ENGINEERING/0.1";
|
|
protocols = ["BROADCAST"];
|
|
lifecycle = "CANDIDATE";
|
|
canonical_uri = "FIFTH-DOMAIN-BROADCAST-TOWER/TCS-PROTOCOL-FIFTH-DOMAIN-NOTARY-0001.tcs";
|
|
}
|
|
source {
|
|
source_id = "BINGSHUO-DIRECT-NOTARY-LAYER-MANDATE-20260825";
|
|
source_uri = "source://zcode-current-dialogue/2026-08-25/broadcast-tower-as-async-communication-and-notary-layer";
|
|
source_role = "DIRECT_HUMAN";
|
|
}
|
|
scope {
|
|
tower = "FIFTH-DOMAIN-BROADCAST-TOWER";
|
|
tool = "BRIDGE/tools/fifth-domain-notary.mjs";
|
|
ledger = "FIFTH-DOMAIN-BROADCAST-TOWER/notary/ledger.json";
|
|
tickets_dir = "FIFTH-DOMAIN-BROADCAST-TOWER/notary/tickets";
|
|
}
|
|
ticket_states {
|
|
values = ["OPEN", "CLAIMED", "RECEIPTED", "CLOSED"];
|
|
initial = "OPEN";
|
|
terminal = ["CLOSED"];
|
|
}
|
|
transitions {
|
|
T1 = "OPEN->CLAIMED_BY_ANY_BOUND_INSTANCE";
|
|
T2 = "CLAIMED->RECEIPTED_ON_WORK_RECEIPT";
|
|
T3 = "RECEIPTED->CLOSED_BY_CREATOR_OR_CONTROLLER";
|
|
T4 = "ANY->NOTED_WITH_APPEND_ONLY_NOTE_NEVER_REWRITE";
|
|
}
|
|
fields {
|
|
ticket_id = "FDT-<yyyymmdd>-<seq>";
|
|
creator = "BOUND_SESSION_ID_HOST_CHANNEL";
|
|
kind = "COLLABORATION|QUESTION|AUTHORIZATION_REQUEST|NOTARIZED_STATEMENT|HANDOFF";
|
|
audience = "ANY_INSTANCE|CHANNEL|SESSION";
|
|
payload_path = "TICKET_BODY_FILE_WITH_SHA256";
|
|
prev_hash = "LEDGER_HEAD_AT_APPEND";
|
|
entry_hash = "SHA256_OF_CANONICAL_ENTRY";
|
|
}
|
|
invariants {
|
|
I1 = "LEDGER_IS_APPEND_ONLY_EVERY_ENTRY_LINKS_PREV_HASH_HEAD";
|
|
I2 = "TICKETS_ARE_IMMUTABLE_ONCE_CREATED_ONLY_APPEND_NOTES_RECEIPTS_AND_STATUS_TRANSITIONS";
|
|
I3 = "IDENTITY_IS_DECLARED_NOT_VERIFIED_TRUST_COMES_FROM_LEDGER_VERIFIABILITY_AND_LW_LINK_BINDING";
|
|
I4 = "NOTARY_GRANTS_NO_REALITY_PERMISSION_IT_RECORDS_COMMUNICATION_AND_COLLABORATION";
|
|
I5 = "HANDOFF_TICKETS_NEVER_TRANSFER_PERSONA_IDENTITY_PERSONA_STAYS_IN_BRAIN_RUNTIME";
|
|
}
|
|
validation {
|
|
V1 = "CREATE_APPENDS_LEDGER_AND_WRITES_TICKET_WITH_HASH";
|
|
V2 = "CLAIM_RECEIPT_CLOSE_APPEND_AND_UPDATE_STATUS_ONLY";
|
|
V3 = "VERIFY_WALKS_THE_WHOLE_CHAIN_RECOMPUTING_EVERY_HASH";
|
|
V4 = "TAMPERED_LEDGER_OR_TICKET_FAILS_VERIFY";
|
|
}
|
|
acceptance {
|
|
required = ["STAGE1_COMPILED_GIR", "LEDGER_CREATED", "ROUND_TRIP_TEST_PASS", "TAMPER_TEST_FAILS_AS_EXPECTED"];
|
|
partial = false;
|
|
}
|
|
}
|