LICENSE
LICENSE-APACHE-2.0
README.md
pyproject.toml
adapter/__init__.py
adapter/_guaranteed_stubs.py
adapter/adaptive_tightening.py
adapter/adaptive_tightening_layer.py
adapter/approval_queue.py
adapter/audit_export.py
adapter/cage_mode.py
adapter/cold_start_check.py
adapter/composition.py
adapter/conflict_renderer.py
adapter/cross_revision.py
adapter/decision_bundle.py
adapter/decision_explainer.py
adapter/decision_schema.py
adapter/dependency_graph.py
adapter/diff_renderer.py
adapter/guaranteed_audit.py
adapter/guaranteed_errors.py
adapter/guaranteed_language.py
adapter/guaranteed_mutation.py
adapter/guaranteed_proof_artifact.py
adapter/guaranteed_prover.py
adapter/guaranteed_runtime.py
adapter/guaranteed_stubs.py
adapter/guaranteed_totality.py
adapter/guarantees.py
adapter/history_store.py
adapter/hybrid_prover.py
adapter/invariants.py
adapter/merge_classifier.py
adapter/meta_policy.py
adapter/metrics.py
adapter/mutation_governance.py
adapter/mutation_safety.py
adapter/payment_intent_matcher.py
adapter/peer_credentials.py
adapter/policy_linter.py
adapter/policy_loader.py
adapter/policy_narrator.py
adapter/policy_persistence.py
adapter/policy_revision.py
adapter/policy_signing.py
adapter/proof_report.py
adapter/prover.py
adapter/replay.py
adapter/revision_runtime.py
adapter/revision_sync.py
adapter/risk_signals.py
adapter/runtime_guard.py
adapter/safety_comparison.py
adapter/self_ref_policy.py
adapter/tau_compiler.py
adapter/tti_bench.py
adapter/verdict_signer.py
adapter/webhook_sink.py
adapter/x402_client.py
adapter/x402_envelope.py
adapter/x402_registry.py
adapter/z3_compiler.py
adapter/signing_backends/__init__.py
adapter/signing_backends/_yubikey_client.py
adapter/signing_backends/errors.py
adapter/signing_backends/ledger.py
adapter/signing_backends/trezor.py
adapter/signing_backends/yubikey.py
daemon/__init__.py
daemon/cli.py
daemon/default_policy.yaml
daemon/guaranteed_cli.py
daemon/quickstart.py
daemon/server.py
daemon/signal_handlers.py
saas/__init__.py
saas/app.py
saas/auth_jwt.py
saas/billing.py
saas/grpc_pb2.py
saas/grpc_pb2_grpc.py
saas/grpc_server.py
saas/main.py
saas/metrics_route.py
saas/models.py
saas/rate_limit.py
saas/tests/__init__.py
saas/tests/test_saas_app.py
saas/web_ui/__init__.py
saas/web_ui/routes.py
saas/web_ui/static/app.js
saas/web_ui/templates/base.html
saas/web_ui/templates/guarantees.html
saas/web_ui/templates/health.html
saas/web_ui/templates/index.html
saas/web_ui/templates/policy.html
saas/web_ui/templates/revision_detail.html
saas/web_ui/templates/revision_diff.html
saas/web_ui/templates/revisions.html
saas/web_ui/templates/safety.html
saas/web_ui/templates/verdicts.html
tau_x402_cage.egg-info/PKG-INFO
tau_x402_cage.egg-info/SOURCES.txt
tau_x402_cage.egg-info/dependency_links.txt
tau_x402_cage.egg-info/entry_points.txt
tau_x402_cage.egg-info/requires.txt
tau_x402_cage.egg-info/top_level.txt
tests/test_adaptive_tightening.py
tests/test_adversarial_battle_pack.py
tests/test_anti_rate_limiter_surface.py
tests/test_approval_queue.py
tests/test_audit_export.py
tests/test_auth_jwt.py
tests/test_bank_evaluation_demo.py
tests/test_bank_mode_envelope_alignment.py
tests/test_branch_respects_core_wired.py
tests/test_cli.py
tests/test_cli_cold_start.py
tests/test_cli_coverage.py
tests/test_cli_help_voice.py
tests/test_client_sdk.py
tests/test_cold_start_check.py
tests/test_compare_before_after.py
tests/test_composed_violation.py
tests/test_conflict_renderer.py
tests/test_corporate_card_demo.py
tests/test_counterparty_constraint.py
tests/test_coverage_edges.py
tests/test_cross_revision.py
tests/test_daemon_approval.py
tests/test_daemon_check_payment.py
tests/test_daemon_peer_auth.py
tests/test_daemon_recent_verdicts.py
tests/test_daemon_tau_timeout.py
tests/test_decision_bundle.py
tests/test_decision_explainer.py
tests/test_decision_schema.py
tests/test_decisive_regression.py
tests/test_deploy_manifests.py
tests/test_diff_renderer.py
tests/test_fragment_v1_decisiveness.py
tests/test_front_door_first_run.py
tests/test_grpc_server.py
tests/test_guaranteed_audit.py
tests/test_guaranteed_errors.py
tests/test_guaranteed_language.py
tests/test_guaranteed_language_v1_1.py
tests/test_guaranteed_language_v1_2.py
tests/test_guaranteed_mode_switch.py
tests/test_guaranteed_mode_unsupported_envelope.py
tests/test_guaranteed_mutation.py
tests/test_guaranteed_mutation_v1_1.py
tests/test_guaranteed_mutual_exclusion.py
tests/test_guaranteed_prover.py
tests/test_guaranteed_pure_bv_assertion.py
tests/test_guaranteed_runtime.py
tests/test_guaranteed_runtime_v1_1.py
tests/test_guaranteed_totality.py
tests/test_guaranteed_totality_v1_1.py
tests/test_guarantees.py
tests/test_guard_state_summary_no_pii.py
tests/test_hero_demo.py
tests/test_hero_demo_command.py
tests/test_history_store.py
tests/test_hybrid_prover.py
tests/test_inspect_explain.py
tests/test_invariants_x402.py
tests/test_jurisdiction_rule.py
tests/test_mcp_tool_description.py
tests/test_merge_classifier.py
tests/test_meta_policy.py
tests/test_metrics.py
tests/test_mock_facilitator_x402.py
tests/test_mutation_governance.py
tests/test_mutation_safety.py
tests/test_mutual_exclusion.py
tests/test_openapi.py
tests/test_payment_intent_matcher.py
tests/test_pointwise_revision.py
tests/test_pointwise_revision_moat.py
tests/test_policy_linter.py
tests/test_policy_loader.py
tests/test_policy_narrator.py
tests/test_policy_persistence.py
tests/test_policy_revision.py
tests/test_policy_signing.py
tests/test_policy_signing_backend_dispatch.py
tests/test_proof_report.py
tests/test_prover.py
tests/test_quickstart.py
tests/test_rate_limit.py
tests/test_replay.py
tests/test_revision_branching.py
tests/test_revision_runtime_awareness.py
tests/test_revision_sync.py
tests/test_risk_signals.py
tests/test_runtime_guard.py
tests/test_safety_comparison.py
tests/test_self_ref_policy.py
tests/test_shadow_mode.py
tests/test_should_pay_op.py
tests/test_signal_handlers.py
tests/test_signing_backends_ledger.py
tests/test_signing_backends_trezor.py
tests/test_signing_backends_yubikey.py
tests/test_strict_mode.py
tests/test_tau_compiler.py
tests/test_tau_prover.py
tests/test_tau_witness_basic.py
tests/test_tau_x402_run.py
tests/test_three_way_merge.py
tests/test_tightening_visibility.py
tests/test_tti_bench.py
tests/test_verdict_chain.py
tests/test_verdict_signer.py
tests/test_verdict_signer_ed25519.py
tests/test_web_ui.py
tests/test_webhook_sink.py
tests/test_x402_client.py
tests/test_x402_envelope.py
tests/test_x402_registry.py
tests/test_z3_compiler.py
tests/test_z3_incremental.py
tests/test_z3_witness.py