Skip to content

wish-shape freedom: the door absorbs the checks the API dropped - #74

Merged
cherusk merged 1 commit into
mainfrom
wish-shape-freedom-door
Sep 21, 2026
Merged

cherusk merged 1 commit into
mainfrom
wish-shape-freedom-door

Conversation

@godon-robot

@godon-robot godon-robot Bot commented Sep 21, 2026

Copy link
Copy Markdown
Contributor

Companion to godon-images #325 and godon-cli #33. With the API carrying the wish unshaped, the controller's door owns every field-level check. This absorbs what only the API used to check:

  • band lo/hi/target must be finite numbers (inf/NaN refused)
  • limits.exclude must be a list of param names
  • limits.maxChange must be a fraction in (0, 1) — exclusive, aligned with the planner's own plan-time rule
  • budget (non-negative int) and regime (standing-only) were already the door's — unchanged

Five new refusal tests pin the absorbed checks; full suite 144/144 green.

The door is now complete for today's grammar; the next rung (claims[] + terms desugar, per the wish-stack note) lands here and nowhere else.

Co-authored-by: cherusk 10729954+cherusk@users.noreply.github.com

Wish-shape freedom (2026-09-21, companion to godon-images #325 and
godon-cli #33): the API carries the wish unshaped, so the controller's
door now owns every field-level check. Absorbed: band lo/hi/target
finiteness, limits.exclude shape (list of param names), limits.maxChange
range in (0, 1) exclusive - aligned with the planner's own plan-time
rule. Budget and regime checks were already the door's. Five new
refusal tests pin it.

Co-authored-by: cherusk <10729954+cherusk@users.noreply.github.com>
@godon-robot
godon-robot Bot force-pushed the wish-shape-freedom-door branch from 83c7557 to e0e54b6 Compare September 21, 2026 16:49
@cherusk
cherusk merged commit 8853660 into main Sep 21, 2026
2 checks passed
@cherusk
cherusk deleted the wish-shape-freedom-door branch September 21, 2026 16:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant