🥮 mooncakes.io
    Sign in

    Ag108/MoonReduce/predicate/stability does not have a README file

    Decision

    source
    pub(all) enum Decision {
      Interesting
      Uninteresting
      Unresolved
    } derive(Eq, ToJson, 
    Debug    )

    Policy

    source
    pub struct Policy {
      repeat : Int
      quorum : Int
      consecutive : Bool
    }

    Validated fixed-size evidence policy; None means an unresolved execution.

    Policy::decide

    source
    fn Policy::decide(self : Policy, observations : Array[Bool?]) -> Decision

    Decide only complete batches. Unknown outcomes pass only when success is already certain, fail only when success is impossible, otherwise unresolved.

    Policy::new

    source
    fn Policy::new(repeat : Int, quorum : Int, consecutive? : Bool) -> Result[Policy, String]

    Bound evaluation cost and reject impossible quorum settings.

    Statistics

    source
    pub(all) struct Statistics {
      attempts : Int
      resolved : Int
      passed : Int
      rate : Double
      lower : Double
      upper : Double
    } derive(ToJson, 
    Debug    )

    summarize

    source
    fn summarize(observations : Array[Bool?]) -> Statistics

    Observed success rate and two-sided 95% Wilson interval among resolved runs. Unresolved counts remain explicit; an empty sample has interval [0, 1].

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io