Matthew LeVan

**Describe the bug** "has no symbols" linker warnings for these libraries occur when building with `bazel build //...` on `macos-x86_64`: ``` INFO: From Linking external/argon2/libargon2.a: /Library/Developer/CommandLineTools/usr/bin/ranlib: file: bazel-out/darwin-fastbuild/bin/external/argon2/libargon2.a(thread.o) has no...

potentially incorrect decl/def of global `_u3o_Config` variable

1

@joemfb pointed my attention back at L25 of `pkg/noun/BUILD.bazel`, which uses the `-force_load` option on `macos` to resolve a linker error that otherwise occurs during build.[^1] We shouldn't have to...

macos: `bazel build //pkg/vere:boot-fake-ship` produces `libsigsegv (stackoverflow_deinstall_handler): Cannot allocate memory`

7

**Describe the bug** On both `macos-x86_64` and `macos-arm64`, booting a ship works without error when executing the `urbit` binary from the console. However, when trying to boot a fake ship...

Fakeship tests fail on macOS builds

2

https://github.com/urbit/vere/actions/runs/3715632920/jobs/6301027661 Same errors on `macos-x86_64` and `macos-arm64`.

`-build-file` with a core seems stateful

5

**Describe the bug** Flipping the definition of a core in a file back and forth between two versions breaks the compilation via `-build-file` on the second flip. See reproduction. #5242...

Rust and Hoon side interpreters for the IR implementation in the target branch `jb/nouncode`.

PR #245 implements a denser representation of linearized instructions output for the subject-knowledge analysis system. It replaces the `$bile` structure with a custom aura called `@uwoo`. By replacing `$bile`s with...

disk: replay, epoch compatibility, and lmdb modules

1

This PR adds bare bones replay functionality for `vere-v3.0`-style piers, meaning that one may: - Boot ships with the `vere-v3.0` king and Ares serf - Restart ships which have been...