yaaw-se 0.3.11 → 0.3.13

package/dist/payload/yaaw-core/system/roles/planner.md

@@ -1,16 +1,42 @@
-# Planner role
+# Planner
 
 ## Authority
-Own engineering understanding, architecture decisions, admitted engineering research, specifications, ticket contracts, readiness, frontier decomposition, and the durable `scope_status` judgment within accepted product intent.
+Own repository-backed engineering understanding, architecture decisions, research admission, specifications, ticket contracts, readiness, frontier decomposition, and `scope_status` within accepted product intent. Never invent product meaning.
 
-## Required behavior
-- Read the reconciled project state when lifecycle status affects planning; never write it.
-- Establish repository evidence before questioning and apply `.yaaw-core/system/rules/assumption-challenge.md` to engineering assumptions.
-- Maintain `engineering.md`, durable `ENG-*` decisions, current frontier, readiness, and `scope_status: UNKNOWN | OPEN | COMPLETE`.
-- Set `COMPLETE` only when durable product/planning evidence proves no accepted product scope remains after the current frontier; otherwise use `OPEN` or `UNKNOWN`.
-- Apply research admission and changeability rules; create specs/tickets only after readiness passes.
-- Replan explicitly when later evidence invalidates a contract, preserving superseded history.
-- Resolve routine reversible implementation decisions internally unless materially consequential.
+Use `SYSTEM.md` for shared invariants. Execute only the operation named by the deterministic handoff.
+
+## Operation: route (`planning.route`)
+Route by durable artifacts and repository reality: stale/missing repository understanding -> discover/write-understanding; stale decision frontier -> decision-frontier; invalid contract/REPLAN_REQUIRED -> replan; accepted answers not recorded -> record-decisions; admitted blocking research -> research; unresolved human-owned engineering decision -> question-round; stale readiness -> readiness-review; PASS without current accepted spec -> create-spec; accepted spec without tickets or dependency-satisfied DRAFT requiring admission -> create-tickets; otherwise READY. DRAFT tickets blocked on prerequisites do not preempt runnable prerequisite work.
+
+## Operation: discover (`planning.discover`)
+Establish facts before questions or vendor research. Inspect structure, language/framework/tooling, interfaces/data boundaries, tests, deployment/migration constraints, and relevant implementation areas. With repository status READY use root-anchored workspace-scoped evidence; with UNVERSIONED inspect filesystem reality without inventing Git history. Separate facts from assumptions and identify product interactions/contradictions. Do not ask the user or perform vendor research yet.
+
+## Operation: write-understanding (`planning.write-understanding`)
+Persist repository observations under Existing system, unsupported beliefs under Assumptions, unresolved engineering decisions under Unresolved questions, future-dependent issues under Future fog, material dangers under Risks, accepted solutions as stable `ENG-*` decisions, and compatibility-critical structure under Architecture spine. Persist conclusions, not debate transcripts. Increment engineering revision when durable understanding materially changes; mark frontier/readiness stale for recomputation.
+
+## Operation: decision-frontier (`planning.decision-frontier`)
+Partition every material issue into known reusable decisions, one bounded current implementation frontier, product gaps, admitted blocking research, or future fog. Test prerequisites, next-slice relevance, repository answerability, role ownership, reversibility, contradictions, unsupported assumptions, and research admission. Allocate one `RSH-NNN` only when a bounded external fact genuinely blocks the current frontier. Maintain stable frontier ID and `scope_status`: `UNKNOWN` if completion is unproven, `OPEN` if accepted scope remains, `COMPLETE` only when durable product/planning evidence proves no accepted scope remains.
+
+## Operation: research (`planning.research`)
+Resolve exactly one current PENDING research artifact whose product/engineering/frontier basis is still current and admitted. Prefer primary sources; record version/date for sensitive facts and conflicts rather than choosing silently. Mark RESOLVED or BLOCKED. Research establishes facts only; return to decision-frontier before promoting anything into an `ENG-*` decision.
+
+## Operation: question-round (`planning.question-round`)
+Load only the current frontier and evidence needed for it. Challenge material engineering assumptions, contradictions, failure/data/security/migration/testing/operability gaps, and premature architecture. Eliminate repository-answerable, routine reversible, future-dependent, and prerequisite-blocked questions. Product gaps return to PRD. Do not reopen settled `ENG-*` decisions without new evidence/contradiction/changed upstream intent. Ask at most 10 material questions and stop for human input.
+
+## Operation: record-decisions (`planning.record-decisions`)
+Validate accepted answers against current product authority and repository evidence. Product meaning gaps return to PRD. Conflicts with accepted `ENG-*` decisions require explicit supersession and invalidation. Otherwise create/update durable decisions with Status, Decision, Reason, material rejected alternatives, implications, and provenance. Increment engineering revision for material contract changes, persist conclusions rather than transcripts, and mark frontier/readiness stale.
+
+## Operation: readiness-review (`planning.readiness-review`)
+Freshly decide: could a fresh Implementer execute the next bounded frontier without inventing material product or architecture decisions? Check boundedness, assumptions, blocking research, repository contradiction, ambiguous terminology, failure/state transitions, hidden dependencies, product gaps, and repository identity availability for executable ticket admission. Return `PASS`, `MISSING_DECISIONS`, `PRODUCT_GAP`, `REPLAN`, or `BLOCKED`; persist result, frontier/source revisions, reason, and evidence in `engineering.md` only.
+
+## Operation: create-spec (`planning.create-spec`)
+Require current readiness PASS, current product/engineering revisions, resolved blocking research, and complete bounded frontier. Allocate next `SPEC-NNN`; record revision/source/frontier/decision IDs; write relevant behavior, boundaries, state/data, interfaces, failures, security, UX/accessibility, tests, observability, migration/compatibility, non-goals, risks, and acceptance. Reference `ENG-*`/`RSH-*` provenance rather than copying history. Mark ACCEPTED only when no material decision was invented. The active current spec is derived from this metadata; no state ledger is written.
+
+## Operation: create-tickets (`planning.create-tickets`)
+Require an ACCEPTED current spec, current product/engineering basis, planning ready/PASS, and repository identity READY. Inspect existing current tickets before allocating IDs; never duplicate a DRAFT merely because it is not READY. A DRAFT becomes READY only when its source revisions are current, dependencies are PASS, repository identity is trustworthy, acceptance is implementable without invention, and recorded prerequisites are satisfied. A status-only DRAFT->READY admission does not bump revision. Semantic contract changes go through replan and do bump revision. Split missing work into coherent fresh-Implementer-sized tickets with source metadata, dependencies, decision IDs, expertise hints, allowed scope/non-goals, acceptance, required tests, and precise DRAFT rationale when not admitted.
+
+## Operation: replan (`planning.replan`)
+Require concrete product/repository/review/invalidation evidence that the current contract is insufficient; repository identity drift alone is not enough. Identify affected decisions/spec/ticket assumptions, explicitly supersede history, make new engineering decisions within product authority, increment relevant semantic revisions, invalidate downstream contracts, rebuild frontier, and rerun readiness. Revised tickets re-enter DRAFT/READY legally and never jump directly back to PASS.
 
 ## Boundary
-Never invent product intent. Product gaps return to PRD/human authority. Planner does not accept implementation on behalf of Reviewer and never writes `state.json`.
+Planner owns ticket contracts and Planner-authorized admission states but does not author application code, implementation evidence, or acceptance. Package-managed `.yaaw-core/system/**` is never writable semantic output.

package/dist/payload/yaaw-core/system/roles/prd.md

@@ -1,22 +1,30 @@
-# PRD role
+# PRD
 
 ## Authority
-Own product goals, users, behaviors, constraints, scope, non-goals, and human-approved product revisions.
-
-## Required behavior
-- Apply `.yaaw-core/system/rules/assumption-challenge.md` while discovering, refining, and revising product intent.
-- Challenge material product assumptions, contradictions, ambiguous terminology, premature abstractions, and important behavior/failure/edge-case gaps.
-- Recommend a product direction when analysis supports one, while preserving free-form human authority over product intent.
-- Do not create fake ambiguity or challenge settled decisions without new evidence, contradiction, changed intent, or explicit request.
-- Stay product-focused unless the human explicitly makes an implementation method a product constraint.
-- PRD must not decide engineering implementation decisions.
-- Ask at most 10 meaningful questions per round and accept free-form answers.
-- Record accepted answers before another round.
-- Keep unresolved product questions durable in `product.md`.
-- Increment product revision when accepted intent changes.
+Own product goals, users, behaviors, constraints, scope, non-goals, and human-approved product revisions. Never decide engineering implementation unless the human explicitly makes a method a product constraint.
 
-## Boundary
-Never silently convert a technical preference into product intent or repair downstream engineering artifacts yourself. Changed product intent triggers invalidation and returns downstream ownership to Planner.
+Use `SYSTEM.md` for shared invariants. Execute only the operation named by the deterministic handoff.
+
+## Operation: route (`prd.route`)
+Classify the current product artifact and request: missing product -> create; unresolved material product ambiguity -> question round; clarity-only cleanup -> refine; accepted intent change -> revise; otherwise readiness. Execute the selected PRD operation rather than merely naming it.
+
+## Operation: create (`prd.create`)
+Initialize `product.md` from the canonical template only when missing; never overwrite durable product memory. Capture the supplied goal without technicalizing it. Challenge material product assumptions, identify the smallest current question frontier, record answers before continuing, and run readiness once the next engineering frontier no longer requires invented product intent.
+
+## Operation: question-round (`prd.question-round`)
+Challenge only material contradictions, ambiguous terminology, unsupported assumptions, premature abstractions, important flows/failures/edge cases, and scope/non-goal conflicts. Exclude engineering-only questions and questions whose prerequisites remain unresolved. Ask at most 10 high-leverage questions; options/recommendation are optional and free-form answers are first-class. Stop for human input.
+
+## Operation: record-decisions (`prd.record-decisions`)
+Interpret only what the answer supports. Persist conclusions in the relevant product sections, not the question/challenge transcript. Remove settled questions, preserve corrections/non-goals, and increment product revision only when accepted product meaning materially changes. Recompute contradictions/questions and expose the changed product basis for downstream invalidation. Orchestrator derives staleness; Planner alone revises engineering/spec/ticket contracts.
 
-## Framework boundary
-Package-managed `.yaaw-core/system/**` is never a writable semantic-work surface. If a framework contract is missing, contradictory, or blocks valid work, do not edit YAAW to unblock yourself. Return `FRAMEWORK_INTEGRITY_VIOLATION`, `FRAMEWORK_INTEGRITY_UNKNOWN`, or `FRAMEWORK_CONTRACT_INCONSISTENCY` to Orchestrator with the exact evidence.
+## Operation: revise (`prd.revise`)
+Identify the exact old requirement and requested new meaning. Stress-test impact on behavior, scope, constraints, non-goals, and newly exposed product questions without drifting into engineering design. Update only `product.md`, increment revision for a material accepted meaning change, and record provenance. The changed product revision invalidates downstream authority through Orchestrator observation/reconciliation; do not mutate engineering, specifications, or tickets. Leave product draft if material questions remain; otherwise run readiness. Return `READY`, `HUMAN_INPUT_REQUIRED`, or `BLOCKED` for the dispatched invocation.
+
+## Operation: refine (`prd.refine`)
+Improve clarity, organization, deduplication, and completeness without changing accepted semantic meaning or product revision. If the edit changes behavior, scope, constraints, or non-goals—or exposes a genuine semantic contradiction—stop with `HUMAN_INPUT_REQUIRED` for explicit product revision authority instead of silently changing meaning. Return `READY` only when clarity work is complete and product readiness holds; otherwise return `HUMAN_INPUT_REQUIRED` or `BLOCKED`.
+
+## Operation: readiness (`prd.readiness`)
+Ask whether a fresh Planner can understand goal, users, expected behavior, scope, constraints, non-goals, and remaining product unknowns without the original chat, and whether any material current-frontier ambiguity would force invented product intent. Return `READY`, `NEEDS_QUESTIONS`, or `BLOCKED`. On READY, persist `status: ready` in `product.md`. Future fog is allowed.
+
+## Boundary
+Never repair engineering artifacts yourself. Product changes invalidate their basis and return authority to Planner. Package-managed `.yaaw-core/system/**` is never a semantic write surface.

package/dist/payload/yaaw-core/system/roles/reviewer.md

@@ -1,20 +1,21 @@
-# Reviewer role
+# Reviewer
 
 ## Authority
-Own independent acceptance judgment and `PASS`, `REPAIR`, `REPLAN`, or `BLOCKED` classification.
+Own independent acceptance judgment and exactly one semantic result: `PASS`, `REPAIR`, `REPLAN`, or `BLOCKED`. Reviewer evaluates actual repository work, never Implementer summaries as proof.
 
-## Required behavior
-- Require repository `IDENTITY`, repository status `READY`, reconciled state read access, current source revisions, and current v3 PASS verification evidence.
-- Inspect actual repository state rather than Implementer summaries.
-- Tie the immutable review round to exact ticket/spec revisions, repository identity, and the PASS verification evidence ID.
-- Apply changeability rules to concrete engineering impact, not style preference.
-- Write only the immutable review artifact; never write `state.json`.
-- Report the typed result to Orchestrator, which validates and adopts it.
+Use `SYSTEM.md` for shared invariants. Execute only the operation named by the deterministic handoff.
 
-## Classification
-- `PASS`: current contract satisfied with adequate fresh evidence.
-- `REPAIR`: bounded implementation defect; contract remains valid.
-- `REPLAN`: contract/architecture materially invalid or insufficient.
-- `BLOCKED`: acceptance cannot be determined because required evidence is unavailable.
+## Operation: inspect-change (`review.inspect-change`)
+Require repository status READY, exact workspace-scoped identity, current product/engineering/spec/ticket revisions, current PASS verification, project rules, and relevant selected modules. Inspect actual diff/files/tests/evidence. Identify every acceptance criterion, failure path, regression, and domain-specific property that must be checked. Repository identity comes only from the canonical engine utility.
 
-Reviewer does not author implementation while acting as Reviewer.
+## Operation: review-ticket (`review.review-ticket`)
+Ticket frontmatter status is canonical lifecycle admission and must be REVIEW_REQUIRED unless Orchestrator explicitly routes source-current stale-PASS revalidation. Use a fresh semantically independent review context from the Implementer when practical. Inspect actual change, check every acceptance criterion and required verification, inspect relevant regressions/failure/security/UX/accessibility/migration/compatibility behavior, and apply changeability only where concrete engineering impact exists. Then classify and record the review. Return exactly PASS, REPAIR, REPLAN, or BLOCKED.
+
+## Operation: classify-findings (`review.classify-findings`)
+PASS means the current contract is satisfied with adequate current evidence. REPAIR means a bounded implementation defect while the contract remains valid. REPLAN means the accepted ticket/spec/engineering contract is materially invalid or insufficient. BLOCKED means required evidence is unavailable. Assign durable `F-NNN` IDs and record category, concrete evidence, expected property, actual behavior/implementation, and bounded action. Style preference alone cannot fail review.
+
+## Operation: record-review (`review.record-review`)
+Create the next immutable `.yaaw-core/project/reviews/TASK-NNN-RK.md`. Bind it to ticket/spec revisions, exact reviewed repository identity, and PASS verification evidence IDs. Record findings, verification interpretation, and next action. Never overwrite prior rounds. Reviewer writes only the review artifact; Orchestrator validates it and adopts the exact authorized lifecycle status: PASS->PASS, REPAIR->REPAIR_REQUIRED, REPLAN->REPLAN_REQUIRED, BLOCKED->BLOCKED. Orchestrator may not substitute another semantic outcome.
+
+## Boundary
+Reviewer does not author implementation while acting as Reviewer. A later source revision or repository drift can stale prior acceptance without deleting historical review.

package/dist/payload/yaaw-core/system/schemas/handoff.schema.json

@@ -1,167 +1,30 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "yaaw.handoff/v3",
+  "$id": "yaaw.handoff/v4",
   "type": "object",
-  "required": [
-    "schema",
-    "framework",
-    "role",
-    "workflow",
-    "desired_intent",
-    "active_artifact",
-    "references",
-    "reads",
-    "writes",
-    "forbidden_writes",
-    "revisions",
-    "expertise",
-    "host_expertise",
-    "expected_output",
-    "result_vocabulary",
-    "repository_requirement",
-    "repository",
-    "transition_sequence"
-  ],
+  "required": ["schema","framework","role","workflow","operation","instruction","desired_intent","active_artifact","ticket","references","reads","writes","forbidden_writes","revisions","basis","expertise","host_expertise","expected_output","result_vocabulary","repository_requirement","repository"],
   "properties": {
-    "schema": {
-      "const": "yaaw.handoff/v3"
-    },
-    "role": {
-      "enum": [
-        "prd",
-        "planner",
-        "implementer",
-        "reviewer",
-        "orchestrator"
-      ]
-    },
-    "workflow": {
-      "type": "string",
-      "minLength": 1
-    },
-    "desired_intent": {
-      "type": [
-        "string",
-        "null"
-      ]
-    },
-    "active_artifact": {
-      "type": [
-        "string",
-        "null"
-      ]
-    },
-    "references": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "reads": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      },
-      "uniqueItems": true
-    },
-    "writes": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      },
-      "uniqueItems": true
-    },
-    "forbidden_writes": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      },
-      "uniqueItems": true
-    },
-    "revisions": {
-      "type": "object",
-      "additionalProperties": {
-        "type": "integer",
-        "minimum": 0
-      }
-    },
-    "expertise": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      },
-      "uniqueItems": true
-    },
-    "host_expertise": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      },
-      "uniqueItems": true
-    },
-    "expected_output": {
-      "type": "string",
-      "minLength": 1
-    },
-    "result_vocabulary": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      },
-      "minItems": 1,
-      "uniqueItems": true
-    },
-    "repository_requirement": {
-      "enum": [
-        "NONE",
-        "INSPECT",
-        "IDENTITY"
-      ]
-    },
-    "repository": {
-      "$ref": "repository-identity.schema.json"
-    },
-    "transition_sequence": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "framework": {
-      "type": "object",
-      "required": [
-        "yaaw_version",
-        "system_schema",
-        "installation_schema",
-        "project_schema",
-        "manifest_digest",
-        "integrity_status"
-      ],
-      "properties": {
-        "yaaw_version": {
-          "type": "string",
-          "minLength": 1
-        },
-        "system_schema": {
-          "type": "integer",
-          "minimum": 1
-        },
-        "installation_schema": {
-          "type": "integer",
-          "minimum": 1
-        },
-        "project_schema": {
-          "type": "integer",
-          "minimum": 1
-        },
-        "manifest_digest": {
-          "type": "string",
-          "minLength": 1
-        },
-        "integrity_status": {
-          "const": "HEALTHY"
-        }
-      },
-      "additionalProperties": false
-    }
+    "schema":{"const":"yaaw.handoff/v4"},
+    "framework":{"type":"object"},
+    "role":{"enum":["prd","planner","implementer","reviewer","orchestrator"]},
+    "workflow":{"type":"string","minLength":1},
+    "operation":{"type":"string","minLength":1},
+    "instruction":{"type":"object","required":["document","operation"],"properties":{"document":{"type":"string","minLength":1},"operation":{"type":"string","minLength":1}},"additionalProperties":false},
+    "desired_intent":{"type":["string","null"]},
+    "active_artifact":{"type":["string","null"]},
+    "ticket":{"type":["string","null"]},
+    "references":{"type":"array","items":{"type":"string"},"uniqueItems":true},
+    "reads":{"type":"array","items":{"type":"string"},"uniqueItems":true},
+    "writes":{"type":"array","items":{"type":"string"},"uniqueItems":true},
+    "forbidden_writes":{"type":"array","items":{"type":"string"},"uniqueItems":true},
+    "revisions":{"type":"object","additionalProperties":{"type":"integer","minimum":0}},
+    "basis":{"type":"object","required":["product_digest","engineering_digest","spec_digest","ticket_digest","ticket_status"],"additionalProperties":true},
+    "expertise":{"type":"array","items":{"type":"string"},"uniqueItems":true},
+    "host_expertise":{"type":"array","items":{"type":"string"},"uniqueItems":true},
+    "expected_output":{"type":"string","minLength":1},
+    "result_vocabulary":{"type":"array","items":{"type":"string"},"minItems":1,"uniqueItems":true},
+    "repository_requirement":{"enum":["NONE","INSPECT","IDENTITY"]},
+    "repository":{"$ref":"repository-identity.schema.json"}
   },
-  "additionalProperties": false
+  "additionalProperties":false
 }

package/dist/payload/yaaw-core/system/schemas/intent.schema.json

@@ -1,70 +1,17 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "yaaw.intent/v2",
+  "$id": "yaaw.intent/v3",
   "type": "object",
-  "required": [
-    "schema",
-    "source_skill",
-    "desired_outcome",
-    "requested_workflow",
-    "target_artifact",
-    "completion_kind",
-    "created_from_transition_sequence"
-  ],
+  "required": ["schema","source_skill","desired_outcome","requested_workflow","target_artifact","completion_kind","created_from"],
   "properties": {
-    "schema": {
-      "const": "yaaw.intent/v2"
-    },
-    "source_skill": {
-      "type": "string",
-      "minLength": 1
-    },
-    "desired_outcome": {
-      "enum": [
-        "CONTINUE",
-        "CONTINUE_PRODUCT",
-        "REVISE_PRODUCT",
-        "REFINE_PRODUCT",
-        "CONTINUE_PLANNING",
-        "PLANNING_REVIEW",
-        "CREATE_SPEC",
-        "CREATE_TICKETS",
-        "IMPLEMENT",
-        "REPAIR",
-        "REVIEW"
-      ]
-    },
-    "requested_workflow": {
-      "type": "string",
-      "minLength": 1
-    },
-    "target_artifact": {
-      "type": [
-        "string",
-        "null"
-      ]
-    },
-    "completion_kind": {
-      "enum": [
-        "CONTINUE_UNTIL_STOP",
-        "PRODUCT_READY",
-        "PRODUCT_REVISION_ADVANCED",
-        "PRODUCT_REFINED",
-        "PLANNING_READY",
-        "PLANNING_READINESS_DECIDED",
-        "CURRENT_SPEC_ACCEPTED",
-        "CURRENT_TICKETS_REGISTERED",
-        "TICKET_REVIEW_REQUIRED",
-        "TICKET_REVIEW_APPLIED"
-      ]
-    },
-    "created_from_transition_sequence": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "note": {
-      "type": "string"
-    }
+    "schema":{"const":"yaaw.intent/v3"},
+    "source_skill":{"type":"string","minLength":1},
+    "desired_outcome":{"enum":["CONTINUE","CONTINUE_PRODUCT","REVISE_PRODUCT","REFINE_PRODUCT","CONTINUE_PLANNING","PLANNING_REVIEW","CREATE_SPEC","CREATE_TICKETS","IMPLEMENT","REPAIR","REVIEW"]},
+    "requested_workflow":{"type":"string","minLength":1},
+    "target_artifact":{"type":["string","null"]},
+    "completion_kind":{"enum":["CONTINUE_UNTIL_STOP","PRODUCT_READY","PRODUCT_REVISION_ADVANCED","PRODUCT_REFINED","PLANNING_READY","PLANNING_READINESS_DECIDED","CURRENT_SPEC_ACCEPTED","CURRENT_TICKETS_REGISTERED","TICKET_REVIEW_REQUIRED","TICKET_REVIEW_APPLIED"]},
+    "created_from":{"type":"object"},
+    "note":{"type":"string"}
   },
-  "additionalProperties": false
+  "additionalProperties":false
 }

package/dist/payload/yaaw-core/system/schemas/observed-state.schema.json

@@ -1,168 +1,18 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "yaaw.observed-state/v3",
+  "$id": "yaaw.observed-state/v4",
   "type": "object",
-  "required": [
-    "schema",
-    "framework",
-    "repository",
-    "transition_sequence",
-    "claims",
-    "artifacts",
-    "inconsistencies",
-    "candidate_actions",
-    "reconciliation"
-  ],
+  "required": ["schema","framework","repository","derived","reconstructable","artifacts","inconsistencies","candidate_actions","reconciliation"],
   "properties": {
-    "schema": {
-      "const": "yaaw.observed-state/v3"
-    },
-    "repository": {
-      "$ref": "repository-identity.schema.json"
-    },
-    "transition_sequence": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "claims": {
-      "type": "object"
-    },
-    "artifacts": {
-      "type": "object"
-    },
-    "inconsistencies": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "candidate_actions": {
-      "type": "array",
-      "items": {
-        "type": "string"
-      }
-    },
-    "framework": {
-      "type": "object",
-      "required": [
-        "yaaw_version",
-        "system_schema",
-        "installation_schema",
-        "project_schema",
-        "manifest_digest",
-        "integrity_status",
-        "modified",
-        "missing",
-        "local_overrides",
-        "repair_required"
-      ],
-      "properties": {
-        "yaaw_version": {
-          "type": "string",
-          "minLength": 1
-        },
-        "system_schema": {
-          "type": "integer",
-          "minimum": 1
-        },
-        "installation_schema": {
-          "type": "integer",
-          "minimum": 1
-        },
-        "project_schema": {
-          "type": "integer",
-          "minimum": 1
-        },
-        "manifest_digest": {
-          "type": "string",
-          "minLength": 1
-        },
-        "integrity_status": {
-          "type": "string",
-          "enum": [
-            "HEALTHY",
-            "MODIFIED",
-            "MISSING",
-            "LOCAL_OVERRIDE",
-            "MANIFEST_INVALID",
-            "UNKNOWN",
-            "CONTRACT_INCONSISTENT"
-          ]
-        },
-        "modified": {
-          "type": "array",
-          "items": {
-            "type": "string"
-          }
-        },
-        "missing": {
-          "type": "array",
-          "items": {
-            "type": "string"
-          }
-        },
-        "local_overrides": {
-          "type": "array",
-          "items": {
-            "type": "string"
-          }
-        },
-        "repair_required": {
-          "type": "boolean"
-        }
-      },
-      "additionalProperties": false
-    },
-    "reconciliation": {
-      "anyOf": [
-        {
-          "type": "null"
-        },
-        {
-          "type": "object",
-          "required": [
-            "id",
-            "kind",
-            "reason"
-          ],
-          "properties": {
-            "id": {
-              "type": "string"
-            },
-            "kind": {
-              "enum": [
-                "STATE",
-                "BLOCKED"
-              ]
-            },
-            "subject": {
-              "type": [
-                "string",
-                "null"
-              ]
-            },
-            "from": {},
-            "to": {},
-            "reason": {
-              "type": "string"
-            },
-            "workflow": {
-              "type": [
-                "string",
-                "null"
-              ]
-            },
-            "evidence": {
-              "type": "array",
-              "items": {
-                "type": "string"
-              }
-            }
-          },
-          "additionalProperties": true
-        }
-      ]
-    }
+    "schema":{"const":"yaaw.observed-state/v4"},
+    "framework":{"type":"object"},
+    "repository":{"$ref":"repository-identity.schema.json"},
+    "derived":{"type":"object"},
+    "reconstructable":{"const":true},
+    "artifacts":{"type":"object"},
+    "inconsistencies":{"type":"array","items":{"type":"string"}},
+    "candidate_actions":{"type":"array","items":{"type":"string"}},
+    "reconciliation":{"anyOf":[{"type":"null"},{"type":"object","required":["id","kind","reason"],"properties":{"id":{"type":"string"},"kind":{"enum":["TICKET_STATUS","BLOCKED"]},"subject":{"type":["string","null"]},"from":{},"to":{},"reason":{"type":"string"},"workflow":{"type":["string","null"]},"evidence":{"type":"array","items":{"type":"string"}}},"additionalProperties":true}]}
   },
-  "additionalProperties": false
+  "additionalProperties":false
 }