🥮 mooncakes.io
    Sign in

    Ag108/MoonReduce/model does not have a README file

    Budget

    source
    pub(all) struct Budget {
      max_tests : Int
      max_time_ms : Int64
    } derive(Eq, ToJson, 
    Debug    )

    All command attempts count, including the two baseline and three final runs.

    Evaluation

    source
    pub(all) struct Evaluation {
      exit_code : Int
      timed_out : Bool
      stdout : String
      stderr : String
      stdout_truncated : Bool
      stderr_truncated : Bool
      duration_ms : Int64
    } derive(Eq, ToJson, 
    Debug    )

    Platform independent process observation. Spawn errors must be returned separately.

    FailureKind

    source
    pub(all) enum FailureKind {
      ExitCode(Int)
      NonZero
      Timeout
    } derive(Eq, ToJson, 
    Debug    )

    Stable failure class. Output rules are ANDed with this condition.

    OutputRule

    source
    pub(all) struct OutputRule {
      text : String
      negate : Bool
      ignore_case : Bool
    } derive(Eq, ToJson, 
    Debug    )

    Match one normalized stream; negative rules reject contained text.

    PredicateSpec

    source
    pub(all) struct PredicateSpec {
      command : Array[String]
      cwd : String
      failure : FailureKind
      stdout_rules : Array[OutputRule]
      stderr_rules : Array[OutputRule]
      timeout_ms : Int
      output_limit : Int
      strip_locations : Bool
      environment : Map[String, String]
    } derive(ToJson, 
    Debug    )

    Direct argv execution and bounded predicate settings.

    RunStatus

    source
    pub(all) enum RunStatus {
      Completed
      BaselineFailed
      BaselineUnstable
      BudgetExhausted
      Cancelled
      ExecutionFailed
      FinalFailed
    } derive(Eq, ToJson, 
    Debug    )

    Terminal result, retaining the best known matching candidate on interruption.

    RunStatus::exit_code

    source
    fn RunStatus::exit_code(self : RunStatus) -> Int

    CLI status mapping specified by the initial acceptance contract.

    default_budget

    source
    fn default_budget() -> Budget

    Default budget, with enough room for baseline and final verification.

    default_predicate

    source
    fn default_predicate(command : Array[String]) -> PredicateSpec

    Construct a predicate with conservative finite resource limits.

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io