Repository navigation

Locate every Engine error at its prompt line and clean up runvil-lua - #194

Merged

vinniefalco merged 36 commits into

cppalliance:masterfrom

vinniefalco:master

Nov 4, 2026

Merged

Locate every Engine error at its prompt line and clean up runvil-lua#194
vinniefalco merged 36 commits into
cppalliance:masterfrom
vinniefalco:master

Commits on Nov 3, 2026
- Remove SetRule, SetEvidence, and SetTool
  vinniefalco
  committed
  9dca712
- Remove DepthVia from the call-depth failure
  vinniefalco
  committed
  dd86a20
- Add `place` and `coordinates` for error locations
  vinniefalco
  committed
  b682c1b
- Locate failures that reach Lua on the author's prompt line
  vinniefalco
  committed
  126a8ea
Commits on Nov 4, 2026
- Give Engine failures the prompt line that caused them
  vinniefalco
  committed
  c5c876d
- Give parse and run-start failures their prompt line
  vinniefalco
  committed
  f2c5fc5
- Add error location invariants and correct stale comments
  vinniefalco
  committed
  fc94388
- Remove `SpawnVia` and the cap name from the depth-cap error
  vinniefalco
  committed
  65c49c3
- Call the coroutine shim chunk a shim chunk, not a prelude
  vinniefalco
  committed
  539342b
- Say which Engine globals `engine_globals` installs
  vinniefalco
  committed
  9524b89
- Share one copy of each error helper across Engine crates
  vinniefalco
  committed
  bf50999
- Correct error-value docs and gate test-only store fields
  vinniefalco
  committed
  9a4a152
- Read universal error string fields from one table
  vinniefalco
  committed
  cad74b1
- Move chunk-line helpers into a `chunk_line` module
  vinniefalco
  committed
  d4cf401
- Replace `ModelReport` with `ModelCall` in model dispatch
  vinniefalco
  committed
  269b9e7
- Give the retained-error rule one home in the VM docs
  vinniefalco
  committed
  3499d9f
- Trim restated failure rules from the parse docs
  vinniefalco
  committed
  6eeec80
- Correct request docs and narrow two protocol items
  vinniefalco
  committed
  67d1f08
- Hold a task's live position in its running phase
  vinniefalco
  committed
  7ca443a
- Refuse tool_calls on a non-assistant record at the add
  vinniefalco
  committed
  4b577ce
- Correct models and models loop docs to match the code
  vinniefalco
  committed
  d9a0130
- State which type-name rule each refusal uses
  vinniefalco
  committed
  dbf81f1
- Rename private fields that collide with nearby names
  vinniefalco
  committed
  121a7b3
- Move `DiscoveryTool` into `bindings` and narrow offers
  vinniefalco
  committed
  4951eda
- Break three module cycles through `vm`
  vinniefalco
  committed
  05ebcad
- Correct VM docs and drop `prose::install`
  vinniefalco
  committed
  6afba74
- Drop the alias module and keep the offer refusal private
  vinniefalco
  committed
  83bbb8e
- Move adhoc tools to the crate root and split the lookup
  vinniefalco
  committed
  fb94907
- Share one registry lookup and frozen guard in proxy
  vinniefalco
  committed
  83a4fb2
- Rename the offers handle and the VM install helpers
  vinniefalco
  committed
  99473df
- Raise the internal failure for poisoned locks in Lua
  vinniefalco
  committed
  56b9766
- Correct the Lua crate docs and narrow `exhaustion_detail`
  vinniefalco
  committed
  5a1f1f9
- Correct small Lua module docs and reuse `cancelled`
  vinniefalco
  committed
  e84d52f
- Exclude crate-private `Err` markers from the error rule
  vinniefalco
  committed
  9b5baa6
- Drop the model handle loop from the install_coro_shims doc
  vinniefalco
  committed
  983ad12
- Drop model handle methods from Engine docs and tests
  vinniefalco
  committed
  37019f6

Commits

Commits on Nov 3, 2026

Commits on Nov 4, 2026