Public record
Software health reportschema 0.34.0 · metrics 2.10.0 · 2026-08-28 12:39 UTC

pulseengine / scry

sound abstract interpretation for WebAssembly — the third DO-333 leg of the PulseEngine verification chain

RustApache-2.0★ 0 stars⑂ 0 forkssince May 2026View on GitHub ↗
KindLibraryApplicationhow this is determined

pulseengine/scry holds a health index of 63 out of 100, placing it in the Moderate band. It scores highest on Vitality (82/100) and lowest on Community & Adoption (34/100). It was last updated today. A single contributor accounts for most of its recent work.

63
overall / 100
Moderate

Software health index

Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean, calibrated against the distribution of the public record so bands carry percentile meaning; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At Risk ceiling of 34.

63
Exceptional93-100The record's top tier (≈ top 5%); essentially all checked criteria met
Excellent80-92Strong across the board; minor gaps
Good65-79Healthy; gaps are limited and manageable
Moderate50-64Acceptable with notable gaps; review recommended
Weak35-49Material weaknesses across several areas
At Risk20-34Significant weaknesses; adoption warrants caution
Critical1-19Severe problems (abandoned, single-maintainer, no hygiene)
VitalityCommunity &AdoptionSustainability &GovernanceEngineeringQualitySecurityAI Readiness

Score profile

Each axis is a category. The shape matters more than the average — a healthy subject fills the whole shape, while a spike-and-crater profile means strength in one dimension is masking risk in another.

The weighted overall 59 is calibrated to 63 on the published index scale (record calibration 2026-08-02).

Ownership

pulseengineOrganization
15 followers49 public repossince May 2025

This repository is backed by an organization — shared, accountable stewardship that can outlive any single maintainer.

Package ecosystems

RegistryPackageVersionDownloads / moVersionsLast publishTags
crates.ioscry-sai-viz3.2.7148241 day agostatic-analysisverificationvisualizationwasmdevelopment-tools
crates.ioscry-sai-bits3.2.72,172151 day ago
crates.ioscry-sai-poly3.2.72961 day ago
crates.ioscry-sai-float3.2.71,855101 day ago
crates.ioscry-sai-taint3.2.72,647281 day ago
crates.ioscry-sai-handle3.2.71,854101 day ago

Metrics by category

Vitality

Is the project alive — is code being written and are releases shipping?

82Excellent · 21% of overall
How it's scored
36/36Push recencylast push 0 days ago
6.9/36Commit cadence10/52 weeks with commits
18/18Commit volume150 commits in the last year
10/10OpenSSF Scorecard: Maintained30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
Inputs used
commits_last_year150
human_commit_share1
days_since_last_push0
active_weeks_last_year10

Release discipline

98Exceptional
How it's scored
27/27Ships releases50 releases published
36/36Release recencylatest release 1 days ago
27/27Release cadencea release every ~6.3 days
8/10OpenSSF Scorecard: Signed-Releases5 out of the last 5 releases have a total of 5 signed artifacts.
Inputs used
releases_count50
latest_release_tagv3.2.7
releases_from_tagsno
days_since_latest_release1
mean_days_between_releases6.3

Community & Adoption

Does the project have users, downloads, attention, and a welcoming setup for contributors?

34At Risk · 17% of overall
How it's scored
0/60Stars0 stars
0/25Forks0 forks
0/15Watchers0 watchers
Inputs used
forks0
stars0
watchers0
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history
How it's scored
22.5/22.5README
22.5/22.5Licenserecognized license (Apache-2.0)
0/18CONTRIBUTING guide
0/13.5Code of conduct
0/7.2Issue template
0/6.3PR template
Inputs used
has_readmeyes
has_licenseyes
readme_badges0
has_contributingno
has_issue_templateno
has_code_of_conductno
readme_badge_services
has_pull_request_templateno
How it's scored
52.5/80Monthly downloads8,705 downloads/month across crates
0/20Registry dependentsnot reported by this ecosystem
Inputs used
packagesscry-sai-viz, scry-sai-bits, scry-sai-poly, scry-sai-float, scry-sai-taint, scry-sai-handle
dependents
ecosystemscrates
total_downloads26,113
monthly_downloads8,705
unverified_packages_excluded
Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.

Sustainability & Governance

Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?

52Moderate · 23% of overall
How it's scored
9/54Bus factor1 contributor(s) cover half of all commits
0/22.5Commit distributiontop contributor authored 100% of commits
1.4/13.5Contributor breadth1 contributors
3/10OpenSSF Scorecard: Contributorsproject has 1 contributing companies or organizations -- score normalized to 3
Inputs used
bus_factor1
contributors_sampled1
top_contributor_share1
How it's scored
22.7/42Issue resolution54% of issues closed
29.1/30PR acceptance154/159 decided PRs merged
0/13Newcomer PR acceptanceno first-time contributor's PR decided in 30d
0/15OpenSSF Scorecard: Code-ReviewFound 0/30 approved changesets -- score normalized to 0
Inputs used
merged_prs154
open_issues17
closed_issues20
prs_merged_7d51
prs_decided_7d55
prs_merged_30d56
prs_decided_30d60
issue_closed_ratio0.541
closed_unmerged_prs5
first_time_authors_30d0
first_time_prs_merged_30d0
first_time_prs_decided_30d0
Excluded from scoring (no data or not applicable): Newcomer PR acceptance. Remaining weights renormalized.
How it's scored
30/30Ownership backingorganization-owned
0/20Verified domain
8.7/25Owner reach15 followers of pulseengine
14.9/25Track record49 public repos, account ~1 yr old
Inputs used
followers15
owner_typeOrganization
is_verifiedno
owner_loginpulseengine
public_repos49
account_age_days461

Package maintenance

100Exceptional
How it's scored
25/25Published & resolvable6 package(s) on crates
35/35Publish recencylatest publish 1 days ago
20/20Version history28 published versions
20/20Not deprecatedactive, not deprecated or yanked
Inputs used
packagesscry-sai-viz, scry-sai-bits, scry-sai-poly, scry-sai-float, scry-sai-taint, scry-sai-handle
ecosystemscrates
any_deprecatedno
min_days_since_publish1

Engineering Quality

Are baseline engineering and documentation practices in place?

77Good · 19% of overall
How it's scored
24/24CI workflows6 workflow(s)
24/24Tests present
0/16Linter config
0/9.6Pre-commit hooks
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests30 out of 30 merged PRs checked by a CI test -- score normalized to 10
Inputs used
has_ciyes
has_testsyes
has_editorconfigno
has_linter_configno
has_precommit_configno

Documentation

90Excellent
How it's scored
30/30README
25/25Documentation directory
15/15Documentation / homepage sitehttps://pulseengine.eu
10/10Repository description
0/10Topics
10/10Wiki
Inputs used
topics
has_wikiyes
homepage
docs_sitehttps://pulseengine.eu
has_readmeyes
has_docs_diryes
has_descriptionyes

Security

Are visible security and supply-chain practices strong, without unresolved high-risk jurisdiction exposure?

38Weak · 16% of overall
How it's scored
0/7.5Binary-Artifactsbinaries present in source code
2.2/7.5Branch-Protectionbranch protection is not maximal on development and all release branches
2.5/2.5CI-Tests30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
0/7.5Code-ReviewFound 0/30 approved changesets -- score normalized to 0
0.8/2.5Contributorsproject has 1 contributing companies or organizations -- score normalized to 3
10/10Dangerous-Workflowno dangerous workflow patterns detected
0/7.5Dependency-Update-Toolno update tool detected
0/5Fuzzingproject is not fuzzed
2.5/2.5Licenselicense file detected
7.5/7.5Maintained30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
0/5Packagingno data
0/5Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0/5SASTSAST tool is not run on all commits -- score normalized to 0
0/5Security-Policysecurity policy file not detected
6/7.5Signed-Releases5 out of the last 5 releases have a total of 5 signed artifacts.
0/7.5Token-Permissionsdetected GitHub workflow tokens with excessive permissions
6.8/7.5Vulnerabilities1 existing vulnerabilities detected
Inputs used
sourceopenssf_scorecard
checks_evaluated17
scorecard_versionv5.5.0
checks_inconclusive1
scorecard_aggregate3.8
Excluded from scoring (no data or not applicable): Packaging. Remaining weights renormalized.

AI Readiness

How well is the repo equipped to be developed and maintained with AI coding agents? Carries a deliberately small weight (4%): agent tooling is a real maintenance signal, but a repository with none can still reach 100/100.

78Good · 4% of overall
How it's scored
45/45Agent instructionsAGENTS.md, CLAUDE.md
0/15Machine-readable docs (llms.txt)
40/40Legible commit history99 of 100 human commits state their intent (structured subject or explanatory body)
Inputs used
has_llms_txtno
llms_txt_url
legible_history_share0.99
agent_instruction_filesAGENTS.md, CLAUDE.md
agent_instruction_max_bytes6,733
How it's scored
12.6/18One-command bootstrapCargo.toml, crates/scry-analyze-core/Cargo.toml, crates/scry-analyzer/Cargo.toml (toolchain convention, no task runner)
22/22Automated tests
0/11Lint / format config
11/11Static type checkingRust (statically typed)
10/10Reproducible environmentlockfile
10/10Demonstrated agent practice99 of the last 100 commits agent-authored or agent-credited
0/8Automated maintenanceno automated dependency updates observed
0/10OpenSSF Scorecard: Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
Inputs used
has_nixno
has_testsyes
lockfilesCargo.lock
has_dockerfileno
typed_languageyes
bootstrap_files
has_devcontainerno
has_linter_configno
typecheck_configs
agent_commit_share0.99
toolchain_manifestsCargo.toml, crates/scry-analyze-core/Cargo.toml, crates/scry-analyzer/Cargo.toml, crates/scry-bits/Cargo.toml, crates/scry-float/Cargo.toml, crates/scry-handle/Cargo.toml, crates/scry-host-tests/Cargo.toml, crates/scry-interval/Cargo.toml, crates/scry-mcdc/Cargo.toml, crates/scry-mcp/Cargo.toml, crates/scry-octagon/Cargo.toml, crates/scry-pentagon/Cargo.toml, crates/scry-poly/Cargo.toml, crates/scry-provenance/Cargo.toml, crates/scry-segment/Cargo.toml, crates/scry-taint/Cargo.toml, crates/scry-viz/Cargo.toml, crates/wasm-lattice/Cargo.toml
dependency_bot_commit_share0
How it's scored
45/45Type-checkable codeRust (statically typed)
51.7/55Manageable file sizes2/33 source files over 60KB
Inputs used
primary_languageRust
largest_source_bytes587,960
source_files_sampled33
oversized_source_files2

Key facts

0GitHub stars
1contributors
150commits, last 12 months
0days since last push
50releases
1bus factor
17open issues
crates.iopackage ecosystems

Data collection warnings

  • Could not fetch crates package 'scry-sai-mcp' from its registry
  • Could not fetch crates package 'scry-mcdc' from its registry
  • GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
  • deps.dev does not index crates:scry-sai-viz@3.2.7; advisories assessed against the repository dependency graph instead

More detail

OpenSSF Scorecard 3.8 / 10
3.8aggregate

Independent, tool-agnostic security assessment from the open-source OpenSSF Scorecard. Each check rewards a security practice, not a specific vendor's tool. Checks Scorecard could not determine are marked n/a and excluded from the security score (never counted as zero).Scorecard v5.5.0 · 2026-08-28 12:39 UTC

0Binary-Artifactsbinaries present in source code
3Branch-Protectionbranch protection is not maximal on development and all release branches
10CI-Tests30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
0Code-ReviewFound 0/30 approved changesets -- score normalized to 0
3Contributorsproject has 1 contributing companies or organizations -- score normalized to 3
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
n/aPackagingpackaging workflow not detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTSAST tool is not run on all commits -- score normalized to 0
0Security-Policysecurity policy file not detected
8Signed-Releases5 out of the last 5 releases have a total of 5 signed artifacts.
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
9Vulnerabilities1 existing vulnerabilities detected
Direct dependencies 35
RegistryPackageVersion constraintManifest
crates.ioscry-sai-interval3.2.7crates/scry-analyze-core/Cargo.toml
crates.iowasmparsercrates/scry-analyze-core/Cargo.toml
crates.iosha2crates/scry-analyze-core/Cargo.toml
crates.ioscry-sai-taint3.2.7crates/scry-analyze-core/Cargo.toml
crates.ioscry-sai-provenance3.2.7crates/scry-analyze-core/Cargo.toml
crates.ioscry-sai-octagon3.2.7crates/scry-analyze-core/Cargo.toml
crates.ioscry-sai-bits3.2.7crates/scry-analyze-core/Cargo.toml
crates.ioscry-sai-pentagon3.2.7crates/scry-analyze-core/Cargo.toml
crates.ioscry-sai-float3.2.7crates/scry-analyze-core/Cargo.toml
crates.ioscry-sai-handle3.2.7crates/scry-analyze-core/Cargo.toml
crates.ioscry-sai-segment3.2.7crates/scry-analyze-core/Cargo.toml
crates.ioscry-sai-corecrates/scry-analyzer/Cargo.toml
crates.ioanyhowcrates/scry-host-tests/Cargo.toml
crates.iowasmtimecrates/scry-host-tests/Cargo.toml
crates.iowasmtime-wasicrates/scry-host-tests/Cargo.toml
crates.iowatcrates/scry-host-tests/Cargo.toml
crates.ioserdecrates/scry-host-tests/Cargo.toml
crates.ioserde_jsoncrates/scry-host-tests/Cargo.toml
crates.iojsonschemacrates/scry-host-tests/Cargo.toml
crates.ioscry-sai-provenancecrates/scry-host-tests/Cargo.toml
crates.iowasmparsercrates/scry-host-tests/Cargo.toml
crates.ioscry-sai-taintcrates/scry-host-tests/Cargo.toml
crates.ioscry-sai-octagoncrates/scry-host-tests/Cargo.toml
crates.ioscry-sai-corecrates/scry-mcdc/Cargo.toml
crates.ioscry-sai-core3.2.7crates/scry-mcp/Cargo.toml
crates.ioserde_jsoncrates/scry-mcp/Cargo.toml
crates.iowatcrates/scry-mcp/Cargo.toml
crates.ioscry-sai-interval3.2.7crates/scry-segment/Cargo.toml
crates.ioscry-sai-core3.2.7crates/scry-viz/Cargo.toml
crates.iowatcrates/scry-viz/Cargo.toml
crates.iorustc-demangle0.1crates/scry-viz/Cargo.toml
crates.iocpp_demangle0.5crates/scry-viz/Cargo.toml
crates.iobitflagscrates/wasm-lattice/Cargo.toml
crates.ioscry-sai-taintcrates/wasm-lattice/Cargo.toml
crates.ioscry-sai-octagoncrates/wasm-lattice/Cargo.toml
All dependencies not collected

The resolved dependency set could not be collected for this report: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository

Raw JSON report machine-readable

Feedback

Spotted something off in this report, or have thoughts to share? Wrong measurements, missed tooling, ideas, questions — anything is welcome. Every message is read and gets a response.

The message is kept through sign-in.

Scores are signals, not warranties. They reflect publicly visible practices on GitHub — not a code audit, and not a security guarantee.

Missing data is excluded and weights renormalized, never scored as zero. Methodology is versioned and open: metrics v2.10.0, schema v0.34.0 — full methodology · metrics wiki.

How one result sits in the wider record: aggregate statisticscrates.io.