Skip to content

Self-service design partner evaluation

Your design stays with you. The outcome speaks for itself.

Choose representative RTL and requirements, execute the versioned workflow on your own Linux worker, compare against an independently owned oracle, and send the maintainer only your non-confidential outcome and suitability assessment.

Before starting: Guarded Continuation Checker is not certified, production-qualified or a replacement for your safety lifecycle. Do not send source code, properties, traces, credentials or other confidential data to the maintainer or public project channels.
  1. 01

    Define the boundary

    Record sources, top, parameters, assumptions, bad outputs, reset policy and bounded horizon.

  2. 02

    Predeclare the oracle

    Choose a prior reviewed result or independent verification path before running GCC.

  3. 03

    Run in isolation

    Use the published hostile-input isolation profile on a partner-owned ephemeral Linux worker.

  4. 04

    Replay and reconcile

    Repeat results, replay every counterexample and retain every disagreement in the denominator.

  5. 05

    Obtain independent review

    Have an authorised reviewer accept or reject every retained evidence row.

  6. 06

    Return only the outcome

    Send aggregate results, limitations, production-gate result and suitability assessment, with nothing confidential.

Open the v0.30.0 brief Read the v0.30.0 runbook