nx_apistack_idempotency_reconcile_candidate_t219.nx
buildroot/runtime/nx_apistack_idempotency_reconcile_candidate_t219.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 · 1 importers
imports: nx_syscalls.nxnx_fio.nx
imported by: nx_id_ledger_provenance_audit_t219.nx
structs
| 16 | struct NxIdEvidence |
| 167 | struct NxIdLegacyRow |
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 |
| 160 | const ID_ROW_EMPTY:i64=1 |
| 161 | const ID_ROW_COMMENT:i64=2 |
| 162 | const ID_ROW_NO_TAB:i64=4 |
| 163 | const ID_ROW_EXTRA_TAB:i64=8 |
| 164 | const ID_ROW_EMPTY_KEY:i64=16 |
| 165 | const ID_ROW_CONTROL:i64=32 |
| 166 | const ID_ROW_UNTERMINATED:i64=64 |
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 called by 3: id_lookupid_seenmain calls 9: id_evidence_initid_field_validsys_mmap_trysys_munmap_directsys_flocksys_fstat_fd+3 |
| 92 | func id_lookup(path:*u8,key:*u8,key_n:i64,out:*u8,cap:i64)->i64 |
| 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 |
| 173 | func id_legacy_row_next(source:*u8,bytes:i64,start:i64,row:*NxIdLegacyRow)->i64 called by 1: main |