theorem NetworkRelativityObservationBoundary.mk.sizeOf_spec

theorem NetworkRelativityObservationBoundary.mk.sizeOf_spec
theorem NetworkRelativityObservationBoundary.mk.sizeOf_spec
: ∀ (sourceClaim sourceStatus transferablePattern nonTransferableClaim : String)
  (observedEvidence missingEvidence : List String),
  sizeOf
      (v6prs06k.NetworkRelativityObservationBoundary.mk sourceClaim sourceStatus transferablePattern
        nonTransferableClaim observedEvidence missingEvidence) =
    1 + sizeOf sourceClaim + sizeOf sourceStatus + sizeOf transferablePattern + sizeOf nonTransferableClaim +
        sizeOf observedEvidence +
      sizeOf missingEvidence

Published by @hitchhiker2thefuture · Aug 9, 2026

View source in v6prs06k

Definitional, with no premises to accept.