R12 Complete Pointer Compiler Development Pilot Manifest

Status: FROZEN BEFORE GPU FIT OR DEVELOPMENT SCORE.

Scientific commit: 51a5a6410b93ec277bc0d0adc0821f0a3674283f

Authorization: one treatment-only development feasibility fit. Confirmation access is forbidden. A development pass authorizes implementation and matched development selection of the full control suite; it does not authorize direct confirmation scoring.

1. Hypothesis

A small learned slot decoder over frozen Shohin token states can compile the complete bounded program interface without structured inference inputs:

three initial-order entity pointers
two [operation-kind grounding, operation class, entity pointer, literal pointer] codons
one late-query pointer
fixed STOP after two operations

The model receives only source token IDs and a source-length mask. It receives no line boundaries, target spans, entity list, initial order, values, typed program, query, answer, renderer ID, or semantic state.

This is a learnability hypothesis for a supervised semantic parser. It is not a new reasoning primitive.

2. Frozen implementation

The immutable 300k Shohin base is frozen through layer 19. Six learned slot queries cross-attend over all source-token states through a two-layer, 256-wide, eight-head decoder with a 1,024-wide feed-forward block. Ten independent pointer projections score every valid source token. Two operation slots also classify LEFT versus RIGHT.

Pointer loss is the negative log probability mass assigned to every token in the gold source span, averaged across ten targets. Operation-kind cross-entropy has weight 1.0. The base receives no gradients.

At evaluation, the host expands each model-selected token to its containing source word, then applies the frozen list-machine semantics. It may not select, repair, reorder, or infer an operand. Full pointer exactness requires all ten pointers and both operation classes. Fixed STOP is not a halt result.

3. Frozen inputs

Confirmation SHA-256 84005921b5fca93f9c2567655c4345bced78fc74ed7f49c8f72189b9f87fbf03 is recorded for custody but its bytes must not be copied into the pilot runtime or read by any pilot process.

4. Frozen source identities

Local verification before freeze:

• three architecture tests pass;
• five corpus tests pass;
• py_compile, Ruff, Bash syntax, and git diff --check pass;
• a real CPU forward from the immutable 300k checkpoint produces ten pointer distributions of shape [1,81] and operation logits [1,2,2];
• gold-pointer dereference reconstructs the answer without structured values;
• strict total parameters are below 150M.

5. Frozen optimization

No checkpoint, epoch, layer, width, loss weight, or seed selection is permitted after viewing development. This pilot has one artifact and one development score.

6. Frozen development gate

The slot-decoder realization advances to a matched-control build only if all floors pass on the untouched development split:

If any floor fails, this exact slot-decoder realization is rejected. The failure does not reject complete pointer compilation in general, but no confirmation access or executor integration follows.

If every floor passes, the next required work is to implement and freeze the R4 privileged-lexer baseline, absolute-role compiler, ordinary pointer network, text-AST decoder, joint adapter, shuffled-pointer sanity control, and oracle ceiling under matched development budgets. Arm identities and the selection rule must be committed before confirmation is copied into the runtime.

7. Claim boundary

A development pass establishes only that the complete source-pointer interface can be learned on the bounded synthetic machine. It does not establish natural- language reasoning, arithmetic, source-deleted execution, autonomous state update, serialization, halt, scale transfer, or novelty.