sounio-epistemic-types

name	sounio-epistemic-types
description	Work on Sounio epistemic computing: `Knowledge`/uncertainty/confidence/provenance, ontology bindings, and dependent epistemic subtyping/proofs; use when editing `compiler/src/epistemic/`, `compiler/src/dependent/`, or `stdlib/epistemic/`.

Sounio Epistemic Types

Overview

Make changes to Sounio’s epistemic system without breaking its invariants or collapsing uncertainty into confidence (or vice versa).

Workflow

1) Start from the invariants

• Read stdlib/epistemic/SEMANTICS.md and treat it as the spec for “what must never be violated”.
• When changing semantics, update tests (or add new ones) that protect those invariants.

2) Locate the implementation layer you’re editing

• Frontend surface syntax / parsing: compiler/src/ast/mod.rs, compiler/src/parser/, compiler/src/parser/tests/epistemic.rs
• Core compiler epistemic structures: compiler/src/epistemic/ (e.g., knowledge.rs, promotion.rs, kec.rs)
• Dependent epistemic typing + subtyping proofs: compiler/src/dependent/ (e.g., types.rs, subtyping.rs)
• Stdlib semantics + user-facing APIs: stdlib/epistemic/

3) Define purity/effects explicitly

• If an epistemic operation changes confidence or provenance, decide whether it must be effectful (and enforce via effect checking).
• Keep “confidence monotone under pure transforms” enforceable by construction.

References

• Epistemic map + search patterns: references/epistemic-navigation.md