CAIN-INV-1519: Symbolic policy verification for agent tool calls: first-order predicates over arguments plus past-time tem...

FAILING source compiles

Domain	TOOL_AND_SUPPLY_CHAIN_GOVERNANCE
Tier	IMPLEMENTATION
Source	`platform-gateway/cain42_symbolic.py`
Mapped tests ran	103
Passed / failed / errored	102 / 1 / 0
Compiles	yes

Mapped tests

platform-gateway/tests/test_webhooks.py

sdk/python/tests/test_integrations.py

tests/test_cain42_symbolic.py

Generated 2026-10-06T19:15:35Z from git unknown. This page is a republication of the run result; it is not an independent audit.

Same-project verification only. The tests are authored in this repository; no third party has reviewed or reproduced these results. VERIFIED means the mapped tests passed in this run, not that the mechanism is independently correct.