req: 3b: Add more verification requirements

2 files changed, 73 insertions, 0 deletions

diff --git a/devel/requirements/3b_runner.xml b/devel/requirements/3b_runner.xml
index 8defbe5..910546f 100644
--- a/devel/requirements/3b_runner.xml
+++ b/devel/requirements/3b_runner.xml
@@ -194,6 +194,34 @@
                     <title>Runner.Verify.rootpw.Crypt</title>
                     <para>The system shall verify that the value for the <literal>rootpw</literal> key is in the format: <literal>$</literal>, either <literal>2</literal> for Blowfish or <literal>6</literal> for SHA-512, <literal>$</literal>, and then variant data.</para>
                 </formalpara>
+                <formalpara id="Runner.Verify.language">
+                    <title>Runner.Verify.language</title>
+                    <para>If a <literal>language</literal> key is present in the HorizonScript, the system shall verify that the HorizonScript contains exactly one <literal>language</literal> key.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.language.Format">
+                    <title>Runner.Verify.language.Format</title>
+                    <para>The system shall verify that the value of the <literal>language</literal> key, if present, is a valid ISO 639-1 language code, optionally followed by an ASCII underscore (<literal>_</literal>) and ISO 3166-1 country code, optionally followed by the string literal <literal>.UTF-8</literal>.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.keymap">
+                    <title>Runner.Verify.keymap</title>
+                    <para>If a <literal>keymap</literal> key is present in the HorizonScript, the system shall verify that the HorizonScript contains exactly one <literal>keymap</literal> key.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.keymap.Valid">
+                    <title>Runner.Verify.keymap.Valid</title>
+                    <para>The system shall verify that the value of the <literal>keymap</literal> key, if present, is a valid keyboard layout available for use in an Adélie Linux system.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.firmware">
+                    <title>Runner.Verify.firmware</title>
+                    <para>The system shall verify that the HorizonScript contains at most one <literal>firmware</literal> key.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.firmware.Boolean">
+                    <title>Runner.Verify.firmware.Boolean</title>
+                    <para>The system shall verify that the value of the <literal>firmware</literal> key, if present, is either <literal>true</literal> or <literal>false</literal>.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.firmware.ForceOff">
+                    <title>Runner.Verify.firmware.ForceOff</title>
+                    <para>If the system is running in an installation environment, and the system has firmware support compiled out, the system shall verify that the value of the <literal>firmware</literal> key is <literal>false</literal>.</para>
+                </formalpara>
             </section>
         </section>
         <section id="runner_execute">
diff --git a/devel/requirements/verification-list b/devel/requirements/verification-list
new file mode 100644
index 0000000..287ee63
--- /dev/null
+++ b/devel/requirements/verification-list
@@ -0,0 +1,45 @@
+Required Keys
+
+✓   network
+✓   hostname
+✓   pkginstall
+✓   rootpw
+
+Optional Keys
+
+✓   language
+✓   keymap
+✓   firmware
+✓   netaddress
+✓   nameserver
+✓   netssid
+    timezone
+    repository
+    signingkey
+    username
+    useralias
+    userpw
+    usericon
+    usergroups
+
+Disk Partitioning Keys
+
+-   Sizing
+    diskid
+    disklabel
+    partition
+    lvm_pv
+    lvm_vg
+    lvm_lv
+    encrypt
+    fs
+    mount
+
+Other
+
+    Packages present in repositories (runtime only)
+
+Misc
+
+    really should have a design spec for the CLI / GUI
+    should errors be more formally defined?  probably just waste of time tbh