Public recordAt Risk
Software health reportschema 0.27.0 · metrics 2.3.1 · 2026-08-01 08:21 UTC
olaure01 / yalla
Yet Another deep embedding of Linear Logic in Rocq
olaure01/yalla holds a health index of 25 out of 100, placing it in the At Risk band. It scores highest on Sustainability & Governance (42/100) and lowest on AI Readiness (10/100). It was last updated 109 days ago. A single contributor accounts for most of its recent work.
25
overall / 100Software 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.
25
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)
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 31 is calibrated to 25 on the published index scale (record calibration 2026-08-02).
Ownership
Olivier LaurentPersonal account
19 followers38 public repossince Jul 2017
This repository is owned by a personal account. A single-owner project carries more continuity risk than an organization-backed one.
Metrics by category
Vitality
Is the project alive — is code being written and are releases shipping?
30
Development activity
23At Risk
How it's scored
| 9.9/36 | Push recency — last push 109 days ago |
| 4.2/36 | Commit cadence — 6/52 weeks with commits |
| 8.6/18 | Commit volume — 8 commits in the last year |
| 0/10 | OpenSSF Scorecard: Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
Inputs used
| commits_last_year | 8 |
| human_commit_share | 1 |
| days_since_last_push | 109 |
| active_weeks_last_year | 6 |
Release discipline
40Weak
How it's scored
| 16.2/27 | Ships releases — 7 version tags (no GitHub releases) |
| 7.2/36 | Release recency — latest release 492 days ago |
| 12.6/27 | Release cadence — a release every ~282 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — no data |
Inputs used
| releases_count | 7 |
| latest_release_tag | v2.0.7 |
| releases_from_tags | yes |
| days_since_latest_release | 492 |
| mean_days_between_releases | 282 |
Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.
Community & Adoption
Does the project have users, downloads, attention, and a welcoming setup for contributors?
37
Popularity & adoption
26At Risk
How it's scored
| 19.1/60 | Stars — 16 stars |
| 5/25 | Forks — 5 forks |
| 1.7/15 | Watchers — 3 watchers |
Inputs used
| forks | 5 |
| stars | 16 |
| watchers | 3 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community health
50Moderate
How it's scored
| 22.5/22.5 | README |
| 22.5/22.5 | License — recognized license (LGPL-3.0) |
| 0/18 | CONTRIBUTING guide |
| 0/13.5 | Code of conduct |
| 0/7.2 | Issue template |
| 0/6.3 | PR template |
Inputs used
| has_readme | yes |
| has_license | yes |
| readme_badges | — |
| has_contributing | no |
| has_issue_template | no |
| has_code_of_conduct | no |
| readme_badge_services | — |
| has_pull_request_template | no |
Sustainability & Governance
Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?
42
Maintainer resilience (bus factor)
12Critical
How it's scored
| 9/54 | Bus factor — 1 contributor(s) cover half of all commits |
| 0.5/22.5 | Commit distribution — top contributor authored 98% of commits |
| 2.7/13.5 | Contributor breadth — 2 contributors |
| 0/10 | OpenSSF Scorecard: Contributors — project has 0 contributing companies or organizations -- score normalized to 0 |
Inputs used
| bus_factor | 1 |
| contributors_sampled | 2 |
| top_contributor_share | 0.976 |
How it's scored
| 0/42 | Issue resolution — no issues or no data |
| 30/30 | PR acceptance — 2/2 decided PRs merged |
| 0/13 | Newcomer PR acceptance — no first-time contributor's PR decided in 30d |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
Inputs used
| merged_prs | 2 |
| open_issues | 0 |
| closed_issues | 0 |
| prs_merged_7d | — |
| prs_decided_7d | — |
| prs_merged_30d | — |
| prs_decided_30d | — |
| issue_closed_ratio | — |
| closed_unmerged_prs | 0 |
| first_time_authors_30d | — |
| first_time_prs_merged_30d | — |
| first_time_prs_decided_30d | — |
Excluded from scoring (no data or not applicable): Issue resolution, newcomer_pr_acceptance. Remaining weights renormalized.
Ownership & stewardship
54Moderate
How it's scored
| 10/30 | Ownership backing — personal (user) account |
| 0/20 | Verified domain — not applicable to user accounts |
| 9.4/25 | Owner reach — 19 followers of olaure01 |
| 23.6/25 | Track record — 38 public repos, account ~9 yr old |
Inputs used
| followers | 19 |
| owner_type | User |
| is_verified | — |
| owner_login | olaure01 |
| public_repos | 38 |
| account_age_days | 3,287 |
Excluded from scoring (no data or not applicable): Verified domain. Remaining weights renormalized.
Engineering Quality
Are baseline engineering and documentation practices in place?
21
Engineering practices
1Critical
How it's scored
| 0/24 | CI workflows |
| 0/24 | Tests present |
| 0/16 | Linter config |
| 0/9.6 | Pre-commit hooks |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — no data |
Inputs used
| has_ci | no |
| has_tests | no |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Excluded from scoring (no data or not applicable): OpenSSF Scorecard: CI-Tests. Remaining weights renormalized.
Documentation
50Moderate
How it's scored
| 30/30 | README |
| 0/25 | Documentation directory |
| 0/15 | Documentation / homepage site |
| 10/10 | Repository description |
| 0/10 | Topics |
| 10/10 | Wiki |
Inputs used
| topics | — |
| has_wiki | yes |
| homepage | — |
| has_readme | yes |
| has_docs_dir | no |
| has_description | yes |
Security
Are visible security and supply-chain practices strong, without unresolved high-risk jurisdiction exposure?
26
Security posture
26At Risk
How it's scored
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — branch protection not enabled on development/release branches |
| 0/2.5 | CI-Tests — no data |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
| 0/2.5 | Contributors — project has 0 contributing companies or organizations -- score normalized to 0 |
| 0/10 | Dangerous-Workflow — no data |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | License — license file detected |
| 0/7.5 | Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
| 0/5 | Packaging — no data |
| 0/5 | Pinned-Dependencies — no data |
| 0/5 | SAST — no SAST tool detected |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — no data |
| 0/7.5 | Token-Permissions — no data |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Inputs used
| source | openssf_scorecard |
| checks_evaluated | 12 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 6 |
| scorecard_aggregate | 2.6 |
Excluded from scoring (no data or not applicable): ci_tests, dangerous_workflow, packaging, pinned_dependencies, signed_releases, token_permissions. 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.
10
Agent context & guidance
1Critical
How it's scored
| 0/45 | Agent instructions — no CLAUDE.md / AGENTS.md / editor rules |
| 0/15 | Machine-readable docs (llms.txt) |
| 1.1/40 | Legible commit history — 2 of 100 human commits state their intent (structured subject or explanatory body) |
Inputs used
| has_llms_txt | no |
| legible_history_share | 0.02 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
How it's scored
| 18/18 | One-command bootstrap — microyalla/Makefile, yalla/Makefile |
| 0/22 | Automated tests |
| 0/11 | Lint / format config |
| 0/11 | Static type checking |
| 0/10 | Reproducible environment |
| 0/10 | Demonstrated agent practice — no agent-authored commits among the last 100 |
| 0/8 | Automated maintenance — no automated dependency updates observed |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — no data |
Inputs used
| has_nix | no |
| has_tests | no |
| lockfiles | — |
| has_dockerfile | no |
| typed_language | no |
| bootstrap_files | microyalla/Makefile, yalla/Makefile |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Pinned-Dependencies. Remaining weights renormalized.
Code legibility for models
1Critical
How it's scored
| 0/45 | Type-checkable code — Rocq Prover without a type-check config |
| 0/55 | Manageable file sizes — no source files detected |
Inputs used
| primary_language | Rocq Prover |
| largest_source_bytes | — |
| source_files_sampled | 0 |
| oversized_source_files | 0 |
Excluded from scoring (no data or not applicable): Manageable file sizes. Remaining weights renormalized.
Key facts
16GitHub stars
2contributors
8commits, last 12 months
109days since last push
7releases
1bus factor
0open issues
—package ecosystems
Data collection warnings
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
More detail
Star and fork history 0 ★ / 5 ⇿
0Stars
5Forks
2Releases
When each star and fork was added, collected from GitHub and bucketed by day. Cumulative growth sits directly above the daily additions it is made of, so the two read against each other: steady organic accretion looks nothing like an abrupt, short-lived burst. Where that difference is measurable, it is reported as growth authenticity.
Major 0Minor 0Patch 2
Each point covers 3 days.
OpenSSF Scorecard 2.6 / 10
2.6aggregate
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).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| n/a | CI-Tests | no pull request found |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 0/30 approved changesets -- score normalized to 0 |
| 0 | Contributors | project has 0 contributing companies or organizations -- score normalized to 0 |
| n/a | Dangerous-Workflow | no workflows found |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 0 | Maintained | 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
| n/a | Packaging | packaging workflow not detected |
| n/a | Pinned-Dependencies | no dependencies found |
| 0 | SAST | no SAST tool detected |
| 0 | Security-Policy | security policy file not detected |
| n/a | Signed-Releases | no releases found |
| n/a | Token-Permissions | No tokens found |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
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
{
"data": {
"repo": {
"topics": [],
"is_fork": false,
"size_kb": 3946,
"has_wiki": true,
"homepage": null,
"languages": {
"Makefile": 160,
"Rocq Prover": 947588
},
"pushed_at": "2026-04-13T11:55:23Z",
"created_at": "2018-05-28T21:08:55Z",
"owner_type": "User",
"updated_at": "2026-04-13T12:01:30Z",
"description": "Yet Another deep embedding of Linear Logic in Rocq",
"is_archived": false,
"is_disabled": false,
"license_spdx": "LGPL-3.0",
"default_branch": "master",
"license_spdx_raw": "LGPL-3.0",
"primary_language": "Rocq Prover",
"significant_languages": [
"Rocq Prover"
]
},
"owner": {
"blog": "https://perso.ens-lyon.fr/olivier.laurent/",
"name": "Olivier Laurent",
"type": "User",
"login": "olaure01",
"company": null,
"location": null,
"followers": 19,
"avatar_url": "https://avatars.githubusercontent.com/u/30601497?v=4",
"created_at": "2017-07-31T16:26:53Z",
"is_verified": null,
"public_repos": 38,
"account_age_days": 3287
},
"license": {
"state": "standard",
"spdx_id": "LGPL-3.0",
"raw_spdx": "LGPL-3.0",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v2.0.7",
"kind": "patch",
"published_at": "2025-03-26T08:28:03Z"
},
{
"tag": "v2.0.6",
"kind": "patch",
"published_at": "2024-09-16T12:57:18Z"
},
{
"tag": "v2.0.5",
"kind": "patch",
"published_at": "2024-09-15T21:02:12Z"
},
{
"tag": "v2.0.4",
"kind": "patch",
"published_at": "2023-04-09T06:53:41Z"
},
{
"tag": "v2.0.3",
"kind": "patch",
"published_at": "2022-02-06T20:54:40Z"
},
{
"tag": "v2.0.2",
"kind": "patch",
"published_at": "2021-01-13T11:28:53Z"
},
{
"tag": "v2.0.1",
"kind": "patch",
"published_at": "2020-08-07T10:34:13Z"
}
],
"recent_commits": [
{
"oid": "a138437625f5bb39221cd6171b7dc464e15bbf8b",
"body": null,
"is_bot": false,
"headline": "Merge branch 'working'",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2026-04-13T11:45:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a87aa091fbc73e77435b576366a08a0324ab6b33",
"body": null,
"is_bot": false,
"headline": "update metadata",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2026-04-13T11:36:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d74cbf110dda8571577adcffa19daae7e3a38759",
"body": null,
"is_bot": false,
"headline": "add is_true as coercion",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2026-03-25T08:01:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "388eab55fad7831018be79b09b0b6937a6d4f686",
"body": null,
"is_bot": false,
"headline": "remove use of PermutationT_app_swap",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2026-03-04T12:45:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6786ab1942ad3b4cc0c028f008e6e0bfaaf29072",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2026-02-02T07:06:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "50d52cb8f4ce3367f3ee285d606cc09a15885259",
"body": null,
"is_bot": false,
"headline": "simplify statement of bipos_top_surf",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-11-11T18:09:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "609ec355403bfa3ca111373cb2f8c531d7105735",
"body": null,
"is_bot": false,
"headline": "use LogicNotations",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-11-11T16:39:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fd8940a4d53296f0d502e5c920a418d144ea905e",
"body": null,
"is_bot": false,
"headline": "cleaning sizes defs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-09-29T10:57:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c46617d24c6cc07180ae22547a3c935aa3fba285",
"body": " rename decomp_map into decomp_map_eq\n use list_reflexivity instead of list_simpl; reflexivity\n new list_simpl (one occurrence of old list_esimpl required)\n modified *Permutation*_vs_elt_subst\n no more subst in decomp_elt_eq_elt\n renamings for some autogenerated names\n use decomp_list_eq",
"is_bot": false,
"headline": "adapt to OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-08-25T09:08:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1c53536e0416563d21ffaa0f6a44423c2df75230",
"body": null,
"is_bot": false,
"headline": "cleaning intuitionistic permutation instances",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-05-04T08:02:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65bb14b4d1f6048e4cbb1396d32754af3a245c0b",
"body": null,
"is_bot": false,
"headline": "adapt to OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-05-04T07:01:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "af79733ee5c523201fb1e07933e65774630f0bf3",
"body": " (from OLlibs v2.1.0)",
"is_bot": false,
"headline": "use finite multiset carrier coercion",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-22T11:55:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4c649f9983d23bfe4cff85f7270fb977e7695b9d",
"body": null,
"is_bot": false,
"headline": "standard Lambek Calculus",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-15T08:24:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bff06e28dc4ac8c1a35590a7b627bd51e2d1114d",
"body": null,
"is_bot": false,
"headline": "rename lambek.v into lambek_cart.v",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-15T08:24:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d9e68c4bc1b94fea60ad385a6d897e64ce3908b7",
"body": null,
"is_bot": false,
"headline": "adapt to OLlibs (rename Datatypes_more into Logic_Datatypes_more)",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-08T14:53:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7497e8c0e542331a2bc00bdcf3e517098a572e9e",
"body": null,
"is_bot": false,
"headline": "add AUTHORS",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-07T11:19:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "43ef7da4347b80b115be170eae32047079e69338",
"body": null,
"is_bot": false,
"headline": "towards OLlibs 2.1 (renamings *_inf and *_Type into *T)",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-06T12:53:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c80ef35c65dcd18eae905d65df1206de5cb4666b",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-03-20T17:59:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "88964f7959c2442e415d05b5ea63f23771813776",
"body": null,
"is_bot": false,
"headline": "adapt to Rocq 9.0",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-03-20T11:54:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8c4e56cbe3619d28460a802448bc2892e8ec75cd",
"body": null,
"is_bot": false,
"headline": "more compact _CoqProject using directories",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-03-11T09:34:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "16262231a75f5ed0187f8392a5d33dfb4454e400",
"body": " decomposition of nat_bijective_self\n nil case for decomp_map",
"is_bot": false,
"headline": "adapt to ollibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-03-11T09:34:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "04b4f7e69651509b3cd9619a491b24381c321f84",
"body": null,
"is_bot": false,
"headline": "adapt to ollibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-02-07T07:34:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8dce2c94ddc713c820f6be42d11a46634ad511d5",
"body": null,
"is_bot": false,
"headline": "adapt to modified fmsetlist in ollibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-01-30T21:48:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "607084a37d2e51f0a0833f99e8ad00140fc32d72",
"body": null,
"is_bot": false,
"headline": "use setoid_rewrite for applications of exchange",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-01-24T17:57:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c7dcff4ed1f96f50a23c7ea415c924bb0a0e0920",
"body": " for improved readability",
"is_bot": false,
"headline": "add axext_*pfrag and axmodif_*pfrag",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-01-22T14:05:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8bbbf7170d6ccdbb5562a06549c3f475e55c2826",
"body": " and cleaning",
"is_bot": false,
"headline": "introduce gax_excludes",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-01-20T15:56:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "46a03072ab5bb7937baab0a68091cabc4f181fe7",
"body": null,
"is_bot": false,
"headline": "adapt to OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-01-14T10:00:34Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e1acfea64ec5016b15f2913e619e32302777a1ab",
"body": null,
"is_bot": false,
"headline": "adapt to Coq 8.20",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-15T21:32:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fd0c7e91593af1fad16ec8044fcfba0e73624184",
"body": null,
"is_bot": false,
"headline": "use destr_eq rather than inversion",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-11T10:26:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "508c94f962cc7836ae14e61c3a341e93cc4a5aba",
"body": null,
"is_bot": false,
"headline": "adapt to OLlibs v2.0.6",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-11T08:41:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e39a5cd52e02218dda773c717b57bb9dfd400b54",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-06T07:52:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ee5bdd47fd3d309eed6aeb6280a259e05f4aab2c",
"body": null,
"is_bot": false,
"headline": "strengthening back cut_oc_comm",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-04T09:23:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "196eddda26c12b82dba7c9d9eac65b956e8b9d0e",
"body": null,
"is_bot": false,
"headline": "slightly more constrained llFoc",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-04T09:23:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "aac3b5c3f9a6c14b2eeb7396e87eb0412ff49f31",
"body": "cleaning",
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-04T09:23:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a59d1d0e9dec07b25e91d2b033515283c161ff7d",
"body": "more use of in_inf_eq",
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-08-05T08:28:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7fcaea538bd2fa3c02566ec07c0530cf658da48b",
"body": null,
"is_bot": false,
"headline": "put back cut elimination proof for ll through ill",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-05-10T07:32:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "353bddcf3f2b0a150cebf49910fd946a2dd0c1a4",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-05-09T13:17:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "31e417e5c337fa139e996b7784d7290efe3e2eb6",
"body": null,
"is_bot": false,
"headline": "adapt to renaming in OLlibs (following Coq PR #17027)",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-04-14T10:04:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "01fef789e6ac0a0fe45f5ec598480c1814b85b15",
"body": null,
"is_bot": false,
"headline": "cleaning and update RELEASE_NOTES",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-04-08T10:05:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c63a7895705a34a93cdc40b11a9240041c54017d",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-03-31T09:36:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "75857be35f895477bd40da68acafef5dae89be57",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-03-30T07:44:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c20efa82d8e658634957c39ae81babc20314f8f0",
"body": null,
"is_bot": false,
"headline": "remove ateq and iateq",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-03-26T21:10:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3a714a689bdd4e6abe7069ecdfd0005161a32589",
"body": null,
"is_bot": false,
"headline": "add wn_rev and zero_rev and cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-03-02T15:05:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d5443cc338eee2beb9eec136b3b999cb5a2a6ba7",
"body": null,
"is_bot": false,
"headline": "generalize reversibility statements",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-28T13:04:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "aec320363f5d9f4b2818d5d0e3897150d8647ff9",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-27T16:29:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "493c5fdc3a039c8b14b9bcbac86fd2535a339646",
"body": null,
"is_bot": false,
"headline": "focusing equivalence proof: Andreoli triadic system vs Girard system",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-22T20:52:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "64a947002ef6286ece87e7a2a6ea2e6cd9dc97f0",
"body": null,
"is_bot": false,
"headline": "remove rewrite_all",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-21T16:34:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "20ee067a5d37b40b2b63a628d899bd6dcb72e3cb",
"body": " (adapt to new version of OLlibs)",
"is_bot": false,
"headline": "rename fresh_prop into fresh_spec",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-13T07:55:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "15058985e1c4588ddcf05f37f160d4de43e0a83c",
"body": null,
"is_bot": false,
"headline": "moves to OLlibs and cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-13T07:49:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "34be7c92a80672275335832da3a7eda89dabd434",
"body": null,
"is_bot": false,
"headline": "monotony of substitution",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-19T16:00:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fd8a15933899fc75c03cf0cd9b17c329368f71fc",
"body": null,
"is_bot": false,
"headline": "remove use of Permutation_Type_solve",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-18T22:12:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8abc2dcb2261b74ee23f04b3d4ffe453925bcaf1",
"body": null,
"is_bot": false,
"headline": "generalization of the cutp parameter to formula -> bool",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-15T16:38:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "20226ae0b32f85ddb708699deeb5bfe37647b45e",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-12T17:52:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9b656fa065637c8dfb0d8e5871c12f5b76ee5afe",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-10T16:40:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ec75a7b3d445b434404fa10ab79c72922708d413",
"body": "…roofs",
"is_bot": false,
"headline": "generalize the definition of fragments through predicate applied to p…",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-07T23:17:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4a9b39e343adc98109f50bace06570dc10909ae6",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-06T13:23:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "464fa4a371bc91b6675d1e6bb150a73f62025d18",
"body": null,
"is_bot": false,
"headline": "turn fragment into a property over proofs through Forall_sequent",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-05T13:44:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "18baaa1dc97e70dc058619d974bfd9c85a7629b7",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-05T09:12:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f198d871e386e9869ef475a3def506075c19d9cb",
"body": null,
"is_bot": false,
"headline": "clean uses of intuition tactic",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-12-30T19:07:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a90cc8b5de0e335ee07e00fd36ceb7d381c1eb7f",
"body": null,
"is_bot": false,
"headline": "use [repeat] instead of [map (fun _ => ?) ?]",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-12-23T14:38:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c190fc7bcf8783c1000cfa861167a2d216385f2f",
"body": null,
"is_bot": false,
"headline": "generalize subs to non infinite atom sets",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-11-15T08:38:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e0195f1522a9a57b51e3c62ad315a6b9ccc37cb9",
"body": null,
"is_bot": false,
"headline": "Andreoli's style triadic focusing",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-09-02T14:55:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d66b656a518c0827b2bf9bff3773a7910140e846",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-06-20T20:40:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "816aff0c9ce4b182d5dfcb0d843e6cdfc9a0e92c",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-23T16:41:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "509043f173dbeaa5ec53fac2a2781659325155d3",
"body": null,
"is_bot": false,
"headline": "Simplified hypotheses in cut_oc_comm and substitution_oc",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-15T14:00:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "09428ddf396cc00e8cf8f5ac525d25fc29291099",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-13T07:21:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ad7b59b675490c8af772c1b75bd511c06ec2638a",
"body": null,
"is_bot": false,
"headline": "bnf-style definitions of formulas",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-08T13:07:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "715441958a0c9ce8b25ea46fe32efd425dda8578",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-07T12:22:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "16c9f654003284a6674de1ab2ca40799d4d18825",
"body": null,
"is_bot": false,
"headline": "more Set Implicit Arguments",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-06T17:34:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a1095f0eb3c5bd204911761234029cf5b013fc4a",
"body": null,
"is_bot": false,
"headline": "Atomic cut elimination in ILL",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-06T08:47:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b7c825de6ccd484b86bc4e5d7ee4ac7bd91af55e",
"body": null,
"is_bot": false,
"headline": "use option_eval_default",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-03-28T11:55:43Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5d7d4f24a9280b9ed7c0b857910e51eb4cdb132c",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-03-28T11:55:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9dcb380b7fcf2f353275071e7b60344566dd9bdc",
"body": null,
"is_bot": false,
"headline": "add consistency properties",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-02-20T16:58:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "06d9a8ddf8f75a7d11ebc26ab43ae17a805a2377",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-02-20T16:57:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cc650e570658c08784b8fb6cb79b5a09884db13d",
"body": null,
"is_bot": false,
"headline": "remove use of deprecated arith files",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-02-05T19:12:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "63d80a4bd0229745b1fa8d076719286e8db7918a",
"body": null,
"is_bot": false,
"headline": "turn some #[global] into #[export]",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-02-05T19:11:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "623909fa8a7658bedb00f1d90b828510cefae0bf",
"body": null,
"is_bot": false,
"headline": "use new format for attributes",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-01-05T10:54:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c3f60bc26b1db5d8f8d7ce0526f70e1cecbae0be",
"body": null,
"is_bot": false,
"headline": "Proper with CRelationClasses.arrow rather than Basics.arrow",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-01-05T10:44:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2d0d3eb897cdf4440932c50050762e817bd6e4aa",
"body": null,
"is_bot": false,
"headline": "adapt to ollibs v2.0.2",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-01-03T10:30:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6e9c8fb79f5015396a51e6c5be9fc1b4790eead3",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-12-26T16:23:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "dbc22881520f2d11dea68553aecc726b5c0033c7",
"body": null,
"is_bot": false,
"headline": "add #[local] attribute to Instance",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-12-15T07:07:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "90ed75aee7fe25ceb1721dae3334b08a426c5e2e",
"body": null,
"is_bot": false,
"headline": "introduction of option_test",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-11-25T14:43:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c592fd5c178d4e049de0a48db6ea2790cc99f0b2",
"body": null,
"is_bot": false,
"headline": "remove \"Proof with\" in some files",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-11-22T09:12:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cf978ef9ab028790eb7bd02903a8548ca900b678",
"body": "(may destroy backwards compatibility)",
"is_bot": false,
"headline": "manage implicits through Set Implicit Arguments",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-07-14T18:04:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e18999489767ab8262b250e789e4511492c6f366",
"body": null,
"is_bot": false,
"headline": "more constrained llFoc and direct focusing proof",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-07-11T10:08:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3e193564f4ca5cfdd84a421d37c5abd6c66c05e6",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-07-11T10:04:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "105381e1b80c6081b871057b0473b1ccca4e556f",
"body": null,
"is_bot": false,
"headline": "inline definition of List.map in nanoyalla",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-04-05T17:44:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d257762858d9846e3ddc97c40b2eb4540e48caed",
"body": null,
"is_bot": false,
"headline": "remove myeasy_perm_Type",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-26T07:22:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "40bcfd11d30eedfffbccb404d4b5b9b4612297dc",
"body": null,
"is_bot": false,
"headline": "update version number for OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-26T07:20:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d4bbe27f4cfea6e6c72d2bd78b7ed6c74758232a",
"body": null,
"is_bot": false,
"headline": "use cbn rather than simpl",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-21T11:10:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1b691d9a4142055eb24b4fff02e45d4adcbecae1",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-16T22:00:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "717c9350178e6f45c5bc3d0cd7fb47906fa6a2e0",
"body": null,
"is_bot": false,
"headline": "update with v2.0.2",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-13T11:50:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9a450fdbee4de644d02ef4a093b6515c5f654a58",
"body": null,
"is_bot": false,
"headline": "update to Coq 8.13.0",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-12T22:13:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1841a9ace06bd729c4963693e4b07f092e8092af",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-12-29T08:55:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "10dec030fc55755775060593a66b175670dd422c",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-12-27T09:39:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8817c2882dda4b1875d7677e33c3616a7ef422ce",
"body": null,
"is_bot": false,
"headline": "update with v2.0.1",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-08-07T11:16:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "be06cf3f81031420c9442f35e4772536536d97b8",
"body": null,
"is_bot": false,
"headline": "add installation instructions with external OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-08-07T11:10:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0886a89d41c01645afacd54a9a53aa584788f6ba",
"body": null,
"is_bot": false,
"headline": "atom sets are now parameters",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-07-29T15:37:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3a760fec555db27c68d20d3bc78b41638426beb3",
"body": null,
"is_bot": false,
"headline": "update version number",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-05-23T08:16:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "99cb5f10e94cd5fb36be6bd7eb2cb8df7f5a2441",
"body": null,
"is_bot": false,
"headline": "adapt to external OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-05-19T20:40:09Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 7,
"commits_last_year": 8,
"latest_release_at": "2025-03-26T08:28:03Z",
"latest_release_tag": "v2.0.7",
"releases_from_tags": true,
"days_since_last_push": 109,
"active_weeks_last_year": 6,
"days_since_latest_release": 492,
"mean_days_between_releases": 282
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 42,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": []
},
"popularity": {
"forks": 5,
"stars": 16,
"watchers": 3,
"fork_history": {
"days": [
{
"date": "2018-11-07",
"count": 1
},
{
"date": "2018-12-04",
"count": 1
},
{
"date": "2020-04-24",
"count": 1
},
{
"date": "2021-01-31",
"count": 2
}
],
"complete": true,
"collected": 5,
"total_forks": 5
},
"star_history": null,
"open_issues_and_prs": 0
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [
"microyalla/Makefile",
"yalla/Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [],
"toolchain_manifests": [],
"largest_source_bytes": null,
"source_files_sampled": 0,
"oversized_source_files": 0,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [],
"advisories": {
"error": null,
"scope": null,
"source": null,
"findings": [],
"collected": false,
"malicious": [],
"truncated": false,
"by_severity": {},
"advisory_count": 0,
"affected_count": 0,
"assessed_count": 0,
"malicious_count": 0,
"assessed_package": null,
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [],
"dependencies": [],
"all_dependencies": {
"error": "GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository",
"source": null,
"packages": [],
"collected": false,
"truncated": false,
"total_count": null,
"direct_count": null,
"indirect_count": null
}
},
"maintainership": {
"issues": {
"open_prs": 0,
"merged_prs": 2,
"open_issues": 0,
"closed_ratio": null,
"closed_issues": 0,
"closed_unmerged_prs": 0
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "olaure01",
"commits": 320,
"avatar_url": "https://avatars.githubusercontent.com/u/30601497?v=4"
},
{
"type": "User",
"login": "clucas26e4",
"commits": 8,
"avatar_url": "https://avatars.githubusercontent.com/u/39555907?v=4"
}
],
"contributors_sampled": 2,
"top_contributor_share": 0.976
},
"quality_signals": {
"has_ci": false,
"has_tests": false,
"ci_workflows": [],
"has_docs_dir": false,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": 0,
"reason": "branch protection not enabled on development/release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": null,
"reason": "no pull request found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 0,
"reason": "Found 0/30 approved changesets -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 0,
"reason": "project has 0 contributing companies or organizations -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": null,
"reason": "no workflows found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 0,
"reason": "0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": null,
"reason": "packaging workflow not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": null,
"reason": "no dependencies found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "no SAST tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": null,
"reason": "No tokens found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 10,
"reason": "0 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "a138437625f5bb39221cd6171b7dc464e15bbf8b",
"ran_at": "2026-08-01T08:21:30Z",
"aggregate_score": 2.6,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": null,
"oldest_open_prs": [],
"last_merged_pr_at": "2019-08-16T17:57:05Z",
"ci_last_conclusion": null,
"oldest_open_issues": []
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/olaure01/yalla",
"host": "github.com",
"name": "yalla",
"owner": "olaure01"
},
"metrics": {
"overall": {
"key": "overall",
"band": "at_risk",
"name": "Overall health",
"note": "The weighted overall 31 is calibrated to 25 on the published index scale (record calibration 2026-08-02).",
"notes": [
{
"code": "overall_calibration",
"params": {
"raw": 31,
"calibrated": 25,
"calibration": "2026-08-02"
}
}
],
"value": 25,
"inputs": {
"security": 26,
"vitality": 30,
"community": 37,
"governance": 42,
"calibration": "2026-08-02",
"engineering": 21,
"ai_readiness": 10,
"weighted_overall_raw": 31
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "at_risk",
"name": "Vitality",
"value": 30,
"weight": 0.21,
"metrics": [
{
"key": "development_activity",
"band": "at_risk",
"name": "Development activity",
"note": null,
"notes": [],
"value": 23,
"inputs": {
"commits_last_year": 8,
"human_commit_share": 1,
"days_since_last_push": 109,
"active_weeks_last_year": 6
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 109 days ago",
"points": 9.9,
"status": "partial",
"details": [
{
"code": "push_recency",
"params": {
"days": 109
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "6/52 weeks with commits",
"points": 4.2,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 6
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "8 commits in the last year",
"points": 8.6,
"status": "partial",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 8
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "weak",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 40,
"inputs": {
"releases_count": 7,
"latest_release_tag": "v2.0.7",
"releases_from_tags": true,
"days_since_latest_release": 492,
"mean_days_between_releases": 282
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "7 version tags (no GitHub releases)",
"points": 16.2,
"status": "partial",
"details": [
{
"code": "version_tags_no_releases",
"params": {
"count": 7
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 492 days ago",
"points": 7.2,
"status": "partial",
"details": [
{
"code": "release_recency",
"params": {
"days": 492
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~282 days",
"points": 12.6,
"status": "partial",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 282
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "exceptional",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "maintained",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": null,
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": 111,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "last human commit 111 days ago",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_maintained",
"params": {
"days": 111
}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "weak",
"name": "Community & Adoption",
"value": 37,
"weight": 0.17,
"metrics": [
{
"key": "popularity",
"band": "at_risk",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 26,
"inputs": {
"forks": 5,
"stars": 16,
"watchers": 3,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "16 stars",
"points": 19.1,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 16
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "5 forks",
"points": 5,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 5
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "3 watchers",
"points": 1.7,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 3
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "moderate",
"name": "Community health",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"has_readme": true,
"has_license": true,
"readme_badges": null,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"readme_badge_services": [],
"has_pull_request_template": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (LGPL-3.0)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "LGPL-3.0"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.3
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "weak",
"name": "Sustainability & Governance",
"value": 42,
"weight": 0.23,
"metrics": [
{
"key": "maintainer_resilience",
"band": "critical",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 12,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 2,
"top_contributor_share": 0.976
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 98% of commits",
"points": 0.5,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 98
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "2 contributors",
"points": 2.7,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 2
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 0 contributing companies or organizations -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "good",
"name": "Issue & PR responsiveness",
"note": "Excluded from scoring (no data or not applicable): Issue resolution, Newcomer PR acceptance. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"issue_resolution",
"newcomer_pr_acceptance"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 67,
"inputs": {
"merged_prs": 2,
"open_issues": 0,
"closed_issues": 0,
"prs_merged_7d": null,
"prs_decided_7d": null,
"prs_merged_30d": null,
"prs_decided_30d": null,
"issue_closed_ratio": null,
"closed_unmerged_prs": 0,
"first_time_authors_30d": null,
"first_time_prs_merged_30d": null,
"first_time_prs_decided_30d": null
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "no issues or no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_issues_or_data",
"params": {}
}
],
"max_points": 42
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "2/2 decided PRs merged",
"points": 30,
"status": "met",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 2,
"decided": 2
}
}
],
"max_points": 30
},
{
"key": "newcomer_pr_acceptance",
"name": "Newcomer PR acceptance",
"detail": "no first-time contributor's PR decided in 30d",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_newcomer_prs",
"params": {
"days": 30
}
}
],
"max_points": 13
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 0/30 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": "Excluded from scoring (no data or not applicable): Verified domain. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"verified_domain"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 54,
"inputs": {
"followers": 19,
"owner_type": "User",
"is_verified": null,
"owner_login": "olaure01",
"public_repos": 38,
"account_age_days": 3287
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "personal (user) account",
"points": 10,
"status": "partial",
"details": [
{
"code": "owner_personal",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": "not applicable to user accounts",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_applicable_to_user_accounts",
"params": {}
}
],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "19 followers of olaure01",
"points": 9.4,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 19,
"login": "olaure01"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "38 public repos, account ~9 yr old",
"points": 23.6,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 38
}
},
{
"code": "account_age_years",
"params": {
"years": 9
}
}
],
"max_points": 25
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "at_risk",
"name": "Engineering Quality",
"value": 21,
"weight": 0.19,
"metrics": [
{
"key": "engineering_practices",
"band": "critical",
"name": "Engineering practices",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: CI-Tests. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_ci_tests"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 1,
"inputs": {
"has_ci": false,
"has_tests": false,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "no pull request found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "moderate",
"name": "Documentation",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"topics": [],
"has_wiki": true,
"homepage": null,
"has_readme": true,
"has_docs_dir": false,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "at_risk",
"name": "Security",
"value": 26,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): CI-Tests, Dangerous-Workflow, Packaging, Pinned-Dependencies, Signed-Releases, Token-Permissions. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"ci_tests",
"dangerous_workflow",
"packaging",
"pinned_dependencies",
"signed_releases",
"token_permissions"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 26,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 12,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 6,
"scorecard_aggregate": 2.6
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "branch protection not enabled on development/release branches",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "no pull request found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 0/30 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 0 contributing companies or organizations -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no workflows found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow not detected",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "no dependencies found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "no SAST tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "No tokens found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "0 existing vulnerabilities detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "critical",
"name": "AI Readiness",
"value": 10,
"weight": 0.04,
"metrics": [
{
"key": "ai_agent_context",
"band": "critical",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 1,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.02,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "2 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 1.1,
"status": "partial",
"details": [
{
"code": "legible_history",
"params": {
"legible": 2,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "at_risk",
"name": "Verify loop (build / test / typecheck)",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Pinned-Dependencies. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_pinned_dependencies"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 20,
"inputs": {
"has_nix": false,
"has_tests": false,
"lockfiles": [],
"has_dockerfile": false,
"typed_language": false,
"bootstrap_files": [
"microyalla/Makefile",
"yalla/Makefile"
],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [],
"agent_commit_share": 0,
"toolchain_manifests": [],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "microyalla/Makefile, yalla/Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "microyalla/Makefile, yalla/Makefile"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no agent-authored commits among the last 100",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_authored_commits",
"params": {
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no automated dependency updates observed",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_dependency_automation",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "no dependencies found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "critical",
"name": "Code legibility for models",
"note": "Excluded from scoring (no data or not applicable): Manageable file sizes. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"manageable_file_sizes"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 1,
"inputs": {
"primary_language": "Rocq Prover",
"largest_source_bytes": null,
"source_files_sampled": 0,
"oversized_source_files": 0
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Rocq Prover without a type-check config",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_typecheck_config_language",
"params": {
"language": "Rocq Prover"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "no source files detected",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_source_files",
"params": {}
}
],
"max_points": 55
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? Carries a deliberately small weight: agent tooling is a real maintenance signal, but its absence must never gate the top of the scale (calibration saturates at raw 91, so 100/100 remains reachable with AI Readiness at zero)."
}
],
"classification": {
"labels": [],
"scores": {},
"primary": null,
"evidence": [],
"artifacts": [],
"confidence": "none",
"host_extension": false,
"runs_as_process": false,
"consumed_by_code": false
},
"metrics_version": "2.3.1"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository"
],
"report_type": "repository",
"generated_at": "2026-08-01T08:21:34.370482Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/o/olaure01/yalla.svg",
"full_name": "olaure01/yalla",
"license_state": "standard",
"license_spdx": "LGPL-3.0"
}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.3.1, schema v0.27.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics.