Skip to content

Fix syzygy verifier handoff metadata #917

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
morluto merged 5 commits into from
Aug 9, 2026
Merged

Fix syzygy verifier handoff metadata #917

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
71767b2
Fix syzygy verifier handoff metadata
yuelgrace1810-ops Aug 9, 2026
44f3cc1
Clarify complete syzygy verifier candidate handoff
Aug 9, 2026
e5cf770
fix: reformat test_frontier_capabilities.py for ruff format
morluto Aug 9, 2026
f4ee609
Remove ambiguous shared syzygy verifier hint
Aug 9, 2026
315c686
Align syzygy replay with shared result contract
Aug 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 0 additions & 4 deletions src/jacobian/contracts/jacobian_syzygy.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -226,10 +226,6 @@ class GradedJacobianSyzygyResult(ContractModel):
first_syzygy_degree: StrictInt | None = Field(default=None, ge=0, le=8)
kernel_witness: GradedJacobianKernelWitness | None = None
completion: Literal["COMPLETE_THROUGH_BOUND"] = "COMPLETE_THROUGH_BOUND"
verification_capability_id: Literal[
"polynomial.jacobian_syzygy.minimum_degree.verify"
] = "polynomial.jacobian_syzygy.minimum_degree.verify"
verification_input_field: Literal["result_uri"] = "result_uri"

@model_validator(mode="after")
def bind_first_kernel_and_finite_scope(self) -> Self:
Expand Down
4 changes: 2 additions & 2 deletions src/jacobian/domains/polynomial/checkers.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,8 +25,8 @@
verification_title="Verify a first graded Jacobian syzygy degree",
verification_description=(
"Independently reconstruct every bounded homogeneous coefficient map, "
"rank ledger, nonzero minor, and first kernel from a stored producer "
"result."
"rank ledger, nonzero minor, and first kernel from the exact producer "
"input and the complete, unmodified producer output.result object."
),
verification_tags=(
"verification",
Expand Down
4 changes: 0 additions & 4 deletions src/jacobian_checkers/jacobian_syzygy.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -565,10 +565,6 @@ def _expected_result(source: dict[str, Any]) -> dict[str, Any]:
"first_syzygy_degree": first_degree,
"kernel_witness": kernel_witness,
"completion": "COMPLETE_THROUGH_BOUND",
"verification_capability_id": (
"polynomial.jacobian_syzygy.minimum_degree.verify"
),
"verification_input_field": "result_uri",
}


Expand Down
10 changes: 10 additions & 0 deletions tests/composition/runtime/test_frontier_capabilities.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -288,6 +288,16 @@ def test_graded_jacobian_syzygy_finds_and_verifies_the_first_kernel(
assert verified.execution.status is ExecutionStatus.COMPLETED
assert verified.output["status"] == "VERIFIED"

verifier = next(
descriptor
for descriptor in frontier_services.core.capabilities.catalog().capabilities
if descriptor.capability_id
== "polynomial.jacobian_syzygy.minimum_degree.verify"
)
assert "complete, unmodified producer output.result object" in (
verifier.description
)


def test_graded_jacobian_syzygy_handles_a_zero_partial_derivative(
frontier_services: DomainTestServices,
Expand Down
Loading