Checks — Svc/FpySequencer

Checklist checks — Svc/FpySequencer

← module · devel @ e84571354780 · generated 2026-09-03T21:13:22Z

ID	Check	Status	Notes
Requirements
`R1`	Requirement per command	FAIL	command 'RUN' has no requirement referencing it (add a requirement mentioning 'RUN') command 'RUN_ARGS' has no requirement referencing it (add a requirement mentioning 'RUN_ARGS') command 'VALIDATE' has no requirement referencing it (add a requirement mentioning 'VALIDATE') command 'VALIDATE_ARGS' has no requirement referencing it (add a requirement mentioning 'VALIDATE_ARGS') command 'RUN_VALIDATED' has no requirement referencing it (add a requirement mentioning 'RUN_VALIDATED') command 'CANCEL' has no requirement referencing it (add a requirement mentioning 'CANCEL') command 'SET_BREAKPOINT' has no requirement referencing it (add a requirement mentioning 'SET_BREAKPOINT') command 'BREAK' has no requirement referencing it (add a requirement mentioning 'BREAK') command 'CONTINUE' has no requirement referencing it (add a requirement mentioning 'CONTINUE') command 'CLEAR_BREAKPOINT' has no requirement referencing it (add a requirement mentioning 'CLEAR_BREAKPOINT') command 'STEP' has no requirement referencing it (add a requirement mentioning 'STEP') command 'DUMP_STACK_TO_FILE' has no requirement referencing it (add a requirement mentioning 'DUMP_STACK_TO_FILE')
`R2`	Requirement per telemetry channel	FAIL	telemetry channel 'State' has no requirement referencing it (add a requirement mentioning 'State') telemetry channel 'SequencesSucceeded' has no requirement referencing it (add a requirement mentioning 'SequencesSucceeded') telemetry channel 'SequencesFailed' has no requirement referencing it (add a requirement mentioning 'SequencesFailed') telemetry channel 'SequencesCancelled' has no requirement referencing it (add a requirement mentioning 'SequencesCancelled') telemetry channel 'StatementsDispatched' has no requirement referencing it (add a requirement mentioning 'StatementsDispatched') telemetry channel 'StatementsFailed' has no requirement referencing it (add a requirement mentioning 'StatementsFailed') telemetry channel 'LastDirectiveError' has no requirement referencing it (add a requirement mentioning 'LastDirectiveError') telemetry channel 'DirectiveErrorIndex' has no requirement referencing it (add a requirement mentioning 'DirectiveErrorIndex') telemetry channel 'DirectiveErrorId' has no requirement referencing it (add a requirement mentioning 'DirectiveErrorId') telemetry channel 'SeqPath' has no requirement referencing it (add a requirement mentioning 'SeqPath') telemetry channel 'Debug_ReachedEndOfFile' has no requirement referencing it (add a requirement mentioning 'Debug_ReachedEndOfFile') telemetry channel 'Debug_NextStatementReadSuccess' has no requirement referencing it (add a requirement mentioning 'Debug_NextStatementReadSuccess') telemetry channel 'Debug_NextStatementOpcode' has no requirement referencing it (add a requirement mentioning 'Debug_NextStatementOpcode') telemetry channel 'Debug_NextStatementIndex' has no requirement referencing it (add a requirement mentioning 'Debug_NextStatementIndex') telemetry channel 'Debug_NextCmdOpcode' has no requirement referencing it (add a requirement mentioning 'Debug_NextCmdOpcode') telemetry channel 'Debug_StackSize' has no requirement referencing it (add a requirement mentioning 'Debug_StackSize') telemetry channel 'BreakpointInUse' has no requirement referencing it (add a requirement mentioning 'BreakpointInUse') telemetry channel 'BreakpointIndex' has no requirement referencing it (add a requirement mentioning 'BreakpointIndex') telemetry channel 'BreakOnlyOnceOnBreakpoint' has no requirement referencing it (add a requirement mentioning 'BreakOnlyOnceOnBreakpoint') telemetry channel 'BreakBeforeNextLine' has no requirement referencing it (add a requirement mentioning 'BreakBeforeNextLine') ... 2 more
`R3`	Requirement per event	FAIL	event 'InvalidCommand' has no requirement referencing it (add a requirement mentioning 'InvalidCommand') event 'InvalidSeqRunCall' has no requirement referencing it (add a requirement mentioning 'InvalidSeqRunCall') event 'InvalidSeqCancelCall' has no requirement referencing it (add a requirement mentioning 'InvalidSeqCancelCall') event 'FileOpenError' has no requirement referencing it (add a requirement mentioning 'FileOpenError') event 'FileWriteError' has no requirement referencing it (add a requirement mentioning 'FileWriteError') event 'FileReadError' has no requirement referencing it (add a requirement mentioning 'FileReadError') event 'EndOfFileError' has no requirement referencing it (add a requirement mentioning 'EndOfFileError') event 'FileReadDeserializeError' has no requirement referencing it (add a requirement mentioning 'FileReadDeserializeError') event 'WrongSchemaVersion' has no requirement referencing it (add a requirement mentioning 'WrongSchemaVersion') event 'WrongCRC' has no requirement referencing it (add a requirement mentioning 'WrongCRC') event 'ExtraBytesInSequence' has no requirement referencing it (add a requirement mentioning 'ExtraBytesInSequence') event 'InsufficientBufferSpace' has no requirement referencing it (add a requirement mentioning 'InsufficientBufferSpace') event 'FileApiError' has no requirement referencing it (add a requirement mentioning 'FileApiError') event 'SequenceFilePathTooLong' has no requirement referencing it (add a requirement mentioning 'SequenceFilePathTooLong') event 'CommandFailed' has no requirement referencing it (add a requirement mentioning 'CommandFailed') event 'SequenceDone' has no requirement referencing it (add a requirement mentioning 'SequenceDone') event 'SequenceCancelled' has no requirement referencing it (add a requirement mentioning 'SequenceCancelled') event 'SequenceExitedWithError' has no requirement referencing it (add a requirement mentioning 'SequenceExitedWithError') event 'UnknownSequencerDirective' has no requirement referencing it (add a requirement mentioning 'UnknownSequencerDirective') event 'CmdResponseWhileNotRunningSequence' has no requirement referencing it (add a requirement mentioning 'CmdResponseWhileNotRunningSequence') ... 25 more
`R4`	Requirement per parameter	FAIL	parameter 'STATEMENT_TIMEOUT_SECS' has no requirement referencing it (add a requirement mentioning 'STATEMENT_TIMEOUT_SECS') parameter 'SEQ_BASE_DIR' has no requirement referencing it (add a requirement mentioning 'SEQ_BASE_DIR')
`R5`	Requirement per data product	SKIP	no data products declared in the FPP model
`R6`	Requirement per port/interface	FAIL	port 'cmdResponseIn' has no requirement referencing it (add a requirement mentioning 'cmdResponseIn') port 'pingIn' has no requirement referencing it (add a requirement mentioning 'pingIn') port 'checkTimers' has no requirement referencing it (add a requirement mentioning 'checkTimers') port 'tlmWrite' has no requirement referencing it (add a requirement mentioning 'tlmWrite') port 'seqRunIn' has no requirement referencing it (add a requirement mentioning 'seqRunIn') port 'seqCancelIn' has no requirement referencing it (add a requirement mentioning 'seqCancelIn') port 'cmdOut' has no requirement referencing it (add a requirement mentioning 'cmdOut') port 'seqStartOut' has no requirement referencing it (add a requirement mentioning 'seqStartOut') port 'seqDoneOut' has no requirement referencing it (add a requirement mentioning 'seqDoneOut') port 'pingOut' has no requirement referencing it (add a requirement mentioning 'pingOut') port 'getTlmChan' has no requirement referencing it (add a requirement mentioning 'getTlmChan') port 'getParam' has no requirement referencing it (add a requirement mentioning 'getParam') port 'serialOut' has no requirement referencing it (add a requirement mentioning 'serialOut')
`R7`	Requirement parent traceability	FAIL	requirement 'FPY-SEQ-001' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:21) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-002' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:22) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-003' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:23) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-004' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:24) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-005' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:25) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-006' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:26) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-007' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:27) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-008' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:28) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-009' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:29) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-010' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:30) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-011' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:31) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-012' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:32) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-013' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:33) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-014' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:34) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-015' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:35) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-016' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:36) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-017' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:37) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-018' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:38) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-019' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:39) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPY-SEQ-020' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:40) has no parent trace (add a Parent/Trace column entry linking a parent requirement) ... 1 more
`R8`	Requirement verification method	PASS	21 requirement(s) checked
Design
`D1`	Input port handlers defined	PASS	6 input port(s) checked
`D2`	Command handlers defined	PASS	12 command(s) checked
`D3`	State machine actions defined	FAIL	state machine 'SequencerStateMachine' action 'signalEntered' has no 'action_signalEntered' implementation state machine 'SequencerStateMachine' action 'setSequenceFilePath' has no 'action_setSequenceFilePath' implementation state machine 'SequencerStateMachine' action 'setSequenceBlockState' has no 'action_setSequenceBlockState' implementation state machine 'SequencerStateMachine' action 'setSequenceArguments' has no 'action_setSequenceArguments' implementation state machine 'SequencerStateMachine' action 'validate' has no 'action_validate' implementation state machine 'SequencerStateMachine' action 'report_seqSucceeded' has no 'action_report_seqSucceeded' implementation state machine 'SequencerStateMachine' action 'report_seqCancelled' has no 'action_report_seqCancelled' implementation state machine 'SequencerStateMachine' action 'report_seqFailed' has no 'action_report_seqFailed' implementation state machine 'SequencerStateMachine' action 'report_seqStarted' has no 'action_report_seqStarted' implementation state machine 'SequencerStateMachine' action 'setGoalState_RUNNING' has no 'action_setGoalState_RUNNING' implementation state machine 'SequencerStateMachine' action 'setGoalState_VALID' has no 'action_setGoalState_VALID' implementation state machine 'SequencerStateMachine' action 'setGoalState_IDLE' has no 'action_setGoalState_IDLE' implementation state machine 'SequencerStateMachine' action 'sendCmdResponse_OK' has no 'action_sendCmdResponse_OK' implementation state machine 'SequencerStateMachine' action 'sendCmdResponse_EXECUTION_ERROR' has no 'action_sendCmdResponse_EXECUTION_ERROR' implementation state machine 'SequencerStateMachine' action 'clearSequenceFile' has no 'action_clearSequenceFile' implementation state machine 'SequencerStateMachine' action 'clearBreakpoint' has no 'action_clearBreakpoint' implementation state machine 'SequencerStateMachine' action 'clearSequenceArguments' has no 'action_clearSequenceArguments' implementation state machine 'SequencerStateMachine' action 'checkShouldWake' has no 'action_checkShouldWake' implementation state machine 'SequencerStateMachine' action 'dispatchStatement' has no 'action_dispatchStatement' implementation state machine 'SequencerStateMachine' action 'resetRuntime' has no 'action_resetRuntime' implementation ... 7 more
`D4`	Data product containers have default priority	SKIP	no data product containers declared
`D5`	Requirements mapped to design artifacts	FAIL	requirement 'FPY-SEQ-005' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:25) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPY-SEQ-006' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:26) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPY-SEQ-011' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:31) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPY-SEQ-012' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:32) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPY-SEQ-013' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:33) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPY-SEQ-014' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:34) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPY-SEQ-020' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:40) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPY-SEQ-021' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:41) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
Implementation
`I1`	Source dependencies listed in CMakeLists	FAIL	dependency 'Fw/Com' (from #include "Fw/Com/ComPacket.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Com) dependency 'Fw/Prm' (from #include "Fw/Prm/ParamValid.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Prm) dependency 'Fw/Time' (from #include "Fw/Time/Time.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Time) dependency 'Fw/Types' (from #include "Fw/Types/FileNameString.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Types) dependency 'Os' (from #include "Os/File.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Os) dependency 'Utils/Hash' (from #include "Utils/Hash/Hash.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Utils_Hash)
`I3`	Data product priorities configurable	SKIP	no data product containers declared
Unit Testing
`U3`	Unit-test dependencies in CMakeLists	FAIL	unit-test dependency 'Fw/Com' (from #include "Fw/Com/ComPacket.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS) unit-test dependency 'Fw/Types' (from #include "Fw/Types/MallocAllocator.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS) unit-test dependency 'Os' (from #include "Os/FileSystem.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)

Check

Status

Notes

Requirements

R1

Requirement per command

FAIL

command 'RUN' has no requirement referencing it (add a requirement mentioning 'RUN')
command 'RUN_ARGS' has no requirement referencing it (add a requirement mentioning 'RUN_ARGS')
command 'VALIDATE' has no requirement referencing it (add a requirement mentioning 'VALIDATE')
command 'VALIDATE_ARGS' has no requirement referencing it (add a requirement mentioning 'VALIDATE_ARGS')
command 'RUN_VALIDATED' has no requirement referencing it (add a requirement mentioning 'RUN_VALIDATED')
command 'CANCEL' has no requirement referencing it (add a requirement mentioning 'CANCEL')
command 'SET_BREAKPOINT' has no requirement referencing it (add a requirement mentioning 'SET_BREAKPOINT')
command 'BREAK' has no requirement referencing it (add a requirement mentioning 'BREAK')
command 'CONTINUE' has no requirement referencing it (add a requirement mentioning 'CONTINUE')
command 'CLEAR_BREAKPOINT' has no requirement referencing it (add a requirement mentioning 'CLEAR_BREAKPOINT')
command 'STEP' has no requirement referencing it (add a requirement mentioning 'STEP')
command 'DUMP_STACK_TO_FILE' has no requirement referencing it (add a requirement mentioning 'DUMP_STACK_TO_FILE')

R2

Requirement per telemetry channel

FAIL

telemetry channel 'State' has no requirement referencing it (add a requirement mentioning 'State')
telemetry channel 'SequencesSucceeded' has no requirement referencing it (add a requirement mentioning 'SequencesSucceeded')
telemetry channel 'SequencesFailed' has no requirement referencing it (add a requirement mentioning 'SequencesFailed')
telemetry channel 'SequencesCancelled' has no requirement referencing it (add a requirement mentioning 'SequencesCancelled')
telemetry channel 'StatementsDispatched' has no requirement referencing it (add a requirement mentioning 'StatementsDispatched')
telemetry channel 'StatementsFailed' has no requirement referencing it (add a requirement mentioning 'StatementsFailed')
telemetry channel 'LastDirectiveError' has no requirement referencing it (add a requirement mentioning 'LastDirectiveError')
telemetry channel 'DirectiveErrorIndex' has no requirement referencing it (add a requirement mentioning 'DirectiveErrorIndex')
telemetry channel 'DirectiveErrorId' has no requirement referencing it (add a requirement mentioning 'DirectiveErrorId')
telemetry channel 'SeqPath' has no requirement referencing it (add a requirement mentioning 'SeqPath')
telemetry channel 'Debug_ReachedEndOfFile' has no requirement referencing it (add a requirement mentioning 'Debug_ReachedEndOfFile')
telemetry channel 'Debug_NextStatementReadSuccess' has no requirement referencing it (add a requirement mentioning 'Debug_NextStatementReadSuccess')
telemetry channel 'Debug_NextStatementOpcode' has no requirement referencing it (add a requirement mentioning 'Debug_NextStatementOpcode')
telemetry channel 'Debug_NextStatementIndex' has no requirement referencing it (add a requirement mentioning 'Debug_NextStatementIndex')
telemetry channel 'Debug_NextCmdOpcode' has no requirement referencing it (add a requirement mentioning 'Debug_NextCmdOpcode')
telemetry channel 'Debug_StackSize' has no requirement referencing it (add a requirement mentioning 'Debug_StackSize')
telemetry channel 'BreakpointInUse' has no requirement referencing it (add a requirement mentioning 'BreakpointInUse')
telemetry channel 'BreakpointIndex' has no requirement referencing it (add a requirement mentioning 'BreakpointIndex')
telemetry channel 'BreakOnlyOnceOnBreakpoint' has no requirement referencing it (add a requirement mentioning 'BreakOnlyOnceOnBreakpoint')
telemetry channel 'BreakBeforeNextLine' has no requirement referencing it (add a requirement mentioning 'BreakBeforeNextLine')
... 2 more

R3

Requirement per event

FAIL

event 'InvalidCommand' has no requirement referencing it (add a requirement mentioning 'InvalidCommand')
event 'InvalidSeqRunCall' has no requirement referencing it (add a requirement mentioning 'InvalidSeqRunCall')
event 'InvalidSeqCancelCall' has no requirement referencing it (add a requirement mentioning 'InvalidSeqCancelCall')
event 'FileOpenError' has no requirement referencing it (add a requirement mentioning 'FileOpenError')
event 'FileWriteError' has no requirement referencing it (add a requirement mentioning 'FileWriteError')
event 'FileReadError' has no requirement referencing it (add a requirement mentioning 'FileReadError')
event 'EndOfFileError' has no requirement referencing it (add a requirement mentioning 'EndOfFileError')
event 'FileReadDeserializeError' has no requirement referencing it (add a requirement mentioning 'FileReadDeserializeError')
event 'WrongSchemaVersion' has no requirement referencing it (add a requirement mentioning 'WrongSchemaVersion')
event 'WrongCRC' has no requirement referencing it (add a requirement mentioning 'WrongCRC')
event 'ExtraBytesInSequence' has no requirement referencing it (add a requirement mentioning 'ExtraBytesInSequence')
event 'InsufficientBufferSpace' has no requirement referencing it (add a requirement mentioning 'InsufficientBufferSpace')
event 'FileApiError' has no requirement referencing it (add a requirement mentioning 'FileApiError')
event 'SequenceFilePathTooLong' has no requirement referencing it (add a requirement mentioning 'SequenceFilePathTooLong')
event 'CommandFailed' has no requirement referencing it (add a requirement mentioning 'CommandFailed')
event 'SequenceDone' has no requirement referencing it (add a requirement mentioning 'SequenceDone')
event 'SequenceCancelled' has no requirement referencing it (add a requirement mentioning 'SequenceCancelled')
event 'SequenceExitedWithError' has no requirement referencing it (add a requirement mentioning 'SequenceExitedWithError')
event 'UnknownSequencerDirective' has no requirement referencing it (add a requirement mentioning 'UnknownSequencerDirective')
event 'CmdResponseWhileNotRunningSequence' has no requirement referencing it (add a requirement mentioning 'CmdResponseWhileNotRunningSequence')
... 25 more

R4

Requirement per parameter

FAIL

parameter 'STATEMENT_TIMEOUT_SECS' has no requirement referencing it (add a requirement mentioning 'STATEMENT_TIMEOUT_SECS')
parameter 'SEQ_BASE_DIR' has no requirement referencing it (add a requirement mentioning 'SEQ_BASE_DIR')

R5

Requirement per data product

SKIP

no data products declared in the FPP model

R6

Requirement per port/interface

FAIL

port 'cmdResponseIn' has no requirement referencing it (add a requirement mentioning 'cmdResponseIn')
port 'pingIn' has no requirement referencing it (add a requirement mentioning 'pingIn')
port 'checkTimers' has no requirement referencing it (add a requirement mentioning 'checkTimers')
port 'tlmWrite' has no requirement referencing it (add a requirement mentioning 'tlmWrite')
port 'seqRunIn' has no requirement referencing it (add a requirement mentioning 'seqRunIn')
port 'seqCancelIn' has no requirement referencing it (add a requirement mentioning 'seqCancelIn')
port 'cmdOut' has no requirement referencing it (add a requirement mentioning 'cmdOut')
port 'seqStartOut' has no requirement referencing it (add a requirement mentioning 'seqStartOut')
port 'seqDoneOut' has no requirement referencing it (add a requirement mentioning 'seqDoneOut')
port 'pingOut' has no requirement referencing it (add a requirement mentioning 'pingOut')
port 'getTlmChan' has no requirement referencing it (add a requirement mentioning 'getTlmChan')
port 'getParam' has no requirement referencing it (add a requirement mentioning 'getParam')
port 'serialOut' has no requirement referencing it (add a requirement mentioning 'serialOut')

R7

Requirement parent traceability

FAIL

requirement 'FPY-SEQ-001' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:21) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-002' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:22) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-003' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:23) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-004' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:24) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-005' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:25) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-006' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:26) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-007' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:27) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-008' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:28) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-009' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:29) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-010' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:30) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-011' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:31) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-012' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:32) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-013' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:33) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-014' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:34) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-015' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:35) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-016' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:36) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-017' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:37) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-018' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:38) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-019' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:39) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPY-SEQ-020' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:40) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
... 1 more

R8

Requirement verification method

PASS

21 requirement(s) checked

Design

D1

Input port handlers defined

PASS

6 input port(s) checked

D2

Command handlers defined

PASS

12 command(s) checked

D3

State machine actions defined

FAIL

state machine 'SequencerStateMachine' action 'signalEntered' has no 'action_signalEntered' implementation
state machine 'SequencerStateMachine' action 'setSequenceFilePath' has no 'action_setSequenceFilePath' implementation
state machine 'SequencerStateMachine' action 'setSequenceBlockState' has no 'action_setSequenceBlockState' implementation
state machine 'SequencerStateMachine' action 'setSequenceArguments' has no 'action_setSequenceArguments' implementation
state machine 'SequencerStateMachine' action 'validate' has no 'action_validate' implementation
state machine 'SequencerStateMachine' action 'report_seqSucceeded' has no 'action_report_seqSucceeded' implementation
state machine 'SequencerStateMachine' action 'report_seqCancelled' has no 'action_report_seqCancelled' implementation
state machine 'SequencerStateMachine' action 'report_seqFailed' has no 'action_report_seqFailed' implementation
state machine 'SequencerStateMachine' action 'report_seqStarted' has no 'action_report_seqStarted' implementation
state machine 'SequencerStateMachine' action 'setGoalState_RUNNING' has no 'action_setGoalState_RUNNING' implementation
state machine 'SequencerStateMachine' action 'setGoalState_VALID' has no 'action_setGoalState_VALID' implementation
state machine 'SequencerStateMachine' action 'setGoalState_IDLE' has no 'action_setGoalState_IDLE' implementation
state machine 'SequencerStateMachine' action 'sendCmdResponse_OK' has no 'action_sendCmdResponse_OK' implementation
state machine 'SequencerStateMachine' action 'sendCmdResponse_EXECUTION_ERROR' has no 'action_sendCmdResponse_EXECUTION_ERROR' implementation
state machine 'SequencerStateMachine' action 'clearSequenceFile' has no 'action_clearSequenceFile' implementation
state machine 'SequencerStateMachine' action 'clearBreakpoint' has no 'action_clearBreakpoint' implementation
state machine 'SequencerStateMachine' action 'clearSequenceArguments' has no 'action_clearSequenceArguments' implementation
state machine 'SequencerStateMachine' action 'checkShouldWake' has no 'action_checkShouldWake' implementation
state machine 'SequencerStateMachine' action 'dispatchStatement' has no 'action_dispatchStatement' implementation
state machine 'SequencerStateMachine' action 'resetRuntime' has no 'action_resetRuntime' implementation
... 7 more

D4

Data product containers have default priority

SKIP

no data product containers declared

D5

Requirements mapped to design artifacts

FAIL

requirement 'FPY-SEQ-005' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:25) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPY-SEQ-006' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:26) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPY-SEQ-011' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:31) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPY-SEQ-012' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:32) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPY-SEQ-013' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:33) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPY-SEQ-014' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:34) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPY-SEQ-020' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:40) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPY-SEQ-021' (/home/runner/work/fprime/fprime/Svc/FpySequencer/docs/sdd.md:41) is not mapped to any design artifact (add a Design column entry or reference it in a design section)

Implementation

I1

Source dependencies listed in CMakeLists

FAIL

dependency 'Fw/Com' (from #include "Fw/Com/ComPacket.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Com)
dependency 'Fw/Prm' (from #include "Fw/Prm/ParamValid.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Prm)
dependency 'Fw/Time' (from #include "Fw/Time/Time.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Time)
dependency 'Fw/Types' (from #include "Fw/Types/FileNameString.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Types)
dependency 'Os' (from #include "Os/File.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Os)
dependency 'Utils/Hash' (from #include "Utils/Hash/Hash.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Utils_Hash)

I3

Data product priorities configurable

SKIP

no data product containers declared

Unit Testing

U3

Unit-test dependencies in CMakeLists

FAIL

unit-test dependency 'Fw/Com' (from #include "Fw/Com/ComPacket.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
unit-test dependency 'Fw/Types' (from #include "Fw/Types/MallocAllocator.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
unit-test dependency 'Os' (from #include "Os/FileSystem.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)

Checklist checks — Svc/FpySequencer

Checklist checks — `Svc/FpySequencer`