A Caveat program

Glowcap or duskcap

Four mushrooms look alike. Some make you glow; some make you heavy. Everything on this page — every label, the belief, the trust decision — can tell you why, and the runtime checks the citations: an explanation may leave things out, but it can never cite something that didn't count.

Change what you know

Make a decision, then learn something new. See what changed, why the decision reopened, and what it still remembers.

Glow 0 s Heavy 0 s Time 0:00

What the slime believes

Trust journal

    No decision yet. Trust is made, doubted and remade by what you observe.

    What Caveat just did

      Checked evidence references

      A label says what it rests on. The runtime rejects citations outside the value's recorded dependencies. Evidence quality and the explanation's accuracy still need judgment.

      bind $m.label = "Could be a duskcap — taste first"
    when $m_unknown and uncertain
    because contradiction;

      Caveats that arrive late

      When a taste fades, one line qualifies everything built on it. Decisions already made keep what they knew.

      on tick when $m_faded == 0 and now - $m_tasted_at >= 60
    qualify taste_$m with taste_faded;

      Decisions that remember

      Trust is committed, reopened and recommitted. Each revision is grounded on exactly what it used, and the journal keeps it all in order.

      on absorb when reopened(trust) and recovery >= 2
    commit trust because enough using recovery;