V9 — IRQ Runtime Activation Preconditions
FROZEN ERA. The root identity and family ledger below are generated from repository refs. Narrative is a sourced reading aid, not a replacement for tagged code and documents.
00 root identity§
TAG v9.0.0 OBJECT TYPE tag TAG OBJECT 462cf28e6c703a919670427a59a0079d58d14832 COMMIT b9e1ffb7e6d8a4f1f4fa0bccad20d3b05248ac30 DATE 2026-05-21 SUBJECT v9.0.0 IRQ Runtime Activation Foundation FAMILY TAGS 21
10 foundation§
The Kernel Lab makes PIC/IRQ activation preconditions explicit and fail-closed.
20 delivered surface§
PIC remap plans, controlled arm/smoke paths, IRQ0/IRQ1 gate skeletons, EOI strategy telemetry, readiness/risk/preflight state and polling fallback are documented.
30 evidence reading§
The v9 contract says boot does not bind gates, dispatch EOI or execute STI; controlled command paths are separated from runtime readiness.
40 boundary · nonclaim§
This is not yet continuously delivered hardware IRQ service. Polling keyboard input and masked IRQ lines remain deliberate safety constraints.
50 source documents at v9.0.0§
| Path | Root-tag state |
|---|---|
docs/KERNEL_IRQ.md | PRESENT |
docs/KERNEL_INTERRUPTS.md | PRESENT |
docs/QEMU_BOOT_SMOKE.md | PRESENT |
60 complete v9 tag family§
| Tag | Date | Ref | Peeled commit | Commit subject |
|---|---|---|---|---|
v9.0.0 | 2026-05-21 | tag | b9e1ffb7e6d8 | v9.0.0 IRQ Runtime Activation Foundation |
v9.0.1 | 2026-05-21 | tag | 4122b49fc682 | v9.0.1 IRQ Runtime Activation Foundation Hardening |
v9.0.2 | 2026-05-21 | tag | f8079ba7159e | v9.0.2: IRQ Runtime Latch Regression Hardening |
v9.1.0 | 2026-05-21 | tag | a35347ed4b94 | fix: lock v9.1.0 IRQ runtime commit wiring contracts |
v9.1.1 | 2026-05-21 | tag | 7e491ccb0e58 | fix: correct v9.1.1 kernel ELF path in verify.ps1 |
v9.2.0 | 2026-05-21 | tag | 8c38a19560f4 | v9.2.0 Cargo.lock regenerated |
v9.2.1 | 2026-05-25 | tag | 87f9f42f96f7 | v9.2.1 EOI Runtime Boundary Hardening |
v9.3.0 | 2026-05-25 | tag | f8e0cac7c1ef | v9.3.0 PIC IRQ Mask Plan Foundation |
v9.3.1 | 2026-05-25 | tag | 5fa6e716296a | v9.3.1 PIC IRQ Mask Plan Hardening |
v9.4.0 | 2026-05-25 | tag | 642306f78940 | v9.4.0 IRQ Runtime Readiness Matrix Foundation |
v9.4.1 | 2026-05-25 | tag | 4ec2728b13a9 | v9.4.1 IRQ Runtime Readiness Matrix Hardening |
v9.5.0 | 2026-05-25 | tag | 97e1ee2491bd | v9.5.0 IRQ Runtime Activation Dry-Run Integration |
v9.5.1 | 2026-05-25 | tag | 8f582c5befa5 | v9.5.1 IRQ Runtime Activation Dry-Run Hardening |
v9.6.0 | 2026-05-25 | tag | 6b339a0f3460 | v9.6.0 IRQ Runtime Activation Token Foundation |
v9.6.1 | 2026-05-25 | tag | 65a9f08a2e32 | v9.6.1 IRQ Runtime Activation Token Hardening |
v9.7.0 | 2026-05-25 | tag | d626c7cbd9cd | v9.7.0 Controlled Activation Preconditions Gate |
v9.7.1 | 2026-05-25 | tag | c1d9cb0c4395 | Lock v9.7.1 activation gate hardening |
v9.8.0 | 2026-05-25 | tag | e420ae9967ec | v9.8.0 Controlled Activation Simulation Harness |
v9.8.1 | 2026-05-25 | tag | 722e18bf653c | v9.8.1 Controlled Activation Simulation Harness Hardening |
v9.9.0 | 2026-05-25 | tag | 36c89611e92b | v9.9.0 Controlled STI Plan Foundation |
v9.9.1 | 2026-05-25 | tag | da40b1080bb4 | v9.9.1 Controlled STI Plan Hardening |