intract 0.1.1

Intent contract tagging, validation and semantic mapping for codebases.

Intract

AI Cost Tracking

• 🤖 LLM usage: $0.1500 (1 commits)
• 👤 Human dev: ~$100 (1.0h @ $100/h, 30min dedup)

Generated on 2026-05-29 using openrouter/qwen/qwen3-coder-next

---

Intract is a lightweight intent-contract system for codebases.

Intract is not primarily a programming language. It is a contract layer for code intent. A contract may be a single line, an inline comment, or a multi-file intent.yaml manifest.

Inline contract

# @intract.v1 scope:function intent:validate:user_permission priority:1 domain:security input:user,resource output:allowed effect:none forbid:write,network require:none validate:input_presence,return_value,no_forbidden_effect meaning:"check whether user can modify resource without changing state"
def can_update_resource(user, resource):
    return user.is_admin or resource.owner_id == user.id

Multi-file manifest

project:
  name: redup

contracts:
  - id: project.analysis
    scope: project
    intent: analyze:code_duplication
    priority: 1
    domain: project
    input: [source_tree]
    output: [DuplicationMap, RefactorSuggestion]
    effect: [read]
    forbid: [network]
    require:
      - scan.project_files
      - extract.code_blocks
      - detect.duplicates
      - group.duplicates
      - render.report
    validate:
      - required_intents
      - no_forbidden_effect
    meaning: "Project should analyze source code duplication and produce refactoring guidance."

files:
  src/redup/core/scanner/__init__.py:
    - scope: file
      intent: scan:project_files
      priority: 1
      domain: scanner
      input: [ScanConfig]
      output: [file_list]
      effect: [read]
      forbid: [network]
      meaning: "Scanner file should collect project source files."

CLI

pip install -e .[dev]

intract scan .
intract validate .
intract validate . --manifest intent.yaml --json
intract init .

Validation statuses

Status	Meaning
pass	Contract is satisfied.
partial	Contract is partly satisfied but missing evidence or sub-intents.
fail	Contract is not satisfied.
violation	Contract matches but violates a forbidden constraint.
unknown	Not enough information to decide.

Contract fields

Field	Example	Meaning
scope	function	Level: line, block, function, class, file, module, project.
intent	validate:user_permission	Main action and object.
priority	1	Importance from 1 to 5.
domain	security	Architectural/business domain.
input	user,resource	Expected inputs.
output	allowed	Expected output.
effect	read	Allowed/declared side effects.
forbid	write,network	Forbidden effects.
require	scan.project_files	Required sub-intents.
validate	input_presence,no_forbidden_effect	Validation rules to apply.
meaning	"..."	Human-readable explanation.

License

Licensed under Apache-2.0.