SIE.6:5 - Archetypal Grounding - Provider Availability Claims
Two providers expose availability for the same buyer-recognized product family. Provider A returns onHand = 12 at 10:00; Provider B returns availableToPromise = 9 at 10:02. A purchasing integration initially proposes a single available = 21 value.
The source inventory shows that on hand is current physical stock before reservations, while available to promise is a provider-governed commitment quantity after its own reservation and horizon rules. The values are not additive and are not globally equivalent. A product-family correspondence exists, but individual inventory objects are not asserted identical.
| Claim relation question | Constructed result |
|---|---|
| Can the two values be summed? | non-comparable for summation because definitions, allocation rules, and authority scopes differ |
| Can both support a “which provider can satisfy quantity 8 now?” query? | conditionally comparable only after the contract accepts Provider A’s additional reservation check and Provider B’s promise horizon; retain separate rows |
| What if Provider A reports 12 and a later status reports 4? | classify by source occurrence, observation interval, and justified supersession rule; retain both claims and derivation rather than overwriting silently |
| What if product identity is unresolved? | stop that product branch and expose the unresolved SIE.5 premise |
| What if one API times out? | return available source-qualified rows plus an incomplete-result flag if the contract permits; never substitute zero |
The interface can return two qualified provider rows, explicit non-comparability for arithmetic aggregation, and a missing-source branch. Purchasing owns supplier choice and risk acceptance. SIE.6 supplies no canonical stock fact.