This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

The fidelity-review emit is not under the intent mint lock: emitAuditWith (internal/core/intent/audit.go), reached from the spec-close ship move, the bundle close, abcd intent audit and the audit drain, reads a shipped intent, parks the OWED stub and writes the record back as a read-modify-write outside withIntentMintLock. A condition disposition or verdict ingest landing on the same record between the emit's read and its write is erased, and both verbs exit 0.

issueresolvedminoriss-2609261935407925

The fidelity-review emit is not under the intent mint lock: emitAuditWith (internal/core/intent/audit.go), reached from the spec-close ship move, the bundle close, abcd intent audit and the audit drain, reads a shipped intent, parks the OWED stub and writes the record back as a read-modify-write outside withIntentMintLock. A condition disposition or verdict ingest landing on the same record between the emit's read and its write is erased, and both verbs exit 0.

Grounds

  • pursued: a condition disposition landed in the window before a re-emit survives the parked stub; a disposition erased by the emit's write would show it wrong

Frontmatter

idiss-2609261935407925
typeissue
lifecycleresolved
severityminor