{ "$schema": "./type-diagnostic-profile.v1.schema.json", "contractVersion": "1.1.0", "topic": "closed-type-unit-numeric-diagnostic", "availability": "implemented", "authority": { "decisionRecord": "RFC-003", "currentDecisionOwnerPlan": "12", "humanSpecPath": "Report_Doc/docs/specification/types-units-diagnostics.md", "machineProfilePath": "Report_Doc/docs/public/contracts/type-diagnostic-profile.v1.json", "machineProfileSchemaPath": "Report_Doc/docs/public/contracts/type-diagnostic-profile.v1.schema.json" }, "bounds": { "decimal": { "precisionMax": 38, "scaleMin": 0, "scaleMax": 18 }, "semanticKey": { "maxLength": 128, "measurement": "unicode-characters" }, "string": { "maxByteLength": 1048576, "measurement": "utf8-bytes" }, "list": { "maxItems": 100000 }, "table": { "maxRows": 100000 }, "record": { "maxFields": 512 }, "compositeDepth": { "max": 32, "rootCompositeDepth": 1 } }, "types": { "canonicalKinds": [ "boolean", "int64", "float64", "decimal", "string", "enum", "date", "timestamp", "duration", "record", "list", "table", "binary", "artifact", "evidence", "calculation_trace" ], "scalarKinds": [ "boolean", "int64", "float64", "decimal", "string", "enum", "date", "timestamp", "duration" ], "compositeKinds": [ "record", "list", "table" ], "referenceKinds": [ "binary", "artifact", "evidence", "calculation_trace" ], "descriptorMembers": { "record": { "required": [ "kind", "recordKey" ], "optional": [] }, "list": { "required": [ "kind", "items" ], "optional": [] }, "table": { "required": [ "kind", "row" ], "optional": [] }, "enum": { "required": [ "kind", "values" ], "optional": [] } }, "rules": [ "recordKey resolves to an exact definition in the owning FunctionDescriptor, ComponentDescriptor or Flow interface typeDefinitions closure", "record rowKeyField is conditional and must name a required non-null string or int64 field", "enum values are unique semantic keys in ascending order and carry no display label", "list.items and table.row are themselves TypeDescriptors", "one table input executes its target exactly once", "unrestricted any and unknown-component fallback are rejected" ] }, "numeric": { "int64Serialization": "base10-string-without-leading-zero", "float64Serialization": "finite-json-number", "float64NegativeZeroNormalizedTo": "0", "decimalSerialization": "canonical-decimal-string", "decimalCanonicalGrammar": { "optionalLeadingMinus": true, "integerPart": "zero-or-digits-without-leading-zero", "fractionPart": "optional-dot-then-digits-without-trailing-zero", "negativeZeroRejected": true, "rejectedSpellings": [ "01", "1.0", ".5", "1.", "+1", "-0" ], "nonCanonicalSpellingDiagnostic": "PX_TYPE_INCOMPATIBLE", "rationale": "one value has exactly one spelling, so canonical bytes and digests compare directly across every binding." }, "rejectedNumericValues": [ "NaN", "Infinity", "-Infinity", "locale-formatted-number", "display-grouping-separator" ] }, "temporal": { "timestamp": "rfc3339-utc", "date": "iso8601-date", "duration": "iso8601-duration-canonical" }, "unit": { "codeSystem": "ucum-compatible", "registryPin": { "release": "UCUM-2.2", "releaseDate": "2024-06-17", "caseSensitive": true, "rationale": "official dated UCUM specification with implementer release artifacts" }, "canonicalCodeSubset": [ { "category": "dimensionless", "codes": [ "1", "%", "[ppm]" ] }, { "category": "length", "codes": [ "mm", "cm", "m", "km", "[in_i]", "[ft_i]" ] }, { "category": "mass", "codes": [ "mg", "g", "kg", "t" ] }, { "category": "time", "codes": [ "ms", "s", "min", "h" ] }, { "category": "angle", "codes": [ "rad", "deg" ] }, { "category": "force", "codes": [ "N", "kN", "MN" ] }, { "category": "stress/pressure", "codes": [ "Pa", "kPa", "MPa", "GPa", "N/mm2" ] }, { "category": "moment", "codes": [ "N.m", "kN.m" ] }, { "category": "density", "codes": [ "kg/m3" ] }, { "category": "acceleration", "codes": [ "m/s2" ] }, { "category": "temperature", "codes": [ "K" ] } ], "derivedDefinitionDependencies": [ "kg", "m", "s", "N", "Pa" ], "canonicalUnitDiscipline": { "system": "coherent-SI", "rule": "stored, calculated and digested values are always in the canonical unit for their quantity", "conversionAllowedAt": [ "ingress-normalisation", "presentation-egress", "export-egress" ], "displayUnitChangeRewritesStoredValue": false, "canonicalUnitByCategory": { "dimensionless": "1", "length": "m", "mass": "kg", "time": "s", "angle": "rad", "force": "N", "stress/pressure": "Pa", "moment": "N.m", "density": "kg/m3", "acceleration": "m/s2", "temperature": "K" }, "presentationResultIsADistinctType": true, "presentationResultIsStorable": false, "userResubmissionReentersIngress": true }, "dimensionless": "1", "genericConversionForms": [ "multiplicative", "affine" ], "affineMembers": [ "scale", "offset" ], "conversionFactorEncoding": "canonical-decimal-string", "roundingDuringConversion": false, "precisionOverflowBehavior": "diagnostic", "nonlinearConversionRequiresExplicitFunction": true, "dimensionMismatchIsConnectable": false, "compatibleConversionRecordedIn": [ "validator-plan", "runtime-provenance" ] }, "diagnostic": { "envelopeRequiredMembers": [ "code", "path", "severity", "retryable", "params", "suggestedAction" ], "envelopeOptionalMembers": [ "diagnosticId" ], "forbiddenEnvelopeMembers": [ "message", "localizedMessage", "recoveryActions", "nextActions", "candidates" ], "severityValues": [ "error", "warning", "info" ], "pathFormat": "rfc6901", "rootPath": "", "emptyParamsValue": "empty-object", "sortOrder": [ "severity", "path", "code", "canonicalParamsDigest" ], "sortDirections": { "severity": "declared-order", "path": "ascending", "code": "ascending", "canonicalParamsDigest": "ascending" }, "suggestedActionVocabulary": { "closed": true, "additionPolicy": "versioned-follow-up-contract", "values": [ "ATTACH_DEPENDENCY", "CHOOSE_ANOTHER_FILE", "CHOOSE_FLOW_REVISION", "CHOOSE_OUTPUT", "CONNECT_INPUT", "CREATE_BATCH_RUN", "FIX_FORMULA_DOMAIN", "FIX_FORMULA_SHAPE", "FIX_GROUP", "FIX_PUBLIC_API", "FIX_RUN_REQUEST_SHAPE", "INSTALL_FUNCTION", "INSTALL_PACKAGE", "INSTALL_PACKAGE_VERSION", "OPEN_DIAGNOSTIC", "OPEN_READ_ONLY", "OPEN_SOURCE_OR_CREATE_NATIVE_COPY", "RECONCILE_EFFECT", "REDUCE_WORKLOAD", "REFRESH_AND_REPLAN", "REMOVE_CYCLE", "REMOVE_UNKNOWN_FIELD", "RENAME_KEY", "REQUEST_ACCESS", "REQUEST_PACKAGE_ACCESS", "RESOLVE_COMPONENT", "RETRY_PACKAGE_CATALOG", "REVIEW_CAPABILITY", "REVIEW_COMPONENT_UPDATE", "REVIEW_CONFLICTS", "REVIEW_CONVERGENCE", "REVIEW_FUNCTION_UPDATE", "REVIEW_REPORT_MAPPING", "REVIEW_SOLVER_SETTINGS", "REWRITE_FORMULA", "RUN_AGAIN", "SELECT_COMPATIBLE_PORT", "SELECT_COMPATIBLE_VERSION", "SELECT_COMPONENT", "SELECT_EXACT_TARGET", "SELECT_FORMULA_REFERENCE", "SELECT_REPORT_CONNECTION", "SELECT_REPORT_DESTINATION", "SELECT_REPORT_SOURCE", "SELECT_RESULT", "SELECT_ROW_KEY", "SELECT_TARGET", "SIMPLIFY_FORMULA", "START_RUNTIME", "UPDATE_APPLICATION" ], "declinedNonMemberLiterals": [ "REPORT_UNREADABLE_FILE", "RESTORE_FROM_BACKUP" ], "declinedLiteralClassification": "forbidden-by-specification" }, "decodeFailureBinding": { "wasm": { "errorType": "Error", "message": "sentence-preserved", "diagnosticMember": "diagnostic", "diagnosticEncoding": "jcs-bytes", "typescriptDeclaration": "PxflowDecodeFailure extends Error { diagnostic: Uint8Array }", "callerNarrowing": "caught-unknown" }, "python": { "errorType": "ValueError", "message": "sentence-preserved", "diagnosticMember": "diagnostic", "diagnosticEncoding": "jcs-bytes" }, "recovery": { "native": "exact-original-bytes-read-only", "wasm": "unavailable", "python": "unavailable" }, "legacyClassification": { "manifest": "json-object-with-top-level-manifest", "yaml": "non-json-utf8-first-nonblank-schemaVersion-digits-only", "producedDetectedFormats": [ "manifest", "yaml" ], "unknownProduced": false } }, "paramsDigestPreimage": { "keyOrder": "ascending", "canonicalization": "RFC-8785-JCS", "sharedWithDecisionRecord": "RFC-002", "identityRule": "must-remain-byte-for-byte-identical" }, "paramsContract": [ { "code": "PX_SCHEMA_UNSUPPORTED_VERSION", "allowed": [ { "key": "actualVersion", "type": "string" }, { "key": "supportedVersion", "type": "string" } ] }, { "code": "PX_SCHEMA_UNKNOWN_FIELD", "allowed": [ { "key": "field", "type": "string" } ] }, { "code": "PX_KEY_INVALID", "allowed": [ { "key": "key", "type": "string" } ] }, { "code": "PX_KEY_DUPLICATE", "allowed": [ { "key": "key", "type": "string" } ] }, { "code": "PX_REPORT_CONNECTION_NOT_FOUND", "allowed": [ { "key": "connectionKey", "type": "string" } ] }, { "code": "PX_REPORT_FLOW_REVISION_NOT_FOUND", "allowed": [ { "key": "revisionRef", "type": "string" } ] }, { "code": "PX_REPORT_MAPPING_SOURCE_NOT_FOUND", "allowed": [ { "key": "sourceKey", "type": "string" } ] }, { "code": "PX_REPORT_MAPPING_TARGET_NOT_FOUND", "allowed": [ { "key": "targetKey", "type": "string" } ] }, { "code": "PX_REPORT_MAPPING_CONFLICT", "allowed": [ { "key": "mappingTarget", "type": "string" } ] }, { "code": "PX_REPORT_MAPPING_INCOMPATIBLE", "allowed": [ { "key": "sourceKind", "type": "string" }, { "key": "targetKind", "type": "string" } ] }, { "code": "PX_REPORT_TABLE_ROW_KEY_INVALID", "allowed": [ { "key": "reason", "type": "string" }, { "key": "rowKey", "type": "string" } ] }, { "code": "PX_REPORT_BATCH_REQUIRED", "allowed": [ { "key": "caseCount", "type": "integer" } ] }, { "code": "PX_OUTPUT_EXISTS", "allowed": [ { "key": "outputName", "type": "string" } ] }, { "code": "PX_AMBIGUOUS_TARGET", "allowed": [ { "key": "candidateCount", "type": "integer" } ] }, { "code": "PX_TARGET_NOT_FOUND", "allowed": [ { "key": "targetKey", "type": "string" } ] }, { "code": "PX_PACKAGE_NOT_INSTALLED", "allowed": [ { "key": "packageKey", "type": "string" } ] }, { "code": "PX_PACKAGE_VERSION_MISMATCH", "allowed": [ { "key": "expectedVersion", "type": "string" }, { "key": "installedVersion", "type": "string" } ] }, { "code": "PX_PACKAGE_CATALOG_UNAVAILABLE", "allowed": [ { "key": "packageKey", "type": "string" } ] }, { "code": "PX_PACKAGE_ACCESS_DENIED", "allowed": [ { "key": "packageKey", "type": "string" } ] }, { "code": "PX_FUNCTION_NOT_FOUND", "allowed": [ { "key": "functionKey", "type": "string" } ] }, { "code": "PX_FUNCTION_VERSION_MISMATCH", "allowed": [ { "key": "actualVersion", "type": "string" }, { "key": "expectedVersion", "type": "string" } ] }, { "code": "PX_COMPONENT_NOT_FOUND", "allowed": [ { "key": "componentKey", "type": "string" } ] }, { "code": "PX_COMPONENT_CONTRACT_MISMATCH", "allowed": [ { "key": "actualDigest", "type": "string" }, { "key": "expectedDigest", "type": "string" } ] }, { "code": "PX_COMPONENT_UNRESOLVED", "allowed": [ { "key": "componentKey", "type": "string" } ] }, { "code": "PX_PUBLIC_MODULE_INVALID", "allowed": [ { "key": "moduleName", "type": "string" }, { "key": "reason", "type": "string" }, { "key": "symbolName", "type": "string" } ] }, { "code": "PX_DEPENDENCY_RESOLUTION_FAILED", "allowed": [ { "key": "packageKey", "type": "string" }, { "key": "requestedRange", "type": "string" } ] }, { "code": "PX_REQUIRED_INPUT_UNBOUND", "allowed": [ { "key": "portKey", "type": "string" } ] }, { "code": "PX_PORT_NOT_FOUND", "allowed": [ { "key": "portKey", "type": "string" } ] }, { "code": "PX_PORT_DIRECTION_MISMATCH", "allowed": [ { "key": "actualDirection", "type": "string" }, { "key": "expectedDirection", "type": "string" } ] }, { "code": "PX_TYPE_INCOMPATIBLE", "allowed": [ { "key": "sourceKind", "type": "string" }, { "key": "targetKind", "type": "string" } ] }, { "code": "PX_UNIT_INCOMPATIBLE", "allowed": [ { "key": "sourceUnit", "type": "string" }, { "key": "targetUnit", "type": "string" } ] }, { "code": "PX_CARDINALITY_AMBIGUOUS", "allowed": [ { "key": "observedCardinality", "type": "string" } ] }, { "code": "PX_FORMULA_REFERENCE_NOT_FOUND", "allowed": [ { "key": "referenceKey", "type": "string" } ] }, { "code": "PX_FORMULA_OPERATOR_UNSUPPORTED", "allowed": [ { "key": "operator", "type": "string" } ] }, { "code": "PX_FORMULA_SHAPE_INCOMPATIBLE", "allowed": [ { "key": "actualShape", "type": "string" }, { "key": "expectedShape", "type": "string" } ] }, { "code": "PX_FORMULA_DOMAIN_ERROR", "allowed": [ { "key": "operator", "type": "string" } ] }, { "code": "PX_FORMULA_COMPLEXITY_LIMIT", "allowed": [ { "key": "actual", "type": "integer" }, { "key": "limit", "type": "integer" } ] }, { "code": "PX_SOLVER_CONFIGURATION_INVALID", "allowed": [ { "key": "reason", "type": "string" }, { "key": "settingKey", "type": "string" } ] }, { "code": "PX_SOLVER_DID_NOT_CONVERGE", "allowed": [ { "key": "iterationLimit", "type": "integer" } ] }, { "code": "PX_FLOW_CYCLE", "allowed": [ { "key": "nodeCount", "type": "integer" } ] }, { "code": "PX_GROUP_INVALID", "allowed": [ { "key": "groupKey", "type": "string" }, { "key": "reason", "type": "string" } ] }, { "code": "PX_PLAN_EXPIRED", "allowed": [ { "key": "planRef", "type": "string" } ] }, { "code": "PX_PLAN_MISMATCH", "allowed": [ { "key": "actualPlanDigest", "type": "string" }, { "key": "expectedPlanDigest", "type": "string" } ] }, { "code": "PX_GENERATION_STALE", "allowed": [ { "key": "actualGeneration", "type": "integer" }, { "key": "expectedGeneration", "type": "integer" } ] }, { "code": "PX_MERGE_CONFLICT", "allowed": [ { "key": "conflictCount", "type": "integer" } ] }, { "code": "PX_SOURCE_EDIT_NOT_SAFE", "allowed": [ { "key": "reason", "type": "string" } ] }, { "code": "PX_TARGET_NOT_PORTABLE", "allowed": [ { "key": "targetKind", "type": "string" } ] }, { "code": "PX_PERMISSION_DENIED", "allowed": [ { "key": "requiredPermission", "type": "string" } ] }, { "code": "PX_CAPABILITY_DENIED", "allowed": [ { "key": "capability", "type": "string" } ] }, { "code": "PX_RESOURCE_LIMIT", "allowed": [ { "key": "actual", "type": "string" }, { "key": "limit", "type": "string" }, { "key": "resource", "type": "string" } ] }, { "code": "PX_FUNCTION_FAILED", "allowed": [ { "key": "functionKey", "type": "string" } ] }, { "code": "PX_COMPONENT_FAILED", "allowed": [ { "key": "componentKey", "type": "string" } ] }, { "code": "PX_RESULT_NOT_FOUND", "allowed": [ { "key": "resultKey", "type": "string" } ] }, { "code": "PX_RESULT_STALE", "allowed": [ { "key": "resultRevisionRef", "type": "string" }, { "key": "sourceRevisionRef", "type": "string" } ] }, { "code": "PX_EFFECT_INDETERMINATE", "allowed": [ { "key": "effectRef", "type": "string" } ] }, { "code": "PX_DOCUMENT_LEGACY_FORMAT", "allowed": [ { "key": "detectedFormat", "type": "string" } ] }, { "code": "PX_DOCUMENT_MALFORMED", "allowed": [] }, { "code": "PX_RUNTIME_UNREACHABLE", "allowed": [] }, { "code": "PX_RUNTIME_INCOMPATIBLE", "allowed": [ { "key": "actualVersion", "type": "string" }, { "key": "supportedVersion", "type": "string" } ] }, { "code": "PX_RUNTIME_DISCONNECTED", "allowed": [] }, { "code": "PX_BASE_REF_MISMATCH", "allowed": [ { "key": "actualHeadRef", "type": "string" }, { "key": "expectedBaseRef", "type": "string" } ] }, { "code": "PX_HEAD_ALREADY_EXISTS", "allowed": [ { "key": "actualGeneration", "type": "integer" } ] }, { "code": "PX_PLAN_NOT_FOUND", "allowed": [ { "key": "planRef", "type": "string" } ] }, { "code": "PX_FUNCTION_USAGE_STALE", "allowed": [] }, { "code": "PX_FUNCTION_BASE_TARGET_MISMATCH", "allowed": [ { "key": "baseTargetDigest", "type": "string" }, { "key": "changeTargetDigest", "type": "string" } ] }, { "code": "PX_FUNCTION_DRAFT_INVALID", "allowed": [ { "key": "reason", "type": "string" } ] }, { "code": "PX_REQUEST_SHAPE_INVALID", "allowed": [ { "key": "member", "type": "string" }, { "key": "reason", "type": "string" } ] }, { "code": "PX_SOURCE_UNREADABLE", "allowed": [ { "key": "reason", "type": "string" } ] }, { "code": "PX_RUN_STATE_CONFLICT", "allowed": [ { "key": "reason", "type": "string" } ] }, { "code": "PX_SUBFLOW_DEPENDENCY_NOT_INSTALLED", "allowed": [ { "key": "flowKey", "type": "string" } ] }, { "code": "PX_EXECUTION_INFRASTRUCTURE_FAILED", "allowed": [ { "key": "reason", "type": "string" }, { "key": "stage", "type": "string" } ] } ], "corePrefix": "PX_", "packageNamespacedCodesAllowed": true, "codeRegistry": [ { "code": "PX_SCHEMA_UNSUPPORTED_VERSION", "suggestedAction": "OPEN_READ_ONLY" }, { "code": "PX_SCHEMA_UNKNOWN_FIELD", "suggestedAction": "REMOVE_UNKNOWN_FIELD" }, { "code": "PX_KEY_INVALID", "suggestedAction": "RENAME_KEY" }, { "code": "PX_KEY_DUPLICATE", "suggestedAction": "RENAME_KEY" }, { "code": "PX_REPORT_CONNECTION_NOT_FOUND", "suggestedAction": "SELECT_REPORT_CONNECTION" }, { "code": "PX_REPORT_FLOW_REVISION_NOT_FOUND", "suggestedAction": "CHOOSE_FLOW_REVISION" }, { "code": "PX_REPORT_MAPPING_SOURCE_NOT_FOUND", "suggestedAction": "SELECT_REPORT_SOURCE" }, { "code": "PX_REPORT_MAPPING_TARGET_NOT_FOUND", "suggestedAction": "SELECT_REPORT_DESTINATION" }, { "code": "PX_REPORT_MAPPING_CONFLICT", "suggestedAction": "REVIEW_REPORT_MAPPING" }, { "code": "PX_REPORT_MAPPING_INCOMPATIBLE", "suggestedAction": "SELECT_COMPATIBLE_PORT" }, { "code": "PX_REPORT_TABLE_ROW_KEY_INVALID", "suggestedAction": "SELECT_ROW_KEY" }, { "code": "PX_REPORT_BATCH_REQUIRED", "suggestedAction": "CREATE_BATCH_RUN" }, { "code": "PX_OUTPUT_EXISTS", "suggestedAction": "CHOOSE_OUTPUT" }, { "code": "PX_AMBIGUOUS_TARGET", "suggestedAction": "SELECT_TARGET" }, { "code": "PX_TARGET_NOT_FOUND", "suggestedAction": "SELECT_EXACT_TARGET" }, { "code": "PX_PACKAGE_NOT_INSTALLED", "suggestedAction": "INSTALL_PACKAGE" }, { "code": "PX_PACKAGE_VERSION_MISMATCH", "suggestedAction": "INSTALL_PACKAGE_VERSION" }, { "code": "PX_PACKAGE_CATALOG_UNAVAILABLE", "suggestedAction": "RETRY_PACKAGE_CATALOG" }, { "code": "PX_PACKAGE_ACCESS_DENIED", "suggestedAction": "REQUEST_PACKAGE_ACCESS" }, { "code": "PX_FUNCTION_NOT_FOUND", "suggestedAction": "INSTALL_FUNCTION" }, { "code": "PX_FUNCTION_VERSION_MISMATCH", "suggestedAction": "REVIEW_FUNCTION_UPDATE" }, { "code": "PX_COMPONENT_NOT_FOUND", "suggestedAction": "SELECT_COMPONENT" }, { "code": "PX_COMPONENT_CONTRACT_MISMATCH", "suggestedAction": "REVIEW_COMPONENT_UPDATE" }, { "code": "PX_COMPONENT_UNRESOLVED", "suggestedAction": "RESOLVE_COMPONENT" }, { "code": "PX_PUBLIC_MODULE_INVALID", "suggestedAction": "FIX_PUBLIC_API" }, { "code": "PX_DEPENDENCY_RESOLUTION_FAILED", "suggestedAction": "SELECT_COMPATIBLE_VERSION" }, { "code": "PX_REQUIRED_INPUT_UNBOUND", "suggestedAction": "CONNECT_INPUT" }, { "code": "PX_PORT_NOT_FOUND", "suggestedAction": "SELECT_COMPATIBLE_PORT" }, { "code": "PX_PORT_DIRECTION_MISMATCH", "suggestedAction": "SELECT_COMPATIBLE_PORT" }, { "code": "PX_TYPE_INCOMPATIBLE", "suggestedAction": "SELECT_COMPATIBLE_PORT" }, { "code": "PX_UNIT_INCOMPATIBLE", "suggestedAction": "SELECT_COMPATIBLE_PORT" }, { "code": "PX_CARDINALITY_AMBIGUOUS", "suggestedAction": "FIX_RUN_REQUEST_SHAPE" }, { "code": "PX_FORMULA_REFERENCE_NOT_FOUND", "suggestedAction": "SELECT_FORMULA_REFERENCE" }, { "code": "PX_FORMULA_OPERATOR_UNSUPPORTED", "suggestedAction": "REWRITE_FORMULA" }, { "code": "PX_FORMULA_SHAPE_INCOMPATIBLE", "suggestedAction": "FIX_FORMULA_SHAPE" }, { "code": "PX_FORMULA_DOMAIN_ERROR", "suggestedAction": "FIX_FORMULA_DOMAIN" }, { "code": "PX_FORMULA_COMPLEXITY_LIMIT", "suggestedAction": "SIMPLIFY_FORMULA" }, { "code": "PX_SOLVER_CONFIGURATION_INVALID", "suggestedAction": "REVIEW_SOLVER_SETTINGS" }, { "code": "PX_SOLVER_DID_NOT_CONVERGE", "suggestedAction": "REVIEW_CONVERGENCE" }, { "code": "PX_FLOW_CYCLE", "suggestedAction": "REMOVE_CYCLE" }, { "code": "PX_GROUP_INVALID", "suggestedAction": "FIX_GROUP" }, { "code": "PX_PLAN_EXPIRED", "suggestedAction": "REFRESH_AND_REPLAN" }, { "code": "PX_PLAN_MISMATCH", "suggestedAction": "REFRESH_AND_REPLAN" }, { "code": "PX_GENERATION_STALE", "suggestedAction": "REFRESH_AND_REPLAN" }, { "code": "PX_MERGE_CONFLICT", "suggestedAction": "REVIEW_CONFLICTS" }, { "code": "PX_SOURCE_EDIT_NOT_SAFE", "suggestedAction": "OPEN_SOURCE_OR_CREATE_NATIVE_COPY" }, { "code": "PX_TARGET_NOT_PORTABLE", "suggestedAction": "ATTACH_DEPENDENCY" }, { "code": "PX_PERMISSION_DENIED", "suggestedAction": "REQUEST_ACCESS" }, { "code": "PX_CAPABILITY_DENIED", "suggestedAction": "REVIEW_CAPABILITY" }, { "code": "PX_RESOURCE_LIMIT", "suggestedAction": "REDUCE_WORKLOAD" }, { "code": "PX_FUNCTION_FAILED", "suggestedAction": "OPEN_DIAGNOSTIC" }, { "code": "PX_COMPONENT_FAILED", "suggestedAction": "OPEN_DIAGNOSTIC" }, { "code": "PX_RESULT_NOT_FOUND", "suggestedAction": "SELECT_RESULT" }, { "code": "PX_RESULT_STALE", "suggestedAction": "RUN_AGAIN" }, { "code": "PX_EFFECT_INDETERMINATE", "suggestedAction": "RECONCILE_EFFECT" }, { "code": "PX_DOCUMENT_LEGACY_FORMAT", "suggestedAction": "OPEN_READ_ONLY" }, { "code": "PX_DOCUMENT_MALFORMED", "suggestedAction": "CHOOSE_ANOTHER_FILE" }, { "code": "PX_RUNTIME_UNREACHABLE", "suggestedAction": "START_RUNTIME" }, { "code": "PX_RUNTIME_INCOMPATIBLE", "suggestedAction": "UPDATE_APPLICATION" }, { "code": "PX_RUNTIME_DISCONNECTED", "suggestedAction": "RUN_AGAIN" }, { "code": "PX_BASE_REF_MISMATCH", "suggestedAction": "REFRESH_AND_REPLAN" }, { "code": "PX_HEAD_ALREADY_EXISTS", "suggestedAction": "REFRESH_AND_REPLAN" }, { "code": "PX_PLAN_NOT_FOUND", "suggestedAction": "REFRESH_AND_REPLAN" }, { "code": "PX_FUNCTION_USAGE_STALE", "suggestedAction": "REFRESH_AND_REPLAN" }, { "code": "PX_FUNCTION_BASE_TARGET_MISMATCH", "suggestedAction": "REFRESH_AND_REPLAN" }, { "code": "PX_FUNCTION_DRAFT_INVALID", "suggestedAction": "REVIEW_FUNCTION_UPDATE" }, { "code": "PX_REQUEST_SHAPE_INVALID", "suggestedAction": "FIX_RUN_REQUEST_SHAPE" }, { "code": "PX_SOURCE_UNREADABLE", "suggestedAction": "CHOOSE_ANOTHER_FILE" }, { "code": "PX_RUN_STATE_CONFLICT", "suggestedAction": "REFRESH_AND_REPLAN" }, { "code": "PX_SUBFLOW_DEPENDENCY_NOT_INSTALLED", "suggestedAction": "INSTALL_PACKAGE" }, { "code": "PX_EXECUTION_INFRASTRUCTURE_FAILED", "suggestedAction": "OPEN_DIAGNOSTIC" } ] }, "domainCodeOwners": [ { "specPath": "Report_Doc/docs/specification/organization-access-and-policy.md", "decisionRecord": "RFC-006" }, { "specPath": "Report_Doc/docs/specification/report-output-and-external-delivery.md", "decisionRecord": "RFC-008" }, { "specPath": "Report_Doc/docs/integrations/mcp-and-llm.md", "decisionRecord": "RFC-010" }, { "specPath": "Report_Doc/docs/specification/publication-and-embed-delivery.md", "decisionRecord": "RFC-011" } ], "surfaceMapping": [ { "surface": "Rust/Native", "representation": "`Diagnostic[]`" }, { "surface": "Python SDK", "representation": "`PxValidationError(diagnostics)`; expected target 오류는 typed result diagnostic" }, { "surface": "HTTP", "representation": "business outcome: `application/json` ResponseEnvelope + schema-valid `diagnostics`; protocol failure: RFC 9457 `application/problem+json` with no `diagnostics`" }, { "surface": "MCP", "representation": "business outcome: `isError: false` + schema-valid `structuredContent.diagnostics`; router failure: JSON-RPC error" }, { "surface": "Studio/Report", "representation": "같은 code를 지역화하고 suggested action 버튼 제공" } ], "forbiddenPublicDiagnosticContent": [ "stack-trace", "host-path", "secret", "internal-uuid-mapping", "other-tenant-candidate" ], "releaseGate": { "name": "cross-binding-type-diagnostic-parity", "correctnessOracle": "minimal-stdlib-python-contract-reimplementation", "independentFrom": "rust-core-and-bindings" }, "fixtures": { "casesPath": "Report_Doc/docs/public/contracts/fixtures/type-diagnostic.v1.cases.json", "unitsPath": "Report_Doc/docs/public/contracts/fixtures/type-diagnostic.v1.units.json", "shape": "closed" } }