intract 0.1.1__tar.gz

intract-0.1.1/.gitignore

@@ -0,0 +1,22 @@
+.env.example
+.idea/inspectionProfiles/Project_Default.xml
+.idea/inspectionProfiles/profiles_settings.xml
+.idea/intract.iml
+.idea/modules.xml
+.idea/pyProjectModel.xml
+.idea/vcs.xml
+__pycache__/
+*.py[cod]
+.pytest_cache/
+.ruff_cache/
+.mypy_cache/
+.venv/
+venv/
+dist/
+build/
+*.egg-info/
+.coverage
+htmlcov/
+
+# Environment variables
+.env

intract-0.1.1/.idea/.gitignore

@@ -0,0 +1,5 @@
+# Default ignored files
+/shelf/
+/workspace.xml
+# Editor-based HTTP Client requests
+/httpRequests/

intract-0.1.1/.idea/workspace.xml

@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectViewState">
+    <option name="autoscrollFromSource" value="true" />
+    <option name="autoscrollToSource" value="true" />
+    <option name="hideEmptyMiddlePackages" value="true" />
+    <option name="showLibraryContents" value="true" />
+  </component>
+  <component name="PropertiesComponent">{}</component>
+</project>

intract-0.1.1/CHANGELOG.md

@@ -0,0 +1,36 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+
+## [0.1.1] - 2026-05-29
+
+### Docs
+- Update README.md
+- Update docs/contract-format.md
+- Update docs/examples.md
+- Update docs/intent-yaml.md
+- Update docs/validation.md
+
+### Test
+- Update tests/test_manifest.py
+- Update tests/test_parser.py
+- Update tests/test_validation.py
+
+### Other
+- Update .env.example
+- Update .gitignore
+- Update .idea/.gitignore
+- Update .idea/inspectionProfiles/Project_Default.xml
+- Update .idea/inspectionProfiles/profiles_settings.xml
+- Update .idea/intract.iml
+- Update .idea/modules.xml
+- Update .idea/pyProjectModel.xml
+- Update .idea/vcs.xml
+- Update LICENSE
+- ... and 6 more files
+

intract-0.1.1/LICENSE

@@ -0,0 +1,7 @@
+MIT License
+
+Copyright (c) 2026 Intract Contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files to deal in the Software
+without restriction.

intract-0.1.1/Makefile

@@ -0,0 +1,13 @@
+.PHONY: install test lint format
+
+install:
+	pip install -e .[dev]
+
+test:
+	pytest -q
+
+lint:
+	ruff check .
+
+format:
+	ruff format .

intract-0.1.1/PKG-INFO

@@ -0,0 +1,141 @@
+Metadata-Version: 2.4
+Name: intract
+Version: 0.1.1
+Summary: Intent contract tagging, validation and semantic mapping for codebases.
+Author: Intract Contributors
+Author-email: Tom Sapletta <tom@sapletta.com>
+License-Expression: Apache-2.0
+License-File: LICENSE
+Keywords: code-quality,contract,intent,refactoring,static-analysis,validation
+Classifier: Development Status :: 3 - Alpha
+Classifier: Environment :: Console
+Classifier: Intended Audience :: Developers
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Software Development :: Quality Assurance
+Requires-Python: >=3.10
+Requires-Dist: pyyaml>=6.0
+Requires-Dist: rich>=13.0
+Requires-Dist: typer>=0.12.0
+Provides-Extra: dev
+Requires-Dist: costs>=0.1.20; extra == 'dev'
+Requires-Dist: goal>=2.1.0; extra == 'dev'
+Requires-Dist: mypy>=1.8; extra == 'dev'
+Requires-Dist: pfix>=0.1.60; extra == 'dev'
+Requires-Dist: pytest>=7.0; extra == 'dev'
+Requires-Dist: ruff>=0.4; extra == 'dev'
+Description-Content-Type: text/markdown
+
+# Intract
+
+
+## AI Cost Tracking
+
+![PyPI](https://img.shields.io/badge/pypi-costs-blue) ![Version](https://img.shields.io/badge/version-0.1.1-blue) ![Python](https://img.shields.io/badge/python-3.9+-blue) ![License](https://img.shields.io/badge/license-Apache--2.0-green)
+![AI Cost](https://img.shields.io/badge/AI%20Cost-$0.15-orange) ![Human Time](https://img.shields.io/badge/Human%20Time-1.0h-blue) ![Model](https://img.shields.io/badge/Model-openrouter%2Fqwen%2Fqwen3--coder--next-lightgrey)
+
+- 🤖 **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](https://openrouter.ai/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
+
+```python
+# @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
+
+```yaml
+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
+
+```bash
+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.

intract-0.1.1/README.md

@@ -0,0 +1,111 @@
+# Intract
+
+
+## AI Cost Tracking
+
+![PyPI](https://img.shields.io/badge/pypi-costs-blue) ![Version](https://img.shields.io/badge/version-0.1.1-blue) ![Python](https://img.shields.io/badge/python-3.9+-blue) ![License](https://img.shields.io/badge/license-Apache--2.0-green)
+![AI Cost](https://img.shields.io/badge/AI%20Cost-$0.15-orange) ![Human Time](https://img.shields.io/badge/Human%20Time-1.0h-blue) ![Model](https://img.shields.io/badge/Model-openrouter%2Fqwen%2Fqwen3--coder--next-lightgrey)
+
+- 🤖 **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](https://openrouter.ai/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
+
+```python
+# @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
+
+```yaml
+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
+
+```bash
+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.

intract-0.1.1/VERSION

@@ -0,0 +1 @@
+0.1.1

intract-0.1.1/docs/contract-format.md

@@ -0,0 +1,13 @@
+# Intract Contract Format
+
+An Intract contract is a one-line, self-describing validation contract.
+
+```text
+@intract.v1 scope:<scope> intent:<action>:<object> priority:<1-5> domain:<domain> input:<inputs> output:<outputs> effect:<effects> forbid:<effects> require:<subintents> validate:<rules> meaning:"plain explanation"
+```
+
+Example:
+
+```python
+# @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 if user may modify resource without changing state"
+```

intract-0.1.1/docs/examples.md

@@ -0,0 +1,10 @@
+# Examples
+
+## Python
+
+```python
+# @intract.v1 scope:function intent:parse:extensions priority:2 domain:cli input:raw_extensions output:extension_list effect:none forbid:network,write validate:input_presence,output_presence,return_value,no_forbidden_effect meaning:"parse raw extension string into normalized extension list"
+def parse_extensions(raw_extensions: str) -> list[str]:
+    extension_list = [item.strip().lower() for item in raw_extensions.split(",") if item.strip()]
+    return extension_list
+```

intract-0.1.1/docs/intent-yaml.md

@@ -0,0 +1,14 @@
+# `intent.yaml` / `intract.yaml`
+
+A manifest allows tagging multiple files and expressing nested project contracts.
+
+```yaml
+contracts:
+  - id: project.analysis
+    scope: project
+    intent: analyze:code_duplication
+    require:
+      - scan.project_files
+      - extract.code_blocks
+      - detect.duplicates
+```

intract-0.1.1/docs/validation.md

@@ -0,0 +1,12 @@
+# Validation Model
+
+Supported validation rules:
+
+| Rule | Meaning |
+|---|---|
+| `input_presence` | Required inputs appear in the source. |
+| `output_presence` | Required outputs appear in the source. |
+| `return_value` | The code appears to return/yield a value. |
+| `no_forbidden_effect` | Forbidden effects such as `network` or `write` are not detected. |
+| `effect_match` | Observed effects match declared effects. |
+| `required_intents` | Required sub-intents are present in the project. |

intract-0.1.1/examples/configs/intent.yaml

@@ -0,0 +1,22 @@
+project:
+  name: sample-intract-project
+
+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
+      - render.report
+    validate:
+      - required_intents
+      - no_forbidden_effect
+    meaning: "Project should analyze source code duplication and produce refactoring guidance."

intract-0.1.1/examples/csharp/ScanPipeline.cs

@@ -0,0 +1,7 @@
+// @intract.v1 scope:file intent:implement:scan_pipeline priority:1 domain:analysis input:sourceTree output:duplicationMap effect:read forbid:network require:scan.project_files,extract.code_blocks,detect.duplicates,render.report validate:required_intents,no_forbidden_effect meaning:"file should implement scan pipeline from files to duplication report"
+
+// @intract.v1 scope:function intent:scan:project_files priority:1 domain:scanner input:sourceTree output:fileList effect:read forbid:network validate:input_presence,output_presence,return_value,no_forbidden_effect meaning:"collect source files from project tree"
+public List<string> CollectFiles(string sourceTree) {
+    var fileList = Directory.GetFiles(sourceTree, "*.cs").ToList();
+    return fileList;
+}

intract-0.1.1/examples/python/parse_extensions.py

@@ -0,0 +1,8 @@
+# @intract.v1 scope:function intent:parse:extensions priority:2 domain:cli input:raw_extensions output:extension_list effect:none forbid:network,write require:none validate:input_presence,output_presence,return_value,no_forbidden_effect meaning:"parse raw extension string into normalized extension list"
+def parse_extensions(raw_extensions: str) -> list[str]:
+    extension_list = [
+        item.strip().lower()
+        for item in raw_extensions.split(",")
+        if item.strip()
+    ]
+    return extension_list

intract-0.1.1/examples/typescript/permission.ts

@@ -0,0 +1,5 @@
+// @intract.v1 scope:function intent:validate:user_permission priority:1 domain:security input:user,resource output:allowed effect:none forbid:network,write require:none validate:input_presence,output_presence,return_value,no_forbidden_effect meaning:"check if user can modify resource without network or writes"
+function canUpdateResource(user: User, resource: Resource): boolean {
+  const allowed = user.isAdmin || resource.ownerId === user.id;
+  return allowed;
+}