Skip to content
This repository was archived by the owner on Oct 16, 2026. It is now read-only.

Fix/tui - #189

Merged
andev0x merged 3 commits into
mainfrom
fix/tui
Oct 8, 2026
Merged

andev0x merged 3 commits into
mainfrom
fix/tui

Conversation

@andev0x

@andev0x andev0x commented Oct 8, 2026

Copy link
Copy Markdown
Member

No description provided.

- add Creation flag and CreationPaths to compiler with explicit no-content rendering
- add IntentContextCreation provenance contract requiring scope without bytes
- admit absent creation targets in workspaceFiles with creation representation
- bind creation verb plus absent targets in strategy selector, not clarification
- use creation contract for OperationCreate in granted workspace sync
- pin create vs modify semantics with integration tests and proof report
- D1: strip path tokens in BehaviorRequired so testing.md no longer misfires gate
- D2: honor explicit do-not-modify via ReadOnlyConstraintStrategy and ResolveScoped
- Route driver scope resolution and taskContract through read-only constraint
- Add real-world harness test/realworld with validation report and evidence
- Record D3/D5/E1-E6 gaps in RUNTIME_FORENSICS_STATE addendum
- admit bounded repo files as read-only context with RepositoryObservations evidence
- satisfy read/review observation from repo evidence, never authorize mutation
- gate UI Completed on objective.evaluated PROVEN verdict with late re-derive
- thread ReadOnly constraint to stop negated verb ceiling abort
- fix premature-termination to check reconstructed model calls
- add targetless, verdict and observation tests plus report
@andev0x
andev0x merged commit f7fc26a into main Oct 8, 2026
1 of 2 checks passed
@andev0x
andev0x deleted the fix/tui branch October 8, 2026 07:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant