Skip to content

Report Management Behavior Trees

Auto-generated reference documentation for the Report Management (RM) behavior trees in vultron/core/behaviors/report/.

Requirements

The behavioral requirements for these trees are specified in the Protocol Specifications:

  • RMB-01 — Receive RS (Report Submission)
  • RMB-09 — Enter RM Received
  • RMB-10 — Enter RM Valid
  • RMB-11 — Enter RM Invalid
  • RMB-12 — Enter RM Deferred
  • RMB-13 — Enter RM Accepted
  • RMB-14 — Enter RM Closed
  • RMB-15 — RM Write-Boundary Transition Validation

Report Received Tree

Handles an incoming report submission (RS message). Constructed from vultron.core.behaviors.report.received_report_trees.create_report_received_tree.

[-] CreateReportReceivedBT
    --> IntakeReceivedActivityNode
    --> CaseOpenToExternalWrites
    --> ActivityAddressedToReceiverNode
    --> StoreReportNode

Validate Report Tree

Validates an incoming report. Constructed from vultron.core.behaviors.report.validate_tree.create_validate_report_subtree.

[o] ValidateReportBT
    --> CheckRMStateValid
    [-] ValidationFlow
        --> CheckRMStateReceivedOrInvalid
        -^- EvaluateReportCredibility
            --> EvaluateReportCredibility
        -^- EvaluateReportValidity
            --> EvaluateReportValidity
        --> RequireCaseForReport
        --> EnsureEmbargoExists
        [-] ValidationActions
            --> TransitionRMtoValid
            --> EmitValidateReportActivity

Prioritize Report Tree

Prioritizes (accepts or defers) a validated report. Constructed from vultron.core.behaviors.report.prioritize_tree.create_prioritize_subtree.

[o] PrioritizeBT
    [-] EngagePath
        -^- EvaluateCasePriority
            --> EvaluateCasePriority
        [-] EngageCaseTriggerBT
            --> ValidateRMtoAccepted
            [-] SenderSideBT
                --> ResolveCaseManagerNode
                --> ConstructActivitiesNode
                --> QueueToOutboxNode
        -^- OnAccept
            --> OnAccept
    [-] DeferPath
        [-] DeferCaseTriggerBT
            --> ValidateRMtoDeferred
            [-] SenderSideBT
                --> ResolveCaseManagerNode
                --> ConstructActivitiesNode
                --> QueueToOutboxNode
        -^- OnDefer
            --> OnDefer

Close Report Tree

Closes a report. Constructed from vultron.core.behaviors.report.close_report_tree.create_close_report_tree.

-^- OtherCloseCriteriaMet
    --> OtherCloseCriteriaMet