Perhaps we will need three levels of specification, internal, input-output and accomplishment.

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• Any system monitoring and controlling its own processing requires all three hierarchical levels: perception, attention, meta-awareness.claim0.798
  Design principle with implications for AI and consciousness-UX; architectural requirement for self-directed cognition.
• For some purposes, it will be convenient to settle for specifications in terms of fulfilling internal commitments, and sometimes the public character of promises will have to be taken into account in the specifications.claim0.788
  Trade-off between internal and public obligations.
• Proving that a program meets accomplishment specifications must be based on assumptions about the world, the information it makes available to the program and the effects of the program's actions as well as on facts about the program itself.claim0.783
  Claim about the nature of accomplishment verification.
• Input-Output Specificationconcept0.780
  Specification relating a program's inputs and outputs, analogous to illocutionary correctness.
• What is needed to support individual acts of construction is a three-dimensional diagram of the actual shape of the needed space, more physical even than a model.claim0.775
  The core proposal for a new form of urban plan to guide piecemeal construction.
• Under a living process, as unfolding proceeds, the relative areas of these four components need to remain almost equal.claim0.771
  Invariant that living process maintains percentage balance.
• The living process must give rise to coherent entities at a middle range of scale.claim0.770
  Asserts middle-range entity emergence as a necessary output of any living process
• Simple problems require systems that expose simple solutions; forcing complex solutions signals misaligned abstraction level.claim0.768
  Parlog's merge process for client-server is unnecessarily complex; Linda's tuple operations remain flexible across problem variants.