Repository navigation
Expand file tree
/
Copy pathworkflow.json
More file actions
2710 lines (2710 loc) · 412 KB
/
Copy pathworkflow.json
File metadata and controls
2710 lines (2710 loc) · 412 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
{
"status": "local-process-pilot",
"review_manifest": "docs/standards-review/2026-09-05-approved/manifest.json",
"review_manifest_sha256": "4c93d3ad68e41d27c4b48be0fa34722db75aa0e79ebf2486388c99cd586e3d76",
"interfaces": {
"docs/NATIVE-C.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence. Mapped owner construction uses the component FS-BROKER-INIT contract and AT-BROKER-INIT; this is host/size qualification, not an additional kernel launch profile. Separate AENFS005/ABI31 guarded owner: AT-OWNER-EXEC; matched complete owner and actual static shell/helper build only; native qualification separate.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-CHANNEL.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-COEXIST.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-COMMAND-IO.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-COMMAND-RUNNER.md": {
"status": "proposal",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-CONNECTIONS.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-FILE-IO.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-FILES.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-INHERITANCE-REVIEW.md": {
"status": "proposal",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-INHERITED-LAUNCH.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-INIT.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-IO.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-LAUNCH.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-LOOKUP.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-MEMORY.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-PROCESS.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-PROGRAM.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-SHARED-FILES.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-SUPERVISION.md": {
"status": "experimental-reference",
"validation": "Run the applicable native command in this reference; review identity against its retained evidence.",
"gap": "Manual publication, independent reference review and packaged offline lookup remain open."
},
"docs/NATIVE-CONSOLE.md": {
"status": "experimental-reference",
"validation": "Use the pinned console commands for their existing profiles; selected native-tty-mode-probe additionally uses the current query/model/profile controls and separately reviewed fixed native mode experiment in issue122. Match exact artifacts; private qualification inputs are separate. The selected native-tty-signal-probe also requires exact-target preflight/post, safe mask-return delivery and the matched issue125 consumer. Selected canonical policy reuses the existing MODE/SIGINT kernel closure; issue128 owns its Rust/C consumer and exact byte evidence.",
"gap": "Independent consumer adoption, interrupt service and TTY semantics remain open."
},
"docs/NATIVE-BLOCK.md": {
"status": "experimental-reference",
"validation": "Run block_smoke.py --native, --native --regions and --native --regions --rust-worker with the explicit strict SDK and tool lock.",
"gap": "Filesystem service/consumer adoption, async recovery and physical hardware pending."
},
"docs/NATIVE-TASKQ.md": {
"status": "experimental-reference",
"validation": "Use the NATIVE-TASKQ paired lifecycle invocation in both memory profiles, including exact failure controls and supervisor replacement; retain source/import/layout evidence and run zig build test.",
"gap": "Independent production consumer review, full-engine live resource budgets and filesystem integration remain open."
},
"docs/NATIVE-CAT.md": {
"status": "experimental-reference",
"validation": "AT-CAT-ROLES under the full command suite; source-matched evidence required.",
"gap": "Toybox admission/runtime/finalization and independent consumer acceptance remain open."
},
"docs/NATIVE-SHELL-STARTUP.md": {
"status": "experimental-reference",
"validation": "Run pending/disposition host state and frame-composition tests through zig build test; standalone Debug/ReleaseSafe commands are in the reference. Run the full command-runner suite including cat-roles-startup, shared public/internal mask, synchronous frame/restorer, nested/register/red-zone, return-payload and saved-target mapping checks, preempted RF normalization and forged-frame rejection controls and dup2 replacement/flag/close controls with a pinned SDK and tool lock.",
"gap": "Independent SDK/userland acceptance, custom signal delivery, fork/exec/wait and full dash remain open."
},
"docs/NATIVE-INIT-COMMAND.md": {
"status": "experimental-reference",
"validation": "Run the five source-built handoff cases with the pinned SDK/tools; verify frozen imports and exact terminal/cleanup results.",
"gap": "Sys-init adapter, composed image size/stack, independent acceptance, sustained boot and shutdown remain open."
},
"docs/NATIVE-ENTROPY.md": {
"status": "experimental-reference",
"validation": "Run the sealed private native entropy recipe and existing host/hardware regressions as documented.",
"gap": "SDK facade/adoption, restart/latency/health policy and independent review remain open."
},
"docs/NATIVE-THREAD-REUSE.md": {
"status": "experimental-reference",
"validation": "Run the sealed lifetime recipe and affected older pair/pthread/kernel regressions.",
"gap": "Parent-only two-slot fixture; engine resources, production SDK/TCB and independent review remain open."
},
"docs/NATIVE-THREAD-ORIGIN.md": {
"status": "experimental-reference",
"validation": "Run the sealed nested-creation recipe and affected older pair/pthread/kernel regressions.",
"gap": "Two-slot bare-child fixture; production TCB/SDK, engine resources and independent review remain open."
},
"docs/NATIVE-BACKING.md": {
"status": "experimental-reference",
"validation": "Run the boot reservation packet and host/selected kernel regressions.",
"gap": "Reservation probe only; native aliases, scalable metadata/admission and independent review remain open."
},
"docs/NATIVE-EXTERNAL-BACKING.md": {
"status": "experimental-reference",
"validation": "Run the source-matched embedded/external memory, pair/pthread and private origin/reuse/entropy matrices plus isolated pool/M4 regressions recorded in the reference; run zig build test.",
"gap": "No larger owner/live-worker capacity, general VM implementation, cross-core/physical hardware, full engine or independent SDK/reader adoption."
},
"docs/NATIVE-SERVICE-MEMORY.md": {
"status": "experimental-reference",
"validation": "Run the one-owner memory packet and complete affected native memory/thread/entropy/M4 selection; zig build test.",
"gap": "Trial memory budget only; live-worker/engine admission, independent SDK/reader, hardware and R1 assembly remain open."
},
"docs/NATIVE-SERVICE-SCANS.md": {
"status": "experimental-reference",
"validation": "Run the larger-owner scan packet, selected native memory/M4 and zig build test.",
"gap": "No wall-clock WCET, stack high-water proof, larger live-worker admission, full engine, independent reader/SDK or R1 assembly."
},
"docs/NATIVE-SERVICE-WORKERS.md": {
"status": "experimental-reference",
"validation": "Run the service worker packet, full affected memory/thread selection and zig build test.",
"gap": "Trial live budget only; native engine/TCB/demand, independent reader/SDK, production latency and R1 assembly remain open."
},
"docs/NATIVE-SERVICE-MUSL.md": {
"status": "experimental-reference",
"validation": "Run frozen native-service-musl evidence recipes and zig build test.",
"gap": "Private producer experiment; production port, native engine demand/startup, independent consumer and release remain open."
},
"docs/NATIVE-SERVICE-RETIREMENT.md": {
"status": "experimental-reference",
"validation": "Run the frozen service retirement recipes and zig build test.",
"gap": "Private primary-driven reaper; full engine/progress/production port/independent acceptance remain open."
},
"docs/NATIVE-SERVICE-REAPER.md": {
"status": "experimental-reference",
"validation": "Run frozen native-service-reaper recipes and zig build test.",
"gap": "Private bounded cleanup worker; worker-origin creation, full engine, SDK/independent consumer and R1 remain open."
},
"docs/NATIVE-SERVICE-ORIGIN.md": {
"status": "experimental-reference",
"validation": "Run frozen native-service-origin recipes and zig build test.",
"gap": "Phased fixed-batch creation only; dynamic creation/reuse, production port, full engine and independent SDK/R1 remain open."
},
"docs/NATIVE-SERVICE-DYNAMIC.md": {
"status": "experimental-reference",
"validation": "Run frozen native-service-dynamic recipes and zig build test.",
"gap": "Private bounded creation/cleanup/reuse; production runtime/SDK sizing, engine, independent consumer and R1 remain open."
},
"docs/NATIVE-SERVICE-COPY.md": {
"status": "experimental-reference",
"validation": "Run frozen native-service-copy recipes and selected maintained regressions; zig build test.",
"gap": "Only fixed native mask/descriptor inputs; production SDK/reader, full engine latency and independent consumer/R1 remain open."
},
"docs/NATIVE-SERVICE-PINS.md": {
"status": "experimental-reference",
"validation": "Run frozen native-service-pins recipes and selected maintained regressions; zig build test.",
"gap": "Private mapping pin cost/reuse; production SDK/reader, full engine resources/providers and independent consumer/R1 remain open."
},
"docs/NATIVE-CLOCKS.md": {
"status": "experimental-reference",
"validation": "python3 scripts/libc_clock_smoke.py --libc-build .deps/native-current/sdk --tools-lock .deps/native-current/sdk/tools.lock.json; zig build test; retained raw source/wait probes use current inputs, historical archive replay retired.",
"gap": "BSP q35 only; UTC/TSC/physical/SMP, POSIX timed-condition/SDK adoption, full engine and independent acceptance remain open."
},
"docs/NATIVE-ZSH-APPLICATION.md": {
"status": "experimental-reference",
"validation": "Issue69 selected host plan: actual-path unittest test_fs_application_profile.py, affected kernel models/guards, actual Zsh/envelope parser and configured kernel-check footprint; final zig build test with exact private prerequisites/current associations.",
"gap": "No guest, native heap/stack/IRQ/copy latency, TTY/jobs/persistence or ISO qualification. Private SDK/artifact receipts remain local."
},
"docs/NATIVE-AF09-DRAIN.md": {
"status": "experimental-reference",
"validation": "Issue75 owner-approved closed control, separate implemented source/reader review, actual kernel-body/default guard tests and prospective writer/empty-reader controls. Fresh component/target and major-handoff gates remain separate.",
"gap": "Matched final current qualifications, complete target fit/preparation and later native disposition/guest witnesses remain acceptance gates; no release readiness."
}
},
"tools": {
"scripts/check_workflow.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "blocked-not-written",
"reason": "Developer-facing tool has Markdown usage; mdoc and independent walkthrough are pending before documentation release."
},
"scripts/deps.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "blocked-not-written",
"reason": "Developer-facing tool has Markdown usage; mdoc and independent walkthrough are pending before documentation release."
},
"scripts/display.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "excluded-internal",
"reason": "Private experiment/build helper; use the owning documented workflow. No shipped CLI claim; re-review if exposed as a public command."
},
"scripts/emulator.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "blocked-not-written",
"reason": "Developer-facing tool has Markdown usage; mdoc and independent walkthrough are pending before documentation release."
},
"scripts/image.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "excluded-internal",
"reason": "Private experiment/build helper; use the owning documented workflow. No shipped CLI claim; re-review if exposed as a public command."
},
"scripts/io_smoke.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "blocked-not-written",
"reason": "Developer-facing tool has Markdown usage; mdoc and independent walkthrough are pending before documentation release."
},
"scripts/launch_smoke.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "blocked-not-written",
"reason": "Developer-facing tool has Markdown usage; mdoc and independent walkthrough are pending before documentation release."
},
"scripts/lifecycle.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "excluded-internal",
"reason": "Private experiment/build helper; use the owning documented workflow. No shipped CLI claim; re-review if exposed as a public command."
},
"scripts/memory_probe.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "excluded-internal",
"reason": "Private experiment/build helper; use the owning documented workflow. No shipped CLI claim; re-review if exposed as a public command."
},
"scripts/memory_smoke.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "blocked-not-written",
"reason": "Developer-facing tool has Markdown usage; mdoc and independent walkthrough are pending before documentation release."
},
"scripts/native_smoke.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "blocked-not-written",
"reason": "Developer-facing tool has Markdown usage; mdoc and independent walkthrough are pending before documentation release."
},
"scripts/regression.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "blocked-not-written",
"reason": "Developer-facing tool has Markdown usage; mdoc and independent walkthrough are pending before documentation release."
},
"scripts/reproduce.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "blocked-not-written",
"reason": "Developer-facing tool has Markdown usage; mdoc and independent walkthrough are pending before documentation release."
},
"scripts/smp_supervisor.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "excluded-internal",
"reason": "Private experiment/build helper; use the owning documented workflow. No shipped CLI claim; re-review if exposed as a public command."
},
"scripts/supervised_smoke.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "blocked-not-written",
"reason": "Developer-facing tool has Markdown usage; mdoc and independent walkthrough are pending before documentation release."
},
"scripts/user.py": {
"reference": "docs/DEVELOPMENT.md",
"manual": "excluded-internal",
"reason": "Private experiment/build helper; use the owning documented workflow. No shipped CLI claim; re-review if exposed as a public command."
},
"scripts/console_smoke.py": {
"reference": "docs/NATIVE-CONSOLE.md",
"manual": "blocked-not-written",
"reason": "Markdown transport reference; independent walkthrough and manual pending."
},
"scripts/block_smoke.py": {
"reference": "docs/BLOCK-DEVICE.md",
"manual": "blocked-not-written",
"reason": "Opt-in hardware experiment has Markdown usage; independent manual review pending."
},
"scripts/native_image_smoke.py": {
"reference": "docs/NATIVE-C.md",
"manual": "blocked-not-written",
"reason": "Developer image-admission experiment; Markdown usage below, independent manual review pending."
},
"scripts/thread_smoke.py": {
"reference": "docs/NATIVE-C.md",
"manual": "blocked-not-written",
"reason": "Bounded experimental thread suite; independent walkthrough and mdoc remain pending."
},
"scripts/pipeline_capacity.py": {
"reference": "docs/NATIVE-CONNECTIONS.md",
"manual": "blocked-not-written",
"reason": "Private capacity fixture has Markdown usage; independent walkthrough and manual remain pending."
},
"scripts/entropy_smoke.py": {
"reference": "docs/ENTROPY-DEVICE.md",
"manual": "blocked-not-written",
"reason": "Private BSP hardware experiment has Markdown usage; independent manual and hardware review pending."
},
"scripts/libc_clock_smoke.py": {
"reference": "docs/NATIVE-CLOCKS.md",
"manual": "blocked-not-written",
"reason": "Private actual-musl timed-condition/sleep conformance; production SDK and independent walkthrough remain pending."
},
"scripts/service_clock_smoke.py": {
"reference": "docs/NATIVE-SERVICE-WORKERS.md",
"manual": "blocked-not-written",
"reason": "Private 82-worker clock capacity conformance; SDK/engine and independent walkthrough remain pending."
},
"scripts/service_libc_clock_smoke.py": {
"reference": "docs/NATIVE-CLOCKS.md",
"manual": "blocked-not-written",
"reason": "Private actual-musl 82-worker elapsed-time conformance; maintained SDK/engine and independent walkthrough remain pending."
},
"scripts/service_runtime_smoke.py": {
"reference": "docs/NATIVE-CLOCKS.md",
"manual": "blocked-not-written",
"reason": "Private sealed runtime intake, empty READ/read-write engine startup and actual file-vdev/Rust region qualification; no pool, production service or public SDK acceptance.",
"validation": "Private --pool-zpl-write and --pool-zpl-recover require isolated build-only namespace diagnostics. Compile explicit WRITE7 or READ1 controller/envelope/ABI14 kernel; neither permits guest execution or user-selected modified media."
},
"scripts/zpl_pair.py": {
"reference": "docs/OPENZFS-FEASIBILITY.md",
"manual": "excluded-internal",
"reason": "Private bounded ZPL and filesystem-service qualification; not a public operational service or arbitrary-media runner. Old writers60s6000/readers30s3000 remain. Explicit separate storage-lifetime selects AENBD005 owner27 with unchanged engine26/AF06 for one120s writer,6500-tick idle and post-idle I/O; other limits fixed.",
"validation": "Prepare and admit exact pristine/writer/fresh-reader artifacts before execution; verify actual kernel/cfg/profile/SDK/producer/oracle identities. Only explicit storage-lifetime normal directories may use120s writer; readers30s3000, old modes unchanged. Frozen file/media/export/drain/reclaim/stop/join gates; no automatic retries or archives."
},
"scripts/zpl_namespace.py": {
"reference": "docs/OPENZFS-FEASIBILITY.md",
"manual": "excluded-internal",
"reason": "Fixed private seven-image namespace qualification; no public filesystem API or media selection.",
"validation": "Prepare all seven before VM, fixed one-transaction writers60s/6000/readers30s/3000, original symbol origins/static frames/seals, preceding stopped writer plus fresh reader and exact media admit each internal seed; stop on failure, joined-VM compact cleanup. The --file-sizes selection reuses seven profiles for nonzero shrink, initialized extension and existing two-record repeated writes; source/label/role/witness/actual file-length seals precede exact seeded media and fresh recovery. The exclusive --eight-writes mode selects the approved fixed eight-record/10240-byte observer, source/count/budget seals, full intermediate hashes, ninth sticky-capacity denial and old-default byte equality; all other limits and seven-image recovery gates remain. The exclusive --write-lifetimes mode keeps the native eight-write workload and all limits, but selects one epoch/pin-protected successful record with permanent error/device/summary retention and8192 combined bytes; actual guarded hook source, retirement FFI origins, context consumption, stale/busy/overflow rejection and old-mode equality precede VM.",
"gap": " Separate exact36-member namespace-service selection adds no operational acceptance."
},
"scripts/fs_launch.py": {
"reference": "docs/NATIVE-C.md",
"manual": "blocked-not-written",
"reason": "Build-only static filesystem owner; Markdown command/limits and focused controls are maintained. Native consumer, mdoc and independent review remain open."
},
"scripts/fs_session.py": {
"reference": "docs/NATIVE-C.md",
"manual": "excluded-internal",
"reason": "Private fixed filesystem/SESSION native qualification; no installed user command or release acceptance."
},
"scripts/fs_init_intake.py": {
"reference": "docs/NATIVE-C.md",
"manual": "excluded-internal",
"reason": "Read-only exact ELF/raw owner inspection before the pending sys-init delivery; no guest, lifecycle policy or launch authorization."
},
"scripts/fs_metadata.py": {
"reference": "docs/NATIVE-C.md",
"manual": "excluded-internal",
"reason": "Separate private READ-only Rust metadata/original-decoder disk qualification; no installed command, new client ABI or release acceptance."
},
"scripts/fs_metadata_service.py": {
"reference": "docs/NATIVE-C.md",
"manual": "excluded-internal",
"reason": "Separate private AF07 consuming qualification; no installed command, AF06 repin or release acceptance."
},
"scripts/fs_metadata_launch.py": {
"reference": "docs/NATIVE-C.md",
"manual": "excluded-internal",
"reason": "Separate build-only AF07 owner composition/intake; no installed CLI, old pin update or native acceptance. Markdown commands/limits and scoped internal CLI exception maintained."
},
"scripts/fs_af07_inputs.py": {
"reference": "docs/NATIVE-C.md",
"manual": "excluded-internal",
"reason": "Private offline dependency refresh; no guest or released-pin adoption. Exact selected ABI31 qualification is a separate reviewed component runner; re-review before installed exposure."
},
"scripts/fs_context_launch.py": {
"reference": "userland/docs/proposals/FS-CWD.md",
"manual": "excluded-internal",
"reason": "Private offline AF08 directory/FILE03 build and input checks; no guest or released/default-pin update. Installed/manual/independent acceptance remains separate."
},
"scripts/fs_context_inputs.py": {
"reference": "userland/docs/proposals/FS-CWD.md",
"manual": "excluded-internal",
"reason": "Private offline AF08 directory/FILE03 build and input checks; no guest or released/default-pin update. Installed/manual/independent acceptance remains separate."
},
"scripts/fs_home_launch.py": {
"reference": "userland/docs/proposals/FS-HOME-PREP.md",
"manual": "excluded-internal",
"reason": "Explicit AF09 offline composition with current producer and helper/clock receipts, actual origins and kernel loader admission. No guest, default-pin update or release acceptance."
},
"scripts/fs_home_inputs.py": {
"reference": "userland/docs/proposals/FS-HOME-PREP.md",
"manual": "excluded-internal",
"reason": "Explicit AF09 owner/shell/helper reconstruction, measured fit and current kernel parser admission; no guest, default-pin update or persistence acceptance."
},
"scripts/check_fs_home_prep.py": {
"reference": "userland/docs/proposals/FS-HOME-PREP.md",
"manual": "excluded-internal",
"reason": "Bounded offline preparation guards and typed independent reader checks with compact retained attempts; no guest or persistence acceptance."
}
},
"launch_profiles": {
"--command-runner": "docs/NATIVE-COMMAND-IO.md",
"--file-io": "docs/NATIVE-FILE-IO.md",
"--inherited-launch": "docs/NATIVE-INHERITED-LAUNCH.md",
"--shared-files": "docs/NATIVE-SHARED-FILES.md",
"--connections": "docs/NATIVE-CONNECTIONS.md",
"--program": "docs/NATIVE-PROGRAM.md",
"--coexist": "docs/NATIVE-COEXIST.md",
"--process": "docs/NATIVE-PROCESS.md",
"--lookup": "docs/NATIVE-LOOKUP.md",
"--init": "docs/NATIVE-INIT.md",
"--writable-files": "docs/NATIVE-FILES.md",
"--files": "docs/NATIVE-FILES.md",
"--channel": "docs/NATIVE-CHANNEL.md",
"--init-large": "docs/NATIVE-INIT.md",
"--init-composed": "docs/NATIVE-INIT.md"
},
"test_groups": [
{
"id": "AT-HOST",
"reference": "docs/DEVELOPMENT.md",
"invariants": "Loader bounds; capability/memory/IPC lifetime; frame/wait models; pure exec candidate preservation/reset without publication; standards pin rejection; pure bounded CLOEXEC descriptor preparation, local holder releases and rejected-input preservation; private pipe core FIFO/backpressure, canonical replies, staged holders, terminal release, stale-generation rejection and pending-aware retirement (host only); null-profile four-binding CLOEXEC preparation keeps null distinct from copied stdin, rejects invented counts and leaves live inputs unchanged (host-only, no native open route); suspend-frame preparation separates temporary handler mask from restored original mask, preserves EINTR and rejects invalid stack writes (host-only, no suspend syscall or scheduler integration); opt-in native suspension adds terminal-derived SIGCHLD, pending-before-entry libc checks and unchanged wait.sh helper7/parent0/backend17 twice with six reclaims; disabled route rejects parent233/owner1950; forced race, stale-parent and parked-stop controls remain pending; scratch backend canonical records, read/write rights, retained bytes, allocation-before-truncate, stale/foreign lifetime and retired-slot rejection (host transitions and no_std compilation only; not yet wired to shell); scratch open-description owner shares offsets across authenticated parent/child holders, closes backend only after final holder, reserves before truncate, rejects stale child epochs and poisons uncertain replies without replay (host composition only); private scratch descriptor gateway validates root/binding/canonical records; C open adapter checks grants, flags, capacity-before-send, CLOEXEC and malformed-reply poison (host witness only; native descriptor/fork table integration pending); private exec handshake fragments1\u201316, EAGAIN preservation, one operation per poll, idempotent completion and malformed opcode/image/slot/generation/padding rejection before reply (mock transport only)",
"command": "zig build test --cache-dir .zig-cache --global-cache-dir .zig-cache/global",
"oracle": "All discovered Zig and Python tests and offline checks pass; no zero-test or missing-tool success",
"gaps": "Models do not establish native isolation; no bounded parser fuzz runner yet",
"budget_seconds": 900,
"owner": "Aether maintainer; standing complete-host budget in PROJECT; implementing contributor retains and triages each run",
"historical_budget_note": "The following historical record preserves the then-current policy. The current AT-HOST budget and PROJECT owner decision govern subsequent complete host gates; the old exception remains consumed.",
"historical_af09_host_gate": {
"issue": "https://github.com/gonz0w/Aether/issues/2",
"date": "2026-10-25",
"attempt": "private attempt05",
"status": "passed; one-run exception consumed",
"aggregate_seconds": 900,
"elapsed_seconds": 530.184,
"python_tests": 976,
"child_seconds": 180,
"diagnostic_bytes_per_stream": 4194304,
"scope": "Private complete unfiltered gate, final source/tools/accepted legacy pair,9115 inputs/six artifacts/owned cleanup; no guest. Attempts01-04 remain failed. Not public replay or standing permission; budget_seconds remains300."
}
},
{
"id": "AT-BOOT-SMP",
"reference": "docs/CONTRIBUTING.md",
"invariants": "Per-core authority, fault replacement, stale transport, backing zeroing, rendered output",
"command": "python3 scripts/regression.py",
"oracle": "Seven cases with exact marker/panic/context and pixel expectations",
"gaps": "Physical RTX 3060, hardware failure containment and long soak not verified",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-COMMAND-RUNNER",
"reference": "docs/NATIVE-COMMAND-IO.md",
"invariants": "Scoped launch and two-binding authority; actual libc I/O; terminal kind; consumed close; selected reply faults poison the connection without byte publication or further channel calls; malformed second bootstrap binding publishes neither descriptor; complete malformed launch frames reject without receipts and permit valid retry; pre-admission EOF rejects at the exact drained prefix length; opt-in six-argument startup carrier validates and copies without widening native Args; collected result mapping preserves normal status and native fault identity; combined carrier forwards exact child argv/environment before mapped completion; runner-local empty-output witness requires explicit closes, unchanged backend bytes, zero child admission and exactly four reclaims across two generations; separate AEOUT001 runner roles validate before publication and deliver exact text to independently read back bounded sinks; deterministic zero/EIO/ENOSPC/consumed-close errors require exact prefix, observed failure, exit1, no replay and complete independently verified cleanup; actual zero/eight-byte reply cuts poison client traffic and require exact post-terminal owner alias retirement before backend cleanup; AEOUT001 malformed field categories publish no bindings and a capacity-validation bypass is rejected independently; AERIO001 denial witnesses require actual request/errno, no child admission, exact stderr and reservation-quota restoration; composed denial diagnostic failures preserve actual errno, require status1 and independently consume all four aliases, with post-terminal owner retirement after lost replies; AERIO001 child success requires retained delegated input after parent close, independent child output, consumed collection, exact backend readback and six reclaims; selected four-role nonzero/fault mapping preserves raw terminal kind, retires remaining child aliases only after terminal/EOF, and forwards copied AERUN001 arguments to an independent child observer; RL return coverage includes short writes for statuses0/2/64, forbidden help launch and prior-generation collection rejection",
"command": "python3 scripts/launch_smoke.py --command-runner --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees; private native pipe FIFO/EOF/backpressure and interrupted-create cleanup are covered by AT-CONNECTIONS; public pipe/SDK integration and actual substitution remain unqualified; selected opt-in SIGPIPE schedules are covered by AT-CONNECTIONS",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-FILE-IO",
"reference": "docs/NATIVE-FILE-IO.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --file-io --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-INHERITED-LAUNCH",
"reference": "docs/NATIVE-INHERITED-LAUNCH.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --inherited-launch --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-SHARED-FILES",
"reference": "docs/NATIVE-SHARED-FILES.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --shared-files --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-CONNECTIONS",
"reference": "docs/NATIVE-CONNECTIONS.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile; native exec descriptor preparation/CLOEXEC removal and retained alias offset; missing/partial exec final-close receipt requires confirmed stop before reclaim; exec bootstrap/table stalls deny application readiness and require confirmed stop; exec bootstrap EOF/malformed rejection preserves exact terminal and cleanup outcomes; cross-process exec holders preserve shared position and backend lifetime until confirmed final close; peer-first normal/fault termination preserves surviving holders and requires exact terminal before fault cleanup; incomplete shared close receipts keep exec parked and require all affected domains stopped before reclaim; private musl execve staging preserves error conversion, argument delivery and non-returning successful replacement; caller-mask guard restores failure state and keeps successful replacement blocked until descriptor installation; composed public fork/exec/wait preserves parent holders, shared position, child identity and observed replacement status, rejecting CLOEXEC leakage and false wait status; bounded post-fork incremental dispatch permits child exec/I/O during parent blocking wait in two request orders, rejecting foreign references and premature wait completion; pre-fork file/wait requests preserve positions through admission and reject false no-child success and foreign references; explicit AENMX002 capacity preserves old-version limits and mapping protections; pinned actual dash explicit subshell command preserves startup authority, stdio, CLOEXEC removal and real wait3 status with exact skip-main/leak/status controls; explicit source-built native dash ordinary command selects existing forkshell, preserves the disabled upstream vfork branch and retains the prior shell lifecycle/FD/status checks; serial dash shares one UART backend across two sessions using native one-byte input fallback and preserves denied generation reuse; a healthy original console parent cleans up independently of exit value and resumes stdin after child collection; opt-in ABI17 pipe probe carries five-binding fork v2, authenticated endpoint transfer, full-buffer progress, EOF before wait and six real reclaims; premature EOF and retained terminal writer reject with named states; INT32_MIN create reply rejects before errno negation and FD publication, with no retry and terminal-before-retirement witness; interrupted create replies at zero/one/31 bytes require EIO, mask preservation, no FD publication or retry, terminal-based holder release and three complete parent/backend lifetimes; retained-holder mutant rejects retirement; a real child UD2 after a17-byte write prefix preserves256 buffered bytes through EOF before wait, discards only the confirmed-terminal partial frame, reports SIGILL and completes six reclaims; retained-frame and false-normal-status controls reject; a complete blocked pipe write is discarded only after capability stop and exact terminal observation, preserving256 bytes to EOF before collection; skipped-stop and retained-pending-frame controls reject with zero reclaims; opt-in native SIGPIPE posts once after validated EPIPE, preserves masks/errno, handles ignored/handled/blocked/coalesced signals and pending-ignore discard, and observes real default signal13 termination directly and after unblock; missing post/poll controls reject; actual dash command substitution uses pipe/fork/dup2/EOF/wait3 and forwards exact outer stdout to the independent backend across two lifetimes; v1 header and false wait status reject; repeated dash substitutions retain one parent while advancing pipe/child/freeze generations, retiring after EOF and wait ACK; fresh builtin-only shell verifies backend reuse; serial pipe profile reads commands only from scoped console backend, retains EAGAIN requests without advancing offsets, resumes prompts after acknowledged child collection and shares UART across two shell sessions Opt-in copied-child SIGCHLD/sigsuspend: unchanged dash wait.sh; forced pending-before-entry and terminal-after-observed-park, one handler/EINTR/original-mask return, retained wait status and two generations. Omitted park must reject owner2330 with zero reclaims. Private supervisor query exposes only a parked bit under the existing handle authority. Suspend lifecycle: confirmed parked stop clears state, repeats preserve terminal cause, parent channel reaches EOF, retired query/stop handles reject; ignored or temporarily blocked SIGCHLD preserves parking through child exit; repeated child stop after handler completion preserves child status and must not repost. Each success reclaims six domains across two generations; skipped stop rejects owner2331 before child completion. An injected duplicate self-post after the repeated-stop boundary rejects parent236/owner1950 with zero reclaims. Stale-parent rendezvous: replacement generation2 installs/blocks SIGCHLD before old child1 exits, polls for zero old deliveries, then its own child2 wakes it normally; six total reclaims. Old query/stop handles reject after replacement. An injected pending post rejects replacement237/owner1950 after exactly three reclaims. Failed suspend-frame entry: three insufficient-stack positions reject EINVAL with original mask, zero handlers and unchanged 1024-byte canary; normal-stack retry consumes the retained child notification exactly once. A valid-stack control rejects parent238/owner1950 with child72 and zero reclaims.; the opt-in failed-exec prototype forwards missing and present-without-image-grant routes to the owner, preserves denied-child copied references and rollback state, and requires actual127/126 child outcomes plus parent0/backend17 and four reclaims; full qualification is tracked in STATE; opt-in scratch backend preflight checks real IPC create/write/reopen, rights and stale references over two lifetimes; dropped-write and stale-epoch controls reject before shell descriptor adoption; scratch owner composition uses real backend IPC to qualify shared holder offsets, last-holder close and independent read descriptions; offset and early-close mutants reject2503 before native FD-table adoption; live C scratch open/fcntl/read/write/close exercises shared alias offsets and independent opens before copy; owner verifies AB readback and empty holders, with offset/CLOEXEC controls; scratch close EIO poisons",
"command": "python3 scripts/launch_smoke.py --connections --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json; freeze positives require repeated cancellation or stop and exact terminal order; six reclaims, except four in the unsupported signal-action/runner-local profile; skipped parking/stale-token acceptance reject1710/1712 with zero reclaims; private copy, local libc child rebinding with omission controls, and copy-profile generation-bound set_tid_address with registration isolation checks isolated continuation/grants/anonymous mappings and staged rollback with six reclaims; sharing/ownership/zeroing mutants reject1821/1820 or named rollback invariant; inherited-stream copy uses real startup FD10/CLOEXEC and shared backend position/lifetime across two generations, terminal order0=71/2=72/1=17 with six reclaims; private-position and early-close mutants reject1903/1952 with zero reclaims; rejected receipt/completion and confirmed child stop recover parent FD10/position with six reclaims; omitted receipt/child gate/parent gate/stop reject1961/1963/1962/1964 before reclaim; injected pre-copy ENOMEM preserves frozen source, closes staged endpoints, cancels matching sequence and preserves parent FD10/input position; replacement slot generation remains available; leaked endpoint/premature backend close/omitted cancel reject1972/1952/1973 before reclaim; missing/partial child receipt/acknowledgment hits bounded readiness limit, then verified stop and parent recovery with six reclaims; zero-padded partial ack/omitted stop reject1982/1981 before reclaim; shared backend malformed reply blocks both client aliases with EIO, confirmed backend stop before six reclaims; alias bypass/omitted stop reject1992/1993 before reclaim; missing/17-byte backend replies use bounded shared recovery, false padding rejects source254/owner1992 and omitted stop rejects1993; uncertain write/final close require shared blocking and confirmed stop; replay rejects backend124/owner1994 or1995, false close success child255/owner1996, omitted stop1993 before reclaim; missing/17-byte write and close replies retain shared uncertainty, padding rejects source254/1992 or child255/1996, missing-reply omitted stop1993; incomplete final parent/child completion contains both clients before draining peer request, idle backend17 and six reclaims; padding2001/omitted stops2002 or2003 reject before reclaim; nine invalid client descriptor preparations send no plan, source78/backend17 and six reclaims over three generations; skipped validation2010/leaked reservation2011 before reclaim; preparation mask held through completion and restored on success/rejection/rollback with nonzero seed; skipped entry/rejection restore client79/2010, parent or child restore79/1950 before reclaim Explicit native-copy-signals checks private dispositions, empty child pending state, parent delivery, inherited handler return and rollback; disabled opt-in246/1800, dropped records247/1820, copied pending248/1820 and lost parent pending248/1821 reject before reclaim. Copied-handler R12/XMM14 restoration, invalid private payload rejection/repair and nonlocal escape retain positive lifecycles; omitted corruption or bad saved register/FP rejects child250/1820, omitted escape mask child249/1820 before reclaim. Signal/descriptor composition requires completed publication, repaired identity/auxv/references and private FD10 state before handler-local dup/close; success and rollback keep six reclaims; early restore, corrupt decoded completion or stale child refs/missing post reject client79/1950 before reclaim. Live-handler preparation/receipt/completion rejection restores mask and errno through an observer with zero FD operations, preserving normal recovery; omitted abort selection or descriptor access rejects client79/2010 or1960 before reclaim. Live-handler missing/partial receipt, readiness and final completion retain confirmed-stop containment, parent recovery and six reclaims; padding and omitted-stop controls require 1982/1981/2001/2002/2003 with zero reclaims. Public musl fork: two returns, inherited CLOEXEC, libc TID repair, mask/errno and shared offsets; known rollback/denial and missing-repair/premature-flag controls. Public fork live signals and real atfork reverse/forward callback order, libc repair before delivery, failure unwinding; reversed registration/missing child post/omitted repair require client81/owner1950 and zero reclaims. Public waitpid: pending WNOHANG, PID/options errors, checked EFAULT without consumption, normal/NULL collection and repeat ECHILD; wrong status/premature consumption require client82/owner1950 and zero reclaims. Retained wait distinguishes exit134, actual #UD(kind2/detail134) and SIGTERM(kind4/detail15), with no core bit; fault/signal-as-exit controls require parent82/owner1950 and zero reclaims. Missing/partial wait headers, short status and lost/malformed ACK replies require EIO, mask restoration, retained-versus-consumed owner state and no retry traffic over two generations/six reclaims; bypassing both poison guards rejects2024, false ACK success parent82/2023 before reclaim. Source-built wait3/wait4 retain collection and reject non-NULL rusage before output/traffic; four positives repeat six reclaims, omitted usage gate rejects parent82/1950 before reclaim; independent SDK adoption remains separate. Native exec image gate: rejected admission preserves old TLS/stack through cancellation, committed image remains parked until matching publication, stable PID/argv/env/fresh TLS, retained query and six reclaims; early-publication/stale-token controls reject2031/2032 before reclaim; valid-endpoint copying of unpublished images rejects EBUSY without mutation, bypass control rejects2035 and allocation/cleanup errors are distinct2036. No Unix FD/CLOEXEC claim.; real dash explicit subshell requires child72/parent72/backend17 twice and six reclaims; skip-main parent72/1950, CLOEXEC leak child224/2130 and corrupted wait parent73/2130 require zero reclaims; ordinary-command candidate child72/parent72/backend17 twice and six reclaims; unconfigured branch must reject before reclaim, leaked CLOEXEC child224/2130 and false wait parent73/2130; serial dash requires two actual prompts, host command/child input exchanges,16/24/2 stream byte totals and six reclaims; original tee input rejects2140 before child admission, wrong child input224/2130 with zero reclaims; resumed serial sessions require four prompts, separate post-child commands, real status72 output, parent0/7,22/27/4 byte totals and six reclaims; old cleanup gate parent0/2131 with zero reclaims and wrong second exit parent8/2130 with two reclaims reject; one serial dash parent runs three external children with slot2 generations1\u20133, stable PPID5, four prompts,36/51/8 byte totals and six reclaims; collected children are reclaimed before further admission; stale copy token rejects2151 and parent-generation bootstrap rejects child224/1950 on child2 after exactly one reclaim; actual builtin stdout-to-stderr redirection and restoration precede three external commands, with72/60/19 byte totals, four prompts and six reclaims; raw inactive FD metadata in fork/exec requests rejects2150/2120 with zero reclaims while live-entry validation remains strict; dash pipe positive verifies pipe and backend bytes pipe\\n, real child0/parent0/backend17 and six reclaims; header2174 and false status parent1/owner2176 reject with zero reclaims; repeated substitution stdout pipe\\npipe\\n then fresh shell clean\\n, six real reclaims; stale freeze token2179 and stale pipe receipt child80/owner2180 reject after exactly one reclaim; serial substitution types four commands at four prompts, verifies two pipe lines and one clean line, six real terminal/reclaim outcomes and denied replacement UART grant; altered input rejects2182 before fork, stale second copy token rejects2179 after one reclaim; DASH-signal-table runs unchanged substitution and USR1 trap with exact pipe and backend bytes and six reclaims; dropped post rejects2175 after child0, bypassed PID scope terminates parent with signal10 and rejects2176 before child admission; DASH-argv runs unchanged script and pinned helper via actual fork/exec/wait, requires backend readback argv ok and six reclaims; corrupted argument/environment yields child91/owner2130, skipped helper rejects2310 with zero reclaims; serial pipe-exec repeats external substitutions at observed prompts, reclaims two children then a clean second shell and verifies six terminals; second-cycle stale commit rejects2184 after one reclaim, stale startup grant yields child227/owner2176 after one reclaim; pipe-exec runs actual dash external substitution after denied admission, preserves stdout pipe alias across replacement while FD10/11 close, requires pipe bytes/EOF and six reclaims; stale commit rejects2184 before publication with zero reclaims and dropped survivor table yields child227/owner2176 with zero reclaims Consumer closure runs unchanged fd-closure.sh and helper closed through actual dash fork/exec/wait; stdout closed ok newline, child/parent0/backend17 twice and six reclaims. Injected FD3 returns helper95/owner2130; corrupt wait status gives child0 then missing-output owner2310 before parent terminal publication, zero reclaims. These are producer controls, not the writable consumer leak script. Scoped null/subshell profiles require advertised child-only create authority, EOF from separate binding3, unchanged original stdin, CLOEXEC filtering, private null ok output, actual helper7 and parent0/backend17 twice with six reclaims. Wrong-handle bypass gives child2/owner2130, false EOF gives child224/owner2130, and retained exec table gives child224/owner1950; all require zero reclaims. Native null lifetime probes reopen instances2\u201316, reject stale read/close and foreign-generation references, reject active and exhausted opens, and leave no active object. False stale-read success yields child225/owner2130 and false exhausted-open success yields child226/owner2130, both with zero reclaims. These are raw owner-protocol probes, not libc reopen support. Null exec first returns actual EACCES after native prepare rejects an unauthorized image, preserves commit inspection and holders, resumes token1, verifies client FD/mask/null EOF and retries the identical record with token2. Premature null close gives child231/owner2130; missing mask restoration gives child229/owner2130, zero reclaims. The unchanged background wait now passes in the opt-in suspend profile; this is not general writable null or inherited-null fork support. The unchanged scratch fd-leak-control selection requires actual helper95, dash22, empty stdout, backend17 and six reclaims over two lifetimes. Parent-ref child grant rejects child80/owner1980; omitted replacement description rejects child224/owner2130; skipped consumer helper rejects child0/owner2130, each with zero reclaims. The unchanged scratch redirection selection requires AB readback through actual helper stdin, helper0/dash0/backend17 twice and six reclaims. Lost B write and skipped helper reject owner2310; retained old stdin rejects child0/parent0/owner2131, each with zero reclaims. Frozen fork/exec retain old stdin at CLOEXEC FD10 and FD11; exec removes both aliases and only the child holder. Unchanged denied-redirection uses the child fork stream handles without exec, requires authenticated backend EACCES, child2/parent0/backend17 twice, exact denied ok newline and six reclaims. Wrong errno rejects owner2554; lost stdout rejects owner2310, both with zero reclaims. Unchanged consumer substitution requires four quoted arguments, WITNESS=value, actual helper argv ok newline through inherited pipe stdout, dash substitution ok newline, helper0/parent0/backend17 twice and six reclaims. Wrong replacement argument and skipped helper fail pipe EOF accounting with owner2175 and zero reclaims before terminal observation. Native denied-exec retry, CLOEXEC and exact pipe/output readback remain required. The pipe-core host gate now exercises the shared two/four-participant implementation: 34 Rust tests, authenticated peer generations, staged holder reservation, last-writer EOF, last-reader EPIPE, exec non-amplification and all-slot pending-aware retirement. The separate two-pipe routing adapter has eight additional host tests (42 combined), validating object/reference/binding isolation and preserving per-object lifetime and participant enforcement. Seven-binding preparation and atomic two-object fork/exec/readiness/terminal transitions now have five further semantic tests; the combined host wrapper now runs 69 tests including 13 repeated descriptor-validator tests, explicit nine-creation/fifteen-participant session bounds, stale routed identities and a three-child collection ledger with delivery/reclaim barriers. These added session cores are host/no_std coverage only; no native composed session is inferred. Native pipeline dispatch and matching pipeline qualification are not yet implemented; the separate AT-PIPELINE-CAPACITY fixture covers five-worker capacity; existing native pipe cases remain regressions for the two-participant interface. Candidate AENMX004 parsing is covered by the ordinary native_launch host tests: five disjoint entropy slices, strict framing/limits and rejection by the normal bundle parser. AENMX004 activation is separately tested by AT-PIPELINE-CAPACITY; ordinary bundle parsing still rejects it.",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees; private pipe probe qualifies its selected SIGPIPE schedules but does not supply public pipe(), installed SDK integration, general signal interruption/restart, live-client recovery, copy rollback or actual dash substitution",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-PROGRAM",
"reference": "docs/NATIVE-PROGRAM.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --program --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-COEXIST",
"reference": "docs/NATIVE-COEXIST.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --coexist --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-PROCESS",
"reference": "docs/NATIVE-PROCESS.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --process --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-LOOKUP",
"reference": "docs/NATIVE-LOOKUP.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --lookup --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-INIT",
"reference": "docs/NATIVE-INIT.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --init --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-WRITABLE-FILES",
"reference": "docs/NATIVE-FILES.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --writable-files --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-FILES",
"reference": "docs/NATIVE-FILES.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --files --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-CHANNEL",
"reference": "docs/NATIVE-CHANNEL.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --channel --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-STARTUP",
"reference": "docs/NATIVE-C.md",
"invariants": "Target startup, ownership, mappings or retained terminal records as scoped by reference",
"command": "python3 scripts/native_smoke.py --help; use the full pinned workload invocation in the reference",
"oracle": "Help is discovery only, NOT a test pass; execute all required positive/rejection cases in reference",
"gaps": "Native sanitizer runtime unavailable; host models and explicit native rejection controls compensate only for covered invariants",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-MEMORY",
"reference": "docs/NATIVE-MEMORY.md",
"invariants": "Per-instance quota, cross-leaf protection/release, stale grants, stop/reuse; default 128-page and opt-in 2048-page modes; distinct TLS/XMM contexts and skipped-FP-restore rejection",
"command": "python3 scripts/memory_smoke.py --help; run both default and --large with the pinned inputs in the reference",
"oracle": "Help is discovery only, NOT a test pass; execute all required positive/rejection cases in reference",
"gaps": "Native sanitizer runtime unavailable; host models and explicit native rejection controls compensate only for covered invariants",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-IO",
"reference": "docs/NATIVE-IO.md",
"invariants": "Target startup, ownership, mappings or retained terminal records as scoped by reference",
"command": "python3 scripts/io_smoke.py --help; use the full pinned workload invocation in the reference",
"oracle": "Help is discovery only, NOT a test pass; execute all required positive/rejection cases in reference",
"gaps": "Native sanitizer runtime unavailable; host models and explicit native rejection controls compensate only for covered invariants",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-SUPERVISION",
"reference": "docs/NATIVE-SUPERVISION.md",
"invariants": "Target startup, ownership, mappings or retained terminal records as scoped by reference",
"command": "python3 scripts/supervised_smoke.py --help; use the full pinned workload invocation in the reference",
"oracle": "Help is discovery only, NOT a test pass; execute all required positive/rejection cases in reference",
"gaps": "Native sanitizer runtime unavailable; host models and explicit native rejection controls compensate only for covered invariants",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-CONSOLE",
"reference": "docs/NATIVE-CONSOLE.md",
"invariants": "Caller-bound UART grant, validation before effects, partial nonblocking I/O and permanent close; exclusive recipient generation binding; console/client isolation through paired channels; explicit AENMX003/ABI18 composes existing UART handoff with the three-image,16KiB process-owner layout",
"command": "python3 scripts/console_smoke.py --libc-build <strict-sdk> --tools-lock <pinned-tools.json>; repeat with --handoff and --handoff-fault and --relay and --connections",
"oracle": "Exact binary echo and console pass; wrong input rejects at supervisor 901 (v1) or 941 (v2); fault recipient has kind 2/detail 134 and replacement is denied; relay peer rejects wrong input at supervisor 941/reclaimed 0, altered peer reply fails exact serial-byte oracle; --connections requires six terminal/reclaim outcomes, four denied slot reuses with the UART left open, and full16KiB owner mapping",
"gaps": "Physical UART line-error injection and production terminal integration pending",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains each attempt"
},
{
"id": "AT-BLOCK",
"reference": "docs/BLOCK-DEVICE.md",
"invariants": "BSP owns static DMA backing; bounded sector I/O and mandatory flush; only disposable disk sector 7 changes",
"command": "python3 scripts/block_smoke.py",
"oracle": "Write then fresh-VM verification and whole-disk host byte comparison; exact absent/read-only/corruption panics",
"gaps": "No user grant, filesystem, physical hardware, power-loss durability, IOMMU or timeout injection",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains every attempt"
},
{
"id": "AT-NATIVE-BLOCK",
"reference": "docs/NATIVE-BLOCK.md",
"invariants": "Caller/generation-bound sector/region grant, attenuated bounds and rights, atomic metadata preflight, private copied buffers and no grant inheritance on reuse",
"command": "python3 scripts/block_smoke.py --native --regions --libc-build <strict-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact native block marker, unchanged disk canaries, readonly rights denial, fault kind/detail, corrupt seed rejection at supervisor 841/reclaimed 1",
"gaps": "No filesystem service, power-loss guarantee, asynchronous I/O or consumer adoption",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains every attempt"
},
{
"id": "AT-LARGE-IMAGE",
"reference": "docs/NATIVE-C.md",
"invariants": "Explicit large static ELF limits; pre-admission rejection; full initialized/BSS verification and replacement",
"command": "python3 scripts/native_image_smoke.py --help; run the pinned invocation in NATIVE-C.md",
"oracle": "Positive and replacement must complete; invalid images reject with the expected reason before worker admission",
"gaps": "Independent consumer review, optimized modes and native engine integration remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains each run"
},
{
"id": "AT-THREAD",
"reference": "docs/NATIVE-C.md",
"invariants": "Scoped one-child creation, separate CPU/TLS state, shared memory, live storage pins, child exit, domain fault and stop/replacement; compare/wait/wake, idle deadlines and blocked-word teardown; declared TLS extents and separate parent/clear-TID storage",
"command": "python3 scripts/thread_smoke.py --help; run default and --large, for the thread, --waits, --stacks, --storage, --libc-tls, --indefinite, --libc-wait, --libc-lock and --signal-mask, --pthread-preflight, --pair and --pthread-lifecycle suites, with the explicit libc/tools pins in NATIVE-C",
"oracle": "Seven thread, six wait, six stack and six storage and seven libc TLS and six indefinite-wait and eight libc-wait and nine libc-lock and eight signal-mask cases and three pthread-preflight and forty-six pthread-lifecycle and ten pair cases per memory profile; exact semantic rejection and fresh domain completion",
"gaps": "No production pthread facade, cancellation/timed conditions, independent review or optimized/stack-high-water evidence",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains each attempt"
},
{
"id": "AT-INIT-LARGE",
"reference": "docs/NATIVE-INIT.md",
"invariants": "Scoped authority, framing, resource ownership, rejection and cleanup in the named native profile",
"command": "python3 scripts/launch_smoke.py --init-large --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Exact profile case list and ordered terminal/panic markers in the reference; complete source-matched results.json",
"gaps": "Independent consumer adoption is separate; bounded fixtures are not general POSIX or recovery guarantees",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-OPENZFS-DEMAND",
"reference": "docs/OPENZFS-FEASIBILITY.md",
"invariants": "Unchanged engine/owned media; creation-time role labels, registration/cleanup accounting and simultaneous first aggregate-peak census; no native budget inference",
"command": "Use docs/evidence/openzfs-live-roles-2026-09-07/README.md pinned offline build and qualify.py with fresh outputs; preserve all attempts",
"oracle": "Signature assertion, distinct gated labels and exact dropped-label plus prior controls; complete role/counter/peak reconciliation and independent name counts; warmup plus ten processes per view, storage/zdb and frozen inputs",
"gaps": "Requested labels can aggregate queues; registration ends before TLS/kernel exit; no required-concurrency proof, full exit census, touched-stack high-water or true heap peaks; dispatch/dependency review and native service remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor owns measurement and failure retention"
},
{
"id": "AT-OPENZFS-TASKQ",
"reference": "docs/OPENZFS-FEASIBILITY.md",
"invariants": "Actual upstream taskq cross-queue progress, whole-queue drain, nonblocking entry rejection/reuse and explicit unsupported delayed dispatch",
"command": "Use docs/evidence/openzfs-taskq-drain-2026-09-06/README.md pinned offline build and one-off qualify.py with fresh owned outputs",
"oracle": "Three cycles per positive, warmup plus ten repetitions; exact premature-drain and false-delay controls; queued/active/allocation state and host/source checks",
"gaps": "Linux fixture; system workers remain; no general executor sharing, live thread quiescence, TQ_SLEEP hard limit, native taskq port or delayed execution",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-NATIVE-TASKQ",
"reference": "docs/NATIVE-TASKQ.md",
"invariants": "Scoped TSD/arena, two-worker cross-queue progress, whole-queue drain, saved-ID stop/unmap/retire, two generations/four admissions and exact failure controls",
"command": "Use NATIVE-TASKQ native integration invocation: scripts/thread_smoke.py --pthread-lifecycle with pinned SDK/tools in both default and --large profiles; zig build test. Retained object recipe covers layout/import rejection.",
"oracle": "Exact zero terminals and unchanged native pass markers; supervisor replacement; exact controls 328/329/303/302/312; quota and pthread-list restoration",
"gaps": "Bounded native fixture accepted; no production runtime acceptance, full-engine live-resource sizing or filesystem service integration",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor owns scoped source adaptation and evidence"
},
{
"id": "AT-CAT-ROLES",
"reference": "docs/NATIVE-CAT.md",
"invariants": "Atomic three-role bootstrap, exact finite binary copy and separate diagnostics, explicit alias/backend closes, terminal EOF and four native reclaims; no Toybox or runner-child-admission claim; optional direct owner-selected cat template validates before reservation, observes native EINVAL with endpoint retention and independent copied argv/env after overwrite; bounded extra arguments require exact diagnostic64, zero stdin requests, empty stdout, consuming closes and semantic rejection controls; complete I/O/close EIO retains exact prefixes, nonzero status and remaining cleanup without replay; malformed/truncated cat replies require zero post-poison channel traps, local retirement, exact committed prefixes and separately verified remote cleanup; EINTR preserves errno/nonretry/prefixes and completed finalization re-entry retains status without channel traps; fault/forced-stop kinds, exact prefixes and owner cleanup without client finalization remain independently checked",
"command": "python3 scripts/launch_smoke.py --command-runner --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "cat-roles case statuses and exact 1502/1503/1505 controls in complete results.json; prior command cases retained",
"gaps": "CAT-01\u201308 Toybox consumer acceptance, general unknown recovery and extended coverage remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-CAT-STARTUP",
"reference": "docs/NATIVE-CAT.md",
"invariants": "Actual toy_singleinit mask exchange/restore, observed TLS and real allocator/setvbuf, private no-memory denial; empty three-role cleanup and four reclaims; no cat_main or exit-hook acceptance",
"command": "python3 docs/evidence/toybox-native-mask-2026-09-07/run-native.py",
"oracle": "startup terminal0/backend17 twice with100/reclaimed4; wrong-old/skip-init115 and no-memory116 reject at owner1501",
"gaps": "Actual applet/stdio vector/terminal adaptation, recursive callbacks and consumer acceptance remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-CAT-VECTOR",
"reference": "docs/NATIVE-CAT.md",
"invariants": "Private two-vector gathering through existing scoped transport; validation before effects, confirmed short progress and shared poison without replay",
"command": "python3 docs/evidence/native-vector-2026-09-07/run-native.py",
"oracle": "Seven native positives with exact 0/1 terminals and four reclaims; prefix mutant owner1505, null-check mutant client117/owner1501",
"gaps": "No actual musl stdio loop, Toybox applet, finalization or consumer acceptance",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-CAT-STDIO",
"reference": "docs/NATIVE-CAT.md",
"invariants": "Actual musl stdio callback on native scoped vector bridge; prefix/new-data accounting, FILE reset/error state, confirmed progress and no replay after unknown",
"command": "python3 docs/evidence/native-stdio-2026-09-07/run-native.py",
"oracle": "Seven normal/error scenarios with exact 0/1 terminals and four reclaims; corrupted bytes owner1505; wrong count client118/owner1501",
"gaps": "Internal callback only; no public fwrite/fflush, actual Toybox applet, terminal adaptation or independent consumer acceptance",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-CAT-PUBLIC-STDIO",
"reference": "docs/NATIVE-CAT.md",
"invariants": "Actual public musl setvbuf/fwrite/fprintf/fflush/ferror on scoped output and diagnostic roles; buffering distinguished from flush completion; no replay after unknown; cleanup before reclaim",
"command": "python3 docs/evidence/native-public-stdio-2026-09-07/run-native.py",
"oracle": "Eleven positive/error scenarios with exact 0/1/64 terminals and four reclaims; corrupted output and omitted diagnostic reject at owner1505",
"gaps": "Private image libc substitution only; actual Toybox applet and terminal callbacks, public runtime adoption and independent consumer acceptance remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-TOYBOX-CAT",
"reference": "docs/NATIVE-CAT.md",
"invariants": "Actual toy_singleinit/cat_main/xexit and private post-rebound cleanup seam; ordered real callbacks and observed real fflush/ferror; binary/empty/short copy and native reclaim",
"command": "python3 docs/evidence/toybox-native-cat-2026-09-07/run-native.py",
"oracle": "Three positives repeat0/17 with100/reclaimed4; skip-copy1505, skip-callback/flush120 then1501, skip-close1503",
"gaps": "Bounded normal exit only; actual applet error/usage paths, recursive/signal finalization, complete CAT consumer handoff and R1 remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-TOYBOX-ERRORS",
"reference": "docs/NATIVE-CAT.md",
"invariants": "Opt-in actual Toybox16-byte error accounting; exact EIO/EINTR diagnostics; no read/write retry and no post-unknown channel traps; owner cleanup across replacement",
"command": "python3 docs/evidence/toybox-native-errors-2026-09-07/run-native.py",
"oracle": "Nine positive/error scenarios repeat0/1 and backend17 with100/reclaimed4; wrong diagnostic1505 and forced status0 rejects1501",
"gaps": "Actual applet usage, close-error/finalizer recursion, complete consumer CAT handoff and R1 remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-TOYBOX-USAGE",
"reference": "docs/NATIVE-CAT.md",
"invariants": "Pre-initialization stdin-only argument rejection in actual Toybox image; exact usage64, no input/output effects, no Toybox initialization, all aliases retired and no post-poison traffic",
"command": "python3 docs/evidence/toybox-native-usage-2026-09-07/run-native.py",
"oracle": "Sixteen normal/rejection outcomes repeat0/64 and backend17 with100/reclaimed4; read/corrupt/zero/close mutants reject1520/1505/1501/1503",
"gaps": "Profile rejection only; upstream options/help, finalizer failure/re-entry and independent consumer CAT acceptance remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-TOYBOX-FINALIZE",
"reference": "docs/NATIVE-CAT.md",
"invariants": "Actual Toybox callback buffered output; flush short-circuit, status preservation, alias retirement and private cleanup re-entry rejection",
"command": "python3 docs/evidence/toybox-native-finalize-2026-09-07/run-native.py",
"oracle": "Thirteen outcomes repeat0/1/64 and backend17 with100/reclaimed4; five mutants require1505/1501/1503 with exact client status",
"gaps": "Finalizer-only mode; recursive xexit, signal handling and independent CAT acceptance remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-TOYBOX-CLOSE",
"reference": "docs/NATIVE-CAT.md",
"invariants": "Candidate close ordering, exact final diagnostic, known/unknown outcomes, nonzero re-entry latch and no replay",
"command": "python3 docs/evidence/toybox-native-close-2026-09-07/run-native.py",
"oracle": "Twenty-three outcomes repeat0/1/64 with backend17 and100/reclaimed4; diagnostic/success/replay/re-entry mutants reject1505/1501/1504/1501",
"gaps": "Candidate consumer acceptance, fresh full upstream rebuild, recursive xexit and signals remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-ZFS-DISPATCH",
"reference": "docs/OPENZFS-FEASIBILITY.md",
"invariants": "External fixed system/delay queue call attribution with unchanged engine; no acceptance-as-completion or internal-call coverage claim",
"command": "Use docs/evidence/openzfs-dispatch-2026-09-07/README.md pinned offline build and qualify.py with fresh outputs; preserve all attempts",
"oracle": "Real dispatch/drain control completes4 callbacks; missing counts and false delayed success reject exact exit2; old observer/storage controls and22 owned-media processes pass",
"gaps": "External call counts only; callback overlap, internal calls, native engine capacity and production filesystem remain unqualified",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-ZFS-TWO-POOL",
"reference": "docs/OPENZFS-FEASIBILITY.md",
"invariants": "Private one-worker system and delay queues; unchanged queue identities, TSD and unsupported timer behavior; no native capacity claim",
"command": "Use docs/evidence/openzfs-two-pool-2026-09-07/README.md offline recipe and qualify.py with fresh outputs; preserve all attempts",
"oracle": "Both CPU views pass storage and exact fixed-role creation counts; source-rebuilt original profile rejects fixed-pool worker count mismatch; full observer and storage controls pass",
"gaps": "Host-only workload; wider dependencies, native resource selection and production storage remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-INIT-COMPOSED",
"reference": "docs/NATIVE-INIT.md",
"invariants": "Opt-in ABI 16 four RX code pages, RO/NX aliases, zero tail, unchanged one-page stack and init authority; preserved v1/v2 limits",
"command": "python3 scripts/launch_smoke.py --init-composed --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Added-page execution, exact bounds, malformed and legacy rejection; code-write/NX/guard faults and verified whole-domain shutdown; dirty tail rejects before entry",
"gaps": "Independent sys-init composed stack and Terminal acceptance, extended/recovery work remain open",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-INIT-COMMAND",
"reference": "docs/NATIVE-INIT-COMMAND.md",
"invariants": "Real source-built runner/bytecount, private role grants, preserved input, exact output, fault kind and terminal-before-reclaim; existing profile unchanged",
"command": "python3 docs/evidence/init-command-handoff-2026-09-08/run.py --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Five cases: positive/empty/fault each two generations and six reclaims; malformed roles and omitted close have exact retained rejection",
"gaps": "Reference owner only; sys-init adapter and independent acceptance, sustained wait and shutdown remain open",
"budget_seconds": 300,
"owner": "Aether producer; sys-init owns consuming adapter and policy acceptance"
},
{
"id": "AT-SHELL-GUARDS",
"reference": "docs/NATIVE-SHELL-STARTUP.md",
"invariants": "Single-context complete descriptor and request/reply masking, nested prior-mask restoration, acquisition denial without mutation, fatal restore rejection; opt-in AECAT004 grants a distinct read-only file root; two service-backed bindings share alias offsets under the same guard",
"command": "python3 scripts/launch_smoke.py --command-runner --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Guarded partial transfers observe authoritative blocked mask; broken block returns 88 and failed restore exits 125, each with exact owner rejection; previous cases remain required; actual dash script input requires CLOEXEC duplication above9, exact hello output, status0 and six reclaims; omitted root publication rejects client2/owner1501 and skipped remote close rejects owner1599; V4 root field/alias corruption, final-record EOF and header-only V3/V4 mismatches require unpublished state, client110 and six reclaims; deliberately early root publication rejects client113/owner1501; V4 descriptor client requires two live descriptions, shared alias and independent offsets, no-traffic 16-FD exhaustion, stale/route/root denial, six-open retirement, exact six-open/nine-read owner counts and six reclaims; broken offset/reference checks reject client114/owner1501; V3/V4 queued-body mismatch leaves15 witnessed bytes and requires client110/six reclaims; malformed or half client replies after known backend open/read/close require poison, unchanged buffers, no further traffic, post-terminal retained-record close/stale-handle checks and client1/six reclaims; omitted retirement rejects owner1599; malformed backend open/read/close requires no unverified publication, client1, queried file terminal143 kind3, stream17 and six reclaims; omitted confirmed stop rejects owner1601 before reclaim; zero-byte and16-byte backend reply EOF after real open/read/close require the same poison and queried stop before six reclaims; half-open omitted-stop control rejects1601; open silent backend exercises the real4096-attempt command-backend exchange and confirmed stop; late-open reply follows request EOF, one status-byte witness leaves at least15 bytes unread for teardown; late omitted-stop control rejects1601; generic transport retains100000 attempts and the native3000-tick/30-second harness bounds remain unchanged; actual-main ENV requires equal interactive loading, UID/GID mismatch and noninteractive/absent/empty suppression with exact output, descriptor counts and six reclaims; pinned unguarded-main controls reject owner1598 after client7; unsupported -p exits2 with exact diagnostic and four reclaims, skipped main rejects1501; unchanged consumer syntax-error script executes through actual main with empty stdout, native syntax diagnostic, status2 and four reclaims; skipped main and omitted descriptor closure reject1501/1503; pinned real consumer helper child accepts exact spaced/wildcard argv and WITNESS via opt-in owner, returns0 with exact argv output and six reclaims; corrupted handoff, skipped body and missing close reject1407/1405/1403",
"gaps": "No asynchronous queued-handler injection or indefinite I/O cancellation; public handler/action-query compatibility and consumer qualification remain open; full V4 malformed/exhaustion/ambiguous-reply matrix and matching consumer intake remain pending",
"budget_seconds": 1800,
"owner": "Aether native facade; userland owns matching libc/dash acceptance"
},
{
"id": "AT-SHELL-ACTIONS",
"reference": "docs/NATIVE-SHELL-STARTUP.md",
"invariants": "Private opt-in owner-local record copies; complete input/output validation, RX targets, retained queries and reset; legacy disabled",
"command": "python3 scripts/launch_smoke.py --command-runner --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Two generations of overlap/cross-page, read-only/no-access/unmapped copy and target rejection with unchanged prefix/record/output; read-only input succeeds, remapped backing is zero; writable control terminal 90/owner 1501; disabled build ENOSYS; four reclaims; supervisor/client same-signal records remain distinct through running/terminal/reclaim; shared-table control owner1591/reclaimed0 (distinct from initial owner1590) and release build rejects fault option Explicit self-post/poll coalesces masked duplicates, delivers once with exact handler mask and restores caller mask; skipped poll rejects client91/owner1501; fresh generations have no pending residue. Invalid-stack polls preserve record/mask and pending occurrence; normal-stack retry delivers once without repost; deliberate discard rejects client92/owner1501. Separately selected private termination retains kind4/detail2 or15 through repeated observe and stop; reclaim rejects stale handles across two generations; exit130 impostor rejects owner1501. Live-descriptor signal15 before/copy/diagnostic cases preserve exact byte prefixes and retire backend/channel resources across two generations; corrupted prefix and skipped backend close reject owner1505/1506 after kind4/detail15. Separately opted-in successful mask return delivers one pending custom handler, preserves syscall result and caller mask; failed mask output leaves it blocked; disabled boundary rejects client91/owner1501. Automatic entry at four invalid stacks preserves successful mask return/old output/committed mask/action and pending signal; normal-stack query delivers once; discarded pending control rejects client94/owner1501. Guarded read queues signal10 until mask restoration; handler duplicates/closes fd11 and writes exact diagnostic through guarded transport; original copy and four reclaims complete; skip restoration rejects client95/owner1501. Musl siglongjmp from the guarded handler restores mask and resumes exact copy from static read storage; no-mask-save rejects client96/owner1501. Known-error handler entry preserves EBADF/EACCES despite handler errno=ERANGE and subsequent exact copy/cleanup; skipped fcntl errno restore rejects client97/owner1501. Malformed/truncated read replies poison before handler write/close reentry; no further channel traps or caller-buffer mutation; local/owner cleanup completes; skipped injection rejects client98/owner1501. Nonlocal escape after ambiguous replies preserves poison/static buffer and restores mask before local cleanup; no-mask-save rejects client99/owner1501. Ambiguous early input close retires local alias/binding before returning or nonlocal handler; repeated close EBADF/no traffic and owner cleanup; alias resurrection rejects client100/owner1501. Experimental public sigaction shares native records with private operations, accepts unused public registers but rejects private reserved registers, rejects unsupported flags and bad mappings atomically, executes musl restorer and nonlocal mask restoration; disabled routing rejects client101/owner1501. Legacy raw route stays ENOSYS. Public DFL/IGN retain inert SA_RESTART, custom restart remains unsupported; actual musl signal() drops queued/future ignored posts and restores DFL, private setter rejects added flag; skipped ignore rejects client101/owner1501. Pinned actual dash signal routines install queried dispositions and handle private SIGCHLD; skipped setup rejects client102/owner1501. Full dash main remains outside this fixture. Separate generated-init diagnostic requires PPID=-38, empty PWD, initialized IFS/OPTIND/CHLD and exact getcwd warning under current unsupported calls; this is gap evidence, not successful startup. Skipped init rejects client103/owner1501. Opt-in parent query returns root zero and real supervisor identity to workers in both slots across reuse; musl zero-argument unused registers accepted; generated PPID becomes 4 while UID/CWD gaps remain. Disabled routing and self-identity substitution reject client104/owner1501. Selected AECAT002 independent getter errno (four mutants 105/1501), all raw getter ENOSYS, descriptor composition and EOF offsets 0/16/48/144/159 (110/four reclaims); AECAT003 all stream aliases and forced getcwd ENOMEM (retry allocation succeeds; missing errno 106/1501), V1/V3 rejection and EOF offsets 0/16/48/144/191 (110/four reclaims), actual-init PWD device/inode comparisons with owner query ordering (collapsed-identity mutants client0/owner1594), malformed/truncated reply poison and no accepted subsequent traffic (exit1/four reclaims; poison mutant 107/1501), alias/short-final-record and v2/v3 version rejection (110/four reclaims), directory init/query checks (raw authority, buffers, PWD, malformed grants; skipped publication 106/1501), AECAT002 stages launcher UID/GID metadata before readiness; fresh tuples and zero effective UID drive actual dash PS1 without new authority. Invalid metadata/version/truncation preserves unpublished getters/descriptors and completes cleanup; skipped publication rejects client105/owner1501. Raw credential calls remain unsupported. The native-runner-files selector retains runner-local authority gates and requires exactly six reclaims. Existing read-only file service can compose in slot2 with real main and stream backend: exact script reads before/after shell, denied root/rights/missing name, stale handles, and six reclaims; wrong payload and omitted file close reject1596/1597. Explicit native main selection requires real parser/builtin stdout dash-main newline, status7 and four reclaims; skipped main rejects0/1501 and skipped facade cleanup rejects7/1503. Queued V1/V2 mismatch witnesses acknowledge the header, enqueue16 bytes and consume one marker, leaving15 unread for teardown; both directions require110/four reclaims and wrong-marker control108/1501.",
"gaps": "No public sigaction or pending delivery; private signal-owner termination and guarded live-handler qualification remain open",
"budget_seconds": 1800,
"owner": "Aether private native experiment; consumer adoption remains separate"
},
{
"id": "AT-PIPELINE-CAPACITY",
"reference": "docs/NATIVE-CONNECTIONS.md",
"invariants": "Five isolated workers, ten scoped channels, bounded identity and exact lifecycle cleanup. Exec request/reply state retains partial frames and returns on backpressure; canonical fields precede reply and complete accepted reply precedes snapshot intake. Existing denial/publication/cancellation and lifecycle regressions remain required. AENMX005 private supervisor code is bounded to24 KiB while004 remains16 KiB; boundary envelopes and sixth-page execution/write denial, NX stack and unmapped code guard are checked. Retained replacement phases bind route/handle/generation at construction, return on partial snapshots/grants/reports and preserve freeze/admit/commit/publication/cancellation order. Readiness reports arrive in three-byte chunks.",
"command": "python3 scripts/pipeline_capacity.py --libc-build <pinned-sdk> --tools-lock <pinned-tools.json>",
"oracle": "Five-worker positive: fifteen admissions/reclaims across three generations, fourteen normal exits and one confirmed stop; wrong entropy rejects worker73/owner2607 before reclaim; short header and wrong build/envelope pairing reject explicitly. Native two-pipe dispatch uses three independent worker roles, fragmented 32-byte request/reply frames, exact ten-byte transfer and EOF on each pipe, three generations and fifteen normal exits/reclaims. Wrong-object routing rejects owner2723; reapplying a partially delivered reply rejects owner2726, both with zero reclaims. Confirmed writer stops after seven request or reply bytes require respectively zero or ten exact pipe bytes, EOF, three generations and fifteen reclaims each; terminal kind3/status143 precedes frame/holder cleanup. Retained partial frame rejects owner2724 with zero reclaims. Early reader close and exit-with-holder both deliver exact EPIPE on Second then First, require ten successful First bytes, zero Second bytes, zero EOF reads, one EPIPE per pipe and fifteen normal reclaims over three generations. Wrong-errno delivery requires worker97 then owner2726 with zero reclaims. Native copied pipeline: six image admissions plus nine copies over three generations, staged seven-binding inheritance before copy, exact freeze tokens, child readiness and CLOEXEC retention, private TLS/snapshot writes, denied old channels, ten-byte data/EOF and fifteen normal reclaims. Mismatched snapshot counts reject owner2731 before copy/reclaim. Copied-child exec uses a distinct replacement ELF, exact frozen role snapshot, denied image with unchanged receipt, parked image admission, atomic seven-binding CLOEXEC commit, stale publication rejection, independent filtered-table/fresh-TLS validation and readiness before pipe I/O. Nine copies and nine replacements across three generations preserve data/EOF and fifteen reclaims. Retained FD10 delivery rejects replacement105 then owner2734 with zero reclaims. Interrupted exec cancels after parked admission or seven delivered table bytes, confirms all three participant stops before holder/frame disposal, rejects stopped publication, retires both pipes and requires nine stops, six normal exits and fifteen reclaims across three generations. Retained holder rejects owner2736 before reclaim. Seven-binding libc replacement installs only validated live pipe descriptors, starts with absent standard streams, uses shared guarded dup2/fcntl/alias close and actual musl read/write/close, verifies FD10 CLOEXEC and post-close EBADF, and preserves exact data/EOF over three generations. Retained FD10 delivery rejects replacement105/owner2734 before reclaim. Public musl fork creates all three children through the verified archive-derived fork/_Fork candidate and existing rebind helper, checks repaired gettid/getpid and auxv/channel caches, then enters the libc replacement pipeline. No-child-repair control requires child115 then owner2607 with zero reclaims. Live descriptor capture serializes shared startup_fds at masked public-fork/exec boundaries, preserves fcntl-created CLOEXEC aliases at FD10/11/12, derives bounded counts and validates actual pipe holdings before copy; live F_SETFD state controls exec. Corrupted Second-writer binding rejects owner2731 before native copy/reclaim. Client factory grant enables two pipe requests with lowest-free descriptor publication; exhaustion preserves output, fcntl relocates ends, public close removes parent holdings before dispatch, and archive-derived musl waitpid collects each observed child terminal once. Duplicate collection returns ECHILD without changing status. False third status rejects parent121 then owner2730 before reclaim; positive requires exact data/EOF and fifteen normal reclaims over three generations. Interleaved construction creates First before writer copy and Second before relay copy, services parent closes between forks, and stages only each live descriptor snapshot, including absent Second generation for the first child. False First-writer close acknowledgment rejects owner2731 before second copy/reclaim; positive preserves exact data/EOF and fifteen normal reclaims. Multi-child wait-any uses archive-derived musl wait3/wait4; unrelated peer PID returns ECHILD, live wait-any and exact WNOHANG return zero without status mutation, and post-dispatch mixed collection observes each native terminal once. Exhausted wait-any returns ECHILD; unsupported resource usage preserves buffers. False live-child completion rejects parent123 then owner2730 before reclaim. Release uses bounded send after early replies to respect channel backpressure. Final stdout receives an explicit post-exec generation-bound grant only in the last replacement. Actual libc write forwards exact pipeline data to a32-byte owner capture, followed by explicit close. Writer forging the same reference on its own channel must receive EACCES. Malformed grant rejects child105 then owner2734; acknowledged-but-dropped output rejects owner2743 despite normal worker exits, both before reclaim. Positive requires exact output and fifteen normal reclaims over three generations. Inherited stdout is granted to the parent before forks, validated against live snapshot counts and reserved in one generation-local owner. Exec removes CLOEXEC holdings from the first two stages and retains final output; parent closure does not close the child. Deliberately retaining writer output authority fails the independent forged-write check: child124 then owner2726 before reclaim. Positive requires exact output, all holdings closed and fifteen normal reclaims. Inherited stdin/stderr are parent-granted and staged from live snapshots; exec retains input only in writer and diagnostics in all three stages. Parent closes independently. Actual musl read consumes exact source bytes and EOF; stdout and three distinct stderr role bytes are independently captured, with all holdings closed. Relay forging revoked stdin receives EACCES. Retained input authority rejects child126 then owner2726; acknowledged-but-dropped diagnostics reject owner2743 despite normal exits, before reclaim. All54 preceding images are byte-identical on this qualification. Child-requested exec removes owner token2, authenticates canonical image/role/generation requests and checks denied EACCES plus all descriptor flags before retry. Accepted request precedes live snapshot/freeze and existing native admission/commit/publication; successful exec cannot return. Wrong denial errno rejects child127 then owner2730 before reclaim. Positive preserves inherited-stream bytes, EOF, diagnostics and fifteen normal reclaims across three generations. Actual pinned dash printfcmd and flushall replace the direct writer call in a replacement worker; exact pipe bytes, EOF and captured stdout must still match. A wrong first byte rejects relay111 then owner2726 before reclaim. All prior image bytes must be compared; full shell evaluation is not inferred from builtin execution. Copied-child builtin profile skips writer replacement, retains copied TLS, closes inherited stdout and unused pipe reader, redirects live pipe output, and rejects a forged use of the closed capture. Require twelve admissions with per-slot counts3/3/0/3/3, fifteen normal terminals/reclaims and exact streams over three generations. Wrong builtin byte rejects relay111 then owner2726 before reclaim. Autonomous-child profile omits child dispatch-release reads/sends while retaining parent/peer release and scoped readiness. Require exact streams,12 admissions and15 normal reclaims. Reinserting the obsolete writer token must reject writer129 then owner2726 before reclaim; timeout is not success. Wait/I/O profile retains one authenticated parent wait and fragmented reply while polling child I/O, requires a live blocking wait before first I/O, collects each scoped child once and completes all four replies before dispatch returns. Premature zero completion rejects parent121 then owner2750 before reclaim. Direct wait intake profile requires unrelated PID ECHILD and live wait-any/specific WNOHANG with untouched status before I/O; blocking wait-any collects three distinct scoped PIDs in any order, repeated collection and exhaustion return ECHILD. All eight replies cross fragmented sends. Wrong denial errno and omitted collection bit reject parent131 then owner2750 before reclaim. Exec transaction extraction retains descriptor validation, frozen admission and ledger commit/publication as separate bounded functions, preserving cancellation points and all existing54 native oracles. Blocking transport progression remains outside these functions; extraction alone is not exec/I/O multiplexing. Exec request/reply polling now retains frame/offset/phase across fragmented transport, validating canonical requests before replying; host controls check one operation per poll, EAGAIN preservation, terminal idempotence and malformed opcode/image/slot/generation/padding rejection. Snapshot/readiness and the enclosing driver remain sequential. Wide005 code lengths16385/20481/24576 complete fifteen reclaims;24577, truncation, disabled005 and oversized004 reject. Sixth-page write faults14/error7, sixth-page UD2 executes with fault6/error0, stack fetch faults14/error15 and beyond-code fetch faults14/error14, all followed by native supervisor terminated. Total105 cases including legacy004 execution of the basic retained-state exec owner and opt-in exec/I/O overlap. One active replacement owns its route until Done while copied/completed workers continue pipe I/O. A seven-byte denial reply is held until the first copied-writer pipe write; suppressing I/O rejects2760 after32 held rounds, never by timeout. Interrupted overlap stops slot4 after seven filtered-table bytes; exact143/kind3 terminal precedes frame/holder cleanup, surviving relay drains first pipe to EOF and receives EPIPE on second-pipe writes, parent collects SIGTERM15 once. Missing stop and retained frame reject2770/2772 before reclaim. The admitted-but-unpublished boundary uses the same terminal-confirmed cleanup and survivor oracles; publication after stop must reject EBUSY(-16), with the same omission controls. Parent wait interruption preserves one collected child across a seven-byte successful reply, confirms parent143/kind3 before clearing it, records cancellation separately from three delivered probes, then allows surviving children to complete. Missing stop/lost collection/retained reply reject2780/2781/2782 before reclaim. Opt-in pre-exec intake routes complete opcode84 frames through the shared canonical validator and ordinary descriptor requests through the scoped I/O dispatcher only while the active child awaits exec. Both helpers close stdin before denied/retried exec; snapshots/ledger agree, full streams/waits/reclaim complete. Refusing pre-exec descriptor traffic rejects2790 before reclaim. Pre-exec remapping duplicates each reader to fd0 and relay writer to fd1, closes inherited capture through scoped intake, preserves flags on denied exec and filters old CLOEXEC aliases including fd10 on successful exec. Replacements use fd0/1 directly; fd0 CLOEXEC or unflagged fd10 reject2733 before admission. Opt-in helper exec accepts exactly /inputs/helper with argv [/inputs/helper, copy] and empty environment; canonical argc/argument bytes are validated before native admission, which supplies that same vector. Unknown paths, unsupported argv/count/environment reject before transport; corrupted wire argument rejects2746 before helper replacement admission. Native identity replaces fixture role/generation arguments. Both replacement workers now also execute the unchanged pinned consumer helper copy body through the inherited descriptors; the native wrapper retains bootstrap/report/readiness and explicit close. Skipping relay main requires exact2743 missing capture with zero reclaims. Natural parent collection allows child progress without a wait and completes after three unique child collections plus full final reply, rather than eight test probes. Forced first wait after all child exits passes; restoring the old pre-exit requirement rejects2751 with zero reclaims. Copied writer invokes real dash main/init/eval with validated advisory identity and a slot-scoped read-only /work directory view, with linked musl signal calls but without native public routing in that older profile; host decoder tests and native denied/stale cwd probes cover authority. Actual main prints through both unchanged consumer helpers; command-byte mutation rejects2743. Natural descriptor profile keeps the second pipe at local fd4/5 with bindings5/6, removes redundant aliases before exec, and requires exactly fd0/1/2 in both helper snapshots. An unflagged fd10 alias rejects2733 before replacement admission with zero reclaims. Parent-driven profiles run unchanged pipeline.sh and early-reader.sh with actual dash main/jobs, native public signal actions and copied dispositions. Helpers inherit the validated four-entry environment and only exact fd0/1/2 bindings. Pipeline transfers ten bytes and collects three copied children. Early-reader collects only two copied children, validates one consumed byte, EPIPE/pump42, pipefail and exact epipe-ok output; the third capacity slot is an unrelated fresh peer. Both reclaim15 across three generations. Parent close/output/directory requests share retained wait intake. Bad script byte, inherited fd10 and environment profile reject2743/2733/2746. Wrong EPIPE errno retains helper98 and rejects2726. Disabled public signal routing retains parent138 and rejects2730; linked signal symbols alone are not acceptance. Interactive AENMX006/ABI20 profile enters long stdout/stderr builtins, a parent pipeline and a long follow-up at nine real prompts over three shell generations. The serial owner retains no cumulative stream captures or expected output bytes; host checks exact UART output, fifteen terminals/reclaims and closed owner grant. Deliberately corrupted stdout must fail the ordinary host oracle for output mismatch after successful guest cleanup; wrong UART grant rejects2795, and capacity-disabled006 rejects before admission. Total105 cases. AENMX007/ABI21 resource-only qualification: two workers through fifteen lifetimes,30 launches/terminals/reclaims, exact epoch-tagged channels, stale task rejection and final spare channel4 after objects0\u20133 retire. UART unsupported. Stale worker epoch rejects2608 after6 reclaims; legacy005 exhaustion rejects2603 after6; disabled/truncated/reserved/oversized007 and old owner ABI reject at their named boundaries. Total113 cases; this is not composed-session or copied-child acceptance. Qualified composed SESSION integration adds eight cases (121 total): unchanged three-parent script with27 copies/21 helper execs/30 terminal reclaims and exact separate streams; wrong WITNESS reaches helper91, inherited alias reaches helper95, corrupted substitution reaches parent33, stale-wait ECHILD preserves status, deliberate stale acceptance and retained writer require confirmed-stop cleanup. Byte mutation must fail the ordinary host stream oracle after normal cleanup. Owner-only007 observation authority has bounded copied records, cleanup/ordinal/quota checks and encoded bytes; old005 observation calls remain unsupported. Producer packet: docs/evidence/session-native-2026-09-25/README.md; independent private SESSION acceptance: docs/evidence/session-acceptance-review-2026-09-25/README.md; next composed workload, shared SDK and R1 remain open. Recovery composition adds seven cases (128 total): three unchanged parents,21 copies/18 helper replacements/24 reclaims, exact49/20-byte streams, genuine pump42 and healthy follow-up. Wrong EPIPE, retained reader, stale child replay, environment, fd3 leak and stream corruption meet their precise oracles. Packet: docs/evidence/recovery-native-2026-09-25/README.md; independent replay pending. Failed-exec session: authenticated opcode85 resolves actual path independently of argv; three parents produce missing127 then denied126, four successful replacements per parent, exact60/25-byte streams, 24 reclaims and slot2 generation15. Wrong error, omitted request, bad environment, inherited FD, parent stderr and output mutations plus stale-wait controls are required; none establish SI-07 or shared SDK adoption. Real serial SESSION adds11 cases under AENMX008/ABI23: three actual interactive parents, nine prompt-driven commands,27 copies/21 helper replacements/30 reclaims, exact per-stream/UART observations, stale access, wrong grant, cancellation after a real empty read, corrupted bytes and stderr routing/retirement controls. Total160 capacity cases; see docs/evidence/serial-session-2026-09-29/README.md for matched runs and remaining owner gates.",
"gaps": "The parent profiles now execute both remaining unchanged consumer scripts, but require independent replay. Bootstrap, fixed helper selectors/environment and native reports remain private bounded adapters, not general argv/env, filesystem, process service or published SDK APIs. Earlier copied-main profiles did not enable public signal routing and do not establish that operation; the new parent profiles explicitly enable it and reject a disabled control. General SIGPIPE generation, arbitrary jobs, TTY/interactive assembly, broader malformed bootstrap permutations, other interruption schedules and independent SDK/release gates remain. Full connections/runner results are tracked in STATE and the current evidence packet; fixture counts do not establish release readiness.",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-SESSION-OBSERVATION",
"reference": "docs/NATIVE-SHELL-STARTUP.md",
"invariants": "Separate stream identity and exact lifecycle observations; no success from missing, duplicated, corrupted or premature evidence.",
"command": "python3 -m unittest discover -s tests -p test_session_smoke.py -v",
"oracle": "Five host counterexample tests; marker-shaped program bytes stay encoded. Native acceptance remains in AT-PIPELINE-CAPACITY.",
"gaps": "Host oracle tests do not execute native SESSION or establish independent consumer acceptance.",
"budget_seconds": 300,
"owner": "Aether"
},
{
"id": "AT-SUSTAINED-CORE",
"reference": "docs/NATIVE-INIT-COMMAND.md",
"invariants": "Owner-local atomic-park prerequisite; retained completion, serial level readiness, deadline/cancel ordering, non-wrapping disjoint identity fields; no ambient authority",
"command": "zig test kernel/native_sustained.zig --cache-dir .zig-cache --global-cache-dir .zig-cache/global",
"oracle": "Six host tests cover identity boundaries, both event orderings, serial readiness before/during park, spurious polls, retained cancel/deadline and sequence exhaustion and retention of read-cleared UART errors; repeat with -O ReleaseSafe",
"gaps": "Host-only core. Native profile admission, authority checks, atomic IF=0 integration, real idle/wakeup/reuse, authorized halt and independent sys-init acceptance remain open.",
"budget_seconds": 60,
"owner": "Aether enforcing mechanism; sys-init lifecycle policy and consumer acceptance"
},
{
"id": "AT-SUSTAINED-NATIVE",
"reference": "docs/NATIVE-INIT-COMMAND.md",
"invariants": "Experimental AENSI001/ABI22 selected only with native-init-sustained; contextual serial/event/halt authority, actual idle beyond 3000 ticks, non-wrapping reuse; legacy profiles remain bounded",
"command": "python3 docs/evidence/sustained-controls-2026-09-29/run.py <fresh-id>",
"oracle": "Self-building ABI22 mechanism witness: six real worker lifetimes/reclaims, EACCES for known owner-only grant values from worker context, invalid reserved fields with unchanged sequence, event-before-park, terminal wake, serial level readiness across two waits and consumed-input deadline; idle>=3000 then authorized halt. --wrong-expectation requires exact worker77, confirmed reclaim/stale denial and named owner rejection. Older prepared-image and real-command blocked probes remain sealed separately.",
"gaps": "Private kernel mechanism evidence only, not versioned userland protocol or sys-init policy. Matched v2 generation1\u20135 commands, native cohort cleanup and65536 pre-admission rejection now pass in docs/evidence/si07-native-2026-10-03; five legacy command cases pass. Seeded native255/256/65534/65535 completion and both parent-carrier mismatch directions pass, with nine final comparisons and66 corruption controls. This is not65535 sequential executions; Four child-profile native cases now qualify both mismatch directions and matched v1/v2 controls in si07-child-profile-2026-10-03. Four native private-dispatch controls now qualify count/padding -13 and foreign/stale selectors -9 with reply/cleanup/halt in docs/evidence/si07-request-denial-2026-10-03/README.md. These inject a complete real received child frame; arbitrary forged native endpoints, truncated frames, wider waits and full SUSTAIN-01\u201306 qualification remain open. Independent userland nine-case replay and seven-case sys-init loop replay are verified in si07-handoff-review-2026-10-03; sys-init partial/Unknown error controls retain failure uncertainty and no replay. Two composed native wait/command schedules in docs/evidence/si07-wait-composition-2026-10-03/README.md qualify serial level recheck, delayed input, future-sequence denial, deadline and retained lifecycle events. Exact cancellation/race/framing and useful-session integration remain open; The source-backed docs/evidence/serial-boot-contract-2026-10-03/README.md now reconciles ABI22/ABI23 and selects a separate serial SESSION lifecycle experiment; no identifier or runtime allocation is made. Next qualify owner-only wait/halt with unchanged SESSION IDs/quotas, then actual sys-init/userland composition. The original bounded SI-07 kernel backlog is complete per docs/evidence/si07-completion-review-2026-10-03/README.md; full protocol/product and sibling acceptance remain separate. Host exhaustion/cancellation models do not establish exhaustive native race coverage.",
"budget_seconds": 600,
"owner": "Aether prototype; userland protocol epochs; sys-init policy and acceptance"
},
{
"id": "AT-RECOVERY-OBSERVATION",
"reference": "docs/NATIVE-SHELL-STARTUP.md",
"invariants": "Actual EPIPE recovery, exact scoped child identities and phase cleanup; missing, stale or corrupted observations cannot qualify.",
"command": "python3 -m unittest discover -s tests -p test_recovery_smoke.py -v",
"oracle": "Four host counterexample tests check streams, pump42, phase order, unique24 terminals,21 admissions and completion. Native recovery cases run in AT-PIPELINE-CAPACITY.",
"gaps": "Host tests are not native acceptance. Producer packet records128 capacity cases, five unchanged non-pipeline command regressions, linked stack inspection and119 Python/configured Zig/Rust checks. Independent recovery replay, reader reviews and shared SDK remain open.",
"budget_seconds": 300,
"owner": "Aether"
},
{
"id": "AT-SCRATCH-SESSION-ORACLE",
"invariants": "Typed owner-held scratch descriptions preserve shared offsets, truncate, EACCES, EOF, exact streams, identity and confirmed cleanup across a composed session.",
"command": "python3 -m unittest discover -s tests -p test_scratch_smoke.py -v",
"oracle": "Four host tests reject changed stream bytes, terminal status/identities, missing admissions, phase order and incorrect early-close diagnostics/cleanup. Native scratch cases run through AT-PIPELINE-CAPACITY.",
"gaps": "Producer packet records149 capacity cases, five legacy command regressions,127 Python/configured Rust/Zig checks and12 new native comparisons with96 counterexamples. Verified independent userland acceptance adds12 comparisons and100 controls for the matched private profile. Shared SDK, reader review and real serial composition remain separate.",
"budget_seconds": 300,
"owner": "Aether",
"reference": "docs/NATIVE-SHELL-STARTUP.md"
},
{
"id": "AT-SERIAL-SESSION-ORACLE",
"reference": "docs/NATIVE-SHELL-STARTUP.md",
"invariants": "Exact prompt/input progression, separate stream routing, authenticated generations and phase cleanup; empty UART is not EOF.",
"command": "python3 -m unittest discover -s tests -p test_serial_session.py -v",
"oracle": "Five host tests reject future input, wrong generations, dropped/duplicated input, missing/duplicated prompts, unknown UART bytes, wrong/missing admissions and early observations/prompts. Eleven native controls run in AT-PIPELINE-CAPACITY.",
"gaps": "Private AENMX008/ABI23 producer qualification covers160 matched capacity cases, five legacy cases and four envelope controls;132 host/configured checks and11 native comparisons with88 mutations pass. Independent userland SERIAL-SESSION-01\u201306 acceptance is verified in docs/evidence/serial-acceptance-review-2026-09-29:169 fresh native cases,132 host/configured checks,11 comparisons and151 checker controls. UL-081 static boundary assessment is verified in docs/evidence/session-sdk-intake-2026-09-29; bounded runtime ownership and candidate are now supplied and technically reviewed with exact local offline rebuild in docs/evidence/session-runtime-review-2026-09-29; actual independent technical/reader findings, SSDK-01\u201306 consumer/owner disposition, general terminal behavior and R1 remain open.",
"budget_seconds": 300,
"owner": "Aether prototype; userland workload and independent acceptance"
},
{
"id": "AT-SESSION-LIFECYCLE",
"reference": "docs/NATIVE-CONNECTIONS.md",
"invariants": "Explicit AENMX009/ABI24 owner clock/park/halt; unchanged SESSION identities/quotas; worker denial and resource settlement before halt.",
"command": "python3 docs/evidence/session-lifecycle-2026-10-03/run.py positive",
"oracle": "Exact labelled probe phases, six genuine worker terminals/reclaims, >3000 idle ticks, UART consume/deadline and authorized quiescent halt; semantic negative controls retained in the packet.",
"gaps": "Private mechanism witness only; actual sys-init/SESSION owner loop, complete consumer suite, independent review and R1 remain open.",
"budget_seconds": 300,
"owner": "Aether"
},
{
"id": "AT-SESSION-OWNER-LIFECYCLE",
"reference": "docs/NATIVE-CONNECTIONS.md",
"invariants": "Selected ABI24 dispatcher drains available work, parks, settles one parent and children before halt; legacy fixture semantics and scoped UART rights preserved.",
"command": "python3 docs/evidence/session-owner-lifecycle-2026-10-03/run.py short-session",
"oracle": "Exact prompt-driven real dash command/pipeline/state/stderr/terminal/ten-reclaim trace; wide output bypasses fixture observation caps; retained long-idle control exposes bounded client transport limit.",
"gaps": "Private owner only; healthy long idle requires scoped channel wait and matching userland client; actual sys-init/SDK/reader and R1 remain open.",
"budget_seconds": 300,
"owner": "Aether fixture/enforcement; userland runtime and sys-init policy separate"
},
{
"id": "AT-ENTROPY-DEVICE",
"reference": "docs/ENTROPY-DEVICE.md",
"invariants": "BSP ownership, device identity/geometry, exact completion head/index/length, bounded partial fills and retained DMA on failure; no native API.",
"command": "python3 scripts/entropy_smoke.py",
"oracle": "Real backend draws/partial fills; exact semantic rejections; omitted length validator rejected; VM teardown and source identity checked.",
"gaps": "Capability binding, physical hardware/IOMMU, entropy health and independent review pending.",
"budget_seconds": 1800,
"owner": "Aether maintainer; implementing contributor retains and triages each run"
},
{
"id": "AT-NATIVE-ENTROPY",