> ## Documentation Index
> Fetch the complete documentation index at: https://phylaxsystems-docs-project-incidents.mintlify.site/llms.txt
> Use this file to discover all available pages before exploring further.

# Trust Model & Guarantees

> What the Credible Layer guarantees, what it does not, and the operational assumptions

This page summarizes the Credible Layer trust model in plain language.

## What We Guarantee

* **Deterministic enforcement**: given the same on-chain state and assertion code, enforcement
  results are deterministic
* **Pre-execution protection**: transactions that violate deployed assertions are excluded from
  blocks by networks running the enforcer
* **Transparent rules**: assertions are public Solidity code and can be audited by anyone

## What We Do Not Guarantee

* **Assertion correctness**: teams are responsible for writing accurate assertions
* **Complete coverage**: only behaviors covered by assertions are enforced
* **Off-chain security**: custodial, UI, or off-chain service risks are out of scope

## Operational Assumptions

* The network runs the Assertion Enforcer during block building
* The enforcer can access registry data (from on-chain events) and assertion bytecode
* The network follows its normal transaction validity rules alongside enforcement

## Failure Modes (High Level)

* **Enforcer unavailable**: the network continues normal operation without enforcement until the
  enforcer is restored
* **Registry misconfiguration**: assertions may not apply to intended contracts
* **DA connectivity issues**: new assertions may be delayed until bytecode is reachable

## Next Steps

<CardGroup cols={2}>
  <Card title="Architecture Overview" icon="diagram-project" href="/credible/architecture-overview">
    Understand the system components and flows
  </Card>

  <Card title="Assertion Enforcer" icon="shield" href="/credible/assertion-enforcer">
    Enforcement details and validation process
  </Card>

  <Card title="FAQ" icon="circle-question" href="/credible/faq">
    Common questions about the Credible Layer
  </Card>
</CardGroup>