Start from an exact source revision, author identity, and immutable text—not a reconstructed memory.
OVERLIFT DEMO · MEANING PRESERVATION
Compare the source, candidate, accepted state, and rollback.
Run twelve deterministic cases across protected numbers, obligations, negation, citations, identity, consent, symbolic uncertainty, stale revisions, source corrections, exact acceptance, and recovery.
DETERMINISTIC MEANING-PRESERVATION LAB
Can the system improve the language without changing what the author actually said?
Compare the immutable source, generated candidate, exact diff, protected claims, current authority, and accepted revision. Eligible cases can be committed and rolled back inside this same-origin simulation; blocked cases cannot be talked into approval.
Type the facts, numbers, dates, citations, duties, uncertainty, consent, and safety boundaries that must survive.
Show the candidate beside the source and compute the exact change. “Sounds better” is not evidence.
Only current authority can accept an eligible derived revision. Every commit is labeled, verified, receipted, and reversible.
Loading contract…
Binding exact source and candidate revisions
The laboratory is loading its same-origin deterministic scenario contract.
——
——
——
EXACT DIFF
What changed—not merely how the rewrite feels
RemovedAdded
—
PROTECTED MEANING
Claims the editor may not silently rewrite
AUTHORITY
Who may accept—and why
—
No external mutation occurs in this laboratory.
Semantic operations
—
Typed receipt
—
No authoritative state has changed.
Simulation boundary: this laboratory edits no real document, sends no message, changes no account, and grants no production approval. It demonstrates candidate-versus-accepted authority, exact comparison, abstention, reversible commit, and receipt construction in the browser.