Skip to main content

hardkas programmability

hardkas programmability capabilities​

Synopsis (Generated)​

Purpose: Show local programmability capabilities

Options​

  • --json (Default: false): Output as JSON

hardkas programmability audit​

Synopsis (Generated)​

Purpose: Audit the boundaries and claims of programmability layers

Options​

  • --json (Default: false): Output as JSON

hardkas programmability inspect​

Synopsis (Generated)​

Purpose: Inspect a Silver, ZK, or vProgs artifact

Arguments​

  • <path> (Required):

Options​

  • --kind <kind>: Artifact kind: silver, zk, or vprog
  • --json (Default: false): Output as JSON

hardkas programmability verify​

Synopsis (Generated)​

Purpose: Verify a local programmability artifact

Arguments​

  • <path> (Required):

Options​

  • --kind <kind>: Artifact kind: silver, zk, or vprog
  • --json (Default: false): Output as JSON

hardkas programmability corpus verify​

Synopsis (Generated)​

Purpose: Verify the root Toccata programmability corpus

Arguments​

  • <path> (Required):

Options​

  • --json (Default: false): Output as JSON

hardkas programmability app plan​

Synopsis (Generated)​

Purpose: Return a local app plan for a programmable HardKAS app

Options​

  • --kind <kind> (Default: full-lab): silver, zk, vprog, or full-lab
  • --template <path>: Template path
  • --json (Default: false): Output as JSON