feat: give every null an equality term and let an order space place nulls first or last by coderdan · Pull Request #503 · cipherstash/vitaminc

docs(adr): decide how an absent value gets an equality term and an order term

coderdan

committed

7cf8b8a

feat(normalize)!: give every null an equality term so the index no longer shows which values were absent

coderdan

committed

4a351c1

feat(ore)!: let an order space place nulls first or last so ORDER BY with nulls can be answered from the index

coderdan

committed

e58e614

test(ore): pin how a space that places nulls sorts, refuses, queries and keeps apart from the plain space

coderdan

committed

7711fe6

docs(ore): explain placing nulls first or last, what a placed null reveals, and how a range must skip the sentinel

coderdan

committed

1849b9c

docs(adr,normalize): match the ADR to the shipped API and say what Reserved means in plain words

coderdan

committed

0972c79

fix(ore): refuse a null's term or query for a runtime target the scheme does not take

coderdan

committed

7b5580f

test(aead): count wiped words with as_chunks so the wipe test passes newer clippy

coderdan

committed

89cabd0

fix(ore): read every byte when checking for the sentinel so the time does not depend on the value

coderdan

committed

1c50a8a

test(ore): pin every null label and sentinel literally, and close the gaps mutation found

coderdan

committed

ed9dcd1

ci(normalize): skip the null encoder's equivalent mutants in the mutation gate

coderdan

committed

6dd0678

docs(prf): say a null has an equality term, as the normalizer now gives it one

coderdan

committed

89cfe7c

docs(ore,adr): say how terms of the two policies meet, and why a scheme cannot answer for every target

coderdan

committed

3786939

chore(ore): allow clippy's type complexity on the runtime null methods, as on encrypt_checked

coderdan

committed

6853783

refactor(ore): name every null policy getter null_order, as the space and normalizer already do

coderdan

committed

910160d

feat(ore): make a marker space's null policy part of its type, so two policies' terms cannot meet

coderdan

committed

b14b71d

docs(adr): record that a marker space's null policy is a type and a runtime space's a value

coderdan

committed

e1253e7

test(ore): show a policy target asks the answer of the target it is set on

coderdan

committed

3d57b89

test(ore): show a query space refuses a collected plaintext of another null policy, as a term space does

coderdan

committed

97dbe4d

Navigation Menu

Repository navigation

feat: give every null an equality term and let an order space place nulls first or last - #503

feat: give every null an equality term and let an order space place nulls first or last#503
coderdan merged 19 commits into
feat/vcffi-typed-nullfrom
feat/null-index-terms

Commits on Oct 21, 2026

docs(adr): decide how an absent value gets an equality term and an order term

feat(normalize)!: give every null an equality term so the index no longer shows which values were absent

feat(ore)!: let an order space place nulls first or last so ORDER BY with nulls can be answered from the index

test(ore): pin how a space that places nulls sorts, refuses, queries and keeps apart from the plain space

docs(ore): explain placing nulls first or last, what a placed null reveals, and how a range must skip the sentinel

docs(adr,normalize): match the ADR to the shipped API and say what Reserved means in plain words

fix(ore): refuse a null's term or query for a runtime target the scheme does not take

test(aead): count wiped words with as_chunks so the wipe test passes newer clippy

fix(ore): read every byte when checking for the sentinel so the time does not depend on the value

test(ore): pin every null label and sentinel literally, and close the gaps mutation found

ci(normalize): skip the null encoder's equivalent mutants in the mutation gate

docs(prf): say a null has an equality term, as the normalizer now gives it one

docs(ore,adr): say how terms of the two policies meet, and why a scheme cannot answer for every target

chore(ore): allow clippy's type complexity on the runtime null methods, as on encrypt_checked

refactor(ore): name every null policy getter null_order, as the space and normalizer already do

feat(ore): make a marker space's null policy part of its type, so two policies' terms cannot meet

docs(adr): record that a marker space's null policy is a type and a runtime space's a value

test(ore): show a policy target asks the answer of the target it is set on

test(ore): show a query space refuses a collected plaintext of another null policy, as a term space does