0x9e60c0cd relies on unsafe/foreign
0x9e60c0cda1f9561416e870237a834a3d
no description
Anonymous package: import it by hash.
Other versions (2)
- 0x871fbaa3 2026-09-20 latest
- 0x69c99c0f 2026-09-20
- Published
- 2026-09-20
- Size
- 56,926 bytes, 4 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 91 defs, 10 types
Import
import 0x9e60c0cda1f9561416e870237a834a3d/books.bend as Books import 0x9e60c0cda1f9561416e870237a834a3d/books_data.bend as Books_data import 0x9e60c0cda1f9561416e870237a834a3d/main.bend as Main import 0x9e60c0cda1f9561416e870237a834a3d/parse.bend as Parse
Modules
- books.bend 18 declarations
- books_data.bend 10 declarations — AUTO-GENERATED from grab-bcv books.ts — do not edit by hand
- main.bend 1 declarations — grab-bcv — Bend reimplementation of Bible reference parsing (OSIS + natural text)
- parse.bend 98 declarations
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| books.bend | relies on unsafe/foreign | 9 defs rely on unsafe or foreign code defs: find_alias, strip_spaces_go, strip_spaces, resolve_alias, find_cap, chapter_count, verse_count, find_name, display_nameoutputSOME PROOFS FAIL Error: 9 defs rely on unsafe or foreign code: - find_alias - strip_spaces_go - strip_spaces - resolve_alias - find_cap - chapter_count - verse_count - find_name - display_name | 1.0 s |
| books_data.bend | checks | ALL PROOFS CHECK | 1.0 s |
| main.bend | relies on unsafe/foreign | 55 defs rely on unsafe or foreign code defs: 0x9e60c0cda1f9561416e870237a834a3d/books.find_alias, 0x9e60c0cda1f9561416e870237a834a3d/books.strip_spaces_go, 0x9e60c0cda1f9561416e870237a834a3d/books.strip_spaces, 0x9e60c0cda1f9561416e870237a834a3d/books.resolve_alias, 0x9e60c0cda1f9561416e870237a834a3d/books.find_cap, 0x9e60c0cda1f9561416e870237a834a3d/books.chapter_count, 0x9e60c0cda1f9561416e870237a834a3d/books.verse_count, 0x9e60c0cda1f9561416e870237a834a3d/books.find_name, 0x9e60c0cda1f9561416e870237a834a3d/books.display_name, 0x9e60c0cda1f9561416e870237a834a3d/parse.take_book_go, 0x9e60c0cda1f9561416e870237a834a3d/parse.take_book, 0x9e60c0cda1f9561416e870237a834a3d/parse.take_digits_go, 0x9e60c0cda1f9561416e870237a834a3d/parse.take_digits, 0x9e60c0cda1f9561416e870237a834a3d/parse.check_ch, 0x9e60c0cda1f9561416e870237a834a3d/parse.check_vs, 0x9e60c0cda1f9561416e870237a834a3d/parse.fmt_display, 0x9e60c0cda1f9561416e870237a834a3d/parse.mk_parsed, 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_ch_ok, 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_ch_after, 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_ch_match, 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_ch, 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs_end_ok, 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs_end, 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs_ev, 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs_after_vn, 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs_match, 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_verse_ev, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_verse_digits, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_verse_num_go, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_verse_num_trim, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_verse_num, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_verse_branch_num, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_verse_branch_pair, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_verse_branch, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_chapter_range_num, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_chapter_range_pair, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_chapter_range_branch, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_chapter_sep_go, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_chapter_sep_trim, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_chapter_sep, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_tail_num, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_tail_pair, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_tail, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_passage_book, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_passage_pair, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_passage_go, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_passage_trim, 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_passage, 0x9e60c0cda1f9561416e870237a834a3d/parse.err_msg, 0x9e60c0cda1f9561416e870237a834a3d/parse.show_result, 0x9e60c0cda1f9561416e870237a834a3d/parse.run_query, 0x9e60c0cda1f9561416e870237a834a3d/parse.run_args, 0x9e60c0cda1f9561416e870237a834a3d/parse.main, mainoutputSOME PROOFS FAIL Error: 55 defs rely on unsafe or foreign code: - 0x9e60c0cda1f9561416e870237a834a3d/books.find_alias - 0x9e60c0cda1f9561416e870237a834a3d/books.strip_spaces_go - 0x9e60c0cda1f9561416e870237a834a3d/books.strip_spaces - 0x9e60c0cda1f9561416e870237a834a3d/books.resolve_alias - 0x9e60c0cda1f9561416e870237a834a3d/books.find_cap - 0x9e60c0cda1f9561416e870237a834a3d/books.chapter_count - 0x9e60c0cda1f9561416e870237a834a3d/books.verse_count - 0x9e60c0cda1f9561416e870237a834a3d/books.find_name - 0x9e60c0cda1f9561416e870237a834a3d/books.display_name - 0x9e60c0cda1f9561416e870237a834a3d/parse.take_book_go - 0x9e60c0cda1f9561416e870237a834a3d/parse.take_book - 0x9e60c0cda1f9561416e870237a834a3d/parse.take_digits_go - 0x9e60c0cda1f9561416e870237a834a3d/parse.take_digits - 0x9e60c0cda1f9561416e870237a834a3d/parse.check_ch - 0x9e60c0cda1f9561416e870237a834a3d/parse.check_vs - 0x9e60c0cda1f9561416e870237a834a3d/parse.fmt_display - 0x9e60c0cda1f9561416e870237a834a3d/parse.mk_parsed - 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_ch_ok - 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_ch_after - 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_ch_match - 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_ch - 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs_end_ok - 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs_end - 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs_ev - 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs_after_vn - 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs_match - 0x9e60c0cda1f9561416e870237a834a3d/parse.finish_vs - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_verse_ev - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_verse_digits - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_verse_num_go - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_verse_num_trim - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_verse_num - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_verse_branch_num - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_verse_branch_pair - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_verse_branch - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_chapter_range_num - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_chapter_range_pair - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_chapter_range_branch - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_chapter_sep_go - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_chapter_sep_trim - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_after_chapter_sep - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_tail_num - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_tail_pair - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_tail - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_passage_book - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_passage_pair - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_passage_go - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_passage_trim - 0x9e60c0cda1f9561416e870237a834a3d/parse.parse_passage - 0x9e60c0cda1f9561416e870237a834a3d/parse.err_msg - 0x9e60c0cda1f9561416e870237a834a3d/parse.show_result - 0x9e60c0cda1f9561416e870237a834a3d/parse.run_query - 0x9e60c0cda1f9561416e870237a834a3d/parse.run_args - 0x9e60c0cda1f9561416e870237a834a3d/parse.main - main | 1.1 s |
| parse.bend | relies on unsafe/foreign | 54 defs rely on unsafe or foreign code defs: 0x9e60c0cda1f9561416e870237a834a3d/books.find_alias, 0x9e60c0cda1f9561416e870237a834a3d/books.strip_spaces_go, 0x9e60c0cda1f9561416e870237a834a3d/books.strip_spaces, 0x9e60c0cda1f9561416e870237a834a3d/books.resolve_alias, 0x9e60c0cda1f9561416e870237a834a3d/books.find_cap, 0x9e60c0cda1f9561416e870237a834a3d/books.chapter_count, 0x9e60c0cda1f9561416e870237a834a3d/books.verse_count, 0x9e60c0cda1f9561416e870237a834a3d/books.find_name, 0x9e60c0cda1f9561416e870237a834a3d/books.display_name, take_book_go, take_book, take_digits_go, take_digits, check_ch, check_vs, fmt_display, mk_parsed, finish_ch_ok, finish_ch_after, finish_ch_match, finish_ch, finish_vs_end_ok, finish_vs_end, finish_vs_ev, finish_vs_after_vn, finish_vs_match, finish_vs, parse_after_verse_ev, parse_after_verse_digits, parse_after_verse_num_go, parse_after_verse_num_trim, parse_after_verse_num, parse_verse_branch_num, parse_verse_branch_pair, parse_verse_branch, parse_chapter_range_num, parse_chapter_range_pair, parse_chapter_range_branch, parse_after_chapter_sep_go, parse_after_chapter_sep_trim, parse_after_chapter_sep, parse_tail_num, parse_tail_pair, parse_tail, parse_passage_book, parse_passage_pair, parse_passage_go, parse_passage_trim, parse_passage, err_msg, show_result, run_query, run_args, mainoutputSOME PROOFS FAIL Error: 54 defs rely on unsafe or foreign code: - 0x9e60c0cda1f9561416e870237a834a3d/books.find_alias - 0x9e60c0cda1f9561416e870237a834a3d/books.strip_spaces_go - 0x9e60c0cda1f9561416e870237a834a3d/books.strip_spaces - 0x9e60c0cda1f9561416e870237a834a3d/books.resolve_alias - 0x9e60c0cda1f9561416e870237a834a3d/books.find_cap - 0x9e60c0cda1f9561416e870237a834a3d/books.chapter_count - 0x9e60c0cda1f9561416e870237a834a3d/books.verse_count - 0x9e60c0cda1f9561416e870237a834a3d/books.find_name - 0x9e60c0cda1f9561416e870237a834a3d/books.display_name - take_book_go - take_book - take_digits_go - take_digits - check_ch - check_vs - fmt_display - mk_parsed - finish_ch_ok - finish_ch_after - finish_ch_match - finish_ch - finish_vs_end_ok - finish_vs_end - finish_vs_ev - finish_vs_after_vn - finish_vs_match - finish_vs - parse_after_verse_ev - parse_after_verse_digits - parse_after_verse_num_go - parse_after_verse_num_trim - parse_after_verse_num - parse_verse_branch_num - parse_verse_branch_pair - parse_verse_branch - parse_chapter_range_num - parse_chapter_range_pair - parse_chapter_range_branch - parse_after_chapter_sep_go - parse_after_chapter_sep_trim - parse_after_chapter_sep - parse_tail_num - parse_tail_pair - parse_tail - parse_passage_book - parse_passage_pair - parse_passage_go - parse_passage_trim - parse_passage - err_msg - show_result - run_query - run_args - main | 0.9 s |