core-labs/core
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

Potential fix for pull request finding

Browse source 
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Shay 2026-06-02 20:07:48 -07:00 committed by GitHub
parent 4cae904563
commit 934b4e557f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 20 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
generate/proof_chain/model.py
View file

@ -37,18 +37,26 @@ class ProofNode:
depends_on: tuple[str, ...]
rule: str
def __post_init__(self) -> None:
object.__setattr__(self, "depends_on", tuple(self.depends_on))
if not self.node_id or not self.node_id.isidentifier():
raise ProofError(f"ProofNode.node_id must be a Python identifier; got {self.node_id!r}")
if not self.formula.strip():
raise ProofError("ProofNode.formula must be non-empty")
if not self.rule:
raise ProofError("ProofNode.rule must be non-empty")
if self.node_id in self.depends_on:
# A self-dependency is a length-1 cycle; the binding-graph acyclicity
# guard (ADR-0203) would also catch it, but refuse early and clearly.
raise ProofError(f"ProofNode {self.node_id!r} depends on itself")
def __post_init__(self) -> None:
object.__setattr__(self, "depends_on", tuple(self.depends_on))
if not isinstance(self.node_id, str) or not self.node_id.isidentifier():
raise ProofError(
"ProofNode.node_id must be a Python identifier str; "
f"got {self.node_id!r}"
)
if not isinstance(self.formula, str) or not self.formula.strip():
raise ProofError("ProofNode.formula must be a non-empty str")
if not isinstance(self.rule, str) or not self.rule.strip():
raise ProofError("ProofNode.rule must be a non-empty str")
if self.rule != self.rule.strip():
raise ProofError("ProofNode.rule must not have leading/trailing whitespace")
if self.rule == "premise" and self.depends_on:
raise ProofError('ProofNode.rule == "premise" requires empty depends_on')
if self.node_id in self.depends_on:
# A self-dependency is a length-1 cycle; the binding-graph acyclicity
# guard (ADR-0203) would also catch it, but refuse early and clearly.
raise ProofError(f"ProofNode {self.node_id!r} depends on itself")
@dataclass(frozen=True, slots=True)