JudeAI | EDGE IDJude Climatecharcoal-28

Retire units and prevent double counting

Open the journey AEC 6 of 9

TriggerA holder claims reductions
OutcomeRetired serials can never be retired or transferred again.
SenderUnit holder
ReceiverRegistry officer
Records and receiptsRetirement record with serials, beneficiary and claim; receipt; every receipt carries a tok id
PermissionsHolder retires; registry checks; every actor is bound to an EDGE ID and every agent act carries its ATBAN
RegulationCharcoal is a voluntary standard-setter and certification scheme seeking government recognition; statutory regulator status needs legislation. Modelled on FSMA 2000 s.138I consultation and the FCA Handbook processes; Regulators' Code 2014; Climate Change Act 2008
Blueprint—
BenchmarksBM-CHARCOAL-01
toktok-2ca5620e069a32e51c2d40f5880c5cb4

Steps

1Select the units
2Enter the beneficiary and claim
3Approve the retirement
4Record the retired serials
5Record the retirement receipt

Cases

happy pathRetired serials can never be retired or transferred again.
receiving sidethe registry officer sees the retirement record and the same receipt id
failure pathserial already retired
failure pathserial not owned
failure pathexpired EDGE ID session
seven widths, both themesno overflow, no cut text, axe serious or critical = 0
independent re-runa non-builder agent reproduces the happy path from the reproduce command with the same result

Sources