Project ShohinOPEN BUILD
Menu
← Complete research archive
Architecture researchPreregistered124 lines

DIVERGE-SNL1: Spanless Neural Episode Laws

SVE1 confirms that a byte model can emit complete value-bearing evidence and initialization events without numeric spans or host integer parsing. Its final law packet still comes from exact intersection over a bounded coefficient catalog. Separately, the closed NLS1 treatment lea…

docs/research/DIVERGE_SNL1_SPANLESS_NEURAL_LAWS.mdOpen original Markdown ↗

DIVERGE-SNL1: Spanless Neural Episode Laws

Status: confirmed on development and all five fixed source-disjoint boards.

Capability Hypothesis

SVE1 confirms that a byte model can emit complete value-bearing evidence and initialization events without numeric spans or host integer parsing. Its final law packet still comes from exact intersection over a bounded coefficient catalog. Separately, the closed NLS1 treatment learned all held episode laws on its normal development path, but its full gate failed an incorrectly specified temporal-counterfactual execution condition. That failure remains immutable.

SNL1 asks one new composition question without retraining either owner:

Can the frozen NLS1 neural synthesizer consume only confirmed SVE1 event sequences, commit one coherent episode-local law packet, and preserve exact source-deleted recurrent execution on fresh held-out episodes without the exact support-intersection solver?

This is a new composition gate, not a reinterpretation or retry of NLS1. The frozen NLS1 checkpoint, shuffled-outcome control, SVE1 value owner, OQB1 query owner, and NCP1 command owner remain bit-identical.

Candidate Path

WORLD evidence -> OQB1 anonymous register quotient -> SVE1 complete value events -> frozen NLS1 neural law synthesizer -> one hard law packet -> NCP1 program -> recurrent modular execution -> OQB1 late query.

The candidate runtime receives no numeric spans, parsed integers, typed before/after values, typed initial state, typed program, terminal state, or answer. It contains no exact support intersection. The bounded 25-row output vocabulary, exact whole-word operation alias binding, exact repeated-register quotient, and modular matrix application remain engineered and are stated as limitations.

Frozen Data And Custody

  • development seed: 2026080852, 256 episodes;
  • conditional confirmation seeds: 2026080853--2026080857, 256 episodes each;
  • all sources, opaque names, and episode identities must be disjoint from the complete SVE1 and NLS1 data lineages and between every SNL1 board;
  • every board must regenerate byte-for-byte before evaluation;
  • the five confirmation assessors remain sealed unless development passes;
  • there is no SNL1 training and no parameter/update/threshold search.

A pre-freeze read-only compatibility diagnostic found that the frozen NLS1 treatment recovers 2048/2048 coefficient matrices on the already-open SVE1 development assessor when given complete events. This admitted the new gate but is not counted as SNL1 evidence. Zero-shot reuse of NCP1 as an evidence alias pointer scored only 37/6144 = 0.6022%, so exact operation binding remains an explicit boundary rather than being silently claimed as learned.

Frozen Arms And Gate

Positive arms are treatment, unseen register renaming, and coherent register table reindex. Each must reach at least 99% exact evidence events, initial events, query binding, complete law packets, terminal states, and answers, with at least 95% terminal-state exactness at every depth 12--32. NCP1 complete program exactness must be at least 99%.

The following causal controls are fixed:

  • cross-owner table reindex: at most 5% states and 10% answers;
  • digit-byte value scrub: at most 1% states and answers;
  • occurrence-level quotient break: at most 20% states and 35% answers;
  • independently trained shuffled SVE1 event model: at most 5% states;
  • independently trained shuffled-outcome NLS1 model: at most 5% states;
  • after-value scrub before law synthesis: at most 5% states;
  • one demonstration per operation: at most 20% states;
  • law-packet reset: exactly 0% states.

All parent hashes and model states must remain bit-identical. Candidate source must remain spanless and contain neither exact support intersection nor a raw integer parser. A development miss closes SNL1 without model, seed, threshold, renderer, control, or evaluator variants. A pass opens all five fixed confirmation boards once; all five must pass unchanged.

Claim Boundary

A confirmed pass would qualify only the controlled composition of model-owned spanless value extraction and neural unseen-law induction. It would remove the exact law-support solver from this path. It would not establish learned alias resolution, unrestricted arithmetic, open-domain natural-language reasoning, or public benchmark capability.

Confirmed Result

Commit 24519884361a2f23c74d042795f4316ab6bad0ff corrects two evaluator-only custody/accounting defects before the official score: the preserved NLS1 parent names its metric matrix_rate, and episode-law rows must be assessed in the arm's anonymous table-position basis. A complete local CPU replay then passed every condition; its read-only report SHA-256 is af6ea98afd2ba2dc5c735e6513bd372741fb7570d843c8900bc058dac24dc30b. Immutable runtime diverge_snl1_2451988_r1 has SHA256SUMS SHA-256 e02aa777f77e5744c3d2b51bb569e2eaec85d6995545153277174cee63100b5a.

Official development job 744945 completed on one CUDA V100 in 1m46s. Its report SHA-256 is f84395b09133d6c5e4cc485c471b975ea938ff76835bde890c63a164dbcba1dd. Treatment, unseen register rename, and coherent table reindex each recovered 256/256 law packets, 4096/4096 terminal states, and 8192/8192 answers, with a 100% minimum depth rate. The cross-owner reindex retained only 2/4096 states and 94/8192 answers. Value scrub, occurrence break, shuffled-event model, and law reset retained zero terminal states.

The five unchanged confirmation jobs 744951--744955 all passed. Aggregate job 744956 reports, for each positive arm, 1280/1280 laws, 20,480/20,480 terminal states, and 40,960/40,960 answers. Cross-owner reindex falls to 11/20,480 states and 428/40,960 answers. Value scrub, occurrence break, shuffled-event model, and law reset remain exactly zero; shuffled-law, outcome-scrub, and one-example controls remain near chance and below every frozen ceiling. Aggregate SHA-256 is 8a6b3a1475c8e58a96decd46418af12f447bc0a2c070ab19a428399f2c3993c5; the complete local/remote result manifest SHA-256 is 5e391d05a2bce337feccad6af02b2079b86855de1785edb47de6b2ede96f3f1b.

SNL1 therefore qualifies the frozen composition exactly within the claim boundary above. The next unresolved runtime scaffold is exact evidence-to- operation alias binding; no SNL1 weight, seed, threshold, renderer, or duration variant is authorized.