Carry examples and counterexamples on a rubric - #12

Merged

pedro-pscunha merged 18 commits into

mainfrom

feat/rubric-examples

Sep 22, 2026

Commits on Sep 22, 2026

Carry examples and counterexamples on a rubric
pedro-pscunha
committed
7b06dcc
Document rubric examples and why they are flattened
pedro-pscunha
committed
be48eac
Bump to 0.1.1
pedro-pscunha
committed
b12df1d
Give noul criteria examples, and refuse contradictory ones
pedro-pscunha
committed
b4fd732
Default the example clauses to None, not an empty tuple
pedro-pscunha
committed
4566bd8
Prove the noul half of the invariant in the live test
pedro-pscunha
committed
0211d5c
Refuse a clause given as one string, and fallback off the runtime paths
pedro-pscunha
committed
4dd456b
State the clause labels in the contract, and settle the capture's version
pedro-pscunha
committed
6bd9655
Refuse a blank rubric only when examples are attached to it
pedro-pscunha
committed
9997dcf
Pin the vector's shape, blankness and duplicate equality in the contract
pedro-pscunha
committed
6f52cc9
Name the C0 block exactly, and why the two checks disagree about " a"
pedro-pscunha
committed
4840a8f
Make a rubric copyable and picklable again
pedro-pscunha
committed
c7f6822
State every legality rule in the contract, and undate the changelog
pedro-pscunha
committed
30d0828
Refuse a line break inside an example or counterexample
pedro-pscunha
committed
3cf6a2f
State that validation is over the declared items, not the rendered text
pedro-pscunha
committed
497ba1f
Vendor spec/ from guideme-rust and drive the golden test from the vector
pedro-pscunha
committed
d519464
Make two contract universals claims about the renderer, not the string
pedro-pscunha
committed
24aefe7
Date the 0.1.1 changelog heading
pedro-pscunha
committed
7045ec9

Navigation Menu

Carry examples and counterexamples on a rubric - #12

Carry examples and counterexamples on a rubric#12
pedro-pscunha merged 18 commits into
mainfrom
feat/rubric-examples

Commits on Sep 22, 2026

Carry examples and counterexamples on a rubric

Document rubric examples and why they are flattened

Bump to 0.1.1

Give noul criteria examples, and refuse contradictory ones

Default the example clauses to None, not an empty tuple

Prove the noul half of the invariant in the live test

Refuse a clause given as one string, and fallback off the runtime paths

State the clause labels in the contract, and settle the capture's version

Refuse a blank rubric only when examples are attached to it

Pin the vector's shape, blankness and duplicate equality in the contract

Name the C0 block exactly, and why the two checks disagree about " a"

Make a rubric copyable and picklable again

State every legality rule in the contract, and undate the changelog

Refuse a line break inside an example or counterexample

State that validation is over the declared items, not the rendered text

Vendor spec/ from guideme-rust and drive the golden test from the vector

Make two contract universals claims about the renderer, not the string

Date the 0.1.1 changelog heading