Directories
¶
| Path | Synopsis |
|---|---|
|
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). |
|
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). |
|
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. |
|
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. |
Click to show internal directories.
Click to hide internal directories.