| name | flowguard-contract-exhaustion-mesh |
| description | Use to generate canonical bad cases, Cartesian combinations, oracles, coverage shards, and receipts from a declared finite boundary, family seed, payload, transition, model mesh, coverage universe, or observed-problem backfeed. |
FlowGuard Contract Exhaustion Mesh
Purpose
Turn an owner-declared finite boundary into canonical mutation/combination cases and typed evidence handoffs; never act as a global bug oracle.
Entrypoint Scope
Route id: contract_exhaustion_mesh; role: public_owner; native owner: contract_exhaustion_mesh. This standalone FlowGuard satellite skill owns canonical finite-case generation.
Local Material Routing
Read references/contract_exhaustion_mesh_protocol.md for feeders, universes, ContractDimension, ContractMutationCase, oracles, receipts, and consumers.
Entrypoint Acceptance Map
Accept declared finite dimensions/seeds; generate reviewable cases with oracles; block unbounded broad claims, missing feedback, stale/incomplete receipts, or missing universe items; hand obligations/cells/shards/receipts/risk gates to their owners.
Use When
- Use for same-class, payload, transition, state-closure, PPA, BCL, product-language, expected member/candidate inventory, facade delegation, parent/child closure, no-delta, or model-scoped Cartesian coverage.
Do Not Use When
- Do not invent a boundary from prose, run tests, replace sibling routes, or claim all bugs are covered; return unclear ownership to
model-first-function-flow.
Required Workflow
- Identify the declaring owner, finite dimensions/seeds, model scope, universe, exclusions, and required consumers.
- Build a
ContractExhaustionPlan, run review_contract_exhaustion(), and repair oracle, feedback, matrix, receipt, and backfeed gaps.
- Project stable case ids to Model-Test Alignment, TestMesh, ModelMesh, DevelopmentProcessFlow, and Risk Evidence Ledger.
Hard Gates
- Model-purpose gate: before build/change, freeze this instance's task-specific failure(s) and boundary; then bind candidate plus native good/bad-per-failure/oracle/current evidence. Reusable types are not fixed-purpose; no mode/fallback; SkillGuard only supervises FlowGuard-declared checks.
- Verify the real FlowGuard check engine and AGENTS.md managed record; never create a fake mini-framework.
- Broad/full claims require a complete
ContractCoverageUniverse; reject/block/repair cases require actionable oracle feedback.
- Matrix ready is not whole-chain ready; current composite handoff acceptance and template harvest closure remain required where applicable.
- When behavior authority is finite, generate missing/mismatched intent/commitment/path, wrong-path, parallel-success, stale-proof, omitted member/candidate, opaque-similarity, facade, and invalid UI-exception cases. Expected inventories come from their owners, never from the smaller observed set.
Output Requirements
- Return evidence, failures, blockers, skipped_checks, residual_risk, claim_boundary, typed_next_actions, canonical coverage cases, gaps, shards, and receipts.
SkillGuard Maintenance
- Edit contract source, regenerate; SkillGuard cannot synthesize pass evidence.
