| # Own-model compiler-context training v1 (preregistered) |
|
|
| The native compiler is pinned to feature revision |
| `7d8768f8` (resolved full Git SHA in execution receipts), context schema |
| `gooo/compiler-typed-path-context/v2`, feature ABI |
| `split_context_intent_ngrams_v2`, Go 1.27.1 and SDK v0.2.9-experimental. |
| Compiler export and optional generation share source authority and input encoding. |
| The source binding generates validation projections, not selected candidates. |
|
|
| ## Fixed data and matched training |
|
|
| Reuse frozen feedback dataset SHA |
| `570d1d73bfea32662b869e5cfbf77e6d04df838b703191b076be58c1d2180dbf` |
| and its 1040 Gooo bilingual pairs: 800 train, 80 calibration, 160 development test, |
| 640 disjoint program groups across these partitions. These are reused synthetic |
| intentions, not 1040 new independent intentions or an untouched benchmark. |
|
|
| Go reconstructs each original typed fixture, binds its authoritative fallback |
| Gooo activity via 2080 actual native `body-context` calls (two language views per |
| pair), and retains raw receipts. Source fallback is forward for this fixed study; |
| reversed fallback contract regressions are native unit evidence, not this cohort. |
| Initial input excludes observed failures, expected values and CI outcomes. |
| Targets preserve all alternatives accepted by the authored sparse finite cases: |
| one accepted option gets mass 1, ties get 0.5/0.5. Go independently checks the |
| arithmetic oracle and each compiled typed candidate; intention labels are reported |
| separately from these finite soft targets. This study does not resolve sparse |
| observational ambiguity by relabeling it as natural-language correctness. |
|
|
| Two matched arms use the same random initialization (seed 20261012), 256 features, |
| 48 hidden units, 8 path labels (12728 parameters), optimizer, minibatches and data. |
| `caller_context` uses the original Gooo-view prefix; `compiler_context` uses exact |
| native exported text. Both preserve the same full natural-language suffix and use |
| the split feature ABI. This is an input-context comparison, not a capacity change. |
| Each arm: FP32 20 epochs, QAT from its FP32 checkpoint 20 epochs; 560 optimizer |
| steps maximum total, MPS locally, no inherited Laya/pretrained weights. PTQ is an |
| export of FP32, not another training run. Checkpoint choice and temperature |
| (0.5/1/2/4) use calibration only. Development test never selects a checkpoint. |
| Python is offline optimization/export only; compilation, orchestration, inference, |
| finite evaluation and publication verification use Go. |
|
|
| ## Primary metrics and stopping |
|
|
| Retain all FP32/PTQ/QAT artifacts, declines and regressions. Report natural-intent |
| label agreement separately, accepted-set coverage, completeness after at most one |
| additional typed candidate, added candidate cost, language disagreements, input |
| bounds, inference time and process CPU/RSS. Evaluate new weights in Go against |
| exact canonical exported inputs; caller-context-trained weights also receive |
| canonical inputs in runtime comparison. No automatic default model promotion. |
| Packed ternary payload uses five trits/byte (1.6 disk bits), decoded int8 runtime; |
| not packed arithmetic or a whole-process 1.58-bit RAM claim. |
|
|
| Execute actual native dogfood on a deterministic subset of 40 development views |
| (the first eight rows per family in frozen pair order). Four arms: compiler-context |
| FP32/PTQ/QAT plus disconnected deterministic fallback. Use full independent oracle |
| cases, max two candidate attempts, 160 actual native generation calls, plus actual |
| compiled-Go executions for the first view of each family per arm (20 executions). |
| Compare exported input hashes with generation receipts, finite actuals with the |
| oracle and generated-Go actuals. Record all process measurements; startup/compiler |
| cost is separate from model prediction latency. These are repeated policy views |
| of old intentions. CI repetitions are separate from local execution counts. |
|
|
| Source/protocol is committed before export and training. Fresh output directories, |
| clean Git/exact revisions, binary/build/source/model/data hashes, bounded child |
| processes and append-only captures are required. Any binding mismatch, overflow, |
| resource failure or evidence mismatch stops that execution with captures retained. |
| No hosted GPU job, online optimizer, service deployment or arbitrary code model |
| is claimed. Publication includes only synthetic public inputs and own artifacts. |
|
|
