noun: actually use u3's version number

bazel/BUILD.bazel

@@ -9,7 +9,7 @@ refresh_compile_commands(
     # For example, specify a dict of targets and any flags required to build.
     targets = [
         "//pkg/ent",
-        "//pkg/noun",
+        "//pkg/u3",
         "//pkg/ur",
         "//pkg/urcrypt",
         "//pkg/vere:urbit",

pkg/noun/BUILD.bazel → pkg/u3/BUILD.bazel

@@ -5,7 +5,7 @@
 load("//bazel:common_settings.bzl", "vere_library")
 
 vere_library(
-    name = "noun",
+    name = "u3",
     srcs = glob(
         [
             "*.c",
@@ -15,16 +15,16 @@ vere_library(
             "jets/**/*.c",
         ],
         exclude = [
-            "noun.h",
+            "u3.h",
             "*_tests.c",
         ],
     ),
-    hdrs = ["noun.h"],
+    hdrs = ["u3.h"],
     includes = ["."],
     linkopts = select({
         # NOTE: macOS builds fail to link the `u3o_Config` symbol (and maybe
         # others) without this. We should figure out why, and remove this.
-        "@platforms//os:macos": ["-force_load $(GENDIR)/pkg/noun/libnoun.a"],
+        "@platforms//os:macos": ["-force_load $(GENDIR)/pkg/u3/libu3.a"],
         "//conditions:default": [],
     }),
     linkstatic = True,
@@ -42,8 +42,8 @@ vere_library(
         "@sigsegv",
         "@softfloat",
     ] + select({
-        "@platforms//os:macos": ["//pkg/noun/platform/darwin"],
-        "@platforms//os:linux": ["//pkg/noun/platform/linux"],
+        "@platforms//os:macos": ["//pkg/u3/platform/darwin"],
+        "@platforms//os:linux": ["//pkg/u3/platform/linux"],
         "//conditions:default": [],
     }),
 )
@@ -61,7 +61,7 @@ cc_test(
         "//conditions:default": [],
     }),
     visibility = ["//visibility:private"],
-    deps = [":noun"],
+    deps = [":u3"],
 )
 
 cc_test(
@@ -73,7 +73,7 @@ cc_test(
         "//conditions:default": [],
     }),
     visibility = ["//visibility:private"],
-    deps = [":noun"],
+    deps = [":u3"],
 )
 
 cc_test(
@@ -85,7 +85,7 @@ cc_test(
         "//conditions:default": [],
     }),
     visibility = ["//visibility:private"],
-    deps = [":noun"],
+    deps = [":u3"],
 )
 
 cc_test(
@@ -97,7 +97,7 @@ cc_test(
         "//conditions:default": [],
     }),
     visibility = ["//visibility:private"],
-    deps = [":noun"],
+    deps = [":u3"],
 )
 
 cc_test(
@@ -109,5 +109,5 @@ cc_test(
         "//conditions:default": [],
     }),
     visibility = ["//visibility:private"],
-    deps = [":noun"],
+    deps = [":u3"],
 )

pkg/noun/hashtable_tests.c → pkg/u3/hashtable_tests.c

@@ -1,6 +1,6 @@
 /// @file
 
-#include "noun.h"
+#include "u3.h"
 
 // defined in noun/hashtable.c
 c3_w _ch_skip_slot(c3_w mug_w, c3_w lef_w);

pkg/noun/jets/a/add.c → pkg/u3/jets/a/add.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_add(u3_atom a,

pkg/noun/jets/a/dec.c → pkg/u3/jets/a/dec.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_inc(u3_atom a)

pkg/noun/jets/a/div.c → pkg/u3/jets/a/div.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_div(u3_atom a,

pkg/noun/jets/a/gte.c → pkg/u3/jets/a/gte.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_gte(u3_atom a, u3_atom b)

pkg/noun/jets/a/gth.c → pkg/u3/jets/a/gth.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_gth(u3_atom a, u3_atom b)

pkg/noun/jets/a/lte.c → pkg/u3/jets/a/lte.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_lte(u3_atom a, u3_atom b)

pkg/noun/jets/a/lth.c → pkg/u3/jets/a/lth.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_lth(u3_atom a, u3_atom b)

pkg/noun/jets/a/max.c → pkg/u3/jets/a/max.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_max(u3_atom a, u3_atom b)

pkg/noun/jets/a/min.c → pkg/u3/jets/a/min.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_min(u3_atom a, u3_atom b)

pkg/noun/jets/a/mod.c → pkg/u3/jets/a/mod.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_mod(u3_atom a,

pkg/noun/jets/a/mul.c → pkg/u3/jets/a/mul.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_mul(u3_atom a,

pkg/noun/jets/a/sub.c → pkg/u3/jets/a/sub.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qa_sub(u3_atom a,

pkg/noun/jets/b/bind.c → pkg/u3/jets/b/bind.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 
   u3_noun

pkg/noun/jets/b/clap.c → pkg/u3/jets/b/clap.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 
   u3_noun

pkg/noun/jets/b/drop.c → pkg/u3/jets/b/drop.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 
   u3_noun

pkg/noun/jets/b/find.c → pkg/u3/jets/b/find.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 STATIC_ASSERT( (UINT32_MAX > u3a_cells),
                "list index precision" );

pkg/noun/jets/b/flop.c → pkg/u3/jets/b/flop.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qb_flop(u3_noun a)

pkg/noun/jets/b/lent.c → pkg/u3/jets/b/lent.c

@@ -4,7 +4,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 STATIC_ASSERT( (UINT32_MAX > u3a_cells),
                "length precision" );

pkg/noun/jets/b/levy.c → pkg/u3/jets/b/levy.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
   static u3_noun
   _levy_in(u3j_site* sit_u, u3_noun a)

pkg/noun/jets/b/lien.c → pkg/u3/jets/b/lien.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
   static u3_noun
   _lien_in(u3j_site* sit_u, u3_noun a)

pkg/noun/jets/b/murn.c → pkg/u3/jets/b/murn.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qb_murn(u3_noun a, u3_noun b)

pkg/noun/jets/b/need.c → pkg/u3/jets/b/need.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 
   u3_noun

pkg/noun/jets/b/reap.c → pkg/u3/jets/b/reap.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 
   u3_noun

pkg/noun/jets/b/reel.c → pkg/u3/jets/b/reel.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
   u3_noun
   u3qb_reel(u3_noun a,

pkg/noun/jets/b/roll.c → pkg/u3/jets/b/roll.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
   u3_noun
   u3qb_roll(u3_noun a,

pkg/noun/jets/b/scag.c → pkg/u3/jets/b/scag.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qb_scag(u3_atom a, u3_noun b)

pkg/noun/jets/b/skid.c → pkg/u3/jets/b/skid.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qb_skid(u3_noun a, u3_noun b)

pkg/noun/jets/b/skim.c → pkg/u3/jets/b/skim.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qb_skim(u3_noun a, u3_noun b)

pkg/noun/jets/b/skip.c → pkg/u3/jets/b/skip.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qb_skip(u3_noun a, u3_noun b)

pkg/noun/jets/b/slag.c → pkg/u3/jets/b/slag.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 
   u3_noun

pkg/noun/jets/b/snag.c → pkg/u3/jets/b/snag.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 
   u3_noun

pkg/noun/jets/b/sort.c → pkg/u3/jets/b/sort.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 
   // like skid, except its callback is $-([* *] ?) and it takes the second

pkg/noun/jets/b/turn.c → pkg/u3/jets/b/turn.c

@@ -3,7 +3,7 @@
 #include "jets/q.h"
 #include "jets/w.h"
 
-#include "noun.h"
+#include "u3.h"
 
 u3_noun
 u3qb_turn(u3_noun a, u3_noun b)