Function composition

jm_18

0109434e-e9cc-5d80-ad3f-d25ec62cbfda

Teaching overview

jm_18 is taught from its pinned FRM-like/1 definition. Follow the pixel seed, t = p1 + 4 threshold, and nested fn1/fn2/fn3 update as source operations, rather than treating an image as guaranteed. The pinned mechanical profile supplies one concrete viewing setup, not a universal visual prediction.

Source walkthrough

frm-v1:41794347e36147808476dcb16e41d7bdbf24b94327ce2f0bf13fd67a1cf1901f:init/0
In jm_18, this node executes z = pixel.
frm-v1:41794347e36147808476dcb16e41d7bdbf24b94327ce2f0bf13fd67a1cf1901f:init/1
In jm_18, this node executes t = p1 + 4.
frm-v1:41794347e36147808476dcb16e41d7bdbf24b94327ce2f0bf13fd67a1cf1901f:loop/0
In jm_18, this node executes z = fn1(z) * pixel * fn2(fn3(z) * pixel).
frm-v1:41794347e36147808476dcb16e41d7bdbf24b94327ce2f0bf13fd67a1cf1901f:bailout
In jm_18, this node executes |z| <= t.

Syntax features

state-flow

These annotations trace the formula-specific state flow: z = pixel; t = p1 + 4; z = fn1(z) * pixel * fn2(fn3(z) * pixel).

stopping-test

This annotation is the stopping test, |z| <= t, rather than a state update.

Parameter experiment

parameter1function1function2function3

Steps

Run jm_18 with the pinned profile and record the result.
Change only parameter1, keep every other runtime slot and profile control fixed, run again, and record whether a difference occurs.
Change only function1, keep every other runtime slot and profile control fixed, run again, and record whether a difference occurs.
Change only function2, keep every other runtime slot and profile control fixed, run again, and record whether a difference occurs.
Change only function3, keep every other runtime slot and profile control fixed, run again, and record whether a difference occurs.

What to observe

Record whether z = pixel; t = p1 + 4; then z = fn1(z) * pixel * fn2(fn3(z) * pixel) produces a visible-result or |z| <= t stopping-behavior difference from the baseline; the pinned definition does not guarantee a difference.

Exercise

Trace jm_18 through its annotations, explaining the source operation z = pixel; t = p1 + 4; then z = fn1(z) * pixel * fn2(fn3(z) * pixel) and the stopping test |z| <= t.

Completion check

Your trace explains all 4 annotations for jm_18, including z = pixel; t = p1 + 4; then z = fn1(z) * pixel * fn2(fn3(z) * pixel), and distinguishes |z| <= t from a state update.

Sources and rights

This teaching unit is grounded in runtime:41794347e36147808476dcb16e41d7bdbf24b94327ce2f0bf13fd67a1cf1901f and decision:0109434e-e9cc-5d80-ad3f-d25ec62cbfda.

rightsStatus is source-declared-public-domain-assumption; implementationBasis is direct-adaptation; publicationDecision is publish; decisionReason is publish-census-full-chain-green. This statement does not make broader claims about any third-party original.

Formula Record

jm_18

This canonical FractalPark implementation is published and runnable.

Canonical source

Language: frm-like/1
Standard library: 1
Profile mode: parameter-plane
Profile center: -0.5, 0
Profile zoom: 0.4
Profile iterations: 96
Profile evidence: mechanical

Parameters

parameter1: complex
function1: function
function2: function
function3: function

Open in Explorer

Canonical source

This verified canonical revision is read-only. Remix creates a separate editable fork.

Loading canonical source…

Source and implementation

Formula ID: 0109434e-e9cc-5d80-ad3f-d25ec62cbfda
Canonical name: jm_18
Original name: jm_18
Historical source: Fractint
Original resource: fractint-float/formulas/fractint.frm Repository
Current implementation: Direct adaptation

The current FractalPark implementation follows the verified semantics of the linked Fractint formula. The original file retains its own rights terms.

Rights or attribution concern?

Send the Formula ID and supporting evidence. The maintainer can hold or withdraw the implementation while the claim is reviewed. contact@fractalpark.com