internal/

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

Links

Open Source Insights

Directories ¶

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL

Path	Synopsis
api Package api provides an HTTP client for the reef-core REST API.	Package api provides an HTTP client for the reef-core REST API.
canon 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.
feeder Package feeder is the konareef Pod-Trust-Domain sidecar orchestrator.	Package feeder is the konareef Pod-Trust-Domain sidecar orchestrator.
identity der_gate.go — strict-DER + low-S parser for secp256k1 ECDSA signatures.	der_gate.go — strict-DER + low-S parser for secp256k1 ECDSA signatures.
install 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.
membridge internal/membridge/capacity.go — PRD 4 §3.4 capacity enforcement.	internal/membridge/capacity.go — PRD 4 §3.4 capacity enforcement.
paygate 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.
pod init.go — scaffolding for new pod definitions.	init.go — scaffolding for new pod definitions.
poseidon 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).
publish errors.go — sentinel errors for the P1.3 ZK opt-in flags.	errors.go — sentinel errors for the P1.3 ZK opt-in flags.
run Package run implements the buyer-side "Execute" step of the konareef demo flow: `konareef pod run <handle>/<pod>@<version>`.	Package run implements the buyer-side "Execute" step of the konareef demo flow: `konareef pod run <handle>/<pod>@<version>`.
saltstore internal/saltstore/backend.go — Backend interface + path policy.	internal/saltstore/backend.go — Backend interface + path policy.
smoke 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.
tlog 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.
tui Package tui implements the KonaReef terminal interface.	Package tui implements the KonaReef terminal interface.
verdict Package verdict serves a live, public-facing rendering of a KonaReef Type-C proof: it fetches a konareef-bundle/v2, runs the REAL verifier (verify.VerifyV2Production + the Rust `verify` subprocess), decodes the disclosed evidence, and serves a single self-contained page that shows the six verification checks resolving to a verdict.	Package verdict serves a live, public-facing rendering of a KonaReef Type-C proof: it fetches a konareef-bundle/v2, runs the REAL verifier (verify.VerifyV2Production + the Rust `verify` subprocess), decodes the disclosed evidence, and serves a single self-contained page that shows the six verification checks resolving to a verdict.
verify 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).
version Package version exposes the konareef build version.	Package version exposes the konareef build version.
vkeystore 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.
ws 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.