From 68d78235694c633c956bb9e8a007cad7d65370bc Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 10 Aug 2022 19:38:43 -0400
Subject: Extracted property-based testing machinery into its own module.

---
 stdlib/source/test/aedifex/artifact.lux                        | 5 +++--
 stdlib/source/test/aedifex/artifact/extension.lux              | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot.lux               | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot/build.lux         | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot/stamp.lux         | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot/time.lux          | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot/version.lux       | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 5 +++--
 stdlib/source/test/aedifex/artifact/time.lux                   | 5 +++--
 stdlib/source/test/aedifex/artifact/time/date.lux              | 5 +++--
 stdlib/source/test/aedifex/artifact/time/time.lux              | 5 +++--
 stdlib/source/test/aedifex/artifact/type.lux                   | 5 +++--
 stdlib/source/test/aedifex/artifact/versioning.lux             | 5 +++--
 stdlib/source/test/aedifex/cache.lux                           | 5 +++--
 stdlib/source/test/aedifex/cli.lux                             | 5 +++--
 stdlib/source/test/aedifex/command.lux                         | 3 ++-
 stdlib/source/test/aedifex/command/auto.lux                    | 5 +++--
 stdlib/source/test/aedifex/command/build.lux                   | 5 +++--
 stdlib/source/test/aedifex/command/clean.lux                   | 5 +++--
 stdlib/source/test/aedifex/command/deploy.lux                  | 5 +++--
 stdlib/source/test/aedifex/command/deps.lux                    | 5 +++--
 stdlib/source/test/aedifex/command/install.lux                 | 5 +++--
 stdlib/source/test/aedifex/command/pom.lux                     | 5 +++--
 stdlib/source/test/aedifex/command/test.lux                    | 5 +++--
 stdlib/source/test/aedifex/command/version.lux                 | 5 +++--
 stdlib/source/test/aedifex/dependency.lux                      | 5 +++--
 stdlib/source/test/aedifex/dependency/deployment.lux           | 5 +++--
 stdlib/source/test/aedifex/dependency/resolution.lux           | 5 +++--
 stdlib/source/test/aedifex/dependency/status.lux               | 5 +++--
 stdlib/source/test/aedifex/hash.lux                            | 5 +++--
 stdlib/source/test/aedifex/input.lux                           | 5 +++--
 stdlib/source/test/aedifex/local.lux                           | 5 +++--
 stdlib/source/test/aedifex/metadata.lux                        | 5 +++--
 stdlib/source/test/aedifex/metadata/artifact.lux               | 5 +++--
 stdlib/source/test/aedifex/metadata/snapshot.lux               | 5 +++--
 stdlib/source/test/aedifex/package.lux                         | 5 +++--
 stdlib/source/test/aedifex/parser.lux                          | 5 +++--
 stdlib/source/test/aedifex/pom.lux                             | 5 +++--
 stdlib/source/test/aedifex/profile.lux                         | 5 +++--
 stdlib/source/test/aedifex/project.lux                         | 5 +++--
 stdlib/source/test/aedifex/repository.lux                      | 5 +++--
 stdlib/source/test/aedifex/repository/identity.lux             | 5 +++--
 stdlib/source/test/aedifex/repository/local.lux                | 5 +++--
 stdlib/source/test/aedifex/repository/origin.lux               | 5 +++--
 stdlib/source/test/aedifex/repository/remote.lux               | 5 +++--
 stdlib/source/test/aedifex/runtime.lux                         | 5 +++--
 46 files changed, 137 insertions(+), 91 deletions(-)

(limited to 'stdlib/source/test/aedifex')

diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 53ae67d84..621af00af 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [hash (.only Hash)]
@@ -16,7 +15,9 @@
    [world
     ["[0]" file]
     [net
-     ["[0]" uri]]]]]
+     ["[0]" uri]]]
+   [test
+    ["_" property (.only Test)]]]]
  ["[0]" /
   ["[1][0]" extension]
   ["[1][0]" snapshot]
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 7024ed43b..17267bdab 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [data
@@ -12,7 +11,9 @@
    [math
     ["[0]" random (.only Random)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" / (.only)
    ["/[1]" //
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 8312e69f0..9a71acb9c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -13,7 +12,9 @@
      ["[0]" xml
       ["<[1]>" \\parser]]]]
    [math
-    ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]]
+    ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
+   [test
+    ["_" property (.only Test)]]]]
  ["$[0]" /
   ["[1][0]" build]
   ["[1][0]" stamp]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index c0016b9a6..53be5d10f 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -13,7 +12,9 @@
      ["[0]" xml
       ["<[1]>" \\parser]]]]
    [math
-    ["[0]" random (.only Random)]]]]
+    ["[0]" random (.only Random)]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index 2b4265932..eba776e33 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -16,7 +15,9 @@
     ["[0]" random (.only Random)]]
    [world
     [time
-     ["[0]" instant]]]]]
+     ["[0]" instant]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]]
  ["$[0]" //
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 0a748e1b4..40f181552 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -12,7 +11,9 @@
     ["[0]" text
      ["<[1]>" \\parser]]]
    [math
-    ["[0]" random (.only Random)]]]]
+    ["[0]" random (.only Random)]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]]
  ["$[0]" ///
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 5285d7598..31336c5df 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -13,7 +12,9 @@
      ["[0]" xml
       ["<[1]>" \\parser]]]]
    [math
-    ["[0]" random (.only Random)]]]]
+    ["[0]" random (.only Random)]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]]
  ["[0]" /
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 525c4ec32..470cd66c7 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -18,7 +17,9 @@
      ["n" nat]
      ["i" int]]]
    [time
-    ["[0]" instant]]]]
+    ["[0]" instant]]
+   [test
+    ["_" property (.only Test)]]]]
  ["$[0]" ///
   ["[1][0]" stamp]]
  [\\program
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 2c7d29269..d26f6d55b 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -17,7 +16,9 @@
      ["i" int]]]
    [world
     [time
-     ["[0]" instant (.use "[1]#[0]" equivalence)]]]]]
+     ["[0]" instant (.use "[1]#[0]" equivalence)]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]]
  ["[0]" /
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index a97bcbb8f..e50626c79 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -19,7 +18,9 @@
      ["i" int]]]
    [time
     ["[0]" date (.use "[1]#[0]" equivalence)]
-    ["[0]" year]]]]
+    ["[0]" year]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 288d6169e..d4bc90f4e 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    ["[0]" time]
    [abstract
     [monad (.only do)]]
@@ -14,7 +13,9 @@
     ["[0]" random (.only Random)]
     [number
      ["n" nat]
-     ["i" int]]]]]
+     ["i" int]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index cf47b1ec5..60ec8e199 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [data
@@ -12,7 +11,9 @@
    [math
     ["[0]" random (.only Random) (.use "[1]#[0]" monad)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index fede17e9f..71d9ad175 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -13,7 +12,9 @@
      ["[0]" xml
       ["<[1]>" \\parser]]]]
    [math
-    ["[0]" random (.only Random)]]]]
+    ["[0]" random (.only Random)]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]]
  ["$[0]" //
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 9dbb8405b..f6c75114f 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -25,8 +25,9 @@
    [world
     ["[0]" file]
     ["[0]" program]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [//
   ["@[0]" profile]
   ["@[0]" artifact]
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index b83d643b8..a27e90074 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -16,7 +15,9 @@
     [collection
      ["[0]" list]]]
    [math
-    ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]]
+    ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" / (.only)
    ["/[1]" //
diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux
index 27206b0b7..2169da3fa 100644
--- a/stdlib/source/test/aedifex/command.lux
+++ b/stdlib/source/test/aedifex/command.lux
@@ -1,7 +1,8 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]]]
+   [test
+    ["_" property (.only Test)]]]]
  ["[0]" /
   ["[1][0]" version]
   ["[1][0]" pom]
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 10c249e3e..5dc092327 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -31,8 +31,9 @@
      ["[0]" watch]]
     [time
      ["[0]" instant]]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  ["[0]" //
   ["$[0]" version]
   ["$[0]" build]]
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 81907a9ad..9aea4828c 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -22,8 +22,9 @@
     ["[0]" file]
     ["[0]" shell (.only Shell)]
     ["[0]" program]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  ["[0]" //
   ["@[0]" version]
   ["$/[1]" //
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index bbc47ccfe..b33d6d911 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -21,8 +21,9 @@
      ["n" nat]]]
    [world
     ["[0]" file (.only Path)]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [//
   ["@[0]" version]
   [//
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index dfa352553..55fac78c6 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -32,8 +32,9 @@
     ["[0]" file]
     ["[0]" program (.only Program)]
     ["[0]" shell]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [//
   ["$[0]" build]
   ["$[0]" install]
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 905afb575..15d5e3986 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -25,8 +25,9 @@
    [world
     ["[0]" program]
     ["[0]" file]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  ["[0]" //
   ["@[0]" version]
   ["$/[1]" //
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index 930cc17f4..ff8bca5e9 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -21,8 +21,9 @@
    [world
     ["[0]" file]
     ["[0]" program (.only Program)]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [//
   ["$[0]" version]
   [//
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 21deefa0f..32a10f8a3 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -18,8 +18,9 @@
     ["[0]" random]]
    [world
     ["[0]" file]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [//
   ["@[0]" version]
   [//
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 440123f65..1209b4020 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -21,8 +21,9 @@
     ["[0]" file]
     ["[0]" shell]
     ["[0]" program]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  ["[0]" //
   ["@[0]" version]
   ["@[0]" build]
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index 1becba8d2..7d2877738 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -20,8 +20,9 @@
      ["[0]" version]]]
    [world
     ["[0]" console (.only Console Mock)]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [///
   ["@[0]" profile]]
  [\\program
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 0a01d3dfe..fbed2aaaa 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -9,7 +8,9 @@
      ["$[0]" order]
      ["$[0]" hash]]]
    [math
-    ["[0]" random (.only Random)]]]]
+    ["[0]" random (.only Random)]]
+   [test
+    ["_" property (.only Test)]]]]
  [//
   ["@[0]" artifact]]
  [\\program
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 2eeb0abb8..dbc458897 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -31,8 +31,9 @@
       ["[1]" client]
       ["[1]/[0]" status]
       ["@[1]" /]]]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  ["$[0]" // (.only)
   ["[1]/" //
    ["[1][0]" package]]]
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 153d4b4ac..6bc81298e 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -26,8 +26,9 @@
      ["[0]" list]]]
    [math
     ["[0]" random (.only Random)]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  ["$[0]" ///
   ["[1][0]" package]
   ["[1][0]" repository]
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index bbb7188cb..b61d35630 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -10,7 +9,9 @@
     ["[0]" binary
      ["[1]T" \\test]]]
    [math
-    ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]]
+    ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
+   [test
+    ["_" property (.only Test)]]]]
  ["$[0]" ///
   ["[1][0]" hash]]
  [\\program
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 0bce4febc..61cb569fa 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -17,7 +16,9 @@
    [math
     ["[0]" random (.only Random)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]]
  [test
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index b9f8195f6..9c296e12c 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -18,8 +18,9 @@
     ["[0]" random]]
    [world
     ["[0]" file]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [//
   ["$[0]" profile]]
  [\\program
diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index d621d683c..66702a2e3 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -1,13 +1,14 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [data
     ["[0]" text]]
    [math
-    ["[0]" random (.only Random)]]]]
+    ["[0]" random (.only Random)]]
+   [test
+    ["_" property (.only Test)]]]]
  [//
   ["@[0]" artifact]]
  [\\program
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index 00e8062a6..3392f6782 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -1,13 +1,14 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [data
     ["[0]" text (.use "[1]#[0]" equivalence)]]
    [math
-    ["[0]" random]]]]
+    ["[0]" random]]
+   [test
+    ["_" property (.only Test)]]]]
  ["[0]" /
   ["[1][0]" artifact]
   ["[1][0]" snapshot]
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 1e05fbc3a..f67d1e130 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -34,8 +34,9 @@
      ["[0]" month]
      ["[0]" instant]
      ["[0]" duration]]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" / (.only)
    ["/[1]" // (.only)
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 983b78d6d..b41a6ce15 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -34,8 +34,9 @@
      ["[0]" month]
      ["[0]" instant (.only Instant)]
      ["[0]" duration]]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  ["$[0]" ///
   ["[1][0]" artifact
    ["[1]/[0]" type]
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 770bbee0a..035765b17 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -22,7 +21,9 @@
     [number
      ["n" nat]]]
    [world
-    ["[0]" file]]]]
+    ["[0]" file]]
+   [test
+    ["_" property (.only Test)]]]]
  [//
   ["$[0]" profile]
   [//
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 01daa640e..fb2852701 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [hash (.only Hash)]]
@@ -20,7 +19,9 @@
      ["n" nat]]]
    [meta
     ["[0]" code (.only)
-     ["<[1]>" \\parser]]]]]
+     ["<[1]>" \\parser]]]
+   [test
+    ["_" property (.only Test)]]]]
  [//
   ["@[0]" profile]]
  [\\program
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index 8bb184347..c6283f30d 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [control
@@ -14,7 +13,9 @@
      ["[0]" xml (.only)
       ["<[1]>" \\parser]]]]
    [math
-    ["[0]" random]]]]
+    ["[0]" random]]
+   [test
+    ["_" property (.only Test)]]]]
  [//
   ["@[0]" profile]]
  [\\program
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index dbbfdf6b0..9a2c5ba3c 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [hash (.only Hash)]
@@ -26,7 +25,9 @@
      [meta
       [cli
        ["[0]" compiler (.only)
-        ["$[1]" \\test]]]]]]]]
+        ["$[1]" \\test]]]]]]
+   [test
+    ["_" property (.only Test)]]]]
  [//
   ["@[0]" artifact]
   ["@[0]" dependency]]
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index 5f4ebe03e..2db5873e8 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -16,7 +15,9 @@
    [math
     ["[0]" random (.only Random) (.use "[1]#[0]" monad)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [//
   ["@[0]" profile]]
  [\\program
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index b76a8f1f1..72c36f74b 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [equivalence (.only Equivalence)]
     [hash (.only Hash)]
@@ -21,7 +20,9 @@
     ["[0]" random (.only Random)]]
    [world
     [net
-     ["[0]" uri (.only URI)]]]]]
+     ["[0]" uri (.only URI)]]]
+   [test
+    ["_" property (.only Test)]]]]
  ["[0]" /
   ["[1][0]" identity]
   ["[1][0]" origin]
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 5c9d77792..8fd54bad8 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -1,12 +1,13 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [\\specification
      ["$[0]" equivalence]]]
    [math
-    ["[0]" random (.only Random)]]]]
+    ["[0]" random (.only Random)]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 811a8e4e9..52a91bea6 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -19,8 +19,9 @@
    [world
     ["[0]" file]
     ["[0]" program]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index b99739009..e07040106 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -1,12 +1,13 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [\\specification
      ["$[0]" equivalence]]]
    [math
-    ["[0]" random (.only Random)]]]]
+    ["[0]" random (.only Random)]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index ceec7c9ec..a5380ddec 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [control
@@ -25,7 +24,9 @@
      ["[0]" http
       ["[1]" client]
       ["[1]/[0]" status]
-      ["@[1]" /]]]]]]
+      ["@[1]" /]]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" / (.only)
    ["/[1]" //
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index 2a10e763e..f48f0eb03 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -16,7 +15,9 @@
    [math
     ["[0]" random (.only Random) (.use "[1]#[0]" monad)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
-- 
cgit v1.2.3