mock-handoff-maintainer
Archived. The legacy mock/ runtime path was removed; do not use for new work.
- License 许可
- AGPL-3.0
- 所属仓库
- poppet-t/madelin
- 最近更新
- 2026-04-05
- Stars
- ★ 0
- Forks
- 0
01 前言 Front Matter
- name
- mock-handoff-maintainer
- description
- Archived. The legacy mock/ runtime path was removed; do not use for new work.
02 资源文件 1
- 参考文档references/patterns-guide.md1009 B
03 SKILL.md 正文
mock-handoff-maintainer (archived)
This skill is kept only as historical reference. The mock/ directory has been removed and
backend/syz-guided/ is the runtime consumer.
Use this when
- you are auditing historical context or old writeups that reference
mock/
Read first
AGENTS.mdcontext/architecture.mdcontext/invariants.mdplans/current.md
Steps
- Identify the exact imported artifact and consumer path.
- Confirm stable prefix and ordering assumptions.
- Make the smallest correct importer or handoff change.
- State downstream assumptions explicitly.
- Update validation if needed.
Output
- summary
- changed files
- downstream assumption list
- validation run
- risks / assumptions
Guardrails
- keep runtime consumers connected by explicit artifacts, not hidden coupling
- preserve stable prefix intent where applicable
- fail clearly on unsupported imported shapes
04 同仓库更多 Skills
witness-plan-contract
Preserve and extend witness_plan.json generation with deterministic ordering and explicit unsupported cases.
witness-bridge-task
Use for changes to the UAFX -> candidate -> SMT -> runtime bridge. Enforces contract preservation, narrow diffs, and validation discipline.
validator-smoke-runner
Run the narrowest correct preflight and smoke validation for the task and summarize what passed, failed, or remains unverified.
task-planner
Turn a request into the smallest safe execution plan with explicit constraints, files, validation, and done criteria.
target-pack-design
Add or extend a Madelin target pack with minimal contracts, fixtures, and conservative support claims.
subsystem-fixture-generation
Create conservative fixtures for new subsystem packs without inventing semantics or widening support claims.