An educational preview
A certificate should
explain its boundaries.
This is an illustrative, unsigned display, not an issued certificate. No real project is certified and no production provider was assessed.
Geometer certificateIllustrative · unsigned
Subject / synthetic refund workflow
A problem you can understand.
Limits you can see.
ChecksViolation illustrated
IntegrityUnsigned example
ApplicabilityTeaching fixture only
- Constraint
- At most one refund effect per logical intent.
- Method
- One selected lost-reply fault; two synthetic branches.
- Problem
- A blind retry can duplicate the committed effect.
- Exclusions
- Live providers, concurrency, real agents, production frequency.
- Issuer / review
- Geometer educational example; no independent review.
- Version
- synthetic-refund / fixture-v1
- Evidence availability
- Dependency-free synthetic reproduction available.
- Recheck
- Reconciliation branch retains one synthetic effect.
- Current status
- Not an issued certificate. No live status claim.
Integrity ≠ truth ≠ current applicability
Read the reproduction.
The synthetic experiment starts from clean in-memory state and compares blind retry with reconciliation.
Method and limitationsTake the explanation with you.
These educational downloads remain readable without this website. They are not supported assessment-certificate verification inputs.
The current evidence-pack verifier checks recorded evidence, not this certificate summary. Certificate issuance and checks for later withdrawal or replacement are still in development.