Directional compatibility evidence

MLflow 3.15.2 native → GenAI-transformed OTLP

The documented flag maps selected MLflow model, usage, tool, name, and kind semantics into gen_ai.* while stripping most mlflow.* attributes; the transformation is useful but not lossless.

MLflow Tracing native OTLP representationmlflow-tracing 3.15.2 · MLflow v3.15.2 commit ca15da96555ef1ef80a61393bf8559ffe5c2e8df

MLflow GenAI-semconv transformed OTLP representationmlflow-tracing 3.15.2 · MLflow v3.15.2 transformer; not asserted as conformance to the unreleased current OTel GenAI snapshot

Source transport: OTLP 1.11.0 HTTP/protobuf
Destination transport: OTLP 1.11.0 HTTP/protobuf
Source maturity: Current stable vendor implementation
Evaluation protocol: tracevity-compatibility-v0.2

Read the evidence layers separately

Documentation describes intended semantics. Tracevity interpretation binds those meanings directionally. Tracevity-tested evidence reports only what the named local, synthetic fixture protocol produced. None of those layers proves resulting external state.

Four answers

What this mapping preserves—and what it cannot carry alone

What survives?

Parent/subagent relationship

What is degraded or lost?

Model identifier
Token usage
Tool arguments
Tool result
Native export

What still requires external evidence?

External effect state

How do we know?

4 bounded primary-source records, 2 synthetic fixtures, and 1 linked reproducible evaluation run support the separate evidence layers below.

Semantic bindings

Every result stays attached to a location and evidence layer.

“External evidence required” means trace-format preservation cannot establish the fact. Destination state, identity, authorization, or another independently controlled source remains necessary.

Directional semantic assertions for MLflow 3.15.2 native → GenAI-transformed OTLP
Capability	Concrete location	Result	Tracevity interpretation	Evidence layers	Limitations
Model identifierModels	mlflow.llm.model -> gen_ai.request.model	Preserved with normalization	The model value survives under a normalized GenAI attribute.	DOCUMENTEDThe pinned primary source documents the named representation or transformation. TRACEVITY INTERPRETEDThe model value survives under a normalized GenAI attribute. TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run. Exact assertion proof v0.3 assertion-specific predicate `PREDICATE_MATCHED` means this bounded assertion-specific predicate plan matched the admitted synthetic inputs. It does not establish capability completeness, whole-system conformance, or certification. Proof status HISTORICAL_ASSERTION_PROOF Evaluator 0.3.0 Plan v0.3.0 · ALL_CLAUSES_TRUE · 1 clause(s) Observed outcome `PREDICATE_MATCHED` Predicate plan SHA-256 `76a53bed50edf2829a8e3104e12b141dc1b80a58381bf742f35f5165c3b9c371` Input set SHA-256 `01cd6d96cb4e0c14c1d5d0247ee8ec16081cf6b05a1fd94f5c6b6ee7b08c298c` Predicate result SHA-256 `aa7502f1d8827da9222cb66799170be5f4339fe1d2b648d9dfe17c55450b409b` Observed clauses model_identifier_preservedCROSS_FIXTURE_ATTRIBUTE_EQUAL · matched · 2 observed match(es) · 2 value digest(s) Show value digests (2) `34f54fb2295cd243e91a72b9a86f4aa7ecc045918832d65d663c24e92044b486` `34f54fb2295cd243e91a72b9a86f4aa7ecc045918832d65d663c24e92044b486` Admitted predicate inputs SOURCE · mlflow-native-correlated Normalized `9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e` Historical result `ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84` DESTINATION · mlflow-genai-correlated Normalized `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical result `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc` Historical v0.2 passed-check receipt This separate release receipt records the admitted run, fixture, checks, and artifact digests. The v0.3 predicate execution does not rewrite or broaden it. Run eval-mlflow-genai-transform-3_15_2 Fixture mlflow-genai-correlated Tested result PASS Passed checks model_present, genai_attributes Observed locator $.spans[*].attributes['gen_ai.request.model'] Extractor JSONPATH_EQUALITY Historical normalized SHA-256 `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical check-result SHA-256 `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc`	This does not establish immutable provider model versioning. Binding conditions and proof ceiling Presence CONDITIONAL Correlation Use OTLP trace_id and parent_span_id; use a semantic call identifier when the capability depends on a request/result join. Relationship A field is evidence only for the span or relationship on which it is recorded; sibling presence does not imply a join. Sampling Sampling provenance must be known before absence is treated as a negative. Dropped records Dropped-record counters or exporter drop risk reduce completeness. Truncation Content limits must be known; absent content may be filtered or truncated. Verification ceiling The exercised local representation can establish recorded trace structure only; authorization, exporter completeness, backend acceptance, and destination state require separate evidence.
Token usageModels	mlflow.chat.tokenUsage -> gen_ai.usage.input_tokens/output_tokens	Preserved with normalization	Input and output token counts survive the tested transformation.	DOCUMENTEDThe pinned primary source documents the named representation or transformation. TRACEVITY INTERPRETEDInput and output token counts survive the tested transformation. TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run. Exact assertion proof v0.3 assertion-specific predicate `PREDICATE_MATCHED` means this bounded assertion-specific predicate plan matched the admitted synthetic inputs. It does not establish capability completeness, whole-system conformance, or certification. Proof status HISTORICAL_ASSERTION_PROOF Evaluator 0.3.0 Plan v0.3.0 · ALL_CLAUSES_TRUE · 1 clause(s) Observed outcome `PREDICATE_MATCHED` Predicate plan SHA-256 `d6a6d247dc53e388df325b19f65b858cc2ac936c4f95b97b0b8c684bdf192319` Input set SHA-256 `01cd6d96cb4e0c14c1d5d0247ee8ec16081cf6b05a1fd94f5c6b6ee7b08c298c` Predicate result SHA-256 `20de662d7b2a8e01ed3868a90404106b96ae40995caee3011c90a12074f77fc3` Observed clauses token_usage_preservedCROSS_FIXTURE_TOKEN_USAGE_EQUAL · matched · 3 observed match(es) · 2 value digest(s) Show value digests (2) `9845d47a60145c9367418fb2ebfa0c3fdead6c1da9b7f04ca3e34db18d544903` `9845d47a60145c9367418fb2ebfa0c3fdead6c1da9b7f04ca3e34db18d544903` Admitted predicate inputs SOURCE · mlflow-native-correlated Normalized `9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e` Historical result `ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84` DESTINATION · mlflow-genai-correlated Normalized `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical result `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc` Historical v0.2 passed-check receipt This separate release receipt records the admitted run, fixture, checks, and artifact digests. The v0.3 predicate execution does not rewrite or broaden it. Run eval-mlflow-genai-transform-3_15_2 Fixture mlflow-genai-correlated Tested result PASS Passed checks model_present, genai_attributes Observed locator $.spans[*].attributes['gen_ai.usage.input_tokens\|output_tokens'] Extractor JSONPATH_EQUALITY Historical normalized SHA-256 `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical check-result SHA-256 `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc`	Other usage detail may not map. Binding conditions and proof ceiling Presence CONDITIONAL Correlation Use OTLP trace_id and parent_span_id; use a semantic call identifier when the capability depends on a request/result join. Relationship A field is evidence only for the span or relationship on which it is recorded; sibling presence does not imply a join. Sampling Sampling provenance must be known before absence is treated as a negative. Dropped records Dropped-record counters or exporter drop risk reduce completeness. Truncation Content limits must be known; absent content may be filtered or truncated. Verification ceiling The exercised local representation can establish recorded trace structure only; authorization, exporter completeness, backend acceptance, and destination state require separate evidence.
Tool argumentsTools	mlflow.spanInputs -> gen_ai.tool.call.arguments	Preserved with normalization	The synthetic tool input survives as serialized GenAI tool-call arguments.	DOCUMENTEDThe pinned primary source documents the named representation or transformation. TRACEVITY INTERPRETEDThe synthetic tool input survives as serialized GenAI tool-call arguments. TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run. Exact assertion proof v0.3 assertion-specific predicate `PREDICATE_MATCHED` means this bounded assertion-specific predicate plan matched the admitted synthetic inputs. It does not establish capability completeness, whole-system conformance, or certification. Proof status HISTORICAL_ASSERTION_PROOF Evaluator 0.3.0 Plan v0.3.0 · ALL_CLAUSES_TRUE · 1 clause(s) Observed outcome `PREDICATE_MATCHED` Predicate plan SHA-256 `f1f8e22dd0789253b1a836f917002c918635e91bd3d2ef8adab94a71bd4d9f02` Input set SHA-256 `01cd6d96cb4e0c14c1d5d0247ee8ec16081cf6b05a1fd94f5c6b6ee7b08c298c` Predicate result SHA-256 `d8584676a900ccf65723dd12030d934a187848f3875a6f0ceff835394c6c2070` Observed clauses tool_arguments_preservedCROSS_FIXTURE_ATTRIBUTE_EQUAL · matched · 2 observed match(es) · 2 value digest(s) Show value digests (2) `189c3c2cd4ab8f87f05e3ac3fdc90b6eed494d415af28e465563abb72fad5999` `189c3c2cd4ab8f87f05e3ac3fdc90b6eed494d415af28e465563abb72fad5999` Admitted predicate inputs SOURCE · mlflow-native-correlated Normalized `9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e` Historical result `ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84` DESTINATION · mlflow-genai-correlated Normalized `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical result `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc` Historical v0.2 passed-check receipt This separate release receipt records the admitted run, fixture, checks, and artifact digests. The v0.3 predicate execution does not rewrite or broaden it. Run eval-mlflow-genai-transform-3_15_2 Fixture mlflow-genai-correlated Tested result PASS Passed checks tool_present, genai_attributes Observed locator $.spans[*].attributes['gen_ai.tool.call.arguments'] Extractor JSONPATH_EQUALITY Historical normalized SHA-256 `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical check-result SHA-256 `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc`	Serialization changes shape and can expose sensitive content. Binding conditions and proof ceiling Presence CONDITIONAL Correlation Use OTLP trace_id and parent_span_id; use a semantic call identifier when the capability depends on a request/result join. Relationship A field is evidence only for the span or relationship on which it is recorded; sibling presence does not imply a join. Sampling Sampling provenance must be known before absence is treated as a negative. Dropped records Dropped-record counters or exporter drop risk reduce completeness. Truncation Content limits must be known; absent content may be filtered or truncated. Verification ceiling The exercised local representation can establish recorded trace structure only; authorization, exporter completeness, backend acceptance, and destination state require separate evidence.
Tool resultTools	mlflow.spanOutputs -> gen_ai.tool.call.result	Preserved with normalization	The synthetic tool result survives under the GenAI field.	DOCUMENTEDThe pinned primary source documents the named representation or transformation. TRACEVITY INTERPRETEDThe synthetic tool result survives under the GenAI field. TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run. Exact assertion proof v0.3 assertion-specific predicate `PREDICATE_MATCHED` means this bounded assertion-specific predicate plan matched the admitted synthetic inputs. It does not establish capability completeness, whole-system conformance, or certification. Proof status HISTORICAL_ASSERTION_PROOF Evaluator 0.3.0 Plan v0.3.0 · ALL_CLAUSES_TRUE · 1 clause(s) Observed outcome `PREDICATE_MATCHED` Predicate plan SHA-256 `fec6c8ab5335b1c46b923d2d28d7fe8f605bf5b3126f37c8ed143a2b96ec7d12` Input set SHA-256 `01cd6d96cb4e0c14c1d5d0247ee8ec16081cf6b05a1fd94f5c6b6ee7b08c298c` Predicate result SHA-256 `e92bd019afc4d984eb0b9826628ad300e56bdba72be68f993f65c43cd8419f1b` Observed clauses tool_result_preservedCROSS_FIXTURE_ATTRIBUTE_EQUAL · matched · 2 observed match(es) · 2 value digest(s) Show value digests (2) `a29ee2b15c494311c52521766e44af56a3ad2248e7a8ab465e5206463c13d288` `a29ee2b15c494311c52521766e44af56a3ad2248e7a8ab465e5206463c13d288` Admitted predicate inputs SOURCE · mlflow-native-correlated Normalized `9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e` Historical result `ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84` DESTINATION · mlflow-genai-correlated Normalized `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical result `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc` Historical v0.2 passed-check receipt This separate release receipt records the admitted run, fixture, checks, and artifact digests. The v0.3 predicate execution does not rewrite or broaden it. Run eval-mlflow-genai-transform-3_15_2 Fixture mlflow-genai-correlated Tested result PASS Passed checks tool_present, genai_attributes Observed locator $.spans[*].attributes['gen_ai.tool.call.result'] Extractor JSONPATH_EQUALITY Historical normalized SHA-256 `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical check-result SHA-256 `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc`	It remains tool-reported, not externally verified. Binding conditions and proof ceiling Presence CONDITIONAL Correlation Use OTLP trace_id and parent_span_id; use a semantic call identifier when the capability depends on a request/result join. Relationship A field is evidence only for the span or relationship on which it is recorded; sibling presence does not imply a join. Sampling Sampling provenance must be known before absence is treated as a negative. Dropped records Dropped-record counters or exporter drop risk reduce completeness. Truncation Content limits must be known; absent content may be filtered or truncated. Verification ceiling The exercised local representation can establish recorded trace structure only; authorization, exporter completeness, backend acceptance, and destination state require separate evidence.
Parent/subagent relationshipIdentity	OTLP trace_id + parent_span_id	Preserved	Span identity and parentage survive the rebuild in the exercised trace.	DOCUMENTEDThe pinned primary source documents the named representation or transformation. TRACEVITY INTERPRETEDSpan identity and parentage survive the rebuild in the exercised trace. TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run. Exact assertion proof v0.3 assertion-specific predicate `PREDICATE_MATCHED` means this bounded assertion-specific predicate plan matched the admitted synthetic inputs. It does not establish capability completeness, whole-system conformance, or certification. Proof status HISTORICAL_ASSERTION_PROOF Evaluator 0.3.0 Plan v0.3.0 · ALL_CLAUSES_TRUE · 1 clause(s) Observed outcome `PREDICATE_MATCHED` Predicate plan SHA-256 `900b3a90ed1aacf6c0a61050c761efbbff5243e456816fe17061e7e7a462d24d` Input set SHA-256 `01cd6d96cb4e0c14c1d5d0247ee8ec16081cf6b05a1fd94f5c6b6ee7b08c298c` Predicate result SHA-256 `e76448f4735fd086ece722e51dd3b83289f2358d68a4a42695134ce3aad20976` Observed clauses parent_graph_preservedCROSS_FIXTURE_PARENT_GRAPH_EQUAL · matched · 2 observed match(es) · 2 value digest(s) Show value digests (2) `28e6b4c4bd14a4bfeba7abaca1736171a7472061fcf9c2ae6dc436159e701c84` `28e6b4c4bd14a4bfeba7abaca1736171a7472061fcf9c2ae6dc436159e701c84` Admitted predicate inputs SOURCE · mlflow-native-correlated Normalized `9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e` Historical result `ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84` DESTINATION · mlflow-genai-correlated Normalized `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical result `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc` Historical v0.2 passed-check receipt This separate release receipt records the admitted run, fixture, checks, and artifact digests. The v0.3 predicate execution does not rewrite or broaden it. Run eval-mlflow-genai-transform-3_15_2 Fixture mlflow-genai-correlated Tested result PASS Passed checks parent_correlation, genai_attributes Observed locator OTLP span trace_id and parent_span_id after transformation Extractor OTLP_PARENT_RELATIONSHIP Historical normalized SHA-256 `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical check-result SHA-256 `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc`	Span hierarchy does not establish principal delegation. Binding conditions and proof ceiling Presence CONDITIONAL Correlation Use OTLP trace_id and parent_span_id; use a semantic call identifier when the capability depends on a request/result join. Relationship A field is evidence only for the span or relationship on which it is recorded; sibling presence does not imply a join. Sampling Sampling provenance must be known before absence is treated as a negative. Dropped records Dropped-record counters or exporter drop risk reduce completeness. Truncation Content limits must be known; absent content may be filtered or truncated. Verification ceiling The exercised local representation can establish recorded trace structure only; authorization, exporter completeness, backend acceptance, and destination state require separate evidence.
Native exportPortability	Most mlflow.* attributes removed	Dropped	The transformed output drops most MLflow-native attributes while retaining selected mapped semantics.	DOCUMENTEDThe pinned primary source documents the named representation or transformation. TRACEVITY INTERPRETEDThe transformed output drops most MLflow-native attributes while retaining selected mapped semantics. TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run. Exact assertion proof v0.3 assertion-specific predicate `PREDICATE_MATCHED` means this bounded assertion-specific predicate plan matched the admitted synthetic inputs. It does not establish capability completeness, whole-system conformance, or certification. Proof status HISTORICAL_ASSERTION_PROOF Evaluator 0.3.0 Plan v0.3.0 · ALL_CLAUSES_TRUE · 3 clause(s) Observed outcome `PREDICATE_MATCHED` Predicate plan SHA-256 `ac2e31a743f2ccacc55cfde2e61ff7ec8f1bacea63b1f046e4962aa139977173` Input set SHA-256 `01cd6d96cb4e0c14c1d5d0247ee8ec16081cf6b05a1fd94f5c6b6ee7b08c298c` Predicate result SHA-256 `0c910c23ee689226ce4089fd394a302cac076033136db7e3a7679c3673df9c5b` Observed clauses source_mlflow_prefix_presentATTRIBUTE_PREFIX_PRESENT · matched · 16 observed match(es) · 16 value digest(s) Show value digests (16) `9a4b270633ea023f7cd0e713cf28bad26cc3851feb612b63429ea183d79ca121` `0beab2ac7ff55fcb9d961161762dbe4e97a3c0e2570c5aae2920a47e9d868564` `dd1379a56784b7323b2bb02173993824ec6093de6e5e5204722ab3a6f8bbda75` `dfc974cead330d6dd594c410d45cb42adae6d0033ce1abacde5cb6b1404eed92` `514778771d9e936480fecd5c41dea1f1fca1c2397d704532af25cae1369f61ff` `9cbe0a5db76bf897876631b4b5e61f528e29e73a806a9ff409bcb20573121f5c` `ce3f6b19b9fea996c0a6b9f845716b347694a5ec26db1f0d9c23bf2575670030` `9a4b270633ea023f7cd0e713cf28bad26cc3851feb612b63429ea183d79ca121` `3e51115e607cda3cdceeb66dd946d3dc769ca086774c228daa4ac96964811ac7` `0beab2ac7ff55fcb9d961161762dbe4e97a3c0e2570c5aae2920a47e9d868564` `dd1379a56784b7323b2bb02173993824ec6093de6e5e5204722ab3a6f8bbda75` `ce3f6b19b9fea996c0a6b9f845716b347694a5ec26db1f0d9c23bf2575670030` `9a4b270633ea023f7cd0e713cf28bad26cc3851feb612b63429ea183d79ca121` `3e51115e607cda3cdceeb66dd946d3dc769ca086774c228daa4ac96964811ac7` `0beab2ac7ff55fcb9d961161762dbe4e97a3c0e2570c5aae2920a47e9d868564` `dd1379a56784b7323b2bb02173993824ec6093de6e5e5204722ab3a6f8bbda75` destination_genai_prefix_presentATTRIBUTE_PREFIX_PRESENT · matched · 11 observed match(es) · 11 value digest(s) Show value digests (11) `7b77c48496c990e2b36fe3212c7ecf562aceb6442184e700877cdc9ddbf2ce44` `2f441fad55d0865e89767c1b9ca978a5a50b9a2c4e698ffd6fe50b0718608da2` `7b77c48496c990e2b36fe3212c7ecf562aceb6442184e700877cdc9ddbf2ce44` `d0266dba3d7b122d7263ade2b17e3275a5af35ef0ab2fe89cd8452eb01241a72` `e4c007e5919b81978dfe53b6cf234f72cb0b61445613e0133439ed6ef879b0fe` `11137590c4123a56820d4d933e7d0aa0b59aa75b0f6e41e66c600b95d63d8bf2` `87925e8b6f2192df39008ff476fc798f35961e48dbf71d75fa69a1eba0fba7fa` `9f0caa0bbf33727c5fa2801d983983453234013885b3016fc98cf1b8b364eebd` `7b77c48496c990e2b36fe3212c7ecf562aceb6442184e700877cdc9ddbf2ce44` `1f22c9dcb82d814f8c6c9a82a9d6ecbb4ea6d048ba800abe29a84786ec012682` `f0a6856a55cb52363a853c435a192e9ce5125cdaf036d737ce25f1d100ff7a95` destination_mlflow_prefix_absentATTRIBUTE_KEYS_ABSENT · matched · 0 observed match(es) · 0 value digest(s) Admitted predicate inputs SOURCE · mlflow-native-correlated Normalized `9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e` Historical result `ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84` DESTINATION · mlflow-genai-correlated Normalized `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical result `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc` Historical v0.2 passed-check receipt This separate release receipt records the admitted run, fixture, checks, and artifact digests. The v0.3 predicate execution does not rewrite or broaden it. Run eval-mlflow-genai-transform-3_15_2 Fixture mlflow-genai-correlated Tested result PASS Passed checks genai_attributes, mlflow_stripped Observed locator $.spans[*].attributes Extractor JSONPATH_ABSENCE Historical normalized SHA-256 `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical check-result SHA-256 `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc`	Translation can fail open and return the original span; consumers must detect the actual representation. Binding conditions and proof ceiling Presence CONDITIONAL Correlation Use OTLP trace_id and parent_span_id; use a semantic call identifier when the capability depends on a request/result join. Relationship A field is evidence only for the span or relationship on which it is recorded; sibling presence does not imply a join. Sampling Sampling provenance must be known before absence is treated as a negative. Dropped records Dropped-record counters or exporter drop risk reduce completeness. Truncation Content limits must be known; absent content may be filtered or truncated. Verification ceiling The exercised local representation can establish recorded trace structure only; authorization, exporter completeness, backend acceptance, and destination state require separate evidence.
External effect stateEffects	No destination-state evidence	External evidence required	Neither native nor transformed capture establishes destination settlement.	DOCUMENTEDThe pinned primary source documents the named representation or transformation. TRACEVITY INTERPRETEDNeither native nor transformed capture establishes destination settlement. TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run. Exact assertion proof v0.3 assertion-specific predicate `PREDICATE_MATCHED` means this bounded assertion-specific predicate plan matched the admitted synthetic inputs. It does not establish capability completeness, whole-system conformance, or certification. Proof status HISTORICAL_ASSERTION_PROOF Evaluator 0.3.0 Plan v0.3.0 · ALL_CLAUSES_TRUE · 4 clause(s) Observed outcome `PREDICATE_MATCHED` Predicate plan SHA-256 `8b58ecb59795a5399078703287923778e5c649751184bb9bfababfc4b0d46c91` Input set SHA-256 `01cd6d96cb4e0c14c1d5d0247ee8ec16081cf6b05a1fd94f5c6b6ee7b08c298c` Predicate result SHA-256 `007e8a9834a8f281a8920a0daf0e58825754f1183ceca30074c93db48e3dcc32` Observed clauses source_tool_result_presentATTRIBUTE_EXISTS · matched · 1 observed match(es) · 1 value digest(s) Show value digests (1) `fc9ded68737a383a1d48dcbfdb23fdb47daba1cb76cccaf5ba9413c21c1079fe` destination_tool_result_presentATTRIBUTE_EXISTS · matched · 1 observed match(es) · 1 value digest(s) Show value digests (1) `fc9ded68737a383a1d48dcbfdb23fdb47daba1cb76cccaf5ba9413c21c1079fe` source_destination_state_absentATTRIBUTE_KEYS_ABSENT · matched · 0 observed match(es) · 0 value digest(s) destination_state_absentATTRIBUTE_KEYS_ABSENT · matched · 0 observed match(es) · 0 value digest(s) Admitted predicate inputs SOURCE · mlflow-native-correlated Normalized `9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e` Historical result `ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84` DESTINATION · mlflow-genai-correlated Normalized `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical result `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc` Historical v0.2 passed-check receipt This separate release receipt records the admitted run, fixture, checks, and artifact digests. The v0.3 predicate execution does not rewrite or broaden it. Run eval-mlflow-genai-transform-3_15_2 Fixture mlflow-genai-correlated Tested result PASS Passed checks tool_present, genai_attributes Observed locator $.spans[*].attributes destination-state fields Extractor JSONPATH_ABSENCE Historical normalized SHA-256 `c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946` Historical check-result SHA-256 `69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc`	External state or destination audit logs remain required. Binding conditions and proof ceiling Presence ABSENT Correlation Use OTLP trace_id and parent_span_id; use a semantic call identifier when the capability depends on a request/result join. Relationship A field is evidence only for the span or relationship on which it is recorded; sibling presence does not imply a join. Sampling Sampling provenance must be known before absence is treated as a negative. Dropped records Dropped-record counters or exporter drop risk reduce completeness. Truncation Content limits must be known; absent content may be filtered or truncated. Verification ceiling The exercised local representation can establish recorded trace structure only; authorization, exporter completeness, backend acceptance, and destination state require separate evidence.

Requirement results

Good enough remains a use-case question.

Each result is scoped to one assertion, one named reconstruction use case, and this exact directional mapping. It is not an aggregate verdict about either system.

Established
Basic debugging
Evidence item: Model identifier · Requirements v0.2
The model value survives under a normalized GenAI attribute.
Established
Basic debugging
Evidence item: Token usage · Requirements v0.2
Input and output token counts survive the tested transformation.
Established
Tool-action attribution
Evidence item: Tool arguments · Requirements v0.2
The synthetic tool input survives as serialized GenAI tool-call arguments.
Established
Tool-action attribution
Evidence item: Tool result · Requirements v0.2
The synthetic tool result survives under the GenAI field.
Partial
Multi-agent reconstruction
Evidence item: Parent/subagent relationship · Requirements v0.2
Span identity and parentage survive the rebuild in the exercised trace.
Partial
Cross-tool portability
Evidence item: Native export · Requirements v0.2
The transformed output drops most MLflow-native attributes while retaining selected mapped semantics.
External evidence required
External-effect verification
Evidence item: External effect state · Requirements v0.2
Neither native nor transformed capture establishes destination settlement.

Fixture artifacts

Synthetic inputs and normalized outputs with stable digests

These public artifacts contain bounded synthetic data generated through a provider-free local protocol. They are supplied for reproducibility and do not accept customer traces.

mlflow-native-3_15_2

MLflow 3.15.2 emits its native mlflow.* representation over OTLP.

basic_correlated_model_tool

Raw SHA-256: 2f31514eb9dd00ac7bb034f76ec0dace200ea69e026df39fcf55c0fed9d00e36Normalized SHA-256: 9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723eResult SHA-256: ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84

Generated August 29, 2026 · synthetic public fixture

Raw capture Normalized semantics Evaluation result

mlflow-genai-transform-3_15_2

The identical MLflow scenario is exported with the documented GenAI transformation enabled.

basic_correlated_model_tool

Raw SHA-256: c27c7c35d7109e241bde697b7719589ddb41ad4a061a14392c8a444f8af6279eNormalized SHA-256: c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946Result SHA-256: 69831fac94b0a5d6bab741b691ed09ba82f2961b7c9535e88e9584cfbf0ac8dc

Generated August 29, 2026 · synthetic public fixture

Raw capture Normalized semantics Evaluation result

Evaluation provenance

eval-mlflow-genai-transform-3_15_2

Evaluator 0.2.0 · protocol tracevity-compatibility-v0.2 · August 29, 2026

Result PASSED · reproducibility REPRODUCIBLE · provider network DISABLED · source versions mlflowTracing: 3.15.2; otlpSpecification: 1.11.0; openTelemetrySdk: 1.44.0

Recorded fixture digests

Raw mlflow-native-correlated: 2f31514eb9dd00ac7bb034f76ec0dace200ea69e026df39fcf55c0fed9d00e36
Raw mlflow-genai-correlated: c27c7c35d7109e241bde697b7719589ddb41ad4a061a14392c8a444f8af6279e
Normalized mlflow-native-correlated: 9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e
Normalized mlflow-genai-correlated: c270342c023a365d28c9851b9349d1fc3c6d3d23b8957d7c5eb302883ae63946

Compatibility evidence

Bounded observations and primary sources

OpenTelemetry Protocol 1.11.0OpenTelemetry · observed August 29, 2026
Successful protobuf decoding establishes a transport representation, not semantic equivalence, completeness, or backend acceptance. Protocol details and trace service
Open source ↗
MLflow 3.15.2 releaseMLflow · observed August 29, 2026
The result applies to the pinned implementation, not all MLflow versions. Release tag v3.15.2
Open source ↗
Export traces with GenAI semantic conventionsMLflow · observed August 29, 2026
The test compares native and transformed captures from an identical synthetic scenario. GenAI semantic-convention export flag and mapping table
Open source ↗
MLflow 3.15.2 GenAI semantic-convention translatorMLflow · observed August 29, 2026
The transformation preserves selected semantics with normalization but is intentionally not lossless and can fail open. translate_span_to_genai implementation
Open source ↗

Compare the mapping result with the evidence your use case requires.

Trace Reconstruction Requirements v0.2 adds capture-completeness requirements while the unchanged v0.1 baseline remains available. Apply this binding to a supported local artifact with the Inspector Alpha.

Download binding schema ↓ · Download assertion proofs ↓

Open Requirements Open Inspector guide