README
U
AlignmentEvidence
U
AtomicDifference
U
CauseEnvelope
U
ChangedFact
U
ComparisonControl
U
ComparisonProfile
U
ComputedRelation
U
DeclaredVisualFact
U
Diagnostic
U
DiagnosticSourceLocation
U
DifferenceMagnitude
U
DifferenceRegion
U
DomainOrdering
U
FeatureCoverage
U
FlipErrorThreshold
U
FlipViewingConditions
U
ImpactAssessment
U
ImpactDominationWitness
U
ImpactFrontierGroup
U
ImpactMeasurement
U
IntrinsicRasterMagnitude
U
PaintedBoundaryDisplacementMagnitude
U
PaintedCoverageDifferenceMagnitude
U
PerceptualBackground
U
PerceptualColorEvidence
U
PerceptualColorMagnitude
U
PerceptualFlipAreaAboveThreshold
U
PerceptualFlipEvidence
U
PerceptualFlipMap
U
PerceptualFlipStatistics
U
PresenceMagnitude
U
RenderedEvidence
U
RenderedMagnitude
U
RendererCapabilityGap
U
ReportSourceSpan
U
ResolvedVisualFact
U
ResourceBundle
U
ResourceBundleEntry
U
SourceResolutionPair
U
StructuredReport
U
SubjectAlignment
U
SubjectInstanceContext
U
SubjectReference
U
TransformEffectMagnitude
U
TransformResidualMagnitude
U
TransformRotationMagnitude
U
TransformScaleMagnitude
U
TransformSkewMagnitude
U
TransformTranslationMagnitude
U
VisualEvent
- ::equalComparisonInterrupted::equal
- ::not_equalComparisonInterrupted::not_equal
- ::to_reprComparisonInterrupted::to_repr
T
ComparisonArtifact
V
compare
V
compare_artifact_with_control_and_resources
V
compare_with_control
V
compare_with_control_and_resources
V
compare_with_resources
V
render_html_report

svgdiff

Deterministic visual-semantic SVG comparison with typed reports for programs and text-only agents.

svg

diff

visual-semantics

structured-report

agent

Download zip

Author

Milky2018

Version

0.10.3

License

Apache-2.0

Repository

github.com/Milky2018/svgdiff

Last updated

14 days ago

Downloads

128

Dependencies

#svgdiff for MoonBit

Milky2018/svgdiff compares two deterministic static SVG source strings and returns a typed Structured Report for programs and agents that need visual-semantic differences without inspecting images directly.

#Install

moon add Milky2018/svgdiff@0.10.1

#Compare SVG sources

///|
test "compare SVG source strings through the public package" {
  let before = "<svg width='16' height='16'><rect width='8' height='8' fill='red'/></svg>"
  let after = "<svg width='16' height='16'><rect width='8' height='8' fill='blue'/></svg>"
  let report = @svgdiff.compare(
    before,
    after,
    @svgdiff.ComparisonProfile::v1_default(),
  )
  assert_eq(report.schema_version, "5.0")
  assert_eq(report.analysis_status, "complete")
  assert_eq(report.visual_scene.summary.object_set, "preserved")
  assert_eq(report.visual_scene.summary.style, "changed")
  assert_true(report.atomic_differences.length() > 0)
  assert_true(report.events.length() > 0)
}

The root package is the stable library interface. Native, WASIp1, and browser entrypoints live in sibling packages under cmd.

AlignmentEvidence

source

using @Milky2018/svgdiff/engine/model { type AlignmentEvidence }

Reviewable selection evidence for one Subject Alignment.

confidence remains null while confidence_status is not_calibrated; deterministic selection does not imply a calibrated probability.

AtomicDifference

source

using @Milky2018/svgdiff/engine/model { type AtomicDifference }

Smallest independently reportable visual-semantic change.

Domain, evidence layers, computed relation, magnitude, and ordering remain independent so representation and measured visual impact are not conflated.

CauseEnvelope

source

using @Milky2018/svgdiff/engine/model { type CauseEnvelope }

Conservative Changed Fact candidates for one Difference Region.

A sound_overapproximation contains every actual changed cause within complete analysis coverage, but may contain false positives.

ChangedFact

source

using @Milky2018/svgdiff/engine/model { type ChangedFact }

One changed supported authored fact and the subjects it may affect.

ComparisonControl

source

using @Milky2018/svgdiff/engine { type ComparisonControl }

ComparisonProfile

source

using @Milky2018/svgdiff/engine/model { type ComparisonProfile }

Rendering conditions for one comparison.

ComputedRelation

source

using @Milky2018/svgdiff/engine/model { type ComputedRelation }

Relationship between the supported before and after computed facts.

status is equivalent, different, indeterminate, or not_applicable; reason_code and Diagnostic references explain why.

DeclaredVisualFact

source

using @Milky2018/svgdiff/engine/model { type DeclaredVisualFact }

One supported authored visual declaration with exact source provenance.

Diagnostic

source

using @Milky2018/svgdiff/engine/model { type Diagnostic }

Structured coverage limitation or analysis failure.

DiagnosticSourceLocation

source

using @Milky2018/svgdiff/engine/model { type DiagnosticSourceLocation }

One source-qualified location establishing a Diagnostic.

DifferenceMagnitude

source

using @Milky2018/svgdiff/engine/model { type DifferenceMagnitude }

Domain-appropriate magnitude vector for one Atomic Difference.

Optional components that were not computed serialize as null rather than zero.

DifferenceRegion

source

using @Milky2018/svgdiff/engine/model { type DifferenceRegion }

Pixel-space and CSS-space localization of one visual outcome component.

DomainOrdering

source

using @Milky2018/svgdiff/engine/model { type DomainOrdering }

Versioned lexicographic components for ordering differences in one domain.

FeatureCoverage

source

using @Milky2018/svgdiff/engine/model { type FeatureCoverage }

Coverage of one encountered feature at each canonical evidence layer.

Layer status is covered, limited, not_applicable, or failed. Diagnostics explain every limited or failed row.

FlipErrorThreshold

source

using @Milky2018/svgdiff/engine/model { type FlipErrorThreshold }

Explicit optional reporting threshold for LDR-FLIP error values.

FlipViewingConditions

source

using @Milky2018/svgdiff/engine/model { type FlipViewingConditions }

Explicit LDR-FLIP viewing conditions with a bounded filter domain.

ImpactAssessment

source

using @Milky2018/svgdiff/engine/model { type ImpactAssessment }

Additive versioned main-event assessment that preserves partial ordering.

ImpactDominationWitness

source

using @Milky2018/svgdiff/engine/model { type ImpactDominationWitness }

One deterministic explanation for excluding a dominated event.

ImpactFrontierGroup

source

using @Milky2018/svgdiff/engine/model { type ImpactFrontierGroup }

One singleton or exact measured-tie group on the main-event frontier.

ImpactMeasurement

source

using @Milky2018/svgdiff/engine/model { type ImpactMeasurement }

Common whole-canvas event measurements used by one Impact Assessment.

IntrinsicRasterMagnitude

source

using @Milky2018/svgdiff/engine/model { type IntrinsicRasterMagnitude }

Intrinsic decoded-raster comparison, independent of final SVG compositing.

PaintedBoundaryDisplacementMagnitude

source

using @Milky2018/svgdiff/engine/model { type PaintedBoundaryDisplacementMagnitude }

Symmetric nearest-boundary statistics from the pinned renderer's alpha support.

PaintedCoverageDifferenceMagnitude

source

using @Milky2018/svgdiff/engine/model { type PaintedCoverageDifferenceMagnitude }

Symmetric alpha-only isolated painted-coverage comparison.

PerceptualBackground

source

using @Milky2018/svgdiff/engine/model { type PerceptualBackground }

One explicit opaque sRGB8 background for future perceptual compositing.

PerceptualColorEvidence

source

using @Milky2018/svgdiff/engine/model { type PerceptualColorEvidence }

Availability and optional event-local perceptual-color magnitude.

PerceptualColorMagnitude

source

using @Milky2018/svgdiff/engine/model { type PerceptualColorMagnitude }

Displayed-color magnitude for one selected rendered outcome after explicit background compositing.

PerceptualFlipAreaAboveThreshold

source

using @Milky2018/svgdiff/engine/model { type PerceptualFlipAreaAboveThreshold }

Explicit-threshold spatial extent for one event-local LDR-FLIP response.

PerceptualFlipEvidence

source

using @Milky2018/svgdiff/engine/model { type PerceptualFlipEvidence }

Availability and optional event-local LDR-FLIP map.

PerceptualFlipMap

source

using @Milky2018/svgdiff/engine/model { type PerceptualFlipMap }

Deterministic quantized LDR-FLIP map for one selected rendered outcome.

PerceptualFlipStatistics

source

using @Milky2018/svgdiff/engine/model { type PerceptualFlipStatistics }

Separate pooled domains over one unquantized LDR-FLIP map.

PresenceMagnitude

source

using @Milky2018/svgdiff/engine/model { type PresenceMagnitude }

Numeric footprint of inserted or deleted visual subjects.

RenderedEvidence

source

using @Milky2018/svgdiff/engine/model { type RenderedEvidence }

Availability and optional magnitude of canonical rendered evidence.

A computed zero magnitude is distinct from not_computed.

RenderedMagnitude

source

using @Milky2018/svgdiff/engine/model { type RenderedMagnitude }

Continuous canonical raster measurements for one rendered outcome.

RendererCapabilityGap

source

using @Milky2018/svgdiff/engine/model { type RendererCapabilityGap }

One renderer capability gap encountered by the current comparison.

support_status is guarded or unavailable. Diagnostic references remain the authority for affected subjects and evidence layers.

ReportSourceSpan

source

using @Milky2018/svgdiff/engine/model { type ReportSourceSpan }

Half-open UTF-16 offsets into the original SVG source.

ResolvedVisualFact

source

using @Milky2018/svgdiff/engine/model { type ResolvedVisualFact }

One supported visual fact after declaration precedence and inheritance.

ResourceBundle

source

using @Milky2018/svgdiff/engine { type ResourceBundle }

ResourceBundleEntry

source

using @Milky2018/svgdiff/engine { type ResourceBundleEntry }

SourceResolutionPair

source

using @Milky2018/svgdiff/engine/model { type SourceResolutionPair }

Before and after resolved facts for one subject property.

StructuredReport

source

using @Milky2018/svgdiff/engine/model { type StructuredReport }

Complete schema 5.0 result of one SVG comparison.

Read analysis_status and diagnostics before interpreting an empty atomic_differences array as profile-scoped equality.

SubjectAlignment

source

using @Milky2018/svgdiff/engine/model { type SubjectAlignment }

Set-to-set relationship between before and after visual subjects.

SubjectInstanceContext

source

using @Milky2018/svgdiff/engine/model { type SubjectInstanceContext }

Placement identity for a subject rendered through one or more use hosts.

The corresponding authored definition keeps its own identity and Source Spans; instance_id identifies only this rendered outcome.

SubjectReference

source

using @Milky2018/svgdiff/engine/model { type SubjectReference }

Report-local reference to one visual subject in an input SVG.

TransformEffectMagnitude

source

using @Milky2018/svgdiff/engine/model { type TransformEffectMagnitude }

Tagged raw magnitude for one canonical transform-effect domain.

TransformResidualMagnitude

source

using @Milky2018/svgdiff/engine/model { type TransformResidualMagnitude }

Exact singular linear transforms retained without a coefficient score.

TransformRotationMagnitude

source

using @Milky2018/svgdiff/engine/model { type TransformRotationMagnitude }

Canonical paired rotation values and shortest signed angular change.

TransformScaleMagnitude

source

using @Milky2018/svgdiff/engine/model { type TransformScaleMagnitude }

Canonical signed axis scales and their largest absolute paired delta.

TransformSkewMagnitude

source

using @Milky2018/svgdiff/engine/model { type TransformSkewMagnitude }

Canonical paired X-skew values and shortest signed angular change.

TransformTranslationMagnitude

source

using @Milky2018/svgdiff/engine/model { type TransformTranslationMagnitude }

Viewport-space translation change and its Euclidean CSS-pixel magnitude.

VisualEvent

source

using @Milky2018/svgdiff/engine/model { type VisualEvent }

Agent-facing grouping of Atomic Differences around one subject outcome.

ComparisonInterrupted

source

pub(all) suberror ComparisonInterrupted {
  Cancelled
  CheckpointBudgetExceeded(max_checkpoints~ : Int)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The controlled comparison stopped before a report was established.

ComparisonInterrupted::equal

source

fn ComparisonInterrupted::equal(ComparisonInterrupted, ComparisonInterrupted) -> Bool

ComparisonInterrupted::not_equal

source

fn ComparisonInterrupted::not_equal(x : ComparisonInterrupted, y : ComparisonInterrupted) -> Bool

ComparisonInterrupted::to_repr

source

fn ComparisonInterrupted::to_repr(ComparisonInterrupted) -> @moonbitlang/core/debug.Repr
Repr

ComparisonArtifact

source

pub(all) struct ComparisonArtifact {
  report : @Milky2018/svgdiff/engine/model.StructuredReport
StructuredReport
  difference_rgba : Bytes?
}

compare

source

fn compare(before_svg : String, after_svg : String, profile : @Milky2018/svgdiff/engine/model.ComparisonProfile
ComparisonProfile) -> @Milky2018/svgdiff/engine/model.StructuredReport
StructuredReport

Compare two deterministic static SVG sources under one profile.

The two SVG strings are analyzed under a shared viewport. The root API preserves profile.viewport_width, profile.viewport_height, the optional Perceptual Background, optional FLIP Viewing Conditions, and optional FLIP error threshold. Unsupported semantics produce Diagnostics and reduce analysis_status instead of being treated as equality.

Inspect analysis_status before using an empty atomic_differences array as a profile-scoped equality conclusion.

compare_artifact_with_control_and_resources

source

fn compare_artifact_with_control_and_resources(before_svg : String, after_svg : String, profile : @Milky2018/svgdiff/engine/model.ComparisonProfile
ComparisonProfile, before_resources : @Milky2018/svgdiff/engine.ResourceBundle
ResourceBundle, after_resources : @Milky2018/svgdiff/engine.ResourceBundle
ResourceBundle, control : @Milky2018/svgdiff/engine.ComparisonControl
ComparisonControl) -> ComparisonArtifact raise ComparisonInterrupted

Compare explicit resources and return the canonical raster difference used by rendered measurements together with the Structured Report.

compare_with_control

source

fn compare_with_control(before_svg : String, after_svg : String, profile : @Milky2018/svgdiff/engine/model.ComparisonProfile
ComparisonProfile, control : @Milky2018/svgdiff/engine.ComparisonControl
ComparisonControl) -> @Milky2018/svgdiff/engine/model.StructuredReport
StructuredReport raise ComparisonInterrupted

Compare with cooperative cancellation and a deterministic checkpoint budget.

Interruption raises ComparisonInterrupted and returns no report. Checks occur at deterministic engine checkpoints; one dependency call cannot be preempted and may complete before the next checkpoint is observed.

compare_with_control_and_resources

source

fn compare_with_control_and_resources(before_svg : String, after_svg : String, profile : @Milky2018/svgdiff/engine/model.ComparisonProfile
ComparisonProfile, before_resources : @Milky2018/svgdiff/engine.ResourceBundle
ResourceBundle, after_resources : @Milky2018/svgdiff/engine.ResourceBundle
ResourceBundle, control : @Milky2018/svgdiff/engine.ComparisonControl
ComparisonControl) -> @Milky2018/svgdiff/engine/model.StructuredReport
StructuredReport raise ComparisonInterrupted

Compare explicit resources with cooperative cancellation and checkpoint work.

compare_with_resources

source

fn compare_with_resources(before_svg : String, after_svg : String, profile : @Milky2018/svgdiff/engine/model.ComparisonProfile
ComparisonProfile, before_resources : @Milky2018/svgdiff/engine.ResourceBundle
ResourceBundle, after_resources : @Milky2018/svgdiff/engine.ResourceBundle
ResourceBundle) -> @Milky2018/svgdiff/engine/model.StructuredReport
StructuredReport

Compare with separate explicit resource bundles for the two SVG sources.

Bundle locators are opaque exact-match keys. The engine performs no file or network I/O and resolves only caller-supplied PNG/JPEG bytes.

render_html_report

source

fn render_html_report(before_svg : String, after_svg : String, report : @Milky2018/svgdiff/engine/model.StructuredReport
StructuredReport, difference_rgba : Bytes?) -> String

Render a self-contained interactive HTML presentation of a report.

The original SVG sources are embedded as sandboxed preview documents. The supplied Structured Report remains the sole source of classification, ordering, magnitude, localization, and Diagnostics; this function does not run comparison again. difference_rgba is the canonical raster artifact returned by the comparison that produced report. Review marks and navigation are session-only UI state.

Source Files

Site source Report issue Packages Build queue Skills Statistics

svgdiff

#svgdiff for MoonBit

#Install

#Compare SVG sources

#AlignmentEvidence

#AtomicDifference

#CauseEnvelope

#ChangedFact

#ComparisonControl

#ComparisonProfile

#ComputedRelation

#DeclaredVisualFact

#Diagnostic

#DiagnosticSourceLocation

#DifferenceMagnitude

#DifferenceRegion

#DomainOrdering

#FeatureCoverage

#FlipErrorThreshold

#FlipViewingConditions

#ImpactAssessment

#ImpactDominationWitness

#ImpactFrontierGroup

#ImpactMeasurement

#IntrinsicRasterMagnitude

#PaintedBoundaryDisplacementMagnitude

#PaintedCoverageDifferenceMagnitude

#PerceptualBackground

#PerceptualColorEvidence

#PerceptualColorMagnitude

#PerceptualFlipAreaAboveThreshold

#PerceptualFlipEvidence

#PerceptualFlipMap

#PerceptualFlipStatistics

#PresenceMagnitude

#RenderedEvidence

#RenderedMagnitude

#RendererCapabilityGap

#ReportSourceSpan

#ResolvedVisualFact

#ResourceBundle

#ResourceBundleEntry

#SourceResolutionPair

#StructuredReport

#SubjectAlignment

#SubjectInstanceContext

#SubjectReference

#TransformEffectMagnitude

#TransformResidualMagnitude

#TransformRotationMagnitude

#TransformScaleMagnitude

#TransformSkewMagnitude

#TransformTranslationMagnitude

#VisualEvent

#ComparisonInterrupted

#ComparisonInterrupted::equal

#ComparisonInterrupted::not_equal

#ComparisonInterrupted::to_repr

#ComparisonArtifact

#compare

#compare_artifact_with_control_and_resources

#compare_with_control

#compare_with_control_and_resources

#compare_with_resources

#render_html_report

Source Files

AlignmentEvidence

AtomicDifference

CauseEnvelope

ChangedFact

ComparisonControl

ComparisonProfile

ComputedRelation

DeclaredVisualFact

Diagnostic

DiagnosticSourceLocation

DifferenceMagnitude

DifferenceRegion

DomainOrdering

FeatureCoverage

FlipErrorThreshold

FlipViewingConditions

ImpactAssessment

ImpactDominationWitness

ImpactFrontierGroup

ImpactMeasurement

IntrinsicRasterMagnitude

PaintedBoundaryDisplacementMagnitude

PaintedCoverageDifferenceMagnitude

PerceptualBackground

PerceptualColorEvidence

PerceptualColorMagnitude

PerceptualFlipAreaAboveThreshold

PerceptualFlipEvidence

PerceptualFlipMap

PerceptualFlipStatistics

PresenceMagnitude

RenderedEvidence

RenderedMagnitude

RendererCapabilityGap

ReportSourceSpan

ResolvedVisualFact

ResourceBundle

ResourceBundleEntry

SourceResolutionPair

StructuredReport

SubjectAlignment

SubjectInstanceContext

SubjectReference

TransformEffectMagnitude

TransformResidualMagnitude

TransformRotationMagnitude

TransformScaleMagnitude

TransformSkewMagnitude

TransformTranslationMagnitude

VisualEvent

ComparisonInterrupted

ComparisonInterrupted::equal

ComparisonInterrupted::not_equal

ComparisonInterrupted::to_repr

ComparisonArtifact

compare

compare_artifact_with_control_and_resources

compare_with_control

compare_with_control_and_resources

compare_with_resources

render_html_report