Repository navigation

ceilings: strict JSON types in constraint evaluation; parity with the Python implementation - #2

Merged

rafaelasor merged 16 commits into

mainfrom

fix/110-nonscalar-context

Oct 5, 2026

Merged

ceilings: strict JSON types in constraint evaluation; parity with the Python implementation#2
rafaelasor merged 16 commits into
mainfrom
fix/110-nonscalar-context

Commits on Oct 5, 2026
- ceilings: allow- and deny-lists refuse a request value that is not a JSON scalar
  
  rafaelasor
  and
  claude
  committed
  6146711
- ceilings: a one_of that is not an array is malformed; unknown constraints compare as JSON
  
  rafaelasor
  and
  claude
  committed
  a387fc4
- ceilings: an unknown constraint describes itself and denies in the Python implementation's words
  
  rafaelasor
  and
  claude
  committed
  795d6fb
- ceilings: every built-in ceiling refuses a request value of the wrong JSON type
  
  rafaelasor
  and
  claude
  committed
  8e2a8ec
- ceilings: a constraint bound of the wrong type is malformed
  
  rafaelasor
  and
  claude
  committed
  bb2967f
- authority: _scope is always the scope being checked
  
  rafaelasor
  and
  claude
  committed
  ad7d91b
- ceilings: a key, a one_of and an applies_to are read strictly
  
  rafaelasor
  and
  claude
  committed
  990e093
- authority: different ceiling types under one key are not narrower
  
  rafaelasor
  and
  claude
  committed
  3812b96
- guard: strict metering reads own fields, and a null quantity is undeclared
  
  rafaelasor
  and
  claude
  committed
  7ca134b
- ceilings: members order and print by JSON type; a parseJson number is a number
  
  rafaelasor
  and
  claude
  committed
  4d8a3a9
- display: a number without its literal prints as Python's float repr
  
  rafaelasor
  and
  claude
  committed
  b83193f
- docs: CHANGELOG for the review of #2
  
  rafaelasor
  and
  claude
  committed
  b10ed41
- ceilings: a constraint is an object, and its type a string
  
  rafaelasor
  and
  claude
  committed
  571d5b4
- authority, ceilings: the round-2 review of #2
  
  rafaelasor
  and
  claude
  committed
  c3d268e
- ceilings: an allow-list's and a deny-list's members are read-only
  
  rafaelasor
  and
  claude
  committed
  de20c3a
- CHANGELOG: the bare denial reaches every reader
  
  rafaelasor
  and
  claude
  committed
  a483f1b

Commits

Commits on Oct 5, 2026