requirements-trace

Use

(↥ "pkg:requirements-trace" pkg)

Call the exports below through the pkg alias, for example pkg.Bootstrap.

Functions

Bootstrap

Type: (∷ (→ Unit Any))

Construct Bootstrap values.

ControlIdSchemaV1

Type: (∷ (→ Any Any))

Construct ControlIdSchemaV1 values.

EvidenceIdSchemaV1

Type: (∷ (→ Any Any))

Construct EvidenceIdSchemaV1 values.

EvidenceRecordV1

Type: (∷ (→ Any Any Any Any Any))

Construct EvidenceRecordV1 values.

EvidenceVerificationStatusSchemaV1

Type: (∷ (→ Any Any))

Construct EvidenceVerificationStatusSchemaV1 values.

RequirementEvidenceLinkV1

Type: (∷ (→ Any Any Any Any Any))

Construct RequirementEvidenceLinkV1 values.

RequirementIdSchemaV1

Type: (∷ (→ Any Any))

Construct RequirementIdSchemaV1 values.

RequirementRecordV1

Type: (∷ (→ Any Any Any Any Any))

Construct RequirementRecordV1 values.

RequirementStatusSchemaV1

Type: (∷ (→ Any Any))

Construct RequirementStatusSchemaV1 values.

RequirementsTraceFailureContextV1

Type: (∷ (→ Any Any Any Any Any))

Construct RequirementsTraceFailureContextV1 values.

RequirementsTraceSlotCore

Type: (∷ (→ Unit Any))

Construct RequirementsTraceSlotCore values.

RequirementsTraceSlotReserved

Type: (∷ (→ Unit Any))

Construct RequirementsTraceSlotReserved values.

RequirementsTraceSlotUnknown

Type: (∷ (→ Unit Any))

Construct RequirementsTraceSlotUnknown values.

RequirementsTraceTaxonomyAdditive

Type: (∷ (→ Unit Any))

Construct RequirementsTraceTaxonomyAdditive values.

RequirementsTraceTaxonomyBreaking

Type: (∷ (→ Unit Any))

Construct RequirementsTraceTaxonomyBreaking values.

RequirementsTraceTaxonomyDeprecation

Type: (∷ (→ Unit Any))

Construct RequirementsTraceTaxonomyDeprecation values.

TraceBundleV1

Type: (∷ (→ Any Any Any Any))

Construct TraceBundleV1 values.

TraceBundleWireV1

Type: (∷ (→ Any Any Any Any Any Any Any Any Any))

Construct TraceBundleWireV1 values.

TraceGapReportV1

Type: (∷ (→ Any Any Any Any))

Construct TraceGapReportV1 values.

VerificationLinkSchemaV1

Type: (∷ (→ Any Any))

Construct VerificationLinkSchemaV1 values.

library-name

Type: (∷ (→ Unit Any))

0x0 library function library-name.

build-stage

Type: (∷ (→ Unit Any))

0x0 library function build-stage.

requirements-trace-api-version

Type: (∷ (→ Unit Any))

0x0 library function requirements-trace-api-version.

requirements-trace-failure-context

Type: (∷ (→ Any Any Any Any Any))

0x0 library function requirements-trace-failure-context.

requirements-trace-failure-requirement-id

Type: (∷ (→ Any Any))

0x0 library function requirements-trace-failure-requirement-id.

requirements-trace-failure-evidence-id

Type: (∷ (→ Any Any))

0x0 library function requirements-trace-failure-evidence-id.

requirements-trace-failure-link-kind

Type: (∷ (→ Any Any))

0x0 library function requirements-trace-failure-link-kind.

requirements-trace-failure-message-text

Type: (∷ (→ Any Any))

0x0 library function requirements-trace-failure-message-text.

require-requirement-id

Type: (∷ (→ Any Any))

0x0 library function require-requirement-id.

require-evidence-id

Type: (∷ (→ Any Any))

0x0 library function require-evidence-id.

require-control-id

Type: (∷ (→ Any Any))

0x0 library function require-control-id.

require-artifact-ref

Type: (∷ (→ Any Any))

0x0 library function require-artifact-ref.

require-link-kind

Type: (∷ (→ Any Any))

0x0 library function require-link-kind.

require-trace-message

Type: (∷ (→ Any Any))

0x0 library function require-trace-message.

require-trace-status-label

Type: (∷ (→ Any Any))

0x0 library function require-trace-status-label.

parse-requirement-status-label

Type: (∷ (→ Any Any))

0x0 library function parse-requirement-status-label.

parse-evidence-verification-status-label

Type: (∷ (→ Any Any))

0x0 library function parse-evidence-verification-status-label.

resolve-requirement-status-label

Type: (∷ (→ Any Any Any))

0x0 library function resolve-requirement-status-label.

resolve-evidence-verification-status-label

Type: (∷ (→ Any Any Any))

0x0 library function resolve-evidence-verification-status-label.

normalize-requirement-status-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-requirement-status-label-or.

normalize-requirement-status-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-requirement-status-label-or-default.

normalize-evidence-verification-status-label-or

Type: (∷ (→ Any Any Any))

0x0 library function normalize-evidence-verification-status-label-or.

normalize-evidence-verification-status-label-or-default

Type: (∷ (→ Any Any))

0x0 library function normalize-evidence-verification-status-label-or-default.

requirements-trace-taxonomy-additive-change

Type: (∷ (→ Unit Any))

0x0 library function requirements-trace-taxonomy-additive-change.

requirements-trace-taxonomy-deprecation-change

Type: (∷ (→ Unit Any))

0x0 library function requirements-trace-taxonomy-deprecation-change.

requirements-trace-taxonomy-breaking-change

Type: (∷ (→ Unit Any))

0x0 library function requirements-trace-taxonomy-breaking-change.

requirements-trace-taxonomy-change-semver

Type: (∷ (→ Any Any))

0x0 library function requirements-trace-taxonomy-change-semver.

validate-requirements-trace-failure-context

Type: (∷ (→ Any Any))

0x0 library function validate-requirements-trace-failure-context.

requirements-trace-failure-error

Type: (∷ (→ Any Any Any Any))

0x0 library function requirements-trace-failure-error.

requirement-record

Type: (∷ (→ Any Any Any Any Any))

0x0 library function requirement-record.

requirement-record-requirement-id

Type: (∷ (→ Any Any))

0x0 library function requirement-record-requirement-id.

requirement-record-control-id

Type: (∷ (→ Any Any))

0x0 library function requirement-record-control-id.

requirement-record-status-label

Type: (∷ (→ Any Any))

0x0 library function requirement-record-status-label.

requirement-record-failure-context

Type: (∷ (→ Any Any))

0x0 library function requirement-record-failure-context.

validate-requirement-record

Type: (∷ (→ Any Any))

0x0 library function validate-requirement-record.

evidence-record

Type: (∷ (→ Any Any Any Any Any))

0x0 library function evidence-record.

evidence-record-evidence-id

Type: (∷ (→ Any Any))

0x0 library function evidence-record-evidence-id.

evidence-record-artifact-ref

Type: (∷ (→ Any Any))

0x0 library function evidence-record-artifact-ref.

evidence-record-verification-status-label

Type: (∷ (→ Any Any))

0x0 library function evidence-record-verification-status-label.

evidence-record-failure-context

Type: (∷ (→ Any Any))

0x0 library function evidence-record-failure-context.

validate-evidence-record

Type: (∷ (→ Any Any))

0x0 library function validate-evidence-record.

requirement-evidence-link

Type: (∷ (→ Any Any Any Any Any))

0x0 library function requirement-evidence-link.

requirement-evidence-link-requirement-id

Type: (∷ (→ Any Any))

0x0 library function requirement-evidence-link-requirement-id.

requirement-evidence-link-evidence-id

Type: (∷ (→ Any Any))

0x0 library function requirement-evidence-link-evidence-id.

requirement-evidence-link-kind

Type: (∷ (→ Any Any))

0x0 library function requirement-evidence-link-kind.

requirement-evidence-link-failure-context

Type: (∷ (→ Any Any))

0x0 library function requirement-evidence-link-failure-context.

validate-requirement-evidence-link

Type: (∷ (→ Any Any))

0x0 library function validate-requirement-evidence-link.

requirement-id-schema

Type: (∷ (→ Any Any))

0x0 library function requirement-id-schema.

requirement-id-schema-value

Type: (∷ (→ Any Any))

0x0 library function requirement-id-schema-value.

evidence-id-schema

Type: (∷ (→ Any Any))

0x0 library function evidence-id-schema.

evidence-id-schema-value

Type: (∷ (→ Any Any))

0x0 library function evidence-id-schema-value.

control-id-schema

Type: (∷ (→ Any Any))

0x0 library function control-id-schema.

control-id-schema-value

Type: (∷ (→ Any Any))

0x0 library function control-id-schema-value.

verification-link-schema

Type: (∷ (→ Any Any))

0x0 library function verification-link-schema.

verification-link-schema-value

Type: (∷ (→ Any Any))

0x0 library function verification-link-schema-value.

requirement-status-schema

Type: (∷ (→ Any Any))

0x0 library function requirement-status-schema.

requirement-status-schema-value

Type: (∷ (→ Any Any))

0x0 library function requirement-status-schema-value.

evidence-verification-status-schema

Type: (∷ (→ Any Any))

0x0 library function evidence-verification-status-schema.

evidence-verification-status-schema-value

Type: (∷ (→ Any Any))

0x0 library function evidence-verification-status-schema-value.

requirement-record-from-schemas

Type: (∷ (→ Any Any Any Any Any))

0x0 library function requirement-record-from-schemas.

evidence-record-from-schemas

Type: (∷ (→ Any Any Any Any Any))

0x0 library function evidence-record-from-schemas.

requirement-evidence-link-from-schemas

Type: (∷ (→ Any Any Any Any Any))

0x0 library function requirement-evidence-link-from-schemas.

requirement-id-schema-from-record

Type: (∷ (→ Any Any))

0x0 library function requirement-id-schema-from-record.

control-id-schema-from-record

Type: (∷ (→ Any Any))

0x0 library function control-id-schema-from-record.

requirement-status-schema-from-record

Type: (∷ (→ Any Any))

0x0 library function requirement-status-schema-from-record.

evidence-id-schema-from-record

Type: (∷ (→ Any Any))

0x0 library function evidence-id-schema-from-record.

evidence-verification-status-schema-from-record

Type: (∷ (→ Any Any))

0x0 library function evidence-verification-status-schema-from-record.

verification-link-schema-from-link

Type: (∷ (→ Any Any))

0x0 library function verification-link-schema-from-link.

require-trace-expected-links

Type: (∷ (→ Any Any))

0x0 library function require-trace-expected-links.

require-trace-observed-links

Type: (∷ (→ Any Any))

0x0 library function require-trace-observed-links.

trace-closure-status-label

Type: (∷ (→ Any Any Any))

0x0 library function trace-closure-status-label.

trace-gap-report

Type: (∷ (→ Any Any Any))

0x0 library function trace-gap-report.

trace-gap-report-gap-count

Type: (∷ (→ Any Any))

0x0 library function trace-gap-report-gap-count.

trace-gap-report-overlinked-count

Type: (∷ (→ Any Any))

0x0 library function trace-gap-report-overlinked-count.

trace-gap-report-status-label

Type: (∷ (→ Any Any))

0x0 library function trace-gap-report-status-label.

trace-forward-link-matches

Type: (∷ (→ Any Any Any))

0x0 library function trace-forward-link-matches.

trace-backward-link-matches

Type: (∷ (→ Any Any Any))

0x0 library function trace-backward-link-matches.

trace-link-pair-is-bidirectional

Type: (∷ (→ Any Any Any Any))

0x0 library function trace-link-pair-is-bidirectional.

trace-status-rollup

Type: (∷ (→ Any Any Any))

0x0 library function trace-status-rollup.

trace-link-is-closed

Type: (∷ (→ Any Any Any Any))

0x0 library function trace-link-is-closed.

trace-bundle

Type: (∷ (→ Any Any Any Any))

0x0 library function trace-bundle.

trace-bundle-requirement-record

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-requirement-record.

trace-bundle-evidence-record

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-evidence-record.

trace-bundle-link

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-link.

requirements-trace-wire-schema-version

Type: (∷ (→ Unit Any))

0x0 library function requirements-trace-wire-schema-version.

trace-bundle-wire-field-requirement-id

Type: (∷ (→ Unit Any))

0x0 library function trace-bundle-wire-field-requirement-id.

trace-bundle-wire-field-control-id

Type: (∷ (→ Unit Any))

0x0 library function trace-bundle-wire-field-control-id.

trace-bundle-wire-field-requirement-status

Type: (∷ (→ Unit Any))

0x0 library function trace-bundle-wire-field-requirement-status.

trace-bundle-wire-field-evidence-id

Type: (∷ (→ Unit Any))

0x0 library function trace-bundle-wire-field-evidence-id.

trace-bundle-wire-field-artifact-ref

Type: (∷ (→ Unit Any))

0x0 library function trace-bundle-wire-field-artifact-ref.

trace-bundle-wire-field-evidence-status

Type: (∷ (→ Unit Any))

0x0 library function trace-bundle-wire-field-evidence-status.

trace-bundle-wire-field-link-kind

Type: (∷ (→ Unit Any))

0x0 library function trace-bundle-wire-field-link-kind.

trace-bundle-wire-field-message

Type: (∷ (→ Unit Any))

0x0 library function trace-bundle-wire-field-message.

trace-bundle-wire-field-is-required

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-wire-field-is-required.

trace-bundle-to-wire-v1

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-to-wire-v1.

trace-bundle-from-wire-v1

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-from-wire-v1.

trace-bundle-wire-requirement-id

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-wire-requirement-id.

trace-bundle-wire-control-id

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-wire-control-id.

trace-bundle-wire-requirement-status

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-wire-requirement-status.

trace-bundle-wire-evidence-id

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-wire-evidence-id.

trace-bundle-wire-artifact-ref

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-wire-artifact-ref.

trace-bundle-wire-evidence-status

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-wire-evidence-status.

trace-bundle-wire-link-kind

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-wire-link-kind.

trace-bundle-wire-message

Type: (∷ (→ Any Any))

0x0 library function trace-bundle-wire-message.

requirements-trace-code-slot

Type: (∷ (→ Any Any))

0x0 library function requirements-trace-code-slot.

requirements-trace-code-slot-text

Type: (∷ (→ Any Any))

0x0 library function requirements-trace-code-slot-text.

is-reserved-requirements-trace-code

Type: (∷ (→ Any Any))

0x0 library function is-reserved-requirements-trace-code.

ensure-non-reserved-requirements-trace-code

Type: (∷ (→ Any Any))

0x0 library function ensure-non-reserved-requirements-trace-code.

classify-error-severity

Type: (∷ (→ Any Any))

0x0 library function classify-error-severity.

classify-retry-strategy

Type: (∷ (→ Any Any))

0x0 library function classify-retry-strategy.