Deriva — Derive the Algorithm

← ProjectBuild Everything / S2Code Completion Model~1440 min

S2train for a product contract400 lines · M2 + F1 + M7

Build the editor-facing completion contract: return bounded snippets that begin with the user's prefix, in deterministic order.

Required API

def complete_prefix(prefix, snippets, limit):
    return completions

Behavior

Optional design question

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

Visible contract tests

•
two matchescomplete_prefix('pri', ['print()', 'private', 'append()'], 2)
the editor receives relevant candidates
•
no matchcomplete_prefix('xyz', ['print()'], 3)
an empty completion set is valid

2 hidden edge tests run after the visible contract passes.

def complete_prefix(prefix, snippets, limit):
    # Filter by prefix, preserve order, and cap the result.
    pass

Run Tests to see the contract verdicts here.

0 runs

Opening…