LATENT STUDIOS · DETERMINISTIC VERIFICATION

Latent Verify

Compare a known baseline against a candidate, localize defined differences, and preserve the result as machine-verifiable evidence.

V1.1.1 LOCAL DATA · AUTHORITY OPTIONAL LEDGER… IDLE

VERIFICATION PROFILE

Define the comparison surface

Profile

Baseline, candidate, differences, assertions, and engineering data remain in this browser. Optional network use is restricted to authorization accounting and certificate issuance metadata.

BASELINE

Authoritative reference

UNSET

Load file

No input loaded.

CANDIDATE

Verification target

UNSET

Load file

No input loaded.

EXECUTION

Run deterministic verification

IDLE

Load a baseline and candidate to begin.

Assertions

Passed

Differences

Review

DIFFERENCE EXPLORER

Observed comparison events

Filter

Class	Path	Baseline	Candidate	Disposition
No verification result.

ASSERTION CONTRACT

Bound the meaning of the result

Not yet validated.

PATH RULES

ignore_paths

Excluded from comparison.

permitted_differences

Observed differences remain non-failing.

prohibited_differences

Matching paths produce DIFFERENT.

review_paths

Matching differences produce REVIEW_REQUIRED.

required_differences

A matching difference must occur; absence produces DIFFERENT.

EVIDENCE

Verification receipt

No receipt generated.

RECEIPT VERIFICATION

No receipt loaded.

LOCAL LEDGER

IndexedDB verification history

Ledger not loaded.

AUTHORIZATION ACCOUNTING

License and entitlement authority plane

AUTHORITY OFFLINE

Customer validation payloads remain local. Authority requests are generated from an explicit metadata allowlist and cannot serialize baseline, candidate, differences, assertions, source code, transaction contents, or evidence bodies.

Account / license ID

Profile

exact / 1.0

Remaining entitlement

UNKNOWN

Expiry

UNKNOWN

NETWORK ENVELOPE

No authority request generated.

AUTHORITY RESPONSE

No authority response.

DESIGN INVARIANT

LOCAL VALIDATION PLANE
baseline                LOCAL ONLY
candidate               LOCAL ONLY
differences             LOCAL ONLY
assertions              LOCAL ONLY
engineering details     LOCAL ONLY
receipt body            LOCAL ONLY

AUTHORITY ACCOUNTING PLANE
account/license ID      ALLOWED
profile ID/version      ALLOWED
authorized action       ALLOWED
timestamp               ALLOWED
nonce                   ALLOWED
opaque receipt SHA-256  CERTIFICATE REQUEST ONLY
entitlement response    ALLOWED

No local validation object is passed to the authority request serializer.

CERTIFICATE

Commercial verification authority

NOT ISSUED

Local execution and local receipts are not a Latent Studios commercial verification certificate. A certificate must bind to an issued verification record and matching receipt digest.

Load certificate JSON Commercial inquiry

No certificate loaded.

REFERENCE

Execution semantics

EXACT

Canonical structure, types, and values must match except contract dispositions.

STRUCTURAL

Object keys, array dimensions, and container topology must match. Scalar value changes are not evaluated.

TYPED

Structural topology and scalar types must match. Scalar values are not evaluated.

SCHEMA

Candidate must conform to a schema inferred from the baseline shape and types.

TERMINAL STATES

MATCHAll active assertions and contract requirements satisfied.

DIFFERENTOne or more defined failing differences or missing required differences detected.

REVIEW_REQUIREDDifferences intersect review-designated paths.

HALTInput, contract, parsing, or execution invariant prevented valid completion.

LOCAL EXECUTION

validation_data_execution = BROWSER_LOCAL
validation_payload_network = NONE
authority_network = OPTIONAL_SAME_ORIGIN
authority_protocol = LV-AUTH-1
authority_payload = ALLOWLISTED_METADATA_ONLY
ledger = INDEXEDDB
hash = SHA-256 via Web Crypto
backend_required_for_local_verification = FALSE
authority_service_required_for_certificate_issuance = TRUE
document_envelope = DOCTYPE + HTML + HEAD + BODY + SCRIPT + /BODY + /HTML

Latent Verify V1.1.1 · Kevin Flint / Latent Studios · Local deterministic verification workstation · optional authorization-accounting authority plane