Skip to content

Commit 2690733

Browse files
committed
fix: use Optional[str] for attestation_token parameter type
attestation_token was declared as 'str = None' which is a type mismatch (str cannot be None). Changed to Optional[str] = None across all 11 verifier files to match the bridge function's signature.
1 parent bf293e3 commit 2690733

11 files changed

Lines changed: 13 additions & 13 deletions

src/qwed_new/core/code_verifier.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1092,7 +1092,7 @@ def verify_batch(self, snippets: List[Dict[str, str]]) -> DiagnosticResult:
10921092
evidence=evidence,
10931093
)
10941094

1095-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
1095+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
10961096
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
10971097
from .verification_context_bridge import verification_context_from_diagnostic_result
10981098
return verification_context_from_diagnostic_result(

src/qwed_new/core/consensus_verifier.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -964,7 +964,7 @@ def reset_circuit_breakers(self):
964964
if self.circuit_breaker:
965965
self.circuit_breaker._engines.clear()
966966

967-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
967+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
968968
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
969969
from .verification_context_bridge import verification_context_from_diagnostic_result
970970
return verification_context_from_diagnostic_result(

src/qwed_new/core/dsl_logic_verifier.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -551,7 +551,7 @@ def verify_from_natural_language(
551551
verification_result.dsl_code = dsl_code
552552
return verification_result
553553

554-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
554+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
555555
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
556556
from .verification_context_bridge import verification_context_from_diagnostic_result
557557
return verification_context_from_diagnostic_result(

src/qwed_new/core/fact_verifier.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -624,7 +624,7 @@ def _tokenize(self, text: str) -> set:
624624
"""Tokenize text into lowercase words."""
625625
return set(re.findall(r'\b[a-zA-Z]+\b', text.lower()))
626626

627-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
627+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
628628
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
629629
from .verification_context_bridge import verification_context_from_diagnostic_result
630630
return verification_context_from_diagnostic_result(
@@ -728,7 +728,7 @@ def verify_batch(
728728
extra_evidence=extra_evidence,
729729
)
730730

731-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
731+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
732732
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
733733
from .verification_context_bridge import verification_context_from_diagnostic_result
734734
return verification_context_from_diagnostic_result(

src/qwed_new/core/graph_fact_verifier.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -586,7 +586,7 @@ def verify_with_nli(
586586
}
587587
)
588588

589-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
589+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
590590
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
591591
from .verification_context_bridge import verification_context_from_diagnostic_result
592592
return verification_context_from_diagnostic_result(

src/qwed_new/core/image_verifier.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -598,7 +598,7 @@ def verify_batch(
598598
extra_evidence=extra_evidence,
599599
)
600600

601-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
601+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
602602
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
603603
from .verification_context_bridge import verification_context_from_diagnostic_result
604604
return verification_context_from_diagnostic_result(
@@ -701,7 +701,7 @@ def verify_with_consensus(
701701
}
702702
)
703703

704-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
704+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
705705
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
706706
from .verification_context_bridge import verification_context_from_diagnostic_result
707707
return verification_context_from_diagnostic_result(

src/qwed_new/core/logic_verifier.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -956,7 +956,7 @@ def check_vacuity(
956956
{"constraint_id": _CONSTRAINT_ID_EXECUTION_ERROR, "error_type": type(exc).__name__},
957957
)
958958

959-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
959+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
960960
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
961961
from .verification_context_bridge import verification_context_from_diagnostic_result
962962
return verification_context_from_diagnostic_result(

src/qwed_new/core/reasoning_verifier.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -754,7 +754,7 @@ def get_cache_stats(self) -> Dict[str, int]:
754754
"max_size": self._cache_max_size
755755
}
756756

757-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
757+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
758758
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
759759
from .verification_context_bridge import verification_context_from_diagnostic_result
760760
return verification_context_from_diagnostic_result(

src/qwed_new/core/schema_verifier.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1559,7 +1559,7 @@ def verify_ucp_transaction(
15591559
proof_data=proof_data,
15601560
)
15611561

1562-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
1562+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
15631563
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
15641564
from .verification_context_bridge import verification_context_from_diagnostic_result
15651565
return verification_context_from_diagnostic_result(

src/qwed_new/core/sql_verifier.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -808,7 +808,7 @@ def verify_batch(
808808
developer_fields=batch_fields,
809809
)
810810

811-
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: str = None) -> "VerificationContextDocument":
811+
def to_verification_context(self, result: "DiagnosticResult", query: str, attestation_token: Optional[str] = None) -> "VerificationContextDocument":
812812
"""Map a DiagnosticResult to a Verification Context v1.0 document."""
813813
from .verification_context_bridge import verification_context_from_diagnostic_result
814814
return verification_context_from_diagnostic_result(

0 commit comments

Comments
 (0)