{"$schema":"https://json-schema.org/draft/2020-12/schema","$id":"https://platphormready.platphormnews.com/schemas/verification/v1","title":"PlatPhorm Ready verification contract","type":"object","required":["schema","runId","target","mode","dimensions","assertions","contradictions","drift","evidenceGraphSchema","evidenceEdges","evidenceClusters","gates","scannerContributions","scannerCoverage","requirementCoverage","specialistResults","evidenceFreshness"],"properties":{"schema":{"const":"platphorm.ready/v1"},"runId":{"type":"string"},"target":{"type":"string","format":"uri","pattern":"^https://"},"mode":{"enum":["WEB_ONLY","WEB_BROWSER","AGENT_REPOSITORY","AGENT_PROVIDER","FULL"]},"dimensions":{"type":"object","additionalProperties":{"enum":["PASS","FAIL","CONDITIONAL","UNKNOWN","NOT_APPLICABLE","PROTECTED_REQUIRED","DEGRADED"]}},"assertions":{"type":"array","items":{"$ref":"#/$defs/assertion"}},"contradictions":{"type":"array","items":{"type":"object","required":["id","subject","predicate","observationIds","status","reason","detectedAt"],"properties":{"id":{"type":"string"},"subject":{"type":"string"},"predicate":{"type":"string"},"observationIds":{"type":"array","items":{"type":"string"}},"status":{"enum":["OPEN","RESOLVED","ACCEPTED"]},"reason":{"type":"string"},"detectedAt":{"type":"string","format":"date-time"}}}},"drift":{"type":"array","items":{"type":"object","required":["id","kind","subject","status","evidenceIds","reason","detectedAt"],"properties":{"id":{"type":"string"},"kind":{"type":"string"},"subject":{"type":"string"},"declaration":{},"observation":{},"severity":{"enum":["INFO","LOW","MEDIUM","HIGH","CRITICAL"]},"status":{"enum":["OPEN","RESOLVED","ACCEPTED","UNKNOWN"]},"evidenceIds":{"type":"array","items":{"type":"string"}},"reason":{"type":"string"},"detectedAt":{"type":"string","format":"date-time"}}}},"evidenceGraphSchema":{"const":"platphorm.evidence-graph@1"},"evidenceEdges":{"type":"array","items":{"type":"object","required":["source","target","relationship","evidenceId","observedAt","confidence","freshness","verificationMode"],"properties":{"source":{"type":"string"},"target":{"type":"string"},"relationship":{"type":"string"},"evidenceId":{"type":"string"},"observedAt":{"type":"string","format":"date-time"},"confidence":{"type":"number","minimum":0,"maximum":1},"freshness":{"type":"string"},"verificationMode":{"enum":["WEB_ONLY","WEB_BROWSER","AGENT_REPOSITORY","AGENT_PROVIDER","FULL"]}}}},"evidenceClusters":{"type":"array","items":{"type":"object","required":["id","key","statuses","evidenceIds","producers","independentSourceCount","status","resolution"],"properties":{"id":{"type":"string"},"key":{"type":"string"},"statuses":{"type":"array","items":{"type":"string"}},"evidenceIds":{"type":"array","items":{"type":"string"}},"producers":{"type":"array","items":{"type":"string"}},"independentSourceCount":{"type":"integer","minimum":0},"status":{"enum":["SINGLE_SOURCE","CONSISTENT","CONFLICT","UNKNOWN"]},"resolution":{"type":"string"}}}},"observations":{"type":"array","items":{"$ref":"#/$defs/observation"}},"gates":{"type":"array","items":{"type":"object","required":["name","status","blocking"],"properties":{"name":{"type":"string"},"status":{"type":"string"},"blocking":{"type":"boolean"}}}},"scannerContributions":{"type":"array","items":{"type":"object","required":["scanner","profile","version","status","findings","pass","fail","conditional","unknown","receiptStatus"],"properties":{"scanner":{"type":"string"},"profile":{"type":"string"},"version":{"type":"string"},"status":{"type":"string"},"findings":{"type":"integer","minimum":0},"pass":{"type":"integer","minimum":0},"fail":{"type":"integer","minimum":0},"conditional":{"type":"integer","minimum":0},"unknown":{"type":"integer","minimum":0},"receiptStatus":{"enum":["VALID","MISSING"]},"health":{"type":"string"},"discoverySource":{"type":"string"},"discoveryStatus":{"type":"string"}}}},"scannerCoverage":{"type":"object","required":["expected","completed","reused","unavailable","skipped","coverage","unavailableScanners"],"properties":{"expected":{"type":"integer","minimum":0},"completed":{"type":"integer","minimum":0},"reused":{"type":"integer","minimum":0},"unavailable":{"type":"integer","minimum":0},"skipped":{"type":"integer","minimum":0},"coverage":{"type":"number","minimum":0,"maximum":1},"unavailableScanners":{"type":"array","items":{"type":"string"}}}},"requirementCoverage":{"type":"object","required":["total","sufficient","coverage","conflicts","unknown","details"],"properties":{"total":{"type":"integer","minimum":0},"sufficient":{"type":"integer","minimum":0},"coverage":{"type":"number","minimum":0,"maximum":1},"conflicts":{"type":"integer","minimum":0},"unknown":{"type":"integer","minimum":0},"details":{"type":"array","items":{"type":"object","required":["key","status","scanners","evidenceIds"],"properties":{"key":{"type":"string"},"status":{"type":"string"},"scanners":{"type":"array","items":{"type":"string"}},"evidenceIds":{"type":"array","items":{"type":"string"}}}}}}},"specialistResults":{"type":"array","items":{"type":"object","required":["resultId","scanner","trust","observedAt"],"properties":{"resultId":{"type":"string"},"scanner":{"type":"object"},"trust":{"enum":["TRUSTED","UNTRUSTED","PROTECTED"]},"observedAt":{"type":"string","format":"date-time"}}}},"specialistReports":{"type":"array","items":{"type":"object","required":["resultId","scanner","trust","observedAt"],"properties":{"resultId":{"type":"string"},"scanner":{"type":"object"},"trust":{"enum":["TRUSTED","UNTRUSTED","PROTECTED"]},"observedAt":{"type":"string","format":"date-time"},"validUntil":{"type":"string","format":"date-time"},"receiptRef":{"type":"string"},"receipt":{"type":"object","properties":{"schema":{"const":"platphorm.assessment.receipt@1"},"issuer":{"type":"string"},"subject":{"type":"string","format":"uri"},"operation":{"type":"string"},"release":{"type":"string"},"policyDecision":{"enum":["ALLOW","CONDITIONAL","DENY","UNAVAILABLE"]},"resultDigest":{"type":"string"},"inputDigest":{"type":"string"},"outputDigest":{"type":"string"},"result":{"type":"object"},"evidence":{"type":"object"},"evidenceDigest":{"type":"string"},"integrity":{"enum":["DIGEST_ONLY","SIGNED"]},"signature":{"type":"string"}}},"report":{"type":"object"}}}},"evidenceFreshness":{"enum":["FRESH","STALE","MIXED","UNKNOWN"]},"integrations":{"type":"object","properties":{"catalog":{"type":"object"},"apiPlatform":{"type":"object"},"github":{"type":"object"},"specialists":{"type":"array"},"providers":{"type":"object","properties":{"responseMetadata":{"type":"object"},"providerAdapters":{"type":"object"}}}}},"federation":{"type":"object","properties":{"request":{"type":"object"},"budget":{"type":"object"},"dag":{"type":"object"},"health":{"type":"array"},"coverage":{"type":"object"},"orchestrationMode":{"enum":["AUTO","LOCAL_ONLY","SPECIALISTS_ONLY","CONSUME_SUPPLIED"]},"specialistScansRequested":{"type":"array","items":{"type":"string"}},"specialistScansReused":{"type":"array","items":{"type":"string"}},"discoveredCapabilities":{"type":"array"},"localProbesExecuted":{"type":"array","items":{"type":"string"}},"fallbacksUsed":{"type":"array","items":{"type":"string"}},"scannersUnavailable":{"type":"array","items":{"type":"string"}},"cyclePreventions":{"type":"array","items":{"type":"string"}}}},"readiness":{"type":"object","required":["statuses","reasons"],"properties":{"statuses":{"type":"object"},"reasons":{"type":"object"},"dimensions":{"type":"object"}}},"apiConformity":{"type":"object","required":["schema","verificationMode","status","applicability","openapi","documentedOperations","liveRoutes","coveredRoutes","undocumentedLiveRoutes","missingDocumentedRoutes","operationIdCoverage","contentTypeDrift","findings"],"properties":{"schema":{"const":"platphorm.api-conformity@1"},"verificationMode":{"type":"string"},"status":{"enum":["PASS","FAIL","CONDITIONAL","UNKNOWN","NOT_APPLICABLE"]},"applicability":{"enum":["APPLICABLE","UNKNOWN","NOT_APPLICABLE"]},"openapi":{"type":"object","required":["observed","valid","pathCount"],"properties":{"observed":{"type":"boolean"},"valid":{"type":"boolean"},"version":{"type":"string"},"pathCount":{"type":"integer","minimum":0},"contentType":{"type":["string","null"]}}},"documentedOperations":{"type":"integer","minimum":0},"liveRoutes":{"type":"integer","minimum":0},"coveredRoutes":{"type":"integer","minimum":0},"undocumentedLiveRoutes":{"type":"integer","minimum":0},"missingDocumentedRoutes":{"type":"integer","minimum":0},"operationIdCoverage":{"type":"number","minimum":0,"maximum":1},"contentTypeDrift":{"type":"integer","minimum":0},"findings":{"type":"array","items":{"type":"object","required":["classification","status","reason","verificationMode"],"properties":{"path":{"type":"string"},"method":{"type":"string"},"operationId":{"type":"string"},"classification":{"enum":["CONFORMANT","OPENAPI_INVALID","DOCUMENTED_MISSING_ROUTE","UNDOCUMENTED_LIVE_ROUTE","OPERATION_ID_MISSING","SCHEMA_DRIFT","AUTH_DRIFT","CONTENT_TYPE_DRIFT","UNKNOWN"]},"status":{"enum":["PASS","FAIL","CONDITIONAL","UNKNOWN","NOT_APPLICABLE"]},"reason":{"type":"string"},"verificationMode":{"type":"string"},"evidenceIds":{"type":"array","items":{"type":"string"}}}}}}},"capabilityParity":{"type":"object","required":["schema","status","applicability","declared","conformant","gaps","unknown","uiCoverage","liveCoverage","findings"],"properties":{"schema":{"const":"platphorm.capability-parity@1"},"status":{"enum":["PASS","FAIL","CONDITIONAL","UNKNOWN"]},"applicability":{"enum":["APPLICABLE","UNKNOWN","NOT_APPLICABLE"]},"declared":{"type":"integer","minimum":0},"conformant":{"type":"integer","minimum":0},"gaps":{"type":"integer","minimum":0},"unknown":{"type":"integer","minimum":0},"uiCoverage":{"type":"object","required":["declared","machineBacked","conformant","gaps","coverage","executionChecked","executionConformant","executionUnknown","executionCoverage"],"properties":{"declared":{"type":"integer","minimum":0},"machineBacked":{"type":"integer","minimum":0},"conformant":{"type":"integer","minimum":0},"gaps":{"type":"integer","minimum":0},"coverage":{"type":"number","minimum":0,"maximum":1},"executionChecked":{"type":"integer","minimum":0},"executionConformant":{"type":"integer","minimum":0},"executionUnknown":{"type":"integer","minimum":0},"executionCoverage":{"type":"number","minimum":0,"maximum":1}}},"liveCoverage":{"type":"object","required":["checked","conformant","unknown","coverage"],"properties":{"checked":{"type":"integer","minimum":0},"conformant":{"type":"integer","minimum":0},"unknown":{"type":"integer","minimum":0},"coverage":{"type":"number","minimum":0,"maximum":1}}},"findings":{"type":"array","items":{"type":"object","required":["capabilityId","classification","status","reason","checks"],"properties":{"capabilityId":{"type":"string"},"classification":{"enum":["CONFORMANT","MACHINE_CAPABILITY_GAP","DOCUMENTATION_GAP","SCHEMA_DRIFT","AUTH_DRIFT","SIDE_EFFECT_DRIFT","RISK_DRIFT","ERROR_DRIFT","UI_EXECUTION_DRIFT","UI_ONLY","UNKNOWN"]},"status":{"enum":["PASS","FAIL","CONDITIONAL","UNKNOWN"]},"reason":{"type":"string"},"checks":{"type":"object"}}}}}},"receipt":{"type":"object","required":["id","digest","issuedAt"],"properties":{"id":{"type":"string"},"digest":{"type":"string"},"issuedAt":{"type":"string","format":"date-time"}}}},"$defs":{"assertion":{"type":"object","required":["id","requirement","status","evidenceIds","reason","verificationMode"],"properties":{"id":{"type":"string"},"requirement":{"type":"string"},"status":{"enum":["PASS","FAIL","CONDITIONAL","UNKNOWN","NOT_APPLICABLE","PROTECTED_REQUIRED","DEGRADED"]},"evidenceIds":{"type":"array","items":{"type":"string"}},"reason":{"type":"string"},"verificationMode":{"enum":["WEB_ONLY","WEB_BROWSER","AGENT_REPOSITORY","AGENT_PROVIDER","FULL"]}}},"observation":{"type":"object","required":["id","subject","predicate","value","observedAt","validUntil","freshnessPolicy","evidenceStrength","verificationMode","source"],"properties":{"id":{"type":"string"},"subject":{"type":"string"},"predicate":{"type":"string"},"value":{},"observedAt":{"type":"string","format":"date-time"},"validUntil":{"type":"string","format":"date-time"},"freshnessPolicy":{"type":"string"},"evidenceStrength":{"type":"string"},"verificationMode":{"enum":["WEB_ONLY","WEB_BROWSER","AGENT_REPOSITORY","AGENT_PROVIDER","FULL"]},"source":{"type":"string"}}}}}