@agenticprimitives/ontology 0.1.0-alpha.3 → 1.0.0-alpha.10

package/dist/index.js

@@ -22,8 +22,15 @@ export const ONTOLOGY_VERSION = '0.1.0';
  * Namespace IRIs, split per domain (mirrors the reference
  * `smartagent.io/ontology/<domain>#` scheme; spec 225 §4). Pinned base:
  * `https://agenticprimitives.dev/ns/`.
+ *
+ * Wave 1 (2026-06-02b) added the v2 coordination substrate namespaces per
+ * spec 225 §11.5 (apint / apcst / apres / apagr / appay / apful / apatt /
+ * apvc) — substrate-wide T-box vocabulary for the 15-layer coordination spine
+ * (ADR-0024). Runtime SHACL shapes for each live in their owning packages
+ * per PD-19.
  */
 export const NS = {
+    // Phase-1 (existing)
     ap: 'https://agenticprimitives.dev/ns/core#',
     apid: 'https://agenticprimitives.dev/ns/identity#',
     apcr: 'https://agenticprimitives.dev/ns/credential#',
@@ -33,9 +40,25 @@ export const NS = {
     apnam: 'https://agenticprimitives.dev/ns/naming#',
     aprel: 'https://agenticprimitives.dev/ns/relationships#',
     aporg: 'https://agenticprimitives.dev/ns/org#',
+    // Phase-1.5 (v2 coordination substrate spine; spec 225 §11.5)
+    apint: 'https://agenticprimitives.dev/ns/intent#',
+    apcst: 'https://agenticprimitives.dev/ns/constraint#',
+    apres: 'https://agenticprimitives.dev/ns/resolution#',
+    apagr: 'https://agenticprimitives.dev/ns/agreement#',
+    appay: 'https://agenticprimitives.dev/ns/payment#',
+    apful: 'https://agenticprimitives.dev/ns/fulfillment#',
+    apatt: 'https://agenticprimitives.dev/ns/attestation#',
+    apvc: 'https://agenticprimitives.dev/ns/verifiable-credential#',
+    // Generic skills + geo substrate (spec 251)
+    aps: 'https://agenticprimitives.dev/ns/skill#',
+    apg: 'https://agenticprimitives.dev/ns/geo#',
+    // Generic verifiable-content substrate (spec 266) — content is scheme-anchored,
+    // NOT a Smart Agent facet (ADR-0033). Zero vertical/faith vocabulary.
+    apcnt: 'https://agenticprimitives.dev/ns/content#',
 };
 /** Class IRIs (T-box). Each is `<namespace><LocalName>`. */
 export const CLASS = {
+    // Phase-1
     Agent: `${NS.ap}Agent`,
     CanonicalAgentId: `${NS.ap}CanonicalAgentId`,
     Facet: `${NS.ap}Facet`,
@@ -44,9 +67,77 @@ export const CLASS = {
     NameFacet: `${NS.apnam}NameFacet`,
     OidcSubject: `${NS.apid}OidcSubject`,
     Org: `${NS.aporg}Org`,
+    // Phase-1.5: intent layer
+    Desire: `${NS.apint}Desire`,
+    Intent: `${NS.apint}Intent`,
+    ReceiveIntent: `${NS.apint}ReceiveIntent`,
+    GiveIntent: `${NS.apint}GiveIntent`,
+    MatchInitiation: `${NS.apint}MatchInitiation`,
+    IntentMatch: `${NS.apint}IntentMatch`,
+    Commitment: `${NS.apint}Commitment`,
+    Proposal: `${NS.apint}Proposal`,
+    SolverBid: `${NS.apint}SolverBid`,
+    // Phase-1.5: constraint layer
+    ConstraintSet: `${NS.apcst}ConstraintSet`,
+    Constraint: `${NS.apcst}Constraint`,
+    HardConstraint: `${NS.apcst}HardConstraint`,
+    SoftConstraint: `${NS.apcst}SoftConstraint`,
+    ConstraintDomain: `${NS.apcst}ConstraintDomain`,
+    EnumDomain: `${NS.apcst}EnumDomain`,
+    RangeDomain: `${NS.apcst}RangeDomain`,
+    SetDomain: `${NS.apcst}SetDomain`,
+    PredicateDomain: `${NS.apcst}PredicateDomain`,
+    AssumptionSet: `${NS.apcst}AssumptionSet`,
+    NamedAssumption: `${NS.apcst}NamedAssumption`,
+    ValidationRequirement: `${NS.apcst}ValidationRequirement`,
+    // Phase-1.5: resolution layer
+    Resolver: `${NS.apres}Resolver`,
+    ResolvedOrder: `${NS.apres}ResolvedOrder`,
+    ResolutionReceipt: `${NS.apres}ResolutionReceipt`,
+    PolicyCheckResult: `${NS.apres}PolicyCheckResult`,
+    ToolCallTrace: `${NS.apres}ToolCallTrace`,
+    // Phase-1.5: agreement layer
+    AgreementCommitment: `${NS.apagr}AgreementCommitment`,
+    AgreementCredential: `${NS.apagr}AgreementCredential`,
+    AgreementStatus: `${NS.apagr}AgreementStatus`,
+    // Phase-1.5: payment layer
+    PaymentMandate: `${NS.appay}PaymentMandate`,
+    OpenPaymentMandate: `${NS.appay}OpenPaymentMandate`,
+    ClosedPaymentMandate: `${NS.appay}ClosedPaymentMandate`,
+    PaymentReceipt: `${NS.appay}PaymentReceipt`,
+    MandateConstraints: `${NS.appay}MandateConstraints`,
+    ContextBinding: `${NS.appay}ContextBinding`,
+    PaymentRail: `${NS.appay}PaymentRail`,
+    // Phase-1.5: fulfillment layer
+    FulfillmentCase: `${NS.apful}FulfillmentCase`,
+    FulfillmentTopology: `${NS.apful}FulfillmentTopology`,
+    Task: `${NS.apful}Task`,
+    HandoffPolicy: `${NS.apful}HandoffPolicy`,
+    Message: `${NS.apful}Message`,
+    Artifact: `${NS.apful}Artifact`,
+    ArtifactKind: `${NS.apful}ArtifactKind`,
+    IntentTraceSpan: `${NS.apful}IntentTraceSpan`,
+    // Phase-1.5: attestation layer
+    Attestation: `${NS.apatt}Attestation`,
+    EvidenceCredential: `${NS.apatt}EvidenceCredential`,
+    OutcomeCredential: `${NS.apatt}OutcomeCredential`,
+    ValidationCredential: `${NS.apatt}ValidationCredential`,
+    Validator: `${NS.apatt}Validator`,
+    ValidatorKind: `${NS.apatt}ValidatorKind`,
+    TrustUpdate: `${NS.apatt}TrustUpdate`,
+    AssociationCredential: `${NS.apatt}AssociationCredential`,
+    // Phase-1.5: VC envelope
+    VerifiableCredential: `${NS.apvc}VerifiableCredential`,
+    // Verifiable-content substrate (spec 266; FRBR Work/Manifestation/Item)
+    CanonicalLocus: `${NS.apcnt}CanonicalLocus`,
+    CorpusManifest: `${NS.apcnt}CorpusManifest`,
+    ContentDescriptor: `${NS.apcnt}ContentDescriptor`,
+    CitationAssertion: `${NS.apcnt}CitationAssertion`,
+    Entitlement: `${NS.apcnt}Entitlement`,
 };
 /** Predicate / property IRIs (T-box). */
 export const PREDICATE = {
+    // Phase-1
     isFacetOf: `${NS.apid}isFacetOf`,
     controls: `${NS.apcr}controls`,
     hasEvidence: `${NS.ap}hasEvidence`,
@@ -55,11 +146,117 @@ export const PREDICATE = {
     resolvesTo: `${NS.apnam}resolvesTo`,
     memberOf: `${NS.aporg}memberOf`,
     delegatesTo: `${NS.apdel}delegatesTo`,
+    // Phase-1.5: intent
+    direction: `${NS.apint}direction`,
+    object: `${NS.apint}object`,
+    topic: `${NS.apint}topic`,
+    expressedBy: `${NS.apint}expressedBy`,
+    addressedTo: `${NS.apint}addressedTo`,
+    hasConstraintSet: `${NS.apint}hasConstraintSet`,
+    hasAssumptionSet: `${NS.apint}hasAssumptionSet`,
+    expectedOutcome: `${NS.apint}expectedOutcome`,
+    visibility: `${NS.apint}visibility`,
+    status: `${NS.apint}status`,
+    matchedWith: `${NS.apint}matchedWith`,
+    // Phase-1.5: constraint
+    variable: `${NS.apcst}variable`,
+    domain: `${NS.apcst}domain`,
+    source: `${NS.apcst}source`,
+    rationale: `${NS.apcst}rationale`,
+    strength: `${NS.apcst}strength`,
+    enforcement: `${NS.apcst}enforcement`,
+    fieldDisclosure: `${NS.apcst}fieldDisclosure`,
+    resolverId: `${NS.apcst}resolverId`,
+    trustLevel: `${NS.apcst}trustLevel`,
+    risk: `${NS.apcst}risk`,
+    evidenceRef: `${NS.apcst}evidenceRef`,
+    // Phase-1.5: resolution
+    resolvedFrom: `${NS.apres}resolvedFrom`,
+    canonicalConstraints: `${NS.apres}canonicalConstraints`,
+    expandedAssumptions: `${NS.apres}expandedAssumptions`,
+    resolverAgent: `${NS.apres}resolverAgent`,
+    resolverVersion: `${NS.apres}resolverVersion`,
+    modelName: `${NS.apres}modelName`,
+    confidence: `${NS.apres}confidence`,
+    requiresUserConfirmation: `${NS.apres}requiresUserConfirmation`,
+    userConfirmedAt: `${NS.apres}userConfirmedAt`,
+    policyVersion: `${NS.apres}policyVersion`,
+    hasPolicyCheck: `${NS.apres}hasPolicyCheck`,
+    hasToolCall: `${NS.apres}hasToolCall`,
+    // Phase-1.5: agreement
+    hasIssuer: `${NS.apagr}hasIssuer`,
+    hasParty: `${NS.apagr}hasParty`,
+    agreementCommitmentHash: `${NS.apagr}agreementCommitmentHash`,
+    schemaHash: `${NS.apagr}schemaHash`,
+    agreementStatus: `${NS.apagr}status`,
+    createdEpochBucket: `${NS.apagr}createdEpochBucket`,
+    fromIntentMatch: `${NS.apagr}fromIntentMatch`,
+    // Phase-1.5: payment
+    payer: `${NS.appay}payer`,
+    payee: `${NS.appay}payee`,
+    granter: `${NS.appay}granter`,
+    rail: `${NS.appay}rail`,
+    mode: `${NS.appay}mode`,
+    requiresClosedMandateForFinalCharge: `${NS.appay}requiresClosedMandateForFinalCharge`,
+    contextBindingIntent: `${NS.appay}contextBindingIntent`,
+    contextBindingAgreement: `${NS.appay}contextBindingAgreement`,
+    chain: `${NS.appay}chain`,
+    maxAggregateAmount: `${NS.appay}maxAggregateAmount`,
+    nonce: `${NS.appay}nonce`,
+    maxRedemptions: `${NS.appay}maxRedemptions`,
+    expiresAt: `${NS.appay}expiresAt`,
+    // Phase-1.5: fulfillment
+    hasParentAgreement: `${NS.apful}hasParentAgreement`,
+    topology: `${NS.apful}topology`,
+    taskState: `${NS.apful}taskState`,
+    assignee: `${NS.apful}assignee`,
+    assigneeKind: `${NS.apful}assigneeKind`,
+    permissionGrantRef: `${NS.apful}permissionGrantRef`,
+    paymentMandateRef: `${NS.apful}paymentMandateRef`,
+    sender: `${NS.apful}sender`,
+    bodyRef: `${NS.apful}bodyRef`,
+    bodyHash: `${NS.apful}bodyHash`,
+    artifactKind: `${NS.apful}artifactKind`,
+    disclosurePolicy: `${NS.apful}disclosurePolicy`,
+    spanType: `${NS.apful}spanType`,
+    parentSpan: `${NS.apful}parentSpan`,
+    // Phase-1.5: attestation
+    uid: `${NS.apatt}uid`,
+    credentialType: `${NS.apatt}credentialType`,
+    credentialHash: `${NS.apatt}credentialHash`,
+    refUID: `${NS.apatt}refUID`,
+    bilateralConsentRef: `${NS.apatt}bilateralConsentRef`,
+    basedOnIntent: `${NS.apatt}basedOnIntent`,
+    basedOnArtifact: `${NS.apatt}basedOnArtifact`,
+    citesEvidence: `${NS.apatt}citesEvidence`,
+    citesValidation: `${NS.apatt}citesValidation`,
+    validatorKind: `${NS.apatt}validatorKind`,
+    offchainCredentialStatusList: `${NS.apatt}offchainCredentialStatusList`,
+    // Verifiable-content substrate (spec 266)
+    locusOf: `${NS.apcnt}locusOf`,
+    renderedBy: `${NS.apcnt}renderedBy`,
+    commitsTo: `${NS.apcnt}commitsTo`,
+    retrievalPointer: `${NS.apcnt}retrievalPointer`,
+    corpusRoot: `${NS.apcnt}corpusRoot`,
+    issuedBy: `${NS.apcnt}issuedBy`,
+    accessPolicy: `${NS.apcnt}accessPolicy`,
+    proofPolicy: `${NS.apcnt}proofPolicy`,
+    citesLocus: `${NS.apcnt}citesLocus`,
+    underEntitlement: `${NS.apcnt}underEntitlement`,
 };
-/** SHACL shape IRIs (C-box). */
+/** SHACL shape IRIs (C-box).
+ *
+ * NOTE: substrate-spine runtime SHACL shapes live in their OWNING packages
+ * per PD-19, NOT in this package. The shape IRIs below are only the ones
+ * the ontology package itself ships (identity / core layer); for spine
+ * shapes (intents, constraints, agreement, payment, fulfillment, credentials,
+ * a2a-task), import from the owning package.
+ */
 export const SHAPE = {
     CanonicalAgentId: `${NS.ap}CanonicalAgentIdShape`,
     CredentialFacet: `${NS.apcr}CredentialFacetShape`,
+    // Verifiable-content substrate (spec 266) — encodes ADR-0033 R3 (no inline text).
+    ContentDescriptor: `${NS.apcnt}ContentDescriptorShape`,
 };
 // `ARTIFACTS` + `artifactPath` (Node-only, `node:url`) live in the
 // `@agenticprimitives/ontology/artifacts` subpath — keep this entry browser-safe.

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,EAAE;AACF,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,2EAA2E;AAC3E,iDAAiD;AACjD,EAAE;AACF,OAAO;AACP,iDAAiD;AACjD,uFAAuF;AACvF,mGAAmG;AACnG,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,gFAAgF;AAChF,iFAAiF;AACjF,2CAA2C;AAE3C,+DAA+D;AAC/D,MAAM,CAAC,MAAM,gBAAgB,GAAG,OAAgB,CAAC;AAEjD;;;;GAIG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG;IAChB,EAAE,EAAE,wCAAwC;IAC5C,IAAI,EAAE,4CAA4C;IAClD,IAAI,EAAE,8CAA8C;IACpD,KAAK,EAAE,8CAA8C;IACrD,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,yCAAyC;IAChD,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,iDAAiD;IACxD,KAAK,EAAE,uCAAuC;CACtC,CAAC;AAEX,4DAA4D;AAC5D,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO;IACtB,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE,kBAAkB;IAC5C,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO;IACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU;IAC5B,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,iBAAiB;IAC5C,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,aAAa;IACpC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,KAAK;CACb,CAAC;AAEX,yCAAyC;AACzC,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,WAAW;IAChC,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,UAAU;IAC9B,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,aAAa;IAClC,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,WAAW;IAC9B,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE,eAAe;IACtC,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;CAC7B,CAAC;AAEX,gCAAgC;AAChC,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE,uBAAuB;IACjD,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,sBAAsB;CACzC,CAAC;AAEX,mEAAmE;AACnE,kFAAkF"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,EAAE;AACF,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,2EAA2E;AAC3E,iDAAiD;AACjD,EAAE;AACF,OAAO;AACP,iDAAiD;AACjD,uFAAuF;AACvF,mGAAmG;AACnG,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,gFAAgF;AAChF,iFAAiF;AACjF,2CAA2C;AAE3C,+DAA+D;AAC/D,MAAM,CAAC,MAAM,gBAAgB,GAAG,OAAgB,CAAC;AAEjD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG;IAChB,qBAAqB;IACrB,EAAE,EAAE,wCAAwC;IAC5C,IAAI,EAAE,4CAA4C;IAClD,IAAI,EAAE,8CAA8C;IACpD,KAAK,EAAE,8CAA8C;IACrD,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,yCAAyC;IAChD,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,iDAAiD;IACxD,KAAK,EAAE,uCAAuC;IAC9C,8DAA8D;IAC9D,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,8CAA8C;IACrD,KAAK,EAAE,8CAA8C;IACrD,KAAK,EAAE,6CAA6C;IACpD,KAAK,EAAE,2CAA2C;IAClD,KAAK,EAAE,+CAA+C;IACtD,KAAK,EAAE,+CAA+C;IACtD,IAAI,EAAE,yDAAyD;IAC/D,4CAA4C;IAC5C,GAAG,EAAE,yCAAyC;IAC9C,GAAG,EAAE,uCAAuC;IAC5C,gFAAgF;IAChF,sEAAsE;IACtE,KAAK,EAAE,2CAA2C;CAC1C,CAAC;AAEX,4DAA4D;AAC5D,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,UAAU;IACV,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO;IACtB,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE,kBAAkB;IAC5C,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO;IACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU;IAC5B,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,iBAAiB;IAC5C,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,aAAa;IACpC,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,KAAK;IACrB,0BAA0B;IAC1B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,QAAQ;IAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,QAAQ;IAC3B,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,8BAA8B;IAC9B,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,gBAAgB,EAAE,GAAG,EAAE,CAAC,KAAK,kBAAkB;IAC/C,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,qBAAqB,EAAE,GAAG,EAAE,CAAC,KAAK,uBAAuB;IACzD,8BAA8B;IAC9B,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,iBAAiB,EAAE,GAAG,EAAE,CAAC,KAAK,mBAAmB;IACjD,iBAAiB,EAAE,GAAG,EAAE,CAAC,KAAK,mBAAmB;IACjD,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,6BAA6B;IAC7B,mBAAmB,EAAE,GAAG,EAAE,CAAC,KAAK,qBAAqB;IACrD,mBAAmB,EAAE,GAAG,EAAE,CAAC,KAAK,qBAAqB;IACrD,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,2BAA2B;IAC3B,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,kBAAkB,EAAE,GAAG,EAAE,CAAC,KAAK,oBAAoB;IACnD,oBAAoB,EAAE,GAAG,EAAE,CAAC,KAAK,sBAAsB;IACvD,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,kBAAkB,EAAE,GAAG,EAAE,CAAC,KAAK,oBAAoB;IACnD,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,+BAA+B;IAC/B,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,mBAAmB,EAAE,GAAG,EAAE,CAAC,KAAK,qBAAqB;IACrD,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,MAAM;IACvB,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,SAAS;IAC7B,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,YAAY,EAAE,GAAG,EAAE,CAAC,KAAK,cAAc;IACvC,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,+BAA+B;IAC/B,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,kBAAkB,EAAE,GAAG,EAAE,CAAC,KAAK,oBAAoB;IACnD,iBAAiB,EAAE,GAAG,EAAE,CAAC,KAAK,mBAAmB;IACjD,oBAAoB,EAAE,GAAG,EAAE,CAAC,KAAK,sBAAsB;IACvD,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,qBAAqB,EAAE,GAAG,EAAE,CAAC,KAAK,uBAAuB;IACzD,yBAAyB;IACzB,oBAAoB,EAAE,GAAG,EAAE,CAAC,IAAI,sBAAsB;IACtD,wEAAwE;IACxE,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,iBAAiB,EAAE,GAAG,EAAE,CAAC,KAAK,mBAAmB;IACjD,iBAAiB,EAAE,GAAG,EAAE,CAAC,KAAK,mBAAmB;IACjD,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;CAC7B,CAAC;AAEX,yCAAyC;AACzC,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,UAAU;IACV,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,WAAW;IAChC,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,UAAU;IAC9B,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,aAAa;IAClC,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,WAAW;IAC9B,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE,eAAe;IACtC,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,oBAAoB;IACpB,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,QAAQ;IAC3B,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,OAAO;IACzB,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,gBAAgB,EAAE,GAAG,EAAE,CAAC,KAAK,kBAAkB;IAC/C,gBAAgB,EAAE,GAAG,EAAE,CAAC,KAAK,kBAAkB;IAC/C,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,QAAQ;IAC3B,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,wBAAwB;IACxB,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,QAAQ;IAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,QAAQ;IAC3B,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,MAAM;IACvB,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,wBAAwB;IACxB,YAAY,EAAE,GAAG,EAAE,CAAC,KAAK,cAAc;IACvC,oBAAoB,EAAE,GAAG,EAAE,CAAC,KAAK,sBAAsB;IACvD,mBAAmB,EAAE,GAAG,EAAE,CAAC,KAAK,qBAAqB;IACrD,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,wBAAwB,EAAE,GAAG,EAAE,CAAC,KAAK,0BAA0B;IAC/D,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,uBAAuB;IACvB,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,uBAAuB,EAAE,GAAG,EAAE,CAAC,KAAK,yBAAyB;IAC7D,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,QAAQ;IACpC,kBAAkB,EAAE,GAAG,EAAE,CAAC,KAAK,oBAAoB;IACnD,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,qBAAqB;IACrB,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,OAAO;IACzB,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,OAAO;IACzB,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,SAAS;IAC7B,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,MAAM;IACvB,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,MAAM;IACvB,mCAAmC,EAAE,GAAG,EAAE,CAAC,KAAK,qCAAqC;IACrF,oBAAoB,EAAE,GAAG,EAAE,CAAC,KAAK,sBAAsB;IACvD,uBAAuB,EAAE,GAAG,EAAE,CAAC,KAAK,yBAAyB;IAC7D,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,OAAO;IACzB,kBAAkB,EAAE,GAAG,EAAE,CAAC,KAAK,oBAAoB;IACnD,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,OAAO;IACzB,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,yBAAyB;IACzB,kBAAkB,EAAE,GAAG,EAAE,CAAC,KAAK,oBAAoB;IACnD,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,YAAY,EAAE,GAAG,EAAE,CAAC,KAAK,cAAc;IACvC,kBAAkB,EAAE,GAAG,EAAE,CAAC,KAAK,oBAAoB;IACnD,iBAAiB,EAAE,GAAG,EAAE,CAAC,KAAK,mBAAmB;IACjD,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,QAAQ;IAC3B,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,SAAS;IAC7B,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,YAAY,EAAE,GAAG,EAAE,CAAC,KAAK,cAAc;IACvC,gBAAgB,EAAE,GAAG,EAAE,CAAC,KAAK,kBAAkB;IAC/C,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,yBAAyB;IACzB,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,KAAK;IACrB,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,cAAc,EAAE,GAAG,EAAE,CAAC,KAAK,gBAAgB;IAC3C,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,QAAQ;IAC3B,mBAAmB,EAAE,GAAG,EAAE,CAAC,KAAK,qBAAqB;IACrD,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK,iBAAiB;IAC7C,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,eAAe;IACzC,4BAA4B,EAAE,GAAG,EAAE,CAAC,KAAK,8BAA8B;IACvE,0CAA0C;IAC1C,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,SAAS;IAC7B,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW;IACjC,gBAAgB,EAAE,GAAG,EAAE,CAAC,KAAK,kBAAkB;IAC/C,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,UAAU;IAC/B,YAAY,EAAE,GAAG,EAAE,CAAC,KAAK,cAAc;IACvC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,aAAa;IACrC,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,YAAY;IACnC,gBAAgB,EAAE,GAAG,EAAE,CAAC,KAAK,kBAAkB;CACvC,CAAC;AAEX;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE,uBAAuB;IACjD,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,sBAAsB;IACjD,kFAAkF;IAClF,iBAAiB,EAAE,GAAG,EAAE,CAAC,KAAK,wBAAwB;CAC9C,CAAC;AAEX,mEAAmE;AACnE,kFAAkF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agenticprimitives/ontology",
-  "version": "0.1.0-alpha.3",
+  "version": "1.0.0-alpha.10",
   "description": "Monorepo-wide formal vocabulary (RDFS/OWL T-box + SHACL/SKOS C-box + A-box fixtures) for agentic primitives. Off-chain source of truth the on-chain ontology (ADR-0009) instantiates. Ships TTL/JSON-LD artifacts + typed IRI constants.",
   "license": "MIT",
   "repository": {
@@ -38,7 +38,7 @@
     "access": "public"
   },
   "devDependencies": {
-    "vitest": "^2.1.0"
+    "vitest": "^4.1.8"
   },
   "keywords": [
     "ontology",
@@ -52,7 +52,7 @@
     "build": "tsc -p tsconfig.build.json",
     "typecheck": "tsc -p tsconfig.json --noEmit",
     "test": "vitest run",
-    "test:unit": "vitest run test/unit",
+    "test:unit": "vitest run test/unit --passWithNoTests",
     "test:integration": "vitest run test/integration --passWithNoTests",
     "test:watch": "vitest",
     "clean": "rm -rf dist"

package/tbox/agreement.ttl

@@ -0,0 +1,77 @@
+# T-box — agreement vocabulary (spine Layer 8).
+# Hyperledger Indy commitments + Sidetree anchor pattern; W3C VC envelope.
+# Spec 225 §11.5; ADR-0024 Decision 2 (single-row commitment-only).
+# Owning runtime SHACL: packages/agreements/src/shapes/agreement.shacl.ttl.
+
+@prefix apagr:  <https://agenticprimitives.dev/ns/agreement#> .
+@prefix apvc:   <https://agenticprimitives.dev/ns/credential#> .
+@prefix apint:  <https://agenticprimitives.dev/ns/intent#> .
+@prefix ap:     <https://agenticprimitives.dev/ns/core#> .
+@prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:    <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:    <http://www.w3.org/2001/XMLSchema#> .
+@prefix vf:     <https://w3id.org/valueflows#> .
+@prefix prov:   <http://www.w3.org/ns/prov#> .
+
+apagr: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — agreement ontology" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Layer 8 of the spine. Commitment-only on chain; body in vaults." .
+
+apagr:AgreementCommitment a owl:Class ;
+    rdfs:subClassOf vf:Commitment ;
+    rdfs:label "AgreementCommitment" ;
+    rdfs:comment "On-chain commitment-only row in AgreementRegistry.sol. Body in vaults; only commitment hash + issuer + schema + status + epoch on chain. AR-12: party SA addresses never in calldata." .
+
+apagr:AgreementCredential a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "AgreementCredential" ;
+    rdfs:comment "DOLCE+DnS Situation — the off-chain VC describing a two-party agreement. Issued by an issuer Agent (e.g. Global Church). Held in each party's PV. Per PD-22 — lives in agreements package." .
+
+apagr:AgreementStatus a owl:Class ;
+    rdfs:label "AgreementStatus" ;
+    rdfs:comment "Status state-machine codelist: ACTIVE | COMPLETED | DISPUTED | REVOKED (per spec 241 §5.4.1)." .
+
+# ─── Properties ───────────────────────────────────────────────────────
+
+apagr:hasIssuer a owl:ObjectProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range ap:Agent ;
+    rdfs:label "hasIssuer" ;
+    rdfs:comment "The issuer SA whose EIP-712 attestation backs the commitment." .
+
+apagr:hasParty a owl:ObjectProperty ;
+    rdfs:domain apagr:AgreementCredential ;
+    rdfs:range ap:Agent ;
+    rdfs:label "hasParty" ;
+    rdfs:comment "The two parties to the agreement. Cardinality 2 (enforced by SHACL in agreements package)." .
+
+apagr:agreementCommitmentHash a owl:DatatypeProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "agreementCommitmentHash" ;
+    rdfs:comment "The canonical commitment hash (per spec 241 §3 + IA §10)." .
+
+apagr:schemaHash a owl:DatatypeProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "schemaHash" ;
+    rdfs:comment "Reference to the on-chain ShapeRegistry SHACL shape (PD-12)." .
+
+apagr:status a owl:DatatypeProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range xsd:string ;
+    rdfs:label "status" ;
+    rdfs:comment "ACTIVE | COMPLETED | DISPUTED | REVOKED. Bilateral signing for ACTIVE→COMPLETED/REVOKED; either party for ACTIVE→DISPUTED." .
+
+apagr:createdEpochBucket a owl:DatatypeProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range xsd:integer ;
+    rdfs:label "createdEpochBucket" ;
+    rdfs:comment "Creation time in EPOCH_SECONDS buckets. Raw block.timestamp never stored." .
+
+apagr:fromIntentMatch a owl:ObjectProperty ;
+    rdfs:domain apagr:AgreementCommitment ;
+    rdfs:range apint:IntentMatch ;
+    rdfs:label "fromIntentMatch" ;
+    rdfs:comment "Optional reference to the IntentMatch (Layer 7) that produced the Commitment input." .

package/tbox/attestation.ttl

@@ -0,0 +1,135 @@
+# T-box — attestation vocabulary (spine Layers 12–15 credential types).
+# EAS-aligned per ADR-0023. Spec 225 §11.5.
+# Owning runtime SHACL: packages/attestations/src/shapes/credentials.shacl.ttl.
+# All credential types share AttestationRegistry.sol per ADR-0024 Decision 2
+# (architectural inverse of the smart-contract-per-credential anti-pattern).
+
+@prefix apatt:  <https://agenticprimitives.dev/ns/attestation#> .
+@prefix apvc:   <https://agenticprimitives.dev/ns/credential#> .
+@prefix apint:  <https://agenticprimitives.dev/ns/intent#> .
+@prefix apagr:  <https://agenticprimitives.dev/ns/agreement#> .
+@prefix apful:  <https://agenticprimitives.dev/ns/fulfillment#> .
+@prefix ap:     <https://agenticprimitives.dev/ns/core#> .
+@prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:    <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:    <http://www.w3.org/2001/XMLSchema#> .
+@prefix prov:   <http://www.w3.org/ns/prov#> .
+
+apatt: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — attestation ontology" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Credential types for layers 12–15. All share one on-chain AttestationRegistry per ADR-0024 Decision 2." .
+
+# ─── On-chain row type ────────────────────────────────────────────────
+
+apatt:Attestation a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "Attestation" ;
+    rdfs:comment "On-chain row in AttestationRegistry.sol. EAS-aligned: deterministic UID + refUID + EIP-712 + ERC-1271. Per-credential-class discrimination via credentialType. ADR-0023." .
+
+# ─── Credential types (Layer 12: Evidence) ────────────────────────────
+
+apatt:EvidenceCredential a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "EvidenceCredential" ;
+    rdfs:comment "Holder-asserted evidence credential bound to an Artifact. Holder-only on-chain revoke (D-18 + AR-10). Layer 12." .
+
+# ─── Credential types (Layer 13: Outcome) ─────────────────────────────
+
+apatt:OutcomeCredential a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "OutcomeCredential" ;
+    rdfs:comment "Outcome credential bound to an Intent. FLF-OUT-1: MUST cite at least one EvidenceCredential UID. Holder-only revoke. Layer 13." .
+
+# ─── Credential types (Layer 14: Validation) ──────────────────────────
+
+apatt:ValidationCredential a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "ValidationCredential" ;
+    rdfs:comment "Validator's attestation of an Outcome. Validator-type discriminated (human | agent | oracle | TEE | zkML | re-execution per ERC-8004). Validator-only revoke. Layer 14." .
+
+apatt:Validator a owl:Class ;
+    rdfs:subClassOf ap:Agent ;
+    rdfs:label "Validator" ;
+    rdfs:comment "An Agent that produces ValidationCredentials. Independence requirement: validator SA ≠ executor SA." .
+
+apatt:ValidatorKind a owl:Class ;
+    rdfs:label "ValidatorKind" ;
+    rdfs:comment "Discriminator: human | agent | oracle | TEE | zkML | re-execution." .
+
+# ─── Credential types (Layer 15: TrustUpdate) ─────────────────────────
+
+apatt:TrustUpdate a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "TrustUpdate" ;
+    rdfs:comment "Reputation mutation. D-40 hard substrate invariant: MUST cite at least one ValidationCredential UID. Sybil resistance via credential-cost, never KYC. Validator-only revoke. Layer 15." .
+
+apatt:AssociationCredential a owl:Class ;
+    rdfs:subClassOf apvc:VerifiableCredential ;
+    rdfs:label "AssociationCredential" ;
+    rdfs:comment "Holder asserts membership/association with an issuer. Holder-only revoke. Substrate-generic; vertical instances (JpAssociationCredential, etc.) compose on top." .
+
+# ─── Properties ───────────────────────────────────────────────────────
+
+apatt:uid a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "uid" ;
+    rdfs:comment "Deterministic UID per EAS pattern." .
+
+apatt:credentialType a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "credentialType" ;
+    rdfs:comment "keccak256 hash discriminator (AssociationCredential / EvidenceCredential / OutcomeCredential / ValidationCredential / TrustUpdate / PaymentReceipt)." .
+
+apatt:credentialHash a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "credentialHash" ;
+    rdfs:comment "RFC 8785 JCS canonical hash of off-chain VC body." .
+
+apatt:refUID a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "refUID" ;
+    rdfs:comment "EAS-style single back-pointer. Used by JointAgreement to reference AgreementCommitment." .
+
+apatt:bilateralConsentRef a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:hexBinary ;
+    rdfs:label "bilateralConsentRef" ;
+    rdfs:comment "References signatures-bundle hash OR pinned-delegation hash for joint attestations. 0 for unilateral." .
+
+apatt:basedOnIntent a owl:ObjectProperty ;
+    rdfs:domain apatt:OutcomeCredential ;
+    rdfs:range apint:Intent ;
+    rdfs:label "basedOnIntent" .
+
+apatt:basedOnArtifact a owl:ObjectProperty ;
+    rdfs:domain apatt:EvidenceCredential ;
+    rdfs:range apful:Artifact ;
+    rdfs:label "basedOnArtifact" .
+
+apatt:citesEvidence a owl:ObjectProperty ;
+    rdfs:domain apatt:OutcomeCredential ;
+    rdfs:range apatt:EvidenceCredential ;
+    rdfs:label "citesEvidence" ;
+    rdfs:comment "FLF-OUT-1: MANDATORY. At least one EvidenceCredential UID citation required." .
+
+apatt:citesValidation a owl:ObjectProperty ;
+    rdfs:domain apatt:TrustUpdate ;
+    rdfs:range apatt:ValidationCredential ;
+    rdfs:label "citesValidation" ;
+    rdfs:comment "D-40: MANDATORY. TrustUpdate cannot precede ValidationCredential." .
+
+apatt:validatorKind a owl:DatatypeProperty ;
+    rdfs:domain apatt:ValidationCredential ;
+    rdfs:range xsd:string ;
+    rdfs:label "validatorKind" .
+
+apatt:offchainCredentialStatusList a owl:DatatypeProperty ;
+    rdfs:domain apatt:Attestation ;
+    rdfs:range xsd:anyURI ;
+    rdfs:label "offchainCredentialStatusList" ;
+    rdfs:comment "W3C VC StatusList2021 pointer. Holder revocation on-chain ≠ issuer revocation off-chain — independently meaningful." .

package/tbox/constraints.ttl

@@ -0,0 +1,150 @@
+# T-box — constraint + assumption vocabulary (spine Layer 3).
+# Anoma CSP-shaped + ERC-7683 resolver-assumption pattern.
+# Spec 225 §11.5; D-38 + D-39 + D-43.
+# Owning runtime SHACL: packages/intent-marketplace/src/shapes/constraints.shacl.ttl.
+
+@prefix ap:     <https://agenticprimitives.dev/ns/core#> .
+@prefix apcst:  <https://agenticprimitives.dev/ns/constraint#> .
+@prefix apint:  <https://agenticprimitives.dev/ns/intent#> .
+@prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:    <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:    <http://www.w3.org/2001/XMLSchema#> .
+@prefix prov:   <http://www.w3.org/ns/prov#> .
+
+apcst: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — constraint + assumption ontology" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "First-class typed constraints (Anoma CSP-shape) + resolver-assumption set (ERC-7683 parallel). Spec 225 §11.5." .
+
+# ─── ConstraintSet classes ────────────────────────────────────────────
+
+apcst:ConstraintSet a owl:Class ;
+    rdfs:label "ConstraintSet" ;
+    rdfs:comment "A typed bag of Constraints (hard + soft) + per-field DisclosurePolicy. CSP-shaped. NOT freeform payload (D-38)." .
+
+apcst:Constraint a owl:Class ;
+    rdfs:label "Constraint" ;
+    rdfs:comment "A single typed constraint: variable + domain + source + rationale. Discriminated by domain.kind." .
+
+apcst:HardConstraint a owl:Class ;
+    rdfs:subClassOf apcst:Constraint ;
+    rdfs:label "HardConstraint" ;
+    rdfs:comment "Enforceable invariant; matchmaker MUST reject if violated." .
+
+apcst:SoftConstraint a owl:Class ;
+    rdfs:subClassOf apcst:Constraint ;
+    rdfs:label "SoftConstraint" ;
+    rdfs:comment "Scorer preference; contributes to composite score (per spec 239 §7.2)." .
+
+# ─── Constraint domain classes (CSP-shaped) ───────────────────────────
+
+apcst:ConstraintDomain a owl:Class ;
+    rdfs:label "ConstraintDomain" ;
+    rdfs:comment "Abstract CSP domain. Subclasses: EnumDomain, RangeDomain, SetDomain, PredicateDomain." .
+
+apcst:EnumDomain a owl:Class ;
+    rdfs:subClassOf apcst:ConstraintDomain ;
+    rdfs:label "EnumDomain" ;
+    rdfs:comment "Constraint domain over a fixed enumeration of allowed string values." .
+
+apcst:RangeDomain a owl:Class ;
+    rdfs:subClassOf apcst:ConstraintDomain ;
+    rdfs:label "RangeDomain" ;
+    rdfs:comment "Constraint domain over a numeric/temporal range [min, max] in a named unit." .
+
+apcst:SetDomain a owl:Class ;
+    rdfs:subClassOf apcst:ConstraintDomain ;
+    rdfs:label "SetDomain" ;
+    rdfs:comment "Constraint domain over an allowed-set (optionally with a denied-set)." .
+
+apcst:PredicateDomain a owl:Class ;
+    rdfs:subClassOf apcst:ConstraintDomain ;
+    rdfs:label "PredicateDomain" ;
+    rdfs:comment "Constraint domain expressed as a SHACL or JSONPath predicate body." .
+
+# ─── AssumptionSet classes (ERC-7683 parallel) ────────────────────────
+
+apcst:AssumptionSet a owl:Class ;
+    rdfs:label "AssumptionSet" ;
+    rdfs:comment "Resolver-asserted assumptions + risks + required validations. Solvers MUST validate before bidding. ERC-7683 pattern." .
+
+apcst:NamedAssumption a owl:Class ;
+    rdfs:label "NamedAssumption" ;
+    rdfs:comment "A specific resolver assumption: name + trustLevel + optional evidence ref." .
+
+apcst:ValidationRequirement a owl:Class ;
+    rdfs:label "ValidationRequirement" ;
+    rdfs:comment "Something that MUST be validated before commitment / payment / fulfillment. Links to Layer 14 (Validation)." .
+
+# ─── Properties ───────────────────────────────────────────────────────
+
+apcst:variable a owl:DatatypeProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range xsd:string ;
+    rdfs:label "variable" ;
+    rdfs:comment "The CSP variable name (e.g. 'geo', 'requiredCredential', 'capacity')." .
+
+apcst:domain a owl:ObjectProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range apcst:ConstraintDomain ;
+    rdfs:label "domain" .
+
+apcst:source a owl:DatatypeProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range xsd:string ;
+    rdfs:label "source" ;
+    rdfs:comment "Constraint source provenance (D-43): 'user-asserted' | 'llm-inferred' | 'policy-imposed'. Inferred + sensitive constraints redactable before publication." .
+
+apcst:rationale a owl:DatatypeProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range xsd:string ;
+    rdfs:label "rationale" ;
+    rdfs:comment "Human-readable explanation (esp. for llm-inferred / policy-imposed constraints)." .
+
+apcst:strength a owl:DatatypeProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range xsd:string ;
+    rdfs:label "strength" ;
+    rdfs:comment "'hard' | 'soft' — discriminator for HardConstraint vs SoftConstraint subclassing." .
+
+apcst:enforcement a owl:DatatypeProperty ;
+    rdfs:domain apcst:Constraint ;
+    rdfs:range xsd:string ;
+    rdfs:label "enforcement" ;
+    rdfs:comment "Where the constraint is enforced: 'pre-execution' | 'agreement' | 'ranking' (per AI-engagement-model semantic-caveats pattern)." .
+
+apcst:fieldDisclosure a owl:DatatypeProperty ;
+    rdfs:domain apcst:ConstraintSet ;
+    rdfs:range xsd:string ;
+    rdfs:label "fieldDisclosure" ;
+    rdfs:comment "JSON-encoded { fieldPath → VisibilityTier } map. Per-field DisclosurePolicy (D-42)." .
+
+apcst:resolverId a owl:DatatypeProperty ;
+    rdfs:domain apcst:AssumptionSet ;
+    rdfs:range xsd:string ;
+    rdfs:label "resolverId" ;
+    rdfs:comment "The Resolver agent's identifier (version-pinned)." .
+
+apcst:trustLevel a owl:DatatypeProperty ;
+    rdfs:domain apcst:NamedAssumption ;
+    rdfs:range xsd:string ;
+    rdfs:label "trustLevel" ;
+    rdfs:comment "'asserted' | 'verified' | 'oracle' | 'zkp'." .
+
+apcst:risk a owl:DatatypeProperty ;
+    rdfs:domain apcst:NamedAssumption ;
+    rdfs:range xsd:string ;
+    rdfs:label "risk" ;
+    rdfs:comment "Human-readable risk tag (e.g. 'inventory', 'sla', 'merchant-trust')." .
+
+apcst:evidenceRef a owl:ObjectProperty ;
+    rdfs:domain apcst:NamedAssumption ;
+    rdfs:range prov:Entity ;
+    rdfs:label "evidenceRef" ;
+    rdfs:comment "Optional pointer to a VC / attestation backing the assumption." .
+
+apcst:expiresAt a owl:DatatypeProperty ;
+    rdfs:domain apcst:NamedAssumption ;
+    rdfs:range xsd:dateTime ;
+    rdfs:label "expiresAt" ;
+    rdfs:comment "Assumption validity expiration. Downstream consumers MUST recheck if expired." .