Borehole · Risk register · free tier
firecracker-microvm/firecracker
Free reading: not for reliance
Borehole badge for firecracker-microvm/firecracker
dd7c24b · 8,529 commits · 835 files
Issued 2026-10-23

Reads strong: 5 of 6 rated dimensions are strong, 1 is adequate and none is significant.

104 checks ran across 6 assessable dimensions. Observability & Operations is adequate. 7 findings, each with evidence. One dimension cannot be assessed without an acquirer.

This repository reads strong. Show it in your README: the badge links to a page where anyone can check the reading. If you embed it: link it to the report, remove it if the report is delisted, and do not present it as a certification or an endorsement.

[![Borehole reading, not a certification](https://borehole.dev/badge/firecracker-microvm/firecracker/dd7c24b.svg "Borehole free reading: not for reliance. See the full report.")](https://borehole.dev/verify/081BTFPZ8MBC?via=badge)
What the repository says about itself
  • 04.62 Releases are cut from another branch than the one surveyed
What this survey read. This commit may not be the product users run: The newest release, v1.17.0, is not on the branch this survey read; the newest release on it is v1.2.0. Read this report as describing that commit, not the release users run. Survey the release branch or tag as well.
Published under today's rules. The verification code attests to this reading as it was stored. This page differs from it as follows.
  • 2 findings from checks Borehole's calibration found wrong more often than right are no longer published.
strong adequate significant findings not assessable from a repository
Provenance disclosure does not affect any rating
0% of the code standing today was written in AI-declared commits
0% of lines still in the tree 1,254 of 325,328 0% of lines ever added these differ when early hand-written code has since been replaced
1% of lines added in the last 12 months (since 2025-10-23) arrived in AI-declared commits: 5/1,112 commits, confidence moderate. Also a floor.
5/8,529 commits declaring an agent
confidence: moderate
  • 100% of non-merge commits carry any trailer at all
  • 72% of commits show author/committer date divergence, which is the shape of replayed history that can drop trailers
  • deep scan blamed 802 of 802 counted files
38,332 lines excluded as lockfiles, vendored or generated.
This is a lower bound. It counts what the repository declares. Undeclared AI authorship is invisible here, and a single rebase removes the trailers this rests on. Absence of a declaration is absence of disclosure, not absence of AI authorship.

Architecture & Codebase — including AI provenance

01 · strong · ratings ↑
A note that does not affect this rating
01.6

src/vmm/src/vstate/memory.rs is 2,935 lines, 19× this codebase's median file

adequate

The median source file here is 154 lines. 11 files exceed 1,540 lines, the largest being 2,935. Size is not a defect on its own — some problems genuinely live in one place — but these are where merge conflicts, review fatigue and single-owner knowledge concentrate, and they are the first thing that slows an inheriting engineer down.

A note that does not affect this rating: measured against its own codebase's median, it is below the 85th percentile of 382 surveyed projects' largest files, where this check begins to count.

Evidence
line-count src/vmm/src/vstate/memory.rs:1 — 2,935 lines (19× median)
line-count src/vmm/src/devices/virtio/net/device.rs:1 — 2,797 lines (18× median)
line-count src/vmm/src/devices/virtio/block/virtio/device.rs:1 — 2,190 lines (14× median)
line-count src/vmm/src/devices/virtio/transport/pci/device.rs:1 — 2,170 lines (14× median)
line-count src/vmm/src/devices/virtio/balloon/device.rs:1 — 2,072 lines (13× median)
Respond to this finding

Your response is published beside the finding, not instead of it. A finding you can argue with is the point — and a wrong one is calibration data we want.

An owner's response is removed only when it is unlawful, impersonates someone, publishes personal data or a credential, or is not about the finding. Disagreeing with the report is never a reason. To report a response, or to reach us about one, write to takedown@borehole.dev.

Engineering Process & SDLC Maturity

02 · strong · ratings ↑

No finding. 16 checks ran and none fired; the rejection log below says why each did not.

Organization & Key-Person Risk

03 · strong · ratings ↑

No finding. 10 checks ran and none fired; the rejection log below says why each did not.

Product & Engineering Maturity

04 · strong · ratings ↑
A note that does not affect this rating
04.62

Releases are cut from another branch than the one surveyed

adequate

The newest release, v1.17.0, is not on the branch this survey read; the newest release on it is v1.2.0. The shipped product may differ from what this report describes. Survey the release branch too.

A note that does not affect this rating: notes like it are common in well-run projects.

Evidence
95f868c8e tag v1.17.0
Respond to this finding

Your response is published beside the finding, not instead of it. A finding you can argue with is the point — and a wrong one is calibration data we want.

An owner's response is removed only when it is unlawful, impersonates someone, publishes personal data or a credential, or is not about the finding. Disagreeing with the report is never a reason. To report a response, or to reach us about one, write to takedown@borehole.dev.

Security & Reliability Posture

05 · strong · ratings ↑
Notes that do not affect this rating
05.27

The build runs third-party code it does not pin

adequate

1 step pipes a download straight into a shell. Tags have been moved to malicious commits in real supply-chain attacks, and a piped script is whatever the server returns that minute. Pinning to a commit is the fix, and it is small.

A note that does not affect this rating: notes like it are common in well-run projects.

Evidence
tools/devctr/Dockerfile tools/devctr/Dockerfile:211 — download piped into a shell
Respond to this finding

Your response is published beside the finding, not instead of it. A finding you can argue with is the point — and a wrong one is calibration data we want.

An owner's response is removed only when it is unlawful, impersonates someone, publishes personal data or a credential, or is not about the finding. Disagreeing with the report is never a reason. To report a response, or to reach us about one, write to takedown@borehole.dev.

05.9

1 vendored component with no licence

adequate

Third-party code is committed into this repository without any statement of the terms it arrived under. Unknown terms are harder to deal with than inconvenient ones: an awkward licence can be complied with, an absent one cannot. Each of these needs its origin established before the code changes hands.

A note that does not affect this rating: in Borehole's calibration, this check's notes were usually true but overstated.

Evidence
THIRD-PARTY THIRD-PARTY — 1 tracked files, no licence file
Respond to this finding

Your response is published beside the finding, not instead of it. A finding you can argue with is the point — and a wrong one is calibration data we want.

An owner's response is removed only when it is unlawful, impersonates someone, publishes personal data or a credential, or is not about the finding. Disagreeing with the report is never a reason. To report a response, or to reach us about one, write to takedown@borehole.dev.

05.65

2 advisories against this project in the last 24 months, 1 high or critical

adequate

The newest was published on 2026-04-07. A project that publishes advisories is telling its users about its fixes, and the count and pace say how much security work it carries. Whether 2 of them are fixed in the code you ship could not be told from this history: its version is only known to be at least 1.2.0. Answer lives in: the release you run, set against each fixed version.

A note that does not affect this rating: it describes the project's advisory record, and no advisory in it is known to affect the surveyed commit.

Evidence
GHSA-776c-mpj7-jm3r 2026-04-07: GHSA-776c-mpj7-jm3r (high), fixed in 1.14.4: Out-of-bounds Write in Firecracker virtio-pci Transport
GHSA-36j2-f825-qvgc 2026-01-23: GHSA-36j2-f825-qvgc (moderate), fixed in v1.13.2: Arbitrary Host File Overwrite via Symlink in Firecracker Jailer
Respond to this finding

Your response is published beside the finding, not instead of it. A finding you can argue with is the point — and a wrong one is calibration data we want.

An owner's response is removed only when it is unlawful, impersonates someone, publishes personal data or a credential, or is not about the finding. Disagreeing with the report is never a reason. To report a response, or to reach us about one, write to takedown@borehole.dev.

Observability & Operations

06 · adequate · ratings ↑
06.8

One request cannot be followed through the logs

adequate

Nothing in the service carries a request or correlation id, and there is no tracing. When a customer reports a failure, the log lines that belong to their request cannot be picked out from everyone else's.

Evidence
request ids no request id, correlation id or tracing found
Respond to this finding

Your response is published beside the finding, not instead of it. A finding you can argue with is the point — and a wrong one is calibration data we want.

An owner's response is removed only when it is unlawful, impersonates someone, publishes personal data or a credential, or is not about the finding. Disagreeing with the report is never a reason. To report a response, or to reach us about one, write to takedown@borehole.dev.

A note that does not affect this rating
06.9

No error reporter is wired in

adequate

Nothing in the service initialises an error reporter (Sentry, Rollbar, Bugsnag, Honeybadger or an APM agent). An exception in production reaches a person only if someone is reading the logs, which usually means a customer reports it first.

A note that does not affect this rating: notes like it are common in well-run projects.

Evidence
error reporting no error reporter initialised
Respond to this finding

Your response is published beside the finding, not instead of it. A finding you can argue with is the point — and a wrong one is calibration data we want.

An owner's response is removed only when it is unlawful, impersonates someone, publishes personal data or a credential, or is not about the finding. Disagreeing with the report is never a reason. To report a response, or to reach us about one, write to takedown@borehole.dev.

Fit with the Acquirer

07 · not assessable · ratings ↑

Not rated: structurally not assessable from a repository. What a person adds here.

Check it on the running system

4 checks against the running system follow from the findings above: what a buyer's engineer will try, how to run it first, and what to have ready. A paid survey of this repository includes them. See the tiers.

A paid survey of a public repository is also reviewed: a language model reads each finding against the code and withdraws only findings it judges the code contradicts, each listed with its reason. The review is a language model's reading of the findings against the code, and it can be wrong. It never adds a finding, never raises a band, and never removes a finding from a proven check or an advisory that affects the surveyed version.

What a person adds

The survey reads what the repository can show. The code cannot settle these questions, and on them this report states nothing. Each says where its answer lives: your own engineer, the company, or an assessor you choose can settle it. Questions marked measured open with something this repository shows.

Architecture & Codebase — including AI provenance

01 · full coverage
  1. measured The tree carries design documentation (docs/design.md and 1 more). Does it match what the team believes today? Ask them to walk through it against the code. Answer lives in: The team01.38
  2. Is the architecture right for the next three years of the product? Answer lives in: Your architects, with the product roadmap01.39
  3. Were the home-grown components reasonable choices when they were made, and are they now? Answer lives in: The team's reasoning at the time01.40

Engineering Process & SDLC Maturity

02 · high coverage
  1. Is review real or a rubber stamp? Comment depth and time to approve need the pull request history. Answer lives in: The code host's pull request data02.32
  2. Is delivery planned and measured, or heroic? Answer lives in: The issue tracker: backlog, sprint history, estimate accuracy02.38
  3. How are incidents run, reviewed and learned from? Answer lives in: Tickets, chat and postmortems02.37

Organization & Key-Person Risk

03 · partial coverage
  1. measured 301 people have committed here. Which of them are you acquiring, and which are you replacing? Answer lives in: The deal terms03.29
  2. Who mentors whom, and would that survive a departure? Answer lives in: The team; review history only suggests candidates03.28
  3. Can the team grow, and who stands behind the top three contributors? Answer lives in: Recruiting data and the org chart03.30
  4. Is the seniority mix sound, and will pay survive your salary bands? Answer lives in: HR data03.31
  5. Is the pace sustainable? Commit times cannot say: git keeps no reliable local time. Answer lives in: Interviews and on-call history03.14
  6. Does the team want to stay after close? Answer lives in: Interviews03.32
  7. How are decisions made and disagreements resolved? Answer lives in: Time with the team03.33

Product & Engineering Maturity

04 · minimal coverage
  1. Can this team deliver the stated roadmap on the stated timeline? Answer lives in: The data room and the team's record of estimates04.32
  2. Does leadership know about the debt, and is time budgeted to repay it? Answer lives in: Budget and roadmap decisions04.31
  3. Is the engineering shape consistent with the commercial story? Answer lives in: Revenue, customer and churn data04.33

Security & Reliability Posture

05 · partial coverage
  1. measured No threat model is in the tree of what looks like a running service. Does one exist elsewhere, and who owns it? Answer lives in: The security owner05.43
  2. What has actually broken, how often, and how badly? Answer lives in: Ticketing and chat05.41
  3. What did external testing find, and was it fixed? Answer lives in: Reports in the data room05.42
  4. What is the SOC 2, ISO 27001 or GDPR status, and where is the evidence? Answer lives in: Audit reports; policy files in the tree are not evidence05.44

Observability & Operations

06 · partial coverage
  1. measured Nothing in the tree backs up or restores data. How is data backed up, and has a restore ever been rehearsed? Answer lives in: The operations team06.19
  2. measured No alert rule is defined in the repository. Where are alerts defined, who receives them, and when did one last fire? Answer lives in: The alerting tool and the on-call rota06.10
  3. Are the dashboards opened, the alerts acknowledged and the pages answered? Answer lives in: Pager history and dashboard logs06.29
  4. Are the service-level objectives actually met? Answer lives in: Production metrics06.30
  5. Who carries the pager, and how often does it go off? Answer lives in: Pager exports and interviews06.31
  6. What does it cost to run, and how much headroom is there? Answer lives in: Cloud billing and capacity plans06.32

Fit with the Acquirer

07 · none coverage

Not rated: structurally not assessable from a repository.

  1. This is primarily a Rust codebase. Does your engineering organisation already run Rust in production, or would this be the first? 07.1
  2. The bulk of this system sits in resources/, src/. Which of your existing systems would each of those have to absorb or replace? 07.10
  3. Nothing in the repository says how this is deployed. Is it shipped as a library, a binary or a service, and if it runs somewhere, who owns that environment? 07.2
  4. What is your tolerance for the findings above remaining unaddressed for the first two quarters after close, given everything else that will compete for this team's time?
  5. Which of these systems duplicate yours, and which get retired? Answer lives in: Your architecture07.11
  6. What will integration cost, and in what order? Answer lives in: The engagement07.12
  7. Where does the team land in your organisation, and who reports to whom? Answer lives in: Your org design07.13
  8. Are there earn-outs, retention packages or contractor IP to assign? Answer lives in: Deal terms07.14
  9. Do customer contracts limit hosting, regions or vendors? Answer lives in: Customer contracts07.15

A human assessment is Borehole's own paid service, €12,000+ (total price is determined per engagement; travel billed at cost). It is not independent of this report: the same business produced both. It is a separate contract, with its own scope, terms and reliance.

Embed the badge

Tied to this commit and this date, and it fades after 90 days — an honest badge is one that expires. A repository with significant findings gets a neutral "read" badge rather than a red one: the library is where the range is visible, not someone else's README.

Borehole badge for firecracker-microvm/firecracker
[![Borehole](/badge/firecracker-microvm/firecracker.svg "Borehole free reading: not for reliance. See the full report.")](/r/firecracker-microvm/firecracker/dd7c24b)

If you embed it: link it to the report, remove it if the report is delisted, and do not present it as a certification or an endorsement.

Was this reading useful?
Rejection log — 97 signals that ran and did not fire

Appendix: rejection log — 97 signals that ran and did not fire

Published on purpose. A signal that looked and decided not to fire has told you something, and this is the calibration data behind every threshold above.

Looked, and found nothing — 62

SignalWhat it found
04.hotspot_concentration change is spread across the codebase rather than pooling in a few filesfiles 3,008 · top5 share 0.064
04.debt_markers debt markers are sparsemarkers 67 · per kloc 0.29 · lines read 227,757
04.churn_trend rework is not rising against new worklate delete per insert 0.718 · early delete per insert 0.67
04.eol_runtime every pinned runtime is still supportedeol as of 2026-09-24
04.fixes_with_tests fixes usually come with a testfixes 444 · share 0.358 · with tests 159
04.fix_share_trend fixing is not crowding out building
04.compat_layers little code is kept for the old wayshare 0.017 · code files 356 · compat files 6
06.telemetry_presence a telemetry or error-reporting library is referencednote presence only; whether anyone watches it is not visible here · matches 7
06.usage_reporting_default the product's code names no reporting hostsettings on 0 · settings off 0
06.release_markers releases are markedtags last year 14 · release commits 1 · changelog commits 88
06.migrate_on_start migrations do not run at container start
03.contributor_concentration no single contributor dominates the last 24 monthsyears 9.0 · window last 24 months · authors 301
03.active_contributors more than one contributor active in the trailing yearall time 301 · active 12mo 45
03.knowledge_silos every substantial directory has been touched by more than one personauthors 301 · directories 4
03.drive_by_contributors an open contributor base, where one-commit contributors are normalauthors 301 · one off share 0.591
03.contributor_attrition no contributor dominates enough for their absence to matterauthors 301 · top share less than a quarter · top contributor last committed more than a year ago
03.critical_path_ownership more than one person changes the critical pathsauthors 63
03.second_contributor_attrition the second and third contributors are still active
03.bus_factor_trend the team has not narrowed to one person
03.joiners_and_leavers the team is not shrinkingleft 4 · joined 10 · regular last year 16
02.merge_discipline a meaningful share of recent change carries evidence of reviewmerges 0 · window last 24 months · with tracked 18
02.ci_presence CI configuration is present in the working treecount 20
02.test_presence tests are present in a normal proportion to sourcetests 375 · source 490 · test ratio 0.765
02.release_cadence tags are presenttags 109
02.conventional_commits commit subjects generally carry contentsampled 8,529 · low content share 0.0
02.branch_protection_hints process scaffolding is present in the repository
02.ci_runs_tests CI invokes a test runnerconfigs 20 · with tests 2
02.skipped_tests few tests are switched offfocused 0 · skipped 0 · test files 279
02.ci_test_gating no test run in CI is written so that it cannot failconfigs 20
02.revert_share change is rarely undoneshare 0.007 · reverts 14 · recent commits 2,098
02.dependency_update_cadence dependencies move with the codelockfiles 2 · commits since 10 · days since lockfile changed 0
02.flaky_test_markers tests are not retried until they passtest retries 1 · suite retries 0
02.lint_in_build a linter or formatter runs in the buildwired 5 · ci configs 20 · product files 356
02.commit_size changes arrive in reviewable sizesshare 0.008 · commits 1,919 · over 2000 lines 16
01.burst_import commit runs were found but none was additive enough to be an import; the largest looks like a reformat or a replayed historygap seconds 180 · min add ratio 3.0 · min net added 2,000
01.initial_dump first commit is not a disproportionate share of the codebaseinsertions 234 · share of insertions 0.0001
01.message_uniformity commit subjects vary in wording and lengthlength stdev 12.71 · repeat share 0.029
01.revision_depth most files were revisited after they were first writtenfiles seen 380 · write once share 0.074
01.duplicated_blocks little shipping code is repeated verbatim across filesshare 0.0074 · product files 334 · distinct blocks 76,733
01.unfinished_migration no language migration is stalled halfway
01.weights_in_git no model weights are committedfiles 0
05.committed_secrets no credential-shaped strings outside test and fixture pathsnote the working tree only; the history is 05.5 · patterns 8 · files read 715
05.security_guardrails at least one standard guard rail is configured
05.license_present a licence file is presentfound True
05.secrets_management_pattern no environment file is committed outside tests and examplesenv files 0
05.known_vulnerabilities no locked dependency has a published advisoryadvisories 0 · dependencies 192 · high or critical 0
05.privileged_workloads no workload runs privileged or in the host's namespacessites 0 · behind a setting or built here 0
05.credentials_in_deploy_config deployment configuration references secrets, never holds themfiles 0 · sites 0
05.signing_material no signing keystore or profile is committedfiles 0
05.license_copyleft_inherited every licence found in vendored code is permissive or weak-copyleftvendored paths 1
05.license_grant_unclear the licence is recognisable as Apache-2.0class permissive · license Apache-2.0
05.committed_native_libraries no widely used compiled library is committed to the productlibraries 0
04.deprecations_lingering few deprecations have outlived two yearsolder than two years 0 · files with deprecations 3
04.dependency_churn few dependencies were added and dropped within 60 daysdependencies seen 195 · added in two years 12 · removed within 60 days 3
04.ci_platforms_dropped no platform was dropped from CI in the last two years
04.repository_status the README's first screen states no end, move or freezestatements 0
02.development_elsewhere nothing says development happens elsewhereno pr statements 0 · mirror statements 0 · replayed commit share 0.0
05.licence_changes relicensed only between permissive licences: Apache-2.0 → BSD-3-Clause (2017-11-10) → Apache-2.0 (2018-11-20)latest Apache-2.0 · weaker False · licence versions 3
05.paid_edition no directory carries a separate paid-edition licencedirectories 0
04.releases_stopped releases keep pace with developmentmedian gap days 17.0 · days since last tag 49 · commits last 90 days 317
03.single_maintainer no file says one person maintains itstatements 0
05.project_exploited no affecting advisory is on CISA's Known Exploited listexploited 0

Could not conclude, or did not apply — 35

Not a clean result. Each says why it could not answer here.

SignalWhy
04.dependency_sprawlno dependency manifest of the product's own was found
04.test_growthRust keeps unit tests inside the files they test, which a count by file name cannot see
04.schema_churnno schema migrations to read
04.dependency_redundancyno JavaScript manifest to read
06.structured_loggingnot assessed for Rust: its logging setup is not read
06.telemetry_depthnone at all is 06.1
06.print_loggingnot assessed for Rust: its logger calls are not read
06.alert_rulesno alert rules in the repository; they may live in a console
06.deployed_image_floatsno deployment descriptor names an image
06.probes_identicalno Kubernetes probes
06.single_replicano Kubernetes deployments
06.environment_branchingnot assessed for Rust, the language the product is written in: this check's patterns read other languages only
06.feature_flagsno feature-flag service; flags may live elsewhere
02.long_lived_branchestoo few merges to judge (squash and rebase leave none)
01.swallowed_errorsnot assessed for Rust, the language the product is written in: this check's patterns read other languages only
01.build_reproducibilityno product Dockerfile to read
01.notebook_outputsnot a data or machine-learning repository
05.dependency_pinningno manifest whose pinning can be read without a lockfile
05.container_runs_as_rootno Dockerfile outside development, test and example paths
05.outbound_timeoutsnot assessed for Rust, the language the product is written in: this check's patterns read other languages only
05.migration_reversibilitytoo few migrations to judge
05.sql_from_stringsnot assessed for Rust, the language the product is written in: this check's patterns read other languages only
05.shell_from_stringsnot assessed for Rust, the language the product is written in: this check's patterns read other languages only
05.unsafe_deserializationnot assessed for Rust, the language the product is written in: this check's patterns read other languages only
05.tls_verification_offnot assessed for Rust, the language the product is written in: this check's patterns read other languages only
05.resource_limitsno Kubernetes workload manifests
05.public_env_secretnot a frontend
05.unsafe_htmlnot a frontend
05.source_maps_shippednot a frontend
05.cleartext_trafficnot a mobile app
05.dataset_provenancenot a data or machine-learning repository
05.license_manifest_conflictno packaging manifest states a licence
04.flags_accumulatingfew or no feature flags in the history
04.api_versions_coexistingone API version is served, or none
05.project_advisoriescould not tell whether 5 published advisories affect the surveyed code: its version is only known to be at least 1.2.0
BOREHOLE READING NOT A CERTIFICATION 081B-TFPZ-8MBC 2026-10-23 · DD7C24B BOREHOLE.DEV/VERIFY

Anyone can check this report against the authoritative record — click the stamp, or enter 081B-TFPZ-8MBC at borehole.dev/verify.

The code commits to the 106 checks this run performed, the bands they produced, and the commit they were read at. It does not cover checks written since.

Put the mark in your README

The image is wrapped in a link to the verification page, so a reader can check it rather than take it on trust. If you embed it: link it to the report, remove it if the report is delisted, and do not present it as a certification or an endorsement.

[![Borehole reading, not a certification](https://borehole.dev/badge/firecracker-microvm/firecracker/dd7c24b.svg "Borehole free reading: not for reliance. See the full report.")](https://borehole.dev/verify/081BTFPZ8MBC?via=badge)

Borehole reading 081B-TFPZ-8MBC, not a certification

Where this scan ran

This scan ran on ordinary cloud infrastructure (cloud-run), not in a hardware-isolated confidential VM. Nothing about it is attested by Google.

What an attested survey proves, and what it does not.

What this scan did with the repository — 7 steps

Written by the steps themselves as they ran, not described afterwards. A hand-written account of a data flow drifts the first time somebody changes the flow and not the account.

AtStepDetail
0.0s read repository metadata from the GitHub API size mb: 42.8authenticated: False
9.1s cloned the repository to a temporary directory depth: full
17.5s read the git history commits: 8529tracked files: 835
184.0s ran the deterministic checks blame pass: Trueread working tree: False
184.0s recorded where this scan ran attested: Falseenvironment: cloud-run
224.8s kept the facts, never the source, for re-reading under new checks
224.8s deleting the working copy

Total 224.8s ·source content sent off this machine: none · calls to a language model: 0 · the clone was deleted when the survey ended

An automated reading of a repository's code and its history up to one commit, with public advisory records. It may be wrong, it is not legal, financial, investment or security advice, and it does not replace diligence by a qualified person. It is provided for information: nobody may rely on it (Borehole's terms, section 3).

BOREHOLE 0.7.15 DETERMINISTIC LAYER · NO MODEL CALLSREAD ON BOREHOLE'S SERVER · CLONE DELETED TAKEDOWNCONTRIBUTED TO THIS REPOSITORY? YOUR RIGHTS