This module identifies the selected invocation, provider, account, item and field path for a diagnostic. It reuses operation-scoped input evidence while keeping input role, input policy, requiredness, omission behavior, supplied-value behavior and execution as six independent axes. ReadOnly describes an input policy. A read-only identifier can still be a required target locator for another operation; its annotation alone supplies no ignore, reject or success behavior.

This is the unofficial 0.1.0 module specification. Source review and executable correctness are separate standings. Full generation, runtime and publication verification are pending configured GitHub CI; this draft supplies no release, native write or client-adoption qualification.

Scope and intended use

This module identifies the selected invocation, provider, account, item and field path for a diagnostic. It reuses operation-scoped input evidence while keeping input role, input policy, requiredness, omission behavior, supplied-value behavior and execution as six independent axes. ReadOnly describes an input policy. A read-only identifier can still be a required target locator for another operation; its annotation alone supplies no ignore, reject or success behavior.

Agents can inspect the selected retained evidence, ask for missing scope or review, and keep unresolved answers visible. A successful inspection remains separate from permission to act on a live account.

Competency questions

1. Which exact invocation and item does an input claim describe?
2. Which of the six axes is resolved, conditional, conflicting or unassessed?
3. Does an absent registration mean missing retained evidence or an unloaded provider?

Namespace

https://ontology.inferal.com/modules/ads-agent-diagnostics/

The prefix da names the existing vocabulary. Term identity and the original RDF types remain stable. Shared advertising and commerce concepts supply scope; captured provider terms retain their provider-specific meaning.

Conceptual model

DiagnosticContext selects a request and item without filling absent source metadata. MissingInvocationContext leaves all six axes Unassessed. Conditional and conflicting assessments retain every scoped claim and condition. Available unambiguous account or item evidence remains visible when another scope component is unresolved. Inventory has separate declared, retained-registration and loaded-provider scopes: OutsideLoadedDataset and NoRetainedRegistration answer different questions.

A source invocation must supply its own provider, artifactVersion, apiVersion and operation. The selected declaration cannot repair a missing source field. Typed items must carry one matching IRI owner and one nonnegative typed integer index. Raw RDF roles require declared absolute identifiers; an explicit absolute BASE is acceptable. Historical caller-reported pass and matching fingerprints remain historical evidence and cannot become current verified execution or client adoption.

RDF permits incomplete descriptions. A conforming execution profile must enforce its declared closed-world input and output constraints. Unknown or conflicting business evidence must keep its explicit standing and cannot be converted into a favorable value.

Validation and interpretation

The retained slice selects ten path slots and six axes, yielding sixty decisions: twenty-one Resolved and thirty-nine Unassessed before extensions. These counts describe this slice, with three assessed operations, rather than every client operation. Google has zero assessed operations here and its native method inventory is unknown. Variant, condition and client-scenario totals require separately qualified evidence. Declared inventory contains eight providers and two immutable questions, while retained registrations cover four providers.

Validation establishes conformance to a selected profile. Retained scope, reported evidence and operational success keep their separate meanings. Runtime and generation evidence for this source repair remain pending GitHub CI.

Worked example and boundary

The selection names a Microsoft AddCampaigns identifier path, exact owner path and captured versions. It illustrates declared diagnostic scope; the selection does not supply an invocation body or prove a writable field, requiredness or successful mutation.

Inspect the declared roles and independent standings before using this evidence. Omitted source data or an unresolved qualification must remain visible. This example does not attest a live provider request or complete merchant history.

Term reference

Classes, properties and existing controlled evidence values retain their authored labels and definitions. Listing a controlled value here does not change its RDF type or grant execution authority.

da:AccountScopeEvidence — AccountScopeEvidence

Explicit AccountScopeEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:AmbiguousAccount — AmbiguousAccount

Explicit AmbiguousAccount standing of the selected diagnostic evidence; no live-provider authority.

da:AmbiguousInvocationContext — AmbiguousInvocationContext

Explicit AmbiguousInvocationContext standing of the selected diagnostic evidence; no live-provider authority.

da:AmbiguousItemIndex — AmbiguousItemIndex

Explicit AmbiguousItemIndex standing of the selected diagnostic evidence; no live-provider authority.

da:AmbiguousItemOwner — AmbiguousItemOwner

Explicit AmbiguousItemOwner standing of the selected diagnostic evidence; no live-provider authority.

da:ApplicableConditionEvidence — ApplicableConditionEvidence

Evidence evaluating each retained condition in the selected invocation is required.

da:AxisSourceAssessmentEvidence — AxisSourceAssessmentEvidence

Source evidence and a reviewed assessment for this exact selected axis are required.

da:AxisSourceAssessmentUnassessed — AxisSourceAssessmentUnassessed

The selected axis lacks a source-qualified assessment.

da:ClientAdoptionUnassessed — ClientAdoptionUnassessed

Explicit ClientAdoptionUnassessed standing of the selected diagnostic evidence; no live-provider authority.

da:ClientScenarioInventoryUnknown — ClientScenarioInventoryUnknown

Explicit ClientScenarioInventoryUnknown standing of the selected diagnostic evidence; no live-provider authority.

da:ConditionApplicabilityUnassessed — ConditionApplicabilityUnassessed

A retained condition has not been evaluated in this exact invocation.

da:ConditionInventoryUnknown — ConditionInventoryUnknown

Explicit ConditionInventoryUnknown standing of the selected diagnostic evidence; no live-provider authority.

da:CoverageSlice — CoverageSlice

Exact curated assessment denominator, never all-client coverage.

da:CurrentExecutionAndAuthorityEvidence — CurrentExecutionAndAuthorityEvidence

Explicit CurrentExecutionAndAuthorityEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:CurrentVerificationUnassessed — CurrentVerificationUnassessed

Explicit CurrentVerificationUnassessed standing of the selected diagnostic evidence; no live-provider authority.

da:DeclaredPair — DeclaredPair

Explicit DeclaredPair standing of the selected diagnostic evidence; no live-provider authority.

da:DiagnosticContext — DiagnosticContext

Explicit selected request/item and exact operation/path/source context.

da:DuplicateItemIndex — DuplicateItemIndex

Explicit DuplicateItemIndex standing of the selected diagnostic evidence; no live-provider authority.

da:FingerprintDrift — FingerprintDrift

Explicit FingerprintDrift standing of the selected diagnostic evidence; no live-provider authority.

da:FingerprintMatchesDeclaration — FingerprintMatchesDeclaration

Explicit FingerprintMatchesDeclaration standing of the selected diagnostic evidence; no live-provider authority.

da:HistoricalReceiptDeclaration — HistoricalReceiptDeclaration

Caller-reported historical result; no runtime or client authority.

da:InputPathAssessment — InputPathAssessment

One of six scoped selected-path axis assessments.

da:InventoryPair — InventoryPair

One retained provider/question declared pair, separated from loaded scope and execution.

da:InvocationContextMismatch — InvocationContextMismatch

Explicit InvocationContextMismatch standing of the selected diagnostic evidence; no live-provider authority.

da:InvocationEvidence — InvocationEvidence

Explicit InvocationEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:ItemOwnerMismatch — ItemOwnerMismatch

The uniquely declared source item owner differs from the selected invocation.

da:LoadedDataset — LoadedDataset

Explicit LoadedDataset standing of the selected diagnostic evidence; no live-provider authority.

da:MalformedAccount — MalformedAccount

Explicit MalformedAccount standing of the selected diagnostic evidence; no live-provider authority.

da:MalformedInvocationContext — MalformedInvocationContext

The source invocation metadata has the wrong RDF term kind or datatype.

da:MalformedItemIndex — MalformedItemIndex

Explicit MalformedItemIndex standing of the selected diagnostic evidence; no live-provider authority.

da:MalformedItemOwner — MalformedItemOwner

The source item owner is not an IRI.

da:MatchingInvocationContextEvidence — MatchingInvocationContextEvidence

Explicit MatchingInvocationContextEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:MatchingSourceAssessmentEvidence — MatchingSourceAssessmentEvidence

Explicit MatchingSourceAssessmentEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:MissingAccount — MissingAccount

Explicit MissingAccount standing of the selected diagnostic evidence; no live-provider authority.

da:MissingInvocation — MissingInvocation

Explicit MissingInvocation standing of the selected diagnostic evidence; no live-provider authority.

da:MissingInvocationContext — MissingInvocationContext

The source typed invocation lacks provider, artifact, API or operation metadata required by this new diagnostic contract.

da:MissingItem — MissingItem

Explicit MissingItem standing of the selected diagnostic evidence; no live-provider authority.

da:MissingItemIndex — MissingItemIndex

The source typed item lacks an index.

da:MissingItemOwner — MissingItemOwner

The selected typed item has no source invocation owner.

da:NativeInventoryUnknown — NativeInventoryUnknown

Explicit NativeInventoryUnknown standing of the selected diagnostic evidence; no live-provider authority.

da:NoHistoricalReceipt — NoHistoricalReceipt

Explicit NoHistoricalReceipt standing of the selected diagnostic evidence; no live-provider authority.

da:NoMatchingSourceAssessment — NoMatchingSourceAssessment

Explicit NoMatchingSourceAssessment standing of the selected diagnostic evidence; no live-provider authority.

da:NoRetainedRegistration — NoRetainedRegistration

Explicit NoRetainedRegistration standing of the selected diagnostic evidence; no live-provider authority.

da:OutsideLoadedDataset — OutsideLoadedDataset

Explicit OutsideLoadedDataset standing of the selected diagnostic evidence; no live-provider authority.

da:ProviderSlice — ProviderSlice

Assessed operation count in the curated source slice, separate from unknown native inventory.

da:ReportedHistoricalPass — ReportedHistoricalPass

Explicit ReportedHistoricalPass standing of the selected diagnostic evidence; no live-provider authority.

da:ReportedPass — ReportedPass

Explicit ReportedPass standing of the selected diagnostic evidence; no live-provider authority.

da:RetainedRegistration — RetainedRegistration

Explicit RetainedRegistration standing of the selected diagnostic evidence; no live-provider authority.

da:ScopedSourceAssessmentConflict — ScopedSourceAssessmentConflict

Distinct scoped offered values are retained without favorable selection.

da:ScopedSourceValueResolutionEvidence — ScopedSourceValueResolutionEvidence

Reviewed resolution of the retained distinct source values is required.

da:SelectedInvocationScope — SelectedInvocationScope

Explicit SelectedInvocationScope standing of the selected diagnostic evidence; no live-provider authority.

da:SourceAssessmentOnly — SourceAssessmentOnly

Explicit SourceAssessmentOnly standing of the selected diagnostic evidence; no live-provider authority.

da:TypedInputItemEvidence — TypedInputItemEvidence

Explicit TypedInputItemEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:TypedItemIndexEvidence — TypedItemIndexEvidence

Explicit TypedItemIndexEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:UniqueAccountScopeEvidence — UniqueAccountScopeEvidence

Explicit UniqueAccountScopeEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:UniqueInvocationContextEvidence — UniqueInvocationContextEvidence

Explicit UniqueInvocationContextEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:UniqueItemIndexEvidence — UniqueItemIndexEvidence

Explicit UniqueItemIndexEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:UniqueItemOwnerEvidence — UniqueItemOwnerEvidence

Explicit UniqueItemOwnerEvidence standing of the selected diagnostic evidence; no live-provider authority.

da:VariantInventoryUnknown — VariantInventoryUnknown

Explicit VariantInventoryUnknown standing of the selected diagnostic evidence; no live-provider authority.

da:WriteAuthorityUnassessed — WriteAuthorityUnassessed

Explicit WriteAuthorityUnassessed standing of the selected diagnostic evidence; no live-provider authority.

da:account — account

Retained diagnostic account in the explicitly selected source/context scope; no independent native or client authority.

da:addressedSlots — addressedSlots

Retained diagnostic addressedSlots in the explicitly selected source/context scope; no independent native or client authority.

da:answerContract — answerContract

Retained diagnostic answerContract in the explicitly selected source/context scope; no independent native or client authority.

da:apiVersion — apiVersion

Retained diagnostic apiVersion in the explicitly selected source/context scope; no independent native or client authority.

da:artifactVersion — artifactVersion

Retained diagnostic artifactVersion in the explicitly selected source/context scope; no independent native or client authority.

da:assessedOperations — assessedOperations

Retained diagnostic assessedOperations in the explicitly selected source/context scope; no independent native or client authority.

da:axis — axis

Retained diagnostic axis in the explicitly selected source/context scope; no independent native or client authority.

da:axisDecisions — axisDecisions

Retained diagnostic axisDecisions in the explicitly selected source/context scope; no independent native or client authority.

da:binding — binding

Retained diagnostic binding in the explicitly selected source/context scope; no independent native or client authority.

da:clientAdoptionStanding — clientAdoptionStanding

Retained diagnostic clientAdoptionStanding in the explicitly selected source/context scope; no independent native or client authority.

da:clientScenarioInventoryStanding — clientScenarioInventoryStanding

Retained diagnostic clientScenarioInventoryStanding in the explicitly selected source/context scope; no independent native or client authority.

da:conditionInventoryStanding — conditionInventoryStanding

Retained diagnostic conditionInventoryStanding in the explicitly selected source/context scope; no independent native or client authority.

da:conditional — conditional

Retained diagnostic conditional in the explicitly selected source/context scope; no independent native or client authority.

da:conflicted — conflicted

Retained diagnostic conflicted in the explicitly selected source/context scope; no independent native or client authority.

da:context — context

Retained diagnostic context in the explicitly selected source/context scope; no independent native or client authority.

da:contextDigest — contextDigest

Retained diagnostic contextDigest in the explicitly selected source/context scope; no independent native or client authority.

da:currentVerificationStanding — currentVerificationStanding

Retained diagnostic currentVerificationStanding in the explicitly selected source/context scope; no independent native or client authority.

da:declaredStanding — declaredStanding

Retained diagnostic declaredStanding in the explicitly selected source/context scope; no independent native or client authority.

da:defaultDiagnosticService — defaultDiagnosticService

Discover the declared versioned diagnostic service and reader within the selected source corpus.

da:evidenceNeeded — evidenceNeeded

Retained diagnostic evidenceNeeded in the explicitly selected source/context scope; no independent native or client authority.

da:extensionsDigest — extensionsDigest

Retained source/context-qualified extensionsDigest within the declared diagnostic contract.

da:fingerprintStanding — fingerprintStanding

Retained diagnostic fingerprintStanding in the explicitly selected source/context scope; no independent native or client authority.

da:historicalReceipt — historicalReceipt

Retained diagnostic historicalReceipt in the explicitly selected source/context scope; no independent native or client authority.

da:historicalStanding — historicalStanding

Retained diagnostic historicalStanding in the explicitly selected source/context scope; no independent native or client authority.

da:inputDigest — inputDigest

Retained source/context-qualified inputDigest within the declared diagnostic contract.

da:interpretationDigest — interpretationDigest

Retained diagnostic interpretationDigest in the explicitly selected source/context scope; no independent native or client authority.

da:item — item

Retained diagnostic item in the explicitly selected source/context scope; no independent native or client authority.

da:itemIndex — itemIndex

Retained diagnostic itemIndex in the explicitly selected source/context scope; no independent native or client authority.

da:loadedProvider — loadedProvider

Retained diagnostic loadedProvider in the explicitly selected source/context scope; no independent native or client authority.

da:loadedStanding — loadedStanding

Retained diagnostic loadedStanding in the explicitly selected source/context scope; no independent native or client authority.

da:nativeInventoryStanding — nativeInventoryStanding

Retained diagnostic nativeInventoryStanding in the explicitly selected source/context scope; no independent native or client authority.

da:operation — operation

Retained diagnostic operation in the explicitly selected source/context scope; no independent native or client authority.

da:ownerPath — ownerPath

Retained diagnostic ownerPath in the explicitly selected source/context scope; no independent native or client authority.

da:provider — provider

Retained diagnostic provider in the explicitly selected source/context scope; no independent native or client authority.

da:providerIRI — providerIRI

Retained source/context-qualified providerIRI within the declared diagnostic contract.

da:queryArtifact — queryArtifact

Retained diagnostic queryArtifact in the explicitly selected source/context scope; no independent native or client authority.

da:question — question

Retained diagnostic question in the explicitly selected source/context scope; no independent native or client authority.

da:reader — reader

Discover the declared versioned diagnostic service and reader within the selected source corpus.

da:readerName — readerName

Discover the declared versioned diagnostic service and reader within the selected source corpus.

da:reason — reason

Retained diagnostic reason in the explicitly selected source/context scope; no independent native or client authority.

da:registrationStanding — registrationStanding

Retained diagnostic registrationStanding in the explicitly selected source/context scope; no independent native or client authority.

da:reportedInterpretationDigest — reportedInterpretationDigest

Retained diagnostic reportedInterpretationDigest in the explicitly selected source/context scope; no independent native or client authority.

da:reportedOutcome — reportedOutcome

Retained diagnostic reportedOutcome in the explicitly selected source/context scope; no independent native or client authority.

da:representation — representation

Retained diagnostic representation in the explicitly selected source/context scope; no independent native or client authority.

da:request — request

Retained diagnostic request in the explicitly selected source/context scope; no independent native or client authority.

da:resolved — resolved

Retained diagnostic resolved in the explicitly selected source/context scope; no independent native or client authority.

da:scopeStanding — scopeStanding

Retained diagnostic scopeStanding in the explicitly selected source/context scope; no independent native or client authority.

da:selectedValue — selectedValue

Retained diagnostic selectedValue in the explicitly selected source/context scope; no independent native or client authority.

da:semanticField — semanticField

Retained diagnostic semanticField in the explicitly selected source/context scope; no independent native or client authority.

da:sourceClaim — sourceClaim

Retained diagnostic sourceClaim in the explicitly selected source/context scope; no independent native or client authority.

da:sourceDigest — sourceDigest

Retained diagnostic sourceDigest in the explicitly selected source/context scope; no independent native or client authority.

da:state — state

Retained diagnostic state in the explicitly selected source/context scope; no independent native or client authority.

da:unassessed — unassessed

Retained diagnostic unassessed in the explicitly selected source/context scope; no independent native or client authority.

da:variantInventoryStanding — variantInventoryStanding

Retained diagnostic variantInventoryStanding in the explicitly selected source/context scope; no independent native or client authority.

da:wirePath — wirePath

Retained diagnostic wirePath in the explicitly selected source/context scope; no independent native or client authority.

da:writeAuthorityStanding — writeAuthorityStanding

Retained diagnostic writeAuthorityStanding in the explicitly selected source/context scope; no independent native or client authority.