# OpenProse Manufacturing

Contracts for designing a manufacturable product, planning its production and preserving the ability to keep making it as parts, processes and evidence change. Use the selected [OpenProse kernel](../core/README.md). A link here locates a contract; it does not invoke it.

Start with [Production response](contracts/production-response.md) when observed process behavior or order changes must flow into a usable work-in-process plan, or [Build plan](contracts/build-plan.md) for a connected engineering and production commission, or select the narrower work below. Supply the product, demand, applicable revisions, engineering requirements, evidence, available resources and effect boundary. Ordinary direct work is supported; optional supplied workers become required only when selected.

| Need | Contract |
| --- | --- |
| Connect a process signal, containment and changed orders | [Production response](contracts/production-response.md) |
| Interpret control signals and establish reaction/restart gates | [Process control](contracts/process-control.md) |
| Reschedule protected and remaining work after change | [Work-in-process replanning](contracts/wip-replan.md) |
| Calculate probability-based starts under an explicit dependence model | [Statistical yield](contracts/statistical-yield.md) |
| Resolve what may be built from which parts | [Configuration and material baseline](contracts/configuration-baseline.md) |
| Design a viable manufacturing route | [Manufacturability and routing](contracts/manufacturability-routing.md) |
| Determine starts, consumption, yield and losses | [Material and yield plan](contracts/material-yield-plan.md) |
| Fit operations to actual available resources | [Capacity schedule](contracts/capacity-schedule.md) |
| Allocate tolerances and establish measurement needs | [Tolerance and measurement plan](contracts/tolerance-measurement.md) |
| Design inspection and make supported lot decisions | [Inspection and acceptance](contracts/inspection-acceptance.md) |
| Trace affected units through splits, merges and rework | [Lot genealogy](contracts/lot-genealogy.md) |
| Contain and disposition nonconforming product | [Nonconformance disposition](contracts/nonconformance.md) |
| Qualify an alternate part, material or supplier process | [Qualified alternative](contracts/qualified-alternative.md) |
| Qualify a changed manufacturing process | [Process change qualification](contracts/process-change.md) |
| Produce maintainable shop instructions | [Build instructions](contracts/build-instructions.md) |
| Respond to obsolescence and loss of production capability | [Continuing buildability](contracts/continuing-buildability.md) |

[Execute a build-planning commission](tests/build/program.md) constructs a yield-aware, finite-capacity plan and an obsolescence response. Its supplied planning policy can be replaced to obtain a materially different feasible route. [Testing suite](tests/suite.md) assesses authored controls; [execution comparison](tests/build/live-comparison.md) commissions fresh work under both policies. Neither entry's existence establishes a successful run. Core is the only package dependency. [License](LICENSE.md).

The [future material bridge controls](tests/build/quiet-suite.md) distinguish an internally coherent numerical error from a valid alternative and an explicitly permitted policy substitution.

[One retained buildability pass](tests/continuing/program.md) uses an explicit local retention interface; [finite continuing execution](tests/continuing/execution.md) and [assessment](tests/continuing/assessment.md) cover replay, late evidence, conflict and incomplete feed coverage. These entries require supplied storage and actual invocations.

A separate [infeasible commission](tests/infeasible/program.md) and [assessment](tests/infeasible/assessment.md) preserve hard constraints and distinguish supported analytical findings from an unmet feasible-deliverable requirement.

[Evidence-transfer inquiry](tests/reuse/program.md) and [assessment](tests/reuse/assessment.md) preserve claim-level applicability while distinguishing reusable evidence from unperformed qualification and approval.

[Spacer-cell response](tests/control/program.md) connects an in-spec process signal to genealogy, product disposition, restart evidence and a changed-order schedule. Replacing its Dispatch policy changes which late commitments the optimum protects. [Decorative-label qualification and planning](tests/statistics/program.md) separates pilot confidence, finite-lot sampling, process release and future service probability; a permitted common-batch Yield basis changes required starts despite the same marginal yield. Both are finite synthetic analytical applications with caller-supplied output and no physical effects.

[Response and statistics controls](tests/beta-suite.md) challenge domain calculations, missing evidence, valid equivalent methods and evaluator reasoning. [Fresh-result assessment](tests/beta-assessment.md) accepts actual outputs for independent assessment. These definitions and authored controls do not establish executed beta readiness or statistical qualification of a real process.