Hypothesis programs: drop, test
The Hypothesis Verbs drop, test as MCP do programs, with inputs, result, refusals and an example.
Reference for Hypothesis, one group of Hypothesis programs.
Hypothesis.drop
Drop retires a Hypothesis from active work and keeps it, with its Evidence, on record. Verb page.
do: return await $.Hypothesis.drop(input)Emits Hypothesis.dropped.
Inputs
| Input | Type | Required | Description |
|---|---|---|---|
hypothesis | Hypothesis | required | The Hypothesis to retire. |
reason | text | required | Why it is dropped. |
Returns
| Output | Type | Required | Description |
|---|---|---|---|
hypothesis | Hypothesis | required | The dropped Hypothesis. |
Refuses when
| Check | Error | Fix | Then call |
|---|---|---|---|
| The key is valid, but its scopes do not allow this operation. | forbidden | Use a key whose scopes cover the operation, or ask an owner of the namespace to grant them. | None. |
| The record is not in a state that allows this Verb, so the call is refused. | refused | Read the record, run the Verb that moves it to an allowed state, then retry. | None. |
Example
{
"name": "do",
"arguments": {
"code": "return await $.Hypothesis.drop({ hypothesis: 'hypothesis_Z1gjx1kbtc', reason: 'Example reason' })"
}
}Hypothesis.test
Test binds a Hypothesis to the Experiment that decides it and moves the Hypothesis to testing. Verb page.
do: return await $.Hypothesis.test(input)Emits Hypothesis.tested.
Inputs
| Input | Type | Required | Description |
|---|---|---|---|
hypothesis | Hypothesis | required | The Hypothesis to test. |
experiment | Experiment | required | The Experiment that decides it. |
Returns
| Output | Type | Required | Description |
|---|---|---|---|
hypothesis | Hypothesis | required | The Hypothesis, now testing. |
Refuses when
| Check | Error | Fix | Then call |
|---|---|---|---|
| The key is valid, but its scopes do not allow this operation. | forbidden | Use a key whose scopes cover the operation, or ask an owner of the namespace to grant them. | None. |
| The record is not in a state that allows this Verb, so the call is refused. | refused | Read the record, run the Verb that moves it to an allowed state, then retry. | None. |
Example
{
"name": "do",
"arguments": {
"code": "return await $.Hypothesis.test({ hypothesis: 'hypothesis_Z1gjx1kbtc', experiment: 'experiment_IyIJJPngKt' })"
}
}