Skip to content

model: read_unverified was still reading .err off a Res - #1

Merged
martin-k-m merged 1 commit into
mainfrom
harden/shuttle
Aug 21, 2026
Merged

martin-k-m merged 1 commit into
mainfrom
harden/shuttle

Conversation

@martin-k-m

Copy link
Copy Markdown
Collaborator
  • model: read_unverified was still reading .err off a Res

selvedge moved arc.read to Res[Archive, Str]. shuttle kept reading an err field
off the result, so every archive load failed at runtime with "cannot access
field err of a non-record". twill check was clean and all five suites were
green the whole time, because nothing under tests/ ever opened an archive.

tests/model_test.tw is that test: it writes an archive with selvedge, loads it
back through shuttle, and covers the missing-file case. It fails against the old
code. Six suites now, not five, and the README says six.

examples/serve.tw runs end to end once loom and selvedge have produced the
archive, and the chain is written down. Two more bugs twill check does not
catch, both in the example: an array literal with a non-literal element is a
list rather than a Tensor, and reshape wants an Arr[I64].

twill has a clock. mono_ns and clock_now_ms both work, and "there is no clock"
appeared in this README, docs/needs.md, four source files and the changelog. For
the batcher the real blocker was never the clock, it is that there is no
concurrency to hold a batch against. Said so.

round over tensors exists and is half-away-from-zero, which closes needs entry
14. Entry 16, an import form that expresses a package dependency, is the one
entry twill 1.7 did not move: this suite needs selvedge checked out beside it,
and the README now says so rather than pretending otherwise.
@martin-k-m
martin-k-m merged commit c65dc0d into main Aug 21, 2026
3 checks passed
@martin-k-m
martin-k-m deleted the harden/shuttle branch August 21, 2026 13:56
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