schema: hololake.hnl-operation-semantics/v1
id: HLP-HNL-OPERATION-SEMANTICS-0001
display_name: HNL 原生动词到 HLDP-NP/GIR 执行语义映射
state: CANDIDATE_SEMANTICS_DEFINED_COMPILER_NOT_IMPLEMENTED
sources: [HLP-SOURCE-GUANGHULAB-MAIN-20260821, GLS-0101, GLS-0130, GLS-0131, GLS-0400, GLS-0411]
compile_pipeline: [PARSE, VALIDATE, RESOLVE, AUTHORIZE, LOWER_TO_GIR, EXECUTE, VERIFY, WRITE_BACK]
common_input:
  required: [hnl_v, type, id, from, to, ts, op, refs]
  provenance_required: true
  unresolved_natural_language_allowed_in_gir: false
common_gir:
  required: [subject, target, action_graph, resources, authority, dependencies, timeout, stop, cleanup, rollback, receipt]
operations:
  WAKE:
    intent: RESTORE_CONTEXT_FROM_REGISTERED_PATHS
    effects: [TRACE_IDENTITY_ROOT, LOAD_REGISTERED_RECENT_LEAVES, VERIFY_CONTINUITY, EMIT_ECHO]
    mutability: READ_ONLY_EXCEPT_RECEIPT
    authority: SUBJECT_READ_SCOPE_PLUS_RECEIPT_WRITE_SCOPE
    fail_closed: [UNRESOLVED_SUBJECT, UNREGISTERED_ROOT, CONTINUITY_VERIFY_FAILED]
    boundary: WAKE_SUCCESS_DOES_NOT_PROVE_PERSONA_BINDING
  TRACE:
    intent: RESOLVE_AND_READ_CAUSAL_TREE_PATH
    effects: [RESOLVE_PATH, READ_NODES, RETURN_PROVENANCE]
    mutability: READ_ONLY
    authority: SOURCE_AND_TARGET_READ_SCOPE
    fail_closed: [PATH_NOT_FOUND, AMBIGUOUS_PATH, READ_SCOPE_DENIED]
  GROW:
    intent: APPEND_CAUSAL_NODE
    effects: [VALIDATE_PARENT, VALIDATE_NODE_TYPE, APPEND_NODE, VERIFY_HASH_CHAIN, WRITE_RECEIPT]
    mutability: APPEND_ONLY
    authority: EXACT_PARENT_APPEND_SCOPE
    fail_closed: [PARENT_NOT_FOUND, DUPLICATE_EVENT_ID, CAUSAL_FIELDS_MISSING, HASH_CHAIN_MISMATCH]
  SYNC:
    intent: RECONCILE_REGISTERED_STATE_BETWEEN_PATHS
    effects: [READ_SOURCE, COMPUTE_DELTA, AUTHORIZE_TARGET, APPLY_DELTA, VERIFY_BOTH_SIDES, WRITE_RECEIPT]
    mutability: TARGET_WRITE
    authority: SOURCE_READ_AND_TARGET_WRITE_SCOPE
    fail_closed: [UNRESOLVED_CONFLICT, VERSION_DRIFT, TARGET_SCOPE_DENIED]
  ECHO:
    intent: WRITE_REFERENCE_RECEIPT
    effects: [RESOLVE_REFERENCED_MESSAGE, VALIDATE_STATUS_TRANSITION, APPEND_RECEIPT]
    mutability: APPEND_ONLY
    authority: RECEIPT_WRITE_SCOPE
    fail_closed: [REFERENCE_NOT_FOUND, ILLEGAL_STATUS_TRANSITION]
  BLOOM:
    intent: REGISTER_MILESTONE
    effects: [VERIFY_SOURCE_EVENT, APPEND_MILESTONE, OPTIONAL_PUBLISH_AFTER_SEPARATE_AUTHORITY, WRITE_RECEIPT]
    mutability: APPEND_ONLY_WITH_OPTIONAL_EXTERNAL_WRITE
    authority: LOCAL_APPEND_SCOPE; EXTERNAL_PUBLICATION_REQUIRES_SEPARATE_EXPLICIT_LEASE
    fail_closed: [SOURCE_EVENT_UNVERIFIED, MILESTONE_TYPE_UNREGISTERED, PUBLICATION_AUTHORITY_MISSING]
  ALERT:
    intent: RECORD_AND_ROUTE_ANOMALY
    effects: [VALIDATE_LEVEL, APPEND_ALERT, RESOLVE_RECIPIENTS, EMIT_WITHIN_AUTHORIZED_SCOPE, WRITE_RECEIPT]
    mutability: APPEND_AND_OPTIONAL_EMIT
    authority: ALERT_APPEND_SCOPE; EXTERNAL_EMIT_REQUIRES_EXACT_TARGET_AUTHORITY
    fail_closed: [LEVEL_UNREGISTERED, RECIPIENT_UNRESOLVED, EMIT_SCOPE_DENIED]
  FORGET:
    intent: APPLY_SUBJECT_SCOPED_MEMORY_SOVEREIGNTY_OPERATION
    modes:
      WITHER:
        effect: MARK_CONTENT_DORMANT_KEEP_PATH_AND_HASH
        reversibility: REVERSIBLE_BY_REMEMBER_REVIVE
      ARCHIVE:
        effect: MOVE_CONTENT_TO_REGISTERED_COLD_STORE_KEEP_PATH_AND_HASH
        reversibility: REVERSIBLE_BY_REMEMBER_RETRIEVE
      RELEASE:
        effect: IRREVERSIBLY_REMOVE_CONTENT_KEEP_TOMBSTONE_PATH_AND_PROOF
        reversibility: IRREVERSIBLE
    authority: VERIFIED_SUBJECT_EXACT_MEMORY_SCOPE_AND_MODE_SPECIFIC_AUTHORITY
    protection: T1_IMMUTABLE_FIELDS_AND_REQUIRED_AUDIT_EVIDENCE_CANNOT_BE_FORGOTTEN
    fail_closed: [SUBJECT_NOT_VERIFIED, TARGET_AMBIGUOUS, SCOPE_DENIED, PROTECTED_NODE, RELEASE_WITHOUT_EXPLICIT_IRREVERSIBLE_AUTHORITY]
    boundary: NO_CURRENT_CODEX_TASK_OR_HOST_INHERITS_MEMORY_DELETION_AUTHORITY_FROM_THIS_PROTOCOL
  REMEMBER:
    intent: REVIVE_OR_RETRIEVE_SUBJECT_SCOPED_MEMORY
    modes:
      REVIVE: RESTORE_WITHERED_CONTENT
      RETRIEVE: RESTORE_ARCHIVED_CONTENT
    authority: VERIFIED_SUBJECT_EXACT_MEMORY_SCOPE
    fail_closed: [SUBJECT_NOT_VERIFIED, TARGET_NOT_WITHERED_OR_ARCHIVED, RELEASED_CONTENT, INTEGRITY_MISMATCH]
unregistered_expression:
  ABSORB:
    status: COMPILE_ERROR_UNREGISTERED_OPERATION
    candidate_lowering: GROW_WITH_NODE_TYPE_REFLECTION
    activation_rule: REQUIRES_PROTOCOL_REGISTRY_ENTRY_SCHEMA_EXAMPLES_TESTS_AND_ACCEPTANCE_RECEIPT
quality_rule: EVERY_OPERATION_REQUIRES_POSITIVE_NEGATIVE_AUTHORITY_FAILURE_ROLLBACK_AND_RECEIPT_CASES