Directories
¶
| Path | Synopsis |
|---|---|
|
internal/proofgen
Package proofgen writes the per-harness proof enum arms of the activation package from the proof declaration tables in the three harness target files.
|
Package proofgen writes the per-harness proof enum arms of the activation package from the proof declaration tables in the three harness target files. |
|
Package backend maps a legalized consultation into canonical receipt evidence and the typed response expected by the native host.
|
Package backend maps a legalized consultation into canonical receipt evidence and the typed response expected by the native host. |
|
Package context builds the Pasture-side context-disclosure projection: a bounded, canonical summary of committed lifecycle records, per-host chain summaries derived from committed links, and the metamodel coordinates present in the interpreted evidence.
|
Package context builds the Pasture-side context-disclosure projection: a bounded, canonical summary of committed lifecycle records, per-host chain summaries derived from committed links, and the metamodel coordinates present in the interpreted evidence. |
|
Package frontend is the single generic lifecycle frontend skeleton.
|
Package frontend is the single generic lifecycle frontend skeleton. |
|
claude
Package claude supplies the pinned Claude capture vocabulary as host data for the generic lifecycle frontend.
|
Package claude supplies the pinned Claude capture vocabulary as host data for the generic lifecycle frontend. |
|
codex
Package codex supplies the Codex command-hook vocabulary, at the recorded Codex version, as host data for the generic lifecycle frontend.
|
Package codex supplies the Codex command-hook vocabulary, at the recorded Codex version, as host data for the generic lifecycle frontend. |
|
opencode
Package opencode supplies the pinned OpenCode callback vocabulary as host data for the generic lifecycle frontend.
|
Package opencode supplies the pinned OpenCode callback vocabulary as host data for the generic lifecycle frontend. |
|
Package gate is the Pasture-side normative write gate: the closed set of durable lifecycle write classes, a constructor-owned Warrant, and Legalize as the sole warrant issuer.
|
Package gate is the Pasture-side normative write gate: the closed set of durable lifecycle write classes, a constructor-owned Warrant, and Legalize as the sole warrant issuer. |
|
Package gateauthority carries the value types the gate decision reads: who holds which task episode, in which phase, under which session claim.
|
Package gateauthority carries the value types the gate decision reads: who holds which task episode, in which phase, under which session claim. |
|
Package gatepolicy evaluates assignment policy without reading or writing a store.
|
Package gatepolicy evaluates assignment policy without reading or writing a store. |
|
Package hostexit decides what the pasture lifecycle hook tells its host.
|
Package hostexit decides what the pasture lifecycle hook tells its host. |
|
Package ingress holds what every harness ingress shares: the refusals applied to one raw host payload before any harness-specific field is read, and the validating lookup of a native event name in a generated registration manifest.
|
Package ingress holds what every harness ingress shares: the refusals applied to one raw host payload before any harness-specific field is read, and the validating lookup of a native event name in a generated registration manifest. |
|
claude
Package claude captures Claude Code hook payloads without allowing host semantics to leak into target-neutral lifecycle packages.
|
Package claude captures Claude Code hook payloads without allowing host semantics to leak into target-neutral lifecycle packages. |
|
cmd/hostcontractgen
command
|
|
|
codex
Package codex captures exact command-hook stdin bytes from the pinned Codex CLI lifecycle contract at the recorded version.
|
Package codex captures exact command-hook stdin bytes from the pinned Codex CLI lifecycle contract at the recorded version. |
|
opencode
Package opencode captures callback objects from the pinned OpenCode plugin contract without treating the serialized object as a native wire stream.
|
Package opencode captures callback objects from the pinned OpenCode plugin contract without treating the serialized object as a native wire stream. |
|
Package legalize classifies verified lifecycle events into pure semantic terminals.
|
Package legalize classifies verified lifecycle events into pure semantic terminals. |
|
Package lineage derives read-side occurrence lineage edges from committed Level-2 lifecycle evidence.
|
Package lineage derives read-side occurrence lineage edges from committed Level-2 lifecycle evidence. |
|
Package metamodel is the generated, content-addressed lifecycle interpretation vocabulary (D1).
|
Package metamodel is the generated, content-addressed lifecycle interpretation vocabulary (D1). |
|
Package middleend derives provider-independent lifecycle effects and host responses from verified lifecycle events.
|
Package middleend derives provider-independent lifecycle effects and host responses from verified lifecycle events. |
|
Package model defines the target-neutral lifecycle journal contract.
|
Package model defines the target-neutral lifecycle journal contract. |
|
Package nativeresponse is the per-target emission backend for the lifecycle pipeline: it maps the provider-neutral, constructor-built backend.HostResponse into the exact native continuation bytes a host reads from a command-hook's standard output.
|
Package nativeresponse is the per-target emission backend for the lifecycle pipeline: it maps the provider-neutral, constructor-built backend.HostResponse into the exact native continuation bytes a host reads from a command-hook's standard output. |
|
Code generated by hostcontractgen.
|
Code generated by hostcontractgen. |
|
Package waist defines the target-independent lifecycle values between native harness frontends and Pasture's protocol stages.
|
Package waist defines the target-independent lifecycle values between native harness frontends and Pasture's protocol stages. |
Click to show internal directories.
Click to hide internal directories.