diff --git a/resources/validations/bin/validate_with_schematron.sh b/resources/validations/bin/validate_with_schematron.sh
index 73867ff66..12f5710ba 100755
--- a/resources/validations/bin/validate_with_schematron.sh
+++ b/resources/validations/bin/validate_with_schematron.sh
@@ -79,7 +79,7 @@ fi
 
 #if version not specified default
 SAXON_VERSION=${SAXON_VERSION:-10.2}
-SAXON_OPTS="${SAXON_OPTS:-allow-foreign=true}"
+SAXON_OPTS="${SAXON_OPTS:-allow-foreign=true diagnose=true}"
 BASE_DIR="${BASE_DIR:-.}"
 
 echo "using saxon version ${SAXON_VERSION}"
diff --git a/resources/validations/lib/svrl2html.xsl b/resources/validations/lib/svrl2html.xsl
index b32c066b3..1a3866f2a 100644
--- a/resources/validations/lib/svrl2html.xsl
+++ b/resources/validations/lib/svrl2html.xsl
@@ -23,6 +23,16 @@
                         <li>Location: <xsl:value-of select="@location"/></li>
                     </ul>
                 </xsl:for-each>
+                <div>Reports: <xsl:value-of select="count(.//svrl:successful-report)"/></div>
+                <xsl:for-each select=".//svrl:successful-report">
+                    <ul>
+                        <li><b>Text: <xsl:value-of select="svrl:text"/></b></li>
+                        <li>Test: <xsl:value-of select="@test"/></li>
+                        <li>See: <xsl:value-of select="@see"/></li>
+                        <li>Location: <xsl:value-of select="@location"/></li>
+                    </ul>
+                </xsl:for-each>
+                 
             </body>
         </html>
     </xsl:template>
diff --git a/resources/validations/src/ssp.sch b/resources/validations/src/ssp.sch
index 3b72cbc24..ddd339387 100644
--- a/resources/validations/src/ssp.sch
+++ b/resources/validations/src/ssp.sch
@@ -1,86 +1,235 @@
 <sch:schema xmlns:sch="http://purl.oclc.org/dsdl/schematron" queryBinding="xslt2"
     xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-    xmlns:o="http://csrc.nist.gov/ns/oscal/1.0">
+    xmlns:o="http://csrc.nist.gov/ns/oscal/1.0"
+    xpath-default-namespace="http://csrc.nist.gov/ns/oscal/1.0">
 
 <sch:ns prefix="f"     uri="https://fedramp.gov/ns/oscal"/>
 <sch:ns prefix="o"     uri="http://csrc.nist.gov/ns/oscal/1.0"/>
 <sch:ns prefix="oscal" uri="http://csrc.nist.gov/ns/oscal/1.0"/>
+<sch:ns prefix="lv"     uri="local-validations"/>
 
 <sch:title>FedRAMP System Security Plan Validations</sch:title>
 
-<!--
-    Use XSL collection to load FedRAMP values, information types, and threats
-    from a known source in a relative path instead of hard-coding filenames.
-    All files are XML, but for future-proofing we filter to retrieve only XML
-    files.
--->
-
-<!-- 
-    This workaround is only to allow XSpec to source the proper context for
-    XPath at the global level. We use XSpec for unit testing, and this is a
-    known issue with very well-documented work-arounds.
-    
-    https://gitter.im/usnistgov-OSCAL/FedRAMP-10x-Schematron?at=5fa06e38f2fd4f60fc4ccec7
-    
-    https://github.com/xspec/xspec/issues/873
-    https://github.com/xspec/xspec/issues/892
-    https://github.com/xspec/xspec/issues/1239
-
-    See the updated documentation below about the global-context-item pattern.
-
-    https://github.com/xspec/xspec/wiki/Writing-Scenarios/ec19017ab00d769b49786cb227e57eaa2e4ee2b2#global-context-item
-    https://github.com/AirQuick/xspec/tree/14ccd455a0e420c97903c06f0faea86719031044/tutorial/global-context-item
-
-    If not, you will definitely see this error like below when running the test suite.
-
-    XPDY0002  Finding root of root/key-name the context item is absent
--->
-<xsl:param as="document-node(element(o:system-security-plan))" name="global-context-item" select="." />
-<xsl:param name="fedramp-registry-href" select="'../../xml?select=*.xml'" />
-<xsl:variable name="fedramp-registry" select="collection($fedramp-registry-href)"/>
-<xsl:variable name="selected-sensitivty-level" select="$global-context-item/o:system-security-plan/o:system-characteristics/o:security-sensitivity-level"/>
-
-<sch:let name="sensitivity-levels" value="$fedramp-registry/f:fedramp-values/f:value-set[@name='security-sensitivity-level']/f:allowed-values/f:enum/@value"/>
-<sch:let name="implementation-statuses" value="$fedramp-registry/f:fedramp-values/f:value-set[@name='control-implementation-status']/f:allowed-values/f:enum/@value"/>
-
-<xsl:variable name="profile-map">
-    <profile level="low" href="../../../baselines/xml/FedRAMP_LOW-baseline-resolved-profile_catalog.xml"/>
-    <profile level="moderate" href="../../../baselines/xml/FedRAMP_MODERATE-baseline-resolved-profile_catalog.xml"/>
-    <profile level="high" href="../../../baselines/xml/FedRAMP_HIGH-baseline-resolved-profile_catalog.xml"/>
-</xsl:variable>
-
-<xsl:key name="profile-lookup" match="profile" use="@level"/>
-<xsl:variable name="selected-profile-href" select="key('profile-lookup', $selected-sensitivty-level, $profile-map)/@href"/>
-<xsl:variable name="selected-profile" select="doc(resolve-uri($selected-profile-href))"/>
+<xsl:output method="xml" indent="yes" encoding="UTF-8"/>
 
-<sch:pattern>
-    <sch:rule context="/">
-        <sch:assert role="error" id="no-fedramp-registry-values" test="exists($fedramp-registry/f:fedramp-values)">The FedRAMP Registry values are not present, this configuration is invalid.</sch:assert>
-    </sch:rule>
-</sch:pattern>
+<xsl:param name="registry-href" select="'../../xml?select=*.xml'"/>
+
+<xsl:function name="lv:if-empty-default">
+    <xsl:param name="item"/>
+    <xsl:param name="default"/>
+    <xsl:choose>
+        <!-- Atomic types, integers, strings, et cetera. -->
+        <xsl:when test="$item instance of xs:untypedAtomic or
+                        $item instance of xs:anyURI or
+                        $item instance of xs:string or
+                        $item instance of xs:QName or
+                        $item instance of xs:boolean or
+                        $item instance of xs:base64Binary or
+                        $item instance of xs:hexBinary or
+                        $item instance of xs:integer or
+                        $item instance of xs:decimal or
+                        $item instance of xs:float or
+                        $item instance of xs:double or
+                        $item instance of xs:date or
+                        $item instance of xs:time or
+                        $item instance of xs:dateTime or
+                        $item instance of xs:dayTimeDuration or
+                        $item instance of xs:yearMonthDuration or
+                        $item instance of xs:duration or
+                        $item instance of xs:gMonth or
+                        $item instance of xs:gYear or
+                        $item instance of xs:gYearMonth or
+                        $item instance of xs:gDay or
+                        $item instance of xs:gMonthDay">
+            <xsl:value-of select="if ($item => string() => normalize-space() = '') then $default else $item"/>
+        </xsl:when>
+        <!-- Any node-kind that can be a sequence type -->
+        <xsl:when test="$item instance of element() or
+                        $item instance of attribute() or
+                        $item instance of text() or
+                        $item instance of node() or
+                        $item instance of document-node() or
+                        $item instance of comment() or
+                        $item instance of processing-instruction()">
+            <xsl:sequence  select="if ($item => normalize-space() => not()) then $default else $item"/>
+        </xsl:when>
+        <xsl:otherwise>
+            <!-- 
+                If no suitable type found, return empty sequence, as that can
+                be falsey and cast to empty string or checked for `not(exist(.))`
+                later.
+             -->
+            <xsl:sequence select="()"/>
+        </xsl:otherwise>
+    </xsl:choose>
+</xsl:function>
+
+<xsl:function name="lv:registry" as="item()*">
+    <xsl:param name="href"/>
+    <xsl:variable name="collection" select="$href => collection()"/>
+    <xsl:choose>
+        <xsl:when test="$collection => exists()">
+            <xsl:sequence select="$collection"/>
+        </xsl:when>
+        <xsl:otherwise>
+            <xsl:sequence>
+                <fedramp-values xmlns="https://fedramp.gov/ns/oscal"/>
+                <fedramp-threats xmlns="https://fedramp.gov/ns/oscal"/>
+                <information-types/>
+            </xsl:sequence>
+        </xsl:otherwise>
+    </xsl:choose>
+</xsl:function>
+
+<xsl:function name="lv:sensitivity-level" as="xs:string">
+    <xsl:param name="context" as="node()*"/>
+    <xsl:value-of select="$context//o:security-sensitivity-level"/>
+</xsl:function>
+
+<xsl:function name="lv:profile" as="document-node()*">
+    <xsl:param name="level" />
+    <xsl:variable name="profile-map">
+        <profile level="low" href="../../../baselines/xml/FedRAMP_LOW-baseline-resolved-profile_catalog.xml"/>
+        <profile level="moderate" href="../../../baselines/xml/FedRAMP_MODERATE-baseline-resolved-profile_catalog.xml"/>
+        <profile level="high" href="../../../baselines/xml/FedRAMP_HIGH-baseline-resolved-profile_catalog.xml"/>
+    </xsl:variable>
+    <xsl:variable name="href" select="$profile-map/profile[@level=$level]/@href"/>
+    <xsl:sequence select="doc(resolve-uri($href))"/>
+</xsl:function>
+
+<xsl:function name="lv:correct">
+    <xsl:param name="value-set" as="element()*"/>
+    <xsl:param name="value" as="node()*"/>
+    <xsl:variable name="values" select="$value-set/f:allowed-values/f:enum/@value"/>
+    <xsl:choose>
+        <!-- If allow-other is set, anything is valid. -->
+        <xsl:when test="$value-set/f:allowed-values/@allow-other='no' and $value = $values"/>
+        <xsl:otherwise>
+            <xsl:value-of select="$values" separator=", "/>
+        </xsl:otherwise>
+    </xsl:choose>
+</xsl:function>
+
+<xsl:function name="lv:analyze">
+    <xsl:param name="value-set" as="element()*"/>
+    <xsl:param name="element" as="element()*"/>
+    <xsl:choose>
+        <xsl:when test="$value-set/f:allowed-values/f:enum/@value">
+            <xsl:sequence>
+                <xsl:call-template name="analysis-template">
+                    <xsl:with-param name="value-set" select="$value-set"/>
+                    <xsl:with-param name="element" select="$element"/>
+                </xsl:call-template>
+            </xsl:sequence>
+        </xsl:when>
+        <xsl:otherwise>
+            <xsl:message expand-text="yes">error</xsl:message>
+            <xsl:sequence>
+                <xsl:call-template name="analysis-template">
+                    <xsl:with-param name="value-set" select="$value-set"/>
+                    <xsl:with-param name="element" select="$element"/>
+                    <xsl:with-param name="errors">
+                        <error>value-set was malformed</error>
+                    </xsl:with-param>
+                </xsl:call-template>
+            </xsl:sequence>
+        </xsl:otherwise>
+    </xsl:choose>
+</xsl:function>
+
+<xsl:function name="lv:report" as="xs:string">
+    <xsl:param name="analysis" as="element()*"/>
+    <xsl:variable name="results" as="xs:string">
+        <xsl:call-template name="report-template">
+            <xsl:with-param name="analysis" select="$analysis"/>
+        </xsl:call-template>
+    </xsl:variable>
+    <xsl:value-of select="$results"/>
+</xsl:function>
+
+<xsl:template name="analysis-template" as="element()">
+    <xsl:param name="value-set" as="element()*"/>
+    <xsl:param name="element" as="element()*"/>
+    <xsl:param name="errors" as="node()*"/>
+    <xsl:variable name="ok-values" select="$value-set/f:allowed-values/f:enum/@value"/>
+    <analysis>
+        <errors>
+            <xsl:if test="$errors"><xsl:sequence select="$errors"/></xsl:if>
+        </errors>
+        <reports
+            name="{$value-set/@name}"
+            formal-name="{$value-set/f:formal-name}"
+            description="{$value-set/f:description}"
+            count="{count($element)}">
+            <xsl:for-each select="$ok-values">
+                <xsl:variable name="match" select="$element[@value=current()]"/>
+                <report value="{current()}" count="{count($match)}"> 
+                </report>
+            </xsl:for-each>
+        </reports>
+    </analysis>
+</xsl:template>
+
+<xsl:template name="report-template" as="xs:string">
+    <xsl:param name="analysis" as="element()*"/>
+    <xsl:value-of>
+        There are <xsl:value-of select="$analysis/reports/@count"/>&#xA0;<xsl:value-of select="$analysis/reports/@formal-name"/>
+        <xsl:choose>
+            <xsl:when test="$analysis/reports/report"> items total, with </xsl:when>
+            <xsl:otherwise> items total. </xsl:otherwise>
+        </xsl:choose>
+        <xsl:for-each select="$analysis/reports/report">
+            <xsl:if test="position() gt 1 and not(position() eq last())">
+                <xsl:value-of select="current()/@count"/> set as <xsl:value-of select="current()/@value"/>, </xsl:if>
+            <xsl:if test="position() gt 1 and position() eq last()"
+                > and <xsl:value-of select="current()/@count"/> set as <xsl:value-of select="current()/@value"/>.</xsl:if>
+            <xsl:sequence select="."/>
+        </xsl:for-each>
+        There are <xsl:value-of select="($analysis/reports/@count - sum($analysis/reports/report/@count))"/> invalid items.
+        <xsl:if test="count($analysis/errors/error) > 0">
+            <xsl:message expand-text="yes">hit error block</xsl:message>
+            <xsl:for-each select="$analysis/errors/error">
+                Also, <xsl:value-of select="current()/text()"/>, so analysis could be inaccurate or it completely failed.
+            </xsl:for-each>    
+        </xsl:if>
+    </xsl:value-of>
+</xsl:template>
 
-<sch:pattern>
-    <sch:rule context="/o:system-security-plan/o:system-characteristics/o:security-sensitivity-level">
-        <sch:assert id="no-security-sensitivity-level" test="$selected-sensitivty-level">No sensitivty level found from XPath query.</sch:assert>
-        <sch:assert id="invalid-security-sensitivity-level" test=". = $sensitivity-levels"><sch:value-of select="./name()"/> is an invalid value <sch:value-of select="."/>, not from <sch:value-of select="$sensitivity-levels" /></sch:assert>
-    </sch:rule>
-</sch:pattern>
 <sch:pattern>
     <sch:rule context="/o:system-security-plan">
-        <sch:let name="all" value="o:control-implementation/o:implemented-requirement[o:annotation[@name='implementation-status']]"/>
-        <sch:let name="planned" value="o:control-implementation/o:implemented-requirement[o:annotation[@name='implementation-status' and @value='planned']]"/>
-        <sch:let name="partial" value="o:control-implementation/o:implemented-requirement[o:annotation[@name='implementation-status' and @value='partial']]"/>
-        <sch:assert id="invalid-implemented-requirements-count" test="count($all) > 0">There are no control implementations with statuses set.</sch:assert> 
-        <sch:report id="partial-requirements-report" test="true()">There are <sch:value-of select="count($partial)"/> partial<sch:value-of select="if (count($partial)=1) then ' control implementation' else ' control implementations'"/>.</sch:report>
-        <sch:report id="planned-requirements-report" test="true()">There are <sch:value-of select="count($planned)"/> planned<sch:value-of select="if (count($planned)=1) then ' control implementation' else ' control implementations'"/>.</sch:report>
-        <sch:report id="all-requirements-report" test="true()">There are <sch:value-of select="count($all)"/> total<sch:value-of select="if (count($all)=1) then ' control implementation' else ' control implementations'"/>.</sch:report>
+        <sch:let name="registry" value="$registry-href => lv:registry()"/>
+        <sch:let name="ok-values" value="$registry/f:fedramp-values/f:value-set[@name='security-sensitivity-level']"/>
+        <sch:let name="sensitivity-level" value="/ => lv:sensitivity-level() => lv:if-empty-default('')"/>
+        <sch:let name="corrections" value="lv:correct($ok-values, $sensitivity-level)"/>
+        <sch:assert role="fatal" id="no-registry-values" test="count($registry/f:fedramp-values/f:value-set) > 0"
+            >The registry values at the path '<sch:value-of select="$registry-href"/>' are not present, this configuration is invalid.</sch:assert>
+        <sch:assert role="fatal" id="no-security-sensitivity-level" test="$sensitivity-level != ''">No sensitivty level found, no more validation processing can occur.</sch:assert>
+        <sch:assert role="fatal" id="invalid-security-sensitivity-level" test="empty($ok-values) or not(exists($corrections))"
+            ><sch:value-of select="./name()"/> is an invalid value of '<sch:value-of select="lv:sensitivity-level(/)"/>', not an allowed value of <sch:value-of select="$corrections"/>. No more validation processing can occur.
+        </sch:assert>
     </sch:rule>
+
     <sch:rule context="/o:system-security-plan/o:control-implementation">
-        <sch:let name="required" value="$selected-profile/*//o:control"/>
+    <sch:let name="registry" value="$registry-href => lv:registry()"/>
+        <sch:let name="sensitivity-level" value="/ => lv:sensitivity-level()"/>
+        <sch:let name="ok-values" value="$registry/f:fedramp-values/f:value-set[@name='control-implementation-status']"/>
+        <sch:let name="selected-profile" value="$sensitivity-level => lv:profile()"/>
+        <sch:let name="required-controls" value="$selected-profile/*//o:control"/>
         <sch:let name="implemented" value="o:implemented-requirement"/>
-        <sch:let name="missing" value="$required[not(@id = $implemented/@control-id)]"/>
-        <sch:report id="each-required-control-report" test="true()">The following <sch:value-of select="count($required)"/><sch:value-of select="if (count($required)=1) then ' control' else ' controls'"/> are required: <sch:value-of select="$required/@id"/></sch:report>
-        <sch:assert id="incomplete-implementation-requirements" test="true()">This SSP has not implemented <sch:value-of select="count($missing)"/><sch:value-of select="if (count($missing)=1) then ' control' else ' controls'"/>: <sch:value-of select="$missing/@id"/></sch:assert>
+        <sch:let name="missing" value="$required-controls[not(@id = $implemented/@control-id)]"/>
+        <sch:report id="each-required-control-report" test="count($required-controls) > 0">The following <sch:value-of select="count($required-controls)"/><sch:value-of select="if (count($required-controls)=1) then ' control' else ' controls'"/> are required: <sch:value-of select="$required-controls/@id"/></sch:report>
+        <sch:assert id="incomplete-implementation-requirements" test="not(exists($missing))">This SSP has not implemented <sch:value-of select="count($missing)"/><sch:value-of select="if (count($missing)=1) then ' control' else ' controls'"/>: <sch:value-of select="$missing/@id"/></sch:assert>
+        <sch:let name="results" value="$ok-values => lv:analyze(//o:implemented-requirement/o:annotation[@name='implementation-status'])"/>
+        <sch:let name="total" value="$results/reports/@count"/>
+        <sch:report id="control-implemented-requirements-stats" test="count($results/errors/error) = 0"><sch:value-of select="$results => lv:report() => normalize-space()"/></sch:report>
+    </sch:rule>
+
+    <sch:rule context="/o:system-security-plan/o:control-implementation/o:implemented-requirement">
+        <sch:let name="registry" value="$registry-href => lv:registry()"/>
+        <sch:let name="status" value="./o:annotation[@name='implementation-status']/@value"/>
+        <sch:let name="corrections" value="lv:correct($registry/f:fedramp-values/f:value-set[@name='control-implementation-status'], $status)"/>
+        <sch:assert id="invalid-implementation-status" test="not(exists($corrections))">Invalid status '<sch:value-of select="$status"/>' for <sch:value-of select="./@control-id"/>, must be <sch:value-of select="$corrections"/></sch:assert>
     </sch:rule>
+
 </sch:pattern>
 </sch:schema>
\ No newline at end of file
diff --git a/resources/validations/test/ssp.xspec b/resources/validations/test/ssp.xspec
index 97b25fdd6..fdb7bdd34 100644
--- a/resources/validations/test/ssp.xspec
+++ b/resources/validations/test/ssp.xspec
@@ -1,18 +1,24 @@
-<x:description xmlns:x="http://www.jenitennison.com/xslt/xspec" schematron="../src/ssp.sch">
+<x:description 
+    xmlns:x="http://www.jenitennison.com/xslt/xspec"
+    xmlns:xs="http://www.w3.org/2001/XMLSchema"
+    xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+    xmlns:o="http://csrc.nist.gov/ns/oscal/1.0"
+    xmlns:oscal="http://csrc.nist.gov/ns/oscal/1.0"
+    xmlns:f="https://fedramp.gov/ns/oscal"
+    xmlns:lv="local-validations"
+    schematron="../src/ssp.sch">
+
     <x:param name="allow-foreign">true</x:param>
-    <!-- See ssp.sch xsl:param "global-context-item" for why it is is necessary. -->
-    <x:param name="global-context-item">
-        <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0" />
-    </x:param>
+    <x:param name="only-child-elements">false</x:param>
+    <x:param name="visit-text">true</x:param>
     <x:scenario label="For an OSCAL FedRAMP SSP">
         <x:scenario label="when the security sensitivity level">
             <x:scenario label="is not defined at all">
                 <x:context>
                     <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0">
-                    <system-characteristics>
-                        <!-- no level set in empty element-->
-                        <security-sensitivity-level />
-                    </system-characteristics>
+                        <system-characteristics>
+                            <security-sensitivity-level/>
+                        </system-characteristics>
                     </system-security-plan>
                 </x:context>
                 <x:expect-assert id="no-security-sensitivity-level" label="it is invalid."/>
@@ -42,67 +48,232 @@
             <x:scenario label="and requirements are implemented">
                 <x:scenario label="a count of all total controls">
                     <x:context>
-                        <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0" />
-                    </x:context>
-                    <x:expect-report id="all-requirements-report" label="must be reported."/>
-                </x:scenario>
-                <x:scenario label="a count of all controls with a status of planned">
-                    <x:context>
-                        <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0" />
-                    </x:context>
-                    <x:expect-report id="planned-requirements-report" label="must be reported."/>
-                </x:scenario>
-                <x:scenario label="a count of all controls with a status of partial">
-                    <x:context>
-                        <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0" />
+                        <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0">
+                            <system-characteristics>
+                                <security-sensitivity-level>low</security-sensitivity-level>
+                            </system-characteristics>
+                            <control-implementation/>
+                        </system-security-plan>
                     </x:context>
-                    <x:expect-report id="partial-requirements-report" label="must be reported."/>
+                    <x:expect-report id="each-required-control-report" label="must be reported."/>
                 </x:scenario>
-                <x:scenario label="and each one has its implementation status set">
+                <x:scenario label="and any control's implemented requirement is defined with an invalid status">
                     <x:context>
                         <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0">
+                            <system-characteristics>
+                                <security-sensitivity-level>low</security-sensitivity-level>
+                            </system-characteristics>
                             <control-implementation>
-                                <implemented-requirement control-id="ac-1" uuid="eee8697a-bc39-45aa-accc-d3e534932efb">
-                                    <prop name="planned-completion-date" ns="https://fedramp.gov/ns/oscal">2020-11-27Z</prop>
-                                    <annotation name="implementation-status" ns="https://fedramp.gov/ns/oscal" value="planned">
+                                <implemented-requirement control-id="at-1" uuid="eee8697a-bc39-45aa-accc-d3e534932efb">
+                                    <annotation name="implementation-status" ns="https://fedramp.gov/ns/oscal" value="inconceivable">
                                     <remarks></remarks>
                                     </annotation>
                                 </implemented-requirement>
                             </control-implementation>
                         </system-security-plan>
                     </x:context>
-                    <x:expect-not-assert id="invalid-implemented-requirements-count" label="it is valid."/>
+                    <x:expect-assert id="invalid-implementation-status" label="it is invalid."/>
                 </x:scenario>
-                <x:scenario label="and the total number of requirements is zero">
+                <x:scenario label="summary counts of controls' implementated requirements and those with valid and invalid statuses">
                     <x:context>
                         <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0">
+                            <system-characteristics>
+                                <security-sensitivity-level>low</security-sensitivity-level>
+                            </system-characteristics>
                             <control-implementation>
-                                <!-- No implemented requirements -->
+                                <implemented-requirement control-id="cm-1" uuid="eee8697a-bc39-45aa-accc-d3e534932efb">
+                                    <annotation name="implementation-status" ns="https://fedramp.gov/ns/oscal" value="implemented">
+                                    <remarks></remarks>
+                                    </annotation>
+                                </implemented-requirement>
                             </control-implementation>
                         </system-security-plan>
                     </x:context>
-                    <x:expect-assert id="invalid-implemented-requirements-count" label="it is invalid."/>
+                    <x:expect-report id="control-implemented-requirements-stats" label="must be reported."/>
                 </x:scenario>
             </x:scenario>
-            <x:pending label="surpress failing test due to global context item pattern issues">
-                <x:scenario label="and all required implementations are not yet complete">
-                    <x:context>
+            <x:scenario label="and all required implementations are not yet complete">
+                <x:context>
+                    <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0">
+                        <system-characteristics>
+                            <security-sensitivity-level>low</security-sensitivity-level>
+                        </system-characteristics>
+                        <control-implementation>
+                            <implemented-requirement control-id="ac-1" uuid="eee8697a-bc39-45aa-accc-d3e534932efb">
+                                <prop name="planned-completion-date" ns="https://fedramp.gov/ns/oscal">2020-11-27Z</prop>
+                                <annotation name="implementation-status" ns="https://fedramp.gov/ns/oscal" value="planned">
+                                <remarks></remarks>
+                                </annotation>
+                            </implemented-requirement>
+                        </control-implementation>
+                    </system-security-plan>
+                </x:context>
+                <x:expect-assert id="incomplete-implementation-requirements" label="it is invalid."/>
+            </x:scenario>
+        </x:scenario>
+    </x:scenario>
+    <x:scenario label="For FedRAMP Automation helper functions">
+        <x:scenario label="with if-empty-default">
+            <x:scenario label="when a valid atom value like a string is supplied">
+                <x:call function="lv:if-empty-default">
+                    <x:param select="'use this'"/>
+                    <x:param select="'ignore this default'"/>
+                </x:call>
+                <x:expect 
+                    label="the valid atom will be used and the optional default discarded."
+                    test="$x:result => string()"
+                    select="'use this'"/>
+            </x:scenario>
+            <x:scenario label="when an valid atom value like a string is supplied">
+                <x:call function="lv:if-empty-default">
+                    <x:param select="''"/>
+                    <x:param select="'use the default'"/>
+                </x:call>
+                <x:expect 
+                    label="the invalid atom will be discarded and the optional default used."
+                    test="$x:result => string()"
+                    select="'use the default'"/>
+            </x:scenario>
+            <x:scenario label="when a valid node value is supplied">
+                <x:call function="lv:if-empty-default">
+                    <x:param>
+                        <example>
+                            <item>valid</item>
+                        </example>
+                    </x:param>
+                    <x:param>
+                        <example>
+                            <item>default</item>
+                        </example>
+                    </x:param>
+                </x:call>
+                <x:expect label="the valid node will be used and the optional default discarded.">
+                    <example>
+                        <item>valid</item>
+                    </example>
+                </x:expect>
+            </x:scenario>
+            <x:scenario label="when an invalid node value is supplied">
+                <x:call function="lv:if-empty-default">
+                    <x:param>
+                        <example/>
+                    </x:param>
+                    <x:param>
+                        <example>
+                            <item>use the default</item>
+                        </example>
+                    </x:param>
+                </x:call>
+                <x:expect label="the invalid node will be discarded and the optional default node used.">
+                    <example>
+                        <item>use the default</item>
+                    </example>
+                </x:expect>
+            </x:scenario>
+            <x:scenario label="when an invalid value is supplied with an unknown type (not atom or sequence)">
+                <x:call function="lv:if-empty-default">
+                    <x:param/>
+                    <x:param>
+                        <example>
+                            <item>use the default</item>
+                        </example>
+                    </x:param>
+                </x:call>
+                <x:expect
+                    label="the invalid value will be discarded and an empty sequence returned."
+                    select="()"/>
+            </x:scenario>
+        </x:scenario>
+        <x:scenario label="with lv:registry">
+            <x:scenario label="when a valid filesystem path is provided">
+                <x:call function="lv:registry">
+                    <!-- 
+                        We filter in this test on one file, not all, because
+                        we can get a collection of files back. So we have a
+                        few options, each with issue(s). These are workarounds
+                        for building a test that XSpec will not throw errors on.
+
+                        - We can use raw handling of the $x:result response from XSpec, but you get back a sequence of doc() items in the collection. You cannot
+                          `treat as` to change the type signature, so this breaks. There does not seem to be a reasonable way to fix that in XSLT.
+                        - Pass in one hard-coded path, '../../xml/file_name.xml', but this will not return a collection, and you do not get a collection back.
+                        - You can work around these two problems by filtering back on a specific filename, so you get back a collection, of length, 0, 1, or n+1.
+                    -->
+                    <x:param select="'../../xml?select=fedramp_values.xml'"/>
+                 </x:call>
+                 <x:expect
+                    label="the function will return a non-empty collection of information types, threats, and values"
+                    test="count(//f:value-set) > 0"/>
+            </x:scenario>
+            <x:scenario label="when an invalid filesystem path is provided">
+                <x:call function="lv:registry">
+                    <x:param select="'../../xml?select=*.willnotwork'"/>
+                 </x:call>
+                 <x:expect
+                    label="the function will return an empty collection of information types, threats, and values" 
+                    test="count(//f:information-type) = 0 and 
+                            count(//f:threat) = 0 and
+                            count(//f:value-set) = 0"/>
+            </x:scenario>
+        </x:scenario>
+        <x:scenario label="with lv:sensitivity-level">
+            <x:scenario label="when a properly formed OSCAL SSP context is provided">
+                <x:call function="lv:sensitivity-level">
+                    <x:param>
                         <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0">
                             <system-characteristics>
-                                <security-sensitivity-level>low</security-sensitivity-level>
+                                <security-sensitivity-level>high</security-sensitivity-level>
                             </system-characteristics>
-                            <control-implementation>
-                                <description />
-                                <!-- Only one control implemented for a FedRAMP profile, one or more must be missing. -->
-                                <implemented-requirement control-id="ac-1" uuid="eee8697a-bc39-45aa-accc-d3e534932efb">
-                                    <annotation name="implementation-status" ns="https://fedramp.gov/ns/oscal" value="implemented" />
-                                </implemented-requirement>
-                            </control-implementation>
                         </system-security-plan>
-                    </x:context>
-                    <x:expect-assert id="incomplete-implementation-requirements" label="it is invalid."/>
-                </x:scenario>
-            </x:pending>
+                    </x:param>
+                 </x:call>
+                 <x:expect 
+                    label="the function will return the Security Sensitivity Level as text."
+                    select="'high'"/>
+            </x:scenario>
+            <x:scenario label="when an improperly formed OSCAL SSP context is provided">
+                <x:call function="lv:sensitivity-level">
+                    <x:param>
+                        <system-security-plan xmlns="http://csrc.nist.gov/ns/oscal/1.0">
+                            <!-- No sensitivity-level in the system-characteristics node -->
+                            <system-characteristics/>
+                        </system-security-plan>
+                    </x:param>
+                </x:call>
+                <x:expect 
+                    label="the function will return an empty string to invalidate subsequent validation."
+                    select="''"/>
+            </x:scenario>
+        </x:scenario>
+        <x:scenario label="with lv:correct">
+            <x:scenario label="when performing corrections on a valid value from an official value set">
+                <x:call function="lv:correct">
+                    <x:param>
+                        <value-set xmlns="https://fedramp.gov/ns/oscal" name="test">
+                            <allowed-values allow-other="no">
+                               <enum value="a" short-label="Answer A">Approved Answer A</enum>
+                               <enum value="b" short-label="Answer B">Approved Answer B</enum>
+                            </allowed-values>
+                         </value-set>
+                    </x:param>
+                    <x:param>a</x:param>
+                    </x:call>   
+                    <x:expect label="no corrections will be returned because the value is correct."/>
+            </x:scenario>
+            <x:scenario label="when performing corrections on a valid value from an official value set">
+                <x:call function="lv:correct">
+                    <x:param>
+                        <value-set xmlns="https://fedramp.gov/ns/oscal" name="test">
+                            <allowed-values allow-other="no">
+                               <enum value="a" short-label="Answer A">Approved Answer A</enum>
+                               <enum value="b" short-label="Answer B">Approved Answer B</enum>
+                            </allowed-values>
+                         </value-set>
+                    </x:param>
+                    <x:param>c</x:param>
+                    </x:call>   
+                    <x:expect
+                        label="corrections will be returned because the value is incorrect.">a, b</x:expect>
+            </x:scenario>
         </x:scenario>
     </x:scenario>
-</x:description>
\ No newline at end of file
+</x:description>