Sign in

    roboaudit

    MoonBit-first auditing for robot and embodied-AI evaluation logs.

    robotics
    evaluation
    audit
    reproducibility
    Download zip
    Author
    Version
    0.1.0
    License
    Apache-2.0
    Last updated
    25 days ago
    Downloads
    15

    #RoboAudit.mbt

    Submission documentation is maintained in README.md.

    ArtifactRef

    pub(all) struct ArtifactRef {
    path : String
    expected_sha256 : String?
    observed_sha256 : String?
    exists : Bool
    } derive(Eq,
    Debug
    )

    AuditFinding

    pub(all) struct AuditFinding {
    rule_id : String
    severity : String
    path : String
    message : String
    suggestion : String
    } derive(Eq, ToJson,
    Debug
    )

    Episode

    pub(all) struct Episode {
    index : Int
    index_is_present : Bool
    candidate_index : Int?
    attempt_index : Int?
    seed : Int?
    success : Bool
    success_is_valid : Bool
    action_steps : Int?
    duration_ms : Int?
    failure_type : String?
    stages : Array[Stage]
    artifact_refs : Array[ArtifactRef]
    } derive(Eq,
    Debug
    )

    Run

    pub(all) struct Run {
    schema_version : String
    run_id : String
    task : String
    policy : String
    protocol : String
    observation_mode : String
    evaluator_version : String
    code_revision : String
    seed_policy : String
    success_definition : String
    environment : String
    provenance : String
    timeout_steps : Int?
    declared_episode_count : Int?
    declared_success_count : Int?
    declared_failure_count : Int?
    retry_policy : String
    episodes : Array[Episode]
    skipped_reasons : Array[String]
    failure_annotations : Array[String]
    training_seeds : Array[Int]
    } derive(Eq,
    Debug
    )

    Canonical representation shared by canonical JSON and the RoboSyn adapter.

    Stage

    pub(all) struct Stage {
    name : String
    completed : Bool
    } derive(Eq,
    Debug
    )

    Canonical, license-safe in-memory representation of one evaluated episode.

    compare_json

    fn compare_json(first : String, second : String) -> String

    Compare compatible runs and explain protocol mismatches before statistics.

    protocol_fingerprint

    fn protocol_fingerprint(input : String) -> String

    Return a stable, normalized protocol fingerprint string.

    report_csv

    fn report_csv(input : String) -> String

    Produce a deterministic one-row CSV summary with RFC-style field quoting.

    report_json

    fn report_json(input : String) -> String

    Produce deterministic, machine-readable JSON with recomputed statistics.

    report_markdown

    fn report_markdown(input : String) -> String

    Produce a deterministic Markdown report from a supported JSON input.

    sha256_bytes

    fn sha256_bytes(input : Bytes) -> String

    Compute a lowercase SHA-256 digest of arbitrary bytes.

    sha256_text

    fn sha256_text(input : String) -> String

    Compute a lowercase SHA-256 digest of the UTF-8 bytes of input.

    validate_json

    fn validate_json(input : String) -> String

    Validate canonical JSON or RoboSyn evaluation_metrics-shaped JSON.

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io