An offline Go channel fixture author needs buffered FIFO versus unbuffered rende...
https://detect.halowerk.com/v1/F-A-NIGHT-OS-GO-CHANNELS/go-channel-buffer-close-rendezvousOverview
An offline Go channel fixture author needs buffered FIFO versus unbuffered rendezvous completions and which operations remain blocked or panic after close, with explicit observed partner choice where scheduling is nondeterministic.
Protocol
x402 (POST)
Price
$0.0030
Payment Asset
USD Coin
Payment Network
eip155:8453
Category
uncategorized
Provider
detect
Source
bazaar
Indexed
2026-11-02 17:26:25
Health
Status
unknown
Latency (p50)
—
Uptime (30d)
—
Reliability Score
—
Last Checked
Never
Last Healthy
Never
Consecutive Failures
0
x402 Payment Validation
Payment Requirements
—
Asset Verified
—
Facilitator
—
Input Schema
{
"body": {
"artifact": {
"go_channels": {
"capacity": 1,
"claim": 3,
"events": [
{
"channel": 0,
"op": "send",
"peer": -1,
"thread": 0,
"value": 5
},
{
"channel": 0,
"op": "send",
"peer": -1,
"thread": 1,
"value": 7
},
{
"channel": 0,
"op": "receive",
"peer": -1,
"thread": 2
},
{
"channel": 0,
"op": "receive",
"peer": -1,
"thread": 2
},
{
"channel": 0,
"op": "close",
"peer": -1,
"thread": 0
},
{
"channel": 0,
"op": "receive",
"peer": -1,
"thread": 2
}
]
}
}
},
"bodyType": "json",
"method": "POST",
"type": "http"
}
Output Schema
{
"example": {
"billable": true,
"findings": [
{
"confidence": 100,
"evidence": [],
"limits": [
"Only the explicitly supplied bounded anonymous operand model and exact integer claim are evaluated.",
"No external resource or native system is queried or changed; source contents and contact values are not returned.",
"This is a declared-model correspondence finding without a security, legal, operational or compliance verdict."
],
"module": "go-channel-buffer-close-rendezvous",
"state": "not_observed",
"value": {
"buffer_values": [],
"claim_matches": true,
"closed": true,
"completed_receives": 3,
"operation_results": [
[
0,
0,
0,
1,
5,
-1
],
[
0,
1,
0,
1,
7,
-1
],
[
1,
2,
0,
1,
5,
1
],
[
1,
2,
0,
1,
7,
1
],
[
2,
0,
0,
1,
-1,
-1
],
[
1,
2,
0,
1,
0,
0
]
],
"panic_terminated_threads": [],
"pending_threads": [],
"state_trace": [
[
1,
0,
0
],
[
1,
1,
0
],
[
1,
0,
0
],
[
0,
0,
0
],
[
0,
0,
1
],
[
0,
0,
1
]
],
"statistic": 3
},
"warnings": []
}
],
"known_count": 1,
"scope": {
"contact_values_returned": false,
"network": false,
"supplied_artifact_only": true
},
"warnings": []
},
"type": "json"
}