Check historical evidence
As a relying party, I want to know which historical keys cover a supplied event and whether that range is final or provisional.
These executable statement-model calls preserve the source boundary. Lifecycle synchronization actions do not bypass Checkpoint funding or evidence guards. The theorem statements remain unproved.
Examples below are model fixtures. Their oracle fields describe synthetic verification outcomes; they are not evidence accepted from production callers. The input shown includes common fixture context as well as the call.
flowchart LR
Caller[Caller] -->|Supplied published evidence| Assessment[Evidence assessment]
Assessment -->|Missing required evidence| Unknown[unknown]
Assessment -->|Complete model inputs| Model[Model operation]
Model -->|Predicate fails| Refused[Named refusal]
Model -->|Predicate holds| Result[State, flow or verdict]Advance
As a caller, I want to record a later establishment leaf.
Operation: history.advance. The corpus contains 2 observations.
Named refusals:
history.advance-refused: The named executable source operation returns none.
Accepted example
Caller supplies this model fixture:
{
"params": {
"toadFloor": 2
},
"action": {
"action": "history.advance",
"sn": 30,
"toad": 2
},
"state": {
"aid": 1,
"cur": 2,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
}
],
"latest": 20,
"parent": null
},
"oracle": {
"receipted": true,
"signatureEpoch": null,
"signed": true
}
}
Caller obtains:
{
"status": "accepted",
"value": {
"aid": 1,
"cur": 3,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
},
{
"leaf": {
"epoch": 3,
"prev": 20,
"toad": 2
},
"sn": 30
}
],
"latest": 30,
"parent": null
}
}
Refused example
Caller supplies this model fixture:
{
"params": {
"toadFloor": 2
},
"action": {
"action": "history.advance",
"sn": 20,
"toad": 2
},
"state": {
"aid": 1,
"cur": 2,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
}
],
"latest": 20,
"parent": null
},
"oracle": {
"receipted": true,
"signatureEpoch": null,
"signed": true
}
}
Caller obtains:
{
"status": "refused",
"refusal": "history.advance-refused"
}
Cover
As a caller, I want to find the historical range covering an event.
Operation: history.cover. The corpus contains 3 observations.
Named refusals:
history.cover-refused: The named executable source operation returns none.
Accepted example
Caller supplies this model fixture:
{
"params": {
"toadFloor": 2
},
"action": {
"action": "history.cover",
"e": 10,
"k": 15,
"succ": 20
},
"state": {
"aid": 1,
"cur": 2,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
}
],
"latest": 20,
"parent": null
},
"oracle": {
"receipted": true,
"signatureEpoch": null,
"signed": true
}
}
Caller obtains:
{
"status": "accepted",
"value": "final"
}
Refused example
Caller supplies this model fixture:
{
"params": {
"toadFloor": 2
},
"action": {
"action": "history.cover",
"e": 10,
"k": 20,
"succ": 20
},
"state": {
"aid": 1,
"cur": 2,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
}
],
"latest": 20,
"parent": null
},
"oracle": {
"receipted": true,
"signatureEpoch": null,
"signed": true
}
}
Caller obtains:
{
"status": "refused",
"refusal": "history.cover-refused"
}
Seal Walk
As a caller, I want to bind a TEL event to its registry and KEL seal.
Operation: history.sealWalk. The corpus contains 2 observations.
Named refusals:
history.sealWalk-refused: The named executable source operation returns none.
Accepted example
Caller supplies this model fixture:
{
"params": {
"toadFloor": 2
},
"action": {
"action": "history.sealWalk",
"rid": 10,
"w": {
"core": {
"e": 10,
"idx": 1,
"kel": {
"establishment": false,
"seals": [
{
"d": 0,
"i": 99,
"s": 0
},
{
"d": 10010,
"i": 10,
"s": 0
}
],
"sn": 15
},
"succ": 20
},
"tel": {
"i": 10,
"kind": "vcp",
"ri": 10,
"s": 0
}
}
},
"state": {
"aid": 1,
"cur": 2,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
}
],
"latest": 20,
"parent": null
},
"oracle": {
"receipted": true,
"signatureEpoch": null,
"signed": true
}
}
Caller obtains:
{
"status": "accepted",
"value": "final"
}
Refused example
Caller supplies this model fixture:
{
"params": {
"toadFloor": 2
},
"action": {
"action": "history.sealWalk",
"rid": 20,
"w": {
"core": {
"e": 10,
"idx": 1,
"kel": {
"establishment": false,
"seals": [
{
"d": 0,
"i": 99,
"s": 0
},
{
"d": 10010,
"i": 10,
"s": 0
}
],
"sn": 15
},
"succ": 20
},
"tel": {
"i": 10,
"kind": "vcp",
"ri": 10,
"s": 0
}
}
},
"state": {
"aid": 1,
"cur": 2,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
}
],
"latest": 20,
"parent": null
},
"oracle": {
"receipted": true,
"signatureEpoch": null,
"signed": true
}
}
Caller obtains:
{
"status": "refused",
"refusal": "history.sealWalk-refused"
}
Supersede
As a caller, I want to replace the latest delegated establishment leaf.
Operation: history.supersede. The corpus contains 2 observations.
Named refusals:
history.supersede-refused: The named executable source operation returns none.
Accepted example
Caller supplies this model fixture:
{
"params": {
"toadFloor": 2
},
"action": {
"action": "history.supersede",
"sn": 20,
"toad": 3
},
"state": {
"aid": 1,
"cur": 2,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
}
],
"latest": 20,
"parent": 0
},
"oracle": {
"receipted": true,
"signatureEpoch": null,
"signed": true
}
}
Caller obtains:
{
"status": "accepted",
"value": {
"aid": 1,
"cur": 3,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 3,
"prev": 10,
"toad": 3
},
"sn": 20
}
],
"latest": 20,
"parent": 0
}
}
Refused example
Caller supplies this model fixture:
{
"params": {
"toadFloor": 2
},
"action": {
"action": "history.supersede",
"sn": 20,
"toad": 3
},
"state": {
"aid": 1,
"cur": 2,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
}
],
"latest": 20,
"parent": null
},
"oracle": {
"receipted": true,
"signatureEpoch": null,
"signed": true
}
}
Caller obtains:
{
"status": "refused",
"refusal": "history.supersede-refused"
}
Walk On
As a caller, I want to check an exact seal against historical keys and receipts.
Operation: history.walkOn. The corpus contains 2 observations.
Named refusals:
history.walkOn-refused: The named executable source operation returns none.
Accepted example
Caller supplies this model fixture:
{
"params": {
"toadFloor": 2
},
"action": {
"action": "history.walkOn",
"seal": {
"d": 10010,
"i": 10,
"s": 0
},
"w": {
"e": 10,
"idx": 1,
"kel": {
"establishment": false,
"seals": [
{
"d": 0,
"i": 99,
"s": 0
},
{
"d": 10010,
"i": 10,
"s": 0
}
],
"sn": 15
},
"succ": 20
}
},
"state": {
"aid": 1,
"cur": 2,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
}
],
"latest": 20,
"parent": null
},
"oracle": {
"receipted": true,
"signatureEpoch": null,
"signed": true
}
}
Caller obtains:
{
"status": "accepted",
"value": "final"
}
Refused example
Caller supplies this model fixture:
{
"params": {
"toadFloor": 2
},
"action": {
"action": "history.walkOn",
"seal": {
"d": 10010,
"i": 10,
"s": 0
},
"w": {
"e": 10,
"idx": 1,
"kel": {
"establishment": false,
"seals": [
{
"d": 0,
"i": 99,
"s": 0
},
{
"d": 10010,
"i": 10,
"s": 0
}
],
"sn": 15
},
"succ": 20
}
},
"state": {
"aid": 1,
"cur": 2,
"hist": [
{
"leaf": {
"epoch": 0,
"prev": null,
"toad": 2
},
"sn": 0
},
{
"leaf": {
"epoch": 1,
"prev": 0,
"toad": 2
},
"sn": 10
},
{
"leaf": {
"epoch": 2,
"prev": 10,
"toad": 2
},
"sn": 20
}
],
"latest": 20,
"parent": null
},
"oracle": {
"receipted": true,
"signatureEpoch": 2,
"signed": true
}
}
Caller obtains:
{
"status": "refused",
"refusal": "history.walkOn-refused"
}
Download every example · Read the complete shape · Read semantics and limits