- Rust 79.7%
- Idris 7.8%
- Shell 4.6%
- Zig 2.9%
- Scheme 2.6%
- Other 2.4%
| .claude | ||
| .github | ||
| .hypatia | ||
| .machine_readable | ||
| .well-known | ||
| benches | ||
| contractiles | ||
| crates | ||
| docs | ||
| ffi/zig | ||
| hooks | ||
| LICENSES | ||
| src | ||
| tests | ||
| .editorconfig | ||
| .gitattributes | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| .nojekyll | ||
| .tool-versions | ||
| 0-AI-MANIFEST.a2ml | ||
| ARCHITECTURE.md | ||
| Cargo.lock | ||
| Cargo.toml | ||
| CODE_OF_CONDUCT.md | ||
| contractile.just | ||
| CONTRIBUTING.md | ||
| draft-hyperpolymath-maa-framework-00.txt | ||
| EXPLAINME.adoc | ||
| flake.nix | ||
| guix.scm | ||
| Justfile | ||
| LICENSE | ||
| LICENSE.txt | ||
| llm-warmup-dev.md | ||
| llm-warmup-user.md | ||
| MAINTAINERS.adoc | ||
| Mustfile | ||
| NOTICE | ||
| PALIMPSEST.adoc | ||
| PROOF-NEEDS.md | ||
| QUICKSTART-DEV.adoc | ||
| QUICKSTART-MAINTAINER.adoc | ||
| QUICKSTART-USER.adoc | ||
| README.adoc | ||
| ROADMAP.adoc | ||
| SECURITY.md | ||
| setup.sh | ||
| stapeln.toml | ||
| TEST-NEEDS.md | ||
| TESTING-REPORT.adoc | ||
| TESTING-REPORT.scm | ||
| TOPOLOGY.md | ||
JanusKey
Jonathan D.A. Jewell <[email protected]> :toc: macro :icons: font :source-highlighter: rouge :experimental: :url-github: https://github.com/hyperpolymath/januskey :url-gitlab: https://gitlab.com/hyperpolymath/januskey :url-bitbucket: https://bitbucket.org/hyperpolymath/januskey :url-codeberg: https://codeberg.org/hyperpolymath/januskey
Reversible File Operations (formal proofs pending) Through Maximal Principle Reduction
Overview
JanusKey is a file operation utility suite that achieves complete reversibility through architectural design rather than logging or backups. Unlike traditional backup systems that restore from external state, JanusKey operations carry sufficient information for perfect inversion—making data loss architecturally impossible.
Key Features
-
100% Reversible - Every operation can be undone, always
-
Instant Rollback - Undo changes in milliseconds
-
Data Loss Impossible - Not "unlikely"—architecturally impossible
-
Complete Audit Trail - Every change tracked automatically
-
Transaction Support - Group operations, commit/rollback together
-
Content-Addressed Storage - SHA256 hashing with deduplication
Quick Start
# Build from source (requires Rust)
cd src/januskey
cargo build --release
# Initialize JanusKey in your project
jk init
# Delete files (reversible)
jk delete *.log
# Undo the delete
jk undo
# Transactions for batch operations
jk begin
jk delete temp*.txt
jk modify "s/DEBUG/INFO/g" config.yaml
jk preview # Review changes
jk commit # Or: jk rollback
Commands
| Command | Description |
|---|---|
|
Initialize JanusKey in current directory |
|
Delete files (reversible) |
|
Modify files with sed-like syntax |
|
Move/rename files |
|
Copy files |
|
Undo last operation(s) |
|
Start a transaction |
|
Commit current transaction |
|
Rollback current transaction |
|
Preview pending changes |
|
Show operation history |
|
Show current status |
Architecture
JanusKey implements Maximal Principle Reduction (MPR), a security methodology where vulnerability elimination occurs by construction rather than verification.
+----------------------------+ | JanusKey CLI | <-- jk delete, jk modify, jk move +----------------------------+ | Operation Layer | <-- Generates inverse metadata +----------------------------+ | Transaction Manager | <-- Groups ops, commit/rollback +----------------------------+ | Metadata Store | <-- Append-only operation log +----------------------------+ | Content-Addressed Storage | <-- SHA256, deduplication +----------------------------+
Reversibility Guarantee
Every operation stores sufficient metadata for perfect inversion:
-
Delete: Stores full content + metadata for restoration
-
Modify: Stores original content hash for rollback
-
Move: Stores original path for unmove
-
Copy: Destination path for deletion
Installation
From Source (Rust)
# Clone the repository
git clone {url-github}
cd januskey/src/januskey
# Build release binary
cargo build --release
# Install to PATH
cargo install --path .
Mirrors
| Platform | URL |
|---|---|
GitHub (primary) |
{url-github} |
GitLab |
{url-gitlab} |
Bitbucket |
{url-bitbucket} |
Codeberg |
{url-codeberg} |
License
Licensed under MIT OR PMPL-1.0-or-later.
See LICENSE.txt for details.
Contributing
See CONTRIBUTING.adoc.
Research
JanusKey is based on research into reversible computing (formal proofs are a target, not yet complete) and Maximal Principle Reduction. See the white paper in docs/ for formal proofs and theoretical foundations.
Metadata
-
Domain: software-development
-
Framework: RSR (Rhodium Standard Repository)
-
Language: Rust
-
Dublin Core: .well-known/dc.xml
Architecture
See TOPOLOGY.md for a visual architecture map and completion dashboard.