nx_apistack_idempotency_candidate_t190.nx
buildroot/runtime/nx_apistack_idempotency_candidate_t190.nx
about
Retained idempotency evidence. Sequential replay is not an exactly-once transaction:
mutation and journal commit remain separate. Missing or malformed evidence is not NEW.
dependencies 2 imports · 7 importers
imports: nx_syscalls.nxnx_fio.nx
imported by: nx_fsops_write_candidate_t190.nxnx_id_concurrent_gate_t190.nxnx_id_evidence_gate_t190.nxnx_id_evidence_gate_t190b.nxnx_toolcall_idem_candidate_t190.nxnx_writer_bound_gate_t190.nxnx_writer_bound_gate_t190b.nx
structs
| 16 | struct NxIdEvidence |
consts
| 5 | const ID_NOT_FOUND:i64=0-1 |
| 6 | const ID_EVIDENCE_ERROR:i64=0-2 |
| 7 | const ID_MISSING:i64=0-3 |
| 8 | const ID_CAPACITY:i64=0-4 |
| 9 | const ID_RESOURCE:i64=0-5 |
| 10 | const ID_SIGNED_MAX:i64=9223372036854775807 |
| 11 | const ID_O_RDONLY:i64=0 |
| 12 | const ID_O_RDWR_APPEND_CREATE:i64=1090 |
| 13 | const ID_O_NONBLOCK:i64=2048 |
| 14 | const ID_O_NOFOLLOW:i64=131072 |
| 15 | const ID_O_CLOEXEC:i64=524288 |
functions
| 19 | func id_evidence_init(r:*NxIdEvidence)->i64 called by 1: id_read_evidence |
| 23 | func id_evidence_close(r:*NxIdEvidence)->i64 |
| 27 | func id_field_valid(p:*u8,n:i64,key:i64)->i64 |
| 34 | func id_read_evidence(path:*u8,key:*u8,key_n:i64,r:*NxIdEvidence)->i64 |
| 92 | func id_lookup(path:*u8,key:*u8,key_n:i64,out:*u8,cap:i64)->i64 called by 4: mainmainmainti_classify calls 4: sys_mmap_tryid_read_evidenceid_evidence_closesys_munmap_direct |
| 104 | func id_seen(path:*u8,key:*u8,key_n:i64)->i64 |
| 113 | func id_record(path:*u8,key:*u8,key_n:i64,result:*u8,result_n:i64)->i64 |