agentproof-sim 0.1.1__tar.gz

agentproof_sim-0.1.1/.github/ISSUE_TEMPLATE/bug_report.yml

@@ -0,0 +1,54 @@
+name: Bug Report
+description: Report incorrect AgentProof behavior or a failing scenario.
+title: "[Bug]: "
+labels: ["bug"]
+body:
+  - type: markdown
+    attributes:
+      value: |
+        Thanks for helping improve AgentProof.
+
+        Before attaching traces, replay files, JSON reports, or JUnit reports, remove secrets and sensitive business data.
+  - type: input
+    id: version
+    attributes:
+      label: AgentProof version or commit
+      placeholder: "0.1.1 or git SHA"
+    validations:
+      required: true
+  - type: textarea
+    id: problem
+    attributes:
+      label: What happened?
+      description: Describe the incorrect behavior, including the scenario and mutation if relevant.
+    validations:
+      required: true
+  - type: textarea
+    id: expected
+    attributes:
+      label: What did you expect?
+    validations:
+      required: true
+  - type: textarea
+    id: reproduce
+    attributes:
+      label: Minimal reproduction
+      description: Include commands, a small scenario, or a redacted replay artifact path.
+      render: shell
+    validations:
+      required: true
+  - type: textarea
+    id: validation
+    attributes:
+      label: Validation already run
+      description: Paste relevant output from pytest, agentproof CLI, or release-hardening checks.
+      render: shell
+  - type: checkboxes
+    id: safety
+    attributes:
+      label: Safety check
+      options:
+        - label: I have removed API keys, tokens, customer data, and sensitive production payloads from this report.
+          required: true
+        - label: This report does not require maintainers to call a real destructive external service.
+          required: true

agentproof_sim-0.1.1/.github/ISSUE_TEMPLATE/config.yml

@@ -0,0 +1,5 @@
+blank_issues_enabled: false
+contact_links:
+  - name: Security vulnerability
+    url: https://github.com/rohansonawane/agentproof/security/policy
+    about: Please do not report security vulnerabilities in public issues.

agentproof_sim-0.1.1/.github/ISSUE_TEMPLATE/feature_request.yml

@@ -0,0 +1,31 @@
+name: Feature Request
+description: Suggest a mutation, adapter, report format, or workflow improvement.
+title: "[Feature]: "
+labels: ["enhancement"]
+body:
+  - type: textarea
+    id: use_case
+    attributes:
+      label: Real-world use case
+      description: What agent behavior or failure mode should AgentProof help test?
+      placeholder: "Example: prevent duplicate appointment bookings when a booking API times out after committing."
+    validations:
+      required: true
+  - type: textarea
+    id: proposed
+    attributes:
+      label: Proposed behavior
+      description: Describe the mutation, adapter, invariant helper, CLI option, or docs improvement.
+    validations:
+      required: true
+  - type: textarea
+    id: alternatives
+    attributes:
+      label: Alternatives considered
+  - type: checkboxes
+    id: implementation_truth
+    attributes:
+      label: Implementation expectations
+      options:
+        - label: If this is documented as supported, it should include real implementation coverage and tests.
+          required: true

agentproof_sim-0.1.1/.github/dependabot.yml

@@ -0,0 +1,10 @@
+version: 2
+updates:
+  - package-ecosystem: "github-actions"
+    directory: "/"
+    schedule:
+      interval: "weekly"
+      day: "monday"
+      time: "09:15"
+      timezone: "America/Los_Angeles"
+    open-pull-requests-limit: 5

agentproof_sim-0.1.1/.github/pull_request_template.md

@@ -0,0 +1,27 @@
+## Summary
+
+Describe what changed and why.
+
+## Risk
+
+Describe the behavior that could break, including any mutation, replay, report, or adapter boundary affected.
+
+## Validation
+
+- [ ] `ruff format --check .`
+- [ ] `ruff check .`
+- [ ] `mypy src/agentproof`
+- [ ] `pytest -q`
+- [ ] `python -m build`
+- [ ] `twine check dist/*`
+
+## Safety
+
+- [ ] No API keys, tokens, customer data, or production payloads are committed.
+- [ ] Tests do not call real destructive external services.
+- [ ] New public claims are backed by implementation and tests.
+- [ ] Live-provider behavior remains opt-in and is not required for deterministic CI.
+
+## Notes
+
+Add links to issues, replay artifacts, reports, or release validation notes when useful.

agentproof_sim-0.1.1/.github/workflows/ci.yml

@@ -0,0 +1,39 @@
+name: CI
+
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["3.11", "3.12", "3.13"]
+    steps:
+      - uses: actions/checkout@v7
+      - uses: actions/setup-python@v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Install
+        run: python -m pip install -e ".[dev]"
+      - name: Ruff format
+        run: ruff format --check .
+      - name: Ruff lint
+        run: ruff check .
+      - name: Type check
+        run: mypy src/agentproof
+      - name: Tests
+        run: pytest -q -m "not live"
+      - name: Build and check
+        if: matrix.python-version == '3.12'
+        run: |
+          python -m build
+          twine check dist/*
+      - name: Wheel smoke test
+        if: matrix.python-version == '3.12'
+        run: |
+          python -m venv /tmp/agentproof-wheel-smoke
+          /tmp/agentproof-wheel-smoke/bin/python -m pip install dist/*.whl
+          /tmp/agentproof-wheel-smoke/bin/agentproof mutations

agentproof_sim-0.1.1/.github/workflows/release.yml

@@ -0,0 +1,48 @@
+name: Release
+
+on:
+  release:
+    types: [published]
+  workflow_dispatch:
+    inputs:
+      publish_to_pypi:
+        description: "Publish the built distribution to PyPI through Trusted Publishing"
+        required: true
+        type: boolean
+        default: false
+
+permissions:
+  contents: read
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v7
+      - uses: actions/setup-python@v7
+        with:
+          python-version: "3.12"
+      - name: Build
+        run: |
+          python -m pip install build twine
+          python -m build
+          twine check dist/*
+      - uses: actions/upload-artifact@v7
+        with:
+          name: dist
+          path: dist/*
+
+  publish:
+    if: github.event_name == 'workflow_dispatch' && inputs.publish_to_pypi
+    needs: build
+    runs-on: ubuntu-latest
+    environment: pypi
+    permissions:
+      id-token: write
+      contents: read
+    steps:
+      - uses: actions/download-artifact@v8
+        with:
+          name: dist
+          path: dist
+      - uses: pypa/gh-action-pypi-publish@release/v1

agentproof_sim-0.1.1/.gitignore

@@ -0,0 +1,11 @@
+.agentproof/
+.mypy_cache/
+.pytest_cache/
+.ruff_cache/
+.coverage
+__pycache__/
+*.py[cod]
+dist/
+build/
+*.egg-info/
+.venv/