Expand description
Human correction — telling memory that something it learned is wrong.
§Why this is evidence, not a delete
Everything else in the graph moves confidence by observation: an edge is
corroborated or contradicted, the Beta counts move, the posterior mean
follows. A human saying “that’s wrong” is the highest-authority observation
the system can receive, so it enters the same way — as contradicting
evidence at Provenance::User weight — rather than as a silent write of
a lower number or a quiet delete.
That buys three things a delete cannot. The correction accumulates (saying
it twice is twice the evidence). It stays visible (graph decay-report
shows the counts that moved). And it degrades gracefully: an edge that was
believed for good reason survives one contradiction with reduced
confidence, which is the correct posture when a human and thirty
observations disagree.
§What --wrong on an entity means
An entity has no truth value. “Rust” is not true or false; what can be wrong is a claim about Rust, and claims live on edges. So contradicting an entity means contradicting the claims it takes part in.
Which claims is exactly the ambiguity, so this module refuses to guess: one live edge is unambiguous and is contradicted, several are reported back for the human to choose between, and contradicting all of them is available but must be asked for. Nothing is damaged on a guess.
§Removal
Correction::Forget is the escape hatch for memory that should not exist
at all rather than be believed less. It is destructive, so the plan and the
act are two separate requests: an unconfirmed forget only reports what would
go, and nothing is removed until a caller sends confirmed.
Structs§
- Edge
Correction - One edge after a contradiction, next to where it stood before.
- Entity
Match - An entity, named well enough for a person to recognise it.
- Removal
- What a forget would take, or did.
Enums§
- Correct
Target - What a correction is aimed at.
- Correction
- What to do to the target.
- Correction
Report - The result of one correction request.
Functions§
- correct
- Apply a correction, or report why it was refused.