Identify constant (closed form)
identify_constantIdentify a numeric constant's closed form by searching known constants and re-evaluating candidates with high precision; returns 'unidentified' if no match.
Instructions
Identify a real number's closed form, airtight: PSLQ + closed-form search, every candidate independently re-evaluated to 50+ digits, honest UNIDENTIFIED otherwise. Use when you have a numeric constant and want to know what it IS. Args: value (decimal string — give MANY digits, >16), optional basis (constant names like ['pi','e']).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| value | Yes | the real value as a decimal string (give many digits, >16) | |
| basis | No | optional constant basis, e.g. ["pi","e","catalan"] |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes | ||
| identified | Yes | ||
| best | Yes | best verified candidate {expr, display, digits_agreed, provenance}, or null if honest UNIDENTIFIED | |
| candidates | Yes | ||
| basis | No | ||
| unidentified_reason | No | ||
| note | No |