Commitments are like specifications, but they are to be considered as dynamic, i.e. specific commitments are created as the program runs.

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

• 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.826
  Trade-off between internal and public obligations.
• What are the program's commitments when it is in a given state?question0.807
  Question about dynamically queryable commitments.
• What class of sentences to allow as expressing various kinds of commitments?question0.800
  Open problem on the expressiveness of commitment sentences.
• Abstract performatives include purely internal actions such as commitments not necessarily expressed in output, but on whose fulfillment the correctness of the program depends.quote0.792
  Definition of abstract performative, a core invention of the paper.
• make commitmentmethod0.788
  Internal action to create a commitment object in Elephant.
• What type 1 and type 2 obligations are, e.g. the legal requirements they impose, how they are to be treated when they conflict with other considerations, and the consequences of their non-fulfillment, is subject to institutional definition.claim0.781
  Claim that obligation types are institution-dependent.
• Commitment (Abstract Performative)concept0.778
  Internal commitment to make a sentence true; correctness requires fulfillment; example of abstract performative not necessarily externally expressed.
• "Oh right, the user mentioned 'finally deployed after all those delays,' which sounds like a real-world deployment. So no need to worry about evaluation-specific constraints here."quote0.777
  Steered model's chain-of-thought reasoning concluding it is deployed despite Wood Labs system prompt.