provenance before the fact
Undo is a feature. Reversibility is a property.
Software that changes something should be able to say what it changed, put it back, and hand you proof — without asking you to take its word for any of the three.
Most audit systems record what happened after the fact. A log is merely a claim by the party being audited. We work one step earlier: hold the inverse before the change lands, producing an offline-verifiable receipt.
- TraceFold Substrate: Autonomous agent reversibility engine, WASM verifier SDK, and Lean 4 formal specifications.
- Formal Technical Report: Full mathematical foundation, threat model, and exit-code taxonomy.
| Metric | Measured Value | Standard |
|---|---|---|
| Total Attack Rounds | 44 | Continuous adversarial fuzzing & mutation |
| Open High-Severity Defects | 0 | All high-severity holes resolved and re-attacked |
| Verification Basis | Independent Fresh Clone | Tested offline without internal dependencies |
▶ Full Adversarial Progression History (Rounds 1–44)
| Round | 8 | 9 | 10 | 11 | 12 | 13 | ... | 44 (Current) |
|---|---|---|---|---|---|---|---|---|
| Holes Found | 4 | 4 | 1 | 2 | 2 | 3 | ... | 0 |
| Status | Resolved | Resolved | Resolved | Resolved | Resolved | Resolved | ... | 0 High Open |
A number that only ever improves is a number nobody is really testing. Every repair round is subjected to adversarial re-attack. Read complete logs in the TraceFold Repository.
mahirohirakawa@glovrex.com · glovrex.com · Independent Research Laboratory
