Class ResidualActivityEvidence

java.lang.Object
com.soklet.ResidualActivityEvidence
@ThreadSafe public final class ResidualActivityEvidence extends Object
Immutable, bounded, conservative activity evidence retained at the final shutdown boundary. Observations may be combined across shutdown phases when complete termination cannot be proven. A category can therefore describe work that ended after an earlier observation; the evidence is not a live census of work active at result publication. An empty category set alone does not prove termination. Published evidence remains unchanged when work exits later.

  • Method Details

    • getResidualActivityTypes

      public @NonNull Set<@NonNull ResidualActivityType> getResidualActivityTypes()
      Returns:
      immutable conservative activity categories in enum order

    • getSummary

      public @NonNull String getSummary()
      Returns a framework-generated, control-character-escaped summary capped at 1,024 Unicode code points.
      Returns:
      bounded diagnostic summary

    • toString

      public @NonNull String toString()
      Returns a bounded, single-line diagnostic containing the enum-ordered residual-activity categories. The free-text summary is available only through getSummary() and is not rendered here.
      Overrides:
      toString in class Object
      Returns:
      compact residual-activity diagnostic; not a serialization format