# metamorphic_log v0.1.0 - Table of Contents

> Elixir client for the metamorphic-log transparency-log engine: inclusion/consistency proofs, C2SP signed-note + checkpoint verification (Ed25519 + hybrid post-quantum), CONIKS lookup/absence proofs, namespace-policy verification, and ingestion primitives. Precompiled Rust NIFs.

## Pages

- [metamorphic_log](readme.md)
- [Verification guide](verification-guide.md)
- [Changelog](changelog.md)

## Modules

- [MetamorphicLog](MetamorphicLog.md): Elixir client for the **metamorphic-log** transparency-log engine.

- Proofs
  - [MetamorphicLog.Proof](MetamorphicLog.Proof.md): RFC 6962 / 9162 Merkle **inclusion** and **consistency** proof verification.

- Checkpoints
  - [MetamorphicLog.Checkpoint](MetamorphicLog.Checkpoint.md): Transparency-log checkpoints (signed tree heads), in the
[C2SP tlog-checkpoint](https://github.com/C2SP/C2SP/blob/main/tlog-checkpoint.md)
format carried inside a `MetamorphicLog.Note`.
  - [MetamorphicLog.Note](MetamorphicLog.Note.md): C2SP signed-note verification.

- Key Transparency (CONIKS)
  - [MetamorphicLog.Commitment](MetamorphicLog.Commitment.md): SHA3-512 commitment verification (CONIKS value commitments).
  - [MetamorphicLog.Coniks](MetamorphicLog.Coniks.md): CONIKS key-transparency lookup and absence verification (Layer 3).

- Namespace Policy
  - [MetamorphicLog.Policy](MetamorphicLog.Policy.md): Signed **namespace policy** verification and declared-vs-observed enforcement.

- Leaves
  - [MetamorphicLog.Leaf](MetamorphicLog.Leaf.md): Canonical leaf encoding for the `mosslet/key-history/v1` conformance instance.

- Ingestion
  - [MetamorphicLog.Ingest](MetamorphicLog.Ingest.md): Deterministic ingestion / scale primitives for an Elixir operator pipeline.

## Mix Tasks

- [mix metamorphic_log.release](Mix.Tasks.MetamorphicLog.Release.md): Publishes `metamorphic_log` to Hex from your machine, in the correct order for
a precompiled-NIF package.

