Skip to main content

hardkas query

hardkas query artifacts list​

Synopsis (Generated)​

Purpose: List artifacts matching filters

Aliases: ls

Options​

  • --schema <schema>: Filter by artifact schema (e.g. txPlan, signedTx)
  • --network <network>: Filter by network ID
  • --mode <mode>: Filter by mode: simulator, localnet or rpc
  • --from <address>: Filter by sender address
  • --to <address>: Filter by recipient address
  • --sort <field:dir>: Sort field and direction (e.g. createdAt:desc)
  • --limit <n> (Default: 100): Max results
  • --json (Default: false): Output as deterministic JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)

hardkas query artifacts inspect​

Synopsis (Generated)​

Purpose: Deep structural analysis of an artifact (path or contentHash)

Arguments​

  • <target> (Required):

Options​

  • --json (Default: false): Output as JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)

hardkas query artifacts diff​

Synopsis (Generated)​

Purpose: Semantic diff between two artifacts

Arguments​

  • <left> (Required):
  • <right> (Required):

Options​

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

hardkas query store doctor​

Synopsis (Generated)​

Purpose: Integrity and freshness check of the query store index

Options​

  • --migrate (Default: false): Apply pending migrations if found
  • --wait-lock (Default: false): With --migrate: wait for the query-store lock if held
  • --lock-timeout <ms> (Default: 30000): Lock wait timeout in ms

hardkas query store migrate​

Synopsis (Generated)​

Purpose: Apply pending schema migrations to the query store

Options​

  • --wait-lock (Default: false): Wait for the query-store lock if held
  • --lock-timeout <ms> (Default: 30000): Lock wait timeout in ms

hardkas query store sync​

Synopsis (Generated)​

Purpose: Index new artifacts into the SQLite query store (needs .hardkas/store.db: run 'query store rebuild' first)

Aliases: index

Options​

  • --strict (Default: false): Fail on any corrupted data
  • --wait-lock (Default: false): Wait for the query-store lock if held
  • --lock-timeout <ms> (Default: 30000): Lock wait timeout in ms
  • --json (Default: false): Output as JSON

Semantic Contract (Curated)​

  • Environments: Local Workspace
  • Reads: .hardkas/artifacts/ (all files), .hardkas/events.jsonl
  • Writes: .hardkas/store.db (SQLite read-model)
  • ⚠️ Side Effects: Rebuilds the ephemeral query projection from the Canonical Store.
  • Evidence Semantics: Ensures the Query Store is in strict parity with the durable evidence DAG.

hardkas query store rebuild​

Synopsis (Generated)​

Purpose: Force a complete rebuild of the query store index

Options​

  • --backend <type>: sqlite (the default) builds .hardkas/store.db from the workspace; filesystem keeps no index, so it has nothing to rebuild
  • --strict (Default: false): Fail on any corrupted data
  • --wait-lock (Default: false): Wait for the query-store lock if held
  • --lock-timeout <ms> (Default: 30000): Lock wait timeout in ms
  • --json (Default: false): Output as JSON

hardkas query store sql​

Synopsis (Generated)​

Purpose: Run a raw SQL query against the query store

Arguments​

  • <query> (Required):

Options​

  • --json (Default: false): Output as JSON
  • --unsafe-write (Default: false): Allow mutating SQL (DANGEROUS)
  • --yes (Default: false): Confirm mutating SQL (DANGEROUS)

hardkas query store export​

Synopsis (Generated)​

Purpose: Export logical store state to JSON

Options​

  • --output <path>: Output file path

hardkas query lineage chain​

Synopsis (Generated)​

Purpose: Reconstruct lineage chain from an artifact (contentHash or artifactId)

Arguments​

  • <anchor> (Required):

Options​

  • --direction <dir> (Default: ancestors): Traversal direction: ancestors or descendants
  • --json (Default: false): Output as JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)
  • --why: Shorthand for --explain full

hardkas query lineage transitions​

Synopsis (Generated)​

Purpose: List all lineage transitions

Options​

  • --root <hash>: Filter by root artifact ID
  • --json (Default: false): Output as JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)
  • --why: Shorthand for --explain full

hardkas query lineage orphans​

Synopsis (Generated)​

Purpose: Find artifacts with broken lineage references

Options​

  • --json (Default: false): Output as JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)

hardkas query replay list​

Synopsis (Generated)​

Purpose: List all stored receipts

Aliases: ls

Options​

  • --status <status>: Filter by status
  • --json (Default: false): Output as JSON
  • --limit <n> (Default: 100): Max results

hardkas query replay summary​

Synopsis (Generated)​

Purpose: Detailed receipt + trace summary for a transaction

Arguments​

  • <txId> (Required):

Options​

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

hardkas query replay divergences​

Synopsis (Generated)​

Purpose: Detect receipts with replay divergence indicators

Options​

  • --json (Default: false): Output as JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)

hardkas query replay invariants​

Synopsis (Generated)​

Purpose: Check replay invariants for a specific transaction

Arguments​

  • <txId> (Required):

Options​

  • --json (Default: false): Output as JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)

hardkas query dag conflicts​

Synopsis (Generated)​

Purpose: Show double-spend conflict analysis

Options​

  • --json (Default: false): Output as JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)
  • --why: Shorthand for --explain full

hardkas query dag displaced​

Synopsis (Generated)​

Purpose: Show displaced transactions

Options​

  • --json (Default: false): Output as JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)

hardkas query dag history​

Synopsis (Generated)​

Purpose: Full lifecycle of a transaction through the DAG

Arguments​

  • <txId> (Required):

Options​

  • --json (Default: false): Output as JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)
  • --why: Shorthand for --explain full

hardkas query dag sink-path​

Synopsis (Generated)​

Purpose: Show current selected path from genesis to sink

Options​

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

hardkas query dag anomalies​

Synopsis (Generated)​

Purpose: Find transactions or blocks in unexpected states

Options​

  • --json (Default: false): Output as JSON
  • --explain [level]: Attach explain chains (brief and full currently give the same output)

hardkas query events​

Synopsis (Generated)​

Purpose: Query event log

Options​

  • --tx <txId>: Filter events by transaction ID
  • --domain <domain>: Filter by event domain
  • --kind <kind>: Filter by event kind
  • --workflow <workflowId>: Filter by workflow ID
  • --limit <n> (Default: 100): Max results
  • --json (Default: false): Output as deterministic JSON
  • --explain [level]: Attach explain metadata (brief|full)

hardkas query tx​

Synopsis (Generated)​

Purpose: Aggregate all data for a transaction stable

Arguments​

  • <txId> (Required):

Options​

  • --json (Default: false): Output as deterministic JSON
  • --explain [level]: Attach explain metadata (brief|full)