公开记录中等
软件健康报告模式 0.27.0 · 指标 1.13.0 · 2026-07-26 17:52 UTC
seanchatmangpt / bcinr
seanchatmangpt/bcinr 的健康指数为 100 分中的 52 分，处于「中等」区间。 其得分最高的类别是AI Readiness（74/100），最低的是Community & Adoption（22/100）。 最近一次更新在今天。 近期的大部分工作由 1 位贡献者完成。
52
总分 / 100软件健康指数
指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 49（有风险）的上限。AI 就绪度不计入总体分。
52
优秀85-100堪称典范；基本满足所有检验标准
良好70-84健康；仅有轻微不足
中等50-69可接受，但存在明显不足；建议进行审查
存在风险30-49存在重大薄弱环节；采用时应保持审慎
危急1-29问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像
每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
所有权
软件包生态系统
| 注册表 | 软件包 | 版本 | 月下载量 | 版本数 | 最近发布 | 标签 |
|---|---|---|---|---|---|---|
| crates.io | bcinr | 26.7.25 | 1,061 | 5 | 0 天前 | branchlessperformancesimdalgorithmsno-std |
| crates.io | bcinr-core指向其他仓库——不计分 | 26.7.25 | 1,074 | 4 | 0 天前 | branchlessperformancesimdalgorithmsno-std |
按类别列示的指标
活力
项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
71
开发活跃度
71良好
评分方式
| 36/36 | 推送新近度 — 最近一次推送于 0 天前 |
| 6.9/36 | 提交节奏 — 52 周中有 10 周有提交 |
| 18/18 | 提交量 — 最近一年 582 次提交 |
| 10/10 | OpenSSF Scorecard：Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
所用输入
| commits_last_year | 582 |
| human_commit_share | 0.99 |
| days_since_last_push | 0 |
| active_weeks_last_year | 10 |
发布纪律
72良好
评分方式
| 16.2/27 | 有发布版本 — 1 个版本标签（无 GitHub 发布版本） |
| 36/36 | 发布时效 — 最近一次发布版本于 0 天前 |
| 12.6/27 | 发布节奏 — 节奏未知（仅一次发布） |
| 0/10 | OpenSSF Scorecard：Signed-Releases — 无数据 |
所用输入
| releases_count | 1 |
| latest_release_tag | v26.7.25 |
| releases_from_tags | 是 |
| days_since_latest_release | 0 |
| mean_days_between_releases | — |
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。
社区与采用
项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
22
流行度与采用
1危急
评分方式
| 0/60 | 星标 — 1 个星标 |
| 0/25 | 复刻 — 0 个复刻 |
| 0/15 | 关注者 — 0 位关注者 |
所用输入
| forks | 0 |
| stars | 1 |
| watchers | 0 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
社区健康
25危急
评分方式
| 22.5/22.5 | README |
| 0/22.5 | 许可证 — 未检测到许可证文件 |
| 0/18 | CONTRIBUTING 指南 |
| 0/13.5 | 行为准则 |
| 0/7.2 | 议题模板 |
| 0/6.3 | PR 模板 |
所用输入
| has_readme | 是 |
| has_license | 否 |
| has_contributing | 否 |
| has_issue_template | 否 |
| has_code_of_conduct | 否 |
| has_pull_request_template | 否 |
生态采用（下载量）
50中等
评分方式
| 40.3/80 | 月度下载量 — crates 合计每月 1,061 次下载 |
| 0/20 | 注册表被依赖数 — 该生态系统不报告此项 |
所用输入
| packages | bcinr |
| dependents | — |
| ecosystems | crates |
| total_downloads | 3,230 |
| monthly_downloads | 1,061 |
已排除计分（无数据或不适用）：注册表被依赖数。 其余权重已重新归一化。
可持续性与治理
项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
56
维护者韧性（巴士系数）
18危急
评分方式
| 9/54 | 巴士系数 — 1 位贡献者贡献了半数提交 |
| 2.9/22.5 | 提交分布 — 头号贡献者编写了 87% 的提交 |
| 2.7/13.5 | 贡献者广度 — 2 位贡献者 |
| 3/10 | OpenSSF Scorecard：Contributors — project has 1 contributing companies or organizations -- score normalized to 3 |
所用输入
| bus_factor | 1 |
| contributors_sampled | 2 |
| top_contributor_share | 0.873 |
议题与 PR 响应能力
72良好
评分方式
| 0/46.8 | 议题解决 — 没有议题或无数据 |
| 38.2/38.3 | PR 接受 — 已裁定的 PR 中 14/14 已合并 |
| 0/15 | OpenSSF Scorecard：Code-Review — Found 0/14 approved changesets -- score normalized to 0 |
所用输入
| merged_prs | 14 |
| open_issues | 0 |
| closed_issues | 0 |
| issue_closed_ratio | — |
| closed_unmerged_prs | 0 |
已排除计分（无数据或不适用）：议题解决。 其余权重已重新归一化。
所有权与托管责任
52中等
评分方式
| 10/30 | 所有权背书 — 个人（用户）账户 |
| 0/20 | 已验证域名 — 不适用于个人账户 |
| 12.5/25 | 所有者影响力 — seanchatmangpt 有 53 位关注者 |
| 19.2/25 | 既往记录 — 253 个公开仓库，账户约 3 年 |
所用输入
| followers | 53 |
| owner_type | User |
| is_verified | — |
| owner_login | seanchatmangpt |
| public_repos | 253 |
| account_age_days | 1,140 |
已排除计分（无数据或不适用）：已验证域名。 其余权重已重新归一化。
软件包维护
100优秀
评分方式
| 25/25 | 已发布且可解析 — crates 上有 1 个软件包 |
| 35/35 | 发布时效 — 最近一次发布于 0 天前 |
| 20/20 | 版本历史 — 5 个已发布版本 |
| 20/20 | 未被弃用 — 活跃，未被弃用或撤回 |
所用输入
| packages | bcinr |
| ecosystems | crates |
| any_deprecated | 否 |
| min_days_since_publish | 0 |
工程质量
基础的工程与文档实践是否到位？
70
工程实践
74良好
评分方式
| 24/24 | CI 工作流 — 8 个工作流 |
| 24/24 | 存在测试 |
| 0/16 | Linter 配置 |
| 0/9.6 | Pre-commit 钩子 |
| 6.4/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard：CI-Tests — 2 out of 2 merged PRs checked by a CI test -- score normalized to 10 |
所用输入
| has_ci | 是 |
| has_tests | 是 |
| has_editorconfig | 是 |
| has_linter_config | 否 |
| has_precommit_config | 否 |
文档
65中等
评分方式
| 30/30 | README |
| 25/25 | 文档目录 |
| 0/15 | 文档 / 主页站点 |
| 0/10 | 仓库描述 |
| 0/10 | 主题标签 |
| 10/10 | Wiki |
所用输入
| topics | — |
| has_wiki | 是 |
| homepage | — |
| has_readme | 是 |
| has_docs_dir | 是 |
| has_description | 否 |
安全
可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
31
安全态势
31存在风险
评分方式
| 3/7.5 | Binary-Artifacts — binaries present in source code |
| 0/7.5 | Branch-Protection — branch protection not enabled on development/release branches |
| 2.5/2.5 | CI-Tests — 2 out of 2 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 0/14 approved changesets -- score normalized to 0 |
| 0.8/2.5 | Contributors — project has 1 contributing companies or organizations -- score normalized to 3 |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 5/5 | Fuzzing — project is fuzzed |
| 0/2.5 | 许可证 — license file not detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
| 0/5 | Packaging — 无数据 |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — 无数据 |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 39 existing vulnerabilities detected |
所用输入
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 3.1 |
已排除计分（无数据或不适用）：packaging, signed_releases。 其余权重已重新归一化。
AI 就绪度
该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？这是一枚独立的实验性徽章——权重为 0.0，因此单独呈现，不影响总体健康评分。
74
AI 代理上下文与指引
85优秀
评分方式
| 45/45 | 代理指令 — AGENTS.md, CLAUDE.md, GEMINI.md |
| 0/15 | 机器可读文档（llms.txt） |
| 40/40 | 可读的提交历史 — 99 次人类提交中有 97 次说明了意图（结构化标题或解释性正文） |
所用输入
| has_llms_txt | 否 |
| legible_history_share | 0.98 |
| agent_instruction_files | AGENTS.md, CLAUDE.md, GEMINI.md |
| agent_instruction_max_bytes | 31,356 |
评分方式
| 18/18 | 一条命令的引导启动 — Makefile |
| 22/22 | 自动化测试 |
| 0/11 | Lint / 格式化配置 |
| 11/11 | 静态类型检查 — observatory-ui/tsconfig.json, tools/observatory-ui/tsconfig.json, web/tsconfig.json |
| 10/10 | 可复现环境 — lockfile |
| 0/10 | 已体现的代理实践 — 最近 100 次提交中没有代理编写的提交 |
| 0/8 | 自动化维护 — 未观察到自动依赖更新 |
| 0/10 | OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
所用输入
| has_nix | 否 |
| has_tests | 是 |
| lockfiles | Cargo.lock, package-lock.json |
| has_dockerfile | 否 |
| typed_language | 是 |
| bootstrap_files | Makefile |
| has_devcontainer | 否 |
| has_linter_config | 否 |
| typecheck_configs | observatory-ui/tsconfig.json, tools/observatory-ui/tsconfig.json, web/tsconfig.json |
| agent_commit_share | 0 |
| toolchain_manifests | Cargo.toml, bcinr-bench/Cargo.toml, bcinr-core/Cargo.toml, bcinr/Cargo.toml, crates/bcinr-api/Cargo.toml, crates/bcinr-cmca/Cargo.toml, crates/bcinr-ffi/Cargo.toml, crates/bcinr-logic/Cargo.toml, crates/bcinr-mcp/Cargo.toml, crates/bcinr-mfw-ir/Cargo.toml, crates/bcinr-pddl-lsp/Cargo.toml, crates/bcinr-pddl-lsp/tests/fixtures/sean_education_mode/lessons/rust/examples/Cargo.toml, crates/bcinr-pddl/Cargo.toml, crates/bcinr-powl-receipt/Cargo.toml, crates/bcinr-powl/Cargo.toml, crates/encode_unicode_patch/Cargo.toml, fuzz/Cargo.toml, playground/Cargo.toml, tools/bcinr-bench-auditor/Cargo.toml, tools/bcinr-cheat-scanner/Cargo.toml, tools/bcinr-contract-gate/Cargo.toml, tools/bcinr-reporter/Cargo.toml, tools/ggen/Cargo.toml, tools/rust_audit/Cargo.toml |
| dependency_bot_commit_share | 0 |
面向模型的代码可读性
100优秀
评分方式
| 45/45 | 可类型检查的代码 — Rust（静态类型） |
| 54.8/55 | 可控的文件大小 — 采样的 882 个源文件中有 4 个超过 60KB |
所用输入
| primary_language | Rust |
| largest_source_bytes | 176,621 |
| source_files_sampled | 882 |
| oversized_source_files | 4 |
机器可读接口
60中等
评分方式
| 0/40 | API 模式（OpenAPI/GraphQL/proto） |
| 20/20 | MCP 服务器 |
| 40/40 | 可运行示例 — examples |
所用输入
| example_dirs | examples |
| has_mcp_signal | 是 |
| api_schema_files | — |
关键数据
1GitHub 星标
2贡献者
582最近 12 个月提交数
0距最近推送天数
1发布版本数
1巴士系数（bus factor）
0开放议题
crates.io, npm软件包生态系统数
数据采集警告
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- crates package 'bcinr-core' points at a different repository (https://github.com/example/bcinr); excluded from ecosystem scoring
- Could not fetch crates package 'playground' from its registry
- Could not fetch crates package 'bcinr-bench' from its registry
- GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
- deps.dev does not index crates:bcinr@26.7.25; advisories assessed against the repository dependency graph instead
更多细节
OpenSSF Scorecard 3.1 / 10
3.1综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。
| 4 | Binary-Artifacts | binaries present in source code |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| 10 | CI-Tests | 2 out of 2 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 0/14 approved changesets -- score normalized to 0 |
| 3 | Contributors | project has 1 contributing companies or organizations -- score normalized to 3 |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 10 | Fuzzing | project is fuzzed |
| 0 | License | license file not detected |
| 10 | Maintained | 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
| 不适用 | Packaging | packaging workflow not detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| 不适用 | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 39 existing vulnerabilities detected |
直接依赖 38
| 注册表 | 软件包 | 版本约束 | 清单文件 |
|---|---|---|---|
| crates.io | criterion | 0.5 | bcinr-bench/Cargo.toml |
| crates.io | divan | 0.1 | bcinr-bench/Cargo.toml |
| crates.io | bcinr-core | 26.7.25 | bcinr-bench/Cargo.toml |
| crates.io | bcinr-logic | 26.7.25 | bcinr-bench/Cargo.toml |
| crates.io | bcinr-pddl | — | bcinr-bench/Cargo.toml |
| crates.io | bcinr-mcp | — | bcinr-bench/Cargo.toml |
| crates.io | bcinr-mfw-ir | — | bcinr-bench/Cargo.toml |
| crates.io | bcinr-powl | — | bcinr-bench/Cargo.toml |
| crates.io | tokio | 1 | bcinr-bench/Cargo.toml |
| crates.io | serde | 1 | bcinr-bench/Cargo.toml |
| crates.io | serde_json | 1 | bcinr-bench/Cargo.toml |
| crates.io | prettytable-rs | 0.10.0 | bcinr-bench/Cargo.toml |
| crates.io | bcinr-api | 26.7.25 | bcinr-core/Cargo.toml |
| crates.io | bcinr-logic | 26.7.25 | bcinr-core/Cargo.toml |
| crates.io | bcinr-api | 26.7.25 | bcinr/Cargo.toml |
| crates.io | bcinr-core | 26.7.25 | bcinr/Cargo.toml |
| crates.io | bcinr-logic | 26.7.25 | bcinr/Cargo.toml |
| npm | @deck.gl/layers | ^9.3.7 | observatory-ui/package.json |
| npm | @deck.gl/react | ^9.3.7 | observatory-ui/package.json |
| npm | deck.gl | ^9.3.7 | observatory-ui/package.json |
| npm | mapbox-gl | ^3.26.0 | observatory-ui/package.json |
| npm | react | ^19.2.7 | observatory-ui/package.json |
| npm | react-dom | ^19.2.7 | observatory-ui/package.json |
| npm | react-map-gl | ^8.1.1 | observatory-ui/package.json |
| crates.io | bcinr | — | playground/Cargo.toml |
| crates.io | bcinr-logic | — | playground/Cargo.toml |
| crates.io | wasm4pm-compat | 26.6.28 | playground/Cargo.toml |
| crates.io | rayon | 1.10.0 | playground/Cargo.toml |
| crates.io | wgpu | 0.20 | playground/Cargo.toml |
| crates.io | pollster | 0.3 | playground/Cargo.toml |
| crates.io | bytemuck | 1.16 | playground/Cargo.toml |
| crates.io | chess | 3.2.0 | playground/Cargo.toml |
| crates.io | blake3 | 1.8.5 | playground/Cargo.toml |
| crates.io | serde | 1.0.228 | playground/Cargo.toml |
| crates.io | serde_json | 1.0.150 | playground/Cargo.toml |
| npm | next | 15.3.3 | web/package.json |
| npm | react | ^19.0.0 | web/package.json |
| npm | react-dom | ^19.0.0 | web/package.json |
全部依赖 未采集
本报告未能采集到解析后的依赖集合：GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
原始 JSON 报告 机器可读
{
"data": {
"repo": {
"topics": [],
"is_fork": false,
"size_kb": 21832,
"has_wiki": true,
"homepage": null,
"languages": {
"CSS": 8161,
"TeX": 128172,
"HTML": 732,
"Lean": 5421,
"Rust": 6538878,
"WGSL": 2476,
"Shell": 21875,
"Python": 581099,
"Assembly": 3029,
"Makefile": 390,
"TypeScript": 52917,
"RenderScript": 3
},
"pushed_at": "2026-07-26T17:43:02Z",
"created_at": "2026-04-17T18:17:27Z",
"owner_type": "User",
"updated_at": "2026-07-26T17:43:08Z",
"description": null,
"is_archived": false,
"is_disabled": false,
"license_spdx": null,
"default_branch": "main",
"license_spdx_raw": null,
"primary_language": "Rust",
"significant_languages": [
"Rust"
]
},
"owner": {
"blog": null,
"name": "Sean Chatman",
"type": "User",
"login": "seanchatmangpt",
"company": null,
"location": null,
"followers": 53,
"avatar_url": "https://avatars.githubusercontent.com/u/136349053?v=4",
"created_at": "2023-06-12T14:16:51Z",
"is_verified": null,
"public_repos": 253,
"account_age_days": 1140
},
"license": {
"state": "absent",
"spdx_id": null,
"raw_spdx": null,
"file_present": false,
"scorecard_found": false,
"profile_has_license": false
},
"activity": {
"releases": [
{
"tag": "v26.7.25",
"kind": "patch",
"published_at": "2026-07-26T04:33:58Z"
}
],
"recent_commits": [
{
"oid": "fb9321d27882169acc83aaca0639b319cd3b7900",
"body": "Implements complete BCINR v26.7.26 PRD/ARD via 37-agent workflow:\n\nPhase 1 - Temporal Core:\n - Thread TimeSpecifier through eval_condition for continuous OverAll checks\n - Add deadline fields + canonical LogicalTime type\n - 116 tests ALIVE\n\nPhase 2 - Resource Intervals:\n - Build interval-aware r\n[…]\nest files, 2 bench files, 1 FFI crate, scripts + docs\n - All 7 phases report ALIVE/PARTIAL_ALIVE; trivial clippy fixes applied\n\nClaude-Session: https://claude.ai/code/session_01J2ygTep3JXgHGuZJKu78RB",
"is_bot": false,
"headline": "feat(v26.7.26): implement all 7 phases of temporal swarm execution",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T17:42:56Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "5a5590442a07031afbea702ab8899c87ea07c788",
"body": "- Remove unnecessary u32 casts on LogicalTime values (ocel.rs:898)\n LogicalTime is defined as u32; casting to u32 is redundant\n- Replace or_insert_with(BTreeMap::new) with or_default() (scheduler.rs:206)\n- Replace or_insert_with(Vec::new) with or_default() (scheduler.rs:208)\n\nAll clippy violations \n[…]\nss with -D warnings flag across bcinr-pddl,\nbcinr-powl, and bcinr-ffi crates. All 7 phases of v26.7.26 now report\nALIVE status.\n\nClaude-Session: https://claude.ai/code/session_01J2ygTep3JXgHGuZJKu78RB",
"is_bot": false,
"headline": "fix(bcinr-powl): clippy violations in ocel.rs and scheduler.rs",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T17:42:44Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "5018a2289938727419e2522bd41bbdca949d7a33",
"body": "Published to crates.io:\n- bcinr-logic v26.7.25\n- bcinr-api v26.7.25\n- bcinr-core v26.7.25\n- bcinr v26.7.25\n\nAll 4 gates ALIVE:\n✅ Gate #1 (Build & Test): 261 tests pass, 100% mutant kills\n✅ Gate #2 (Hot Path Audit): CMCA CC=1 branchless, POWL refactored\n✅ Gate #3 (Publish): All crates published to crates.io\n✅ Gate #4 (Release Automation TDD): 43 Chicago TDD tests pass\n\nReady to ship. 🚀",
"is_bot": false,
"headline": "docs: v26.7.25 release summary (SHIPPED)",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T04:33:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a6dd9eb7f5f057c3f509f8ef96c1d90f34453d1f",
"body": "Formatting fixes from PRs #15 and #16 integration.",
"is_bot": false,
"headline": "style: format code after PR #15 & #16 merge",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T04:32:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3f6945956c59be89852700bd48d7a944caf44a31",
"body": "POWL enhancements:\n- Add 64-bit op_trace field (preserves operation 63)\n- Validate predecessor order, XOR choice branches, unknown operations\n- Typed refusals: EventAfterSeal, DuplicateSeal, MissingSeal, UnknownOperation\n- OcelTraceReceipt: BLAKE3 digest + owned log for replay verification\n\nChicago \n[…]\nd receipts cannot reuse certificate\n4. Invalid allocator certificate is typed non-mutating\n5. Insufficient dwell is typed non-mutating\n\nManufacturing run 30187395699: all verifications passed (ALIVE).",
"is_bot": false,
"headline": "fix(powl,cmca): close Chicago TDD conformance and JTBD gaps",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T04:31:26Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "b5dfac8457d975fa9ada625533eeda7c486f29ce",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' of https://github.com/seanchatmangpt/bcinr",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T04:30:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0b518b57d62abfa20b1d5dbc059c4c6a48e598ca",
"body": "Repair post-integration workspace verification and finalize CI\n\n- Isolate CMCA mutant tests (11 matrix jobs, no composition effects)\n- Guard production doctests against hostile-mutant features\n- Harden MCP stdio transport (strict JSON-RPC, reject malformed input)\n- Fix E2E test assumptions (typed fa\n[…]\npt tracking\n- Remove temporary repair machinery from PR #13/14\n\nAll source code fixes verified; CI workflows updated for isolated testing.\nMutant tests now run in parallel without composition effects.",
"is_bot": false,
"headline": "Repair post-integration workspace verification and finalize CI (#15)",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T04:30:08Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "04670baf1d77a309e048419b63540ff2a0326732",
"body": "Complete explanation of CMCA (Cascade Multifractal Cascade Allocation):\n\n6 Levels of Understanding:\n1. ELI5: Homework chooser robot that picks tasks, adapts strategies, proves correctness\n2. Beginner: Allocation algorithm with stable mode-switching, receipts, O(1) execution\n3. Intermediate: Discrete\n[…]\nc violations\n- Authority chain policy violations\n- Numeric bounds violations\n\nIf ANY claim fails, falsification tests catch it.\n\nClaude-Session: https://claude.ai/code/session_01J2ygTep3JXgHGuZJKu78RB",
"is_bot": false,
"headline": "docs(cmca): comprehensive guide from ELI5 to PhD",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T04:17:51Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "3394cb02a7fe44a5f02b52b3b3ec8a2eeb75d4e3",
"body": "Adversarial probe suite designed to DISPROVE CMCA correctness claims:\n\n1. Q16.16 Fixed-Point Precision\n - Test saturation boundaries (MAX + 1 must saturate)\n - Test division precision (1/3 * 3 ≈ 1)\n - Test distributive law ((a+b)*c ≈ a*c + b*c)\n\n2. Branchless Execution\n - Verify constant-tim\n[…]\n divergence\n\nIf ANY test fails, the corresponding claim is FALSIFIED.\nThese tests serve as formal specification of correctness.\n\nClaude-Session: https://claude.ai/code/session_01J2ygTep3JXgHGuZJKu78RB",
"is_bot": false,
"headline": "test(cmca): add falsification adversarial test suite",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T04:15:41Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "4286363c0e204f08d4f7417815f298e497744e8e",
"body": null,
"is_bot": false,
"headline": "fix(powl,cmca): publish rebased Chicago closure",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T04:11:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6a90f202f429c0c9c51790ca38945c563d2a23b6",
"body": "Priority 1 - POWL scheduler branchless (Gate #2):\n- Refactor scheduler_v2.rs to consolidate empty checks\n- Combine 'ready_mask == 0 || fired == 0' into single condition\n- Reduces cyclomatic complexity by combining two branches\n- Lines 73, 78, 87 now streamlined to essential checks only\n\nPriority 3 -\n[…]\nish)\n- Gate #4 (Release Automation TDD): COMPLETE ✅\n\nNext: Publish bcinr-logic and bcinr-api v26.7.25 to crates.io (Priority 2)\n\nClaude-Session: https://claude.ai/code/session_01J2ygTep3JXgHGuZJKu78RB",
"is_bot": false,
"headline": "fix(v26.7.25): resolve all 4-gate workflow blockers",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T04:05:02Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "a01a780b786b782ddf36a72e1a055a1524d0bcdc",
"body": null,
"is_bot": false,
"headline": "ci: split exhaustive CMCA mutant matrix",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:49:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "15c54f6dd65dc76010bb429b81175fa60d6bb890",
"body": null,
"is_bot": false,
"headline": "ci: restore permanent PR and Linux rails",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:48:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "52c6f65a0df2f39027fa96079db14d12befa5bd3",
"body": null,
"is_bot": true,
"headline": "fix: close post-integration source verification defects",
"author_name": "OpenAI Repair Agent",
"author_login": "github-actions[bot]",
"committed_at": "2026-07-26T03:47:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f9c869ccca499a7e9d9c8980c5d9c6825ecd4d68",
"body": null,
"is_bot": false,
"headline": "fix: publish verified source separately from workflow restoration",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:46:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "acea1122acca39fd55c8be02df74c95e02e2109d",
"body": null,
"is_bot": false,
"headline": "ci: export verified final commit for connector publication",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:44:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "30f6c901b04900321cd6d4c06d2c62da209a3b5a",
"body": null,
"is_bot": false,
"headline": "fix: exclude publication diagnostics from final tree",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:44:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0633711e60704a8dcad1313bd7c4f67ca526c0f0",
"body": null,
"is_bot": false,
"headline": "ci: retain final publication diagnostics",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:42:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a10af2630f76f4361d981c6e092b956c49b29a27",
"body": null,
"is_bot": false,
"headline": "ci: publish verified post-integration source tree",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:41:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2e2df2dc1a60b26f9892080e59ebf505b2e4364e",
"body": null,
"is_bot": false,
"headline": "fix: make final publication cleanup idempotent",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:40:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bfe32a0eee9a215eb1acc4d9587ed7db100ece0e",
"body": null,
"is_bot": false,
"headline": "fix: preserve Rust newline escapes in MCP transport repair",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:28:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a6c2176d4f58fc6a15baa48572a9221bdc784160",
"body": null,
"is_bot": false,
"headline": "ci: retain rustfmt parser diagnostics during repair",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:26:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e52af8ff674b59a9148777a43d61e506d5528e73",
"body": null,
"is_bot": false,
"headline": "ci: publish only the permanent repaired tree",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:22:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9e1add322d58023f2db9ee99e4d6d87657a3b8cd",
"body": null,
"is_bot": false,
"headline": "ci: materialize strict MCP repair before verification",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:22:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9f14e7cc59c47f116365bb741de0c350b91d855b",
"body": null,
"is_bot": false,
"headline": "fix: add strict MCP stdio parse-error transport",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:22:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "14f2e01034d14884db565501b5b5fe5420993cf7",
"body": "…sion bump\n\n- Fix formatting in test files from workflow output\n- Remove unused imports from bcinr-pddl mutant_kill_g4 test\n- Update all Cargo.toml versions 26.4.22 → 26.7.25\n- Gate G0: source formatting pass, build clean\n- Gate G0 prerequisite: v26.7.24 verification script passes (PDDL_TO_POWL_V26_7_24=ALIVE)\n\nhttps://claude.ai/code/session_01J2ygTep3JXgHGuZJKu78RB",
"is_bot": false,
"headline": "build(release): v26.7.25 — fix formatting, remove unused imports, ver…",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T03:07:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ce994f25133b4074b6dcb668bd4aeb6ad2677ea5",
"body": "Comprehensive validation suite for React file-tree technical interview:\n\nCore validation results:\n- 17/17 unit tests PASS (exceeds 10-test requirement)\n- OCEL 2.0 structure validated: 8 event types, 9 object types, 18 events, 18 objects\n- Receipt generation verified: BLAKE3/SHA256 deterministic hash\n[…]\nhes differ on any modification)\n\nDeterministic replay: test_10 verifies [2,3,6,1] replay consistency\n\nDocumentation: COMMAND_TRANSCRIPT.md (452 lines) captures full validation report.\n\nStatus: ALIVE ✓",
"is_bot": false,
"headline": "test(powl): React interview CMCA Chicago TDD — 17/17 ALIVE",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:49:43Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "ad0aa2408f0af28fd35e4624826abb2eeca6a55f",
"body": "Extended OCEL (Object-Centric Event Log) for interview domain (test-local):\n\n- REACT_INTERVIEW_CHICAGO_JTBD.md: Complete OCEL domain model for technical\n interviews, including ObjectTypes (InterviewRun, Candidate, Question,\n InterviewObservation, Selection, PolicyState, ExecutionAction, Receipt) a\n[…]\nogs validated for JSON correctness. No dangling references.\nPolicy rules (Prolog8) included for eligibility and advancement decisions.\nAudit trail complete with BLAKE3 chaining per bcinr-powl-receipt.",
"is_bot": false,
"headline": "docs(powl): React interview JTBD documentation + OCEL evidence",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:45:03Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "4717a5b2ad52242fe9e62c9a1e81b62c70c58829",
"body": null,
"is_bot": false,
"headline": "ci: isolate bounded malformed JSON transport test",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:43:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "27e7ced6eafbd64cf61caf9791d1b28fc7a1aa06",
"body": null,
"is_bot": false,
"headline": "test: bound and newline-frame malformed JSON transport probe",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:43:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b5a70c79503f63dec84fc182bc7e2f13786a05da",
"body": "Implement comprehensive test suite for CMCA AutoSelect POWL evaluation:\n\nTest 7 (q-lenses): Same frontier with all 4 lenses selecting different lawful snippets\n - Coverage lens selects candidate 2 (tree model)\n - Exploitation lens selects candidate 2 (inefficiency)\n - Rare lens selects candidate \n[…]\nion() / replay_log()\n\nReal CMCA/AutoSelect/POWL infrastructure: uses actual interview harness, candidate registry,\nobservation dispatcher, and policy gates throughout.\n\nAll 17 tests pass; no warnings.",
"is_bot": false,
"headline": "test(powl): JTBD tests 7-10 — q-lenses, authority, rare, replay",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:40:29Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "b6ef6344b6baaa4b7a8dfb0179d3f9306055d016",
"body": "• JTBD-04: Refuse hostile candidate (array-index React key)\n - Verifies admitted_mask correctly excludes unsafe keys\n - Ensures stable candidate (index 5) is selected instead\n - Receipt conformance check via chicago-tdd-tools\n\n• JTBD-05: Selection stability with dwell\n - Single event produces no\n[…]\nNon-empty, deterministic receipt with tamper evidence\n - OCEL 2.0 JSON validation on sealed run\n\nAll 7 tests pass (4 prior + 3 new JTBD tests).\nCompile check: OK. Feature: std. No warnings or errors.",
"is_bot": false,
"headline": "test(powl): JTBD tests 4-6 — refusal, stability, end-to-end",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:37:21Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "a4c9e07ebd12b263ecad4dfbedbb33d6d33c31dc",
"body": "Test 1: Coverage lens selects tree model (candidate 2/nested_tree) before rendering,\nensuring model assessment precedes UI questions.\n\nTest 2: Exploitation lens finds algorithmic inefficiency (CandidateUsesRepeatedArraySearch\nin candidate 2), with hostile mutant check that timing_score is NOT ignore\n[…]\nhase\n- Exploitation lens targets observed inefficiencies\n- Coverage marks prevent re-selection of assessed candidates\n\nVerified: 13/13 tests pass (10 existing + 3 new JTBD), 0 warnings, clean compile.",
"is_bot": false,
"headline": "test(powl): JTBD tests 1-3 — sequencing, efficiency, coverage",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:36:34Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "dbc401af64858cf0df3c0df6ffca0706a1ceda88",
"body": "Add interview harness for React file-tree technical assessment:\n- InterviewObservation enum (11 variants) captures candidate behavior signals\n- observe() dispatcher detects patterns in code: flat arrays, nested structures,\n repeated searches vs indexed access, React rendering, conflict handling\n- C\n[…]\ns, lens-based\n filtering for targeted evaluation\n- 10 test cases covering registry population, observation detection, lens\n switching, and filtering\n\nAll tests passing (10/10). Zero-warning compile.",
"is_bot": false,
"headline": "test(powl): react file-tree interview CMCA Chicago test file + fixtures",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:34:20Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "12c5ac6bed60cd8a79bd524a1fc473742888c095",
"body": "Gate G9 — Terminal Release verification complete and ALIVE.\n\nArtifacts:\n✓ cargo publish --dry-run: Exit code 0, package ready\n✓ All 7 mandatory artifacts present and verified\n✓ Full transcript captured in publish-dry-run.transcript\n✓ 3 root causes identified and minimally fixed\n\nIssues resolved:\n1. \n[…]\nACT.md and HOARE_TRIPLES.md (created at root)\n3. Cargo include path resolution (removed unreliable directive)\n\nPackage bcinr-core v26.4.22 is ready for publication to crates.io.\n\nGate G9 Status: ALIVE",
"is_bot": false,
"headline": "chore(gate-g9): Capture terminal release verification results",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:06:31Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "e04989a67f877025cf6d08dae805e45944b9af24",
"body": null,
"is_bot": false,
"headline": "test: isolate handcrafted mutant wrappers from crate mutants",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:06:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "19506ed62d8eb3b83fccbed0327dba6f0acb4fd8",
"body": "The include field with relative paths outside package directory does not work\nreliably with Cargo's packaging system. Mandatory release artifacts are verified\nto exist in the repository (see verify-artifacts.sh output).\n\nGate G9 — Terminal Release: Step 3 (Cargo config cleanup)",
"is_bot": false,
"headline": "fix(gate-g9): Remove include field from Cargo.toml",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:05:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7911e667aa5a573e7b3c62b1ee1d4d9f587f3039",
"body": "- CONTRACT.md: Consolidated formal contracts (PDDL, POWL, CMCA)\n- HOARE_TRIPLES.md: Root reference to formal Hoare logic verification\n- Updated bcinr-core Cargo.toml to include all mandatory artifacts in publish\n\nArtifacts included:\n✓ CONTRACT.md\n✓ HOARE_TRIPLES.md\n✓ ORACLE_INDEPENDENCE.md (docs/gates/)\n✓ MUTANT_KILL_MATRIX.md\n✓ OBJECT_CODE_AUDIT.md\n✓ COMMAND_TRANSCRIPT.md\n✓ RELEASE_NOTES.md (release ledger)\n\nGate G9 — Terminal Release: Step 2 (artifact packaging)",
"is_bot": false,
"headline": "feat(gate-g9): Add mandatory release artifacts to package",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:05:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "de624cad2c9e8d87a04297d6b92b739567cfe81e",
"body": "…ompatibility\n\nResolves version mismatch in cargo publish --dry-run verification. Internal\ndependencies now use versions available on crates.io (26.4.22) rather than\nunreleased 26.7.25, enabling successful publish-dry-run validation.\n\nGate G9 — Terminal Release: Step 1 (version synchronization)",
"is_bot": false,
"headline": "fix(gate-g9): Synchronize package versions to 26.4.22 for crates.io c…",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:03:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6a3f2b38f225c14b5ca1be2da15772c35ea7b036",
"body": "Scope coverage:\n- Git history: no destructive rewrites (594 commits, clean reflog)\n- Auto-generated files: Cargo.lock tracked and properly maintained\n- Test integrity: no deletions, 3 #[ignore] properly documented, 408 assertions stable\n- Lint suppressions: all 44 suppressions justified with scope/c\n[…]\n use in testing)\n- Documented API-invariant suppressions in parse.rs\n- Error type doc suppressions (standard practice)\n\nAll four jurisdictions pass. Repository integrity confirmed.\n\nGate status: ALIVE",
"is_bot": false,
"headline": "gate(G7): Repository Integrity Verification ALIVE",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:03:38Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "4448af0461e82e88d96a8d89745de50ffd62f587",
"body": null,
"is_bot": false,
"headline": "ci: isolate exact mutant 9 refusal",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:03:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "297e134f5f68b3827283cdfdb34d481665732a8f",
"body": "Gate G8 certifies all gates G0–G7 and produces the authoritative release ledger.\n\nLedger entries (one per gate):\n- G0: Build Integrity — ALIVE (all crates compile, zero warnings)\n- G1: Hoare-Logic Contracts — ALIVE (formal proofs for PDDL, POWL, CMCA)\n- G2: Branchless Numeric Audit — ALIVE (CC=1, no\n[…]\ndence files linked in ledger. No forbidden phrases used. Ready for integration.\n\nFile: docs/cmca-rdf/V26_7_25_RELEASE_LEDGER.md\n\nClaude-Session: https://claude.ai/code/session_01J2ygTep3JXgHGuZJKu78RB",
"is_bot": false,
"headline": "gate(G8): Release Ledger — composite standing ALIVE",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:03:22Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "42bf78e076ee4983ab474dc46a313108fe194243",
"body": "Implement Gate G4: inject 9 controlled mutations (3 per subsystem),\nverify all killed by oracles, document in MUTANT_KILL_MATRIX.md.\n\nPDDL: 5 mutations (grounding off-by-one, precedence flip, search depth+1,\naction resolution shift, concurrent grounding interference)\n→ Killed by deterministic replay\n[…]\n\nTotal: 17 tests, 9 mutations, 9 killed → 100% kill rate\n\nAll oracles verified robust against hostile counterfactual mutations.\n\nClaude-Session: https://claude.ai/code/session_01J2ygTep3JXgHGuZJKu78RB",
"is_bot": false,
"headline": "feat(gate-g4): Mutant Kill Protocol — 100% oracle coverage",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:01:40Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "afe2355f1b91fe542d14f6bfa066cbeb4b227092",
"body": null,
"is_bot": false,
"headline": "G6 ALIVE",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:01:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9effd95724bb67ec195b63c1d4808a6586ffde4b",
"body": "…rministic receipt replay verified\n\nGate G5 Integration Verification:\n ✓ PDDL domain parsing: 5 domains (fulfillment, choice, sequential, delivery, resource)\n ✓ Plan generation: Concurrent STRIPS execution verified\n ✓ POWL v2 compilation: Deterministic tape generation\n ✓ Receipt generation: BLAK\n[…]\nle projections, exploration floor η)\n - Standing vocabulary and admission gates\n - Recommendations for downstream integration\n\nClaude-Session: https://claude.ai/code/session_01J2ygTep3JXgHGuZJKu78RB",
"is_bot": false,
"headline": "gate(g5): integration verification complete — 11/11 tests ALIVE, dete…",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:01:04Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "6888e33c71d5ef803faacfeedb19141860e44619",
"body": null,
"is_bot": false,
"headline": "test: repair isolated mutant 7 witness",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:00:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9dca6f9caa2d9b36805fb02db24ec210277fe038",
"body": "Establish independent oracle design for three critical subsystems:\n1. PDDL classical planner oracle (canonical_ipc.rs): IPC benchmark\n conformance, deterministic receipts, type filtering verification.\n2. POWL deterministic scheduler oracle (scheduler_v2.rs): tick-level\n state equivalence, concur\n[…]\nprinciples, reference implementations, test\nharnesses, equivalence proofs, and independence certificate.\n\nGate G3 Status: ALIVE\n\nClaude-Session: https://claude.ai/code/session_01J2ygTep3JXgHGuZJKu78RB",
"is_bot": false,
"headline": "gate(G3): Oracle independence verification — PDDL, POWL, CMCA",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T02:00:00Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "c2d75f50b55d58eea1a95fa4c3ea2627fe05fe95",
"body": null,
"is_bot": false,
"headline": "ci: isolate exact mutant 7 refusal",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:57:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d996b1e6fd8ad5a9f71b9c246a0be44e764da424",
"body": "Adds formal Hoare-logic verification artifacts for all three subsystems:\n\n1. PDDL_CONTRACT.md\n - Preconditions: S-expression syntax, well-typed domains/problems\n - Postconditions: deterministic parsing, sound grounding, complete planning\n - Invariants: type safety, precondition closure, effect\n[…]\nsals. No conjectures; all theorems proven via Hoare logic or structural\ninduction. Tests in crates/bcinr-{pddl,powl,cmca}/tests/ verify theorems.\n\nVersion: 26.7.17-c2 | Status: ALIVE (G1 gate cleared)",
"is_bot": false,
"headline": "docs(contracts): add Gate G1 Hoare contracts for PDDL, POWL, CMCA",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:57:20Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "e523cb50517294342281eba3d1af7d75afe50e48",
"body": "Gate G2 verification complete:\n\n1. SOURCE AUDIT: All 13 public functions in bcinr_cmca::allocator have CC=1\n - wrap_result, const_select_u32, const_lt_u32, const_eq_u32, const_select_bool\n - allocate (522-line hot path), plus 7 marker struct constructors\n - Zero if/match/for/while/loop keyword\n[…]\nanchless, constant-time\n\nCommit: SOURCE_AUDIT.md documents all functions, references OBJECT_CODE_AUDIT.md,\nand confirms Radon Law compliance (CC=1, no panics, no allocations).\n\nGate G2 status: ✅ ALIVE",
"is_bot": false,
"headline": "gate(G2): Branchless Numeric (CMCA) source audit — CC=1 ALIVE",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:55:23Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "63091ec87d5cfba2e1aeacbd4adba8f0c575558d",
"body": "Verification results:\n- cargo build --release: PASS (1.11s)\n- RUSTFLAGS=-D warnings cargo check: PASS (0.64s, zero warnings)\n- cargo fmt --all -- --check: PASS (<0.1s)\n- cargo clippy --all -- -D warnings: PASS (2.02s)\n\nFix applied:\n- Add #[allow(dead_code)] to feature-gated functions in\n crates/bci\n[…]\nacts: All 7 crates pass (bcinr-logic, bcinr-api, bcinr-cmca,\nbcinr-core, bcinr-mcp, bcinr-bench, playground)\n\nTranscript: COMMAND_TRANSCRIPT.md\n\nGate G0 ALIVE. Ready for integration testing (Gate G1).",
"is_bot": false,
"headline": "gate(G0): Build integrity audit ALIVE",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:55:22Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "26d9ede8231456d223e1d979bc79dcb23230bf45",
"body": null,
"is_bot": false,
"headline": "test: scope production CMCA doctest outside hostile features",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:53:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac3d931adc118eecb9e67afa47b7146fe0705d50",
"body": "…ddressed\n\nVerification Result:\n- PDDL_TO_POWL_V26_7_24=ALIVE (all 10 gates pass)\n- 10 subsystems verified and integrated\n\nConflicts Resolved:\n\n1. CMCA Shared Runtime Files — Reconcile with PDDL/POWL Law\n - Main version authoritative for allocator/fixed/observatory\n - Recovery extensions (new re\n[…]\nt fence)\n- docs/integration/SEMANTIC_INTEGRATION_RESOLUTION_v26.7.24.md — detailed resolution\n\nProduction Impact: Zero. Main behavior unchanged, all gates pass.\n\nClaude-Session: https://claude.ai/code",
"is_bot": false,
"headline": "docs(integration): semantic resolution for v26.7.24 — 4/4 conflicts a…",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:52:44Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "744c94a8ca687c33432e73eb1b60992d852a043b",
"body": null,
"is_bot": false,
"headline": "ci: isolate exact CMCA all-features refusal",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:51:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3191daa8b85fce7ccb2b4268685a016d35b756c7",
"body": "Performed arm64 disassembly audit on release-mode bcinr-cmca allocator:\n\nVerification Results (5000+ instruction sample):\n- Zero conditional branches (0/5000): b.eq, b.ne, b.lt, b.hi all absent ✓\n- Branchless conditionals (467 total): 232 csel + 235 cset instructions ✓\n- Saturation arithmetic: All b\n[…]\nityRefusal> enum return)\n\nDocument: OBJECT_CODE_AUDIT.md contains full disassembly evidence,\narm64 instruction patterns, and compliance metrics.\n\nClaude-Session: https://claude.ai/code/session_current",
"is_bot": false,
"headline": "audit(cmca): object-code disassembly verification for v26.7.17 hot path",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:49:10Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "dabe37ef41eab719cc667f3efb0755cf350b26a1",
"body": "Update Cargo.toml versions from 26.6.24/26.6.26/26.7.24 → 26.7.25:\n- Core crates: bcinr, bcinr-core, bcinr-logic, bcinr-api, bcinr-cmca\n- Planning crates: bcinr-pddl, bcinr-powl, bcinr-powl-receipt\n- IR crate: bcinr-mfw-ir, bcinr-pddl-lsp\n- Benchmarks & tools: bcinr-bench, auditor, scanner, gate, re\n[…]\nres\n- MSRV 1.70 ensures stable 1.70+ compatibility (6mo LTS baseline)\n- Document decision in docs/TOOLCHAIN_DECISION_26_7_25.md\n\nUpdate CLAUDE.md metadata (version, last-updated date, toolchain note).",
"is_bot": false,
"headline": "chore(versions): bump to 26.7.25 across all crates",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:47:45Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "5588f3185f74fbb59db5e29c2f51c7d7382c9a61",
"body": null,
"is_bot": false,
"headline": "fix: remove legacy dummy-success LSP helper",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:47:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6dcf4de50416106f1a5cfa243ae85a5139b18c32",
"body": "… err_list.txt, scratch.patch)\n\nRemove leftover build and patch artifacts from G1 recovery work:\n- crates/bcinr-cmca/src/allocator.rs.orig (backup file)\n- crates/bcinr-cmca/err_list.txt (error log)\n- scratch.patch (absolute-path patch)\n\nWorking tree now clean for v26.7.17-c2 milestone.",
"is_bot": false,
"headline": "clean(cmca-v26.7.17): remove dirty-tree artifacts (allocator.rs.orig,…",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:46:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "37cc353c8313627c467d304be4bc1dce73c6bc3f",
"body": null,
"is_bot": false,
"headline": "ci: publish exact Clippy diagnostics on refusal",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:44:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c5c2619ddba10c4e558f26ccc1e598e83ef19ff9",
"body": null,
"is_bot": false,
"headline": "ci: ensure all temporary repair machinery self-removes",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:40:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8cecf46ed63c84a3e0ceda068a60cd3c1f18cb75",
"body": null,
"is_bot": false,
"headline": "ci: make every verification command an explicit receipt",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:39:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6bd47765d2c310da678b9445694c3e3e97aeb168",
"body": null,
"is_bot": false,
"headline": "test: fence all-features mutant composition explicitly",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:39:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7958c12d039ac200d649266dcabff4ac883c225b",
"body": null,
"is_bot": false,
"headline": "ci: add final publication receipt boundary",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:38:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f790f9e046f001bc5fb98d25b080d8d29ecd337e",
"body": null,
"is_bot": false,
"headline": "ci: expose repair admission as individual receipts",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:34:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0ab1fb73c1628c353aae44145d5e8e6f80a054bb",
"body": null,
"is_bot": false,
"headline": "ci: separate repair admission from verification ladder",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:34:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0fb08ff06c6003a06717551af924bf95de1a4752",
"body": null,
"is_bot": false,
"headline": "ci: remove obsolete PR diagnostic before repair admission",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:29:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d5e877b3d849ffcaca990252857f2d336fc268ca",
"body": null,
"is_bot": false,
"headline": "ci: route draft PR solely through repair verifier",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:29:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2f061c3e083f0d1ec06d15562aed68731adab790",
"body": null,
"is_bot": false,
"headline": "ci: withhold ordinary rails until source repair is receipted",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:29:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a48fcde5a7e6de9230978e6ee892a5d2e8a7a341",
"body": null,
"is_bot": false,
"headline": "ci: actuate bounded post-integration repair",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:25:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cb3e28529b6e992c62e12eeeacc8f65961a104e5",
"body": null,
"is_bot": false,
"headline": "ci: add receipted post-integration verifier",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:24:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ded723a8a758b7d5b1b7b291d4eba378f1a6a070",
"body": null,
"is_bot": false,
"headline": "ci: add bounded post-integration repair program",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:23:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "37a2761d1c85ec4aff1df00f330874e315cbcf4a",
"body": null,
"is_bot": false,
"headline": "ci: replace unadmitted repair executor",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:22:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7f2e8d44f6f757b3a0d2d21afe278214b46b3e78",
"body": null,
"is_bot": false,
"headline": "ci: stage bounded post-integration repair executor",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:20:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9ccc5ec308fce6bab6f2d81cdd7034eea77db64c",
"body": "…udit\n\nComplete post-PR13 semantic integration audit",
"is_bot": false,
"headline": "Merge pull request #14 from seanchatmangpt/agent/post-pr13-semantic-a…",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-26T01:06:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "66a65853d5fc65d50cab7ffa92febabcdd5a477b",
"body": null,
"is_bot": false,
"headline": "test: refresh compile-fail snapshots before replay",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:17:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fc1f719f7b81e63b0fd00091f2f3425bbb929bea",
"body": null,
"is_bot": false,
"headline": "test: admit public recovered test modules",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:13:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5972d0bc061922aeb7b2f5835433a0bf4ac4d3fe",
"body": null,
"is_bot": false,
"headline": "ci: run deterministic recovered-test normalization",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:11:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b514bb85722b441444f00f67abe03f68af7d7c7a",
"body": null,
"is_bot": false,
"headline": "test: self-remove fixture normalization adapter",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:11:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ed03c50500ae3032ecdc33648bab2573d978e3f5",
"body": null,
"is_bot": false,
"headline": "test: normalize recovered fixture lint boundaries",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:10:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e2dce8950af84de13f6b43d329b9e022a7db81f1",
"body": null,
"is_bot": false,
"headline": "ci: add scheduled exhaustive validation rail",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:06:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "071530aab2d15dce1de134ba057f7e5353081030",
"body": null,
"is_bot": false,
"headline": "ci: move Miri to scheduled and manual rails",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:06:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cb462d8779f57b66efa6bbe43f9c3004c662d3ec",
"body": null,
"is_bot": false,
"headline": "ci: install fast PR and broad main rails",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:05:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0b10bd1878f4b11e5d1a945e823e1206b5064da2",
"body": null,
"is_bot": false,
"headline": "ci: collapse diagnostic replay concurrency",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:05:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "621641656be285e7c958cb1394c8577bc611e3f4",
"body": null,
"is_bot": false,
"headline": "ci: simplify post-PR13 diagnostic replay",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:03:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "442c71bbf39ffaba30cdf1071277efea1cbce8c4",
"body": null,
"is_bot": false,
"headline": "fix: consolidate post-merge source normalization",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:03:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "820404487ad7e318dcac8934d91a02fa8f15f081",
"body": null,
"is_bot": false,
"headline": "fix: normalize recovered test fixtures and compatibility placement",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T20:00:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b89138f41abbc080d9f9538a84c0967931a238b6",
"body": null,
"is_bot": false,
"headline": "fix: normalize differential strategy casts",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:56:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c4478bb28467cda535e615ba4c3a166dc1d4c841",
"body": null,
"is_bot": false,
"headline": "fix: normalize duplicated CMCA lint attributes",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:53:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "76c3cc9ef57bddbc7e48da66df48df7ccbe50ddb",
"body": null,
"is_bot": false,
"headline": "fix: admit distinct pipeline initializer shapes",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:48:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "453c3207eb591cff07389ccb3c29b8c526c46d9b",
"body": null,
"is_bot": false,
"headline": "fix: normalize AutoSelect pipeline constructors",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:46:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "415785b16159fef95ec87c4d6e2ba491faf2b6be",
"body": null,
"is_bot": false,
"headline": "fix: satisfy clippy in recovered AutoSelect modules",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:42:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c96adce8d3b5a0bc562723ce181097b7fd012606",
"body": null,
"is_bot": false,
"headline": "ci: add non-publishing post-PR13 diagnostic replay",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:39:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0641b67b05686cd364261d41677785dd5381f48e",
"body": null,
"is_bot": false,
"headline": "ci: receipt post-PR13 audit failures",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:35:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "96cbe8841a638bd68d6cb718fed3a3915d826bf3",
"body": null,
"is_bot": false,
"headline": "fix: repair post-PR13 audit publisher trigger",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:31:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d32bd6278fa4f4653beabdf946704b2deb492118",
"body": null,
"is_bot": false,
"headline": "ci: trigger post-PR13 audit on pull request",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:29:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ed725667e65e52dea17c30cda9d59b5fd4d40c6f",
"body": null,
"is_bot": false,
"headline": "chore: remove merged integration workflow v4",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:28:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5ff848d7ab824c5d98bcdae2a08e2869c64a0e4f",
"body": null,
"is_bot": false,
"headline": "chore: remove merged integration workflow v3",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:28:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "04464714b45005d45e7a193470797430c66978f6",
"body": null,
"is_bot": false,
"headline": "chore: remove merged integration workflow v2",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:28:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "718e58a94803fb3cab9741b924a161fb7a901727",
"body": null,
"is_bot": false,
"headline": "chore: remove merged integration executor",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:28:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9979611360d479e0767bfaeb5a6bd5675315feaa",
"body": null,
"is_bot": false,
"headline": "ci: execute post-PR13 semantic audit",
"author_name": "Sean Chatman",
"author_login": "seanchatmangpt",
"committed_at": "2026-07-25T19:25:21Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 1,
"commits_last_year": 582,
"latest_release_at": "2026-07-26T04:33:58Z",
"latest_release_tag": "v26.7.25",
"releases_from_tags": true,
"days_since_last_push": 0,
"active_weeks_last_year": 10,
"days_since_latest_release": 0,
"mean_days_between_releases": null
},
"community": {
"has_readme": true,
"has_license": false,
"has_description": false,
"has_contributing": false,
"health_percentage": 14,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": [
{
"name": "bcinr",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [
"branchless",
"performance",
"simd",
"algorithms",
"no-std"
],
"ecosystem": "crates",
"matches_repo": true,
"registry_url": "https://crates.io/crates/bcinr",
"is_deprecated": false,
"latest_version": "26.7.25",
"repository_url": "https://github.com/seanchatmangpt/bcinr",
"versions_count": 5,
"total_downloads": 3230,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 1061,
"first_published_at": "2026-04-17T22:13:33.647185Z",
"latest_published_at": "2026-07-26T04:33:24.804375Z",
"latest_version_yanked": false,
"days_since_latest_publish": 0
},
{
"name": "bcinr-core",
"exists": true,
"license": "MIT OR Apache-2.0",
"keywords": [
"branchless",
"performance",
"simd",
"algorithms",
"no-std"
],
"ecosystem": "crates",
"matches_repo": false,
"registry_url": "https://crates.io/crates/bcinr-core",
"is_deprecated": false,
"latest_version": "26.7.25",
"repository_url": "https://github.com/example/bcinr",
"versions_count": 4,
"total_downloads": 3278,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": null,
"monthly_downloads": 1074,
"first_published_at": "2026-04-17T22:12:22.509619Z",
"latest_published_at": "2026-07-26T04:33:14.504392Z",
"latest_version_yanked": false,
"days_since_latest_publish": 0
}
]
},
"popularity": {
"forks": 0,
"stars": 1,
"watchers": 0,
"fork_history": {
"days": [],
"complete": true,
"collected": 0,
"total_forks": 0
},
"star_history": null,
"open_issues_and_prs": 5
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"examples"
],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": true,
"bootstrap_files": [
"Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"observatory-ui/tsconfig.json",
"tools/observatory-ui/tsconfig.json",
"web/tsconfig.json"
],
"toolchain_manifests": [
"Cargo.toml",
"bcinr-bench/Cargo.toml",
"bcinr-core/Cargo.toml",
"bcinr/Cargo.toml",
"crates/bcinr-api/Cargo.toml",
"crates/bcinr-cmca/Cargo.toml",
"crates/bcinr-ffi/Cargo.toml",
"crates/bcinr-logic/Cargo.toml",
"crates/bcinr-mcp/Cargo.toml",
"crates/bcinr-mfw-ir/Cargo.toml",
"crates/bcinr-pddl-lsp/Cargo.toml",
"crates/bcinr-pddl-lsp/tests/fixtures/sean_education_mode/lessons/rust/examples/Cargo.toml",
"crates/bcinr-pddl/Cargo.toml",
"crates/bcinr-powl-receipt/Cargo.toml",
"crates/bcinr-powl/Cargo.toml",
"crates/encode_unicode_patch/Cargo.toml",
"fuzz/Cargo.toml",
"playground/Cargo.toml",
"tools/bcinr-bench-auditor/Cargo.toml",
"tools/bcinr-cheat-scanner/Cargo.toml",
"tools/bcinr-contract-gate/Cargo.toml",
"tools/bcinr-reporter/Cargo.toml",
"tools/ggen/Cargo.toml",
"tools/rust_audit/Cargo.toml"
],
"largest_source_bytes": 176621,
"source_files_sampled": 882,
"oversized_source_files": 4,
"agent_instruction_files": [
"AGENTS.md",
"CLAUDE.md",
"GEMINI.md"
],
"agent_instruction_max_bytes": 31356
},
"dependencies": {
"manifests": [
"Cargo.toml",
"bcinr-bench/Cargo.toml",
"bcinr-core/Cargo.toml",
"bcinr/Cargo.toml",
"fuzz/Cargo.toml",
"observatory-ui/package.json",
"playground/Cargo.toml",
"web/package.json"
],
"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": [
"crates",
"npm"
],
"dependencies": [
{
"name": "criterion",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.5"
},
{
"name": "divan",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.1"
},
{
"name": "bcinr-core",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "26.7.25"
},
{
"name": "bcinr-logic",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "26.7.25"
},
{
"name": "bcinr-pddl",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "bcinr-mcp",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "bcinr-mfw-ir",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "bcinr-powl",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "tokio",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "serde_json",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1"
},
{
"name": "prettytable-rs",
"manifest": "bcinr-bench/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.10.0"
},
{
"name": "bcinr-api",
"manifest": "bcinr-core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "26.7.25"
},
{
"name": "bcinr-logic",
"manifest": "bcinr-core/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "26.7.25"
},
{
"name": "bcinr-api",
"manifest": "bcinr/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "26.7.25"
},
{
"name": "bcinr-core",
"manifest": "bcinr/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "26.7.25"
},
{
"name": "bcinr-logic",
"manifest": "bcinr/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "26.7.25"
},
{
"name": "@deck.gl/layers",
"manifest": "observatory-ui/package.json",
"ecosystem": "npm",
"version_constraint": "^9.3.7"
},
{
"name": "@deck.gl/react",
"manifest": "observatory-ui/package.json",
"ecosystem": "npm",
"version_constraint": "^9.3.7"
},
{
"name": "deck.gl",
"manifest": "observatory-ui/package.json",
"ecosystem": "npm",
"version_constraint": "^9.3.7"
},
{
"name": "mapbox-gl",
"manifest": "observatory-ui/package.json",
"ecosystem": "npm",
"version_constraint": "^3.26.0"
},
{
"name": "react",
"manifest": "observatory-ui/package.json",
"ecosystem": "npm",
"version_constraint": "^19.2.7"
},
{
"name": "react-dom",
"manifest": "observatory-ui/package.json",
"ecosystem": "npm",
"version_constraint": "^19.2.7"
},
{
"name": "react-map-gl",
"manifest": "observatory-ui/package.json",
"ecosystem": "npm",
"version_constraint": "^8.1.1"
},
{
"name": "bcinr",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "bcinr-logic",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": null
},
{
"name": "wasm4pm-compat",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "26.6.28"
},
{
"name": "rayon",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.10.0"
},
{
"name": "wgpu",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.20"
},
{
"name": "pollster",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "0.3"
},
{
"name": "bytemuck",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.16"
},
{
"name": "chess",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "3.2.0"
},
{
"name": "blake3",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.8.5"
},
{
"name": "serde",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.0.228"
},
{
"name": "serde_json",
"manifest": "playground/Cargo.toml",
"ecosystem": "crates",
"version_constraint": "1.0.150"
},
{
"name": "next",
"manifest": "web/package.json",
"ecosystem": "npm",
"version_constraint": "15.3.3"
},
{
"name": "react",
"manifest": "web/package.json",
"ecosystem": "npm",
"version_constraint": "^19.0.0"
},
{
"name": "react-dom",
"manifest": "web/package.json",
"ecosystem": "npm",
"version_constraint": "^19.0.0"
}
],
"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": 5,
"merged_prs": 14,
"open_issues": 0,
"closed_ratio": null,
"closed_issues": 0,
"closed_unmerged_prs": 0
},
"bus_factor": 1,
"bot_contributors": 1,
"top_contributors": [
{
"type": "User",
"login": "seanchatmangpt",
"commits": 562,
"avatar_url": "https://avatars.githubusercontent.com/u/136349053?v=4"
},
{
"type": "User",
"login": "claude",
"commits": 82,
"avatar_url": "https://avatars.githubusercontent.com/u/81847?v=4"
}
],
"contributors_sampled": 2,
"top_contributor_share": 0.873
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"bench.yml",
"ci.yml",
"cmca-all-features-diagnostic.yml",
"exhaustive.yml",
"miri.yml",
"post-pr13-audit.yml",
"publish-post-integration-final.yml",
"repair-post-integration-verification-v2.yml"
],
"has_docs_dir": true,
"linter_configs": [],
"has_editorconfig": true,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"Cargo.lock",
"package-lock.json"
],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 4,
"reason": "binaries present in source code",
"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": 10,
"reason": "2 out of 2 merged PRs checked by a CI test -- score normalized to 10",
"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/14 approved changesets -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 3,
"reason": "project has 1 contributing companies or organizations -- score normalized to 3",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"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": 10,
"reason": "project is fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 0,
"reason": "license file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 10,
"reason": "30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
"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": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"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": 0,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 0,
"reason": "39 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "fb9321d27882169acc83aaca0639b319cd3b7900",
"ran_at": "2026-07-26T17:51:57Z",
"aggregate_score": 3.1,
"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": "2026-07-26T17:43:27Z",
"oldest_open_prs": [
{
"number": 7,
"created_at": "2026-07-23T01:13:46Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 10,
"created_at": "2026-07-25T00:29:58Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 12,
"created_at": "2026-07-25T05:06:42Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 18,
"created_at": "2026-07-26T05:13:57Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 19,
"created_at": "2026-07-26T07:37:41Z",
"last_comment_at": null,
"last_comment_author": null
}
],
"last_merged_pr_at": "2026-07-26T04:32:21Z",
"ci_last_conclusion": "FAILURE",
"oldest_open_issues": []
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/seanchatmangpt/bcinr",
"host": "github.com",
"name": "bcinr",
"owner": "seanchatmangpt"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 52,
"inputs": {
"security": 31,
"vitality": 71,
"community": 22,
"governance": 56,
"engineering": 70
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "good",
"name": "Vitality",
"value": 71,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "good",
"name": "Development activity",
"note": null,
"notes": [],
"value": 71,
"inputs": {
"commits_last_year": 582,
"human_commit_share": 0.99,
"days_since_last_push": 0,
"active_weeks_last_year": 10
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 0 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 0
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "10/52 weeks with commits",
"points": 6.9,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 10
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "582 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 582
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "good",
"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": 72,
"inputs": {
"releases_count": 1,
"latest_release_tag": "v26.7.25",
"releases_from_tags": true,
"days_since_latest_release": 0,
"mean_days_between_releases": null
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "1 version tags (no GitHub releases)",
"points": 16.2,
"status": "partial",
"details": [
{
"code": "version_tags_no_releases",
"params": {
"count": 1
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 0 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 0
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "cadence unknown (single release)",
"points": 12.6,
"status": "partial",
"details": [
{
"code": "release_cadence_unknown",
"params": {}
}
],
"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": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "unverified",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": "repository_too_young",
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "maintenance record not established from the collected data",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_unverified",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "critical",
"name": "Community & Adoption",
"value": 22,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "critical",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 1,
"inputs": {
"forks": 0,
"stars": 1,
"watchers": 0,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "1 stars",
"points": 0,
"status": "missed",
"details": [
{
"code": "stars",
"params": {
"count": 1
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "0 forks",
"points": 0,
"status": "missed",
"details": [
{
"code": "forks",
"params": {
"count": 0
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "0 watchers",
"points": 0,
"status": "missed",
"details": [
{
"code": "watchers",
"params": {
"count": 0
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "critical",
"name": "Community health",
"note": null,
"notes": [],
"value": 25,
"inputs": {
"has_readme": true,
"has_license": false,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"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": "no license file detected",
"points": 0,
"status": "missed",
"details": [
{
"code": "license_absent",
"params": {}
}
],
"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
}
]
},
{
"key": "ecosystem_adoption",
"band": "moderate",
"name": "Ecosystem adoption (downloads)",
"note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"registry_dependents"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 50,
"inputs": {
"packages": [
"bcinr"
],
"dependents": null,
"ecosystems": "crates",
"total_downloads": 3230,
"monthly_downloads": 1061
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "1,061 downloads/month across crates",
"points": 40.3,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 1061,
"ecosystems": "crates"
}
}
],
"max_points": 80
},
{
"key": "registry_dependents",
"name": "Registry dependents",
"detail": "not reported by this ecosystem",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_reported_by_this_ecosystem",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 56,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "critical",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 18,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 2,
"top_contributor_share": 0.873
},
"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 87% of commits",
"points": 2.9,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 87
}
}
],
"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 1 contributing companies or organizations -- score normalized to 3",
"points": 3,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "good",
"name": "Issue & PR responsiveness",
"note": "Excluded from scoring (no data or not applicable): Issue resolution. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"issue_resolution"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 72,
"inputs": {
"merged_prs": 14,
"open_issues": 0,
"closed_issues": 0,
"issue_closed_ratio": null,
"closed_unmerged_prs": 0
},
"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": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "14/14 decided PRs merged",
"points": 38.2,
"status": "met",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 14,
"decided": 14
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 0/14 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": 52,
"inputs": {
"followers": 53,
"owner_type": "User",
"is_verified": null,
"owner_login": "seanchatmangpt",
"public_repos": 253,
"account_age_days": 1140
},
"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": "53 followers of seanchatmangpt",
"points": 12.5,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 53,
"login": "seanchatmangpt"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "253 public repos, account ~3 yr old",
"points": 19.2,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 253
}
},
{
"code": "account_age_years",
"params": {
"years": 3
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "excellent",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"packages": [
"bcinr"
],
"ecosystems": "crates",
"any_deprecated": false,
"min_days_since_publish": 0
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "1 package(s) on crates",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 1,
"ecosystems": "crates"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 0 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 0
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "5 published versions",
"points": 20,
"status": "met",
"details": [
{
"code": "published_versions",
"params": {
"count": 5
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "good",
"name": "Engineering Quality",
"value": 70,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "good",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 74,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": true,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "8 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 8
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"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": 6.4,
"status": "met",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "2 out of 2 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "moderate",
"name": "Documentation",
"note": null,
"notes": [],
"value": 65,
"inputs": {
"topics": [],
"has_wiki": true,
"homepage": null,
"has_readme": true,
"has_docs_dir": true,
"has_description": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 25,
"status": "met",
"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": 0,
"status": "missed",
"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": 31,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Packaging, Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"packaging",
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 31,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 16,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 2,
"scorecard_aggregate": 3.1
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "binaries present in source code",
"points": 3,
"status": "partial",
"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": "2 out of 2 merged PRs checked by a CI test -- score normalized to 10",
"points": 2.5,
"status": "met",
"details": [],
"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/14 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 1 contributing companies or organizations -- score normalized to 3",
"points": 0.8,
"status": "partial",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"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 fuzzed",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
"points": 7.5,
"status": "met",
"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": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"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": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "39 existing vulnerabilities detected",
"points": 0,
"status": "missed",
"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": "good",
"name": "AI Readiness",
"value": 74,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "excellent",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 85,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.98,
"agent_instruction_files": [
"AGENTS.md",
"CLAUDE.md",
"GEMINI.md"
],
"agent_instruction_max_bytes": 31356
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "AGENTS.md, CLAUDE.md, GEMINI.md",
"points": 45,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "AGENTS.md, CLAUDE.md, GEMINI.md"
}
}
],
"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": "97 of 99 human commits state their intent (structured subject or explanatory body)",
"points": 40,
"status": "met",
"details": [
{
"code": "legible_history",
"params": {
"legible": 97,
"sampled": 99
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "moderate",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 61,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [
"Cargo.lock",
"package-lock.json"
],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [
"Makefile"
],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [
"observatory-ui/tsconfig.json",
"tools/observatory-ui/tsconfig.json",
"web/tsconfig.json"
],
"agent_commit_share": 0,
"toolchain_manifests": [
"Cargo.toml",
"bcinr-bench/Cargo.toml",
"bcinr-core/Cargo.toml",
"bcinr/Cargo.toml",
"crates/bcinr-api/Cargo.toml",
"crates/bcinr-cmca/Cargo.toml",
"crates/bcinr-ffi/Cargo.toml",
"crates/bcinr-logic/Cargo.toml",
"crates/bcinr-mcp/Cargo.toml",
"crates/bcinr-mfw-ir/Cargo.toml",
"crates/bcinr-pddl-lsp/Cargo.toml",
"crates/bcinr-pddl-lsp/tests/fixtures/sean_education_mode/lessons/rust/examples/Cargo.toml",
"crates/bcinr-pddl/Cargo.toml",
"crates/bcinr-powl-receipt/Cargo.toml",
"crates/bcinr-powl/Cargo.toml",
"crates/encode_unicode_patch/Cargo.toml",
"fuzz/Cargo.toml",
"playground/Cargo.toml",
"tools/bcinr-bench-auditor/Cargo.toml",
"tools/bcinr-cheat-scanner/Cargo.toml",
"tools/bcinr-contract-gate/Cargo.toml",
"tools/bcinr-reporter/Cargo.toml",
"tools/ggen/Cargo.toml",
"tools/rust_audit/Cargo.toml"
],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": "Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "Makefile"
}
}
],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"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": "observatory-ui/tsconfig.json, tools/observatory-ui/tsconfig.json, web/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "observatory-ui/tsconfig.json, tools/observatory-ui/tsconfig.json, web/tsconfig.json"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "lockfile"
}
}
],
"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": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"primary_language": "Rust",
"largest_source_bytes": 176621,
"source_files_sampled": 882,
"oversized_source_files": 4
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Rust (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "Rust"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "4/882 source files over 60KB",
"points": 54.8,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 882,
"oversized": 4
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "moderate",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 60,
"inputs": {
"example_dirs": [
"examples"
],
"has_mcp_signal": true,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 20,
"status": "met",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "examples",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples"
}
}
],
"max_points": 40
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"crates package 'bcinr-core' points at a different repository (https://github.com/example/bcinr); excluded from ecosystem scoring",
"Could not fetch crates package 'playground' from its registry",
"Could not fetch crates package 'bcinr-bench' from its registry",
"GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository",
"deps.dev does not index crates:bcinr@26.7.25; advisories assessed against the repository dependency graph instead"
],
"report_type": "repository",
"generated_at": "2026-07-26T17:52:09.697603Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/s/seanchatmangpt/bcinr.svg",
"full_name": "seanchatmangpt/bcinr",
"license_state": "absent",
"license_spdx": null
}