Auditing and semantic diffing

Text diffs show source edits. Axiom semantic diffs describe the resulting contract or package impact after evaluation and normalization.

Contract source and lock

axiom diff axiom.acore --format changelog
axiom diff before.acore after.acore --format semantic

Supported output formats are changelog, semantic, text, and atom. The one-source form compares with the local lock state; the two-source form compares explicit inputs.

Locked UI contracts

axiom contract diff before.ui.lock.json after.ui.lock.json
axiom contract verify

Contract lock review is the right boundary for operation, audience, projection, and artifact-integrity changes consumed by an Acore UI.

Typed packages

axiom packages diff before.axiom after.axiom

Package diff classifies kind-specific changes such as target reduction, required theme roles, component prop/slot changes, and capability increases. Breaking or permission-increasing changes can require an explicit approval named by the diff result.

Review evidence

Keep the before/after immutable identities, semantic output, approvals, and test results together. A diff is evidence about declared semantics; it is not proof that arbitrary backend code or separately distributed extension bytes are safe.