flowguard-contract-exhaustion-mesh

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

1. Identify the declaring owner, finite dimensions/seeds, model scope, universe, exclusions, and required consumers.
2. Build a ContractExhaustionPlan, run review_contract_exhaustion(), and repair oracle, feedback, matrix, receipt, and backfeed gaps.
3. 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.