Real engineering semantics
A success receipt is not a fact about the target
- naive terminal labels were wrong
- 10/17
- stdout and outer exit status each indicated observed state
- 4/9
- minimal Effect contract plus target-native readback
- 9/9
Seventeen real Harness scenarios led us to separate Attempt, Effect, Adoption, and Acceptance. A second set of nine real actions showed that verification must reach the target rather than stop at executor logs.
The 17/17 semantic alignment applies only to the selected scenarios. It is not a general accuracy claim.
Read the full experiment note →Multi-round negotiation
Richer terms did not create capability
- AcceptedOriginalValue
- 0
Multi-round model negotiation added useful refusals and counterconditions, but it did not naturally create new capability. A long-output transport failure also left the strong-center comparison incomplete.
More messages cannot be reported as successful formation.
Read the full negotiation study →Fair comparison
A frozen contract still produced no winner
- actual comparative runs
- 0
- winner
- NONE
Later audits found that a static validator could accept five kinds of runtime false green. A development manifest proves preparation, not an executed comparison.
Not run means not run. Infrastructure completeness does not decide a winner.