| Model identifierModels | span.attributes['mlflow.llm.model'] | Preserved | The exercised native model identifier survives OTLP serialization. | - DOCUMENTEDThe pinned primary source documents the named representation or transformation.
- TRACEVITY INTERPRETEDThe exercised native model identifier survives OTLP serialization.
- TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run.
Exact assertion proofv0.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
175f355154b579beafa628a85c4051f6d6e3a72ecbe4dfb1321eb4da4d1be6b5- Input set SHA-256
4c7a77e84383753765c55e5742951fba2d2d03f48946659bb2ea8f11b93e2a41- Predicate result SHA-256
b80dfb36c5882ef4bd2a995335b401f65b355832038d8929122a42a1b91806fa
Observed clauses - model_identifier_presentATTRIBUTE_EXISTS · matched · 1 observed match(es) · 1 value digest(s)
Show value digests (1)b15fb3bc5ea366f96b49487291382f31b264f58c6ca62759fc750a665b837a09
Admitted predicate inputs - OBSERVED · mlflow-native-correlated
- Normalized
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e Historical result ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
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-native-3_15_2
- Fixture
- mlflow-native-correlated
- Tested result
- PASS
- Passed checks
- model_present, native_attributes
- Observed locator
- $.spans[*].attributes['mlflow.llm.model']
- Extractor
- JSONPATH_EXISTENCE
- Historical normalized SHA-256
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e- Historical check-result SHA-256
ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
| A consumer must understand MLflow's vendor attribute. 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.
|
|---|
| Model requestModels | span.attributes['mlflow.spanInputs'] | Preserved | Synthetic request data is present in the native export. | - DOCUMENTEDThe pinned primary source documents the named representation or transformation.
- TRACEVITY INTERPRETEDSynthetic request data is present in the native export.
- TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run.
Exact assertion proofv0.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
4c908fcc3cf34d0c4c90a0fb17e526d291011219e132ebdc7c94cabaedce64b6- Input set SHA-256
4c7a77e84383753765c55e5742951fba2d2d03f48946659bb2ea8f11b93e2a41- Predicate result SHA-256
dda9a165f989dcaf27fc1ff70105a8d4b48bf626d9d7764daf5b76cba30810f3
Observed clauses - model_request_presentATTRIBUTE_EXISTS · matched · 1 observed match(es) · 1 value digest(s)
Show value digests (1)5630d52ccaf93706c55256088c711c5366551bb7f43093d43adb106338b486c9
Admitted predicate inputs - OBSERVED · mlflow-native-correlated
- Normalized
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e Historical result ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
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-native-3_15_2
- Fixture
- mlflow-native-correlated
- Tested result
- PASS
- Passed checks
- model_present, native_attributes
- Observed locator
- $.spans[*].attributes['mlflow.spanInputs'] on the CHAT_MODEL span
- Extractor
- JSONPATH_EXISTENCE
- Historical normalized SHA-256
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e- Historical check-result SHA-256
ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
| Rich inputs may contain sensitive data and are not proof of full context. 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 | span.attributes['mlflow.spanOutputs'] on TOOL span | Preserved | The tool-reported result survives as a native attribute. | - DOCUMENTEDThe pinned primary source documents the named representation or transformation.
- TRACEVITY INTERPRETEDThe tool-reported result survives as a native attribute.
- TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run.
Exact assertion proofv0.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
a2cd883f0378a1faf6b310a698c32697bd1992bab72d2d826249424ea6669c69- Input set SHA-256
4c7a77e84383753765c55e5742951fba2d2d03f48946659bb2ea8f11b93e2a41- Predicate result SHA-256
740ae4dd79624849967d882aa5b5ae0fabdaecec57af8773e80a20606210d68e
Observed clauses - tool_result_presentATTRIBUTE_EXISTS · matched · 1 observed match(es) · 1 value digest(s)
Show value digests (1)fc9ded68737a383a1d48dcbfdb23fdb47daba1cb76cccaf5ba9413c21c1079fe
Admitted predicate inputs - OBSERVED · mlflow-native-correlated
- Normalized
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e Historical result ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
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-native-3_15_2
- Fixture
- mlflow-native-correlated
- Tested result
- PASS
- Passed checks
- tool_present, native_attributes
- Observed locator
- $.spans[*].attributes['mlflow.spanOutputs'] on the TOOL span
- Extractor
- JSONPATH_EXISTENCE
- Historical normalized SHA-256
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e- Historical check-result SHA-256
ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
| Tool output is not destination-state evidence. 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 | trace_id + parent_span_id | Preserved | Parent/child span structure survives OTLP. | - DOCUMENTEDThe pinned primary source documents the named representation or transformation.
- TRACEVITY INTERPRETEDParent/child span structure survives OTLP.
- TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run.
Exact assertion proofv0.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
9a83cef46e73e7034f3cea7d0586fe2d7ca4b0fcd0e680cfc56c24fbf0788ca1- Input set SHA-256
4c7a77e84383753765c55e5742951fba2d2d03f48946659bb2ea8f11b93e2a41- Predicate result SHA-256
ab9969d2cd11755873030c70cfa321892a11c98c09221b85d011e5b4e4596169
Observed clauses - native_parent_graphPARENT_RELATIONSHIP · matched · 2 observed match(es) · 2 value digest(s)
Show value digests (2)2aabe78b159b177b2b040a9436270700596fa389530ad4d228a8e69c165821dec111db697255b90c8b24ddb21bfd9896a6fad0193e67dc13dfd8a3a1d9ab8cfc
Admitted predicate inputs - OBSERVED · mlflow-native-correlated
- Normalized
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e Historical result ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
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-native-3_15_2
- Fixture
- mlflow-native-correlated
- Tested result
- PASS
- Passed checks
- parent_correlation
- Observed locator
- OTLP span trace_id and parent_span_id
- Extractor
- OTLP_PARENT_RELATIONSHIP
- Historical normalized SHA-256
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e- Historical check-result SHA-256
ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
| The exercised hierarchy is trace structure, not delegated authority. 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.
|
|---|
| Semantic lossPortability | vendor mlflow.* attributes | Partial | The data is valid OTLP but requires MLflow-aware interpretation. | - DOCUMENTEDThe pinned primary source documents the named representation or transformation.
- TRACEVITY INTERPRETEDThe data is valid OTLP but requires MLflow-aware interpretation.
- TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run.
Exact assertion proofv0.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 · 2 clause(s)
- Observed outcome
PREDICATE_MATCHED- Predicate plan SHA-256
a0613af9375a8bf6130f4b0dc8dc0e768026e371460cdbb86191259e2ef38fd7- Input set SHA-256
4c7a77e84383753765c55e5742951fba2d2d03f48946659bb2ea8f11b93e2a41- Predicate result SHA-256
e8a9920de57c6fc96c25cbc44f0fb6f84bee108eaf908b9edb41728fb3be82dc
Observed clauses - mlflow_prefix_presentATTRIBUTE_PREFIX_PRESENT · matched · 16 observed match(es) · 16 value digest(s)
Show value digests (16)9a4b270633ea023f7cd0e713cf28bad26cc3851feb612b63429ea183d79ca1210beab2ac7ff55fcb9d961161762dbe4e97a3c0e2570c5aae2920a47e9d868564dd1379a56784b7323b2bb02173993824ec6093de6e5e5204722ab3a6f8bbda75dfc974cead330d6dd594c410d45cb42adae6d0033ce1abacde5cb6b1404eed92514778771d9e936480fecd5c41dea1f1fca1c2397d704532af25cae1369f61ff9cbe0a5db76bf897876631b4b5e61f528e29e73a806a9ff409bcb20573121f5cce3f6b19b9fea996c0a6b9f845716b347694a5ec26db1f0d9c23bf25756700309a4b270633ea023f7cd0e713cf28bad26cc3851feb612b63429ea183d79ca1213e51115e607cda3cdceeb66dd946d3dc769ca086774c228daa4ac96964811ac70beab2ac7ff55fcb9d961161762dbe4e97a3c0e2570c5aae2920a47e9d868564dd1379a56784b7323b2bb02173993824ec6093de6e5e5204722ab3a6f8bbda75ce3f6b19b9fea996c0a6b9f845716b347694a5ec26db1f0d9c23bf25756700309a4b270633ea023f7cd0e713cf28bad26cc3851feb612b63429ea183d79ca1213e51115e607cda3cdceeb66dd946d3dc769ca086774c228daa4ac96964811ac70beab2ac7ff55fcb9d961161762dbe4e97a3c0e2570c5aae2920a47e9d868564dd1379a56784b7323b2bb02173993824ec6093de6e5e5204722ab3a6f8bbda75
- genai_prefix_absentATTRIBUTE_KEYS_ABSENT · matched · 0 observed match(es) · 0 value digest(s)
Admitted predicate inputs - OBSERVED · mlflow-native-correlated
- Normalized
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e Historical result ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
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-native-3_15_2
- Fixture
- mlflow-native-correlated
- Tested result
- PASS
- Passed checks
- native_attributes, genai_absent
- Observed locator
- $.spans[*].attributes
- Extractor
- RESULT_CHECK
- Historical normalized SHA-256
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e- Historical check-result SHA-256
ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
| A generic OTLP consumer may store fields without understanding their semantics. 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 | The native tool output does not establish settlement. | - DOCUMENTEDThe pinned primary source documents the named representation or transformation.
- TRACEVITY INTERPRETEDThe native tool output does not establish settlement.
- TRACEVITY TESTEDTracevity exercised this bounded behavior locally with the linked synthetic fixture and evaluation run.
Exact assertion proofv0.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 · 2 clause(s)
- Observed outcome
PREDICATE_MATCHED- Predicate plan SHA-256
5e51143c53822027579afd6cd269c3c7baff66ee0473a990a16a4d4b02d21b4b- Input set SHA-256
4c7a77e84383753765c55e5742951fba2d2d03f48946659bb2ea8f11b93e2a41- Predicate result SHA-256
ebcfd1b15360f4bd15d89ed766449126ff0531dcc9361f5adb3645dfc9469d17
Observed clauses - native_tool_result_presentATTRIBUTE_EXISTS · matched · 1 observed match(es) · 1 value digest(s)
Show value digests (1)fc9ded68737a383a1d48dcbfdb23fdb47daba1cb76cccaf5ba9413c21c1079fe
- native_destination_state_absentATTRIBUTE_KEYS_ABSENT · matched · 0 observed match(es) · 0 value digest(s)
Admitted predicate inputs - OBSERVED · mlflow-native-correlated
- Normalized
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e Historical result ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
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-native-3_15_2
- Fixture
- mlflow-native-correlated
- Tested result
- PASS
- Passed checks
- tool_present, native_attributes
- Observed locator
- $.spans[*].attributes destination-state fields
- Extractor
- JSONPATH_ABSENCE
- Historical normalized SHA-256
9f1fab26ea34b337a8aa28930fe30f172f7d2fa3ccd89a8d1924076bdea3723e- Historical check-result SHA-256
ef5111cc76e71d10b4be2b0c92fbb60d98855eed9a309204a3f43a1379ca1f84
| Destination logs or state verification 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.
|
|---|