Arena/01a0e9a2 developer ecosystem by hyperpolymath · Pull Request #216 · hyperpolymath/developer-ecosystem

hyperpolymath · 2026-09-28T23:30:36Z

Summary

Closes #

Type of change

🐛 Bug fix (non-breaking change that fixes an issue)
✨ New feature (non-breaking change that adds functionality)
💥 Breaking change (would change existing behaviour)
🕳️ Soundness fix (fixes a checker/proof false-negative)
📖 Documentation
🧹 Refactor / tech debt (behaviour-preserving)
⚡ Performance
🔧 Build / CI / tooling

How has this been verified?

Checklist

My commits are signed (git commit -S).
I ran the project's own checks/tests locally and they pass.
New files carry the correct SPDX-License-Identifier (code/config MPL-2.0,
prose CC-BY-SA-4.0); I did not relicense existing files.
Docs are updated, and no public claim now overstates what the code does.
I have not introduced a soundness hole (or I have flagged where I might have).

Notes for reviewers

… hybrid-ops design notes Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>

…emplate-repo mint + standards profile) - minted from rsr-template-repo@9335075 via just repo-init; CFK content overlaid - Cargo workspace crates moved to src/cfk-*; fuzz -> tests/fuzz - licence unified to MPL-2.0 (was AGPL in Cargo.toml/packaging) - rsr-profile: preset rust-cli + container, reproducible-build, benchmarks, formal-proofs, published-package, governance-tier (check-rsr-profile OK) - real Justfile recipes, e2e test of the reversible journal, CFK STATE/ECOSYSTEM/ROADMAP/PROOF-NEEDS - this commit is the subtree-split point for hyperpolymath/czech-file-knife

… tree; env-var credentials in docs examples

…-knife) Split point: 60ba3be (git subtree split --prefix=czech-file-knife 60ba3be).

coderabbitai · 2026-09-28T23:30:47Z

Important

Review skipped

Too many files!

This PR contains 148 files, which is 48 over the limit of 100.

To get a review, reduce the PR to 100 files or fewer by splitting it into smaller PRs or changing its base branch.

Upgrade to a paid plan to raise the limit.

This review couldn't start because sufficient usage credits or metered capacity aren't available. Add credits or update usage-based reviews in the billing tab, then retry.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: ecc68b25-1e41-418d-9620-2e71bd5cb41c

📥 Commits

Reviewing files that changed from the base of the PR and between 24d6e3c and dcecac3.

⛔ Files ignored due to path filters (1)

czech-file-knife/Cargo.lock is excluded by !**/*.lock

📒 Files selected for processing (148)

.gitleaks.toml
.hypatia-baseline.json
CHANGELOG.adoc
czech-file-knife/.claude/CLAUDE.md
czech-file-knife/.clusterfuzzlite/Dockerfile
czech-file-knife/.clusterfuzzlite/build.sh
czech-file-knife/.clusterfuzzlite/project.yaml
czech-file-knife/.editorconfig
czech-file-knife/.gitattributes
czech-file-knife/.github/FUNDING.yml
czech-file-knife/.github/ISSUE_TEMPLATE/bug_report.md
czech-file-knife/.github/ISSUE_TEMPLATE/custom.md
czech-file-knife/.github/ISSUE_TEMPLATE/documentation.md
czech-file-knife/.github/ISSUE_TEMPLATE/feature_request.md
czech-file-knife/.github/ISSUE_TEMPLATE/question.md
czech-file-knife/.github/dependabot.yml
czech-file-knife/.github/workflows/cflite_batch.yml
czech-file-knife/.github/workflows/cflite_pr.yml
czech-file-knife/.github/workflows/codeql.yml
czech-file-knife/.github/workflows/container.yml
czech-file-knife/.github/workflows/ghcr-publish.yml
czech-file-knife/.github/workflows/governance.yml
czech-file-knife/.github/workflows/hypatia-scan.yml
czech-file-knife/.github/workflows/instant-sync.yml
czech-file-knife/.github/workflows/mirror.yml
czech-file-knife/.github/workflows/publish.yml
czech-file-knife/.github/workflows/release.yml
czech-file-knife/.github/workflows/scorecard-enforcer.yml
czech-file-knife/.github/workflows/scorecard.yml
czech-file-knife/.github/workflows/secret-scanner.yml
czech-file-knife/.github/workflows/stress-test.yml
czech-file-knife/.gitignore
czech-file-knife/.gitlab-ci.yml
czech-file-knife/.machine_readable/AGENTIC.scm
czech-file-knife/.machine_readable/ECOSYSTEM.scm
czech-file-knife/.machine_readable/META.scm
czech-file-knife/.machine_readable/NEUROSYM.scm
czech-file-knife/.machine_readable/PLAYBOOK.scm
czech-file-knife/.machine_readable/STATE.scm
czech-file-knife/.nojekyll
czech-file-knife/.tool-versions
czech-file-knife/ABI-FFI-README.adoc
czech-file-knife/AI.a2ml
czech-file-knife/AI.djot
czech-file-knife/CODE_OF_CONDUCT.adoc
czech-file-knife/CONTRIBUTING.adoc
czech-file-knife/Cargo.toml
czech-file-knife/Containerfile
czech-file-knife/Justfile
czech-file-knife/LICENSE
czech-file-knife/MAINTAINERS.adoc
czech-file-knife/Mustfile
czech-file-knife/PALIMPSEST.adoc
czech-file-knife/README.adoc
czech-file-knife/ROADMAP.adoc
czech-file-knife/RSR_OUTLINE.adoc
czech-file-knife/SECURITY.adoc
czech-file-knife/TESTING-REPORT.adoc
czech-file-knife/TESTING-REPORT.scm
czech-file-knife/benches/czech_file_knife_bench.rs
czech-file-knife/cfk-cache/Cargo.toml
czech-file-knife/cfk-cache/src/blob_store.rs
czech-file-knife/cfk-cache/src/lib.rs
czech-file-knife/cfk-cache/src/metadata_cache.rs
czech-file-knife/cfk-cache/src/policy.rs
czech-file-knife/cfk-cache/src/sled_backend.rs
czech-file-knife/cfk-cli/Cargo.toml
czech-file-knife/cfk-cli/src/commands.rs
czech-file-knife/cfk-cli/src/main.rs
czech-file-knife/cfk-core/Cargo.toml
czech-file-knife/cfk-core/src/backend.rs
czech-file-knife/cfk-core/src/entry.rs
czech-file-knife/cfk-core/src/error.rs
czech-file-knife/cfk-core/src/lib.rs
czech-file-knife/cfk-core/src/metadata.rs
czech-file-knife/cfk-core/src/operations.rs
czech-file-knife/cfk-core/src/path.rs
czech-file-knife/cfk-core/src/platform.rs
czech-file-knife/cfk-integrations/Cargo.toml
czech-file-knife/cfk-integrations/src/agrep.rs
czech-file-knife/cfk-integrations/src/aria2.rs
czech-file-knife/cfk-integrations/src/lib.rs
czech-file-knife/cfk-integrations/src/pandoc.rs
czech-file-knife/cfk-ios/Cargo.toml
czech-file-knife/cfk-ios/src/domain.rs
czech-file-knife/cfk-ios/src/error.rs
czech-file-knife/cfk-ios/src/ffi.rs
czech-file-knife/cfk-ios/src/item.rs
czech-file-knife/cfk-ios/src/lib.rs
czech-file-knife/cfk-ios/src/provider.rs
czech-file-knife/cfk-ios/swift/CfkBridge.h
czech-file-knife/cfk-ios/swift/CfkFileProviderExtension.swift
czech-file-knife/cfk-ios/swift/CfkFileProviderItem.swift
czech-file-knife/cfk-providers/Cargo.toml
czech-file-knife/cfk-providers/src/afs.rs
czech-file-knife/cfk-providers/src/box_com.rs
czech-file-knife/cfk-providers/src/ceph.rs
czech-file-knife/cfk-providers/src/dropbox.rs
czech-file-knife/cfk-providers/src/gdrive.rs
czech-file-knife/cfk-providers/src/ipfs.rs
czech-file-knife/cfk-providers/src/lib.rs
czech-file-knife/cfk-providers/src/local.rs
czech-file-knife/cfk-providers/src/nfs.rs
czech-file-knife/cfk-providers/src/ninep.rs
czech-file-knife/cfk-providers/src/onedrive.rs
czech-file-knife/cfk-providers/src/protocols.rs
czech-file-knife/cfk-providers/src/s3.rs
czech-file-knife/cfk-providers/src/sftp.rs
czech-file-knife/cfk-providers/src/smb.rs
czech-file-knife/cfk-providers/src/syncthing.rs
czech-file-knife/cfk-providers/src/transport.rs
czech-file-knife/cfk-providers/src/webdav.rs
czech-file-knife/cfk-search/Cargo.toml
czech-file-knife/cfk-search/src/lib.rs
czech-file-knife/cfk-tui/cfk_tui.gpr
czech-file-knife/cfk-tui/src/cfk-tui-application.ads
czech-file-knife/cfk-tui/src/cfk_tui_main.adb
czech-file-knife/cfk-vfs/Cargo.toml
czech-file-knife/cfk-vfs/src/lib.rs
czech-file-knife/contractiles/README.adoc
czech-file-knife/contractiles/dust/Dustfile
czech-file-knife/contractiles/must/Mustfile
czech-file-knife/deny.toml
czech-file-knife/docs/CITATIONS.adoc
czech-file-knife/docs/DISTRIBUTED_FILESYSTEMS.adoc
czech-file-knife/docs/IOS_INTEGRATION.adoc
czech-file-knife/examples/web-project-deno.json
czech-file-knife/fuzz/Cargo.toml
czech-file-knife/fuzz/fuzz_targets/fuzz_path.rs
czech-file-knife/guix.scm
czech-file-knife/hooks/validate-codeql.sh
czech-file-knife/hooks/validate-permissions.sh
czech-file-knife/hooks/validate-sha-pins.sh
czech-file-knife/hooks/validate-spdx.sh
czech-file-knife/license/PMPL-1.0.txt
czech-file-knife/manifest/sample.ncl
czech-file-knife/ops/podman-compose.yml
czech-file-knife/ops/scripts/ensure_deps.sh
czech-file-knife/ops/scripts/ensure_kafka.sh
czech-file-knife/packaging/arch/PKGBUILD
czech-file-knife/packaging/chocolatey/czech-file-knife.nuspec
czech-file-knife/packaging/debian/control
czech-file-knife/packaging/debian/rules
czech-file-knife/packaging/flatpak/dev.hyperpolymath.CzechFileKnife.yml
czech-file-knife/packaging/macports/Portfile
czech-file-knife/packaging/rpm/czech-file-knife.spec
czech-file-knife/packaging/scoop/czech-file-knife.json
czech-file-knife/packaging/winget/czech-file-knife.yaml

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

_{Comment @coderabbitai help to get the list of available commands.}

hyperpolymath and others added 4 commits September 28, 2026 20:19

feat(cfk): reversible backend (JanusKey model) with cfk history/undo;…

089c33d

… hybrid-ops design notes Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>

chore(czech-file-knife): carry scanner exemptions into the standalone…

60ba3be

… tree; env-var credentials in docs examples

chore: remove czech-file-knife (extracted to hyperpolymath/czech-file…

dcecac3

…-knife) Split point: 60ba3be (git subtree split --prefix=czech-file-knife 60ba3be).

hyperpolymath merged commit d0704af into main Sep 28, 2026
22 of 26 checks passed

hyperpolymath deleted the arena/01a0e9a2-developer-ecosystem branch September 28, 2026 23:37

Navigation Menu

Uh oh!

Arena/01a0e9a2 developer ecosystem - #216

Arena/01a0e9a2 developer ecosystem#216
hyperpolymath merged 4 commits into
mainfrom
arena/01a0e9a2-developer-ecosystem

hyperpolymath commented Sep 28, 2026

Uh oh!

coderabbitai Bot commented Sep 28, 2026

Review skipped

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Uh oh!

Conversation

hyperpolymath commented Sep 28, 2026

Summary

Type of change

How has this been verified?

Checklist

Notes for reviewers

Uh oh!

coderabbitai Bot commented Sep 28, 2026

Review skipped

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant