forjar 1.25.2

# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2021"
rust-version = "1.89.0"
name = "forjar"
version = "1.25.2"
authors = ["Pragmatic AI Labs"]
build = "build.rs"
exclude = [
    ".pmat-metrics/",
    ".pmat-metrics.toml",
    ".pmat-tickets/",
    ".pmat-gates.toml",
    "benches/",
    ".pmat/",
    ".pmat-work/",
    ".claude/",
    "/state/",
    "docs/",
    "examples/",
    "target/",
    "*.profraw",
    "*.profdata",
    ".vscode/",
    ".idea/",
    "proptest-regressions/",
    ".quorum/",
]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Rust-native Infrastructure as Code — bare-metal first, BLAKE3 state, provenance tracing"
homepage = "https://paiml.com"
readme = "README.md"
keywords = [
    "iac",
    "infrastructure",
    "devops",
    "provisioning",
    "bare-metal",
]
categories = [
    "command-line-utilities",
    "development-tools",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/paiml/forjar"

[package.metadata.transports.cli]
e2e = "dogfood_p4_cli"

[package.metadata.transports.mcp]
e2e = "e2e_mcp_stdio_t"

[package.metadata.transports.http]
e2e = "e2e_verb_http_t"

[package.metadata.unified_surface]
list = "verb list"
cli = "verb call {verb} --json {params}"

[package.metadata.unified_surface.http]
serve = "verb serve --port {port}"
path = "/v1/verbs/{verb}"

[package.metadata.unified_surface.probe]
verb = "validate"
params = '{"path":"forjar.yaml"}'

[package.metadata.docs.rs]
all-features = true
rustdoc-args = ["--generate-link-to-definition"]

[package.metadata.binstall]
pkg-url = "https://github.com/paiml/forjar/releases/download/v{ version }/forjar-{ version }-{ target }.tar.gz"
bin-dir = "{ bin }{ binary-ext }"
pkg-fmt = "tgz"

[package.metadata.binstall.overrides.x86_64-unknown-linux-gnu]
pkg-url = "https://github.com/paiml/forjar/releases/download/v{ version }/forjar-{ version }-x86_64-unknown-linux-gnu.tar.gz"

[package.metadata.binstall.overrides.x86_64-unknown-linux-musl]
pkg-url = "https://github.com/paiml/forjar/releases/download/v{ version }/forjar-{ version }-x86_64-unknown-linux-musl.tar.gz"

[package.metadata.binstall.overrides.aarch64-unknown-linux-gnu]
pkg-url = "https://github.com/paiml/forjar/releases/download/v{ version }/forjar-{ version }-aarch64-unknown-linux-gnu.tar.gz"

[package.metadata.binstall.overrides.aarch64-apple-darwin]
pkg-url = "https://github.com/paiml/forjar/releases/download/v{ version }/forjar-{ version }-aarch64-apple-darwin.tar.gz"

[package.metadata.binstall.overrides.x86_64-apple-darwin]
pkg-url = "https://github.com/paiml/forjar/releases/download/v{ version }/forjar-{ version }-x86_64-apple-darwin.tar.gz"

[package.metadata.release]
shared-version = true

[[package.metadata.release.pre-release-replacements]]
file = "CHANGELOG.md"
search = "Unreleased"
replace = "{{version}}"

[features]
cli = [
    "dep:clap",
    "dep:clap_complete",
    "dep:pforge-runtime",
    "dep:pmcp",
    "dep:tokio",
    "dep:async-trait",
    "dep:schemars",
    "db",
    "tls",
]
container-test = []
db = ["dep:rusqlite"]
default = ["cli"]
dhat-heap = ["dep:dhat"]
encryption = ["dep:age"]
gpu-container-test = []
tls = ["dep:openssl"]
vendored-openssl = [
    "tls",
    "openssl/vendored",
]
wasm-runtime = ["dep:wasmi"]

[lib]
name = "forjar"
path = "src/lib.rs"

[[bin]]
name = "forjar"
path = "src/main.rs"
required-features = ["cli"]

[[test]]
name = "container_transport"
path = "tests/container_transport.rs"

[[test]]
name = "contract_macros_are_not_inert"
path = "tests/contract_macros_are_not_inert.rs"

[[test]]
name = "contract_traits"
path = "tests/contract_traits.rs"

[[test]]
name = "doc_cli_parity"
path = "tests/doc_cli_parity.rs"

[[test]]
name = "dogfood_p4_cli"
path = "tests/dogfood_p4_cli.rs"

[[test]]
name = "e2e_mcp_stdio_t"
path = "tests/e2e_mcp_stdio_t.rs"

[[test]]
name = "e2e_transport_absence_t"
path = "tests/e2e_transport_absence_t.rs"

[[test]]
name = "e2e_verb_http_t"
path = "tests/e2e_verb_http_t.rs"

[[test]]
name = "e2e_verb_surface_t"
path = "tests/e2e_verb_surface_t.rs"

[[test]]
name = "examples_validate"
path = "tests/examples_validate.rs"

[[test]]
name = "falsification_390_a_failed_task_shows_its_stdout"
path = "tests/falsification_390_a_failed_task_shows_its_stdout.rs"

[[test]]
name = "falsification_390_one_stream_reporter"
path = "tests/falsification_390_one_stream_reporter.rs"

[[test]]
name = "falsification_390ab_parallel_wave_parity"
path = "tests/falsification_390ab_parallel_wave_parity.rs"

[[test]]
name = "falsification_390c_json_failure_detail"
path = "tests/falsification_390c_json_failure_detail.rs"

[[test]]
name = "falsification_390e_nested_shell_strictness"
path = "tests/falsification_390e_nested_shell_strictness.rs"

[[test]]
name = "falsification_423_contracts_are_in_tree"
path = "tests/falsification_423_contracts_are_in_tree.rs"

[[test]]
name = "falsification_446_exec_facts_doctor"
path = "tests/falsification_446_exec_facts_doctor.rs"

[[test]]
name = "falsification_absent_removes_what_forjar_did_not_create"
path = "tests/falsification_absent_removes_what_forjar_did_not_create.rs"

[[test]]
name = "falsification_ambient_inputs"
path = "tests/falsification_ambient_inputs.rs"

[[test]]
name = "falsification_apply_is_corrective"
path = "tests/falsification_apply_is_corrective.rs"

[[test]]
name = "falsification_apply_receipt"
path = "tests/falsification_apply_receipt.rs"

[[test]]
name = "falsification_apply_refuses_without_provenance"
path = "tests/falsification_apply_refuses_without_provenance.rs"

[[test]]
name = "falsification_apply_scope_prompt"
path = "tests/falsification_apply_scope_prompt.rs"

[[test]]
name = "falsification_apply_sees_the_target_file"
path = "tests/falsification_apply_sees_the_target_file.rs"

[[test]]
name = "falsification_apply_summary_names_drift_repair"
path = "tests/falsification_apply_summary_names_drift_repair.rs"

[[test]]
name = "falsification_apply_verifies_the_host"
path = "tests/falsification_apply_verifies_the_host.rs"

[[test]]
name = "falsification_audit_encrypt_rollout"
path = "tests/falsification_audit_encrypt_rollout.rs"

[[test]]
name = "falsification_backup_sync"
path = "tests/falsification_backup_sync.rs"

[[test]]
name = "falsification_boundary_flight"
path = "tests/falsification_boundary_flight.rs"

[[test]]
name = "falsification_budget_dry_run"
path = "tests/falsification_budget_dry_run.rs"

[[test]]
name = "falsification_build_transfer_is_sovereign"
path = "tests/falsification_build_transfer_is_sovereign.rs"

[[test]]
name = "falsification_canary_apply_is_authorized"
path = "tests/falsification_canary_apply_is_authorized.rs"

[[test]]
name = "falsification_canary_apply_is_authorized_b"
path = "tests/falsification_canary_apply_is_authorized_b.rs"

[[test]]
name = "falsification_cargo_check"
path = "tests/falsification_cargo_check.rs"

[[test]]
name = "falsification_changeset_dag_staleness"
path = "tests/falsification_changeset_dag_staleness.rs"

[[test]]
name = "falsification_chunker_closure_path"
path = "tests/falsification_chunker_closure_path.rs"

[[test]]
name = "falsification_ci_runs_doctests"
path = "tests/falsification_ci_runs_doctests.rs"

[[test]]
name = "falsification_cis_plugin"
path = "tests/falsification_cis_plugin.rs"

[[test]]
name = "falsification_cis_plugin_b"
path = "tests/falsification_cis_plugin_b.rs"

[[test]]
name = "falsification_codegen_migrate"
path = "tests/falsification_codegen_migrate.rs"

[[test]]
name = "falsification_codegen_secrets"
path = "tests/falsification_codegen_secrets.rs"

[[test]]
name = "falsification_competitive_features"
path = "tests/falsification_competitive_features.rs"

[[test]]
name = "falsification_competitive_features_b"
path = "tests/falsification_competitive_features_b.rs"

[[test]]
name = "falsification_compliance_gate"
path = "tests/falsification_compliance_gate.rs"

[[test]]
name = "falsification_compliance_migration"
path = "tests/falsification_compliance_migration.rs"

[[test]]
name = "falsification_compliance_policy"
path = "tests/falsification_compliance_policy.rs"

[[test]]
name = "falsification_composite_hash_injectivity"
path = "tests/falsification_composite_hash_injectivity.rs"

[[test]]
name = "falsification_conditions_rollout_purifier"
path = "tests/falsification_conditions_rollout_purifier.rs"

[[test]]
name = "falsification_container_builds"
path = "tests/falsification_container_builds.rs"

[[test]]
name = "falsification_contract_citations_resolve"
path = "tests/falsification_contract_citations_resolve.rs"

[[test]]
name = "falsification_contract_gc_registry"
path = "tests/falsification_contract_gc_registry.rs"

[[test]]
name = "falsification_contracts_parse"
path = "tests/falsification_contracts_parse.rs"

[[test]]
name = "falsification_convergence_kernel"
path = "tests/falsification_convergence_kernel.rs"

[[test]]
name = "falsification_convergence_sandbox"
path = "tests/falsification_convergence_sandbox.rs"

[[test]]
name = "falsification_convergence_sandbox_b"
path = "tests/falsification_convergence_sandbox_b.rs"

[[test]]
name = "falsification_convert_cache_exec"
path = "tests/falsification_convert_cache_exec.rs"

[[test]]
name = "falsification_convert_pin_tripwire"
path = "tests/falsification_convert_pin_tripwire.rs"

[[test]]
name = "falsification_convert_pin_validate"
path = "tests/falsification_convert_pin_validate.rs"

[[test]]
name = "falsification_crates_toml_merge"
path = "tests/falsification_crates_toml_merge.rs"

[[test]]
name = "falsification_cron_check_reads_the_owner_crontab"
path = "tests/falsification_cron_check_reads_the_owner_crontab.rs"

[[test]]
name = "falsification_cron_conditions_scanner"
path = "tests/falsification_cron_conditions_scanner.rs"

[[test]]
name = "falsification_cron_rules"
path = "tests/falsification_cron_rules.rs"

[[test]]
name = "falsification_cron_rules_b"
path = "tests/falsification_cron_rules_b.rs"

[[test]]
name = "falsification_cron_source"
path = "tests/falsification_cron_source.rs"

[[test]]
name = "falsification_crypto_mcdc_verus"
path = "tests/falsification_crypto_mcdc_verus.rs"

[[test]]
name = "falsification_dag_changeset"
path = "tests/falsification_dag_changeset.rs"

[[test]]
name = "falsification_default_features_trim"
path = "tests/falsification_default_features_trim.rs"

[[test]]
name = "falsification_derivation_dag"
path = "tests/falsification_derivation_dag.rs"

[[test]]
name = "falsification_derivation_dag_b"
path = "tests/falsification_derivation_dag_b.rs"

[[test]]
name = "falsification_derivation_exec"
path = "tests/falsification_derivation_exec.rs"

[[test]]
name = "falsification_derivation_model"
path = "tests/falsification_derivation_model.rs"

[[test]]
name = "falsification_destroy_undo_roundtrip"
path = "tests/falsification_destroy_undo_roundtrip.rs"

[[test]]
name = "falsification_diff_do330"
path = "tests/falsification_diff_do330.rs"

[[test]]
name = "falsification_diff_task_coverage"
path = "tests/falsification_diff_task_coverage.rs"

[[test]]
name = "falsification_disk_budget"
path = "tests/falsification_disk_budget.rs"

[[test]]
name = "falsification_dist"
path = "tests/falsification_dist.rs"

[[test]]
name = "falsification_dist_checksums"
path = "tests/falsification_dist_checksums.rs"

[[test]]
name = "falsification_dist_verify"
path = "tests/falsification_dist_verify.rs"

[[test]]
name = "falsification_drift_is_not_blind_to_task_guards"
path = "tests/falsification_drift_is_not_blind_to_task_guards.rs"

[[test]]
name = "falsification_drift_without_a_lock_measures_the_host"
path = "tests/falsification_drift_without_a_lock_measures_the_host.rs"

[[test]]
name = "falsification_e01_hash_the_whole_resource"
path = "tests/falsification_e01_hash_the_whole_resource.rs"

[[test]]
name = "falsification_e02_controlmaster_before_the_drift_gate"
path = "tests/falsification_e02_controlmaster_before_the_drift_gate.rs"

[[test]]
name = "falsification_e03_signatures_are_read"
path = "tests/falsification_e03_signatures_are_read.rs"

[[test]]
name = "falsification_e04_run_log_secrets"
path = "tests/falsification_e04_run_log_secrets.rs"

[[test]]
name = "falsification_e05_verb_drift_contacts_the_host"
path = "tests/falsification_e05_verb_drift_contacts_the_host.rs"

[[test]]
name = "falsification_e06_store_is_not_scored"
path = "tests/falsification_e06_store_is_not_scored.rs"

[[test]]
name = "falsification_e07_sandbox_is_real_or_honest"
path = "tests/falsification_e07_sandbox_is_real_or_honest.rs"

[[test]]
name = "falsification_e09_one_scheduler"
path = "tests/falsification_e09_one_scheduler.rs"

[[test]]
name = "falsification_e09_one_scheduler_b"
path = "tests/falsification_e09_one_scheduler_b.rs"

[[test]]
name = "falsification_e13_key_file_hygiene"
path = "tests/falsification_e13_key_file_hygiene.rs"

[[test]]
name = "falsification_e13_signing_key_argv"
path = "tests/falsification_e13_signing_key_argv.rs"

[[test]]
name = "falsification_e14_claims_outrun_behaviour"
path = "tests/falsification_e14_claims_outrun_behaviour.rs"

[[test]]
name = "falsification_env_promotion"
path = "tests/falsification_env_promotion.rs"

[[test]]
name = "falsification_ephemeral_mcdc_migrate"
path = "tests/falsification_ephemeral_mcdc_migrate.rs"

[[test]]
name = "falsification_ephemeral_overlay"
path = "tests/falsification_ephemeral_overlay.rs"

[[test]]
name = "falsification_ephemeral_secrets"
path = "tests/falsification_ephemeral_secrets.rs"

[[test]]
name = "falsification_event_sources"
path = "tests/falsification_event_sources.rs"

[[test]]
name = "falsification_event_sources_b"
path = "tests/falsification_event_sources_b.rs"

[[test]]
name = "falsification_forced_noop_matches_the_run"
path = "tests/falsification_forced_noop_matches_the_run.rs"

[[test]]
name = "falsification_gate_coverage"
path = "tests/falsification_gate_coverage.rs"

[[test]]
name = "falsification_gate_coverage_b"
path = "tests/falsification_gate_coverage_b.rs"

[[test]]
name = "falsification_github_release"
path = "tests/falsification_github_release.rs"

[[test]]
name = "falsification_hf_arch_kernels"
path = "tests/falsification_hf_arch_kernels.rs"

[[test]]
name = "falsification_hf_mutation_registry"
path = "tests/falsification_hf_mutation_registry.rs"

[[test]]
name = "falsification_hf_sandbox_edge"
path = "tests/falsification_hf_sandbox_edge.rs"

[[test]]
name = "falsification_hosted_jobs_do_not_cache_target"
path = "tests/falsification_hosted_jobs_do_not_cache_target/main.rs"

[[test]]
name = "falsification_ignore_drift_is_not_an_off_switch"
path = "tests/falsification_ignore_drift_is_not_an_off_switch.rs"

[[test]]
name = "falsification_ignore_drift_names_one_field"
path = "tests/falsification_ignore_drift_names_one_field.rs"

[[test]]
name = "falsification_image_assembler"
path = "tests/falsification_image_assembler.rs"

[[test]]
name = "falsification_include_deep_validation"
path = "tests/falsification_include_deep_validation.rs"

[[test]]
name = "falsification_include_deep_validation_b"
path = "tests/falsification_include_deep_validation_b.rs"

[[test]]
name = "falsification_ingest_query"
path = "tests/falsification_ingest_query.rs"

[[test]]
name = "falsification_lint_fix_preserves_comments"
path = "tests/falsification_lint_fix_preserves_comments.rs"

[[test]]
name = "falsification_lock_absent_state_dir"
path = "tests/falsification_lock_absent_state_dir.rs"

[[test]]
name = "falsification_lock_verify_chain_gate"
path = "tests/falsification_lock_verify_chain_gate.rs"

[[test]]
name = "falsification_lock_verify_recomputes"
path = "tests/falsification_lock_verify_recomputes.rs"

[[test]]
name = "falsification_lockfile_carries_no_known_yanked_pin"
path = "tests/falsification_lockfile_carries_no_known_yanked_pin.rs"

[[test]]
name = "falsification_lockfile_profile_cache"
path = "tests/falsification_lockfile_profile_cache.rs"

[[test]]
name = "falsification_mcdc_do330"
path = "tests/falsification_mcdc_do330.rs"

[[test]]
name = "falsification_mcp_contract_coverage"
path = "tests/falsification_mcp_contract_coverage.rs"

[[test]]
name = "falsification_mcp_pmat_interceptor"
path = "tests/falsification_mcp_pmat_interceptor.rs"

[[test]]
name = "falsification_mcp_publishes_readonly_hint_over_stdio"
path = "tests/falsification_mcp_publishes_readonly_hint_over_stdio.rs"

[[test]]
name = "falsification_mcp_registry_image"
path = "tests/falsification_mcp_registry_image.rs"

[[test]]
name = "falsification_mcp_remediate"
path = "tests/falsification_mcp_remediate.rs"

[[test]]
name = "falsification_mcp_surface_has_no_checked_in_copy"
path = "tests/falsification_mcp_surface_has_no_checked_in_copy.rs"

[[test]]
name = "falsification_meta_secret_gc"
path = "tests/falsification_meta_secret_gc.rs"

[[test]]
name = "falsification_metric_event"
path = "tests/falsification_metric_event.rs"

[[test]]
name = "falsification_migrate_webhook"
path = "tests/falsification_migrate_webhook.rs"

[[test]]
name = "falsification_migration"
path = "tests/falsification_migration.rs"

[[test]]
name = "falsification_moved_allows_the_canonical_rename"
path = "tests/falsification_moved_allows_the_canonical_rename.rs"

[[test]]
name = "falsification_mutation_observability"
path = "tests/falsification_mutation_observability.rs"

[[test]]
name = "falsification_namespace_rules"
path = "tests/falsification_namespace_rules.rs"

[[test]]
name = "falsification_no_orphaned_source_files"
path = "tests/falsification_no_orphaned_source_files.rs"

[[test]]
name = "falsification_no_tracked_file_is_gitignored"
path = "tests/falsification_no_tracked_file_is_gitignored.rs"

[[test]]
name = "falsification_output_equivalence"
path = "tests/falsification_output_equivalence.rs"

[[test]]
name = "falsification_overlay_interface"
path = "tests/falsification_overlay_interface.rs"

[[test]]
name = "falsification_overlay_interface_contract"
path = "tests/falsification_overlay_interface_contract.rs"

[[test]]
name = "falsification_parser_format_unknown"
path = "tests/falsification_parser_format_unknown.rs"

[[test]]
name = "falsification_parser_policy"
path = "tests/falsification_parser_policy.rs"

[[test]]
name = "falsification_parser_unknown_fields"
path = "tests/falsification_parser_unknown_fields.rs"

[[test]]
name = "falsification_pipeline_io_tracking"
path = "tests/falsification_pipeline_io_tracking.rs"

[[test]]
name = "falsification_plan_body_cannot_omit_pending_work"
path = "tests/falsification_plan_body_cannot_omit_pending_work.rs"

[[test]]
name = "falsification_plan_discloses_its_blind_spot"
path = "tests/falsification_plan_discloses_its_blind_spot.rs"

[[test]]
name = "falsification_plan_file_apply_is_authorized"
path = "tests/falsification_plan_file_apply_is_authorized.rs"

[[test]]
name = "falsification_plan_file_honours_dry_run"
path = "tests/falsification_plan_file_honours_dry_run.rs"

[[test]]
name = "falsification_plan_file_honours_every_flag"
path = "tests/falsification_plan_file_honours_every_flag.rs"

[[test]]
name = "falsification_plan_file_runs_every_gate"
path = "tests/falsification_plan_file_runs_every_gate.rs"

[[test]]
name = "falsification_plan_file_scopes_the_apply"
path = "tests/falsification_plan_file_scopes_the_apply.rs"

[[test]]
name = "falsification_plan_file_survives_a_phony_resource"
path = "tests/falsification_plan_file_survives_a_phony_resource.rs"

[[test]]
name = "falsification_plan_json_discloses_its_blind_spot"
path = "tests/falsification_plan_json_discloses_its_blind_spot.rs"

[[test]]
name = "falsification_plan_names_its_state_dir"
path = "tests/falsification_plan_names_its_state_dir.rs"

[[test]]
name = "falsification_planner"
path = "tests/falsification_planner.rs"

[[test]]
name = "falsification_planner_b"
path = "tests/falsification_planner_b.rs"

[[test]]
name = "falsification_planner_proof_rev"
path = "tests/falsification_planner_proof_rev.rs"

[[test]]
name = "falsification_planner_proof_reversibility"
path = "tests/falsification_planner_proof_reversibility.rs"

[[test]]
name = "falsification_planner_sat_why"
path = "tests/falsification_planner_sat_why.rs"

[[test]]
name = "falsification_platform_spec"
path = "tests/falsification_platform_spec.rs"

[[test]]
name = "falsification_platform_spec_b"
path = "tests/falsification_platform_spec_b.rs"

[[test]]
name = "falsification_plugin_behavior_dist"
path = "tests/falsification_plugin_behavior_dist.rs"

[[test]]
name = "falsification_plugin_behavior_dist_b"
path = "tests/falsification_plugin_behavior_dist_b.rs"

[[test]]
name = "falsification_plugin_dispatch_repro"
path = "tests/falsification_plugin_dispatch_repro.rs"

[[test]]
name = "falsification_policy_boundary"
path = "tests/falsification_policy_boundary.rs"

[[test]]
name = "falsification_policy_boundary_b"
path = "tests/falsification_policy_boundary_b.rs"

[[test]]
name = "falsification_policy_coverage_withdrawn"
path = "tests/falsification_policy_coverage_withdrawn.rs"

[[test]]
name = "falsification_policy_rule_identity"
path = "tests/falsification_policy_rule_identity.rs"

[[test]]
name = "falsification_policy_scope_spelling"
path = "tests/falsification_policy_scope_spelling.rs"

[[test]]
name = "falsification_promotion_events"
path = "tests/falsification_promotion_events.rs"

[[test]]
name = "falsification_promotion_events_b"
path = "tests/falsification_promotion_events_b.rs"

[[test]]
name = "falsification_proof_security"
path = "tests/falsification_proof_security.rs"

[[test]]
name = "falsification_prove_claims"
path = "tests/falsification_prove_claims.rs"

[[test]]
name = "falsification_provider_far_diff"
path = "tests/falsification_provider_far_diff.rs"

[[test]]
name = "falsification_provider_sandbox_sync"
path = "tests/falsification_provider_sandbox_sync.rs"

[[test]]
name = "falsification_providers_conditions"
path = "tests/falsification_providers_conditions.rs"

[[test]]
name = "falsification_purifier_shell_provider"
path = "tests/falsification_purifier_shell_provider.rs"

[[test]]
name = "falsification_purity_monotonicity"
path = "tests/falsification_purity_monotonicity.rs"

[[test]]
name = "falsification_purity_reproscore_refs_hf"
path = "tests/falsification_purity_reproscore_refs_hf.rs"

[[test]]
name = "falsification_query_runlog"
path = "tests/falsification_query_runlog.rs"

[[test]]
name = "falsification_query_type_spelling"
path = "tests/falsification_query_type_spelling.rs"

[[test]]
name = "falsification_quorum_anchors_release_shaped"
path = "tests/falsification_quorum_anchors_release_shaped.rs"

[[test]]
name = "falsification_quorum_gate_reads_the_pushed_ref"
path = "tests/falsification_quorum_gate_reads_the_pushed_ref.rs"

[[test]]
name = "falsification_read_only_verbs_do_not_write"
path = "tests/falsification_read_only_verbs_do_not_write.rs"

[[test]]
name = "falsification_readonly_surface_executes_nothing"
path = "tests/falsification_readonly_surface_executes_nothing.rs"

[[test]]
name = "falsification_recipe_expansion"
path = "tests/falsification_recipe_expansion.rs"

[[test]]
name = "falsification_recipe_resources_are_validated"
path = "tests/falsification_recipe_resources_are_validated.rs"

[[test]]
name = "falsification_reconstruct_rulebook"
path = "tests/falsification_reconstruct_rulebook.rs"

[[test]]
name = "falsification_refinement_contract_ci"
path = "tests/falsification_refinement_contract_ci.rs"

[[test]]
name = "falsification_refinement_types"
path = "tests/falsification_refinement_types.rs"

[[test]]
name = "falsification_refresh_reruns_checks"
path = "tests/falsification_refresh_reruns_checks.rs"

[[test]]
name = "falsification_registry_push_needs_no_curl"
path = "tests/falsification_registry_push_needs_no_curl.rs"

[[test]]
name = "falsification_release_object"
path = "tests/falsification_release_object.rs"

[[test]]
name = "falsification_replace_running_binary"
path = "tests/falsification_replace_running_binary.rs"

[[test]]
name = "falsification_repro_ferrocene_flight"
path = "tests/falsification_repro_ferrocene_flight.rs"

[[test]]
name = "falsification_repro_ferrocene_flight_b"
path = "tests/falsification_repro_ferrocene_flight_b.rs"

[[test]]
name = "falsification_resealed_plan_cannot_claim_zero"
path = "tests/falsification_resealed_plan_cannot_claim_zero.rs"

[[test]]
name = "falsification_rollout_promotion"
path = "tests/falsification_rollout_promotion.rs"

[[test]]
name = "falsification_rules_engine_runtime"
path = "tests/falsification_rules_engine_runtime.rs"

[[test]]
name = "falsification_rules_runtime"
path = "tests/falsification_rules_runtime.rs"

[[test]]
name = "falsification_runlog_doctor_imagelog"
path = "tests/falsification_runlog_doctor_imagelog.rs"

[[test]]
name = "falsification_sandbox_derivation"
path = "tests/falsification_sandbox_derivation.rs"

[[test]]
name = "falsification_sandbox_derivation_hf"
path = "tests/falsification_sandbox_derivation_hf.rs"

[[test]]
name = "falsification_sat_changeset"
path = "tests/falsification_sat_changeset.rs"

[[test]]
name = "falsification_sat_changeset_b"
path = "tests/falsification_sat_changeset_b.rs"

[[test]]
name = "falsification_scoring_recipe_validation"
path = "tests/falsification_scoring_recipe_validation.rs"

[[test]]
name = "falsification_scoring_runtime"
path = "tests/falsification_scoring_runtime.rs"

[[test]]
name = "falsification_scoring_static"
path = "tests/falsification_scoring_static.rs"

[[test]]
name = "falsification_scoring_static_b"
path = "tests/falsification_scoring_static_b.rs"

[[test]]
name = "falsification_script_secret_lint"
path = "tests/falsification_script_secret_lint.rs"

[[test]]
name = "falsification_sealed_plan_body"
path = "tests/falsification_sealed_plan_body.rs"

[[test]]
name = "falsification_secret_audit"
path = "tests/falsification_secret_audit.rs"

[[test]]
name = "falsification_secret_namespace"
path = "tests/falsification_secret_namespace.rs"

[[test]]
name = "falsification_security_container_gen"
path = "tests/falsification_security_container_gen.rs"

[[test]]
name = "falsification_security_observability"
path = "tests/falsification_security_observability.rs"

[[test]]
name = "falsification_security_observability_b"
path = "tests/falsification_security_observability_b.rs"

[[test]]
name = "falsification_security_scan"
path = "tests/falsification_security_scan.rs"

[[test]]
name = "falsification_spec_criteria"
path = "tests/falsification_spec_criteria.rs"

[[test]]
name = "falsification_spec_criteria_b"
path = "tests/falsification_spec_criteria_b.rs"

[[test]]
name = "falsification_spec_is_not_status"
path = "tests/falsification_spec_is_not_status.rs"

[[test]]
name = "falsification_staleness_lockfile_cache"
path = "tests/falsification_staleness_lockfile_cache.rs"

[[test]]
name = "falsification_state_encryption"
path = "tests/falsification_state_encryption.rs"

[[test]]
name = "falsification_state_integrity"
path = "tests/falsification_state_integrity.rs"

[[test]]
name = "falsification_store_closure_ref"
path = "tests/falsification_store_closure_ref.rs"

[[test]]
name = "falsification_store_db_chunker_layer"
path = "tests/falsification_store_db_chunker_layer.rs"

[[test]]
name = "falsification_store_output_addressing"
path = "tests/falsification_store_output_addressing.rs"

[[test]]
name = "falsification_store_path_lock_deriv"
path = "tests/falsification_store_path_lock_deriv.rs"

[[test]]
name = "falsification_store_path_lock_deriv_b"
path = "tests/falsification_store_path_lock_deriv_b.rs"

[[test]]
name = "falsification_store_pin_query_ingest"
path = "tests/falsification_store_pin_query_ingest.rs"

[[test]]
name = "falsification_store_pin_query_ingest_b"
path = "tests/falsification_store_pin_query_ingest_b.rs"

[[test]]
name = "falsification_store_profile_sandbox_far"
path = "tests/falsification_store_profile_sandbox_far.rs"

[[test]]
name = "falsification_store_profile_sandbox_far_b"
path = "tests/falsification_store_profile_sandbox_far_b.rs"

[[test]]
name = "falsification_store_purity_repro"
path = "tests/falsification_store_purity_repro.rs"

[[test]]
name = "falsification_store_purity_repro_b"
path = "tests/falsification_store_purity_repro_b.rs"

[[test]]
name = "falsification_store_root"
path = "tests/falsification_store_root.rs"

[[test]]
name = "falsification_store_substitution_provider"
path = "tests/falsification_store_substitution_provider.rs"

[[test]]
name = "falsification_store_substitution_provider_b"
path = "tests/falsification_store_substitution_provider_b.rs"

[[test]]
name = "falsification_store_validate_gc"
path = "tests/falsification_store_validate_gc.rs"

[[test]]
name = "falsification_substitution_conda"
path = "tests/falsification_substitution_conda.rs"

[[test]]
name = "falsification_sudo_check_matches_apply"
path = "tests/falsification_sudo_check_matches_apply.rs"

[[test]]
name = "falsification_sudo_transport_closefrom_emulated"
path = "tests/falsification_sudo_transport_closefrom_emulated.rs"

[[test]]
name = "falsification_sudo_transport_survives_closefrom"
path = "tests/falsification_sudo_transport_survives_closefrom.rs"

[[test]]
name = "falsification_symlink_at_a_managed_path"
path = "tests/falsification_symlink_at_a_managed_path.rs"

[[test]]
name = "falsification_task_check_honours_working_dir"
path = "tests/falsification_task_check_honours_working_dir.rs"

[[test]]
name = "falsification_task_dispatch"
path = "tests/falsification_task_dispatch.rs"

[[test]]
name = "falsification_task_dispatch_gate"
path = "tests/falsification_task_dispatch_gate.rs"

[[test]]
name = "falsification_task_gpu_barrier"
path = "tests/falsification_task_gpu_barrier.rs"

[[test]]
name = "falsification_task_service_lifecycle"
path = "tests/falsification_task_service_lifecycle.rs"

[[test]]
name = "falsification_task_verifies_completion"
path = "tests/falsification_task_verifies_completion.rs"

[[test]]
name = "falsification_template_codegen"
path = "tests/falsification_template_codegen.rs"

[[test]]
name = "falsification_template_drift_reconstruct"
path = "tests/falsification_template_drift_reconstruct.rs"

[[test]]
name = "falsification_test_query_handler"
path = "tests/falsification_test_query_handler.rs"

[[test]]
name = "falsification_testing_contracts"
path = "tests/falsification_testing_contracts.rs"

[[test]]
name = "falsification_tripwire_hasher_anomaly"
path = "tests/falsification_tripwire_hasher_anomaly.rs"

[[test]]
name = "falsification_undeclared_inputs"
path = "tests/falsification_undeclared_inputs.rs"

[[test]]
name = "falsification_undo_actually_undoes"
path = "tests/falsification_undo_actually_undoes.rs"

[[test]]
name = "falsification_undo_advice_is_actionable"
path = "tests/falsification_undo_advice_is_actionable.rs"

[[test]]
name = "falsification_undo_replay_fidelity"
path = "tests/falsification_undo_replay_fidelity.rs"

[[test]]
name = "falsification_undo_state_dir_interlock"
path = "tests/falsification_undo_state_dir_interlock.rs"

[[test]]
name = "falsification_undo_webhook"
path = "tests/falsification_undo_webhook.rs"

[[test]]
name = "falsification_unknown_field_is_rejected_everywhere"
path = "tests/falsification_unknown_field_is_rejected_everywhere.rs"

[[test]]
name = "falsification_unobservable_sentinel_survives_i8"
path = "tests/falsification_unobservable_sentinel_survives_i8.rs"

[[test]]
name = "falsification_validation_lsp"
path = "tests/falsification_validation_lsp.rs"

[[test]]
name = "falsification_validation_lsp_b"
path = "tests/falsification_validation_lsp_b.rs"

[[test]]
name = "falsification_verb_cli_reader_parity"
path = "tests/falsification_verb_cli_reader_parity.rs"

[[test]]
name = "falsification_verb_honours_the_workspace"
path = "tests/falsification_verb_honours_the_workspace.rs"

[[test]]
name = "falsification_verb_pending_discharge"
path = "tests/falsification_verb_pending_discharge.rs"

[[test]]
name = "falsification_verb_readonly_surface"
path = "tests/falsification_verb_readonly_surface.rs"

[[test]]
name = "falsification_verb_workspace_report"
path = "tests/falsification_verb_workspace_report.rs"

[[test]]
name = "falsification_verify_cmd"
path = "tests/falsification_verify_cmd.rs"

[[test]]
name = "falsification_version_matches_manifest"
path = "tests/falsification_version_matches_manifest.rs"

[[test]]
name = "falsification_wasm_build_pipeline"
path = "tests/falsification_wasm_build_pipeline.rs"

[[test]]
name = "falsification_wasm_build_pipeline_b"
path = "tests/falsification_wasm_build_pipeline_b.rs"

[[test]]
name = "falsification_wasm_ci_types"
path = "tests/falsification_wasm_ci_types.rs"

[[test]]
name = "falsification_watch_daemon"
path = "tests/falsification_watch_daemon.rs"

[[test]]
name = "falsification_watch_daemon_b"
path = "tests/falsification_watch_daemon_b.rs"

[[test]]
name = "falsification_yes_is_not_an_integrity_override"
path = "tests/falsification_yes_is_not_an_integrity_override.rs"

[[test]]
name = "gpu_container_transport"
path = "tests/gpu_container_transport.rs"

[[test]]
name = "install_sh_parity"
path = "tests/install_sh_parity.rs"

[[test]]
name = "integration_compliance_gate"
path = "tests/integration_compliance_gate.rs"

[[test]]
name = "integration_event_driven"
path = "tests/integration_event_driven.rs"

[[test]]
name = "integration_plugin_lifecycle"
path = "tests/integration_plugin_lifecycle.rs"

[[test]]
name = "integration_promotion_pipeline"
path = "tests/integration_promotion_pipeline.rs"

[[test]]
name = "integration_smoke"
path = "tests/integration_smoke.rs"

[[test]]
name = "test_fj129_force_distinguishability"
path = "tests/test_fj129_force_distinguishability.rs"

[dependencies.age]
version = "0.11"
optional = true
default-features = false

[dependencies.async-trait]
version = "0.1"
optional = true

[dependencies.base64]
version = "0.22.1"

[dependencies.bashrs]
version = "6.68.0"

[dependencies.blake3]
version = "1.8"

[dependencies.bzip2]
version = "0.6"

[dependencies.clap]
version = "4"
features = ["derive"]
optional = true

[dependencies.clap_complete]
version = "4"
optional = true

[dependencies.copia]
version = "=0.2.0"

[dependencies.dhat]
version = "0.3.3"
optional = true

[dependencies.flate2]
version = "1"

[dependencies.forjar-contracts-macros]
version = "=0.31.2"

[dependencies.glob]
version = "0.3"

[dependencies.hmac]
version = "0.12"

[dependencies.indexmap]
version = "2.7"
features = ["serde"]

[dependencies.openssl]
version = "0.10"
optional = true

[dependencies.pforge-runtime]
version = "0.1.4"
optional = true

[dependencies.pmcp]
version = "1.20"
optional = true
default-features = false

[dependencies.regex]
version = "1"

[dependencies.rusqlite]
version = "0.32"
features = ["bundled"]
optional = true

[dependencies.rustc-hash]
version = "2"

[dependencies.schemars]
version = "0.8"
features = ["derive"]
optional = true

[dependencies.serde]
version = "1.0"
features = ["derive"]

[dependencies.serde_json]
version = "1.0"

[dependencies.serde_yaml_ng]
version = "0.10"

[dependencies.sha2]
version = "0.10"

[dependencies.tar]
version = "0.4"

[dependencies.tokio]
version = "1.35"
features = [
    "rt-multi-thread",
    "macros",
]
optional = true

[dependencies.toml]
version = "1.1"

[dependencies.ureq]
version = "3.4"
features = ["platform-verifier"]

[dependencies.wasmi]
version = "0.40"
optional = true

[dependencies.zip]
version = "2"
features = [
    "deflate",
    "bzip2",
    "zstd",
]
default-features = false

[dependencies.zstd]
version = "0.13"

[dev-dependencies.criterion]
version = "0.8"
features = ["html_reports"]

[dev-dependencies.dhat]
version = "0.3.3"

[dev-dependencies.forjar-contracts]
version = "=0.31.2"

[dev-dependencies.proptest]
version = "1"

[dev-dependencies.tempfile]
version = "3"

[build-dependencies.forjar-contracts]
version = "=0.31.2"

[build-dependencies.serde]
version = "1.0"
features = ["derive"]

[build-dependencies.serde_yaml_ng]
version = "0.10"

[lints.clippy]
checked_conversions = "warn"
undocumented_unsafe_blocks = "deny"

[lints.clippy.all]
level = "warn"
priority = -1

[lints.rust]
unsafe_code = "forbid"

[lints.rust.unexpected_cfgs]
level = "allow"
priority = 0
check-cfg = [
    "cfg(kani)",
    "cfg(verus)",
]

[profile.dev]
panic = "abort"

[profile.release]
opt-level = 3
lto = true
codegen-units = 1
panic = "abort"
strip = true