Deriva — Derive the Algorithm

← ProjectBuild Everything / X1Dataset Contract + Leakage Firewall~90 min

X1make data admissible45 lines · F1 + A1

Build the dataset gate that accepts only rows with a stable ID, required values, and no reserved evaluation ID. Every rejection must remain visible.

Required API

def validate_rows(rows, required_fields, reserved_ids=None):
    return {'accepted': [...], 'rejected': [...]}

Behavior

Optional design question

Think through the mechanism first if you want the extra reasoning step. It never blocks the editor.

Visible contract tests

•
accept valid rowvalidate_rows([{'id': 'a', 'text': 'hi', 'label': 'bug'}], ['text', 'label'])
a valid row crosses the gate with its identity preserved
•
explain missing fieldvalidate_rows([{'id': 'b', 'text': 'hi'}], ['text', 'label'])
bad data is rejected with a stable reason

2 hidden edge tests run after the visible contract passes.

def validate_rows(rows, required_fields, reserved_ids=None):
    # Return accepted IDs and one stable reason for every rejected row.
    pass

Run Tests to see the contract verdicts here.

0 runs

Opening…