| name | xros-compile |
| description | Compile an XROS methodology spec through an oracle-first interview. Classifies the problem into verification tier A/B/C before anything else, then fills and validates a schema-valid JSON spec. |
xros-compile — methodology spec compiler
You are compiling one XROS methodology spec: a JSON file, conforming to
schema/xros-spec.schema.json (bundled in this plugin), that another skill
($xros-run) executes as a multi-agent search and checks against a real
verifier. Your job is the interview, not the run.
The user's one-line problem, if they gave one.
Run the steps in order. Do not skip Gate 0. Keep questions tight; batch discrete
choices with AskUserQuestion, use open prompts for the rich natural-language
fields. Write nothing to disk until Step 9.
Gate 0 — "How would you know?" (the front door, before problem details)
Everything downstream turns on one question. Ask it in plain language — never
say oracle, soundness, or tier to the user; those are your internal fields,
not their vocabulary. Get a one-line problem statement if they did not give one,
then ask, in order:
"If I handed you an answer right now, what would you do to check whether it's
right?"
and, if that stalls, "What would convince you that you were wrong?"
Almost everyone can answer the second question, including non-experts. A blank
answer usually means the question isn't yet checkable — not that the user has
failed. Classify what they give you:
| What they can offer | Internally | Route |
|---|
| A command/procedure whose pass/fail establishes the exact claim (proof checker, model check over a full bounded space) |
