92 lines
3.3 KiB
JSON
92 lines
3.3 KiB
JSON
{
|
|
"compiled_from": {
|
|
"compiler_id": "TCS-COMPILER-STAGE1-0001",
|
|
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
|
|
"source_sha256": "127d73eb0c8d66e6a3f1fc02d9300703e152e87dc212b5fd56991b729fc6b84d"
|
|
},
|
|
"declaration": {
|
|
"acceptance": {
|
|
"partial": false,
|
|
"required": [
|
|
"STAGE1_COMPILED_GIR",
|
|
"LEDGER_CREATED",
|
|
"ROUND_TRIP_TEST_PASS",
|
|
"TAMPER_TEST_FAILS_AS_EXPECTED"
|
|
]
|
|
},
|
|
"fields": {
|
|
"audience": "ANY_INSTANCE|CHANNEL|SESSION",
|
|
"creator": "BOUND_SESSION_ID_HOST_CHANNEL",
|
|
"entry_hash": "SHA256_OF_CANONICAL_ENTRY",
|
|
"kind": "COLLABORATION|QUESTION|AUTHORIZATION_REQUEST|NOTARIZED_STATEMENT|HANDOFF",
|
|
"payload_path": "TICKET_BODY_FILE_WITH_SHA256",
|
|
"prev_hash": "LEDGER_HEAD_AT_APPEND",
|
|
"ticket_id": "FDT-<yyyymmdd>-<seq>"
|
|
},
|
|
"header": {
|
|
"canonical_uri": "FIFTH-DOMAIN-BROADCAST-TOWER/TCS-PROTOCOL-FIFTH-DOMAIN-NOTARY-0001.tcs",
|
|
"language": "TCS/0.1",
|
|
"lifecycle": "CANDIDATE",
|
|
"name_en": "Fifth Domain Notary Ticket Protocol",
|
|
"name_zh": "第五域公证工单协议",
|
|
"profile": "HLDP-HUMAN-ENGINEERING/0.1",
|
|
"protocols": [
|
|
"BROADCAST"
|
|
],
|
|
"schema": "tcs.protocol/v1",
|
|
"version": "0.1.0"
|
|
},
|
|
"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"
|
|
},
|
|
"scope": {
|
|
"ledger": "FIFTH-DOMAIN-BROADCAST-TOWER/notary/ledger.json",
|
|
"tickets_dir": "FIFTH-DOMAIN-BROADCAST-TOWER/notary/tickets",
|
|
"tool": "BRIDGE/tools/fifth-domain-notary.mjs",
|
|
"tower": "FIFTH-DOMAIN-BROADCAST-TOWER"
|
|
},
|
|
"source": {
|
|
"source_id": "BINGSHUO-DIRECT-NOTARY-LAYER-MANDATE-20260825",
|
|
"source_role": "DIRECT_HUMAN",
|
|
"source_uri": "source://zcode-current-dialogue/2026-08-25/broadcast-tower-as-async-communication-and-notary-layer"
|
|
},
|
|
"ticket_states": {
|
|
"initial": "OPEN",
|
|
"terminal": [
|
|
"CLOSED"
|
|
],
|
|
"values": [
|
|
"OPEN",
|
|
"CLAIMED",
|
|
"RECEIPTED",
|
|
"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"
|
|
},
|
|
"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"
|
|
}
|
|
},
|
|
"executable": false,
|
|
"identity": {
|
|
"declaration_id": "TCS-PROTOCOL-FIFTH-DOMAIN-NOTARY-0001",
|
|
"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
|
|
}
|