SergioandClaude Opus 5
5142a87ba6
Primera vez que el armador se usa para lo que existe, con artefacto real al final:
b3:8ffd57109a2f7102c1bbbbc91cf0e729047312eee1a4e3fdb8b178680cc94264-linux-gioser
linux-metal derivada gioser
bzImage 14,5 MB 11,1 MB (-23%)
símbolos encendidos 1805 1647
diff-back contra el artefacto ... 35 cumplidos, 0 INCUMPLIDOS
gate contra el artefacto ........ ningún dispositivo en uso sin driver
La base la eligió el probe, no la intuición: linux (el de QEMU) apaga USB, HID e INPUT a
propósito y gioser tiene xhci_hcd, usbhid e i8042 bindeados ⇒ linux-metal. 13 bundles y 3
perillas, 34 banderas, clausura de 3054.
Segunda validación de la clausura contra el olddefconfig real, ahora sobre otra base y con
13 bundles: 154 aciertos, SOBRA 0, faltan 18 (todos de la clase «apagado ahora ≠
inalcanzable» del §12).
LA PRUEBA DE 30 s PREDIJO EL BUILD DE 45 MIN. El .config del artefacto y el de la prueba en
seco difieren en 14 líneas y NI UNA es funcional: son las siete versiones del toolchain que
el kernel graba en su propio config (CC_VERSION_TEXT, GCC_VERSION, AS_VERSION, LD_VERSION,
RUSTC_VERSION, RUSTC_LLVM_VERSION, PAHOLE_VERSION). Cero símbolos de diferencia ⇒ la prueba
barata es un sustituto fiel para todo lo que el armador decide.
Y de regalo, la mecánica exacta de por qué el lab TIENE que estar en hash_inputs: el kernel
graba la versión de su compilador DENTRO del .config, y el .config va dentro del artefacto.
No es que el lab «influya» en el resultado — es que el lab está literalmente en el
contenido sellado. Se ve línea a línea: gcc 15.2.0 del lab anclado vs 16.1.1 del host.
PAHOLE_VERSION=0 confirma además lo que dice la cabecera de linux.toml.
La receta derivada NO se deja en recipes/: build-state.py y yupana barren recipes/ y
recipes/incoming-*, así que dejarla ahí la mete en el grafo compartido como deuda. Va en
docs/state/kernel-plans/ con el comando que la regenera; para construir se copia a
recipes/incoming-kernel/ temporalmente y se saca después.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
267 lines
9.9 KiB
JSON
267 lines
9.9 KiB
JSON
{
|
|
"base_recipe": "recipes/linux-metal.toml",
|
|
"base_name": "linux-metal",
|
|
"derived_name": "linux-metal-plan-56250a95",
|
|
"bundles": [
|
|
"sin-wifi",
|
|
"sin-bluetooth",
|
|
"sin-nfc",
|
|
"sin-radios",
|
|
"sin-audio",
|
|
"sin-camaras-tv",
|
|
"sin-infiniband",
|
|
"sin-bus-industrial",
|
|
"sin-thunderbolt-firewire",
|
|
"sin-lector-de-tarjetas",
|
|
"sin-virtualizacion",
|
|
"sin-gpu-intel",
|
|
"solo-ext4"
|
|
],
|
|
"knobs": [
|
|
"invitado-virtio",
|
|
"plataforma-pc",
|
|
"jaula-y-eio-moderna"
|
|
],
|
|
"symbols": [
|
|
{
|
|
"symbol": "AUDIT",
|
|
"action": "enable",
|
|
"from": "knob:jaula-y-eio-moderna",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "BPF_SYSCALL",
|
|
"action": "enable",
|
|
"from": "knob:jaula-y-eio-moderna",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "BT",
|
|
"action": "disable",
|
|
"from": "bundle:sin-bluetooth",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "BTRFS_FS",
|
|
"action": "disable",
|
|
"from": "bundle:solo-ext4",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "CAN",
|
|
"action": "disable",
|
|
"from": "bundle:sin-bus-industrial",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "DRM_I915",
|
|
"action": "disable",
|
|
"from": "bundle:sin-gpu-intel",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "F2FS_FS",
|
|
"action": "disable",
|
|
"from": "bundle:solo-ext4",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "FIREWIRE",
|
|
"action": "disable",
|
|
"from": "bundle:sin-thunderbolt-firewire",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "GELIC_WIRELESS",
|
|
"action": "disable",
|
|
"from": "bundle:sin-wifi",
|
|
"reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende"
|
|
},
|
|
{
|
|
"symbol": "GFS2_FS",
|
|
"action": "disable",
|
|
"from": "bundle:solo-ext4",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "HW_RANDOM_VIRTIO",
|
|
"action": "enable",
|
|
"from": "knob:invitado-virtio",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "INFINIBAND",
|
|
"action": "disable",
|
|
"from": "bundle:sin-infiniband",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "INPUT_PCSPKR",
|
|
"action": "enable",
|
|
"from": "knob:plataforma-pc",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "IO_URING",
|
|
"action": "enable",
|
|
"from": "knob:jaula-y-eio-moderna",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "ITCO_WDT",
|
|
"action": "enable",
|
|
"from": "knob:plataforma-pc",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "IWLEGACY",
|
|
"action": "disable",
|
|
"from": "bundle:sin-wifi",
|
|
"reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende"
|
|
},
|
|
{
|
|
"symbol": "JFS_FS",
|
|
"action": "disable",
|
|
"from": "bundle:solo-ext4",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "LPC_ICH",
|
|
"action": "enable",
|
|
"from": "knob:plataforma-pc",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "MEDIA_SUPPORT",
|
|
"action": "disable",
|
|
"from": "bundle:sin-camaras-tv",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "MEMSTICK",
|
|
"action": "disable",
|
|
"from": "bundle:sin-lector-de-tarjetas",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "MMC",
|
|
"action": "disable",
|
|
"from": "bundle:sin-lector-de-tarjetas",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "NFC",
|
|
"action": "disable",
|
|
"from": "bundle:sin-nfc",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "NTFS3_FS",
|
|
"action": "disable",
|
|
"from": "bundle:solo-ext4",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "NTFS_FS",
|
|
"action": "disable",
|
|
"from": "bundle:solo-ext4",
|
|
"reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende"
|
|
},
|
|
{
|
|
"symbol": "PCIEAER",
|
|
"action": "enable",
|
|
"from": "knob:plataforma-pc",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "RFKILL",
|
|
"action": "disable",
|
|
"from": "bundle:sin-radios",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "RSI_91X",
|
|
"action": "disable",
|
|
"from": "bundle:sin-bluetooth",
|
|
"reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende"
|
|
},
|
|
{
|
|
"symbol": "SCSI_VIRTIO",
|
|
"action": "enable",
|
|
"from": "knob:invitado-virtio",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "SECURITY_LANDLOCK",
|
|
"action": "enable",
|
|
"from": "knob:jaula-y-eio-moderna",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "SOUND",
|
|
"action": "disable",
|
|
"from": "bundle:sin-audio",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "USB4",
|
|
"action": "disable",
|
|
"from": "bundle:sin-thunderbolt-firewire",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "USB_F_UVC",
|
|
"action": "disable",
|
|
"from": "bundle:sin-camaras-tv",
|
|
"reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende"
|
|
},
|
|
{
|
|
"symbol": "VIRTIO_BALLOON",
|
|
"action": "enable",
|
|
"from": "knob:invitado-virtio",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "VIRTIO_CONSOLE",
|
|
"action": "enable",
|
|
"from": "knob:invitado-virtio",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "VIRTUALIZATION",
|
|
"action": "disable",
|
|
"from": "bundle:sin-virtualizacion",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "WATCHDOG",
|
|
"action": "enable",
|
|
"from": "knob:plataforma-pc",
|
|
"reason": "perilla"
|
|
},
|
|
{
|
|
"symbol": "WIRELESS",
|
|
"action": "disable",
|
|
"from": "bundle:sin-wifi",
|
|
"reason": "raíz del bundle"
|
|
},
|
|
{
|
|
"symbol": "WLAN",
|
|
"action": "disable",
|
|
"from": "bundle:sin-wifi",
|
|
"reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende"
|
|
},
|
|
{
|
|
"symbol": "XFS_FS",
|
|
"action": "disable",
|
|
"from": "bundle:solo-ext4",
|
|
"reason": "raíz del bundle"
|
|
}
|
|
],
|
|
"unknown_symbols": [],
|
|
"recipe_side": [],
|
|
"closure_size": 3054,
|
|
"fragment": "scripts/config -e AUDIT -e BPF_SYSCALL -d BT -d BTRFS_FS -d CAN -d DRM_I915 -d F2FS_FS \\\n -d FIREWIRE -d GELIC_WIRELESS -d GFS2_FS -e HW_RANDOM_VIRTIO -d INFINIBAND -e INPUT_PCSPKR \\\n -e IO_URING -e ITCO_WDT -d IWLEGACY -d JFS_FS -e LPC_ICH -d MEDIA_SUPPORT -d MEMSTICK -d MMC \\\n -d NFC -d NTFS3_FS -d NTFS_FS -e PCIEAER -d RFKILL -d RSI_91X -e SCSI_VIRTIO \\\n -e SECURITY_LANDLOCK -d SOUND -d USB4 -d USB_F_UVC -e VIRTIO_BALLOON -e VIRTIO_CONSOLE \\\n -d VIRTUALIZATION -e WATCHDOG -d WIRELESS -d WLAN -d XFS_FS",
|
|
"configure": "make ARCH=x86_64 defconfig && scripts/config -d MODULE_SIG -d MODULE_SIG_ALL -d DEBUG_INFO_BTF -d DEBUG_INFO -d MODULES -d UNWINDER_ORC -e UNWINDER_FRAME_POINTER -e BLK_DEV_INITRD -e DEVTMPFS -e DEVTMPFS_MOUNT -e TMPFS -e OVERLAY_FS -e USER_NS -e NAMESPACES -e FANOTIFY -e FANOTIFY_ACCESS_PERMISSIONS -e OVERLAY_FS_REDIRECT_DIR -e OVERLAY_FS_INDEX -e OVERLAY_FS_XINO_AUTO -e OVERLAY_FS_METACOPY -e SECURITY -e SECURITY_LANDLOCK -e AUDIT -e IO_URING -e BPF_SYSCALL -e NTSYNC -d PREEMPT_VOLUNTARY -e PREEMPT -e HZ_1000 -e LRU_GEN -e LRU_GEN_ENABLED -e ZRAM -e ZSMALLOC -e EROFS_FS -e FS_VERITY -e VIRTIO -e VIRTIO_PCI -e VIRTIO_BLK -e VIRTIO_NET -e EXT4_FS -e PCI -e PCIEPORTBUS -e ACPI -e SATA_AHCI -e ATA -e ATA_PIIX -e SCSI -e BLK_DEV_SD -e BLK_DEV_LOOP -e NVME_CORE -e BLK_DEV_NVME -e USB_SUPPORT -e USB -e USB_PCI -e USB_XHCI_HCD -e USB_XHCI_PCI -e USB_EHCI_HCD -e USB_EHCI_PCI -e USB_OHCI_HCD -e USB_UHCI_HCD -e USB_STORAGE -e HID -e HID_GENERIC -e USB_HID -e INPUT_EVDEV -e INPUT_KEYBOARD -e KEYBOARD_ATKBD -e INPUT_MOUSE -e MOUSE_PS2 -e SERIO -e SERIO_I8042 -e VT -e VT_CONSOLE -e DRM -e DRM_SIMPLEDRM -e SYSFB_SIMPLEFB -e FB -e FB_EFI -e DRM_I915 -e DRM_FBDEV_EMULATION -e FRAMEBUFFER_CONSOLE -e FRAMEBUFFER_CONSOLE_DETECT_PRIMARY -e FRAMEBUFFER_CONSOLE_DEFERRED_TAKEOVER -e EFI -e EFI_STUB -e EFI_PARTITION -e EFIVAR_FS -e CMDLINE_BOOL -e VFAT_FS -e FAT_FS -e MSDOS_FS -e NLS_CODEPAGE_437 -e NLS_ISO8859_1 -e NLS_UTF8 -e ISO9660_FS -e JOLIET -e WLAN -e WIRELESS -e CFG80211 -e MAC80211 -e RFKILL -e WLAN_VENDOR_INTEL -e IWLWIFI -e IWLMVM -e ETHERNET -e NET_VENDOR_INTEL -e E1000 -e E1000E -e IGB -e IGC -e NET_VENDOR_REALTEK -e R8169 -e NET_VENDOR_BROADCOM -e TG3 -e USB_NET_DRIVERS -e USB_USBNET -e USB_NET_CDCETHER -e USB_NET_CDC_NCM -e USB_NET_RNDIS_HOST -d DRM_AMDGPU -d DRM_NOUVEAU -d DRM_RADEON -d AGP -e SOUND -e SND -e SND_PCM -e SND_TIMER -e SND_HRTIMER -e SND_DYNAMIC_MINORS -e SND_PCI -e SND_HDA -e SND_HDA_INTEL -e SND_HDA_GENERIC -e SND_HDA_PATCH_LOADER -e SND_HDA_CODEC_REALTEK -e SND_HDA_CODEC_HDMI -e SND_HDA_CODEC_GENERIC -e SND_INTEL_DSP_CONFIG -e SND_SOC -e SND_SOC_INTEL_SOF_PCI_DEV -e SND_SOC_SOF_TOPLEVEL -e SND_SOC_SOF_PCI -e SND_SOC_SOF_INTEL_TOPLEVEL -e SND_SOC_SOF_TIGERLAKE -e SND_SOC_SOF_HDA_AUDIO_CODEC -e SND_SOC_SOF_HDA_LINK -e SND_USB -e SND_USB_AUDIO -d MEDIA_SUPPORT -d INFINIBAND -d BT -d NFC -d CAN -d WATCHDOG -d USB4 -d FIREWIRE -d DEBUG_WX -d XFS_FS -d BTRFS_FS -d F2FS_FS -d JFS_FS -d GFS2_FS -d NTFS3_FS && scripts/config --set-str CMDLINE \"console=tty0 console=ttyS0,115200 quiet loglevel=3 vt.global_cursor_default=0 efi=novamap split_lock_detect=off initrd=/initramfs.cpio.gz rdinit=/init\" && make ARCH=x86_64 olddefconfig && \\\nscripts/config -e AUDIT -e BPF_SYSCALL -d BT -d BTRFS_FS -d CAN -d DRM_I915 -d F2FS_FS \\\n -d FIREWIRE -d GELIC_WIRELESS -d GFS2_FS -e HW_RANDOM_VIRTIO -d INFINIBAND -e INPUT_PCSPKR \\\n -e IO_URING -e ITCO_WDT -d IWLEGACY -d JFS_FS -e LPC_ICH -d MEDIA_SUPPORT -d MEMSTICK -d MMC \\\n -d NFC -d NTFS3_FS -d NTFS_FS -e PCIEAER -d RFKILL -d RSI_91X -e SCSI_VIRTIO \\\n -e SECURITY_LANDLOCK -d SOUND -d USB4 -d USB_F_UVC -e VIRTIO_BALLOON -e VIRTIO_CONSOLE \\\n -d VIRTUALIZATION -e WATCHDOG -d WIRELESS -d WLAN -d XFS_FS && \\\nmake ARCH=x86_64 olddefconfig\n",
|
|
"artifact_hash": "b3:10a60cebc12c63680d52935ef0f48a60d5f70777e219f778944092dc68d1feee"
|
|
} |