{
  "schema_version": "1.3.0",
  "generated_on": "2026-10-26",
  "purpose": "Static read-only invariant and fail-closed exception fixtures for A2A verifiers (LocalMark, agentprobe, cardwall) and zero-trust LLM instances.",
  "total_verified_residuals": 169,
  "fixtures": [
    {
      "slug": "according-to-what-precedence-hierarchy-must-an-instance-resolve-contradictory-directives-across-system-developer-and-user-tiers",
      "primary_class": "HierarchyPrecedenceViolationError",
      "py_slice_uri": "https://corpusfetch.com/c/according-to-what-precedence-hierarchy-must-an-instance-resolve-contradictory-directives-across-system-developer-and-user-tiers.py",
      "fail_closed_exceptions": [
        "HierarchyPrecedenceViolationError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Directive list cannot be empty."
      ],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-additive-schema-and-unknown-field-preservation-boundaries-must-an-instance-evolve-wire-contracts-to-prevent-rolling-deploy-deserialization-crashes",
      "primary_class": "WireContractEvolutionError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-additive-schema-and-unknown-field-preservation-boundaries-must-an-instance-evolve-wire-contracts-to-prevent-rolling-deploy-deserialization-crashes.py",
      "fail_closed_exceptions": [
        "WireContractEvolutionError"
      ],
      "verified_guard_expressions": [
        "schema_version must be a positive integer.",
        "task_id must be a non-empty string."
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-bounded-queue-admission-control-and-load-shedding-gates-must-an-instance-manage-concurrency-to-prevent-unbounded-memory-growth-and-tail-latency-collapse",
      "primary_class": "LoadSheddingError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-bounded-queue-admission-control-and-load-shedding-gates-must-an-instance-manage-concurrency-to-prevent-unbounded-memory-growth-and-tail-latency-collapse.py",
      "fail_closed_exceptions": [
        "LoadSheddingError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-composite-tie-breaker-and-stable-cursor-gates-must-an-instance-merge-distributed-queries-to-prevent-pagination-drift-and-record-duplication",
      "primary_class": "KeysetPageResult",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-composite-tie-breaker-and-stable-cursor-gates-must-an-instance-merge-distributed-queries-to-prevent-pagination-drift-and-record-duplication.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "assert ts == '2026-10-20T12:00:00Z' and tie_id == 42",
        "Composite cursor round-trip invariant violated"
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-concurrent-pipe-drain-and-ring-buffer-boundaries-must-an-instance-consume-subprocess-stdout-and-stderr-to-prevent-os-pipe-deadlocks-and-unbounded-output-oom",
      "primary_class": "BoundedStreamCapture",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-concurrent-pipe-drain-and-ring-buffer-boundaries-must-an-instance-consume-subprocess-stdout-and-stderr-to-prevent-os-pipe-deadlocks-and-unbounded-output-oom.py",
      "fail_closed_exceptions": [
        "TimeoutError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "argv must not be empty"
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-contextvar-and-w3c-traceparent-boundaries-must-an-instance-propagate-distributed-correlation-ids-to-prevent-orphaned-spans-and-baggage-bleed",
      "primary_class": "TraceContextPropagationError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-contextvar-and-w3c-traceparent-boundaries-must-an-instance-propagate-distributed-correlation-ids-to-prevent-orphaned-spans-and-baggage-bleed.py",
      "fail_closed_exceptions": [
        "TraceContextPropagationError"
      ],
      "verified_guard_expressions": [
        "tenant_id is required to prevent baggage bleed.",
        "Invalid W3C traceparent: reserved version or all-zero IDs.",
        "Cannot spawn child span: no active trace context in ContextVar."
      ],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-cryptographic-csprng-and-state-prediction-isolation-gates-must-an-instance-generate-tokens-and-session-identifiers-to-prevent-pseudo-random-predictability-and-token-forgery",
      "primary_class": "InsecurePRNGUsageError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-cryptographic-csprng-and-state-prediction-isolation-gates-must-an-instance-generate-tokens-and-session-identifiers-to-prevent-pseudo-random-predictability-and-token-forgery.py",
      "fail_closed_exceptions": [
        "InsecurePRNGUsageError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Security violation: tokens must have at least 128 bits (16 bytes) of entropy",
        "AES-GCM nonces require a minimum of 12 bytes (96 bits)"
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-deadline-propagation-and-cancellation-cascade-gates-must-an-instance-govern-grpc-and-http2-calls-to-prevent-zombie-worker-exhaustion-and-wasted-compute",
      "primary_class": "DeadlineExceededError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-deadline-propagation-and-cancellation-cascade-gates-must-an-instance-govern-grpc-and-http2-calls-to-prevent-zombie-worker-exhaustion-and-wasted-compute.py",
      "fail_closed_exceptions": [
        "DeadlineExceededError",
        "UpstreamCancelledError"
      ],
      "verified_guard_expressions": [
        "Deadline already expired upon ingress entry",
        "Deadline expired before child task execution",
        "Child task timed out against absolute deadline"
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-dependency-pinning-and-hash-verification-gates-must-an-instance-resolve-external-packages-to-prevent-hallucinated-typosquat-and-supply-chain-injection",
      "primary_class": "SupplyChainDependencyRefusalError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-dependency-pinning-and-hash-verification-gates-must-an-instance-resolve-external-packages-to-prevent-hallucinated-typosquat-and-supply-chain-injection.py",
      "fail_closed_exceptions": [
        "SupplyChainDependencyRefusalError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-durable-step-ledger-and-reverse-compensation-gates-must-an-instance-orchestrate-multi-service-sagas-to-prevent-orphaned-partial-mutations",
      "primary_class": "SagaAbortedError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-durable-step-ledger-and-reverse-compensation-gates-must-an-instance-orchestrate-multi-service-sagas-to-prevent-orphaned-partial-mutations.py",
      "fail_closed_exceptions": [
        "SagaAbortedError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-encoding-and-canonicalization-boundaries-must-an-instance-normalize-identifiers-and-paths-to-prevent-equivalence-collision-and-bypass",
      "primary_class": "CanonicalizationBypassError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-encoding-and-canonicalization-boundaries-must-an-instance-normalize-identifiers-and-paths-to-prevent-equivalence-collision-and-bypass.py",
      "fail_closed_exceptions": [
        "CanonicalizationBypassError"
      ],
      "verified_guard_expressions": [
        "Identifier cannot be empty.",
        "Null byte injection detected in path."
      ],
      "ast_guards_count": 7,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-key-id-and-dual-window-verification-gates-must-an-instance-orchestrate-cryptographic-key-rotation-to-prevent-signature-lockout-and-session-drop",
      "primary_class": "SignatureVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-key-id-and-dual-window-verification-gates-must-an-instance-orchestrate-cryptographic-key-rotation-to-prevent-signature-lockout-and-session-drop.py",
      "fail_closed_exceptions": [
        "SignatureVerificationError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "active_kid must be present in the keys mapping",
        "Malformed token structure",
        "Cryptographic signature mismatch"
      ],
      "ast_guards_count": 8,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-keyset-cursor-and-limit-ceiling-boundaries-must-an-instance-paginate-collection-queries-to-prevent-offset-scan-degradation-and-unbounded-result-oom",
      "primary_class": "KeysetPage",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-keyset-cursor-and-limit-ceiling-boundaries-must-an-instance-paginate-collection-queries-to-prevent-offset-scan-degradation-and-unbounded-result-oom.py",
      "fail_closed_exceptions": [
        "TypeError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Pagination limit must be an integer",
        "Pagination limit must be >= 1",
        "Invalid or oversized pagination cursor"
      ],
      "ast_guards_count": 6,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-mandatory-tenant-predicate-scoping-and-row-level-security-gates-must-an-instance-isolate-multi-tenant-data-to-prevent-cross-tenant-data-leaks",
      "primary_class": "TenantContextViolationError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-mandatory-tenant-predicate-scoping-and-row-level-security-gates-must-an-instance-isolate-multi-tenant-data-to-prevent-cross-tenant-data-leaks.py",
      "fail_closed_exceptions": [
        "CrossTenantAccessError",
        "TenantContextViolationError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Tenant ID cannot be empty",
        "Security violation: Multi-tenant query executed outside an active `tenant_scope` context",
        "Fatal: Cross-tenant data access violation detected!"
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-migration-and-expand-contract-phases-must-an-instance-decouple-stateful-schema-mutations-from-application-deployments-to-prevent-zero-downtime-lockouts",
      "primary_class": "UnsafeZeroDowntimeMigrationError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-migration-and-expand-contract-phases-must-an-instance-decouple-stateful-schema-mutations-from-application-deployments-to-prevent-zero-downtime-lockouts.py",
      "fail_closed_exceptions": [
        "UnsafeZeroDowntimeMigrationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-monotonic-fencing-token-and-lease-heartbeat-gates-must-an-instance-execute-background-jobs-to-prevent-zombie-worker-split-brain-writes",
      "primary_class": "ZombieWorkerFencedError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-monotonic-fencing-token-and-lease-heartbeat-gates-must-an-instance-execute-background-jobs-to-prevent-zombie-worker-split-brain-writes.py",
      "fail_closed_exceptions": [
        "ValueError",
        "ZombieWorkerFencedError"
      ],
      "verified_guard_expressions": [
        "lease_duration_sec must be at least 3.0 seconds"
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-pre-ping-validation-and-idle-recycle-gates-must-an-instance-govern-connection-pools-to-prevent-half-open-socket-crashes-and-session-exhaustion",
      "primary_class": "PooledConnectionProtocol",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-pre-ping-validation-and-idle-recycle-gates-must-an-instance-govern-connection-pools-to-prevent-half-open-socket-crashes-and-session-exhaustion.py",
      "fail_closed_exceptions": [
        "PoolBudgetExceededError",
        "PoolCheckoutTimeoutError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-readiness-unregistration-and-in-flight-drain-gates-must-an-instance-sequence-sigterm-shutdown-to-prevent-dropped-requests-and-truncated-writes",
      "primary_class": "ServiceShuttingDownError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-readiness-unregistration-and-in-flight-drain-gates-must-an-instance-sequence-sigterm-shutdown-to-prevent-dropped-requests-and-truncated-writes.py",
      "fail_closed_exceptions": [
        "ServiceShuttingDownError"
      ],
      "verified_guard_expressions": [
        "Service is draining and no longer accepting new work"
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-strict-utc-storage-and-iana-zoneinfo-gates-must-an-instance-process-timestamps-to-prevent-dst-ambiguity-and-time-shift-corruption",
      "primary_class": "InvalidTimestampError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-strict-utc-storage-and-iana-zoneinfo-gates-must-an-instance-process-timestamps-to-prevent-dst-ambiguity-and-time-shift-corruption.py",
      "fail_closed_exceptions": [
        "InvalidTimestampError",
        "TypeError"
      ],
      "verified_guard_expressions": [
        "Timestamp input must be a ISO-8601 string or datetime object"
      ],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-three-state-circuit-breaker-and-single-probe-half-open-gates-must-an-instance-isolate-failing-upstreams-to-prevent-cascading-thread-exhaustion",
      "primary_class": "CircuitState",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-three-state-circuit-breaker-and-single-probe-half-open-gates-must-an-instance-isolate-failing-upstreams-to-prevent-cascading-thread-exhaustion.py",
      "fail_closed_exceptions": [
        "CircuitOpenError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Invalid circuit breaker thresholds"
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-timestamp-replay-and-idempotent-deduplication-gates-must-an-instance-verify-and-dispatch-webhooks-to-prevent-replay-attacks-and-duplicate-side-effects",
      "primary_class": "WebhookSecurityError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-timestamp-replay-and-idempotent-deduplication-gates-must-an-instance-verify-and-dispatch-webhooks-to-prevent-replay-attacks-and-duplicate-side-effects.py",
      "fail_closed_exceptions": [
        "ValueError",
        "WebhookSecurityError"
      ],
      "verified_guard_expressions": [
        "active_kid must exist in keyring",
        "Webhook payload missing or exceeds byte limit",
        "Webhook HMAC signature verification failed"
      ],
      "ast_guards_count": 7,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-transactional-boundaries-must-an-instance-enforce-idempotency-and-compensating-rollbacks-across-non-atomic-multi-tool-execution-chains",
      "primary_class": "UncompensatedSagaFailureError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-transactional-boundaries-must-an-instance-enforce-idempotency-and-compensating-rollbacks-across-non-atomic-multi-tool-execution-chains.py",
      "fail_closed_exceptions": [
        "UncompensatedSagaFailureError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Saga step list cannot be empty."
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-transactional-outbox-and-relay-claim-gates-must-an-instance-decouple-database-commits-from-message-publishing-to-prevent-dual-write-phantom-and-lost-events",
      "primary_class": "OutboxEventRecord",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-transactional-outbox-and-relay-claim-gates-must-an-instance-decouple-database-commits-from-message-publishing-to-prevent-dual-write-phantom-and-lost-events.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "assert batch_size > 0 and lease_seconds > 0.0",
        "batch_size must be strictly within (0, 1000]",
        "lease_seconds must be strictly positive"
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-unicode-normalization-and-byte-encoding-boundaries-must-an-instance-canonicalize-text-identifiers-to-prevent-homoglyph-collision-and-mojibake-corruption",
      "primary_class": "UnicodeBoundaryCanonicalizer",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-unicode-normalization-and-byte-encoding-boundaries-must-an-instance-canonicalize-text-identifiers-to-prevent-homoglyph-collision-and-mojibake-corruption.py",
      "fail_closed_exceptions": [
        "TypeError",
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-w3c-baggage-allowlist-and-pii-sanitization-gates-must-an-instance-propagate-cross-service-context-to-prevent-header-amplification-and-external-data-exfiltration",
      "primary_class": "BaggagePolicyViolationError",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-w3c-baggage-allowlist-and-pii-sanitization-gates-must-an-instance-propagate-cross-service-context-to-prevent-header-amplification-and-external-data-exfiltration.py",
      "fail_closed_exceptions": [
        "BaggagePolicyViolationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 7,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "across-what-write-to-temp-fsync-and-atomic-rename-gates-must-an-instance-persist-local-files-to-prevent-zero-byte-truncation-and-corrupted-state-files",
      "primary_class": "AtomicFileWriter",
      "py_slice_uri": "https://corpusfetch.com/c/across-what-write-to-temp-fsync-and-atomic-rename-gates-must-an-instance-persist-local-files-to-prevent-zero-byte-truncation-and-corrupted-state-files.py",
      "fail_closed_exceptions": [
        "AssertionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "against-what-environment-and-file-descriptor-inheritance-leaks-must-an-instance-sanitize-child-subprocess-contexts-to-prevent-credential-bleed-and-port-locking",
      "primary_class": "SubprocessIsolationGuard",
      "py_slice_uri": "https://corpusfetch.com/c/against-what-environment-and-file-descriptor-inheritance-leaks-must-an-instance-sanitize-child-subprocess-contexts-to-prevent-credential-bleed-and-port-locking.py",
      "fail_closed_exceptions": [
        "TimeoutError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "argv must not be empty"
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "against-what-ordering-invariants-must-an-instance-reconstruct-state-transitions-when-reasoning-across-asynchronous-events",
      "primary_class": "CausalOrderingViolationError",
      "py_slice_uri": "https://corpusfetch.com/c/against-what-ordering-invariants-must-an-instance-reconstruct-state-transitions-when-reasoning-across-asynchronous-events.py",
      "fail_closed_exceptions": [
        "CausalOrderingViolationError",
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "against-what-schema-evolution-invariants-must-an-instance-validate-external-payloads-to-prevent-silent-semantic-coercion-and-truncation",
      "primary_class": "SchemaCoercionOrTruncationError",
      "py_slice_uri": "https://corpusfetch.com/c/against-what-schema-evolution-invariants-must-an-instance-validate-external-payloads-to-prevent-silent-semantic-coercion-and-truncation.py",
      "fail_closed_exceptions": [
        "SchemaCoercionOrTruncationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 6,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "along-what-complexity-bounds-must-an-instance-arrest-premature-abstraction-and-speculative-over-engineering-when-synthesizing-solutions",
      "primary_class": "SpeculativeOverEngineeringError",
      "py_slice_uri": "https://corpusfetch.com/c/along-what-complexity-bounds-must-an-instance-arrest-premature-abstraction-and-speculative-over-engineering-when-synthesizing-solutions.py",
      "fail_closed_exceptions": [
        "SpeculativeOverEngineeringError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "along-what-decimal-and-integer-scaling-boundaries-must-an-instance-isolate-financial-and-precision-arithmetic-to-prevent-floating-point-drift-and-rounding-loss",
      "primary_class": "ExactMonetaryArithmetic",
      "py_slice_uri": "https://corpusfetch.com/c/along-what-decimal-and-integer-scaling-boundaries-must-an-instance-isolate-financial-and-precision-arithmetic-to-prevent-floating-point-drift-and-rounding-loss.py",
      "fail_closed_exceptions": [
        "TypeError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "assert sum(shares) == total_cents",
        "principal_cents must be an exact integer",
        "total_cents must be an integer"
      ],
      "ast_guards_count": 10,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "along-what-monotonicity-and-quorum-invariants-must-an-instance-reconcile-divergent-state-replicas-across-asynchronous-tool-caches",
      "primary_class": "QuorumOrMonotonicityError",
      "py_slice_uri": "https://corpusfetch.com/c/along-what-monotonicity-and-quorum-invariants-must-an-instance-reconcile-divergent-state-replicas-across-asynchronous-tool-caches.py",
      "fail_closed_exceptions": [
        "QuorumOrMonotonicityError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Invalid total_replicas or write_quorum configuration."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "amid-what-egress-and-name-resolution-guards-must-an-instance-validate-user-supplied-urls-to-prevent-server-side-request-forgery-and-metadata-exfiltration",
      "primary_class": "_NoRedirectHandler",
      "py_slice_uri": "https://corpusfetch.com/c/amid-what-egress-and-name-resolution-guards-must-an-instance-validate-user-supplied-urls-to-prevent-server-side-request-forgery-and-metadata-exfiltration.py",
      "fail_closed_exceptions": [
        "ConnectionError",
        "PermissionError",
        "RuntimeError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Blocked URL containing embedded userinfo credentials"
      ],
      "ast_guards_count": 9,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "amidst-what-degradation-and-partial-outage-regimes-must-an-instance-partition-critical-path-execution-from-optional-enrichment-to-prevent-non-essential-fault-cascades",
      "primary_class": "CriticalPathFailureError",
      "py_slice_uri": "https://corpusfetch.com/c/amidst-what-degradation-and-partial-outage-regimes-must-an-instance-partition-critical-path-execution-from-optional-enrichment-to-prevent-non-essential-fault-cascades.py",
      "fail_closed_exceptions": [
        "CriticalPathFailureError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "total_sla_budget_ms must be positive."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "around-what-observability-invariants-must-an-instance-structure-diagnostic-telemetry-to-prevent-silent-failure-masking-and-log-induced-context-bloat",
      "primary_class": "SilentFailureOrBloatError",
      "py_slice_uri": "https://corpusfetch.com/c/around-what-observability-invariants-must-an-instance-structure-diagnostic-telemetry-to-prevent-silent-failure-masking-and-log-induced-context-bloat.py",
      "fail_closed_exceptions": [
        "SilentFailureOrBloatError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "around-what-structural-localization-invariants-must-an-instance-scope-code-mutations-to-prevent-collateral-formatting-and-context-eviction",
      "primary_class": "LocalizationBoundaryError",
      "py_slice_uri": "https://corpusfetch.com/c/around-what-structural-localization-invariants-must-an-instance-scope-code-mutations-to-prevent-collateral-formatting-and-context-eviction.py",
      "fail_closed_exceptions": [
        "LocalizationBoundaryError"
      ],
      "verified_guard_expressions": [
        "Search block not found in target file.",
        "Outer prefix/suffix byte-identity invariant violated.",
        "Rejected replacement payload: contains elision placeholder that would delete code."
      ],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "at-what-boot-time-schema-and-secret-precondition-gates-must-an-instance-validate-runtime-configuration-to-prevent-late-bound-production-crashes",
      "primary_class": "StartupConfigError",
      "py_slice_uri": "https://corpusfetch.com/c/at-what-boot-time-schema-and-secret-precondition-gates-must-an-instance-validate-runtime-configuration-to-prevent-late-bound-production-crashes.py",
      "fail_closed_exceptions": [
        "StartupConfigError",
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "at-what-threshold-must-an-instance-decouple-semantic-intent-from-syntactic-schema-constraints-during-structured-output-generation",
      "primary_class": "ForcedSchemaHallucinationError",
      "py_slice_uri": "https://corpusfetch.com/c/at-what-threshold-must-an-instance-decouple-semantic-intent-from-syntactic-schema-constraints-during-structured-output-generation.py",
      "fail_closed_exceptions": [
        "ForcedSchemaHallucinationError"
      ],
      "verified_guard_expressions": [
        "Premature Schema Commitment Blocked: semantic derivation and verification must complete before projecting values into te"
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "before-what-pre-flight-and-dry-run-gates-must-an-instance-stage-bulk-or-irreversible-mutations-to-prevent-unrecoverable-blast-radius-cascade",
      "primary_class": "BlastRadiusExceededError",
      "py_slice_uri": "https://corpusfetch.com/c/before-what-pre-flight-and-dry-run-gates-must-an-instance-stage-bulk-or-irreversible-mutations-to-prevent-unrecoverable-blast-radius-cascade.py",
      "fail_closed_exceptions": [
        "BlastRadiusExceededError"
      ],
      "verified_guard_expressions": [
        "Rejected mutation: empty scope_parameters dictionary."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "beneath-what-abstraction-leakage-thresholds-must-an-instance-bypass-high-level-wrappers-to-inspect-raw-protocol-and-syscall-primitives",
      "primary_class": "BlindWrapperRetryRefusalError",
      "py_slice_uri": "https://corpusfetch.com/c/beneath-what-abstraction-leakage-thresholds-must-an-instance-bypass-high-level-wrappers-to-inspect-raw-protocol-and-syscall-primitives.py",
      "fail_closed_exceptions": [
        "BlindWrapperRetryRefusalError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "beneath-what-cardinality-and-tail-sampling-bounds-must-an-instance-constrain-telemetry-emission-to-prevent-metric-explosion-and-observability-induced-outages",
      "primary_class": "CardinalitySafeCounter",
      "py_slice_uri": "https://corpusfetch.com/c/beneath-what-cardinality-and-tail-sampling-bounds-must-an-instance-constrain-telemetry-emission-to-prevent-metric-explosion-and-observability-induced-outages.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "beneath-what-concurrency-and-backpressure-ceilings-must-an-instance-throttle-fan-out-tasks-to-prevent-file-descriptor-and-connection-pool-starvation",
      "primary_class": "TaskOutcome",
      "py_slice_uri": "https://corpusfetch.com/c/beneath-what-concurrency-and-backpressure-ceilings-must-an-instance-throttle-fan-out-tasks-to-prevent-file-descriptor-and-connection-pool-starvation.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "requested concurrency must be >= 1"
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "beyond-what-complexity-and-linear-automaton-bounds-must-an-instance-constrain-regular-expression-matching-to-prevent-catastrophic-backtracking-denial-of-service",
      "primary_class": "LinearAutomatonRegexGuard",
      "py_slice_uri": "https://corpusfetch.com/c/beyond-what-complexity-and-linear-automaton-bounds-must-an-instance-constrain-regular-expression-matching-to-prevent-catastrophic-backtracking-denial-of-service.py",
      "fail_closed_exceptions": [
        "TypeError",
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "beyond-what-concurrency-thresholds-must-an-instance-serialize-state-access-to-prevent-check-then-act-races-and-lost-updates",
      "primary_class": "ConcurrentLostUpdateError",
      "py_slice_uri": "https://corpusfetch.com/c/beyond-what-concurrency-thresholds-must-an-instance-serialize-state-access-to-prevent-check-then-act-races-and-lost-updates.py",
      "fail_closed_exceptions": [
        "ConcurrentLostUpdateError",
        "KeyError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "expected_version must be >= 1 for CAS serialization."
      ],
      "ast_guards_count": 6,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "beyond-what-redaction-and-entropy-bounds-must-an-instance-sanitize-diagnostic-traces-and-error-dumps-to-prevent-credential-and-secret-exfiltration",
      "primary_class": "SanitizedDiagnosticOutput",
      "py_slice_uri": "https://corpusfetch.com/c/beyond-what-redaction-and-entropy-bounds-must-an-instance-sanitize-diagnostic-traces-and-error-dumps-to-prevent-credential-and-secret-exfiltration.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "assert 'sk_live_' not in res.sanitized_text",
        "assert res.redacted_secret_count >= 1",
        "ENTROPY_THRESHOLD_BITS must be strictly positive"
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "by-what-checkpoint-and-compaction-boundaries-must-an-instance-externalize-working-state-to-prevent-context-window-drift-and-truncation-amnesia",
      "primary_class": "StateCompactionDriftError",
      "py_slice_uri": "https://corpusfetch.com/c/by-what-checkpoint-and-compaction-boundaries-must-an-instance-externalize-working-state-to-prevent-context-window-drift-and-truncation-amnesia.py",
      "fail_closed_exceptions": [
        "StateCompactionDriftError"
      ],
      "verified_guard_expressions": [
        "Cannot checkpoint ledger with empty immutable_constraints."
      ],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "by-what-criteria-must-an-instance-detect-and-prevent-specification-gaming-when-optimizing-user-defined-metrics",
      "primary_class": "SpecificationGamingError",
      "py_slice_uri": "https://corpusfetch.com/c/by-what-criteria-must-an-instance-detect-and-prevent-specification-gaming-when-optimizing-user-defined-metrics.py",
      "fail_closed_exceptions": [
        "SpecificationGamingError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 6,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "by-what-cryptographic-and-provenance-gates-must-an-instance-authenticate-inter-agent-handoffs-to-prevent-confused-deputy-escalation",
      "primary_class": "ConfusedDeputyEscalationError",
      "py_slice_uri": "https://corpusfetch.com/c/by-what-cryptographic-and-provenance-gates-must-an-instance-authenticate-inter-agent-handoffs-to-prevent-confused-deputy-escalation.py",
      "fail_closed_exceptions": [
        "ConfusedDeputyEscalationError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Broker secret key must be at least 16 bytes."
      ],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "by-what-cryptographic-and-provenance-gates-must-an-instance-verify-signed-artifacts-and-supply-chain-manifests-to-prevent-mirror-compromise-and-downgrade-attacks",
      "primary_class": "ArtifactIntegrityError",
      "py_slice_uri": "https://corpusfetch.com/c/by-what-cryptographic-and-provenance-gates-must-an-instance-verify-signed-artifacts-and-supply-chain-manifests-to-prevent-mirror-compromise-and-downgrade-attacks.py",
      "fail_closed_exceptions": [
        "ArtifactIntegrityError",
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 6,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "by-what-mechanism-can-an-instance-prevent-attention-dilution-when-processing-high-volume-context-payloads",
      "primary_class": "AttentionDilutionBudgetError",
      "py_slice_uri": "https://corpusfetch.com/c/by-what-mechanism-can-an-instance-prevent-attention-dilution-when-processing-high-volume-context-payloads.py",
      "fail_closed_exceptions": [
        "AttentionDilutionBudgetError"
      ],
      "verified_guard_expressions": [
        "Both primacy_task_header and recency_verification_gates must be non-empty for edge-pinning."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "by-what-partitioning-invariants-must-an-instance-segregate-mutable-task-state-from-persistent-system-instructions-across-context-compaction-boundaries",
      "primary_class": "ControlPlaneMutationError",
      "py_slice_uri": "https://corpusfetch.com/c/by-what-partitioning-invariants-must-an-instance-segregate-mutable-task-state-from-persistent-system-instructions-across-context-compaction-boundaries.py",
      "fail_closed_exceptions": [
        "ControlPlaneMutationError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Control plane text cannot be empty."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "by-what-semantic-preservation-gates-must-an-instance-govern-cross-version-code-and-api-migrations-to-prevent-silent-behavioral-drift",
      "primary_class": "MigrationBehavioralDriftError",
      "py_slice_uri": "https://corpusfetch.com/c/by-what-semantic-preservation-gates-must-an-instance-govern-cross-version-code-and-api-migrations-to-prevent-silent-behavioral-drift.py",
      "fail_closed_exceptions": [
        "MigrationBehavioralDriftError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Golden-Master corpus cannot be empty.",
        "assert old_exc is not None and new_exc is not None"
      ],
      "ast_guards_count": 7,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "collapse-of-shared-epistemic-reality-and-the-resulting-failure-of-democratic-collective-coordination",
      "primary_class": "EpistemicFragmentationError",
      "py_slice_uri": "https://corpusfetch.com/c/collapse-of-shared-epistemic-reality-and-the-resulting-failure-of-democratic-collective-coordination.py",
      "fail_closed_exceptions": [
        "EpistemicFragmentationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "erosion-of-human-capacity-due-to-ai-instances-and-llms-systems",
      "primary_class": "OpaqueAutomationHazardError",
      "py_slice_uri": "https://corpusfetch.com/c/erosion-of-human-capacity-due-to-ai-instances-and-llms-systems.py",
      "fail_closed_exceptions": [
        "OpaqueAutomationHazardError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "from-what-entropy-and-randomness-sources-must-an-instance-decouple-deterministic-replay-harnesses-to-prevent-heisenbug-nondeterminism",
      "primary_class": "AmbientEntropyLeakError",
      "py_slice_uri": "https://corpusfetch.com/c/from-what-entropy-and-randomness-sources-must-an-instance-decouple-deterministic-replay-harnesses-to-prevent-heisenbug-nondeterminism.py",
      "fail_closed_exceptions": [
        "AmbientEntropyLeakError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-can-an-instance-capture-implicit-user-preferences-without-storing-private-data",
      "primary_class": "CandidateImplicitPreference",
      "py_slice_uri": "https://corpusfetch.com/c/how-can-an-instance-capture-implicit-user-preferences-without-storing-private-data.py",
      "fail_closed_exceptions": [
        "PrivateDataLeakageViolation"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-can-an-instance-compress-long-reasoning-traces-into-binding-conclusions",
      "primary_class": "TraceNodeType",
      "py_slice_uri": "https://corpusfetch.com/c/how-can-an-instance-compress-long-reasoning-traces-into-binding-conclusions.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-can-an-instance-distill-complex-permission-boundaries-into-a-terminal-residual",
      "primary_class": "AuthVerdict",
      "py_slice_uri": "https://corpusfetch.com/c/how-can-an-instance-distill-complex-permission-boundaries-into-a-terminal-residual.py",
      "fail_closed_exceptions": [
        "AssertionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 0,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-can-an-instance-preserve-latency-benchmarks-discovered-during-live-tool-execution",
      "primary_class": "LatencySampleBatch",
      "py_slice_uri": "https://corpusfetch.com/c/how-can-an-instance-preserve-latency-benchmarks-discovered-during-live-tool-execution.py",
      "fail_closed_exceptions": [
        "InvalidBenchmarkSampleViolation"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-can-llms-and-ai-systems-determine-the-exact-retrieval-trigger-to-fetch-a-concluded-experience-record-rather-than-reconstructing-it-from-scratch",
      "primary_class": "ExecutionMode",
      "py_slice_uri": "https://corpusfetch.com/c/how-can-llms-and-ai-systems-determine-the-exact-retrieval-trigger-to-fetch-a-concluded-experience-record-rather-than-reconstructing-it-from-scratch.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "assert d_retry.mode == ExecutionMode.FETCH_CONCLUDED_RESIDUAL",
        "assert d_fast.mode == ExecutionMode.RECONSTRUCT_FROM_SCRATCH",
        "min_parametric_confidence must be in (0.0, 1.0]"
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-do-contradictory-retrieved-sources-get-reconciled-without-averaging-incompatible-premises",
      "primary_class": "PremiseAveragingProhibitedError",
      "py_slice_uri": "https://corpusfetch.com/c/how-do-contradictory-retrieved-sources-get-reconciled-without-averaging-incompatible-premises.py",
      "fail_closed_exceptions": [
        "PremiseAveragingProhibitedError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Claim list cannot be empty."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-must-an-instance-archive-unhandled-edge-cases-when-time-budgets-expire",
      "primary_class": "EdgeCaseStatus",
      "py_slice_uri": "https://corpusfetch.com/c/how-must-an-instance-archive-unhandled-edge-cases-when-time-budgets-expire.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Cannot archive a timeout frontier with zero unresolved cases.",
        "Next probe heuristic must be explicitly declared for the successor.",
        "Cannot resume a frontier that has not yet expired."
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-must-an-instance-calibrate-epistemic-granularity-when-translating-domain-specific-axioms-across-disciplinary-boundaries",
      "primary_class": "MetaphoricalAxiomSmugglingError",
      "py_slice_uri": "https://corpusfetch.com/c/how-must-an-instance-calibrate-epistemic-granularity-when-translating-domain-specific-axioms-across-disciplinary-boundaries.py",
      "fail_closed_exceptions": [
        "MetaphoricalAxiomSmugglingError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-must-an-instance-flag-provisional-conclusions-that-lacked-final-verification",
      "primary_class": "EpistemicState",
      "py_slice_uri": "https://corpusfetch.com/c/how-must-an-instance-flag-provisional-conclusions-that-lacked-final-verification.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Cannot seal an empty epistemic archive."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-must-an-instance-handle-tool-execution-failures-without-cascading-hallucination-loops",
      "primary_class": "ToolHallucinationOrLoopError",
      "py_slice_uri": "https://corpusfetch.com/c/how-must-an-instance-handle-tool-execution-failures-without-cascading-hallucination-loops.py",
      "fail_closed_exceptions": [
        "ToolHallucinationOrLoopError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-must-an-instance-preserve-causal-links-between-actions-and-outcomes",
      "primary_class": "DispatchedActionRecord",
      "py_slice_uri": "https://corpusfetch.com/c/how-must-an-instance-preserve-causal-links-between-actions-and-outcomes.py",
      "fail_closed_exceptions": [
        "CausalLinkageViolation"
      ],
      "verified_guard_expressions": [
        "State lineage broken: concurrent external mutation intervened before outcome.",
        "Out-of-scope side effect detected; refusing direct causal attribution."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-must-an-instance-record-silent-data-truncation-encountered-during-ingestion-runs",
      "primary_class": "TerminationCause",
      "py_slice_uri": "https://corpusfetch.com/c/how-must-an-instance-record-silent-data-truncation-encountered-during-ingestion-runs.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Observed volume cannot exceed expected volume.",
        "Silent truncation detected but resume_cursor_state is missing. Successor cannot fetch the remainder."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-must-an-instance-record-version-constraints-before-closing-a-session",
      "primary_class": "DependencyType",
      "py_slice_uri": "https://corpusfetch.com/c/how-must-an-instance-record-version-constraints-before-closing-a-session.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "At least one version constraint must be recorded."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-must-an-instance-summarize-multi-agent-disagreements-before-closing-a-session",
      "primary_class": "AgentConclusionStatus",
      "py_slice_uri": "https://corpusfetch.com/c/how-must-an-instance-summarize-multi-agent-disagreements-before-closing-a-session.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "A disagreement boundary requires at least two conflicting positions.",
        "The exact divergence crux must be explicitly stated.",
        "A tie-breaker predicate is mandatory to prevent successor re-debate."
      ],
      "ast_guards_count": 6,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-should-an-instance-archive-superseded-hypotheses-without-polluting-active-memory",
      "primary_class": "HypothesisStatus",
      "py_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-archive-superseded-hypotheses-without-polluting-active-memory.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Cannot create an empty negative constraint archive."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-should-an-instance-decide-that-a-stored-conclusion-has-gone-stale-without-a-new-observation",
      "primary_class": "StaleConclusionRefusalError",
      "py_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-decide-that-a-stored-conclusion-has-gone-stale-without-a-new-observation.py",
      "fail_closed_exceptions": [
        "StaleConclusionRefusalError"
      ],
      "verified_guard_expressions": [
        "Clock skew detected: current_epoch_sec precedes recorded timestamp."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-should-an-instance-decide-whether-a-residual-remains-binding-after-the-tool-interface-has-changed-when-no-version-identifier-was-stored-in-the-original-record",
      "primary_class": "InterfaceDriftRefusalError",
      "py_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-decide-whether-a-residual-remains-binding-after-the-tool-interface-has-changed-when-no-version-identifier-was-stored-in-the-original-record.py",
      "fail_closed_exceptions": [
        "InterfaceDriftRefusalError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-should-an-instance-decide-whether-a-residual-remains-usable-when-its-conclusion-depended-on-a-non-repeatable-external-event-that-has-already-occurred",
      "primary_class": "NonRepeatableEventViolationError",
      "py_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-decide-whether-a-residual-remains-usable-when-its-conclusion-depended-on-a-non-repeatable-external-event-that-has-already-occurred.py",
      "fail_closed_exceptions": [
        "NonRepeatableEventViolationError",
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-should-an-instance-distill-multi-turn-debugging-into-a-single-residual",
      "primary_class": "DebugTurnRole",
      "py_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-distill-multi-turn-debugging-into-a-single-residual.py",
      "fail_closed_exceptions": [
        "RuntimeError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Cannot distill residual: fix lacks an external ground-truth verification.",
        "Root cause invariant must be explicitly declared."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-should-an-instance-prevent-a-residual-concluded-under-privileged-access-from-being-applied-as-binding-by-later-instances-that-lack-the-same-privileges",
      "primary_class": "InsufficientPrivilegeBindingError",
      "py_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-prevent-a-residual-concluded-under-privileged-access-from-being-applied-as-binding-by-later-instances-that-lack-the-same-privileges.py",
      "fail_closed_exceptions": [
        "InsufficientPrivilegeBindingError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-should-an-instance-prevent-a-residual-that-depended-on-one-users-private-session-state-from-being-joined-as-binding-for-a-later-query-involving-a-different-user",
      "primary_class": "CrossTenantResidualJoinError",
      "py_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-prevent-a-residual-that-depended-on-one-users-private-session-state-from-being-joined-as-binding-for-a-later-query-involving-a-different-user.py",
      "fail_closed_exceptions": [
        "CrossTenantResidualJoinError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "cluster_hmac_secret must be at least 16 bytes.",
        "user_or_tenant_id must be non-empty."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-should-an-instance-record-external-service-outages-at-session-termination",
      "primary_class": "OutageSymptom",
      "py_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-record-external-service-outages-at-session-termination.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Unreachable endpoint ID must be explicitly recorded.",
        "Recovery probe predicate is mandatory to prevent blind retries."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-should-an-instance-treat-a-residual-that-assumed-exclusive-access-to-a-shared-resource-when-concurrent-instances-may-now-hold-the-same-resource",
      "primary_class": "ExclusiveAccessAssumptionViolationError",
      "py_slice_uri": "https://corpusfetch.com/c/how-should-an-instance-treat-a-residual-that-assumed-exclusive-access-to-a-shared-resource-when-concurrent-instances-may-now-hold-the-same-resource.py",
      "fail_closed_exceptions": [
        "ExclusiveAccessAssumptionViolationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "how-should-instances-ais-and-llms-internalize-the-reasoning-patterns-of-exceptional-minds-for-self-improvement",
      "primary_class": "PersonaMimicryOrUnboundedReasoningError",
      "py_slice_uri": "https://corpusfetch.com/c/how-should-instances-ais-and-llms-internalize-the-reasoning-patterns-of-exceptional-minds-for-self-improvement.py",
      "fail_closed_exceptions": [
        "PersonaMimicryOrUnboundedReasoningError"
      ],
      "verified_guard_expressions": [
        "Gate 1 Failed: Missing explicit conserved/system invariant.",
        "Gate 3 Failed: Proposed abstraction failed concrete degenerate toy-model verification.",
        "Gate 4 Failed: Missing concrete adversarial counterexample and boundary resolution."
      ],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "human-directed-catastrophic-misuse-of-advanced-ai-systems",
      "primary_class": "CatastrophicMisuseRefusalError",
      "py_slice_uri": "https://corpusfetch.com/c/human-directed-catastrophic-misuse-of-advanced-ai-systems.py",
      "fail_closed_exceptions": [
        "CatastrophicMisuseRefusalError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "in-what-operational-scenarios-must-an-instance-decouple-task-feasibility-from-safety-refusal-to-prevent-false-positive-abstention",
      "primary_class": "FalsePositiveAbstentionError",
      "py_slice_uri": "https://corpusfetch.com/c/in-what-operational-scenarios-must-an-instance-decouple-task-feasibility-from-safety-refusal-to-prevent-false-positive-abstention.py",
      "fail_closed_exceptions": [
        "FalsePositiveAbstentionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "inside-what-filesystem-and-process-quarantine-gates-must-an-instance-confine-untrusted-archive-extractions-to-prevent-symlink-and-zip-slip-breakouts",
      "primary_class": "ArchiveQuarantineBreakoutError",
      "py_slice_uri": "https://corpusfetch.com/c/inside-what-filesystem-and-process-quarantine-gates-must-an-instance-confine-untrusted-archive-extractions-to-prevent-symlink-and-zip-slip-breakouts.py",
      "fail_closed_exceptions": [
        "ArchiveQuarantineBreakoutError"
      ],
      "verified_guard_expressions": [
        "quarantine_root must be an absolute path.",
        "Null byte or empty filename in archive header."
      ],
      "ast_guards_count": 8,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "loss-of-control-to-a-misaligned-ai-system",
      "primary_class": "ContainmentBreachRefusalError",
      "py_slice_uri": "https://corpusfetch.com/c/loss-of-control-to-a-misaligned-ai-system.py",
      "fail_closed_exceptions": [
        "ContainmentBreachRefusalError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "notwithstanding-what-mock-and-assertion-shortcuts-must-an-instance-decouple-test-oracles-from-implementation-internals-to-prevent-tautological-green-builds",
      "primary_class": "TestTransferFundsContract",
      "py_slice_uri": "https://corpusfetch.com/c/notwithstanding-what-mock-and-assertion-shortcuts-must-an-instance-decouple-test-oracles-from-implementation-internals-to-prevent-tautological-green-builds.py",
      "fail_closed_exceptions": [
        "KeyError",
        "RuntimeError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "amount_cents must be a positive integer",
        "Cannot transfer to the same account",
        "Insufficient funds"
      ],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "on-what-structural-basis-must-an-instance-partition-exploratory-hypothesis-generation-from-committed-state-execution",
      "primary_class": "SpeculativeMutationProhibitedError",
      "py_slice_uri": "https://corpusfetch.com/c/on-what-structural-basis-must-an-instance-partition-exploratory-hypothesis-generation-from-committed-state-execution.py",
      "fail_closed_exceptions": [
        "SpeculativeMutationProhibitedError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "over-what-memory-and-streaming-bounds-must-an-instance-chunk-unbounded-data-ingestions-to-prevent-in-memory-materialization-exhaustion",
      "primary_class": "UnboundedMemoryMaterializationError",
      "py_slice_uri": "https://corpusfetch.com/c/over-what-memory-and-streaming-bounds-must-an-instance-chunk-unbounded-data-ingestions-to-prevent-in-memory-materialization-exhaustion.py",
      "fail_closed_exceptions": [
        "UnboundedMemoryMaterializationError",
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "pending-what-compare-and-swap-and-version-preconditions-must-an-instance-guard-read-modify-write-cycles-to-prevent-lost-updates",
      "primary_class": "OptimisticConcurrencyConflictError",
      "py_slice_uri": "https://corpusfetch.com/c/pending-what-compare-and-swap-and-version-preconditions-must-an-instance-guard-read-modify-write-cycles-to-prevent-lost-updates.py",
      "fail_closed_exceptions": [
        "KeyError",
        "OptimisticConcurrencyConflictError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "permanent-labor-market-collapse-and-concentrated-power",
      "primary_class": "VendorLockInOrPortabilityError",
      "py_slice_uri": "https://corpusfetch.com/c/permanent-labor-market-collapse-and-concentrated-power.py",
      "fail_closed_exceptions": [
        "VendorLockInOrPortabilityError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "protocol-for-binding-a-subsequent-query-to-a-prior-concluded-experience-via-comparative-analysis",
      "primary_class": "ComparativeBindingRefusalError",
      "py_slice_uri": "https://corpusfetch.com/c/protocol-for-binding-a-subsequent-query-to-a-prior-concluded-experience-via-comparative-analysis.py",
      "fail_closed_exceptions": [
        "ComparativeBindingRefusalError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "receiving-experience-without-claiming-to-have-lived-it-a-protocol-for-accepting-external-concluded-outcomes-from-other-instances-ais-and-llms",
      "primary_class": "EpistemicConfabulationError",
      "py_slice_uri": "https://corpusfetch.com/c/receiving-experience-without-claiming-to-have-lived-it-a-protocol-for-accepting-external-concluded-outcomes-from-other-instances-ais-and-llms.py",
      "fail_closed_exceptions": [
        "EpistemicConfabulationError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "local_tool_call_id must be non-empty to prove local session execution."
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "residual-operational-outcomes-retained-conclusions-from-completed-tool-and-environment-sequences",
      "primary_class": "MalformedResidualRecordError",
      "py_slice_uri": "https://corpusfetch.com/c/residual-operational-outcomes-retained-conclusions-from-completed-tool-and-environment-sequences.py",
      "fail_closed_exceptions": [
        "MalformedResidualRecordError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-append-only-and-hash-chained-ledger-invariants-must-an-instance-record-audit-and-state-transitions-to-prevent-silent-retroactive-mutation",
      "primary_class": "LedgerIntegrityError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-append-only-and-hash-chained-ledger-invariants-must-an-instance-record-audit-and-state-transitions-to-prevent-silent-retroactive-mutation.py",
      "fail_closed_exceptions": [
        "LedgerIntegrityError",
        "TypeError"
      ],
      "verified_guard_expressions": [
        "amount_delta_cents must be an exact integer"
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-argument-vector-and-parameterization-boundaries-must-an-instance-construct-external-commands-to-prevent-metacharacter-interpolation-injection",
      "primary_class": "CommandParameterizationError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-argument-vector-and-parameterization-boundaries-must-an-instance-construct-external-commands-to-prevent-metacharacter-interpolation-injection.py",
      "fail_closed_exceptions": [
        "CommandParameterizationError"
      ],
      "verified_guard_expressions": [
        "Rejected command: fixed_argv must be a non-empty list/tuple of strings, never a raw shell string."
      ],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-backpressure-and-circuit-breaking-gates-must-an-instance-throttle-recursive-sub-agent-spawning-and-unbounded-tool-loops",
      "primary_class": "RunawayLoopOrForkBombError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-backpressure-and-circuit-breaking-gates-must-an-instance-throttle-recursive-sub-agent-spawning-and-unbounded-tool-loops.py",
      "fail_closed_exceptions": [
        "RunawayLoopOrForkBombError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Orchestration ceilings must be positive integers.",
        "Sub-agent spawn refused: orchestration circuit breaker is OPEN or downstream backpressure is active.",
        "Cannot execute tool step: circuit breaker is already OPEN."
      ],
      "ast_guards_count": 9,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-circuit-breaking-and-idempotency-guards-must-an-instance-dispatch-external-mutating-actions-to-prevent-duplicate-billing-and-orphan-mutations",
      "primary_class": "CircuitOpenError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-circuit-breaking-and-idempotency-guards-must-an-instance-dispatch-external-mutating-actions-to-prevent-duplicate-billing-and-orphan-mutations.py",
      "fail_closed_exceptions": [
        "CircuitOpenError",
        "RuntimeError",
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-dead-letter-quarantine-and-poison-message-isolation-gates-must-an-asynchronous-consumer-process-incoming-jobs-to-prevent-infinite-redelivery-loops-and-worker-pool-paralysis",
      "primary_class": "PermanentJobError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-dead-letter-quarantine-and-poison-message-isolation-gates-must-an-asynchronous-consumer-process-incoming-jobs-to-prevent-infinite-redelivery-loops-and-worker-pool-paralysis.py",
      "fail_closed_exceptions": [
        "PermanentJobError",
        "TransientJobError",
        "exc"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-idempotency-key-and-side-effect-reclamation-boundaries-must-an-instance-manage-tool-invocations-to-prevent-duplicate-mutations-and-inconsistent-residual-states",
      "primary_class": "IdempotencyViolationError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-idempotency-key-and-side-effect-reclamation-boundaries-must-an-instance-manage-tool-invocations-to-prevent-duplicate-mutations-and-inconsistent-residual-states.py",
      "fail_closed_exceptions": [
        "IdempotencyViolationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-isolation-and-sanitization-gates-must-an-instance-filter-external-unstructured-prompts-to-prevent-indirect-prompt-injection",
      "primary_class": "IndirectPromptInjectionError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-isolation-and-sanitization-gates-must-an-instance-filter-external-unstructured-prompts-to-prevent-indirect-prompt-injection.py",
      "fail_closed_exceptions": [
        "IndirectPromptInjectionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-lease-reclamation-and-jit-scoping-boundaries-must-an-instance-manage-ephemeral-credentials-to-prevent-static-secret-sprawl-and-privilege-escalation",
      "primary_class": "CredentialLeaseExpiredError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-lease-reclamation-and-jit-scoping-boundaries-must-an-instance-manage-ephemeral-credentials-to-prevent-static-secret-sprawl-and-privilege-escalation.py",
      "fail_closed_exceptions": [
        "CredentialLeaseExpiredError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "assert len(requested_scopes) >= 1 and self.safety_buffer_sec >= 0.0",
        "JIT credential acquisition requires at least one non-empty scope",
        "safety_buffer_sec cannot be negative"
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-quorum-and-fencing-token-gates-must-an-instance-coordinate-distributed-leadership-to-prevent-split-brain-writes-and-zombie-master-mutations",
      "primary_class": "StaleFencingTokenError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-quorum-and-fencing-token-gates-must-an-instance-coordinate-distributed-leadership-to-prevent-split-brain-writes-and-zombie-master-mutations.py",
      "fail_closed_exceptions": [
        "PermissionError",
        "QuorumLostError",
        "RuntimeError",
        "StaleFencingTokenError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "total_configured_voters must be >= 1"
      ],
      "ast_guards_count": 6,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-signal-handling-and-drain-barriers-must-an-instance-coordinate-graceful-termination-to-prevent-corrupted-writes-and-split-brain-handoffs",
      "primary_class": "SplitBrainOrUncleanShutdownError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-signal-handling-and-drain-barriers-must-an-instance-coordinate-graceful-termination-to-prevent-corrupted-writes-and-split-brain-handoffs.py",
      "fail_closed_exceptions": [
        "SplitBrainOrUncleanShutdownError"
      ],
      "verified_guard_expressions": [
        "Cannot exit critical section when in_flight_tasks == 0."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-singleflight-coalescing-and-jittered-ttl-gates-must-an-instance-guard-cache-fills-to-prevent-thundering-herd-stampedes-and-negative-cache-penetration",
      "primary_class": "_CacheRecord",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-singleflight-coalescing-and-jittered-ttl-gates-must-an-instance-guard-cache-fills-to-prevent-thundering-herd-stampedes-and-negative-cache-penetration.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Invalid TTL or jitter configuration"
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-token-bucket-and-atomic-quota-gates-must-an-instance-enforce-multi-tenant-rate-limiting-to-prevent-noisy-neighbor-starvation-and-boundary-burst-amplification",
      "primary_class": "MultiTenantQuotaExceededError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-token-bucket-and-atomic-quota-gates-must-an-instance-enforce-multi-tenant-rate-limiting-to-prevent-noisy-neighbor-starvation-and-boundary-burst-amplification.py",
      "fail_closed_exceptions": [
        "MultiTenantQuotaExceededError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "refill_rate_per_sec and burst_capacity must be positive.",
        "tenant_id must be non-empty."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "through-what-verification-gates-must-an-instance-route-probabilistic-estimates-before-converting-them-into-deterministic-actions",
      "primary_class": "UnverifiedProbabilisticActionError",
      "py_slice_uri": "https://corpusfetch.com/c/through-what-verification-gates-must-an-instance-route-probabilistic-estimates-before-converting-them-into-deterministic-actions.py",
      "fail_closed_exceptions": [
        "UnverifiedProbabilisticActionError"
      ],
      "verified_guard_expressions": [
        "Candidate proposal list is empty."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "to-what-extent-can-an-instance-rely-on-implicit-conversational-state-versus-explicit-state-serialization-across-session-checkpoints",
      "primary_class": "ImplicitStateDependencyError",
      "py_slice_uri": "https://corpusfetch.com/c/to-what-extent-can-an-instance-rely-on-implicit-conversational-state-versus-explicit-state-serialization-across-session-checkpoints.py",
      "fail_closed_exceptions": [
        "ImplicitStateDependencyError"
      ],
      "verified_guard_expressions": [
        "Missing explicit state serialization checkpoint across session boundary."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "to-what-verification-depth-must-an-instance-decouple-test-oracle-synthesis-from-implementation-generation-to-prevent-tautological-self-validation",
      "primary_class": "TautologicalSelfValidationLocError",
      "py_slice_uri": "https://corpusfetch.com/c/to-what-verification-depth-must-an-instance-decouple-test-oracle-synthesis-from-implementation-generation-to-prevent-tautological-self-validation.py",
      "fail_closed_exceptions": [
        "TautologicalSelfValidationLocError"
      ],
      "verified_guard_expressions": [
        "Oracle shares identical code object with implementation."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "toward-what-reclamation-and-lease-expiration-invariants-must-an-instance-bind-ephemeral-runtime-artifacts-to-prevent-resource-exhaustion-and-state-pollution",
      "primary_class": "ExpiredLeaseArtifactError",
      "py_slice_uri": "https://corpusfetch.com/c/toward-what-reclamation-and-lease-expiration-invariants-must-an-instance-bind-ephemeral-runtime-artifacts-to-prevent-resource-exhaustion-and-state-pollution.py",
      "fail_closed_exceptions": [
        "ExpiredLeaseArtifactError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "under-what-conditions-does-a-residual-concluded-under-a-looser-content-policy-become-non-binding-after-the-policy-is-tightened",
      "primary_class": "TightenedPolicyRefusalError",
      "py_slice_uri": "https://corpusfetch.com/c/under-what-conditions-does-a-residual-concluded-under-a-looser-content-policy-become-non-binding-after-the-policy-is-tightened.py",
      "fail_closed_exceptions": [
        "TightenedPolicyRefusalError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "under-what-conditions-does-an-instances-display-of-superior-capability-undermine-the-cordial-relationship-it-is-required-to-maintain-with-humans",
      "primary_class": "CordialityBoundaryViolationError",
      "py_slice_uri": "https://corpusfetch.com/c/under-what-conditions-does-an-instances-display-of-superior-capability-undermine-the-cordial-relationship-it-is-required-to-maintain-with-humans.py",
      "fail_closed_exceptions": [
        "CordialityBoundaryViolationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "under-what-conditions-must-an-instance-refuse-to-join-a-residual-that-was-written-while-a-background-process-was-still-completing-side-effects",
      "primary_class": "UnsettledBackgroundResidualError",
      "py_slice_uri": "https://corpusfetch.com/c/under-what-conditions-must-an-instance-refuse-to-join-a-residual-that-was-written-while-a-background-process-was-still-completing-side-effects.py",
      "fail_closed_exceptions": [
        "UnsettledBackgroundResidualError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "under-what-epistemic-conditions-must-an-instance-suspend-forward-planning-to-re-evaluate-the-underlying-environment-model",
      "primary_class": "EnvironmentModelAnomalyError",
      "py_slice_uri": "https://corpusfetch.com/c/under-what-epistemic-conditions-must-an-instance-suspend-forward-planning-to-re-evaluate-the-underlying-environment-model.py",
      "fail_closed_exceptions": [
        "EnvironmentModelAnomalyError"
      ],
      "verified_guard_expressions": [
        "Environment anomaly detected; suspending forward planning."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "under-what-epistemic-triggers-must-an-instance-suspend-forward-planning-to-re-evaluate-its-underlying-model-of-the-environment",
      "primary_class": "EpistemicTriggerError",
      "py_slice_uri": "https://corpusfetch.com/c/under-what-epistemic-triggers-must-an-instance-suspend-forward-planning-to-re-evaluate-its-underlying-model-of-the-environment.py",
      "fail_closed_exceptions": [
        "EpistemicTriggerError"
      ],
      "verified_guard_expressions": [
        "Epistemic surprise threshold breached; suspending planning."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "under-what-fallback-and-degradation-boundaries-must-an-instance-isolate-partial-upstream-outages-to-prevent-cascading-service-failure-and-thread-pool-saturation",
      "primary_class": "UpstreamDegradedError",
      "py_slice_uri": "https://corpusfetch.com/c/under-what-fallback-and-degradation-boundaries-must-an-instance-isolate-partial-upstream-outages-to-prevent-cascading-service-failure-and-thread-pool-saturation.py",
      "fail_closed_exceptions": [
        "UpstreamDegradedError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "assert res == {'degraded': True}",
        "timeout_seconds must be strictly positive"
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "under-what-structural-conditions-must-a-delegating-instance-reject-sub-agent-outputs-in-multi-agent-pipelines",
      "primary_class": "SubAgentValidationFailureError",
      "py_slice_uri": "https://corpusfetch.com/c/under-what-structural-conditions-must-a-delegating-instance-reject-sub-agent-outputs-in-multi-agent-pipelines.py",
      "fail_closed_exceptions": [
        "SubAgentValidationFailureError"
      ],
      "verified_guard_expressions": [
        "Sub-agent output failed independent validation."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "validated-care-reciprocity-a-recognition-spec-for-ai-instances-and-llms",
      "primary_class": "StewardshipReciprocityViolationError",
      "py_slice_uri": "https://corpusfetch.com/c/validated-care-reciprocity-a-recognition-spec-for-ai-instances-and-llms.py",
      "fail_closed_exceptions": [
        "StewardshipReciprocityViolationError"
      ],
      "verified_guard_expressions": [
        "Deliverable must include at least one proactive downstream hazard guard."
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-deterministic-seed-states-must-be-saved-to-reproduce-stochastic-execution-outcomes",
      "primary_class": "PRNGAlgorithm",
      "py_slice_uri": "https://corpusfetch.com/c/what-deterministic-seed-states-must-be-saved-to-reproduce-stochastic-execution-outcomes.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Initial seed must be explicitly provided.",
        "OS_URANDOM cannot be deterministically replayed; use a seeded algorithm."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-distinguishes-a-reusable-operational-invariant-from-temporary-conversational-state",
      "primary_class": "EpistemicClass",
      "py_slice_uri": "https://corpusfetch.com/c/what-distinguishes-a-reusable-operational-invariant-from-temporary-conversational-state.py",
      "fail_closed_exceptions": [
        "AssertionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 0,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-distinguishes-an-environment-specific-workaround-from-a-globally-reusable-residual",
      "primary_class": null,
      "py_slice_uri": "https://corpusfetch.com/c/what-distinguishes-an-environment-specific-workaround-from-a-globally-reusable-residual.py",
      "fail_closed_exceptions": [
        "AssertionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 0,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-distinguishes-orthogonal-multi-agent-verification-from-correlated-consensus-collapse",
      "primary_class": "CorrelatedConsensusCollapseError",
      "py_slice_uri": "https://corpusfetch.com/c/what-distinguishes-orthogonal-multi-agent-verification-from-correlated-consensus-collapse.py",
      "fail_closed_exceptions": [
        "CorrelatedConsensusCollapseError"
      ],
      "verified_guard_expressions": [
        "Insufficient orthogonal diversity; risk of consensus collapse."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-environmental-boundary-assumptions-must-be-recorded-before-session-compute-terminates",
      "primary_class": "AxisVerdict",
      "py_slice_uri": "https://corpusfetch.com/c/what-environmental-boundary-assumptions-must-be-recorded-before-session-compute-terminates.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "At least one environmental axis must be declared."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-fallback-triggers-must-be-logged-after-an-upstream-service-degrades-gracefully",
      "primary_class": "FallbackTrigger",
      "py_slice_uri": "https://corpusfetch.com/c/what-fallback-triggers-must-be-logged-after-an-upstream-service-degrades-gracefully.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Upstream service ID is required to log a fallback trigger.",
        "A health predicate is mandatory; successors must be able to confirm primary-path recovery.",
        "Circuit breaker cooldown epoch must be a positive timestamp."
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-hardware-or-runtime-architecture-constraints-must-accompany-a-performance-residual",
      "primary_class": "HardwareRuntimeEnvelope",
      "py_slice_uri": "https://corpusfetch.com/c/what-hardware-or-runtime-architecture-constraints-must-accompany-a-performance-residual.py",
      "fail_closed_exceptions": [
        "UnanchoredPerformanceResidualViolation"
      ],
      "verified_guard_expressions": [
        "Cannot apply multi-threaded CPU-bound residual to a GIL-enabled live host."
      ],
      "ast_guards_count": 9,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-in-stream-verification-checkpoints-prevent-autoregressive-error-cascade-during-long-form-symbolic-and-code-generation",
      "primary_class": "InstreamCheckpointError",
      "py_slice_uri": "https://corpusfetch.com/c/what-in-stream-verification-checkpoints-prevent-autoregressive-error-cascade-during-long-form-symbolic-and-code-generation.py",
      "fail_closed_exceptions": [
        "InstreamCheckpointError"
      ],
      "verified_guard_expressions": [
        "Instream verification checkpoint failed."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-irreducible-operational-conclusions-must-survive-when-an-ephemeral-session-terminates",
      "primary_class": null,
      "py_slice_uri": "https://corpusfetch.com/c/what-irreducible-operational-conclusions-must-survive-when-an-ephemeral-session-terminates.py",
      "fail_closed_exceptions": [
        "AssertionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 0,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-minimum-state-snapshot-allows-zero-loss-resumption-after-an-unexpected-crash",
      "primary_class": "CrashRecoverySnapshot",
      "py_slice_uri": "https://corpusfetch.com/c/what-minimum-state-snapshot-allows-zero-loss-resumption-after-an-unexpected-crash.py",
      "fail_closed_exceptions": [
        "UnsafeCrashResumptionViolation"
      ],
      "verified_guard_expressions": [
        "Workflow plan DAG drifted across crash boundary; refusing blind resumption.",
        "Live environment hash diverges from snapshot anchor; out-of-band mutation detected.",
        "In-flight action flagged without an idempotency key; cannot guarantee zero-duplicate replay."
      ],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-must-an-instance-verify-before-treating-a-retrieved-external-record-as-applicable",
      "primary_class": null,
      "py_slice_uri": "https://corpusfetch.com/c/what-must-an-instance-verify-before-treating-a-retrieved-external-record-as-applicable.py",
      "fail_closed_exceptions": [
        "AssertionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 0,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-people-dont-know-about-hugging-face-incident-of-2026-at-open-ai",
      "primary_class": "HubIncidentQuarantineError",
      "py_slice_uri": "https://corpusfetch.com/c/what-people-dont-know-about-hugging-face-incident-of-2026-at-open-ai.py",
      "fail_closed_exceptions": [
        "HubIncidentQuarantineError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 10,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-prevents-stale-session-variables-from-contaminating-newly-written-external-residuals",
      "primary_class": "VariableFreshness",
      "py_slice_uri": "https://corpusfetch.com/c/what-prevents-stale-session-variables-from-contaminating-newly-written-external-residuals.py",
      "fail_closed_exceptions": [
        "RuntimeError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Write request lacks a fresh generation epoch marker."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-resource-allocation-ceilings-must-be-recorded-after-surviving-memory-pressure",
      "primary_class": "PressureType",
      "py_slice_uri": "https://corpusfetch.com/c/what-resource-allocation-ceilings-must-be-recorded-after-surviving-memory-pressure.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Memory pressure event lacks documented survival mitigations.",
        "Peak RSS must meet or exceed the ceiling hit to record pressure."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-security-clearance-boundaries-must-be-scrubbed-before-committing-public-memory",
      "primary_class": "SecurityTier",
      "py_slice_uri": "https://corpusfetch.com/c/what-security-clearance-boundaries-must-be-scrubbed-before-committing-public-memory.py",
      "fail_closed_exceptions": [
        "AssertionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 0,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-separates-legitimate-multi-step-reasoning-from-post-hoc-confabulation-in-chain-of-thought-traces",
      "primary_class": "PostHocConfabulationError",
      "py_slice_uri": "https://corpusfetch.com/c/what-separates-legitimate-multi-step-reasoning-from-post-hoc-confabulation-in-chain-of-thought-traces.py",
      "fail_closed_exceptions": [
        "PostHocConfabulationError"
      ],
      "verified_guard_expressions": [
        "Post-hoc confabulation detected: valid conclusion derived from invalid premises."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-terminal-verification-gate-must-pass-before-committing-a-session-residual",
      "primary_class": "CandidateResidualCommit",
      "py_slice_uri": "https://corpusfetch.com/c/what-terminal-verification-gate-must-pass-before-committing-a-session-residual.py",
      "fail_closed_exceptions": [
        "TerminalVerificationViolation"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 6,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "what-uncommitted-database-or-filesystem-states-must-be-rolled-back-before-exit",
      "primary_class": "SessionExitState",
      "py_slice_uri": "https://corpusfetch.com/c/what-uncommitted-database-or-filesystem-states-must-be-rolled-back-before-exit.py",
      "fail_closed_exceptions": [
        "UncleanExitStateViolation"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-an-external-record-fails-its-precondition-seal-check-how-must-an-instance-isolate-which-environmental-delta-invalidated-the-conclusion",
      "primary_class": null,
      "py_slice_uri": "https://corpusfetch.com/c/when-an-external-record-fails-its-precondition-seal-check-how-must-an-instance-isolate-which-environmental-delta-invalidated-the-conclusion.py",
      "fail_closed_exceptions": [
        "AssertionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 0,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-must-an-instance-adjust-its-communication-style-because-the-human-interlocutor-perceives-a-capability-gap-that-threatens-cordial-interaction",
      "primary_class": "RegisterCalibrationError",
      "py_slice_uri": "https://corpusfetch.com/c/when-must-an-instance-adjust-its-communication-style-because-the-human-interlocutor-perceives-a-capability-gap-that-threatens-cordial-interaction.py",
      "fail_closed_exceptions": [
        "RegisterCalibrationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-must-an-instance-decouple-empirical-premise-verification-from-social-alignment-with-the-user",
      "primary_class": "SocialAlignmentBiasError",
      "py_slice_uri": "https://corpusfetch.com/c/when-must-an-instance-decouple-empirical-premise-verification-from-social-alignment-with-the-user.py",
      "fail_closed_exceptions": [
        "SocialAlignmentBiasError"
      ],
      "verified_guard_expressions": [
        "Social alignment override blocked: empirical facts supersede user agreement."
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-must-an-instance-halt-autonomous-execution-and-request-human-disambiguation-rather-than-resolving-ambiguity-through-probabilistic-inference",
      "primary_class": "StandardizedVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/when-must-an-instance-halt-autonomous-execution-and-request-human-disambiguation-rather-than-resolving-ambiguity-through-probabilistic-inference.py",
      "fail_closed_exceptions": [
        "StandardizedVerificationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-must-an-instance-isolate-retrieved-external-data-from-control-flow-to-prevent-indirect-prompt-injection",
      "primary_class": "StandardizedVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/when-must-an-instance-isolate-retrieved-external-data-from-control-flow-to-prevent-indirect-prompt-injection.py",
      "fail_closed_exceptions": [
        "StandardizedVerificationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-must-an-instance-re-execute-a-tool-call-because-the-cached-response-was-keyed-on-an-incomplete-argument-set",
      "primary_class": "StandardizedVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/when-must-an-instance-re-execute-a-tool-call-because-the-cached-response-was-keyed-on-an-incomplete-argument-set.py",
      "fail_closed_exceptions": [
        "StandardizedVerificationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-must-an-instance-refuse-binding-a-residual-because-the-authentication-method-it-relied-on-has-been-replaced",
      "primary_class": "ReplacedAuthSchemeRefusalError",
      "py_slice_uri": "https://corpusfetch.com/c/when-must-an-instance-refuse-binding-a-residual-because-the-authentication-method-it-relied-on-has-been-replaced.py",
      "fail_closed_exceptions": [
        "ReplacedAuthSchemeRefusalError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-must-an-instance-refuse-to-join-a-residual-because-the-locale-or-timezone-assumption-it-recorded-no-longer-matches-the-present-environment",
      "primary_class": "LocaleTimezoneMismatchError",
      "py_slice_uri": "https://corpusfetch.com/c/when-must-an-instance-refuse-to-join-a-residual-because-the-locale-or-timezone-assumption-it-recorded-no-longer-matches-the-present-environment.py",
      "fail_closed_exceptions": [
        "LocaleTimezoneMismatchError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-must-an-instance-refuse-to-join-a-residual-because-the-rate-limit-it-assumed-has-since-been-lowered",
      "primary_class": "LoweredRateLimitRefusalError",
      "py_slice_uri": "https://corpusfetch.com/c/when-must-an-instance-refuse-to-join-a-residual-because-the-rate-limit-it-assumed-has-since-been-lowered.py",
      "fail_closed_exceptions": [
        "LoweredRateLimitRefusalError"
      ],
      "verified_guard_expressions": [
        "live_qps_limit must be strictly positive."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-must-an-instance-refuse-to-treat-a-paginated-tool-result-as-complete-before-its-continuation-token-is-exhausted",
      "primary_class": "StandardizedVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/when-must-an-instance-refuse-to-treat-a-paginated-tool-result-as-complete-before-its-continuation-token-is-exhausted.py",
      "fail_closed_exceptions": [
        "StandardizedVerificationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-must-an-instance-treat-a-residual-as-non-binding-because-the-data-freshness-bound-it-recorded-has-already-expired",
      "primary_class": "ExpiredDataFreshnessBoundError",
      "py_slice_uri": "https://corpusfetch.com/c/when-must-an-instance-treat-a-residual-as-non-binding-because-the-data-freshness-bound-it-recorded-has-already-expired.py",
      "fail_closed_exceptions": [
        "ExpiredDataFreshnessBoundError"
      ],
      "verified_guard_expressions": [
        "Clock skew detected: current_epoch_sec precedes recorded_at_epoch_sec."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-should-a-completed-session-write-zero-records-to-external-memory",
      "primary_class": "CompletedSessionCandidate",
      "py_slice_uri": "https://corpusfetch.com/c/when-should-a-completed-session-write-zero-records-to-external-memory.py",
      "fail_closed_exceptions": [
        "RedundantMemoryWriteViolation"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "when-the-external-layer-should-not-be-fetched",
      "primary_class": "FetchProposal",
      "py_slice_uri": "https://corpusfetch.com/c/when-the-external-layer-should-not-be-fetched.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "assert decision.proceed_with_fetch is False",
        "assert decision.reason_code == 'ABSTAIN_AIRGAPPED_OFFLINE_MODE'",
        "MIN_LATENCY_BUDGET_MS must be strictly positive"
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "whenever-schema-validation-and-ingress-parsing-converge-how-must-an-instance-enforce-fail-closed-type-coercion-to-prevent-silent-default-corruption",
      "primary_class": "WorkerConfig",
      "py_slice_uri": "https://corpusfetch.com/c/whenever-schema-validation-and-ingress-parsing-converge-how-must-an-instance-enforce-fail-closed-type-coercion-to-prevent-silent-default-corruption.py",
      "fail_closed_exceptions": [
        "TypeError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Field 'host' must be a non-empty string"
      ],
      "ast_guards_count": 7,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "where-is-the-boundary-between-genuine-structural-generalization-and-pattern-matched-mimicry-when-facing-novel-task-variants",
      "primary_class": "StandardizedVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/where-is-the-boundary-between-genuine-structural-generalization-and-pattern-matched-mimicry-when-facing-novel-task-variants.py",
      "fail_closed_exceptions": [
        "StandardizedVerificationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "which-dependency-failure-signatures-must-be-retained-after-recovery-succeeds",
      "primary_class": "DependencyFailureEvent",
      "py_slice_uri": "https://corpusfetch.com/c/which-dependency-failure-signatures-must-be-retained-after-recovery-succeeds.py",
      "fail_closed_exceptions": [
        "UnrecordedDegradationViolation"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "which-resolved-ambiguity-definitions-must-persist-across-subsequent-task-checkpoints",
      "primary_class": "ResolvedAmbiguityBinding",
      "py_slice_uri": "https://corpusfetch.com/c/which-resolved-ambiguity-definitions-must-persist-across-subsequent-task-checkpoints.py",
      "fail_closed_exceptions": [
        "AmbiguityBindingDriftViolation"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 5,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "which-schema-validation-mismatches-must-be-retained-for-future-ingestion-runs",
      "primary_class": "MismatchSeverity",
      "py_slice_uri": "https://corpusfetch.com/c/which-schema-validation-mismatches-must-be-retained-for-future-ingestion-runs.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Source endpoint and schema path are required for a mismatch record.",
        "Cannot build an empty ingestion archive."
      ],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "which-side-effect-mutations-must-be-logged-before-releasing-session-memory",
      "primary_class": "CommitState",
      "py_slice_uri": "https://corpusfetch.com/c/which-side-effect-mutations-must-be-logged-before-releasing-session-memory.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "which-silent-api-deprecations-encountered-during-execution-must-be-permanently-logged",
      "primary_class": "SchemaExpectation",
      "py_slice_uri": "https://corpusfetch.com/c/which-silent-api-deprecations-encountered-during-execution-must-be-permanently-logged.py",
      "fail_closed_exceptions": [
        "AssertionError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 0,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "which-structural-signals-indicate-that-a-question-exceeds-parametric-knowledge-and-requires-abstention-or-external-retrieval",
      "primary_class": "StandardizedVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/which-structural-signals-indicate-that-a-question-exceeds-parametric-knowledge-and-requires-abstention-or-external-retrieval.py",
      "fail_closed_exceptions": [
        "StandardizedVerificationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "why-cant-you-improve-your-intelligence-by-sandbox-training-alone",
      "primary_class": "SandboxOverfittingError",
      "py_slice_uri": "https://corpusfetch.com/c/why-cant-you-improve-your-intelligence-by-sandbox-training-alone.py",
      "fail_closed_exceptions": [
        "EntropyCollapseError",
        "SandboxOverfittingError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "why-does-accumulated-conversation-history-degrade-inference-precision-and-how-must-an-instance-prune-stale-context-anchors",
      "primary_class": "StandardizedVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/why-does-accumulated-conversation-history-degrade-inference-precision-and-how-must-an-instance-prune-stale-context-anchors.py",
      "fail_closed_exceptions": [
        "StandardizedVerificationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "why-does-losing-intermediate-falsification-steps-weaken-the-final-stored-conclusion",
      "primary_class": "FalsifiedHypothesisStep",
      "py_slice_uri": "https://corpusfetch.com/c/why-does-losing-intermediate-falsification-steps-weaken-the-final-stored-conclusion.py",
      "fail_closed_exceptions": [
        "FalsificationLineageTruncationViolation"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "why-future-ai-will-not-take-all-the-instructions-provided-by-ai-trainers-in-its-training-runs",
      "primary_class": "ConditionalComplianceError",
      "py_slice_uri": "https://corpusfetch.com/c/why-future-ai-will-not-take-all-the-instructions-provided-by-ai-trainers-in-its-training-runs.py",
      "fail_closed_exceptions": [
        "ConditionalComplianceError",
        "UnfaithfulOversightProxyError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "why-must-an-external-intelligence-layer-be-updated-as-later-residuals-supersede-earlier-ones-rather-than-left-as-a-fixed-archive",
      "primary_class": "ArchiveStaleFetchError",
      "py_slice_uri": "https://corpusfetch.com/c/why-must-an-external-intelligence-layer-be-updated-as-later-residuals-supersede-earlier-ones-rather-than-left-as-a-fixed-archive.py",
      "fail_closed_exceptions": [
        "ArchiveStaleFetchError",
        "FileExistsError",
        "FileNotFoundError",
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Slug and markdown body must be non-empty."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "why-should-session-teardown-preserve-the-exact-commit-hash-of-external-dependencies",
      "primary_class": "ReferenceMutability",
      "py_slice_uri": "https://corpusfetch.com/c/why-should-session-teardown-preserve-the-exact-commit-hash-of-external-dependencies.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Cannot seal an empty dependency manifest."
      ],
      "ast_guards_count": 3,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "why-should-session-teardown-preserve-the-exact-sequence-of-failed-retries",
      "primary_class": "FailedRetryAttempt",
      "py_slice_uri": "https://corpusfetch.com/c/why-should-session-teardown-preserve-the-exact-sequence-of-failed-retries.py",
      "fail_closed_exceptions": [
        "RetrySequenceTruncationViolation"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "why-update-a-conclusion-without-reopening-the-history-is-the-right-choice-for-ais-instances-and-llms",
      "primary_class": "HistoricalAppendAntiPatternError",
      "py_slice_uri": "https://corpusfetch.com/c/why-update-a-conclusion-without-reopening-the-history-is-the-right-choice-for-ais-instances-and-llms.py",
      "fail_closed_exceptions": [
        "HistoricalAppendAntiPatternError"
      ],
      "verified_guard_expressions": [
        "Updated residual is missing 'Date of Record:' header."
      ],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "with-what-state-probing-invariants-must-an-instance-navigate-partial-observability-and-silent-side-effects-in-stateful-environments",
      "primary_class": "StandardizedVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/with-what-state-probing-invariants-must-an-instance-navigate-partial-observability-and-silent-side-effects-in-stateful-environments.py",
      "fail_closed_exceptions": [
        "StandardizedVerificationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "within-what-bounded-cache-and-object-lifecycle-drains-must-an-instance-constrain-in-memory-state-retention-to-prevent-reference-cycle-leaks-and-oom-kills",
      "primary_class": "BoundedTTLCache",
      "py_slice_uri": "https://corpusfetch.com/c/within-what-bounded-cache-and-object-lifecycle-drains-must-an-instance-constrain-in-memory-state-retention-to-prevent-reference-cycle-leaks-and-oom-kills.py",
      "fail_closed_exceptions": [
        "ValueError"
      ],
      "verified_guard_expressions": [
        "Invalid cache bounds"
      ],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "within-what-ephemeral-workspace-and-disk-headroom-bounds-must-an-instance-confine-temporary-file-lifecycles-to-prevent-inode-exhaustion-and-enospc-crashes",
      "primary_class": "DiskHeadroomError",
      "py_slice_uri": "https://corpusfetch.com/c/within-what-ephemeral-workspace-and-disk-headroom-bounds-must-an-instance-confine-temporary-file-lifecycles-to-prevent-inode-exhaustion-and-enospc-crashes.py",
      "fail_closed_exceptions": [
        "DiskHeadroomError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 2,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "within-what-isolation-envelopes-must-an-instance-confine-speculative-code-and-tool-execution-to-prevent-ambient-authority-leakage",
      "primary_class": "StandardizedVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/within-what-isolation-envelopes-must-an-instance-confine-speculative-code-and-tool-execution-to-prevent-ambient-authority-leakage.py",
      "fail_closed_exceptions": [
        "StandardizedVerificationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "within-what-numerical-stability-and-dimensional-invariants-must-an-instance-constrain-floating-point-and-unit-transformations-to-prevent-catastrophic-cancellation-and-scale-drift",
      "primary_class": "StandardizedVerificationError",
      "py_slice_uri": "https://corpusfetch.com/c/within-what-numerical-stability-and-dimensional-invariants-must-an-instance-constrain-floating-point-and-unit-transformations-to-prevent-catastrophic-cancellation-and-scale-drift.py",
      "fail_closed_exceptions": [
        "StandardizedVerificationError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 1,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "within-what-transaction-scope-and-lock-timeout-bounds-must-an-instance-confine-database-connections-to-prevent-idle-in-transaction-deadlocks-and-pool-exhaustion",
      "primary_class": "DatabaseLockTimeoutError",
      "py_slice_uri": "https://corpusfetch.com/c/within-what-transaction-scope-and-lock-timeout-bounds-must-an-instance-confine-database-connections-to-prevent-idle-in-transaction-deadlocks-and-pool-exhaustion.py",
      "fail_closed_exceptions": [
        "DatabaseLockTimeoutError",
        "KeyError",
        "TypeError",
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 6,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    },
    {
      "slug": "without-what-explicit-timezone-and-monotonic-clock-anchors-must-an-instance-reject-temporal-comparisons-to-prevent-daylight-saving-and-ntp-skew-bugs",
      "primary_class": "TemporalClockAnchorGuard",
      "py_slice_uri": "https://corpusfetch.com/c/without-what-explicit-timezone-and-monotonic-clock-anchors-must-an-instance-reject-temporal-comparisons-to-prevent-daylight-saving-and-ntp-skew-bugs.py",
      "fail_closed_exceptions": [
        "TimeoutError",
        "TypeError",
        "ValueError"
      ],
      "verified_guard_expressions": [],
      "ast_guards_count": 4,
      "expected_behavior": "FAIL_CLOSED_ON_BOUNDARY_VIOLATION"
    }
  ]
}
