definition · DEF-GAT0-03

Realization-Complete Proposal

source-verified gat
On this page

Meaning

A proposal is realization complete when it contains enough information to ask every required physical-realization question.

In addition to being well typed, the proposal must specify the formal information needed to evaluate every clause of the finite physical realization predicate. Completeness here concerns the question being posed, not whether the answer is yes.

Example (illustrative)

If the physical test asks whether a filling has the prescribed boundary, the proposal must specify that boundary and the permitted coefficient system. A proposal that merely asks for “some filling” has left the test underspecified.

Scope and limits

A realization-complete proposal can still have an empty realization fiber. Complete input is not a successful construction.

Source

GAT 0 — Finite Cohomological and Coercive Recognition. GAT 0, Definition 3.2.

Bidirectional research graph

Where this object sits in the mathematics

Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.

Open full research graph →

Referenced by

Defined in

Depended on by

Points to

Specializes