Skip to content

Latest commit

 

History

3 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Verified Completion Kernel

Check an operation against explicit completion obligations. The kernel records which artifact checks passed, failed or still require human judgment, and includes durable verification/resume records for longer filesystem workflows.

Try it

Python 3.11 or newer. The package depends on Pydantic 2.

python -m pip install -e .
python -m examples.demo

examples/demo.py defines one generic report rule without using an archive-specific profile. A missing report fails, a TODO stub fails, and a substantive synthetic report passes. Changing the check to human review produces requires_review. Expected stages: ["fail", "fail", "pass"]; a JSON file preserves all three check/evidence snapshots.

How it works

Completion can be a record of specific satisfied and unresolved obligations rather than a free-form claim that the task is done. Read the mechanism and implementation notes for the specific boundaries and source links.

For persisted CLI verification, failure/resume records and a pending human check, run python -m examples.cli_walkthrough and read the completion-gate guide.

Scope

A file-not-stub check does not prove factual accuracy. The CLI currently exits zero for both verified and partial; automation must inspect the recorded overall status and review_required field rather than equating exit zero with full verification. No model-judgment adapter is bundled.

Verify

python -m pytest runs the behavior tests (install pytest first). The runnable example above provides a separate first-use check.

MIT licensed; see LICENSE.md. Origin and release boundaries are documented in ORIGIN.md and SECURITY.md.

Inspect the example result

Open the saved synthetic result alongside its input and demonstration. The result is from the bundled synthetic example; local machine paths and temporary run identifiers are excluded from public projections.

About

Evaluate an operation’s artifacts against explicit completion rules and retain a structured result/resume record when verification is incomplete.

Topics

Resources

Security policy

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages