“Certified Rational Envelope System: A Pure Projection-Aware Verifier Layer for Hidden-Fiber Safety.” The paper formalizes a pure projection-aware verifier layer for the Coh framework. It defines hidden realizations, observable traces, projection fibers, hidden cost, certified rational envelopes, declared defect, and a total deterministic verifier. The central result proves that if an observable trace is accepted, then every hidden realization in its projection fiber has hidden cost bounded by the declared defect. This artifact is deliberately layer-pure. It excludes composition, category structure, oplax laws, and metric geometry. Those are handled by the previously released bridge/category layers and future higher-layer artifacts.
Micheal Ellington (Mon,) studied this question.