cess
Installation
SKILL.md
Counterexample-Supplemented Sketches
Treat CESS as a two-level synthesis and evaluation method. Evolve the user-governed sketch; compile it into a replaceable projection; discover failures in simulation; promote approved failures into counterexamples; and require the active case plus curated regressions to pass both deterministic checks and review against the current sketch.
Preserve the Core Contract
Keep these artifacts and roles distinct:
| Symbol | Artifact or role | Responsibility |
|---|---|---|
S |
Sketch | State the user-governed behavior, policy order, interfaces, known rules, and explicit holes. |
K |
Anchors | Preserve fixed repository interfaces, types, protocols, and environmental constraints. |
P |
Compiled projection | Implement S + K as replaceable code, prompts, configuration, or other executable surfaces. Some CESS material calls this H. |
A |
Accepted-CE archive | Preserve every approved failure, correction, policy change, and provenance record. |
R ⊆ A |
Regression set | Retain curated cases that reject distinct known wrong implementations. |
G |
Deterministic gate | Run replay and approved-output compare over the active case and R. |
Apply this acceptance rule to the active case and curated regression set R: