old-limit
Old 1,000g boundary
Evidence changed
Request: quote delivery
Supplied input
{
"parcel": {
"member": false,
"weight_grams": 1000
}
}Captured execution limits
Limits saved with this case. Comparison never overrides them. A matching result does not establish capacity for other inputs.
{
"callDepth": 64,
"execution": {
"evidenceBytes": 1048576,
"steps": 100000,
"textBytes": 1048576
}
}Case identity
This identifier binds the saved observation and its capture settings; it is not an approval or signature.
sha256:bacdc7a57b2a3890a60e7f372811e4da85983af9d490bceb15a0f28d93202714Outcome differences
No change to the outcome. Source, state, or evidence may still differ.
Change flags
{
"evidence": true,
"outcome": false,
"source": true,
"state": false
}Verified baseline
Completed
Declared result
{
"quote": {
"fee": 5,
"status": "standard"
}
}State and captured output
State
{
"parcel": {
"member": false,
"weight_grams": 1000
},
"quote": {
"fee": 5,
"status": "standard"
}
}Captured output
[]
Decision trail
#1 enter request Entered request.REQUEST quote delivery
rules.gwt:11:1
REQUEST quote deliveryBehavior or request definition
rules.gwt:11:1
REQUEST quote deliveryRecorded value
{ "definition": { "column": 1, "end": 164, "file": "rules.gwt", "line": 11, "start": 142 }, "name": "quote delivery" }#2 literal Evaluated expression to the recorded value."standard"
rules.gwt:14:13
"standard"Recorded value
"standard"#3 literal Evaluated expression to the recorded value.0
rules.gwt:15:10
0Recorded value
0#5 enter behavior Entered behavior with the recorded arguments.quote delivery for parcel into quote
rules.gwt:16:8
quote delivery for parcel into quote
Behavior or request definition
rules.gwt:20:1
WHEN quote delivery for <parcel> into <quote>
Recorded value
{ "bindings": { "parcel": "parcel", "quote": "quote" }, "definition": { "column": 1, "end": 383, "file": "rules.gwt", "line": 20, "start": 338 }, "signature": "quote delivery for <parcel> into <quote>" }#6 read parcel.weight_grams Read the recorded state value.parcel.weight_grams
rules.gwt:23:11
parcel.weight_grams
Recorded value
1000#7 literal Evaluated expression to the recorded value.0
rules.gwt:23:33
0Recorded value
0#9 assert Assertion passed.REQUIRE parcel.weight_grams > 0
rules.gwt:23:3
REQUIRE parcel.weight_grams > 0
Recorded operands: 8
Recorded value
true#10 read parcel.weight_grams Read the recorded state value.parcel.weight_grams
rules.gwt:25:10
parcel.weight_grams
Recorded value
1000#11 literal Evaluated expression to the recorded value.5000
rules.gwt:25:32
5000Recorded value
5000#13 branch Condition did not match.parcel.weight_grams > 5000
rules.gwt:25:10
parcel.weight_grams > 5000
Recorded operands: 12
Recorded value
{ "selected": false }#14 read parcel.member Read the recorded state value.parcel.member
rules.gwt:28:10
parcel.member
Recorded value
false#15 branch Condition did not match.parcel.member
rules.gwt:28:10
parcel.member
Recorded operands: 14
Recorded value
{ "selected": false }#16 read parcel.weight_grams Read the recorded state value.parcel.weight_grams
rules.gwt:31:10
parcel.weight_grams
Recorded value
1000#17 literal Evaluated expression to the recorded value.1000
rules.gwt:31:33
1000Recorded value
1000#19 branch Condition matched; branch selected.parcel.weight_grams <= 1000
rules.gwt:31:10
parcel.weight_grams <= 1000
Recorded operands: 18
Recorded value
{ "selected": true }#20 branch skipped Branch was not evaluated.ELSE
rules.gwt:34:5
ELSENot evaluated
rules.gwt:34:5
ELSERecorded value
null#21 literal Evaluated expression to the recorded value."standard"
rules.gwt:32:27
"standard"Recorded value
"standard"#22 set Recorded state change; before and after values are shown below.set quote.status to "standard"
rules.gwt:32:7
set quote.status to "standard"
Recorded operands: 21
Recorded value
{ "after": "standard", "before": "standard", "path": "quote.status", "sourcePath": "quote.status" }#23 literal Evaluated expression to the recorded value.5
rules.gwt:33:24
5Recorded value
5#24 set Recorded state change; before and after values are shown below.set quote.fee to 5
rules.gwt:33:7
set quote.fee to 5
Recorded operands: 23
Recorded value
{ "after": 5, "before": 0, "path": "quote.fee", "sourcePath": "quote.fee" }#25 leave behavior Behavior completed.quote delivery for parcel into quote
rules.gwt:16:8
quote delivery for parcel into quote
Recorded value
{ "signature": "quote delivery for <parcel> into <quote>" }#26 output contract Output value satisfied its contract.OUTPUT quote is Quote
rules.gwt:17:3
OUTPUT quote is Quote
Recorded value
{ "path": "quote", "value": { "fee": 5, "status": "standard" } }#27 read quote.fee Read the recorded state value.quote.fee
rules.gwt:18:8
quote.fee
Recorded value
5#28 literal Evaluated expression to the recorded value.0
rules.gwt:18:21
0Recorded value
0#30 assert Assertion passed.THEN quote.fee >= 0
rules.gwt:18:3
THEN quote.fee >= 0
Recorded operands: 29
Recorded value
true#31 leave request Request completed.REQUEST quote delivery
rules.gwt:11:1
REQUEST quote deliveryRecorded value
{ "name": "quote delivery" }
24 execution steps · 31 recorded events
Candidate
Completed
Declared result
{
"quote": {
"fee": 5,
"status": "standard"
}
}State and captured output
State
{
"parcel": {
"member": false,
"weight_grams": 1000
},
"quote": {
"fee": 5,
"status": "standard"
}
}Captured output
[]
Decision trail
#1 enter request Entered request.REQUEST quote delivery
candidate.gwt:11:1
REQUEST quote deliveryBehavior or request definition
candidate.gwt:11:1
REQUEST quote deliveryRecorded value
{ "definition": { "column": 1, "end": 164, "file": "candidate.gwt", "line": 11, "start": 142 }, "name": "quote delivery" }#2 literal Evaluated expression to the recorded value."standard"
candidate.gwt:14:13
"standard"Recorded value
"standard"#3 literal Evaluated expression to the recorded value.0
candidate.gwt:15:10
0Recorded value
0#5 enter behavior Entered behavior with the recorded arguments.quote delivery for parcel into quote
candidate.gwt:16:8
quote delivery for parcel into quote
Behavior or request definition
candidate.gwt:20:1
WHEN quote delivery for <parcel> into <quote>
Recorded value
{ "bindings": { "parcel": "parcel", "quote": "quote" }, "definition": { "column": 1, "end": 383, "file": "candidate.gwt", "line": 20, "start": 338 }, "signature": "quote delivery for <parcel> into <quote>" }#6 read parcel.weight_grams Read the recorded state value.parcel.weight_grams
candidate.gwt:23:11
parcel.weight_grams
Recorded value
1000#7 literal Evaluated expression to the recorded value.0
candidate.gwt:23:33
0Recorded value
0#9 assert Assertion passed.REQUIRE parcel.weight_grams > 0
candidate.gwt:23:3
REQUIRE parcel.weight_grams > 0
Recorded operands: 8
Recorded value
true#10 read parcel.weight_grams Read the recorded state value.parcel.weight_grams
candidate.gwt:25:10
parcel.weight_grams
Recorded value
1000#11 literal Evaluated expression to the recorded value.5000
candidate.gwt:25:32
5000Recorded value
5000#13 branch Condition did not match.parcel.weight_grams > 5000
candidate.gwt:25:10
parcel.weight_grams > 5000
Recorded operands: 12
Recorded value
{ "selected": false }#14 read parcel.member Read the recorded state value.parcel.member
candidate.gwt:28:10
parcel.member
Recorded value
false#15 branch Condition did not match.parcel.member
candidate.gwt:28:10
parcel.member
Recorded operands: 14
Recorded value
{ "selected": false }#16 read parcel.weight_grams Read the recorded state value.parcel.weight_grams
candidate.gwt:31:10
parcel.weight_grams
Recorded value
1000#17 literal Evaluated expression to the recorded value.1500
candidate.gwt:31:33
1500Recorded value
1500#19 branch Condition matched; branch selected.parcel.weight_grams <= 1500
candidate.gwt:31:10
parcel.weight_grams <= 1500
Recorded operands: 18
Recorded value
{ "selected": true }#20 branch skipped Branch was not evaluated.ELSE
candidate.gwt:34:5
ELSENot evaluated
candidate.gwt:34:5
ELSERecorded value
null#21 literal Evaluated expression to the recorded value."standard"
candidate.gwt:32:27
"standard"Recorded value
"standard"#22 set Recorded state change; before and after values are shown below.set quote.status to "standard"
candidate.gwt:32:7
set quote.status to "standard"
Recorded operands: 21
Recorded value
{ "after": "standard", "before": "standard", "path": "quote.status", "sourcePath": "quote.status" }#23 literal Evaluated expression to the recorded value.5
candidate.gwt:33:24
5Recorded value
5#24 set Recorded state change; before and after values are shown below.set quote.fee to 5
candidate.gwt:33:7
set quote.fee to 5
Recorded operands: 23
Recorded value
{ "after": 5, "before": 0, "path": "quote.fee", "sourcePath": "quote.fee" }#25 leave behavior Behavior completed.quote delivery for parcel into quote
candidate.gwt:16:8
quote delivery for parcel into quote
Recorded value
{ "signature": "quote delivery for <parcel> into <quote>" }#26 output contract Output value satisfied its contract.OUTPUT quote is Quote
candidate.gwt:17:3
OUTPUT quote is Quote
Recorded value
{ "path": "quote", "value": { "fee": 5, "status": "standard" } }#27 read quote.fee Read the recorded state value.quote.fee
candidate.gwt:18:8
quote.fee
Recorded value
5#28 literal Evaluated expression to the recorded value.0
candidate.gwt:18:21
0Recorded value
0#30 assert Assertion passed.THEN quote.fee >= 0
candidate.gwt:18:3
THEN quote.fee >= 0
Recorded operands: 29
Recorded value
true#31 leave request Request completed.REQUEST quote delivery
candidate.gwt:11:1
REQUEST quote deliveryRecorded value
{ "name": "quote delivery" }
24 execution steps · 31 recorded events