Skip to main content

POST /api/zeq/closedform

Closed-form master-equation solve — the analytic counterpart to /api/zeq/solve.

Compiles polynomial couplings into effective (mu2_eff, lambda_eff, F_eff) and evaluates the EXACT branch of d2phi/dt2 = mu2_effphi + lambda_effphi^3 + F_eff (all / KO42 tensioner): free, uniform-accel, harmonic, hyperbolic, driven, and Duffing phi0cn(Omegat,k) via AGM. KO42 first-order on the linear branches; phi^2 / sqrt / exp shapes refused by name. Ships an independent RK4 closed-vs-open cross-check.

MethodPOST
Path/api/zeq/closedform
Feature areaZeq core & solvers
TagSolvers
Authmachine key — Authorization: Bearer $ZEQ_KEY
Tierauthenticated (machine-control)

Solver

SummaryClosed-form master-equation solve — the analytic counterpart to /api/zeq/solve. Compiles polynomial couplings into effective (mu2_eff, lambda_eff, F_eff) and evaluates the EXACT branch of d2phi/dt2 = mu2_effphi + lambda_effphi^3 + F_eff (all / KO42 tensioner): free, uniform-accel, harmonic, hyperbolic, driven, and Duffing phi0cn(Omegat,k) via AGM. KO42 first-order on the linear branches; phi^2 / sqrt / exp shapes refused by name. Ships an independent RK4 closed-vs-open cross-check.
DomainClosed-Form Master Field
Numerical MethodAnalytic branch (compile + cn via AGM) + KO42 perturbation
Operator ChainKO42-tensioned
Unitphi

See all sealed solvers.

Parameters

This operation publishes no path, query or header parameters.

Request body

Optional. Content type: application/json.

FieldTypeRequiredDescription
mu2_effnumbernoEffective mu^2 (skip compile). mu2_eff<0 oscillates (omega0=sqrt(-mu2_eff)); >0 hyperbolic.
lambda_effnumbernoEffective lambda (cubic term -> Duffing).
F_effnumbernoEffective constant forcing.
couplingsarray<object>noPolynomial couplings to fold: {a,b,c,d} cubic (c!=0 -> refused QUADRATIC) or {samples:[[x,y],...]} (>=4 pts; extra pts checked -> NONPOLY).
operatorsarray<any>noOperator IDs (or {id,equation,unit,drive}) compiled AS couplings: one input is driven base*(1+scale*phi), the real formula is sampled over the phi grid, fit to a cubic and folded. KO42 sets the frame. Non-polynomial operators (Kepler a^1.5, de-Broglie 1/v) refuse NONPOLY by name.
inputsobject<string, number>noAnchor values the operator formulas consume (mass, a, r, v, ...).
compileobjectno
compile.scalenumbernoDrive amplitude in base*(1+scale*phi). Default 0.25.
phi0numbernoInitial field value. Default: equilibrium launch -F_eff/mu2_eff + 0.5.
phidot0numbernoInitial field velocity. Default 0.
tnumbernoEvaluation time. Default 1.
ko42booleannoApply the KO42 tensioner first-order on the linear branches. Default true.
alphanumbernoKO42.1 tensioner amplitude. Default 1e-3.
modestring — one of "auto", "manual"nomanual uses beta as the tensioner amplitude.

Responses

StatusMeaning
200On solve: {ok:true, value:phi(t), branch, mu2_eff/lambda_eff/F_eff, phi_t, phidot_t, closedVsOpenPct, compile:{mode,ruleset,scale,operators,anchors,effective}, zeqProof, envelope}. On a shape the master equation cannot carry: {ok:true, refused:true, refusal:{code,term,message}} with code in QUADRATIC | NONPOLY | DRIVEN_DUFFING | SEPARATRIX | NO_BOUNDED_OSCILLATION | DUFFING_NEEDS_REST | PARAMETRIC_RESONANCE | UNKNOWN_OPERATOR | MISSING_INPUT | COMPILE_DEGENERATE (the refusal IS the answer).
401Missing or invalid key
402Insufficient compute credit

No response body schema is published for this operation — the node returns JSON; inspect a live call to see its shape.

Call it

curl -sS -X POST https://zeq.me/api/zeq/closedform \
-H "Authorization: Bearer $ZEQ_KEY" \
-H "Content-Type: application/json" \
-d '{
"mu2_eff": 1,
"lambda_eff": 1,
"F_eff": 1,
"couplings": [
{}
],
"operators": [
{}
],
"inputs": {
"mass": 70,
"r": 1
},
"compile": {
"scale": 1
},
"phi0": 1
}'

Needs a machine key. Mint one: curl -sS -X POST https://zeq.me/api/demo-key/mint, then spin up your machine.


Generated from the live OpenAPI description (https://zeq.me/openapi.json, spec version 1.287.0) by scripts/generate-reference.mjs. Do not edit — this file is rewritten on every run.