Name: recover-hypervisor-scheduler
Author: wffx

Imported from wffx/binRev (skills/recover-hypervisor-scheduler/SKILL.md). Install upstream with npx skills add wffx/binRev --skill recover-hypervisor-scheduler. Copyright stays with the author.

Recover Hypervisor Scheduler

Purpose

Recover static scheduler structure and vCPU selection evidence. This Skill may directly read IDA through IDA MCP without asking for a separate connection confirmation. It must not mutate IDA.

Inputs

Require:

S05/runtime-object-model.json
S05/types.jsonl
S05/resource-ownership.jsonl
S04/context-layouts.jsonl
S04/architecture-events.jsonl
S03/call-graph.json
accepted IDA checkpoint or IDA MCP session

Workflow

Enforce upstream gates.
- Require accepted S03-S05.
- If runtime ownership is not accepted, emit blocked_by_upstream.
Find scheduling anchors.
- Track runqueue-like lists, current/next vCPU references, affinity masks, timer/IRQ wakeups, locks, and world-switch calls.
- Record state writes and comparisons before naming states.
Recover state transitions.
- Emit candidate state_0xN values when names are unknown.
- Distinguish runnable/block/preempt/wakeup candidates only with control-flow and data-write evidence.
Link to runtime objects.
- Bind scheduler actions to vCPU/CPU/context candidates from S05.
- Preserve ambiguous ownership as Unknown.

Outputs

Produce:

S06/scheduler-model.json
S06/state-machines.jsonl
S06/records/recover-hypervisor-scheduler.evidence.jsonl
S06/records/recover-hypervisor-scheduler.decisions.jsonl
S06/records/recover-hypervisor-scheduler.unknowns.jsonl

Boundaries

Do not recover VM config or interrupt routing tables.
Do not infer fairness or policy names without evidence.
Do not modify S05 ownership.
Do not apply IDA writes directly.

Install recover-hypervisor-scheduler and it becomes one more candidate the router can pick - when it fits.

A listing is a routing target with a manifest: what it does, which domains it covers, what it costs and who publishes it. Once installed it sits beside your own models and tools, is scored like any other candidate for each request, and shows up in the trace when it wins. Ratings come from workspaces that installed it, one per account.

{ "ocm": "1", "id": "wffx-binrev-recover-hypervisor-scheduler", "kind": "skill", "name": "recover-hypervisor-scheduler", "description": "Recover S06 hypervisor scheduler candidates from accepted S05 runtime ownership evidence. Use when the workflow needs runqueue, runnable/block state, vCPU selection, affinity, timer wakeup, preemption, and world-switch scheduling paths without naming policy beyond evidence.", "publisher": "wffx", "version": "1.0.0", "capabilities": { "domains": [ "general" ], "tags": [ "skill-md", "github" ], "languages": [ "en" ] }, "quality_prior": 0.6, "examples": [ "Recover S06 hypervisor scheduler candidates from accepted S05 runtime ownership evidence. Use when the workflow needs runqueue, runnable/block state, vCPU selection, affinity, timer wakeup, preemption, and world-switch scheduling paths without naming policy beyond evidence." ], "primary": false, "metadata": { "source": { "provider": "github", "repository": "https://github.com/wffx/binRev", "path": "skills/recover-hypervisor-scheduler/SKILL.md", "ref": "55c3b5d54fe6e25c154a542d96fc6b4016d18f2d", "url": "https://github.com/wffx/binRev/blob/55c3b5d54fe6e25c154a542d96fc6b4016d18f2d/skills/recover-hypervisor-scheduler/SKILL.md", "key": "wffx/binRev/skills/recover-hypervisor-scheduler/SKILL.md" } }, "instructions": "# Recover Hypervisor Scheduler\n\n## Purpose\n\nRecover static scheduler structure and vCPU selection evidence. This Skill may directly read IDA through IDA MCP without asking for a separate connection confirmation. It must not mutate IDA.\n\n## Inputs\n\nRequire:\n\n- `S05/runtime-object-model.json`\n- `S05/types.jsonl`\n- `S05/resource-ownership.jsonl`\n- `S04/context-layouts.jsonl`\n- `S04/architecture-events.jsonl`\n- `S03/call-graph.json`\n- accepted IDA checkpoint or IDA MCP session\n\n## Workflow\n\n1. Enforce upstream gates.\n - Require accepted S03-S05.\n - If runtime ownership is not accepted, emit `b", "cost": { "context_tokens": 410 } }

recover-hypervisor-scheduler

About