0x61eb9b92 relies on unsafe/foreign

0x61eb9b926b7147b74881eab60781316b

no description

Anonymous package: import it by hash.

Other versions (3)

0x1fc67b41 2026-09-27 latest
0x240dd78a 2026-09-27
0x883ca728 2026-09-27

Published: 2026-09-27
Size: 238,750 bytes, 69 files
License: MIT (LICENSE)
Declarations: 2 laws (2 proved), 733 defs, 87 types

Import

import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/LAWS.bend as LAWS
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/PROOF.bend as PROOF
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/category/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/environment/agreement/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/environment/agreement/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/environment/constraint/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/environment/external/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/environment/inventory/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/environment/inventory/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/environment/party/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/environment/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/relationship/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/component/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.bend as Effects
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.bend as Effects
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/host/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.bend as Effects
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/brew/effects.bend as Effects
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/brew/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/brew/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.bend as Effects
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/service/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/service/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.bend as Effects
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.bend as Effects
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.bend as Io
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/plan/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/plan/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/claude/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/claude/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/codex/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/codex/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/json.bend as Json
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/view/effects.bend as Effects
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/view/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/domain/architecture/view/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/general/compound/edge/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/general/compound/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/general/compound/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/general/markup/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/general/markup/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/general/rose/LAWS.bend as LAWS
import 0x61eb9b926b7147b74881eab60781316b/general/rose/PROOF.bend as PROOF
import 0x61eb9b926b7147b74881eab60781316b/general/rose/ops.bend as Ops
import 0x61eb9b926b7147b74881eab60781316b/general/rose/type.bend as Type
import 0x61eb9b926b7147b74881eab60781316b/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/launchd/effects.bend 8 declarations
domain/architecture/system/deployment/launchd/ops.bend 12 declarations
domain/architecture/system/deployment/launchd/type.bend 6 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 15 declarations
domain/architecture/system/effects.bend 56 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 21 declarations
domain/architecture/system/release/ops.bend 26 declarations
domain/architecture/system/release/plugin/claude/ops.bend 16 declarations
domain/architecture/system/release/plugin/claude/type.bend 62 declarations
domain/architecture/system/release/plugin/codex/ops.bend 8 declarations
domain/architecture/system/release/plugin/codex/type.bend 21 declarations
domain/architecture/system/release/plugin/json.bend 10 declarations
domain/architecture/system/release/plugin/ops.bend 15 declarations
domain/architecture/system/release/plugin/type.bend 8 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/markup/ops.bend 4 declarations
general/markup/type.bend 7 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. output SOME PROOFS FAIL Error: 1 TODO found. The code is incomplete, and not a valid proof yet.	1.1 s
domain/architecture/PROOF.bend	checks	ALL PROOFS CHECK	0.9 s
domain/architecture/category/type.bend	checks	ALL PROOFS CHECK	0.9 s
domain/architecture/environment/agreement/ops.bend	checks	ALL PROOFS CHECK	0.7 s
domain/architecture/environment/agreement/type.bend	checks	ALL PROOFS CHECK	0.8 s
domain/architecture/environment/constraint/type.bend	checks	ALL PROOFS CHECK	0.6 s
domain/architecture/environment/external/type.bend	checks	ALL PROOFS CHECK	0.7 s
domain/architecture/environment/inventory/ops.bend	checks	ALL PROOFS CHECK	0.6 s
domain/architecture/environment/inventory/type.bend	checks	ALL PROOFS CHECK	0.7 s
domain/architecture/environment/party/type.bend	checks	ALL PROOFS CHECK	0.8 s
domain/architecture/environment/type.bend	checks	ALL PROOFS CHECK	0.8 s
domain/architecture/ops.bend	checks	ALL PROOFS CHECK	1.2 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.7 s
domain/architecture/system/container/effects.bend	relies on unsafe/foreign	9 defs rely on unsafe or foreign code defs: `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds`, `0x16458a2db4f36577294543ec2a6d420c/json.enc.go`, `0x16458a2db4f36577294543ec2a6d420c/json.encode`, `extensions`, `check`, `checks_with`, `checks` output SOME PROOFS FAIL Error: 9 defs rely on unsafe or foreign code: - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - extensions - check - checks_with - checks	0.9 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.encode` output SOME PROOFS FAIL Error: 2 defs rely on unsafe or foreign code: - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode	1.0 s
domain/architecture/system/container/type.bend	checks	ALL PROOFS CHECK	1.1 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`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds`, `az_run`, `permissions`, `signed`, `observe`, `checks` output SOME 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 - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds - az_run - permissions - signed - observe - checks	1.3 s
domain/architecture/system/deployment/azure/ops.bend	checks	ALL PROOFS CHECK	0.6 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.6 s
domain/architecture/system/deployment/launchd/effects.bend	relies on unsafe/foreign	24 defs rely on unsafe or foreign code defs: `0x16458a2db4f36577294543ec2a6d420c/json.enc.go`, `0x16458a2db4f36577294543ec2a6d420c/json.encode`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run`, `0x61eb9b926b7147b74881eab60781316b/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`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.pids`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.observe`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.read_or`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.checks`, `agent_steps`, `observe`, `read_or`, `checks` output SOME PROOFS FAIL Error: 24 defs rely on unsafe or foreign code: - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run - 0x61eb9b926b7147b74881eab60781316b/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 - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.pids - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.observe - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.read_or - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.checks - agent_steps - observe - read_or - checks	1.1 s
domain/architecture/system/deployment/launchd/ops.bend	checks	ALL PROOFS CHECK	0.7 s
domain/architecture/system/deployment/launchd/type.bend	checks	ALL PROOFS CHECK	0.8 s
domain/architecture/system/deployment/nix_darwin/brew/effects.bend	relies on unsafe/foreign	4 defs rely on unsafe or foreign code defs: `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds`, `observed` output SOME PROOFS FAIL Error: 4 defs rely on unsafe or foreign code: - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds - observed	1.0 s
domain/architecture/system/deployment/nix_darwin/brew/ops.bend	checks	ALL PROOFS CHECK	0.6 s
domain/architecture/system/deployment/nix_darwin/brew/type.bend	checks	ALL PROOFS CHECK	0.8 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`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds`, `pids`, `observe`, `read_or`, `checks` output SOME 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 - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds - pids - observe - read_or - checks	1.2 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.9 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`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run`, `0x61eb9b926b7147b74881eab60781316b/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` output SOME 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 - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run - 0x61eb9b926b7147b74881eab60781316b/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.1 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.9 s
domain/architecture/system/deployment/nix_darwin/type.bend	checks	ALL PROOFS CHECK	0.7 s
domain/architecture/system/deployment/ops.bend	checks	ALL PROOFS CHECK	0.9 s
domain/architecture/system/deployment/type.bend	checks	ALL PROOFS CHECK	0.6 s
domain/architecture/system/effects.bend	relies on unsafe/foreign	95 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`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.extensions`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.check`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.checks_with`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.checks`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.az_run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.permissions`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.signed`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.observe`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.checks`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.pids`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.observe`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.read_or`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.checks`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.agent_steps`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.observe`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.read_or`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.checks`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.read_domains`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.defaults_now`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.power`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.power_button`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.name`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.names`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.socketfilterfw`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.firewall_now`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.field`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.tiles`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.dock_list`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.per_service`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.network`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.nix_link`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.security`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.keyboard`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.system`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.dscl`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.user_list`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.group_list`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.users`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_files`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_dir`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.observed_from`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.observed`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.changes`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/brew/effects.observed`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.agent`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.claude`, `files`, `differing`, `fetch_if`, `fetched`, `hub_state`, `hub_states`, `pushed`, `remote`, `marketplace`, `build_plugin`, `tag_differs`, `tag_state`, `tag_states`, `codex_marketplace`, `release_plugin`, `root`, `observe`, `bootstrap_after`, `bootstrap`, `apply`, `apply_all`, `deploy_if`, `deploy`, `differs`, `darwin_steps`, `platform_steps`, `node_steps`, `plan_all`, `deploy_all`, `import_node`, `import_nodes`, `import_all` output SOME PROOFS FAIL Error: 95 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 - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.extensions - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.check - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.checks_with - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.checks - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.az_run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.permissions - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.signed - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.observe - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.checks - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.pids - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.observe - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.read_or - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.checks - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.agent_steps - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.observe - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.read_or - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.checks - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.read_domains - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.defaults_now - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.power - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.power_button - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.name - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.names - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.socketfilterfw - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.firewall_now - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.field - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.tiles - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.dock_list - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.per_service - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.network - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.nix_link - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.security - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.keyboard - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.system - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.dscl - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.user_list - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.group_list - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.users - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_files - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_dir - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.observed_from - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.observed - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.changes - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/brew/effects.observed - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.agent - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.claude - files - differing - fetch_if - fetched - hub_state - hub_states - pushed - remote - marketplace - build_plugin - tag_differs - tag_state - tag_states - codex_marketplace - release_plugin - root - observe - bootstrap_after - bootstrap - apply - apply_all - deploy_if - deploy - differs - darwin_steps - platform_steps - node_steps - plan_all - deploy_all - import_node - import_nodes - import_all	2.2 s
domain/architecture/system/effs/io.bend	relies on unsafe/foreign	3 defs rely on unsafe or foreign code defs: `Program.run`, `run`, `succeeds` output SOME PROOFS FAIL Error: 3 defs rely on unsafe or foreign code: - Program.run - run - succeeds	0.9 s
domain/architecture/system/ops.bend	checks	ALL PROOFS CHECK	1.2 s
domain/architecture/system/plan/ops.bend	relies on unsafe/foreign	4 defs rely on unsafe or foreign code defs: `0x16458a2db4f36577294543ec2a6d420c/json.enc.go`, `0x16458a2db4f36577294543ec2a6d420c/json.encode`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.agent`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.claude` output SOME PROOFS FAIL Error: 4 defs rely on unsafe or foreign code: - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.agent - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.claude	1.0 s
domain/architecture/system/plan/type.bend	checks	ALL PROOFS CHECK	0.8 s
domain/architecture/system/release/ops.bend	checks	ALL PROOFS CHECK	0.7 s
domain/architecture/system/release/plugin/claude/ops.bend	relies on unsafe/foreign	2 defs rely on unsafe or foreign code defs: `0x16458a2db4f36577294543ec2a6d420c/json.enc.go`, `0x16458a2db4f36577294543ec2a6d420c/json.encode` output SOME PROOFS FAIL Error: 2 defs rely on unsafe or foreign code: - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode	1.0 s
domain/architecture/system/release/plugin/claude/type.bend	checks	ALL PROOFS CHECK	0.8 s
domain/architecture/system/release/plugin/codex/ops.bend	relies on unsafe/foreign	2 defs rely on unsafe or foreign code defs: `0x16458a2db4f36577294543ec2a6d420c/json.enc.go`, `0x16458a2db4f36577294543ec2a6d420c/json.encode` output SOME PROOFS FAIL Error: 2 defs rely on unsafe or foreign code: - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode	0.8 s
domain/architecture/system/release/plugin/codex/type.bend	checks	ALL PROOFS CHECK	0.8 s
domain/architecture/system/release/plugin/json.bend	relies on unsafe/foreign	2 defs rely on unsafe or foreign code defs: `0x16458a2db4f36577294543ec2a6d420c/json.enc.go`, `0x16458a2db4f36577294543ec2a6d420c/json.encode` output SOME PROOFS FAIL Error: 2 defs rely on unsafe or foreign code: - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode	0.8 s
domain/architecture/system/release/plugin/ops.bend	relies on unsafe/foreign	4 defs rely on unsafe or foreign code defs: `0x16458a2db4f36577294543ec2a6d420c/json.enc.go`, `0x16458a2db4f36577294543ec2a6d420c/json.encode`, `agent`, `claude` output SOME PROOFS FAIL Error: 4 defs rely on unsafe or foreign code: - 0x16458a2db4f36577294543ec2a6d420c/json.enc.go - 0x16458a2db4f36577294543ec2a6d420c/json.encode - agent - claude	0.8 s
domain/architecture/system/release/plugin/type.bend	checks	ALL PROOFS CHECK	0.9 s
domain/architecture/system/release/type.bend	checks	ALL PROOFS CHECK	0.8 s
domain/architecture/system/type.bend	checks	ALL PROOFS CHECK	0.8 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: `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run`, `0x61eb9b926b7147b74881eab60781316b/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` output SOME PROOFS FAIL Error: 16 defs rely on unsafe or foreign code: - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run - 0x61eb9b926b7147b74881eab60781316b/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.3 s
domain/architecture/view/type.bend	checks	ALL PROOFS CHECK	0.8 s
general/compound/edge/type.bend	checks	ALL PROOFS CHECK	0.8 s
general/compound/ops.bend	checks	ALL PROOFS CHECK	0.7 s
general/compound/type.bend	checks	ALL PROOFS CHECK	0.9 s
general/markup/ops.bend	checks	ALL PROOFS CHECK	0.8 s
general/markup/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. output SOME PROOFS FAIL Error: 1 TODO found. The code is incomplete, and not a valid proof yet.	0.6 s
general/rose/PROOF.bend	checks	ALL PROOFS CHECK	0.9 s
general/rose/ops.bend	checks	ALL PROOFS CHECK	0.8 s
general/rose/type.bend	checks	ALL PROOFS CHECK	0.8 s
v.bend	relies on unsafe/foreign	97 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`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.extensions`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.check`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.checks_with`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.checks`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.az_run`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.permissions`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.signed`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.observe`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.checks`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.pids`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.observe`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.read_or`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.checks`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.agent_steps`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.observe`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.read_or`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.checks`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.read_domains`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.defaults_now`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.power`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.power_button`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.name`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.names`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.socketfilterfw`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.firewall_now`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.field`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.tiles`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.dock_list`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.per_service`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.network`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.nix_link`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.security`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.keyboard`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.system`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.dscl`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.user_list`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.group_list`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.users`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_files`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_dir`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.observed_from`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.observed`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.changes`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/brew/effects.observed`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.agent`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.claude`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.files`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.differing`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.fetch_if`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.fetched`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.hub_state`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.hub_states`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.pushed`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.remote`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.marketplace`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.build_plugin`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.tag_differs`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.tag_state`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.tag_states`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.codex_marketplace`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.release_plugin`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.root`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.observe`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.bootstrap_after`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.bootstrap`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.apply`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.apply_all`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.deploy_if`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.deploy`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.differs`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.darwin_steps`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.platform_steps`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.node_steps`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.plan_all`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.deploy_all`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.import_node`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.import_nodes`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.import_all`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/view/effects.draw`, `0x61eb9b926b7147b74881eab60781316b/domain/architecture/view/effects.render` output SOME PROOFS FAIL Error: 97 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 - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.Program.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effs/io.succeeds - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.extensions - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.check - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.checks_with - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/container/effects.checks - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.az_run - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.permissions - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.signed - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.observe - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/azure/effects.checks - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.pids - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.observe - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.read_or - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/effects.checks - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.agent_steps - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.observe - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.read_or - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/launchd/effects.checks - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.read_domains - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.defaults_now - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.power - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.power_button - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.name - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.names - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.socketfilterfw - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.firewall_now - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.field - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.tiles - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.dock_list - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.per_service - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.network - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.nix_link - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.security - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.keyboard - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.system - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.dscl - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.user_list - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.group_list - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.users - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_files - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch_dir - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.launch - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.observed_from - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.observed - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/setting/effects.changes - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/deployment/nix_darwin/brew/effects.observed - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.agent - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/release/plugin/ops.claude - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.files - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.differing - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.fetch_if - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.fetched - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.hub_state - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.hub_states - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.pushed - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.remote - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.marketplace - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.build_plugin - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.tag_differs - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.tag_state - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.tag_states - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.codex_marketplace - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.release_plugin - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.root - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.observe - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.bootstrap_after - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.bootstrap - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.apply - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.apply_all - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.deploy_if - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.deploy - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.differs - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.darwin_steps - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.platform_steps - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.node_steps - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.plan_all - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.deploy_all - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.import_node - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.import_nodes - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/system/effects.import_all - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/view/effects.draw - 0x61eb9b926b7147b74881eab60781316b/domain/architecture/view/effects.render	1.8 s