hardproof 0.1.1__tar.gz

hardproof-0.1.1/LICENSE

@@ -0,0 +1,175 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work.
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS

hardproof-0.1.1/NOTICE

@@ -0,0 +1,14 @@
+Hardproof
+Copyright 2026 Hardproof contributors
+
+Licensed under the Apache License, Version 2.0.
+
+Hardproof is an independent project. "Hardproof" is a working name pending
+trademark and marketplace clearance. No affiliation with Atlassian or any
+other similarly named product or company is implied.
+
+The project acknowledges Superpowers as conceptual inspiration for the broad
+idea of explicit agent engineering workflows. Hardproof is a clean-room,
+independently designed and written implementation; no source, skill prose,
+prompts, fixtures, diagrams, templates, layout, or documentation wording is
+copied from that project.

hardproof-0.1.1/PKG-INFO

@@ -0,0 +1,179 @@
+Metadata-Version: 2.4
+Name: hardproof
+Version: 0.1.1
+Summary: A persistent, risk-aware engineering protocol for Hermes Agent
+Author: Hardproof contributors
+License-Expression: Apache-2.0
+Classifier: Development Status :: 3 - Alpha
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Typing :: Typed
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE
+License-File: NOTICE
+Requires-Dist: PyYAML<7,>=6
+Provides-Extra: dev
+Requires-Dist: build>=1.2; extra == "dev"
+Requires-Dist: cyclonedx-bom>=7; extra == "dev"
+Requires-Dist: hypothesis>=6; extra == "dev"
+Requires-Dist: mypy>=1.10; extra == "dev"
+Requires-Dist: pip-audit>=2.7; extra == "dev"
+Requires-Dist: pytest>=8; extra == "dev"
+Requires-Dist: pytest-cov>=5; extra == "dev"
+Requires-Dist: pytest-xdist>=3; extra == "dev"
+Requires-Dist: ruff>=0.6; extra == "dev"
+Requires-Dist: twine>=5; extra == "dev"
+Requires-Dist: types-PyYAML>=6; extra == "dev"
+Dynamic: license-file
+
+# HARDPROOF
+
+> Software has to earn done.
+
+[![CI](https://github.com/asimons81/hardproof/actions/workflows/ci.yml/badge.svg)](https://github.com/asimons81/hardproof/actions/workflows/ci.yml)
+[![License](https://img.shields.io/badge/license-Apache--2.0-blue.svg)](LICENSE)
+
+> **Alpha software.** v0.1.0 is a public alpha. Latest development is v0.2.0 Gatehouse. Commands, schemas, and contracts may change before v1.0.0. Install from GitHub; PyPI publication is pending.
+
+Hardproof gives coding agents a persistent, risk-aware engineering process that turns ambiguous software requests into reviewed, verified results while preserving the evidence behind every completion claim.
+
+> A persistent, risk-aware engineering protocol for Hermes Agent.
+
+## Current Status
+
+| Release | Version | Status |
+|---------|---------|--------|
+| Public alpha | v0.1.0 Core Heat | Released |
+| Active development | v0.2.0 Gatehouse | Task 8 (stage-graph configuration) next |
+
+## Install and enable
+
+From GitHub (only option until PyPI publication):
+
+```bash
+hermes plugins install asimons81/hardproof --enable
+```
+
+From PyPI (not yet published -- this will work once the package is uploaded):
+
+```bash
+pip install hardproof
+hermes plugins enable hardproof
+```
+
+Plugins remain opt-in under Hermes configuration. Hardproof does not edit global instructions or install skills into the user's global skill directory.
+
+## First run
+
+Start in a Git repository with at least one commit:
+
+```text
+/hardproof start standard Build API-key rotation with rollback support
+/hardproof status
+```
+
+The equivalent terminal surface is:
+
+```bash
+hermes hardproof start standard "Build API-key rotation with rollback support"
+hermes hardproof status
+```
+
+Hardproof stores state under `.hardproof/`, adds that directory to the repository-local Git exclude file when necessary, and injects compact stage context into bound Hermes sessions.
+
+## Profiles
+
+**Quick** supports low-risk localized work with recorded skips and at least one fresh verification check. Use for typo fixes, doc updates, or one-line changes.
+
+**Standard** requires discovery, design and plan artifacts, human design and plan approvals, tracked implementation, review, fresh verification, delivery, and a learning decision. Use for feature work, refactors, or multi-file changes.
+
+**Critical** adds destructive-action approvals, at least two checks, rollback and risk material, fail-closed mutation policy, and human completion approval. Use for auth changes, data migrations, or production configuration.
+
+No profile permits completion without fresh successful evidence.
+
+## Architecture
+
+Hardproof is a standalone Python package discovered through the `hermes_agent.plugins` entry-point group. It uses only the public Hermes registration, hook, command, skill, and dispatch APIs.
+
+1. **Plugin layer** -- registers slash commands, CLI commands, six tools, lifecycle hooks, and nine namespaced skills
+2. **Domain layer** -- run profiles, stages, transitions, approval gates, and immutable event models
+3. **Policy layer** -- stage-aware mutation rules, tool policies, and human-required approval escalation
+4. **Storage layer** -- project-local SQLite database with forward-only migrations plus human-readable artifacts under `.hardproof/runs/<run-id>/`
+5. **Verification layer** -- workspace-bound evidence with Git HEAD capture, binary diff freshness checks, and redacted output recording
+
+See [architecture](docs/architecture.md), [protocol profiles](docs/profiles.md), and [compatibility](docs/compatibility.md).
+
+## Verification Evidence
+
+Hardproof requires fresh, workspace-bound evidence before any run can complete. Verification checks run through Hermes in the current working directory, capturing:
+
+- Git HEAD commit hash at the time of verification
+- Binary diff against the working tree to detect uncommitted changes
+- Redacted, size-bounded output from each configured check
+- Strict exit-code evaluation (only explicit zero passes)
+
+Evidence is recorded in the run ledger and included in every completion report. Stale evidence -- evidence recorded against a different workspace state -- is flagged and cannot satisfy completion gates.
+
+## Security Boundary
+
+Hardproof coordinates engineering process; it is not a security sandbox. Policy hooks do not replace OS permissions, protected branches, sandboxing, isolation, or human code review.
+
+Protections included:
+- Force pushes and destructive Git operations are blocked
+- Recognized destructive actions are blocked or require human approval
+- Source mutation is stage-aware (locked in later stages)
+- Human-only approval gates prevent model self-approval
+- Policy decisions are recorded with cryptographic hashes of arguments and configuration
+
+See [SECURITY.md](SECURITY.md) and the [security model](docs/security-model.md).
+
+## Privacy
+
+Hardproof has **no telemetry, no analytics, no accounts, no hosted dependencies, no remote asset fetching, and no automatic update checks.** Normal local operation makes no intentional network request. Verification output is redacted and size-bounded. Policy events store argument keys and hashes rather than raw values. Nothing phones home.
+
+## Known Limitations in v0.1.0
+
+- Policy hooks coordinate process but are not a security sandbox or complete shell parser
+- Managed runs require a Git worktree for workspace-bound freshness evidence
+- Local compatibility evidence covers Hermes Agent 0.18.2 on native Windows; other OS support is CI-enforced
+- Gatehouse policy features (configurable rules, waivers, risk suggestions) ship in v0.2.0
+
+## Roadmap
+
+| Version | Codename | Focus |
+|---------|----------|-------|
+| v0.1.0 | Core Heat | Standalone plugin, durable stages, SQLite state, approvals, skills, fresh evidence, reports |
+| v0.2.0 | Gatehouse | Explainable configurable policy, scoped waivers, risk suggestions, language packs |
+| v0.3.0 | Workcells | Dependency-aware task waves, resumable subagent implementers |
+| v0.4.0 | Challenge Chamber | Independent specialized reviewers, severity, fix/re-review loops |
+| v0.5.0 | Isolation | Branches, worktrees, baseline proof, rollback, backend adapters |
+| v0.6.0 | Tempering | Human-approved provenance-linked learning proposals |
+| v0.7.0 | Control Room | Cross-surface continuity, timeline, notifications, local dashboard |
+| v0.8.0 | Protocol SDK | Frozen documented policy, validator, evidence, report interfaces |
+| v0.9.0 | Hardening | Migration rehearsals, recovery, concurrency, performance, security scenarios |
+| v1.0.0 | Proven | Stable public contracts, multi-repo validation across OS and backend targets |
+
+See [ROADMAP.md](ROADMAP.md). A release advances only after its tests, migrations, security review, compatibility evidence, documentation, and package artifacts pass.
+
+## Contributing
+
+Start with [CONTRIBUTING.md](CONTRIBUTING.md), [GOVERNANCE.md](GOVERNANCE.md), and [CODE_OF_CONDUCT.md](CODE_OF_CONDUCT.md). Design changes use ADRs; breaking protocol changes require a public RFC issue. Contributions use the Developer Certificate of Origin rather than a CLA.
+
+## Inspiration
+
+Hardproof acknowledges conceptual inspiration while maintaining a strict clean-room boundary. See [INSPIRATION.md](INSPIRATION.md).
+
+## License
+
+Apache-2.0. See [LICENSE](LICENSE) and [NOTICE](NOTICE).
+
+## Affiliation
+
+Hardproof is independent open-source software. It is not affiliated with, endorsed by, or sponsored by Hermes Agent, Nous Research, Atlassian, or any other organization.
+
+---
+
+**Topics:** `hermes-agent` `coding-agents` `agentic-coding` `software-engineering` `verification` `developer-tools` `open-source` `python`

hardproof-0.1.1/README.md

@@ -0,0 +1,148 @@
+# HARDPROOF
+
+> Software has to earn done.
+
+[![CI](https://github.com/asimons81/hardproof/actions/workflows/ci.yml/badge.svg)](https://github.com/asimons81/hardproof/actions/workflows/ci.yml)
+[![License](https://img.shields.io/badge/license-Apache--2.0-blue.svg)](LICENSE)
+
+> **Alpha software.** v0.1.0 is a public alpha. Latest development is v0.2.0 Gatehouse. Commands, schemas, and contracts may change before v1.0.0. Install from GitHub; PyPI publication is pending.
+
+Hardproof gives coding agents a persistent, risk-aware engineering process that turns ambiguous software requests into reviewed, verified results while preserving the evidence behind every completion claim.
+
+> A persistent, risk-aware engineering protocol for Hermes Agent.
+
+## Current Status
+
+| Release | Version | Status |
+|---------|---------|--------|
+| Public alpha | v0.1.0 Core Heat | Released |
+| Active development | v0.2.0 Gatehouse | Task 8 (stage-graph configuration) next |
+
+## Install and enable
+
+From GitHub (only option until PyPI publication):
+
+```bash
+hermes plugins install asimons81/hardproof --enable
+```
+
+From PyPI (not yet published -- this will work once the package is uploaded):
+
+```bash
+pip install hardproof
+hermes plugins enable hardproof
+```
+
+Plugins remain opt-in under Hermes configuration. Hardproof does not edit global instructions or install skills into the user's global skill directory.
+
+## First run
+
+Start in a Git repository with at least one commit:
+
+```text
+/hardproof start standard Build API-key rotation with rollback support
+/hardproof status
+```
+
+The equivalent terminal surface is:
+
+```bash
+hermes hardproof start standard "Build API-key rotation with rollback support"
+hermes hardproof status
+```
+
+Hardproof stores state under `.hardproof/`, adds that directory to the repository-local Git exclude file when necessary, and injects compact stage context into bound Hermes sessions.
+
+## Profiles
+
+**Quick** supports low-risk localized work with recorded skips and at least one fresh verification check. Use for typo fixes, doc updates, or one-line changes.
+
+**Standard** requires discovery, design and plan artifacts, human design and plan approvals, tracked implementation, review, fresh verification, delivery, and a learning decision. Use for feature work, refactors, or multi-file changes.
+
+**Critical** adds destructive-action approvals, at least two checks, rollback and risk material, fail-closed mutation policy, and human completion approval. Use for auth changes, data migrations, or production configuration.
+
+No profile permits completion without fresh successful evidence.
+
+## Architecture
+
+Hardproof is a standalone Python package discovered through the `hermes_agent.plugins` entry-point group. It uses only the public Hermes registration, hook, command, skill, and dispatch APIs.
+
+1. **Plugin layer** -- registers slash commands, CLI commands, six tools, lifecycle hooks, and nine namespaced skills
+2. **Domain layer** -- run profiles, stages, transitions, approval gates, and immutable event models
+3. **Policy layer** -- stage-aware mutation rules, tool policies, and human-required approval escalation
+4. **Storage layer** -- project-local SQLite database with forward-only migrations plus human-readable artifacts under `.hardproof/runs/<run-id>/`
+5. **Verification layer** -- workspace-bound evidence with Git HEAD capture, binary diff freshness checks, and redacted output recording
+
+See [architecture](docs/architecture.md), [protocol profiles](docs/profiles.md), and [compatibility](docs/compatibility.md).
+
+## Verification Evidence
+
+Hardproof requires fresh, workspace-bound evidence before any run can complete. Verification checks run through Hermes in the current working directory, capturing:
+
+- Git HEAD commit hash at the time of verification
+- Binary diff against the working tree to detect uncommitted changes
+- Redacted, size-bounded output from each configured check
+- Strict exit-code evaluation (only explicit zero passes)
+
+Evidence is recorded in the run ledger and included in every completion report. Stale evidence -- evidence recorded against a different workspace state -- is flagged and cannot satisfy completion gates.
+
+## Security Boundary
+
+Hardproof coordinates engineering process; it is not a security sandbox. Policy hooks do not replace OS permissions, protected branches, sandboxing, isolation, or human code review.
+
+Protections included:
+- Force pushes and destructive Git operations are blocked
+- Recognized destructive actions are blocked or require human approval
+- Source mutation is stage-aware (locked in later stages)
+- Human-only approval gates prevent model self-approval
+- Policy decisions are recorded with cryptographic hashes of arguments and configuration
+
+See [SECURITY.md](SECURITY.md) and the [security model](docs/security-model.md).
+
+## Privacy
+
+Hardproof has **no telemetry, no analytics, no accounts, no hosted dependencies, no remote asset fetching, and no automatic update checks.** Normal local operation makes no intentional network request. Verification output is redacted and size-bounded. Policy events store argument keys and hashes rather than raw values. Nothing phones home.
+
+## Known Limitations in v0.1.0
+
+- Policy hooks coordinate process but are not a security sandbox or complete shell parser
+- Managed runs require a Git worktree for workspace-bound freshness evidence
+- Local compatibility evidence covers Hermes Agent 0.18.2 on native Windows; other OS support is CI-enforced
+- Gatehouse policy features (configurable rules, waivers, risk suggestions) ship in v0.2.0
+
+## Roadmap
+
+| Version | Codename | Focus |
+|---------|----------|-------|
+| v0.1.0 | Core Heat | Standalone plugin, durable stages, SQLite state, approvals, skills, fresh evidence, reports |
+| v0.2.0 | Gatehouse | Explainable configurable policy, scoped waivers, risk suggestions, language packs |
+| v0.3.0 | Workcells | Dependency-aware task waves, resumable subagent implementers |
+| v0.4.0 | Challenge Chamber | Independent specialized reviewers, severity, fix/re-review loops |
+| v0.5.0 | Isolation | Branches, worktrees, baseline proof, rollback, backend adapters |
+| v0.6.0 | Tempering | Human-approved provenance-linked learning proposals |
+| v0.7.0 | Control Room | Cross-surface continuity, timeline, notifications, local dashboard |
+| v0.8.0 | Protocol SDK | Frozen documented policy, validator, evidence, report interfaces |
+| v0.9.0 | Hardening | Migration rehearsals, recovery, concurrency, performance, security scenarios |
+| v1.0.0 | Proven | Stable public contracts, multi-repo validation across OS and backend targets |
+
+See [ROADMAP.md](ROADMAP.md). A release advances only after its tests, migrations, security review, compatibility evidence, documentation, and package artifacts pass.
+
+## Contributing
+
+Start with [CONTRIBUTING.md](CONTRIBUTING.md), [GOVERNANCE.md](GOVERNANCE.md), and [CODE_OF_CONDUCT.md](CODE_OF_CONDUCT.md). Design changes use ADRs; breaking protocol changes require a public RFC issue. Contributions use the Developer Certificate of Origin rather than a CLA.
+
+## Inspiration
+
+Hardproof acknowledges conceptual inspiration while maintaining a strict clean-room boundary. See [INSPIRATION.md](INSPIRATION.md).
+
+## License
+
+Apache-2.0. See [LICENSE](LICENSE) and [NOTICE](NOTICE).
+
+## Affiliation
+
+Hardproof is independent open-source software. It is not affiliated with, endorsed by, or sponsored by Hermes Agent, Nous Research, Atlassian, or any other organization.
+
+---
+
+**Topics:** `hermes-agent` `coding-agents` `agentic-coding` `software-engineering` `verification` `developer-tools` `open-source` `python`

hardproof-0.1.1/hardproof/__init__.py

@@ -0,0 +1,3 @@
+"""Hardproof public package."""
+
+__version__ = "0.1.1"

hardproof-0.1.1/hardproof/commands/__init__.py

@@ -0,0 +1 @@
+"""Shared, slash, and terminal command surfaces."""

hardproof-0.1.1/hardproof/commands/cli.py

@@ -0,0 +1,94 @@
+"""`hermes hardproof` argparse adapter."""
+
+from __future__ import annotations
+
+import argparse
+from typing import Any, Callable
+
+from hardproof.commands.shared import CommandService
+
+
+def _configure(parser: argparse.ArgumentParser) -> None:
+    sub = parser.add_subparsers(dest="hardproof_command", required=True)
+    start = sub.add_parser("start")
+    start.add_argument("profile", choices=("quick", "standard", "critical"))
+    start.add_argument("request", nargs="+")
+    sub.add_parser("status")
+    approve = sub.add_parser("approve")
+    approve.add_argument("gate", choices=("design", "plan", "completion"))
+    approve.add_argument("reason", nargs="*")
+    waive = sub.add_parser("waive")
+    waive.add_argument("gate")
+    waive.add_argument("reason", nargs="+")
+    pause = sub.add_parser("pause")
+    pause.add_argument("reason", nargs="*")
+    resume = sub.add_parser("resume")
+    resume.add_argument("run_id", nargs="?")
+    abort = sub.add_parser("abort")
+    abort.add_argument("reason", nargs="+")
+    sub.add_parser("evidence")
+    export = sub.add_parser("export")
+    export.add_argument("path", nargs="?")
+    sub.add_parser("doctor")
+    sub.add_parser("runs")
+    show = sub.add_parser("show")
+    show.add_argument("run_id")
+    config = sub.add_parser("config").add_subparsers(dest="config_command", required=True)
+    config.add_parser("init")
+    config.add_parser("validate")
+    db = sub.add_parser("db").add_subparsers(dest="db_command", required=True)
+    db.add_parser("migrate")
+    sub.add_parser("complete")
+
+
+def build_parser() -> argparse.ArgumentParser:
+    parser = argparse.ArgumentParser(prog="hermes hardproof")
+    _configure(parser)
+    return parser
+
+
+def _to_argv(args: argparse.Namespace) -> list[str]:
+    command = args.hardproof_command
+    if command == "start":
+        return [command, args.profile, *args.request]
+    if command == "approve":
+        return [command, args.gate, *args.reason]
+    if command == "waive":
+        return [command, args.gate, *args.reason]
+    if command in {"pause", "abort"}:
+        return [command, *args.reason]
+    if command == "resume":
+        return [command, *([args.run_id] if args.run_id else [])]
+    if command == "export":
+        return [command, *([args.path] if args.path else [])]
+    if command == "show":
+        return [command, args.run_id]
+    if command == "config":
+        return [command, args.config_command]
+    if command == "db":
+        return [command, args.db_command]
+    return [command]
+
+
+def run_cli(
+    args: argparse.Namespace,
+    *,
+    service_factory: Callable[[], CommandService],
+) -> str:
+    try:
+        return service_factory().execute(_to_argv(args)).text
+    except Exception as exc:
+        return f"Hardproof error: {exc}"[:499]
+
+
+def register_cli(ctx: Any, service_factory: Callable[[], CommandService]) -> None:
+    def handler(args: argparse.Namespace) -> str:
+        return run_cli(args, service_factory=service_factory)
+
+    ctx.register_cli_command(
+        "hardproof",
+        "Manage persistent Hardproof engineering runs",
+        _configure,
+        handler,
+        description="Start, inspect, approve, pause, verify, and export Hardproof runs",
+    )