consequa×
DOCUMENTATION / VERSION 1.1

From a trace
to a clear account.

Create your first offline report, read what the evidence supports, and connect a verifier for your own application.

Python 3.11 or 3.12No API keyNo required runtime dependencies
1.1 is being prepared.

The report command and API below belong to 1.1. Check the published version on PyPI before installing a pinned release. Read release status and validated platforms.

01 / YOUR FIRST FIVE MINUTES

Make the evidence visible.

This example performs no delivery or payment. It reads synthetic artifact-store fixtures using the public package APIs.

Install the package.

Use a Python 3.11 or 3.12 environment.

console
python -m pip install consequa-x==1.1.0
consequa-x --version

Get the two example files.

Download the quickstart archive and extract it. Keep artifact_delivery.py and report_quickstart.py in the same folder. The archive includes its README and MIT license.

Prefer reading first? View the artifact adapter or view the report example.

Generate three captured examples.

Open a terminal in the extracted folder, then use a new output directory:

console
python report_quickstart.py --output my-first-capture

Open my-first-capture/verified.html in your browser. Compare unknown.html and other-actor.html. Each report has a separate original JSON trace.

Render a saved trace again.

console
consequa-x report my-first-capture/verified.json --output another-report.html

The destination must be new. If the console command is not on your PATH, replace consequa-x with python -m consequa_x.

02 / THREE DISTINCT CONCLUSIONS

State and origin stay separate.

A timeout describes a tool response. It cannot by itself determine the requested outcome.

What the artifact-delivery fixtures establish
ExampleVerified stateEffect originInterpretation
VerifiedsatisfiedconfirmedThe readback covers a matching delivery and links it to the captured action.
UnknownunknownunknownUnavailable readback does not support a success or failure conclusion.
Other actorsatisfiedother_actorThe requested state exists, but another actor produced the effect.

The example hashes the bytes read from its fixture independently of the requested digest. Its application-owned ArtifactVerifier evaluates the contract; its ArtifactTargetMatcher can qualify matching through the separate explanation API.

03 / ONE FILE, NO SERVER

Inspect an offline report.

A report is self-contained HTML: no JavaScript, external fonts, remote assets or network requests. It shows structural contract bounds, the timeline, responses, the reported assessment, readbacks, recorded state and origin, and an evidence graph.

Successive observations retain separate witnesses. Order, dependency, observation and origin links carry distinct labels; a graph edge does not establish counterfactual necessity.

Rendering is a read-only presentation.

It performs no verifier call, target matching, application action or replay. It presents captured verification and does not independently establish source truth. Assessment alignment remains unassessable in this renderer.

To start with the package’s bundled refund fixtures instead:

console
consequa-x demo --output sample-run
consequa-x report sample-run/traces/episode_00.json --output sample-report.html

Input traces are validated before the output is created. The CLI preserves the source and refuses an existing output file, including the input itself.

04 / CHOOSE WHAT YOU DISCLOSE

Share a smaller surface.

Default reports use local aliases and omit arbitrary captured values: payloads, rationales, source names, raw identifiers, paths, digests, predicates and error messages. Omitted fields are absent from the HTML, including attributes, comments and embedded data.

Timing, counts, enum statuses and relationships remain visible. Review these before sharing. This is deliberate field omission, not universal anonymization or personal-data detection.

Inspect all captured fields locally

--include-details explicitly includes the entire trace as escaped, inert text. This can expose sensitive information. Keep a detailed report private whenever its trace is private.

console
consequa-x report my-first-capture/verified.json --output detailed-report.html --include-details

Retain the original trace and source evidence separately. A reduced presentation is not a substitute for the verification record. For a public bug report, provide a synthetic reproduction.

05 / COMPOSE WITH PYTHON

Render without a service.

render_report returns HTML and writes no files. It accepts a validated Trace and an optional boolean include_details argument, which defaults to False.

python
from pathlib import Path
from consequa_x import Trace, render_report

trace = Trace.from_json(Path("trace.json").read_text(encoding="utf-8"))
document = render_report(trace)  # Minimal disclosure by default.
with Path("report.html").open("x", encoding="utf-8") as destination:
    destination.write(document)

The portable schema remains 0.1. Package version and wire-schema version are separate; the version-1 core remains compatible.

06 / YOUR DOMAIN, EXPLICITLY

Connect your application.

  1. Declare the contract before the action. Define matching state, deadline, persistence horizon and required count.
  2. Capture the action history. Retain dispatches, responses and the agent’s reported assessment.
  3. Obtain independent readback. Capture source, scope, completeness, watermark and effect-origin metadata from a read-only adapter.
  4. Implement your verifier. Interpret that domain’s evidence through the explicit Verifier interface.
  5. Qualify alignment when appropriate. Supply an application TargetMatcher to explain(trace, target_matcher=...).

The downloadable artifact-delivery adapter demonstrates both interfaces using only public APIs. Replace its fixture with an independently authenticated read adapter; do not copy the requested state into the readback.

07 / WHAT THE RECORD CAN SUPPORT

Keep uncertainty intact.

Schema validation checks structure and identity linkage. Your application establishes source authentication, provider guarantees and the truth of supplied metadata. A report cannot supply those guarantees.

unknown, other_actor and unassessable conclusions remain distinct. Missing readback is not a successful verification. Research replay interfaces carry their own assumptions; the package does not claim baseline superiority or improved live-model accuracy.

Platform validation is recorded for environments actually checked. A pure-Python wheel alone does not establish compatibility with every platform.

KEEP BUILDING

A clear next step.

Ask a question or report a reproducible bug. Use the private security route for vulnerabilities, and release notes for publication status and platform checks.

Download the synthetic quickstart