Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type CompatWriter ¶ added in v0.0.3
type CompatWriter = ReferenceWriter
CompatWriter is retained as a source-compatible alias for ReferenceWriter. Deprecated: use ReferenceWriter or a narrower capability.
type MutationWriter ¶ added in v0.0.3
type MutationWriter interface {
Apply(ctx context.Context, namespace string, mut mutation.SemanticMutation) (mutation.WriteReceipt, error)
}
MutationWriter is the stable graph mutation port. Callers supply an explicit base root through mutation.SemanticMutation and receive a result root in the write receipt; this interface does not publish heads or arbitrate freshness.
type ReferenceWriter ¶
type ReferenceWriter interface {
StructureCreator
UpdateArc(ctx context.Context, namespace string, root cid.Cid, path string, newTarget cid.Cid) (*writer.UpdateResult, error)
BatchUpdateArcs(ctx context.Context, namespace string, root cid.Cid, updates map[string]cid.Cid) (*writer.BatchUpdateResult, error)
GetArc(ctx context.Context, namespace string, root cid.Cid, path string) (cid.Cid, error)
GetSnapshot(ctx context.Context, namespace string, root cid.Cid) (arcset.ArcSet, error)
}
ReferenceWriter exposes legacy root-consuming and inspection helpers used by reference executors and conformance tests. New integrations should depend on MutationWriter and, when required, the separate StructureCreator capability.
type Resolver ¶
type Resolver interface {
// ResolveKey traverses explicit authenticated relations without assuming a
// payload coordinate. It is the generic graph-data authentication port.
ResolveKey(ctx context.Context, root cid.Cid, path string) (*resolver.ResolveResult, error)
// Resolve retains the reference materialization behavior that follows a
// terminal @payload binding on map roots.
Resolve(ctx context.Context, root cid.Cid, path string) (*resolver.ResolveResult, error)
VerifyTranscript(ctx context.Context, root cid.Cid, transcript *resolver.Transcript) (bool, error)
}
Resolver is the graph read/proof port.
type StructureCreator ¶
type StructureCreator interface {
CreateStructure(ctx context.Context, namespace string, arcs arcset.ArcSet) (cid.Cid, error)
}
StructureCreator bootstraps a semantic structure without claiming that the operation is an update from an already authenticated base root.
type Writer ¶
type Writer interface {
MutationWriter
ReferenceWriter
}
Writer is the complete reference-runtime write surface. Deprecated: depend on MutationWriter, StructureCreator, or ReferenceWriter.
Source Files
Directories
¶
| Path | Synopsis |
|---|---|
|
Package resolver implements the MALT explicit-arc resolution loop with prefix consumption.
|
Package resolver implements the MALT explicit-arc resolution loop with prefix consumption. |
|
step
Package step defines the Step interface for single-step resolution.
|
Package step defines the Step interface for single-step resolution. |
|
step/explicit
Package explicit implements the Step interface for MALT explicit arcs.
|
Package explicit implements the Step interface for MALT explicit arcs. |
|
Package runtimegraph composes core resolve, read, and mutation algorithms over an injected ArcSet materializer.
|
Package runtimegraph composes core resolve, read, and mutation algorithms over an injected ArcSet materializer. |
|
Package verifier preserves the graph-runtime verifier constructor while delegating proof checks to the portable authentication kernel.
|
Package verifier preserves the graph-runtime verifier constructor while delegating proof checks to the portable authentication kernel. |
|
Package writer implements graph semantic mutations.
|
Package writer implements graph semantic mutations. |