Transport & secure session
No relay, recipient, network metadata, MLS encryption, delivery or wire behavior is executed or inferred here.
Synthetic · transcript-only · read-only · C0.3 NO-GO
See what the protocol evidence says—and what it does not.
This is not a product or security demo. Walk through frozen C0.3 scenarios one step at a time and inspect only the precomputed evidence recorded by the corpus.
118scenarios
501hostile mutations
46transcript vectors
2independent readers in source evidence
The pinned evidence projection loads only when JavaScript is available.
Read the boundary first
One view, four different layers.
Canonical transcript
Synthetic bytes, signature verification, context binding, commitments and bounded framing are represented by frozen vectors.
Kernel evaluation
Dependency status, admission, authority projection, outcome precedence and deterministic state observations are replayed.
Product & operations
No Flegias workflow, durable storage, recovery, anonymity, audit, UI policy or sensitive-use safety is demonstrated.
Trace explorer
Follow a frozen scenario.
Choose a corpus scenario. Controls only move through its precomputed trace; they do not generate or validate new protocol input.
Frozen evidence
Select a scenario
The source corpus remains available without JavaScript.
Candidate action
No trace loaded
— · —
- Stage
- —
- Local outcome
- —
- Remote class
- —
- Dependency
- —
- Transcript
- —
- Signature
- —
- Commitment
- —
- K admission
- —
- AP authority
- External effects
- —
Pre-state
—Post-state
—Requires—
Produces—
Input transcript summary
- Corpus validity
- —
- Kind
- —
- Event role
- —
- Event type
- —
- Author sequence
- —
- Causal parents
- —
- Content class
- —
- Transcript size
- —
- Signature suite
- —
- Frozen mutation
- —
This summary describes synthetic transcript material. It does not describe transport encryption, recipients, routing metadata or plaintext visibility.
Trace identity and normative citations
- Observation
—- Semantic observation
—
Adversarial registry
Inspect a known hostile change.
The registry records what was changed, which invariant it challenges and which independent detector must reject it. Selecting an entry does not execute the mutation.
Mutation index requires JavaScript.
Recorded counter-test
Select a mutation
- Class
- —
- Transformation
- —
- Violated invariant
- —
- Detector
- —
- Expected stage
- —
- Expected outcome
- —
- Source record
—
Non-claims travel with the evidence
A passing trace is not a safe deployment.
- No implementation alignment
- No product or demo readiness
- No production ceremony or recovery
- No runtime storage, transport or wire claim
- No security proof or audit
- No sensitive use