Prerequisites
Agree on the target Ethereum deployment, approved builder software, State Oracle and Credible Registry deployments, builder authorization, and the supported assertion specification. Obtain the deployment-specific operator runbook and endpoints through onboarding.1. Connect Validation to Block Building
Integrate the Assertion Enforcer with candidate transaction execution. Supply the execution context needed by the applicable triggers and wait for the required validation results before publishing the candidate block. Exclude candidates that fail active production assertions. A successful report only makes a transaction eligible for inclusion. Document handling for validation errors, resource exhaustion, missing artifacts, and timeouts. Do not assume the sequencer rollback design in the L2 section applies to an Ethereum builder.2. Prepare Assertion State and Artifacts
Index assertion assignments and lifecycle events from the State Oracle. Prepare and cache bytecode from Assertion DA before it enters the active execution set. Verify that alerting and production state remain distinct and that scheduled additions and removals take effect at the correct boundary.3. Integrate Credible-Block Marking
Only authorized builder addresses may mark blocks in the Credible Registry. Place the marker before protected operations and bind it to the expected block timestamp. Protect the marker’s publication and signing flow according to the Trust Model. The marker is an attestation, not a proof of assertion execution. Guarded protocols depend on the builder honoring its validation policy. Assertion-manager authority in the State Oracle is separate from builder authorization in the Credible Registry.4. Verify Routing and Guarded Execution
Configure the submission route so the Credible RPC delivers candidate transactions to participating builders. Test a reviewed guarded contract through the actual route, including:- A legitimate transaction in a marked block.
- A transaction rejected by an active assertion, with invalidation evidence.
- A guarded call in a noncredible block while the gate is closed.
- Fail-open and Registry-error behavior for the deployed guard.
- Every relevant submitter and alternative contract path.

