x07-lint-repair

Original🇺🇸 English
Translated

Lint X07 x07AST JSON and converge via quickfixes (`x07 fix`) or explicit JSON Patch (`x07 ast apply-patch`).

2installs
Added on

NPX Install

npx skill4agent add x07lang/x07-website x07-lint-repair

Tags

Translated version includes tags in frontmatter

x07-lint-repair

Use this skill when an X07 file fails linting and the agent needs a repeatable converge loop.
Note:
x07 run
,
x07 build
, and
x07 bundle
run the same auto-repair loop by default (
--repair=...
). Use this skill when you want raw diagnostics or tighter control.

Canonical converge loop

  1. Lint (machine-readable JSON report):
    • x07 lint --input src/main.x07.json --json
  2. Apply tool-provided quickfixes (when diagnostics include JSON Patch quickfixes):
    • x07 fix --input src/main.x07.json --write --json
  3. If a custom fix is needed, apply an explicit JSON Patch (RFC 6902):
    • x07 ast apply-patch --in src/main.x07.json --patch /tmp/repair.patch.json --validate
  4. Canonicalize after patching:
    • x07 fmt --input src/main.x07.json --write --json
Repeat (max 3 iterations). If still failing, stop and change strategy (reduce scope, regenerate the x07AST cleanly, or ask for clarification).
Related:
  • If the failure came from
    x07 test --pbt
    (a counterexample repro), use
    x07 fix --from-pbt <repro.json> --write
    to generate a deterministic regression test.