Once Value Remediation Report

Apply at most one idempotent write and turn the accepted and skipped counts into a commit, skip, or retry remediation action.

once_value.ts

const writes: number = ;
let accepted: number = 0;
let skipped: number = 0;
for (let i = 0; i < writes; i++) {
    if (accepted === 0) {
        accepted += 1;
    } else {
        skipped += 1;
    }
}

let action: string = "retry";
if (accepted >= 1) {
    action = "commit";
}
if (skipped >= 1) {
    action = "skip";
}

console.log(`writes=${writes} accepted=${accepted} skipped=${skipped} ${action}`);

const writes: number = ;
let accepted: number = 0;
let skipped: number = 0;
for (let i = 0; i < writes; i++) {
    if (accepted === 0) {
        accepted += 1;
    } else {
        skipped += 1;
    }
}

let action: string = "retry";
if (accepted >= 1) {
    action = "commit";
}
if (skipped >= 1) {
    action = "skip";
}

console.log(`writes=${writes} accepted=${accepted} skipped=${skipped} ${action}`);

const writes: number = ;
let accepted: number = 0;
let skipped: number = 0;
for (let i = 0; i < writes; i++) {
    if (accepted === 0) {
        accepted += 1;
    } else {
        skipped += 1;
    }
}

let action: string = "retry";
if (accepted >= 1) {
    action = "commit";
}
if (skipped >= 1) {
    action = "skip";
}

console.log(`writes=${writes} accepted=${accepted} skipped=${skipped} ${action}`);

idempotent write Only the first write is accepted and later writes are counted as skipped, so the remediation action is reproducible without a live one-shot value guard.