0x0bae9aeb relies on unsafe/foreign

0x0bae9aeb11ebfcadb010bbe6e89fbbff

V: data structures for your Bend algorithms.

Anonymous package: import it by hash.

Published: 2026-09-25
Size: 92,587 bytes, 12 files
License: MIT (cli/LICENSE)
Declarations: 0 laws (0 proved), 339 defs, 9 types

Import

import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/main.bend as Main
import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.bend as Project
import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.bend as V
import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.bend as Vazure
import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.bend as Vdry
import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.bend as Vimport
import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.bend as Vmac
import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.bend as Io
import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/mac_types.bend as Mac_types
import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/vstr.bend as Vstr

Modules

cli/main.bend 8 declarations — V: data structures for your Bend algorithms.
cli/project.bend 22 declarations
cli/v.bend 70 declarations
cli/vazure.bend 37 declarations
cli/vdry.bend 35 declarations
cli/vimport.bend 52 declarations
cli/vmac.bend 48 declarations
lib/effs/io.bend 8 declarations
lib/mac_types.bend 50 declarations
lib/vstr.bend 32 declarations

Other files

cli/LICENSE 1,118 bytes
lib/effs/proc_run.c 893 bytes

Dependencies

bend-net-json@0.3.0.0 via cli/v.bend: import bend-net-json@0.3.0.0/json.bend as Json
bend-net-url@0.4.0.0 via cli/vmac.bend: import bend-net-url@0.4.0.0/url.bend as Url

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
cli/main.bend	relies on unsafe/foreign	73 defs rely on unsafe or foreign code defs: `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.run_bend`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.check_bend`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.read_facts`, `0x16458a2db4f36577294543ec2a6d420c/json.enc.go`, `0x16458a2db4f36577294543ec2a6d420c/json.encode`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.read_json`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.permissions`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.pipeline_details`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.snapshot`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.pids`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.stack_source`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.stack_sources`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.repository_stack`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.snapshot`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.prove`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.check_with`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.check`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.snapshot_only`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.diagram`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.serve_apply`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.serve_do`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.serve_step`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.serve_steps`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.github_push`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.publish`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.publish_all`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.nix_darwin`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.tailscale_serve`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.record`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.deploy`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.tiles`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dock_list`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.firewall`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.network`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.power`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.is_nix_link`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.security`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.keyboard`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.system`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dscl_get`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.user_lines`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.group_lines`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.users`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_file`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_files`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_dir`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.read_all`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_read`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_skip`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_setting`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_line`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_lines`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.names`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.write_declared`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.import_mac`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.compare`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.check_scalar`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.check_array`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.check_kind`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.check_write`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.write_if`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.writes`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.brew_check`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.dryrun`, `plan`, `run`, `system`, `dispatch`, `main` output SOME PROOFS FAIL Error: 73 defs rely on unsafe or foreign code: - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.run_bend - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.check_bend - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.read_facts - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.read_json - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.permissions - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.pipeline_details - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.snapshot - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.pids - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.stack_source - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.stack_sources - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.repository_stack - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.snapshot - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.prove - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.check_with - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.check - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.snapshot_only - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.diagram - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.serve_apply - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.serve_do - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.serve_step - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.serve_steps - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.github_push - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.publish - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.publish_all - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.nix_darwin - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.tailscale_serve - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.record - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/v.deploy - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.tiles - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dock_list - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.firewall - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.network - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.power - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.is_nix_link - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.security - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.keyboard - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.system - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dscl_get - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.user_lines - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.group_lines - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.users - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_file - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_files - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_dir - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.read_all - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_read - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_skip - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_setting - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_line - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_lines - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.names - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.write_declared - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.import_mac - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.compare - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.check_scalar - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.check_array - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.check_kind - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.check_write - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.write_if - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.writes - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.brew_check - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vdry.dryrun - plan - run - system - dispatch - main	1.5 s
cli/project.bend	relies on unsafe/foreign	6 defs rely on unsafe or foreign code defs: `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok`, `run_bend`, `check_bend`, `read_facts` output SOME PROOFS FAIL Error: 6 defs rely on unsafe or foreign code: - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok - run_bend - check_bend - read_facts	0.8 s
cli/v.bend	relies on unsafe/foreign	33 defs rely on unsafe or foreign code defs: `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.run_bend`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.check_bend`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.read_facts`, `0x16458a2db4f36577294543ec2a6d420c/json.enc.go`, `0x16458a2db4f36577294543ec2a6d420c/json.encode`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.read_json`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.permissions`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.pipeline_details`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.snapshot`, `pids`, `stack_source`, `stack_sources`, `repository_stack`, `snapshot`, `prove`, `check_with`, `check`, `snapshot_only`, `diagram`, `serve_apply`, `serve_do`, `serve_step`, `serve_steps`, `github_push`, `publish`, `publish_all`, `nix_darwin`, `tailscale_serve`, `record`, `deploy` output SOME PROOFS FAIL Error: 33 defs rely on unsafe or foreign code: - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.run_bend - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.check_bend - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.read_facts - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.read_json - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.permissions - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.pipeline_details - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.snapshot - pids - stack_source - stack_sources - repository_stack - snapshot - prove - check_with - check - snapshot_only - diagram - serve_apply - serve_do - serve_step - serve_steps - github_push - publish - publish_all - nix_darwin - tailscale_serve - record - deploy	1.2 s
cli/vazure.bend	relies on unsafe/foreign	12 defs rely on unsafe or foreign code defs: `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.run_bend`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.check_bend`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.read_facts`, `0x16458a2db4f36577294543ec2a6d420c/json.enc.go`, `0x16458a2db4f36577294543ec2a6d420c/json.encode`, `read_json`, `permissions`, `pipeline_details`, `snapshot` output SOME PROOFS FAIL Error: 12 defs rely on unsafe or foreign code: - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.run_bend - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.check_bend - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.read_facts - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - read_json - permissions - pipeline_details - snapshot	1.0 s
cli/vdry.bend	relies on unsafe/foreign	41 defs rely on unsafe or foreign code defs: `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.run_bend`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.check_bend`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.read_facts`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.tiles`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dock_list`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.firewall`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.network`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.power`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.is_nix_link`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.security`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.keyboard`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.system`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dscl_get`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.user_lines`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.group_lines`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.users`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_file`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_files`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_dir`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.read_all`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_read`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_skip`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_setting`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_line`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_lines`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.names`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.write_declared`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.import_mac`, `compare`, `check_scalar`, `check_array`, `check_kind`, `check_write`, `write_if`, `writes`, `brew_check`, `dryrun` output SOME PROOFS FAIL Error: 41 defs rely on unsafe or foreign code: - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.run_bend - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.check_bend - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.read_facts - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.tiles - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dock_list - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.firewall - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.network - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.power - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.is_nix_link - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.security - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.keyboard - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.system - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dscl_get - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.user_lines - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.group_lines - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.users - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_file - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_files - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_dir - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.read_all - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_read - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_skip - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_setting - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_line - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.option_lines - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.names - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.write_declared - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vimport.import_mac - compare - check_scalar - check_array - check_kind - check_write - write_if - writes - brew_check - dryrun	1.1 s
cli/vimport.bend	relies on unsafe/foreign	32 defs rely on unsafe or foreign code defs: `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.run_bend`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.check_bend`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.read_facts`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.tiles`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dock_list`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.firewall`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.network`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.power`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.is_nix_link`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.security`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.keyboard`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.system`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dscl_get`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.user_lines`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.group_lines`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.users`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_file`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_files`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_dir`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.read_all`, `option_read`, `option_skip`, `option_setting`, `option_line`, `option_lines`, `names`, `write_declared`, `import_mac` output SOME PROOFS FAIL Error: 32 defs rely on unsafe or foreign code: - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.run_bend - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.check_bend - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.read_facts - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.tiles - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dock_list - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.firewall - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.network - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.power - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.is_nix_link - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.security - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.keyboard - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.system - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.dscl_get - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.user_lines - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.group_lines - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.users - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_file - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_files - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch_dir - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.launch - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vmac.read_all - option_read - option_skip - option_setting - option_line - option_lines - names - write_declared - import_mac	1.1 s
cli/vmac.bend	relies on unsafe/foreign	21 defs rely on unsafe or foreign code defs: `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh`, `0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok`, `tiles`, `dock_list`, `firewall`, `network`, `power`, `is_nix_link`, `security`, `keyboard`, `system`, `dscl_get`, `user_lines`, `group_lines`, `users`, `launch_file`, `launch_files`, `launch_dir`, `launch`, `read_all` output SOME PROOFS FAIL Error: 21 defs rely on unsafe or foreign code: - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.Proc.run - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.sh - 0x0bae9aeb11ebfcadb010bbe6e89fbbff/lib/effs/io.ok - tiles - dock_list - firewall - network - power - is_nix_link - security - keyboard - system - dscl_get - user_lines - group_lines - users - launch_file - launch_files - launch_dir - launch - read_all	1.0 s
lib/effs/io.bend	relies on unsafe/foreign	3 defs rely on unsafe or foreign code defs: `Proc.run`, `sh`, `ok` output SOME PROOFS FAIL Error: 3 defs rely on unsafe or foreign code: - Proc.run - sh - ok	0.9 s
lib/mac_types.bend	checks	ALL PROOFS CHECK	0.6 s
lib/vstr.bend	checks	ALL PROOFS CHECK	0.6 s