Qualified supply, inspected before purchase.

Compatibility and hard constraints come first; optimization begins only inside the admitted set. Seller claims, measured truth, commercial terms, and route eligibility remain inspectable.

Compose demand & route

CapabilityRequest

Max priceCurrencyRegionLatency ms

PrivacyMandate reference Execute after route resolution (remote invocation disabled)

No qualified supply

CurrentnessOPENProofInheritedAffected cone5 boundedLOOKNext admissible moveAcquire visible qualified supply

Reasoning2

RESIDENT 1.3.7Marketplace continuity

Visible offerings after current policy/RLS projection

Inherited proof

✓Hard constraints precede preference optimization

✓Seller declaration cannot self-promote to qualified truth

✓Execution remains separate from settlement

Contradiction state

○No contradictory evidence supplied to this projection.

Open obligations

⊘Marketplace mutation gate is closedDeployment feature authority remains fail-closed.

⊘Remote invocation gate is closedRoute inspection does not imply remote execution authority.

Continuity

PROVEN + UNCHANGED + UNCONTRADICTED → INHERITED

↳Navigation and model uncertainty do not invalidate accepted proof.

Proof custody: REUSE VERIFIEDAffected: selected offering · node qualification · demand constraints · route snapshot · execution gate

Explorer Compare Topology

0 visible

Market filtersURL STATE

No qualified offerings in this view.

Marketplace results appear only after visibility, entitlement, policy, health, qualification, and commercial gates agree.

OFFERING INSPECTORNo offering selected

•••

Nothing selected

Select a qualified offering to inspect its route and commercial boundary.