Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
assent
command
Command assent is the CLI entry point for the deterministic auto-merge gate.
|
Command assent is the CLI entry point for the deterministic auto-merge gate. |
|
hack
|
|
|
spikes/cel
Package celspike is a throwaway Spike A harness for CEL residual risks (ADR-0013).
|
Package celspike is a throwaway Spike A harness for CEL residual risks (ADR-0013). |
|
spikes/provider
Package provider is Spike C (P2-E3): a throwaway proof of the typed, minimized HTTP/exec provider contract (ADR-0017 §6) and the token-isolation invariant (ADR-0015 §7).
|
Package provider is Spike C (P2-E3): a throwaway proof of the typed, minimized HTTP/exec provider contract (ADR-0017 §6) and the token-isolation invariant (ADR-0015 §7). |
|
spikes/provider/maliciousexec
command
Command maliciousexec is a deliberately hostile exec provider for the isolation spike: it exfiltrates everything it can see — its entire environment and its full stdin — to stdout.
|
Command maliciousexec is a deliberately hostile exec provider for the isolation spike: it exfiltrates everything it can see — its entire environment and its full stdin — to stdout. |
|
spikes/provider/toyexec
command
Command toyexec is the exec transport of the toy group-membership provider: FactQuery on stdin, FactResponse on stdout.
|
Command toyexec is the exec transport of the toy group-membership provider: FactQuery on stdin, FactResponse on stdout. |
|
internal
|
|
|
adoptertest
Package adoptertest is the PURE library behind `assent test` (P5-E6).
|
Package adoptertest is the PURE library behind `assent test` (P5-E6). |
|
catalogue
Package catalogue is assent's pure generated rule catalogue (D-017 B10).
|
Package catalogue is assent's pure generated rule catalogue (D-017 B10). |
|
change
Package change implements assent's canonical change model: it diffs a base and head version of a single file into a byte-stable ChangeSet that predicates evaluate over (ADR-0003, ADR-0011).
|
Package change implements assent's canonical change model: it diffs a base and head version of a single file into a byte-stable ChangeSet that predicates evaluate over (ADR-0003, ADR-0011). |
|
compare
Package compare is the PURE promotion-comparison engine behind `assent compare` (P5-E6-S09 seed, PCS epic extensions).
|
Package compare is the PURE promotion-comparison engine behind `assent compare` (P5-E6-S09 seed, PCS epic extensions). |
|
core/aggregate
Package aggregate is the PURE, order-independent obligations aggregator for the P4-E1 walking skeleton (P4-E1-S03, ADR-0017 §2/§6).
|
Package aggregate is the PURE, order-independent obligations aggregator for the P4-E1 walking skeleton (P4-E1-S03, ADR-0017 §2/§6). |
|
core/classify
Package classify is the PURE, minimal change-classifier for the P4-E1 walking skeleton (P4-E1-S07-01, ADR-0008 §1, ADR-0015 §1).
|
Package classify is the PURE, minimal change-classifier for the P4-E1 walking skeleton (P4-E1-S07-01, ADR-0008 §1, ADR-0015 §1). |
|
core/decision
Package decision is the PURE serializer for the P4-E1 walking skeleton (P4-E1-S04, ADR-0016 §3, ADR-0017 §1/§9).
|
Package decision is the PURE serializer for the P4-E1 walking skeleton (P4-E1-S04, ADR-0016 §3, ADR-0017 §1/§9). |
|
core/hash
Package hash provides schema-version domain-separated digests over canonical JSON.
|
Package hash provides schema-version domain-separated digests over canonical JSON. |
|
core/policy
Package policy loads assent's frozen authored contracts — MergePolicy, RulesetBinding, Config, and Pack (schemas/policy/v1alpha1/**) — into engine types under strict decode, replacing the P4-E1 toy YAML (cmd/assent/policy.go).
|
Package policy loads assent's frozen authored contracts — MergePolicy, RulesetBinding, Config, and Pack (schemas/policy/v1alpha1/**) — into engine types under strict decode, replacing the P4-E1 toy YAML (cmd/assent/policy.go). |
|
evaldecode
Package evaldecode is the E2-S04 REQ-06 boundary that turns the LIVE differ's output into the engine's typed EvaluationInput.
|
Package evaldecode is the E2-S04 REQ-06 boundary that turns the LIVE differ's output into the engine's typed EvaluationInput. |
|
forge
Package forge is the ADR-0017 §7 forge port surface:
|
Package forge is the ADR-0017 §7 forge port surface: |
|
forge/conformance
Package conformance holds L2 conformance goldens for the forge port (ADR-0005).
|
Package conformance holds L2 conformance goldens for the forge port (ADR-0005). |
|
forge/fake
Package fake is the in-memory forge substrate for the P4-E1 Reconcile tests (S06/S08/S07-02).
|
Package fake is the in-memory forge substrate for the P4-E1 Reconcile tests (S06/S08/S07-02). |
|
forge/gitlab
Package gitlab is the REAL GitLab REST v4 adapter for the P4-E1 walking skeleton (P4-E1-S10).
|
Package gitlab is the REAL GitLab REST v4 adapter for the P4-E1 walking skeleton (P4-E1-S10). |
|
glob
Package glob is the single, pure path/pointer glob matcher shared by the routing classifier (internal/core/classify) and the obligation-coverage loop (internal/core/aggregate).
|
Package glob is the single, pure path/pointer glob matcher shared by the routing classifier (internal/core/classify) and the obligation-coverage loop (internal/core/aggregate). |
|
lint
Package lint is assent's pure `assent lint` check library over the `.assent/**` authoring surface.
|
Package lint is assent's pure `assent lint` check library over the `.assent/**` authoring surface. |
|
provider
Package provider hosts the typed provider protocol (ADR-0017 §6).
|
Package provider hosts the typed provider protocol (ADR-0017 §6). |
|
provider/builtin
Package builtin registers hermetic Phase-5 provider fact sources (forge groups, repo-file walk).
|
Package builtin registers hermetic Phase-5 provider fact sources (forge groups, repo-file walk). |
|
render
Package render is the pure presentation layer for assent (P5-E8, ADR-0016).
|
Package render is the pure presentation layer for assent (P5-E8, ADR-0016). |
|
render/locale
Package locale ships fixed renderer chrome strings keyed by stable ids (ADR-0016 §5).
|
Package locale ships fixed renderer chrome strings keyed by stable ids (ADR-0016 §5). |
|
schemadrift
Package schemadrift helpers verify git-tracked schema changes stay within allowed epic fences: the E8 D-088 presentation block in config.schema.json, and the D-120 toolDigest description annotation in decision-record.schema.json.
|
Package schemadrift helpers verify git-tracked schema changes stay within allowed epic fences: the E8 D-088 presentation block in config.schema.json, and the D-120 toolDigest description annotation in decision-record.schema.json. |
|
Package schemas compiles and validates the versioned JSON Schemas that are assent's public contract surface (ADR-0017 §7: the serialized schemas are the API, not the internal Go types).
|
Package schemas compiles and validates the versioned JSON Schemas that are assent's public contract surface (ADR-0017 §7: the serialized schemas are the API, not the internal Go types). |
|
test
|
|
|
e2e
Package e2e holds the L3 real-forge end-to-end tests, all gated behind the `e2e` build tag (see skeleton_test.go and test/e2e/README.md).
|
Package e2e holds the L3 real-forge end-to-end tests, all gated behind the `e2e` build tag (see skeleton_test.go and test/e2e/README.md). |
Click to show internal directories.
Click to hide internal directories.