0xc4f31b1c relies on unsafe/foreign
0xc4f31b1cf377fad1ed5191443ddd1c20
no description
Anonymous package: import it by hash.
Earlier versions (3)
- 0x3ffc69d4 2026-09-26
- 0x0826261f 2026-09-26
- 0x635d6b0e 2026-09-26
- Published
- 2026-09-26
- Size
- 206,094 bytes, 57 files
- License
- MIT (LICENSE)
- Declarations
- 2 laws (2 proved), 657 defs, 63 types
Import
import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/LAWS.bend as LAWS import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/PROOF.bend as PROOF import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/category/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/environment/agreement/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/environment/agreement/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/environment/constraint/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/environment/external/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/environment/inventory/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/environment/inventory/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/environment/party/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/environment/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/relationship/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/component/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.bend as Effects import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.bend as Effects import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/host/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/brew/effects.bend as Effects import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/brew/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/brew/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.bend as Effects import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/service/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/service/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.bend as Effects import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.bend as Effects import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.bend as Io import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/plan/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/plan/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/release/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/release/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/view/effects.bend as Effects import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/view/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/view/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/general/compound/edge/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/general/compound/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/general/compound/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/general/rose/LAWS.bend as LAWS import 0xc4f31b1cf377fad1ed5191443ddd1c20/general/rose/PROOF.bend as PROOF import 0xc4f31b1cf377fad1ed5191443ddd1c20/general/rose/ops.bend as Ops import 0xc4f31b1cf377fad1ed5191443ddd1c20/general/rose/type.bend as Type import 0xc4f31b1cf377fad1ed5191443ddd1c20/v.bend as V
Modules
- domain/architecture/LAWS.bend 1 declarations, 1 laws
- domain/architecture/PROOF.bend 0 declarations
- domain/architecture/category/type.bend 14 declarations
- domain/architecture/environment/agreement/ops.bend 13 declarations
- domain/architecture/environment/agreement/type.bend 8 declarations
- domain/architecture/environment/constraint/type.bend 3 declarations
- domain/architecture/environment/external/type.bend 2 declarations
- domain/architecture/environment/inventory/ops.bend 3 declarations
- domain/architecture/environment/inventory/type.bend 6 declarations
- domain/architecture/environment/party/type.bend 8 declarations
- domain/architecture/environment/type.bend 2 declarations
- domain/architecture/ops.bend 85 declarations
- domain/architecture/relationship/type.bend 2 declarations
- domain/architecture/system/container/component/type.bend 11 declarations
- domain/architecture/system/container/effects.bend 9 declarations
- domain/architecture/system/container/ops.bend 31 declarations
- domain/architecture/system/container/type.bend 11 declarations
- domain/architecture/system/deployment/azure/effects.bend 18 declarations
- domain/architecture/system/deployment/azure/ops.bend 27 declarations
- domain/architecture/system/deployment/azure/type.bend 10 declarations
- domain/architecture/system/deployment/host/type.bend 4 declarations
- domain/architecture/system/deployment/nix_darwin/brew/effects.bend 13 declarations
- domain/architecture/system/deployment/nix_darwin/brew/ops.bend 28 declarations
- domain/architecture/system/deployment/nix_darwin/brew/type.bend 6 declarations
- domain/architecture/system/deployment/nix_darwin/effects.bend 39 declarations
- domain/architecture/system/deployment/nix_darwin/ops.bend 31 declarations
- domain/architecture/system/deployment/nix_darwin/service/ops.bend 15 declarations
- domain/architecture/system/deployment/nix_darwin/service/type.bend 12 declarations
- domain/architecture/system/deployment/nix_darwin/setting/effects.bend 30 declarations
- domain/architecture/system/deployment/nix_darwin/setting/ops.bend 120 declarations
- domain/architecture/system/deployment/nix_darwin/setting/type.bend 11 declarations
- domain/architecture/system/deployment/nix_darwin/type.bend 6 declarations
- domain/architecture/system/deployment/ops.bend 17 declarations
- domain/architecture/system/deployment/type.bend 14 declarations
- domain/architecture/system/effects.bend 53 declarations
- domain/architecture/system/effs/io.bend 19 declarations
- domain/architecture/system/ops.bend 2 declarations
- domain/architecture/system/plan/ops.bend 12 declarations
- domain/architecture/system/plan/type.bend 19 declarations
- domain/architecture/system/release/ops.bend 26 declarations
- domain/architecture/system/release/type.bend 8 declarations
- domain/architecture/system/type.bend 2 declarations
- domain/architecture/type.bend 10 declarations
- domain/architecture/view/effects.bend 2 declarations
- domain/architecture/view/ops.bend 44 declarations
- domain/architecture/view/type.bend 10 declarations
- general/compound/edge/type.bend 2 declarations
- general/compound/ops.bend 16 declarations
- general/compound/type.bend 2 declarations
- general/rose/LAWS.bend 1 declarations, 1 laws
- general/rose/PROOF.bend 0 declarations
- general/rose/ops.bend 8 declarations
- general/rose/type.bend 2 declarations
- v.bend 0 declarations — V: data structures for your Bend algorithms.
Other files
- LICENSE 1,118 bytes
- domain/architecture/system/effs/program_run.c 2,162 bytes
- domain/architecture/system/effs/program_run.js 771 bytes
Dependencies
- bend-net-json@0.3.0.0 via
domain/architecture/system/container/ops.bend: import bend-net-json@0.3.0.0/json.bend as Json - bend-kit-files@0.1.0.0 via
domain/architecture/system/deployment/azure/effects.bend: import bend-kit-files@0.1.0.0/files.bend as Fs - bend-net-url@0.4.0.0 via
domain/architecture/system/deployment/nix_darwin/setting/ops.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 |
|---|---|---|---|
| domain/architecture/LAWS.bend | open laws/TODOs | 1 TODO found. Checked alone, a law without a def is a TODO; all of them are proved in files that check, so the package counts this file as checks. outputSOME PROOFS FAIL Error: 1 TODO found. The code is incomplete, and not a valid proof yet. | 0.8 s |
| domain/architecture/PROOF.bend | checks | ALL PROOFS CHECK | 1.4 s |
| domain/architecture/category/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/environment/agreement/ops.bend | checks | ALL PROOFS CHECK | 1.0 s |
| domain/architecture/environment/agreement/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/environment/constraint/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/environment/external/type.bend | checks | ALL PROOFS CHECK | 0.6 s |
| domain/architecture/environment/inventory/ops.bend | checks | ALL PROOFS CHECK | 0.8 s |
| domain/architecture/environment/inventory/type.bend | checks | ALL PROOFS CHECK | 0.9 s |
| domain/architecture/environment/party/type.bend | checks | ALL PROOFS CHECK | 0.8 s |
| domain/architecture/environment/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/ops.bend | checks | ALL PROOFS CHECK | 1.0 s |
| domain/architecture/relationship/type.bend | checks | ALL PROOFS CHECK | 0.8 s |
| domain/architecture/system/container/component/type.bend | checks | ALL PROOFS CHECK | 0.9 s |
| domain/architecture/system/container/effects.bend | relies on unsafe/foreign | 9 defs rely on unsafe or foreign code defs: 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds, 0x16458a2db4f36577294543ec2a6d420c/json.enc.go, 0x16458a2db4f36577294543ec2a6d420c/json.encode, extensions, check, checks_with, checksoutputSOME PROOFS FAIL Error: 9 defs rely on unsafe or foreign code: - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - extensions - check - checks_with - checks | 1.3 s |
| domain/architecture/system/container/ops.bend | relies on unsafe/foreign | 2 defs rely on unsafe or foreign code defs: 0x16458a2db4f36577294543ec2a6d420c/json.enc.go, 0x16458a2db4f36577294543ec2a6d420c/json.encodeoutputSOME PROOFS FAIL Error: 2 defs rely on unsafe or foreign code: - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode | 0.9 s |
| domain/architecture/system/container/type.bend | checks | ALL PROOFS CHECK | 0.5 s |
| domain/architecture/system/deployment/azure/effects.bend | relies on unsafe/foreign | 21 defs rely on unsafe or foreign code defs: 0x16458a2db4f36577294543ec2a6d420c/json.enc.go, 0x16458a2db4f36577294543ec2a6d420c/json.encode, 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir, 0x902b9f92801b87d6be0bcd03919d01bb/files.remove, 0x902b9f92801b87d6be0bcd03919d01bb/files.rename, 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat, 0x902b9f92801b87d6be0bcd03919d01bb/files.exists, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds, az_run, permissions, signed, observe, checksoutputSOME PROOFS FAIL Error: 21 defs rely on unsafe or foreign code: - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir - 0x902b9f92801b87d6be0bcd03919d01bb/files.remove - 0x902b9f92801b87d6be0bcd03919d01bb/files.rename - 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat - 0x902b9f92801b87d6be0bcd03919d01bb/files.exists - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds - az_run - permissions - signed - observe - checks | 1.2 s |
| domain/architecture/system/deployment/azure/ops.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/system/deployment/azure/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/system/deployment/host/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/system/deployment/nix_darwin/brew/effects.bend | relies on unsafe/foreign | 4 defs rely on unsafe or foreign code defs: 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds, observedoutputSOME PROOFS FAIL Error: 4 defs rely on unsafe or foreign code: - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds - observed | 1.0 s |
| domain/architecture/system/deployment/nix_darwin/brew/ops.bend | checks | ALL PROOFS CHECK | 0.9 s |
| domain/architecture/system/deployment/nix_darwin/brew/type.bend | checks | ALL PROOFS CHECK | 0.9 s |
| domain/architecture/system/deployment/nix_darwin/effects.bend | relies on unsafe/foreign | 20 defs rely on unsafe or foreign code defs: 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir, 0x902b9f92801b87d6be0bcd03919d01bb/files.remove, 0x902b9f92801b87d6be0bcd03919d01bb/files.rename, 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat, 0x902b9f92801b87d6be0bcd03919d01bb/files.exists, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all, 0x16458a2db4f36577294543ec2a6d420c/json.enc.go, 0x16458a2db4f36577294543ec2a6d420c/json.encode, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds, pids, observe, read_or, checksoutputSOME PROOFS FAIL Error: 20 defs rely on unsafe or foreign code: - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir - 0x902b9f92801b87d6be0bcd03919d01bb/files.remove - 0x902b9f92801b87d6be0bcd03919d01bb/files.rename - 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat - 0x902b9f92801b87d6be0bcd03919d01bb/files.exists - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds - pids - observe - read_or - checks | 0.9 s |
| domain/architecture/system/deployment/nix_darwin/ops.bend | checks | ALL PROOFS CHECK | 0.9 s |
| domain/architecture/system/deployment/nix_darwin/service/ops.bend | checks | ALL PROOFS CHECK | 0.8 s |
| domain/architecture/system/deployment/nix_darwin/service/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/system/deployment/nix_darwin/setting/effects.bend | relies on unsafe/foreign | 41 defs rely on unsafe or foreign code defs: 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir, 0x902b9f92801b87d6be0bcd03919d01bb/files.remove, 0x902b9f92801b87d6be0bcd03919d01bb/files.rename, 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat, 0x902b9f92801b87d6be0bcd03919d01bb/files.exists, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds, read_domains, defaults_now, power, power_button, name, names, socketfilterfw, firewall_now, field, tiles, dock_list, per_service, network, nix_link, security, keyboard, system, dscl, user_list, group_list, users, launch_files, launch_dir, launch, observed_from, observed, changesoutputSOME PROOFS FAIL Error: 41 defs rely on unsafe or foreign code: - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir - 0x902b9f92801b87d6be0bcd03919d01bb/files.remove - 0x902b9f92801b87d6be0bcd03919d01bb/files.rename - 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat - 0x902b9f92801b87d6be0bcd03919d01bb/files.exists - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds - read_domains - defaults_now - power - power_button - name - names - socketfilterfw - firewall_now - field - tiles - dock_list - per_service - network - nix_link - security - keyboard - system - dscl - user_list - group_list - users - launch_files - launch_dir - launch - observed_from - observed - changes | 1.4 s |
| domain/architecture/system/deployment/nix_darwin/setting/ops.bend | checks | ALL PROOFS CHECK | 1.1 s |
| domain/architecture/system/deployment/nix_darwin/setting/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/system/deployment/nix_darwin/type.bend | checks | ALL PROOFS CHECK | 0.9 s |
| domain/architecture/system/deployment/ops.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/system/deployment/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/system/effects.bend | relies on unsafe/foreign | 86 defs rely on unsafe or foreign code defs: 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir, 0x902b9f92801b87d6be0bcd03919d01bb/files.remove, 0x902b9f92801b87d6be0bcd03919d01bb/files.rename, 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat, 0x902b9f92801b87d6be0bcd03919d01bb/files.exists, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all, 0x16458a2db4f36577294543ec2a6d420c/json.enc.go, 0x16458a2db4f36577294543ec2a6d420c/json.encode, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.extensions, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.check, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.checks_with, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.checks, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.az_run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.permissions, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.signed, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.observe, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.checks, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.pids, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.observe, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.read_or, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.checks, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.read_domains, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.defaults_now, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.power, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.power_button, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.name, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.names, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.socketfilterfw, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.firewall_now, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.field, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.tiles, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.dock_list, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.per_service, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.network, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.nix_link, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.security, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.keyboard, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.system, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.dscl, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.user_list, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.group_list, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.users, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_files, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_dir, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.observed_from, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.observed, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.changes, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/brew/effects.observed, files, differing, fetch_if, fetched, hub_state, hub_states, pushed, remote, marketplace, build_plugin, tag_differs, tag_state, tag_states, release_plugin, root, observe, apply, apply_all, deploy_if, deploy, differs, darwin_steps, platform_steps, node_steps, plan_all, deploy_all, import_node, import_nodes, import_alloutputSOME PROOFS FAIL Error: 86 defs rely on unsafe or foreign code: - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir - 0x902b9f92801b87d6be0bcd03919d01bb/files.remove - 0x902b9f92801b87d6be0bcd03919d01bb/files.rename - 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat - 0x902b9f92801b87d6be0bcd03919d01bb/files.exists - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.extensions - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.check - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.checks_with - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.checks - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.az_run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.permissions - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.signed - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.observe - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.checks - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.pids - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.observe - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.read_or - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.checks - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.read_domains - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.defaults_now - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.power - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.power_button - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.name - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.names - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.socketfilterfw - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.firewall_now - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.field - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.tiles - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.dock_list - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.per_service - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.network - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.nix_link - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.security - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.keyboard - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.system - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.dscl - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.user_list - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.group_list - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.users - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_files - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_dir - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.observed_from - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.observed - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.changes - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/brew/effects.observed - files - differing - fetch_if - fetched - hub_state - hub_states - pushed - remote - marketplace - build_plugin - tag_differs - tag_state - tag_states - release_plugin - root - observe - apply - apply_all - deploy_if - deploy - differs - darwin_steps - platform_steps - node_steps - plan_all - deploy_all - import_node - import_nodes - import_all | 1.9 s |
| domain/architecture/system/effs/io.bend | relies on unsafe/foreign | 3 defs rely on unsafe or foreign code defs: Program.run, run, succeedsoutputSOME PROOFS FAIL Error: 3 defs rely on unsafe or foreign code: - Program.run - run - succeeds | 0.8 s |
| domain/architecture/system/ops.bend | checks | ALL PROOFS CHECK | 1.4 s |
| domain/architecture/system/plan/ops.bend | checks | ALL PROOFS CHECK | 1.0 s |
| domain/architecture/system/plan/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/system/release/ops.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/system/release/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/system/type.bend | checks | ALL PROOFS CHECK | 0.9 s |
| domain/architecture/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| domain/architecture/view/effects.bend | relies on unsafe/foreign | 16 defs rely on unsafe or foreign code defs: 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds, 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir, 0x902b9f92801b87d6be0bcd03919d01bb/files.remove, 0x902b9f92801b87d6be0bcd03919d01bb/files.rename, 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat, 0x902b9f92801b87d6be0bcd03919d01bb/files.exists, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all, draw, renderoutputSOME PROOFS FAIL Error: 16 defs rely on unsafe or foreign code: - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir - 0x902b9f92801b87d6be0bcd03919d01bb/files.remove - 0x902b9f92801b87d6be0bcd03919d01bb/files.rename - 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat - 0x902b9f92801b87d6be0bcd03919d01bb/files.exists - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all - draw - render | 1.3 s |
| domain/architecture/view/ops.bend | checks | ALL PROOFS CHECK | 1.6 s |
| domain/architecture/view/type.bend | checks | ALL PROOFS CHECK | 0.7 s |
| general/compound/edge/type.bend | checks | ALL PROOFS CHECK | 0.8 s |
| general/compound/ops.bend | checks | ALL PROOFS CHECK | 0.8 s |
| general/compound/type.bend | checks | ALL PROOFS CHECK | 0.8 s |
| general/rose/LAWS.bend | open laws/TODOs | 1 TODO found. Checked alone, a law without a def is a TODO; all of them are proved in files that check, so the package counts this file as checks. outputSOME PROOFS FAIL Error: 1 TODO found. The code is incomplete, and not a valid proof yet. | 0.7 s |
| general/rose/PROOF.bend | checks | ALL PROOFS CHECK | 1.0 s |
| general/rose/ops.bend | checks | ALL PROOFS CHECK | 0.9 s |
| general/rose/type.bend | checks | ALL PROOFS CHECK | 0.5 s |
| v.bend | relies on unsafe/foreign | 88 defs rely on unsafe or foreign code defs: 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir, 0x902b9f92801b87d6be0bcd03919d01bb/files.remove, 0x902b9f92801b87d6be0bcd03919d01bb/files.rename, 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir, 0x902b9f92801b87d6be0bcd03919d01bb/files.stat, 0x902b9f92801b87d6be0bcd03919d01bb/files.exists, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go, 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all, 0x16458a2db4f36577294543ec2a6d420c/json.enc.go, 0x16458a2db4f36577294543ec2a6d420c/json.encode, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.extensions, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.check, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.checks_with, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.checks, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.az_run, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.permissions, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.signed, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.observe, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.checks, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.pids, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.observe, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.read_or, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.checks, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.read_domains, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.defaults_now, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.power, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.power_button, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.name, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.names, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.socketfilterfw, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.firewall_now, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.field, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.tiles, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.dock_list, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.per_service, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.network, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.nix_link, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.security, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.keyboard, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.system, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.dscl, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.user_list, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.group_list, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.users, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_files, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_dir, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.observed_from, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.observed, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.changes, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/brew/effects.observed, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.files, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.differing, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.fetch_if, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.fetched, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.hub_state, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.hub_states, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.pushed, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.remote, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.marketplace, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.build_plugin, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.tag_differs, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.tag_state, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.tag_states, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.release_plugin, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.root, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.observe, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.apply, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.apply_all, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.deploy_if, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.deploy, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.differs, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.darwin_steps, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.platform_steps, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.node_steps, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.plan_all, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.deploy_all, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.import_node, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.import_nodes, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.import_all, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/view/effects.draw, 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/view/effects.renderoutputSOME PROOFS FAIL Error: 88 defs rely on unsafe or foreign code: - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat.raw - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir - 0x902b9f92801b87d6be0bcd03919d01bb/files.remove - 0x902b9f92801b87d6be0bcd03919d01bb/files.rename - 0x902b9f92801b87d6be0bcd03919d01bb/files.temp_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.list_dir - 0x902b9f92801b87d6be0bcd03919d01bb/files.stat - 0x902b9f92801b87d6be0bcd03919d01bb/files.exists - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all.go - 0x902b9f92801b87d6be0bcd03919d01bb/files.mkdir_all - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.Program.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effs/io.succeeds - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.extensions - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.check - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.checks_with - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/container/effects.checks - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.az_run - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.permissions - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.signed - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.observe - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/azure/effects.checks - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.pids - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.observe - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.read_or - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/effects.checks - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.read_domains - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.defaults_now - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.power - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.power_button - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.name - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.names - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.socketfilterfw - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.firewall_now - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.field - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.tiles - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.dock_list - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.per_service - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.network - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.nix_link - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.security - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.keyboard - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.system - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.dscl - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.user_list - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.group_list - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.users - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_files - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_dir - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.launch - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.observed_from - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.observed - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/setting/effects.changes - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/deployment/nix_darwin/brew/effects.observed - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.files - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.differing - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.fetch_if - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.fetched - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.hub_state - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.hub_states - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.pushed - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.remote - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.marketplace - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.build_plugin - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.tag_differs - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.tag_state - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.tag_states - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.release_plugin - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.root - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.observe - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.apply - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.apply_all - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.deploy_if - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.deploy - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.differs - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.darwin_steps - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.platform_steps - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.node_steps - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.plan_all - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.deploy_all - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.import_node - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.import_nodes - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/system/effects.import_all - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/view/effects.draw - 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/view/effects.render | 1.7 s |