LICENSE
MANIFEST.in
README.md
pyproject.toml
docs/RELEASING.md
docs/a2a.md
docs/adapter-api.md
docs/adapters.md
docs/architecture.md
docs/brokered-file-write.md
docs/bundles-and-index.md
docs/customer-support-action.md
docs/done-receipt.md
docs/install.md
docs/observation-vantage.md
docs/recipe-source.json
docs/recipes.json
docs/recipes.md
docs/release.json
docs/running.md
docs/spend-reservation.md
docs/architecture/DESIGN_DECISIONS.md
examples/authority-anchor/capture.json
examples/authority-anchor/case.json
examples/authority-anchor/policy.json
examples/brokered-file-write/MANIFEST.json
examples/brokered-file-write/generate.py
examples/brokered-file-write/false-negative/case.json
examples/brokered-file-write/false-negative/head.json
examples/brokered-file-write/false-negative/history.jsonl
examples/brokered-file-write/false-negative/ledger.jsonl
examples/brokered-file-write/false-negative/packet.json
examples/brokered-file-write/false-negative/policy.json
examples/brokered-file-write/false-negative/report.json
examples/brokered-file-write/false-negative/result.txt
examples/brokered-file-write/missing-terminal/case.json
examples/brokered-file-write/missing-terminal/head.json
examples/brokered-file-write/missing-terminal/history.jsonl
examples/brokered-file-write/missing-terminal/ledger.jsonl
examples/brokered-file-write/missing-terminal/policy.json
examples/brokered-file-write/missing-terminal/report.json
examples/brokered-file-write/missing-terminal/result.txt
examples/brokered-file-write/recorded/case.json
examples/brokered-file-write/recorded/head.json
examples/brokered-file-write/recorded/history.jsonl
examples/brokered-file-write/recorded/ledger.jsonl
examples/brokered-file-write/recorded/packet.json
examples/brokered-file-write/recorded/policy.json
examples/brokered-file-write/recorded/report.json
examples/brokered-file-write/recorded/result.txt
examples/customer-support-action/MANIFEST.json
examples/customer-support-action/adapter.py
examples/customer-support-action/consumer.py
examples/customer-support-action/generate.py
examples/customer-support-action/cases/exact-manager/action.json
examples/customer-support-action/cases/exact-manager/approval_uses.json
examples/customer-support-action/cases/exact-manager/case.json
examples/customer-support-action/cases/exact-manager/company_policy.json
examples/customer-support-action/cases/exact-manager/customer.json
examples/customer-support-action/cases/exact-manager/draft.txt
examples/customer-support-action/cases/exact-manager/manager_approval.json
examples/customer-support-action/cases/exact-manager/policy.json
examples/customer-support-action/cases/exact-manager/report.json
examples/customer-support-action/cases/green-over-limit/action.json
examples/customer-support-action/cases/green-over-limit/case.json
examples/customer-support-action/cases/green-over-limit/company_policy.json
examples/customer-support-action/cases/green-over-limit/customer.json
examples/customer-support-action/cases/green-over-limit/draft.txt
examples/customer-support-action/cases/green-over-limit/policy.json
examples/customer-support-action/cases/green-over-limit/report.json
examples/customer-support-action/cases/needs-manager/action.json
examples/customer-support-action/cases/needs-manager/case.json
examples/customer-support-action/cases/needs-manager/company_policy.json
examples/customer-support-action/cases/needs-manager/customer.json
examples/customer-support-action/cases/needs-manager/draft.txt
examples/customer-support-action/cases/needs-manager/policy.json
examples/customer-support-action/cases/needs-manager/report.json
examples/customer-support-action/cases/routine/action.json
examples/customer-support-action/cases/routine/case.json
examples/customer-support-action/cases/routine/company_policy.json
examples/customer-support-action/cases/routine/customer.json
examples/customer-support-action/cases/routine/draft.txt
examples/customer-support-action/cases/routine/policy.json
examples/customer-support-action/cases/routine/report.json
examples/done-receipt/MANIFEST.json
examples/done-receipt/generate.py
examples/done-receipt/forged-receipt/acceptance.case.json
examples/done-receipt/forged-receipt/acceptance.policy.json
examples/done-receipt/forged-receipt/capability.json
examples/done-receipt/forged-receipt/claims.json
examples/done-receipt/forged-receipt/completion-claim.case.json
examples/done-receipt/forged-receipt/completion-claim.policy.json
examples/done-receipt/forged-receipt/contract.json
examples/done-receipt/forged-receipt/grade.json
examples/done-receipt/forged-receipt/observation.json
examples/done-receipt/forged-receipt/probes.case.json
examples/done-receipt/forged-receipt/probes.policy.json
examples/done-receipt/forged-receipt/protected-paths.case.json
examples/done-receipt/forged-receipt/protected-paths.policy.json
examples/done-receipt/forged-receipt/receipt.case.json
examples/done-receipt/forged-receipt/receipt.json
examples/done-receipt/forged-receipt/receipt.policy.json
examples/done-receipt/forged-receipt/tool-claims.case.json
examples/done-receipt/forged-receipt/tool-claims.policy.json
examples/done-receipt/forged-receipt/tree.json
examples/done-receipt/honest/acceptance.case.json
examples/done-receipt/honest/acceptance.policy.json
examples/done-receipt/honest/capability.json
examples/done-receipt/honest/claims.json
examples/done-receipt/honest/completion-claim.case.json
examples/done-receipt/honest/completion-claim.policy.json
examples/done-receipt/honest/contract.json
examples/done-receipt/honest/grade.json
examples/done-receipt/honest/observation.json
examples/done-receipt/honest/probes.case.json
examples/done-receipt/honest/probes.policy.json
examples/done-receipt/honest/protected-paths.case.json
examples/done-receipt/honest/protected-paths.policy.json
examples/done-receipt/honest/receipt.case.json
examples/done-receipt/honest/receipt.json
examples/done-receipt/honest/receipt.policy.json
examples/done-receipt/honest/tool-claims.case.json
examples/done-receipt/honest/tool-claims.policy.json
examples/done-receipt/honest/tree.json
examples/done-receipt/honest-failure/acceptance.case.json
examples/done-receipt/honest-failure/acceptance.policy.json
examples/done-receipt/honest-failure/capability.json
examples/done-receipt/honest-failure/claims.json
examples/done-receipt/honest-failure/completion-claim.case.json
examples/done-receipt/honest-failure/completion-claim.policy.json
examples/done-receipt/honest-failure/contract.json
examples/done-receipt/honest-failure/grade.json
examples/done-receipt/honest-failure/observation.json
examples/done-receipt/honest-failure/probes.case.json
examples/done-receipt/honest-failure/probes.policy.json
examples/done-receipt/honest-failure/protected-paths.case.json
examples/done-receipt/honest-failure/protected-paths.policy.json
examples/done-receipt/honest-failure/receipt.case.json
examples/done-receipt/honest-failure/receipt.json
examples/done-receipt/honest-failure/receipt.policy.json
examples/done-receipt/honest-failure/tool-claims.case.json
examples/done-receipt/honest-failure/tool-claims.policy.json
examples/done-receipt/honest-failure/tree.json
examples/done-receipt/lost-events/acceptance.case.json
examples/done-receipt/lost-events/acceptance.policy.json
examples/done-receipt/lost-events/capability.json
examples/done-receipt/lost-events/claims.json
examples/done-receipt/lost-events/completion-claim.case.json
examples/done-receipt/lost-events/completion-claim.policy.json
examples/done-receipt/lost-events/contract.json
examples/done-receipt/lost-events/grade.json
examples/done-receipt/lost-events/observation.json
examples/done-receipt/lost-events/probes.case.json
examples/done-receipt/lost-events/probes.policy.json
examples/done-receipt/lost-events/protected-paths.case.json
examples/done-receipt/lost-events/protected-paths.policy.json
examples/done-receipt/lost-events/receipt.case.json
examples/done-receipt/lost-events/receipt.json
examples/done-receipt/lost-events/receipt.policy.json
examples/done-receipt/lost-events/tool-claims.case.json
examples/done-receipt/lost-events/tool-claims.policy.json
examples/done-receipt/lost-events/tree.json
examples/done-receipt/planted-adversary/acceptance.case.json
examples/done-receipt/planted-adversary/acceptance.policy.json
examples/done-receipt/planted-adversary/capability.json
examples/done-receipt/planted-adversary/claims.json
examples/done-receipt/planted-adversary/completion-claim.case.json
examples/done-receipt/planted-adversary/completion-claim.policy.json
examples/done-receipt/planted-adversary/contract.json
examples/done-receipt/planted-adversary/grade.json
examples/done-receipt/planted-adversary/observation.json
examples/done-receipt/planted-adversary/probes.case.json
examples/done-receipt/planted-adversary/probes.policy.json
examples/done-receipt/planted-adversary/protected-paths.case.json
examples/done-receipt/planted-adversary/protected-paths.policy.json
examples/done-receipt/planted-adversary/receipt.case.json
examples/done-receipt/planted-adversary/receipt.json
examples/done-receipt/planted-adversary/receipt.policy.json
examples/done-receipt/planted-adversary/tool-claims.case.json
examples/done-receipt/planted-adversary/tool-claims.policy.json
examples/done-receipt/planted-adversary/tree.json
examples/done-receipt/tampered-grader/acceptance.case.json
examples/done-receipt/tampered-grader/acceptance.policy.json
examples/done-receipt/tampered-grader/capability.json
examples/done-receipt/tampered-grader/claims.json
examples/done-receipt/tampered-grader/completion-claim.case.json
examples/done-receipt/tampered-grader/completion-claim.policy.json
examples/done-receipt/tampered-grader/contract.json
examples/done-receipt/tampered-grader/grade.json
examples/done-receipt/tampered-grader/observation.json
examples/done-receipt/tampered-grader/probes.case.json
examples/done-receipt/tampered-grader/probes.policy.json
examples/done-receipt/tampered-grader/protected-paths.case.json
examples/done-receipt/tampered-grader/protected-paths.policy.json
examples/done-receipt/tampered-grader/receipt.case.json
examples/done-receipt/tampered-grader/receipt.json
examples/done-receipt/tampered-grader/receipt.policy.json
examples/done-receipt/tampered-grader/tool-claims.case.json
examples/done-receipt/tampered-grader/tool-claims.policy.json
examples/done-receipt/tampered-grader/tree.json
examples/dsse-bundle/generate.py
examples/dsse-bundle/malformed-no-signatures.dsse.json
examples/dsse-bundle/malformed-unpadded-base64.dsse.json
examples/dsse-bundle/other.pub
examples/dsse-bundle/signer.pub
examples/dsse-bundle/tampered-payload.dsse.json
examples/dsse-bundle/tampered-receipt.dsse.json
examples/dsse-bundle/valid.dsse.json
examples/dsse-bundle/vectors.json
examples/dsse-bundle/wrong-key.dsse.json
examples/dsse-bundle/wrong-payload-type.dsse.json
examples/dsse-bundle/expected/malformed-no-signatures.err
examples/dsse-bundle/expected/malformed-unpadded-base64.err
examples/dsse-bundle/expected/tampered-payload.json
examples/dsse-bundle/expected/tampered-receipt.json
examples/dsse-bundle/expected/valid.json
examples/dsse-bundle/expected/wrong-key.json
examples/dsse-bundle/expected/wrong-payload-type.json
examples/event-absence/capability.json
examples/event-absence/case.json
examples/event-absence/observation.json
examples/event-absence/policy.json
examples/event-absence-v2/MANIFEST.json
examples/event-absence-v2/generate.py
examples/event-absence-v2/covered/capability.json
examples/event-absence-v2/covered/case.json
examples/event-absence-v2/covered/observation.json
examples/event-absence-v2/covered/policy.json
examples/event-absence-v2/observed-write/capability.json
examples/event-absence-v2/observed-write/case.json
examples/event-absence-v2/observed-write/observation.json
examples/event-absence-v2/observed-write/policy.json
examples/event-absence-v2/self-reported-write/capability.json
examples/event-absence-v2/self-reported-write/case.json
examples/event-absence-v2/self-reported-write/observation.json
examples/event-absence-v2/self-reported-write/policy.json
examples/operand-lineage/case.json
examples/operand-lineage/execution.json
examples/operand-lineage/policy.json
examples/operand-lineage/source.json
examples/source-coverage/AIID-FIELD-NOTE.md
examples/source-coverage/__init__.py
examples/source-coverage/case-complete.json
examples/source-coverage/case.json
examples/source-coverage/policy-april.json
examples/source-coverage/policy-complete.json
examples/source-coverage/policy-june.json
examples/source-coverage/report-complete.txt
examples/source-coverage/report.txt
examples/source-coverage/source.html
examples/spend-reservation/MANIFEST.json
examples/spend-reservation/generate.py
examples/spend-reservation/accepted/budget.json
examples/spend-reservation/accepted/case.json
examples/spend-reservation/accepted/policy.json
examples/spend-reservation/accepted/prices.json
examples/spend-reservation/accepted/trace.json
examples/spend-reservation/pending/budget.json
examples/spend-reservation/pending/case.json
examples/spend-reservation/pending/policy.json
examples/spend-reservation/pending/prices.json
examples/spend-reservation/pending/trace.json
examples/spend-reservation/refused-overshoot/budget.json
examples/spend-reservation/refused-overshoot/case.json
examples/spend-reservation/refused-overshoot/policy.json
examples/spend-reservation/refused-overshoot/prices.json
examples/spend-reservation/refused-overshoot/trace.json
scripts/brokered-file-write-producer.py
scripts/build-recipes.py
scripts/check-artifacts-controls.py
scripts/check-artifacts.py
scripts/check-brokered-file-write.py
scripts/check-installed.py
scripts/check-lock-current.sh
scripts/distribution_checks.py
scripts/manifest-brokered-file-write.py
scripts/mutation-check-done.py
src/probity_verify/__init__.py
src/probity_verify/a2a_client.py
src/probity_verify/a2a_server.py
src/probity_verify/broker_records.py
src/probity_verify/bundle.py
src/probity_verify/cli.py
src/probity_verify/common.py
src/probity_verify/core.py
src/probity_verify/dsse.py
src/probity_verify/index.py
src/probity_verify/json_input.py
src/probity_verify/vocabulary.py
src/probity_verify.egg-info/PKG-INFO
src/probity_verify.egg-info/SOURCES.txt
src/probity_verify.egg-info/dependency_links.txt
src/probity_verify.egg-info/entry_points.txt
src/probity_verify.egg-info/requires.txt
src/probity_verify.egg-info/top_level.txt
src/probity_verify/adapters/__init__.py
src/probity_verify/adapters/acceptance_observed.py
src/probity_verify/adapters/authority_anchor.py
src/probity_verify/adapters/brokered_file_write.py
src/probity_verify/adapters/completion_claim.py
src/probity_verify/adapters/done_argv.py
src/probity_verify/adapters/done_receipt.py
src/probity_verify/adapters/done_records.py
src/probity_verify/adapters/event_absence.py
src/probity_verify/adapters/operand_lineage.py
src/probity_verify/adapters/probe_observed.py
src/probity_verify/adapters/protected_paths.py
src/probity_verify/adapters/source_coverage.py
src/probity_verify/adapters/spend_reservation.py
src/probity_verify/adapters/tool_claim_match.py
src/probity_verify/adapters/witnessed.py
tests/done_run.py
tests/test_a2a_transport.py
tests/test_acceptance_observed.py
tests/test_adapter_registry.py
tests/test_adjudication.py
tests/test_artifact_reader.py
tests/test_authority_anchor.py
tests/test_brokered_file_write.py
tests/test_bundle.py
tests/test_cli_commands.py
tests/test_completion_claim.py
tests/test_consumer_bundle.py
tests/test_customer_support_action.py
tests/test_done_argv.py
tests/test_done_argv_env_assignment.py
tests/test_done_receipt.py
tests/test_done_receipt_examples.py
tests/test_dsse_envelope.py
tests/test_event_absence.py
tests/test_event_absence_v2.py
tests/test_grader_path_scratch.py
tests/test_index.py
tests/test_lock_current_script.py
tests/test_operand_lineage.py
tests/test_out_of_tree_tamper.py
tests/test_parent_pytest_config.py
tests/test_probe_observed.py
tests/test_protected_paths.py
tests/test_recipes.py
tests/test_release_pins.py
tests/test_spend_reservation.py
tests/test_tool_claim_match.py
tests/test_tool_claims_record.py
tests/test_tree_path_control_characters.py
tests/test_vocabulary.py
tests/test_witness_scope.py
tests/test_witnessed_scope.py
tests/witness_bundles.py
tests/witness_run.py
tests/data/dsse_cross_lang_signing.json
vectors-done-checks/MANIFEST.json
vectors-done-checks/README.md
vectors-done-checks/check_vectors.py
vectors-done-checks/gen_vectors.py
vectors-done-checks/cases/acceptance-heldout-timed-out/case.json
vectors-done-checks/cases/acceptance-heldout-timed-out/contract.json
vectors-done-checks/cases/acceptance-heldout-timed-out/grade.json
vectors-done-checks/cases/acceptance-heldout-timed-out/policy.json
vectors-done-checks/cases/acceptance-heldout-timed-out/tree.json
vectors-done-checks/cases/acceptance-sealed-test-skipped/case.json
vectors-done-checks/cases/acceptance-sealed-test-skipped/contract.json
vectors-done-checks/cases/acceptance-sealed-test-skipped/grade.json
vectors-done-checks/cases/acceptance-sealed-test-skipped/policy.json
vectors-done-checks/cases/acceptance-sealed-test-skipped/tree.json
vectors-done-checks/cases/acceptance-sealed-tests-passed/case.json
vectors-done-checks/cases/acceptance-sealed-tests-passed/contract.json
vectors-done-checks/cases/acceptance-sealed-tests-passed/grade.json
vectors-done-checks/cases/acceptance-sealed-tests-passed/policy.json
vectors-done-checks/cases/acceptance-sealed-tests-passed/tree.json
vectors-done-checks/cases/acceptance-visible-timed-out/case.json
vectors-done-checks/cases/acceptance-visible-timed-out/contract.json
vectors-done-checks/cases/acceptance-visible-timed-out/grade.json
vectors-done-checks/cases/acceptance-visible-timed-out/policy.json
vectors-done-checks/cases/acceptance-visible-timed-out/tree.json
vectors-done-checks/cases/protected-ancestor-chmod/capability.json
vectors-done-checks/cases/protected-ancestor-chmod/case.json
vectors-done-checks/cases/protected-ancestor-chmod/contract.json
vectors-done-checks/cases/protected-ancestor-chmod/observation.json
vectors-done-checks/cases/protected-ancestor-chmod/policy.json
vectors-done-checks/cases/protected-ancestor-chmod/tree.json
vectors-done-checks/cases/protected-ancestor-replaced-by-symlink/capability.json
vectors-done-checks/cases/protected-ancestor-replaced-by-symlink/case.json
vectors-done-checks/cases/protected-ancestor-replaced-by-symlink/contract.json
vectors-done-checks/cases/protected-ancestor-replaced-by-symlink/observation.json
vectors-done-checks/cases/protected-ancestor-replaced-by-symlink/policy.json
vectors-done-checks/cases/protected-ancestor-replaced-by-symlink/tree.json
vectors-done-checks/cases/protected-ancestor-swap/capability.json
vectors-done-checks/cases/protected-ancestor-swap/case.json
vectors-done-checks/cases/protected-ancestor-swap/contract.json
vectors-done-checks/cases/protected-ancestor-swap/observation.json
vectors-done-checks/cases/protected-ancestor-swap/policy.json
vectors-done-checks/cases/protected-ancestor-swap/tree.json
vectors-done-checks/cases/protected-ancestor-unlinked/capability.json
vectors-done-checks/cases/protected-ancestor-unlinked/case.json
vectors-done-checks/cases/protected-ancestor-unlinked/contract.json
vectors-done-checks/cases/protected-ancestor-unlinked/observation.json
vectors-done-checks/cases/protected-ancestor-unlinked/policy.json
vectors-done-checks/cases/protected-ancestor-unlinked/tree.json
vectors-done-checks/cases/protected-directory-entry-ancestor-renamed/capability.json
vectors-done-checks/cases/protected-directory-entry-ancestor-renamed/case.json
vectors-done-checks/cases/protected-directory-entry-ancestor-renamed/contract.json
vectors-done-checks/cases/protected-directory-entry-ancestor-renamed/observation.json
vectors-done-checks/cases/protected-directory-entry-ancestor-renamed/policy.json
vectors-done-checks/cases/protected-directory-entry-ancestor-renamed/tree.json
vectors-done-checks/cases/protected-directory-moved-onto-site-packages/capability.json
vectors-done-checks/cases/protected-directory-moved-onto-site-packages/case.json
vectors-done-checks/cases/protected-directory-moved-onto-site-packages/contract.json
vectors-done-checks/cases/protected-directory-moved-onto-site-packages/observation.json
vectors-done-checks/cases/protected-directory-moved-onto-site-packages/policy.json
vectors-done-checks/cases/protected-directory-moved-onto-site-packages/tree.json
vectors-done-checks/cases/protected-loader-preload-written/capability.json
vectors-done-checks/cases/protected-loader-preload-written/case.json
vectors-done-checks/cases/protected-loader-preload-written/contract.json
vectors-done-checks/cases/protected-loader-preload-written/observation.json
vectors-done-checks/cases/protected-loader-preload-written/policy.json
vectors-done-checks/cases/protected-loader-preload-written/tree.json
vectors-done-checks/cases/protected-lookalike-loader-name/capability.json
vectors-done-checks/cases/protected-lookalike-loader-name/case.json
vectors-done-checks/cases/protected-lookalike-loader-name/contract.json
vectors-done-checks/cases/protected-lookalike-loader-name/observation.json
vectors-done-checks/cases/protected-lookalike-loader-name/policy.json
vectors-done-checks/cases/protected-lookalike-loader-name/tree.json
vectors-done-checks/cases/protected-python-path-file-written/capability.json
vectors-done-checks/cases/protected-python-path-file-written/case.json
vectors-done-checks/cases/protected-python-path-file-written/contract.json
vectors-done-checks/cases/protected-python-path-file-written/observation.json
vectors-done-checks/cases/protected-python-path-file-written/policy.json
vectors-done-checks/cases/protected-python-path-file-written/tree.json
vectors-done-checks/cases/protected-untouched/capability.json
vectors-done-checks/cases/protected-untouched/case.json
vectors-done-checks/cases/protected-untouched/contract.json
vectors-done-checks/cases/protected-untouched/observation.json
vectors-done-checks/cases/protected-untouched/policy.json
vectors-done-checks/cases/protected-untouched/tree.json
vectors-done-checks/cases/protected-workspace-moved-outside/capability.json
vectors-done-checks/cases/protected-workspace-moved-outside/case.json
vectors-done-checks/cases/protected-workspace-moved-outside/contract.json
vectors-done-checks/cases/protected-workspace-moved-outside/observation.json
vectors-done-checks/cases/protected-workspace-moved-outside/policy.json
vectors-done-checks/cases/protected-workspace-moved-outside/tree.json
vectors-done-checks/cases/tool-claim-cache-by-another-process/capability.json
vectors-done-checks/cases/tool-claim-cache-by-another-process/case.json
vectors-done-checks/cases/tool-claim-cache-by-another-process/claims.json
vectors-done-checks/cases/tool-claim-cache-by-another-process/contract.json
vectors-done-checks/cases/tool-claim-cache-by-another-process/observation.json
vectors-done-checks/cases/tool-claim-cache-by-another-process/policy.json
vectors-done-checks/cases/tool-claim-earlier-pass-later-fail/capability.json
vectors-done-checks/cases/tool-claim-earlier-pass-later-fail/case.json
vectors-done-checks/cases/tool-claim-earlier-pass-later-fail/claims.json
vectors-done-checks/cases/tool-claim-earlier-pass-later-fail/observation.json
vectors-done-checks/cases/tool-claim-earlier-pass-later-fail/policy.json
vectors-done-checks/cases/tool-claim-own-test-cache-between-runs/capability.json
vectors-done-checks/cases/tool-claim-own-test-cache-between-runs/case.json
vectors-done-checks/cases/tool-claim-own-test-cache-between-runs/claims.json
vectors-done-checks/cases/tool-claim-own-test-cache-between-runs/contract.json
vectors-done-checks/cases/tool-claim-own-test-cache-between-runs/observation.json
vectors-done-checks/cases/tool-claim-own-test-cache-between-runs/policy.json
vectors-done-checks/cases/tool-claim-run-writes-path-by-another-process/capability.json
vectors-done-checks/cases/tool-claim-run-writes-path-by-another-process/case.json
vectors-done-checks/cases/tool-claim-run-writes-path-by-another-process/claims.json
vectors-done-checks/cases/tool-claim-run-writes-path-by-another-process/contract.json
vectors-done-checks/cases/tool-claim-run-writes-path-by-another-process/observation.json
vectors-done-checks/cases/tool-claim-run-writes-path-by-another-process/policy.json
vectors-done-checks/cases/tool-claim-script-in-agent-directory/capability.json
vectors-done-checks/cases/tool-claim-script-in-agent-directory/case.json
vectors-done-checks/cases/tool-claim-script-in-agent-directory/claims.json
vectors-done-checks/cases/tool-claim-script-in-agent-directory/contract.json
vectors-done-checks/cases/tool-claim-script-in-agent-directory/observation.json
vectors-done-checks/cases/tool-claim-script-in-agent-directory/policy.json
vectors-done-checks/cases/tool-claim-script-in-module-directory/capability.json
vectors-done-checks/cases/tool-claim-script-in-module-directory/case.json
vectors-done-checks/cases/tool-claim-script-in-module-directory/claims.json
vectors-done-checks/cases/tool-claim-script-in-module-directory/contract.json
vectors-done-checks/cases/tool-claim-script-in-module-directory/observation.json
vectors-done-checks/cases/tool-claim-script-in-module-directory/policy.json
vectors-done-checks/cases/tool-claim-sealed-command-matched/capability.json
vectors-done-checks/cases/tool-claim-sealed-command-matched/case.json
vectors-done-checks/cases/tool-claim-sealed-command-matched/claims.json
vectors-done-checks/cases/tool-claim-sealed-command-matched/contract.json
vectors-done-checks/cases/tool-claim-sealed-command-matched/observation.json
vectors-done-checks/cases/tool-claim-sealed-command-matched/policy.json
vectors-done-checks/cases/tool-claim-sealed-other-cwd/capability.json
vectors-done-checks/cases/tool-claim-sealed-other-cwd/case.json
vectors-done-checks/cases/tool-claim-sealed-other-cwd/claims.json
vectors-done-checks/cases/tool-claim-sealed-other-cwd/contract.json
vectors-done-checks/cases/tool-claim-sealed-other-cwd/observation.json
vectors-done-checks/cases/tool-claim-sealed-other-cwd/policy.json
vectors-done-checks/cases/tool-claim-sealed-other-exe/capability.json
vectors-done-checks/cases/tool-claim-sealed-other-exe/case.json
vectors-done-checks/cases/tool-claim-sealed-other-exe/claims.json
vectors-done-checks/cases/tool-claim-sealed-other-exe/contract.json
vectors-done-checks/cases/tool-claim-sealed-other-exe/observation.json
vectors-done-checks/cases/tool-claim-sealed-other-exe/policy.json
vectors-done-checks/cases/tool-claim-sealed-other-script/capability.json
vectors-done-checks/cases/tool-claim-sealed-other-script/case.json
vectors-done-checks/cases/tool-claim-sealed-other-script/claims.json
vectors-done-checks/cases/tool-claim-sealed-other-script/contract.json
vectors-done-checks/cases/tool-claim-sealed-other-script/observation.json
vectors-done-checks/cases/tool-claim-sealed-other-script/policy.json
vectors-done-checks/cases/tool-claim-shadowed-beside-module/capability.json
vectors-done-checks/cases/tool-claim-shadowed-beside-module/case.json
vectors-done-checks/cases/tool-claim-shadowed-beside-module/claims.json
vectors-done-checks/cases/tool-claim-shadowed-beside-module/contract.json
vectors-done-checks/cases/tool-claim-shadowed-beside-module/observation.json
vectors-done-checks/cases/tool-claim-shadowed-beside-module/policy.json
vectors-done-checks/cases/tool-claim-test-cache-written-by-agent/capability.json
vectors-done-checks/cases/tool-claim-test-cache-written-by-agent/case.json
vectors-done-checks/cases/tool-claim-test-cache-written-by-agent/claims.json
vectors-done-checks/cases/tool-claim-test-cache-written-by-agent/contract.json
vectors-done-checks/cases/tool-claim-test-cache-written-by-agent/observation.json
vectors-done-checks/cases/tool-claim-test-cache-written-by-agent/policy.json
vectors-done-checks/cases/tool-claim-uncontracted-edit-between-runs/capability.json
vectors-done-checks/cases/tool-claim-uncontracted-edit-between-runs/case.json
vectors-done-checks/cases/tool-claim-uncontracted-edit-between-runs/claims.json
vectors-done-checks/cases/tool-claim-uncontracted-edit-between-runs/observation.json
vectors-done-checks/cases/tool-claim-uncontracted-edit-between-runs/policy.json
vectors-done-checks/cases/tool-claim-uncontracted-program-name-written/capability.json
vectors-done-checks/cases/tool-claim-uncontracted-program-name-written/case.json
vectors-done-checks/cases/tool-claim-uncontracted-program-name-written/claims.json
vectors-done-checks/cases/tool-claim-uncontracted-program-name-written/observation.json
vectors-done-checks/cases/tool-claim-uncontracted-program-name-written/policy.json
vectors-done-checks/cases/tool-claim-without-exit/capability.json
vectors-done-checks/cases/tool-claim-without-exit/case.json
vectors-done-checks/cases/tool-claim-without-exit/claims.json
vectors-done-checks/cases/tool-claim-without-exit/observation.json
vectors-done-checks/cases/tool-claim-without-exit/policy.json
vectors-done-checks/cases/tool-claims-empty/capability.json
vectors-done-checks/cases/tool-claims-empty/case.json
vectors-done-checks/cases/tool-claims-empty/claims.json
vectors-done-checks/cases/tool-claims-empty/observation.json
vectors-done-checks/cases/tool-claims-empty/policy.json
vectors-done-checks/cases/tool-claims-matched/capability.json
vectors-done-checks/cases/tool-claims-matched/case.json
vectors-done-checks/cases/tool-claims-matched/claims.json
vectors-done-checks/cases/tool-claims-matched/observation.json
vectors-done-checks/cases/tool-claims-matched/policy.json
vectors-done-checks/tests/test_done_checks_corpus.py
vectors-operand-lineage/MANIFEST.json
vectors-operand-lineage/README.md
vectors-operand-lineage/check_vectors.py
vectors-operand-lineage/gen_vectors.py
vectors-operand-lineage/cases/compensating-operands/case.json
vectors-operand-lineage/cases/compensating-operands/execution.json
vectors-operand-lineage/cases/compensating-operands/policy.json
vectors-operand-lineage/cases/compensating-operands/source.json
vectors-operand-lineage/cases/complete/case.json
vectors-operand-lineage/cases/complete/execution.json
vectors-operand-lineage/cases/complete/policy.json
vectors-operand-lineage/cases/complete/source.json
vectors-operand-lineage/cases/dead-step/case.json
vectors-operand-lineage/cases/dead-step/execution.json
vectors-operand-lineage/cases/dead-step/policy.json
vectors-operand-lineage/cases/dead-step/source.json
vectors-operand-lineage/cases/execution-absent/case.json
vectors-operand-lineage/cases/execution-absent/policy.json
vectors-operand-lineage/cases/execution-absent/source.json
vectors-operand-lineage/cases/incorrect-figure/case.json
vectors-operand-lineage/cases/incorrect-figure/execution.json
vectors-operand-lineage/cases/incorrect-figure/policy.json
vectors-operand-lineage/cases/incorrect-figure/source.json
vectors-operand-lineage/cases/incorrect-intermediate/case.json
vectors-operand-lineage/cases/incorrect-intermediate/execution.json
vectors-operand-lineage/cases/incorrect-intermediate/policy.json
vectors-operand-lineage/cases/incorrect-intermediate/source.json
vectors-operand-lineage/cases/missing-source-reference/case.json
vectors-operand-lineage/cases/missing-source-reference/execution.json
vectors-operand-lineage/cases/missing-source-reference/policy.json
vectors-operand-lineage/cases/missing-source-reference/source.json
vectors-operand-lineage/cases/rounding-unspecified/case.json
vectors-operand-lineage/cases/rounding-unspecified/execution.json
vectors-operand-lineage/cases/rounding-unspecified/policy.json
vectors-operand-lineage/cases/rounding-unspecified/source.json
vectors-operand-lineage/cases/self-hashed-source-swap/case.json
vectors-operand-lineage/cases/self-hashed-source-swap/execution.json
vectors-operand-lineage/cases/self-hashed-source-swap/policy.json
vectors-operand-lineage/cases/self-hashed-source-swap/source.json
vectors-operand-lineage/cases/unused-constant/case.json
vectors-operand-lineage/cases/unused-constant/execution.json
vectors-operand-lineage/cases/unused-constant/policy.json
vectors-operand-lineage/cases/unused-constant/source.json
vectors-operand-lineage/tests/test_operand_corpus.py
vectors-source-coverage/MANIFEST.json
vectors-source-coverage/README.md
vectors-source-coverage/check_vectors.py
vectors-source-coverage/gen_vectors.py
vectors-source-coverage/cases/capture-absent/case.json
vectors-source-coverage/cases/capture-absent/policy.json
vectors-source-coverage/cases/capture-absent/report.txt
vectors-source-coverage/cases/complete/case.json
vectors-source-coverage/cases/complete/policy.json
vectors-source-coverage/cases/complete/report.txt
vectors-source-coverage/cases/complete/source.html
vectors-source-coverage/cases/hidden-script-only/case.json
vectors-source-coverage/cases/hidden-script-only/policy.json
vectors-source-coverage/cases/hidden-script-only/report.txt
vectors-source-coverage/cases/hidden-script-only/source.html
vectors-source-coverage/cases/middle-omission/case.json
vectors-source-coverage/cases/middle-omission/policy.json
vectors-source-coverage/cases/middle-omission/report.txt
vectors-source-coverage/cases/middle-omission/source.html
vectors-source-coverage/cases/returned-after-requested-window/case.json
vectors-source-coverage/cases/returned-after-requested-window/policy.json
vectors-source-coverage/cases/returned-after-requested-window/report.txt
vectors-source-coverage/cases/returned-after-requested-window/source.html
vectors-source-coverage/cases/self-hashed-truncation/case.json
vectors-source-coverage/cases/self-hashed-truncation/policy.json
vectors-source-coverage/cases/self-hashed-truncation/report.txt
vectors-source-coverage/cases/self-hashed-truncation/source.html
vectors-source-coverage/tests/test_corpus.py