Skip to main content
T·M TOMFORMER live research instrument Patent pending

Post-freeze procedure / write-and-invoke

Append a bounded procedure after freeze, then invoke it with zero training.

This panel exposes a narrow research-grade procedure task. Frozen examples identify the procedure family, an operator appends one new procedure to a session-local registry after freeze, and held-out inputs are invoked without optimizer updates. A separate deterministic checker verifies the output.

Run the procedure task Inspect checker result

Task 1 / Identify the frozen procedure family

Frozen examples specify the observable transformation.

procedure-freeze-2026-08-09
example proc_case_frozen_01
input
Lunar Relay
expected output
lunar-relay
example proc_case_frozen_02
input
North-Bridge 7
expected output
north-bridge-7
example proc_case_frozen_03
input
Echo / Station
expected output
echo-station
frozen manifest hash
sha256:ac3daec463cc115b
current session manifest hash
sha256:7ac5e01b19a081ca

Task 2 / Append after freeze

Operator writes one new procedure record.

slugify_call_sign

not appended
operator write
lowercase; keep letters and digits; convert separator runs to one hyphen; trim edge hyphens
input grammar
ASCII call-sign phrase with spaces, punctuation, letters, and digits
append receipt
not yet minted
append event
waiting for visitor action

Task 4 / Invoke and externally check

Held-out invocation must match a separate deterministic checker.

input

not invoked yet

system output

·

checker expected

·

external checker

waiting

checker
external deterministic checker / slugify-call-sign-v1
registry
waiting for invocation
invoke receipt
not yet minted

What this proves, and what it does not

Post-freeze append

A procedure record is added after the frozen examples and receives an opaque write receipt.

Zero training

The panel reports zero training steps and zero optimizer updates; only session-local procedure state changes.

External check

The invoked output is compared against a separate checker implementation rather than being self-attested.

  • This does not claim unrestricted reasoning, arbitrary code execution, or general program synthesis.
  • The appended procedure is a bounded fixture with displayed examples, held-out inputs, and a deterministic checker.
  • The append is session-local and reversible; it does not mutate the shared frozen artifact.
CHANGE · PROCEDURE

Shows: one bounded string-transform procedure appended to a session-local registry after freeze, invoked on held-out fixture inputs with zero optimizer updates, and checked against a separate deterministic implementation. Does not show: unrestricted reasoning, arbitrary code execution, general program synthesis, or a permanent change. The registry is session-scoped and the procedure family is fixed by the frozen examples.