summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--CROSS_ARCHITECTURE_CROSSOVER.md28
1 files changed, 21 insertions, 7 deletions
diff --git a/CROSS_ARCHITECTURE_CROSSOVER.md b/CROSS_ARCHITECTURE_CROSSOVER.md
index 3d2ea1e..eb3dfbe 100644
--- a/CROSS_ARCHITECTURE_CROSSOVER.md
+++ b/CROSS_ARCHITECTURE_CROSSOVER.md
@@ -71,13 +71,13 @@ convolutions 2, 4, 7, 10, and 13, then two 4096-unit ReLU layers. The
residual-CNN definitions are the already audited `CIFARLocalResNet`
implementations.
-The Transformer depth axis is frozen here, but its exact task, width, context,
-and algorithm adapters must be frozen in a separate tracked family protocol
-before any formal Transformer endpoint is launched. In particular, an
-adapter must specify how PEPITA perturbs continuous token embeddings, how
-Forward-Forward constructs positive/negative autoregressive examples, and how
-EP and Dual Propagation expose relaxable block states. A generic local
-cross-entropy surrogate may not be relabelled as one of those methods.
+The Transformer depth axis, task, width, context, algorithm adapters, and
+validation-only selector are frozen in `TRANSFORMER_CROSSOVER.md`. That
+protocol specifies continuous-embedding PEPITA, autoregressive candidate
+overlay for Forward-Forward, and relaxable block states for EP and Dual
+Propagation rather than relabelling a generic local cross-entropy surrogate.
+Its deterministic X0 gate is frozen at
+`results/transformer_crossover/x0_equation_audit.json`.
Additional width or depth ladders may be added only as a new complete family
revision containing every method. They do not replace, merge, or selectively
@@ -190,3 +190,17 @@ budgets, and adapters, SDIL is Pareto-competitive and scales across the tested
families. The panel does not prove asymptotic scaling, biological
implementation, clean-setting superiority over BP, or universal superiority
over EP/Dual Propagation.
+
+## Execution ledger (2026-07-27)
+
+- Plain-CNN P1 is complete and its selector is frozen. The 27-cell P2 is
+ active on the only authorized physical GPUs, timan107 GPU5 and GPU7.
+- ResNet X0, the 19-cell ResNet-20 selector, and its analyzer are frozen.
+ Formal R1 waits for an authorized GPU rather than sharing memory with P2.
+- Transformer X0 passes in both development PyTorch and the Pascal PyTorch
+ 2.3 environment. Its 27-cell T1 registry and analyzer are frozen. Formal
+ T1 likewise waits for an authorized GPU.
+
+GPU serialization changes calendar time, not the cell registry. No pending
+family may borrow an unapproved GPU, and no method or size may be removed to
+shorten the queue.