Repository navigation

Clarify annotation defaults and add openWorldHint - #355

Draft

kenchris wants to merge 2 commits into

webmachinelearning:mainfrom

kenchris:hint-defaults-and-open-world

Draft

Clarify annotation defaults and add openWorldHint#355
kenchris wants to merge 2 commits into
webmachinelearning:mainfrom
kenchris:hint-defaults-and-open-world

Commits on Oct 20, 2026
- Say that a hint a tool leaves out is not an assurance
  kenchris
  committed
  3ef6de3
- Add an openWorldHint annotation
  kenchris
  committed
  c2f9033