nika: v1
workflow:
  id: contract-guard
  description: "Local-model clause extraction → schema gate → risk memo"

model: ollama/qwen3.5:4b   # the whole review runs offline · zero cloud

vars:
  contract_path:
    type: string
    required: true
    description: "Path to the contract (markdown or plain text)"

tasks:
  contract:
    invoke:
      tool: "nika:read"
      args: { path: "${{ vars.contract_path }}" }

  clauses:
    with:
      contract: ${{ tasks.contract.output }}
    infer:
      prompt: |
        Extract every risk-bearing clause from this contract ·
        ${{ with.contract }}
        Quote each clause verbatim · classify its risk.
      schema:
        type: object
        required: [clauses]
        properties:
          clauses:
            type: array
            items:
              type: object
              required: [quote, type, risk]
              properties:
                quote: { type: string }
                type: { type: string, enum: [liability, termination, ip, payment, data, other] }
                risk: { type: string, enum: [low, medium, high] }

  check:
    with:
      clauses: ${{ tasks.clauses.output }}
    invoke:
      tool: "nika:validate"
      args:
        data: "${{ with.clauses }}"
        format: json
        schema:
          type: object
          required: [clauses]
          properties:
            clauses:
              type: array
              minItems: 1

  gate:
    with:
      extraction_ok: ${{ tasks.check.output.valid == true }}   # the whole condition crosses as ONE boundary expression
    invoke:
      tool: "nika:assert"
      args:
        condition: "${{ with.extraction_ok }}"
        message: "Clause extraction failed the schema gate: refusing to write the memo"

  memo:
    with:
      clauses: ${{ tasks.clauses.output.clauses }}
    after:
      gate: succeeded              # state, no data · the assert passed or the memo is cancelled
    infer:
      prompt: |
        Write a one-page risk memo from these clauses ·
        ${{ with.clauses }}
        Order by risk · high first · cite the quoted text.

  save:
    with:
      memo: ${{ tasks.memo.output }}
    invoke:
      tool: "nika:write"
      args:
        path: "./legal/risk-memo.md"
        content: "${{ with.memo }}"
        create_dirs: true

outputs:
  clauses:
    value: ${{ tasks.clauses.output.clauses }}
    description: "Typed risk-bearing clauses, verbatim quotes"
  memo: ${{ tasks.memo.output }}

{"a":{"graph_format":2,"workflow":"contract-guard","nodes":[{"id":"contract","verb":"invoke","tool":"nika:read","permits":["tool: nika:read"]},{"id":"clauses","verb":"infer","model":"ollama/qwen3.5:4b","permits":[]},{"id":"check","verb":"invoke","tool":"nika:validate","permits":["tool: nika:validate"]},{"id":"gate","verb":"invoke","tool":"nika:assert","permits":["tool: nika:assert"]},{"id":"memo","verb":"infer","model":"ollama/qwen3.5:4b","permits":[]},{"id":"save","verb":"invoke","tool":"nika:write","permits":["fs.write: ./legal/risk-memo.md","tool: nika:write"]}],"edges":[{"from":"check","to":"gate","kind":"value"},{"from":"clauses","to":"check","kind":"value"},{"from":"clauses","to":"memo","kind":"value"},{"from":"contract","to":"clauses","kind":"value"},{"from":"gate","to":"memo","kind":"control"},{"from":"memo","to":"save","kind":"value"}]},"engine":"0.105.0"}

showcase · tier 2 · business

Contract guard

Clause extraction on a local model, so the contract never leaves the machine. A validate and an assert gate the memo.

Legal-grade caution, sovereign by default. Ollama runs the whole review offline. · conformance-gated in nika-spec ↗ · re-proven at every push

The whole file

6 tasks · 6 waves · the plan falls out of the bindings, nothing is scheduled by hand.

t2-contract-guard.nika.yamlsource

1nika: v12workflow:3  id: contract-guard4  description: "Local-model clause extraction → schema gate → risk memo"56model: ollama/qwen3.5:4b   # the whole review runs offline · zero cloud78vars:9  contract_path:10    type: string11    required: true12    description: "Path to the contract (markdown or plain text)"1314tasks:15  contract:16    ◆invoke:17      tool: "nika:read"18      args: { path: "${{ vars.contract_path }}" }1920  clauses:21    with:22      contract: ${{ tasks.contract.output }}23    ◇infer:24      prompt: |25        Extract every risk-bearing clause from this contract ·26        ${{ with.contract }}27        Quote each clause verbatim · classify its risk.28      schema:29        type: object30        required: [clauses]31        properties:32          clauses:33            type: array34            items:35              type: object36              required: [quote, type, risk]37              properties:38                quote: { type: string }39                type: { type: string, enum: [liability, termination, ip, payment, data, other] }40                risk: { type: string, enum: [low, medium, high] }4142  check:43    with:44      clauses: ${{ tasks.clauses.output }}45    ◆invoke:46      tool: "nika:validate"47      args:48        data: "${{ with.clauses }}"49        format: json50        schema:51          type: object52          required: [clauses]53          properties:54            clauses:55              type: array56              minItems: 15758  gate:59    with:60      extraction_ok: ${{ tasks.check.output.valid == true }}   # the whole condition crosses as ONE boundary expression61    ◆invoke:62      tool: "nika:assert"63      args:64        condition: "${{ with.extraction_ok }}"65        message: "Clause extraction failed the schema gate: refusing to write the memo"6667  memo:68    with:69      clauses: ${{ tasks.clauses.output.clauses }}70    after:71      gate: succeeded              # state, no data · the assert passed or the memo is cancelled72    ◇infer:73      prompt: |74        Write a one-page risk memo from these clauses ·75        ${{ with.clauses }}76        Order by risk · high first · cite the quoted text.7778  save:79    with:80      memo: ${{ tasks.memo.output }}81    ◆invoke:82      tool: "nika:write"83      args:84        path: "./legal/risk-memo.md"85        content: "${{ with.memo }}"86        create_dirs: true8788outputs:89  clauses:90    value: ${{ tasks.clauses.output.clauses }}91    description: "Typed risk-bearing clauses, verbatim quotes"92  memo: ${{ tasks.memo.output }}93

nika inspect · engine 0.105.0 · vendored graph, never re-derived

6 declared edges · 6 waves · the plan falls out of the bindings

try itopen in the playground guidethe walkthrough · docs verbinvoke verbinfer toolnika:read toolnika:validate toolnika:assert toolnika:write