minor reware so evidence prior to determination is anchored

Author: mzargham

__marimo__/session/notebook.py.json

@@ -1,8 +1,11 @@
 """Bind computational evidence to the RDF traceability graph.
 
-Creates rtm:Evidence nodes (ProofArtifact, SimulationResult) linked to the
-computational activities that produced them via PROV-O. Evidence is NOT
-linked directly to requirements — only attestation does that.
+Creates rtm:Evidence nodes (ProofArtifact, SimulationResult) linked to:
+- The computational activity that produced them (prov:wasGeneratedBy)
+- The requirement they address (rtm:addresses) — structural intent, not judgment
+
+Evidence *addresses* a requirement but does not *satisfy* it.
+Only human attestation (rtm:attests) connects evidence to satisfaction.
 """
 
 from __future__ import annotations
@@ -41,6 +44,7 @@ def bind_proof_evidence(
     graph.add((ev_uri, RTM.proofHash, Literal(proof_hash)))
     graph.add((ev_uri, RTM.resultSummary, Literal(result_summary)))
     graph.add((ev_uri, RTM.evidenceMethod, RTM.FormalProof))
+    graph.add((ev_uri, RTM.addresses, ADCS[requirement_id]))
     graph.add((ev_uri, PROV.wasGeneratedBy, act_uri))
     graph.add((ev_uri, PROV.generatedAtTime, Literal(
         datetime.now(timezone.utc).isoformat(), datatype=XSD.dateTime,
@@ -83,6 +87,7 @@ def bind_simulation_evidence(
     graph.add((ev_uri, RTM.modelHash, Literal(model_hash)))
     graph.add((ev_uri, RTM.resultSummary, Literal(result_summary)))
     graph.add((ev_uri, RTM.evidenceMethod, RTM.Simulation))
+    graph.add((ev_uri, RTM.addresses, ADCS[requirement_id]))
     graph.add((ev_uri, PROV.wasGeneratedBy, act_uri))
     graph.add((ev_uri, PROV.generatedAtTime, Literal(
         datetime.now(timezone.utc).isoformat(), datatype=XSD.dateTime,

evidence/binding.py

@@ -74,8 +74,7 @@ def explain_requirement(graph: Graph, req_name: str) -> str:
         ?ev a ?type ;
             rtm:contentHash ?hash ;
             rtm:resultSummary ?summary ;
-            prov:wasGeneratedBy ?activity .
-        ?activity prov:used ?req .
+            rtm:addresses ?req .
         ?req sysml:declaredName "{req_name}" .
         FILTER(?type IN (rtm:ProofArtifact, rtm:SimulationResult))
         OPTIONAL {{ ?ev rtm:proofHash ?proofHash }}

interrogate/explain.py

@@ -120,13 +120,12 @@ def _extract_graph_data(rdf_graph: Graph) -> tuple[nx.DiGraph, dict, dict]:
     for row in query_to_dicts(rdf_graph, q):
         G.add_edge(row["reqName"], row["elementName"], rel="satisfiedBy")
 
-    # --- Evidence nodes ---
+    # --- Evidence nodes (linked via rtm:addresses) ---
     q = """
     SELECT ?ev ?type ?hash ?reqName WHERE {
         ?ev a ?type ;
             rtm:contentHash ?hash ;
-            prov:wasGeneratedBy ?act .
-        ?act prov:used ?req .
+            rtm:addresses ?req .
         ?req sysml:declaredName ?reqName .
         FILTER(?type IN (rtm:ProofArtifact, rtm:SimulationResult))
     }
@@ -142,7 +141,7 @@ def _extract_graph_data(rdf_graph: Graph) -> tuple[nx.DiGraph, dict, dict]:
         G.add_node(node_id, label=label)
         node_colors[node_id] = color
         node_types[node_id] = "evidence"
-        G.add_edge(row["reqName"], node_id, rel="evidence")
+        G.add_edge(row["reqName"], node_id, rel="addresses")
 
     # --- Attestation nodes ---
     q = """
@@ -261,7 +260,7 @@ def _hierarchical_layout(
     ev_nodes = sorted([n for n, t in node_types.items() if t == "evidence"])
     ev_req_map: dict[str, str] = {}
     for u, v, data in G.edges(data=True):
-        if data.get("rel") == "evidence" and v in ev_nodes:
+        if data.get("rel") == "addresses" and v in ev_nodes:
             ev_req_map[v] = u
 
     # Group evidence by requirement, then stack vertically near that requirement
@@ -300,7 +299,7 @@ def build_rtm_figure(
     edge_styles = {
         "derivedFrom": {"style": "solid", "color": "#888888", "width": 1.5},
         "satisfiedBy": {"style": "solid", "color": "#555555", "width": 1.5},
-        "evidence": {"style": "dashed", "color": "#999999", "width": 1.0},
+        "addresses": {"style": "dashed", "color": "#999999", "width": 1.0},
         "attests": {"style": "solid", "color": COLORS["attestation"], "width": 2.0},
     }
 

interrogate/visualize.py

@@ -459,8 +459,12 @@ def __(mo):
     to the structural model version), and PROV-O provenance (who/what
     produced it, when).
 
-    Evidence is **not linked directly to requirements**. It floats in the
-    graph, waiting for a human to judge its sufficiency.
+    Each evidence artifact **addresses** a specific requirement — recording
+    the structural intent that "this proof was constructed to evaluate
+    REQ-003." But `rtm:addresses` is not `rtm:attests`. The evidence
+    says *what was analyzed*; only human attestation says *whether it's
+    sufficient*. An evidence artifact can address a requirement and still
+    lead to a declined attestation — as we'll see with REQ-001.
     """)
     return
 

notebook.py

@@ -20,8 +20,9 @@ rtm: a owl:Ontology ;
         and attestation concepts needed to close the traceability loop.
 
         Core epistemological principle: computational evidence does not verify
-        requirements. Evidence supports a human judgment (attestation) that
-        requirements are satisfied. Models are imperfect representations;
+        requirements. Evidence *addresses* a requirement (structural intent)
+        but only human attestation connects evidence to requirement
+        *satisfaction* (judgment). Models are imperfect representations;
         the engineer judges model adequacy and evidence sufficiency.""" ;
     owl:imports <http://www.w3.org/ns/prov#> .
 
@@ -126,6 +127,25 @@ rtm:attestedBy a owl:ObjectProperty ;
     rdfs:comment "Inverse of rtm:attests." ;
     owl:inverseOf rtm:attests .
 
+rtm:addresses a owl:ObjectProperty ;
+    rdfs:domain rtm:Evidence ;
+    rdfs:range sysml:RequirementDefinition ;
+    rdfs:label "addresses" ;
+    rdfs:comment """Structural link from evidence to the requirement it was
+        produced to evaluate. This is NOT an attestation — it records
+        intent ('this proof was constructed to address REQ-003'), not
+        judgment ('this proof is sufficient to satisfy REQ-003').
+        The human attestation resolves whether addressed evidence is
+        sufficient.""" ;
+    owl:inverseOf rtm:addressedBy .
+
+rtm:addressedBy a owl:ObjectProperty ;
+    rdfs:domain sysml:RequirementDefinition ;
+    rdfs:range rtm:Evidence ;
+    rdfs:label "addressed by" ;
+    rdfs:comment "Inverse of rtm:addresses." ;
+    owl:inverseOf rtm:addresses .
+
 rtm:hasEvidence a owl:ObjectProperty ;
     rdfs:domain rtm:Attestation ;
     rdfs:range rtm:Evidence ;

ontology/rtm.ttl

@@ -53,11 +53,10 @@
 # ---------------------------------------------------------------------------
 
 ALL_EVIDENCE = """
-SELECT ?ev ?type ?method ?hash ?summary ?activity WHERE {
+SELECT ?ev ?type ?method ?hash ?summary WHERE {
     ?ev a ?type ;
         rtm:contentHash ?hash ;
-        rtm:resultSummary ?summary ;
-        prov:wasGeneratedBy ?activity .
+        rtm:resultSummary ?summary .
     OPTIONAL { ?ev rtm:evidenceMethod ?method }
     FILTER(?type IN (rtm:ProofArtifact, rtm:SimulationResult))
 }
@@ -69,8 +68,7 @@
     ?ev a ?type ;
         rtm:contentHash ?hash ;
         rtm:resultSummary ?summary ;
-        prov:wasGeneratedBy ?activity .
-    ?activity prov:used ?req .
+        rtm:addresses ?req .
     ?req sysml:declaredName ?reqName .
     FILTER(?type IN (rtm:ProofArtifact, rtm:SimulationResult))
     FILTER(?reqName = "%s")
@@ -141,8 +139,7 @@
         ?ev a ?evType ;
             rtm:contentHash ?evHash ;
             rtm:resultSummary ?evSummary ;
-            prov:wasGeneratedBy ?activity .
-        ?activity prov:used ?req .
+            rtm:addresses ?req .
         FILTER(?evType IN (rtm:ProofArtifact, rtm:SimulationResult))
     }
     OPTIONAL {

traceability/queries.py

@@ -86,8 +86,7 @@ def validate_evidence_completeness(graph: Graph) -> list[str]:
         name = req["name"]
         q = f"""
         SELECT (COUNT(?ev) AS ?cnt) WHERE {{
-            ?ev prov:wasGeneratedBy ?act .
-            ?act prov:used ?req .
+            ?ev rtm:addresses ?req .
             ?req sysml:declaredName "{name}" .
         }}
         """