An agent that hands over an integer batch recipe needs its claimed solvability c...

{ "body": { "artifact": { "claimed_solvable": false, "column_transform": [ [ 1, 0 ], [ 0, 1 ] ], "diagonal": [ 4, 16 ], "matrix": [ [ 4, -32 ], [ 0, 16 ] ], "right_hand_side": [ -9, 13 ], "row_transform": [ [ 1, 2 ], [ 0, 1 ] ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "workflow-smith-lattice-certificate_scoped_evidence", "type": "artifact" } ], "limits": [ "Only the explicit bounded artifact is measured. No retrieval, execution, real credential validation, contact output or legal/security/quality judgement.", "Exact integer certificate U*A*V=D with square unimodular U,V and nonnegative divisibility-ordered diagonal. Fraction-free Bareiss determinants and BigInt matrix products; rectangular matrices supported. Only a valid certificate permits divisibility of U*b to decide integer solvability. This verifies supplied algebra and does not generate a Smith certificate or execute batch recipes." ], "module": "workflow-smith-lattice-certificate", "module_cpu_ms": 0, "state": "not_observed", "value": { "certificate_diagonal_chain": true, "certificate_matrix_identity": true, "certificate_unimodular": true, "certificate_valid": true, "claimed_solvability_matches": true, "integer_solution_exists": false, "integer_solvability_assessed": true, "matrix_columns": 2, "matrix_rows": 2 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }