🥮 mooncakes.io

moonverity

MoonBit-native data contract and quality gate toolkit for CSV and JSONL datasets.

moonbit
data-contract
csv
jsonl
quality-gate
Download zip
Author
Version
0.1.2
License
Apache-2.0
Repository
Last updated
15 days ago
Downloads
13

Dependencies

#MoonVerity

MoonVerity is a MoonBit-native data contract and data quality gate toolkit for CSV and JSONL datasets. It combines executable field schemas, explicit quality rules, profile metrics, contract diffs, and CI-friendly command exits.

#Example API

///|
import {
  "Wchwch777/moonverity",
}

///|
let contract = @moonverity.parse_contract_json(contract_text)

///|
let rows = @moonverity.parse_csv_text(csv_text)

///|
let report = @moonverity.validate_rows_with_schema(contract, rows)

///|
let summary = @moonverity.summarize_report(report)

validate_rows remains available for callers that only want explicit rules. validate_rows_with_schema additionally checks required/nullable fields, Int/Bool/Date values, bounds, allowed values, and declared patterns.

#Commands

moon fmt && git diff --exit-code
moon check --deny-warn --target all
moon build --deny-warn --target all
moon test --deny-warn --target wasm-gc
python scripts/verify_benchmark.py

moon run cmd/main validate examples/retail-orders/contract.json examples/retail-orders/orders-valid.csv
moon run cmd/main profile examples/retail-orders/orders-valid.csv --json
moon run cmd/main diff-contract examples/retail-orders/contract.json examples/retail-orders/contract_v1_1.json --json
moon run cmd/main check-contract examples/retail-orders/contract.json

The invalid fixture intentionally exits with status 1:

moon run cmd/main validate examples/retail-orders/contract.json examples/retail-orders/orders-invalid.csv

#Packages

  • core/: contract model, schema validation, quality rules, profiles, analysis, normalization, and contract diff
  • adapters/: CSV/JSONL parsing, row normalization, projection, and serialization
  • cli/: pure command behavior and text/JSON renderers
  • cmd/main/: process entry point and truthful exit codes
  • examples/retail-orders/: valid and invalid fixtures
  • docs/: architecture, competition requirements, runbook, and acceptance material
  • scripts/: repository compliance, CLI exit, acceptance, and proposal helpers

The project also includes field-reference diagnostics, a deterministic quality score, a benchmark-suite API, row-shape inspection, and a 24-row reproducible retail-order fixture with an invalid variant.

#Open-source delivery

  • Apache-2.0 license
  • Three-platform CI with full-history checkout and explicit MoonBit build
  • Generated public interfaces checked by moon info and git diff --exit-code
  • Mooncakes metadata declared in moon.mod; publish with moon publish --dry-run before the authorized release command

See the architecture, acceptance checklist, official requirements, and source attribution.

BenchmarkCase

source

One reproducible validation case for a benchmark or acceptance fixture.

BenchmarkCaseResult

source

The observed result of one benchmark case.

BenchmarkSuite

source

Aggregated benchmark results. passed means every expectation matched.

ColumnProfile

source

ComparisonOp

source

Contract

source

ContractDiff

source

ContractIssue

source

ContractReferences

source

The field references used by a contract's rules.

ContractStats

source

DatasetProfile

source

DatasetShape

source

Structural facts about a normalized row collection.

FieldSpec

source

FieldType

source

QualityScore

source

A diagnostic quality score derived from profile completeness and validation rows. The score is a dashboard signal, not a replacement for the contract gate.

Rule

source

RuleResult

source

RuleSummary

source

Severity

source

ValidationOutcome

source

ValidationReport

source

ValidationSummary

source

analyze_contract_references

source

Analyze rule-to-field dependencies before executing a contract.

contract_field_names

source
fn contract_field_names(contract : 
Contract) -> Array[String]

contract_rule_names

source
fn contract_rule_names(contract : 
Contract) -> Array[String]

contract_stats

source

Return stable complexity indicators for documentation and review tooling.

diff_contracts

source

field_spec

source
fn field_spec(name : String, kind? : 
FieldType, required? : Bool, nullable? : Bool, allowed_values? : Array[String], min_int? : Int, max_int? : Int, pattern? : String, description? : String) -> 
FieldSpec

has_field

source
fn has_field(contract : 
Contract, name : String) -> Bool

inspect_contract

source

Inspect a contract before running it so configuration errors are explicit.

inspect_shape

source
fn inspect_shape(rows : Array[Map[String, String]]) -> 
DatasetShape

Inspect row shape without interpreting field values.

normalize_contract

source

Normalize user-authored contract metadata without changing its intent.

normalize_rows

source
fn normalize_rows(rows : Array[Map[String, String]]) -> Array[Map[String, String]]

Trim keys and values so records from different input sources share one normalization policy before validation or serialization.

parse_contract_json

source
fn parse_contract_json(source : String) -> 
Contract

parse_csv_text

source
fn parse_csv_text(source : String) -> Array[Map[String, String]]

parse_jsonl_text

source
fn parse_jsonl_text(source : String) -> Array[Map[String, String]]

profile_rows

source
fn profile_rows(rows : Array[Map[String, String]]) -> 
DatasetProfile

project_rows

source
fn project_rows(rows : Array[Map[String, String]], columns : Array[String]) -> Array[Map[String, String]]

Project records to a stable set of columns, filling missing cells with "".

quality_score

source

Calculate a deterministic score for dashboards and benchmark reports.

read_csv_file

source
fn read_csv_file(path : String) -> Array[Map[String, String]]

read_jsonl_file

source
fn read_jsonl_file(path : String) -> Array[Map[String, String]]

render_csv

source
fn render_csv(rows : Array[Map[String, String]], columns : Array[String]) -> String

Serialize rows as RFC 4180-compatible single-line CSV records.

render_jsonl

source
fn render_jsonl(rows : Array[Map[String, String]]) -> String

Serialize rows as JSONL with every cell represented as a JSON string.

row_of

source
fn row_of(entries : Array[(String, String)]) -> Map[String, String]

rule_field_references

source
fn rule_field_references(rule : 
Rule) -> Array[String]

Return the fields a rule reads, preserving the rule's declaration order.

rule_summaries

source

Return one compact summary item for each validation rule.

run_benchmark_suite

source

Run a deterministic suite without wall-clock timing or platform noise.

run_contract_check_json

source
fn run_contract_check_json(contract_text : String) -> 
ValidationOutcome

run_contract_check_text

source
fn run_contract_check_text(contract_text : String) -> 
ValidationOutcome

run_diff_contract_json

source
fn run_diff_contract_json(before_text : String, after_text : String) -> String

run_diff_contract_text

source
fn run_diff_contract_text(before_text : String, after_text : String) -> String

run_profile_json

source
fn run_profile_json(data_text : String, data_format : String) -> String

run_profile_text

source
fn run_profile_text(data_text : String, data_format : String) -> String

run_validate_json

source
fn run_validate_json(contract_text : String, data_text : String, data_format : String) -> String

run_validate_text

source
fn run_validate_text(contract_text : String, data_text : String, data_format : String) -> String

summarize_report

source

Summarize a report for dashboards and CI annotations.

validate_json

source
fn validate_json(contract_text : String, data_text : String, data_format : String) -> 
ValidationOutcome

validate_rows

source

validate_rows_with_schema

source

Validate field declarations in addition to the explicit contract rules.

This opt-in entry point keeps validate_rows compatible with the original rule-only API while making the field metadata executable for applications that want a complete data-contract gate.

validate_text

source
fn validate_text(contract_text : String, data_text : String, data_format : String) -> 
ValidationOutcome

Source Files

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io