Repository navigation

feat: a record of another spec stays readable as stored data - #194

Merged

SimonHeybrock merged 3 commits into

mainfrom

184-record-of-another-spec

Nov 13, 2026

Merged

feat: a record of another spec stays readable as stored data#194
SimonHeybrock merged 3 commits into
mainfrom
184-record-of-another-spec

Commits on Nov 13, 2026
- feat: a record of another spec stays readable as stored data
  
  SimonHeybrock
  and
  claude
  committed
  f769067
- fix: readable names the outputs of a record of another spec; no refusal by spec object
  
  SimonHeybrock
  and
  claude
  committed
  94364de
- fix: applications can ask whether a record is of the bound spec, and the views use it
  
  SimonHeybrock
  and
  claude
  committed
  9a6fb08