0x729eecea fails

0x729eecea86ea5a2cdba3a2856a313bca

bolt/args: bolt's command line, read from `IO.args()`: `bolt [lint]

Anonymous package: import it by hash.

Published

2026-09-20

Size

272,125 bytes, 70 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 376 defs, 53 types

Import

import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/args.bend as Args
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/check.bend as Check
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/config.bend as Config
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/finding.bend as Finding
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/glob.bend as Glob
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lint.bend as Lint
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/checker/bend.bend as Bend
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/checker/service.bend as Service
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/docs.bend as Docs
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/files/disk.bend as Disk
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/files/service.bend as Service
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/frame.bend as Frame
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/nav.bend as Nav
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/path.bend as Path
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/proto.bend as Proto
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/report.bend as Report
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/run.bend as Run
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/semantic.bend as Semantic
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/server.bend as Server
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/transport/service.bend as Service
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/transport/stdio.bend as Stdio
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/main.bend as Main
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules.bend as Rules
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/calls.bend as Calls
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/correctness/arms.bend as Arms
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/correctness/chars.bend as Chars
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/correctness/escape.bend as Escape
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/correctness/foreign.bend as Foreign
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/correctness/hole.bend as Hole
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/correctness/pick.bend as Pick
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/correctness/put.bend as Put
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/correctness/shadow.bend as Shadow
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/correctness/strings.bend as Strings
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/correctness/twice.bend as Twice
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/digest.bend as Digest
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/imports.bend as Imports
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/laws/closed.bend as Closed
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/laws/law.bend as Law
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/laws/unsafe.bend as Unsafe
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/pedantic/tail.bend as Tail
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/style/doc.bend as Doc
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/style/space.bend as Space
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/suspicious/concat.bend as Concat
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/suspicious/eager.bend as Eager
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/suspicious/fuel.bend as Fuel
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/suspicious/index.bend as Index
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/suspicious/nat.bend as MNat
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/suspicious/strict.bend as Strict
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/suspicious/unused.bend as Unused
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules/tokens.bend as Tokens
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/src.bend as Src
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/status.bend as Status
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/walk/disk.bend as Disk
import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/walk/service.bend as Service
import 0x729eecea86ea5a2cdba3a2856a313bca/json/lex.bend as Lex
import 0x729eecea86ea5a2cdba3a2856a313bca/json/parse.bend as Parse
import 0x729eecea86ea5a2cdba3a2856a313bca/json/print.bend as Print
import 0x729eecea86ea5a2cdba3a2856a313bca/json/value.bend as Value
import 0x729eecea86ea5a2cdba3a2856a313bca/lazy/lazy.bend as Lazy
import 0x729eecea86ea5a2cdba3a2856a313bca/syntax/bind.bend as Bind
import 0x729eecea86ea5a2cdba3a2856a313bca/syntax/lex.bend as Lex
import 0x729eecea86ea5a2cdba3a2856a313bca/syntax/outline.bend as Outline
import 0x729eecea86ea5a2cdba3a2856a313bca/syntax/tree.bend as Tree
import 0x729eecea86ea5a2cdba3a2856a313bca/syntax/word.bend as MWord

Modules

• bolt/args.bend 5 declarations — bolt/args: bolt's command line, read from `IO.args()`: `bolt [lint]
• bolt/check.bend 8 declarations — bolt/check: `bolt check file..`: the checker (`bend`) on each file, its
• bolt/config.bend not loaded — bolt/config: what a project asks of bolt, read from the `bolt.bend` nearest
• bolt/finding.bend not loaded — bolt/finding: what a rule reports. Shown as `path:line:col: level: rule:
• bolt/glob.bend 7 declarations — bolt/glob: what `bolt` lints when it is handed no files: every `.bend` file
• bolt/lint.bend not loaded — bolt/lint: `bolt` itself: every rule over the files it was given, or every
• bolt/lsp/checker/bend.bend 8 declarations — checker/bend: the real checker: runs `bend` on the file and reads its report
• bolt/lsp/checker/service.bend 3 declarations — checker: an effect service: the diagnostics of the file at a path.
• bolt/lsp/docs.bend 7 declarations — lsp/docs: the open documents, by URI: what the editor shows, saved or not,
• bolt/lsp/files/disk.bend not loaded — files/disk: the real file system. Reads bytes and decodes them itself, as a
• bolt/lsp/files/service.bend 5 declarations — files: an effect service: a file's text by path, and where Base lives.
• bolt/lsp/frame.bend not loaded — lsp/frame: LSP's base protocol, purely: `Content-Length: N\r\n\r\n` and then
• bolt/lsp/nav.bend not loaded — lsp/nav: from a name to the item it names. A name `Alias.rest`, where Alias
• bolt/lsp/path.bend 4 declarations — lsp/path: just enough path arithmetic to follow a relative import.
• bolt/lsp/proto.bend not loaded — lsp/proto: the messages the server sends, and the little it reads of a URI.
• bolt/lsp/report.bend 25 declarations — lsp/report: the checker's text, as diagnostics. bend prints an error as
• bolt/lsp/run.bend not loaded — lsp/run: the container; `bolt lsp` runs it. Native only: the JS lane
• bolt/lsp/semantic.bend 32 declarations — lsp/semantic: every token of a document classified for the editor's
• bolt/lsp/server.bend not loaded — lsp/server: the loop. Everything outside the process is an injected core
• bolt/lsp/transport/service.bend 4 declarations — transport: an effect service: one message body in, one out. H is the
• bolt/lsp/transport/stdio.bend not loaded — transport/stdio: LSP's base protocol over stdin and stdout. Reads bytes (a
• bolt/main.bend not loaded — bolt: the one binary. Its first argument picks what runs: `lint`, or a word
• bolt/rules.bend not loaded — bolt/rules: every rule, and its group. A rule is a module under
• bolt/rules/calls.bend 22 declarations — bolt/rules/calls: what the recursion rules (pick, strict, tail, concat,
• bolt/rules/correctness/arms.bend not loaded — rule arms: a Nat arm no value can reach. `case kn+p:` matches every Nat
• bolt/rules/correctness/chars.bend not loaded — rule chars: a `match` with more than eight character-literal arms
• bolt/rules/correctness/escape.bend not loaded — rule escape: a string or char literal with `\0` then a digit, as in
• bolt/rules/correctness/foreign.bend not loaded — rule foreign: a foreign def (its body only `import "./x.c"` / `import
• bolt/rules/correctness/hole.bend not loaded — rule hole: a `?TODO` left in code. LAWS.bend is exempt: by convention its
• bolt/rules/correctness/pick.bend not loaded — rule pick: a def calls itself in a branch of a `Bool.pick`. Bool.pick is a
• bolt/rules/correctness/put.bend not loaded — rule put: a call to `Map.put(`. Base's Map.put is an internal helper of
• bolt/rules/correctness/shadow.bend not loaded — rule shadow: a let, a do-bind, a lambda or a pattern binds a name that a
• bolt/rules/correctness/strings.bend not loaded — rule strings: a `match` whose arms are string literals (`case "foo":`) with
• bolt/rules/correctness/twice.bend not loaded — rule twice: a list pattern in a def that calls itself, opening with the
• bolt/rules/digest.bend 24 declarations — bolt/rules/digest: one small reading of each file for the project rules.
• bolt/rules/imports.bend 17 declarations — bolt/rules/imports: paths and relative imports, as the project rules see
• bolt/rules/laws/closed.bend not loaded — rule closed: a law in a LAWS.bend with no `for` or `exs` binder. It states
• bolt/rules/laws/law.bend not loaded — rule law (project-wide): in a project that states laws (a directory with a
• bolt/rules/laws/unsafe.bend not loaded — rule unsafe (project-wide): an `@unsafe def` that a LAWS.bend or PROOF.bend
• bolt/rules/pedantic/tail.bend not loaded — rule tail: a def that walks a list or a string (its first live parameter,
• bolt/rules/style/doc.bend not loaded — rule doc: every top-level def, type and law has a comment block right above
• bolt/rules/style/space.bend not loaded — rule space: trailing whitespace, a tab, or a line over 120 characters. The
• bolt/rules/suspicious/concat.bend not loaded — rule concat: a def passes itself a parameter grown at the end, `p ++ x` or
• bolt/rules/suspicious/eager.bend not loaded — rule eager: a branch of a `Bool.pick` calls a recursive def of the same
• bolt/rules/suspicious/fuel.bend not loaded — rule fuel: a call to a def of the same file passes a Nat literal (`1000n`)
• bolt/rules/suspicious/index.bend not loaded — rule index: a def that calls itself also calls `List.get(..)` or
• bolt/rules/suspicious/nat.bend not loaded — rule nat: a Nat literal (a number ending in `n`) of 1000 or more. Nat is
• bolt/rules/suspicious/strict.bend not loaded — rule strict: a def calls itself inside an operand of `Bool.and(..)` or
• bolt/rules/suspicious/unused.bend not loaded — rule unused: a name bound by a let, a do-bind, a lambda, or as a parameter
• bolt/rules/tokens.bend 9 declarations — bolt/rules/tokens: helpers the token rules share (put, escape, nat, strings,
• bolt/src.bend 3 declarations — bolt/src: one file, read once and parsed once. A rule is handed this, not
• bolt/status.bend 1 declarations — bolt/status: a run's exit status. A run that found errors exits 1, so a
• bolt/walk/disk.bend 4 declarations — walk/disk: the real file system, through a foreign effect (dir.c, dir.js)
• bolt/walk/service.bend 3 declarations — walk: an effect service (CPU event loop only): the names directly in a
• json/lex.bend 36 declarations — json/lex: text to tokens, one char per step: a tail-recursive state machine
• json/parse.bend 14 declarations — json/parse: tokens to a value, one token per step, over an explicit stack of
• json/print.bend 5 declarations — json/print: a value to compact text.
• json/value.bend 21 declarations — json/value: a JSON value. Arrays and objects hold their cells inside the
• lazy/lazy.bend 3 declarations — lazy: branches that do not run both ways. Bool.pick, Bool.and and Bool.or
• syntax/bind.bend 98 declarations — syntax/bind: where every name in a source is bound, and what every other
• syntax/lex.bend 80 declarations — syntax/lex: a source as tokens with positions. Lossless: every char lands
• syntax/outline.bend 63 declarations — syntax/outline: a source's top-level items, read line by line. A top-level
• syntax/tree.bend 72 declarations — syntax/tree: a source as a concrete syntax tree over its significant tokens:
• syntax/word.bend 18 declarations — syntax/word: the name under a (line, col), both 0-based. A name is letters,

Other files

• bolt/lsp/checker/exec.c 1,428 bytes
• bolt/lsp/checker/exec.js 387 bytes
• bolt/lsp/transport/fd.c 432 bytes
• bolt/lsp/transport/fd.js 117 bytes
• bolt/walk/dir.c 1,738 bytes
• bolt/walk/dir.js 561 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 7 defs rely on unsafe or foreign code:
- 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/checker/bend.bendcheck.exec
- 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/checker/bend.settle
- 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/checker/bend.checked
- 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/checker/bend.check.at
- 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/checker/bend.check
- 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/checker/bend.new
- run

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

SOME PROOFS FAIL
Error: 6 defs rely on unsafe or foreign code:
- bendcheck.exec
- settle
- checked
- check.at
- check
- new

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
117 |   More{}
118>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
119 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
117 |   More{}
118>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
119 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
117 |   More{}
118>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
119 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
117 |   More{}
118>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
119 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
117 |   More{}
118>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
119 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
117 |   More{}
118>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
119 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
117 |   More{}
118>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
119 |

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
30 | # a name (a group's or a rule's) at a level
31>| type Set is Data:
   |      ^^^
32 |   Set{name: String, level: Level}

SOME PROOFS FAIL
Error: 3 defs rely on unsafe or foreign code:
- walkdir.entries
- entries
- new