Directories
¶
| Path | Synopsis |
|---|---|
|
Package api provides an HTTP client for the reef-core REST API.
|
Package api provides an HTTP client for the reef-core REST API. |
|
ast.go — the internal canonicalization AST and its builder.
|
ast.go — the internal canonicalization AST and its builder. |
|
floatparity
command
Command floatparity generates a deterministic sweep of IEEE-754 doubles in the konareef-toml/v1 R8 range [0.0, 1.0e6], formats each through the Go canonical float rule, and emits the set as JSON for cross-implementation comparison against Erlang.
|
Command floatparity generates a deterministic sweep of IEEE-754 doubles in the konareef-toml/v1 R8 range [0.0, 1.0e6], formats each through the Go canonical float rule, and emits the set as JSON for cross-implementation comparison against Erlang. |
|
der_gate.go — strict-DER + low-S parser for secp256k1 ECDSA signatures.
|
der_gate.go — strict-DER + low-S parser for secp256k1 ECDSA signatures. |
|
Package install: idempotency.go — implements CheckInstalled, the pre-Verify gate that decides whether a fetched pod should be re-installed, treated as already installed (same hash), or refused as a conflict (different hash) against the local cache.
|
Package install: idempotency.go — implements CheckInstalled, the pre-Verify gate that decides whether a fetched pod should be re-installed, treated as already installed (same hash), or refused as a conflict (different hash) against the local cache. |
|
internal/membridge/capacity.go — PRD 4 §3.4 capacity enforcement.
|
internal/membridge/capacity.go — PRD 4 §3.4 capacity enforcement. |
|
internal/paygate/auth_brc31.go — BRC-31 mutual auth session.
|
internal/paygate/auth_brc31.go — BRC-31 mutual auth session. |
|
stubserver
Package stubserver — handlers + writers for the in-process stub PayGate.
|
Package stubserver — handlers + writers for the in-process stub PayGate. |
|
init.go — scaffolding for new pod definitions.
|
init.go — scaffolding for new pod definitions. |
|
Package poseidon implements Poseidon-over-Pallas-Fq, byte-identical to the neptune 13.0.0 reference used by the konareef pod-step ZK circuit (paygate-zk crates/konareef-circuit).
|
Package poseidon implements Poseidon-over-Pallas-Fq, byte-identical to the neptune 13.0.0 reference used by the konareef pod-step ZK circuit (paygate-zk crates/konareef-circuit). |
|
errors.go — sentinel errors for the P1.3 ZK opt-in flags.
|
errors.go — sentinel errors for the P1.3 ZK opt-in flags. |
|
internal/saltstore/backend.go — Backend interface + path policy.
|
internal/saltstore/backend.go — Backend interface + path policy. |
|
Package smoke runs end-to-end smoke tests against a reef-core instance.
|
Package smoke runs end-to-end smoke tests against a reef-core instance. |
|
Package tlog implements PRD 1 § 5.4: deterministic reconstruction of `t_root`, the Merkle commitment over a pod invocation's tool-call log `T_log`, from an ordered sequence of `proof_tool_calls`-equivalent rows.
|
Package tlog implements PRD 1 § 5.4: deterministic reconstruction of `t_root`, the Merkle commitment over a pod invocation's tool-call log `T_log`, from an ordered sequence of `proof_tool_calls`-equivalent rows. |
|
Package tui implements the KonaReef terminal interface.
|
Package tui implements the KonaReef terminal interface. |
|
Package verify — RFC 8949 § 4.2 deterministic-CBOR canonicality validator (Round-1 B3 fix).
|
Package verify — RFC 8949 § 4.2 deterministic-CBOR canonicality validator (Round-1 B3 fix). |
|
Package vkeystore resolves konareef circuit verification keys (vkeys) for the konareef Go verifier.
|
Package vkeystore resolves konareef circuit verification keys (vkeys) for the konareef Go verifier. |
|
Package ws provides a Phoenix Channel client over WebSocket for consuming real-time agent events from reef-core.
|
Package ws provides a Phoenix Channel client over WebSocket for consuming real-time agent events from reef-core. |
Click to show internal directories.
Click to hide internal directories.