Andy Dixon
08a265f0fa
A belief with no live evidence on either side now derives the status 'unknown' instead of sitting tentatively at its prior. Withdrawing every piece of evidence leaves the proposition unknown, never rejected, and introspection answers 'I do not know whether X' rather than quoting the prior. Hypotheses keep their own status because they are proposals by construction. Migration 0019 widens the status constraint; the docs define every epistemic number and how absence of evidence is handled.
7 lines
436 B
SQL
7 lines
436 B
SQL
-- Explicit unknown (review pass §7.2 item 13): a belief with no live evidence
|
|
-- on either side is 'unknown', not tentatively held at its prior. Absence
|
|
-- of evidence is not evidence of falsity.
|
|
ALTER TABLE beliefs DROP CONSTRAINT IF EXISTS beliefs_status_check;
|
|
ALTER TABLE beliefs ADD CONSTRAINT beliefs_status_check
|
|
CHECK (status IN ('hypothesis','tentative','likely','accepted','contested','rejected','superseded','unknown'));
|