onto-mcp 0.3.1 → 0.3.2

package/.onto/processes/reconstruct/reconstruct-boundary-contract.md

@@ -1,14 +1,20 @@
 # Reconstruct Boundary Contract
 
-> Status: design contract with bounded happy-path runtime and post-Seed loop target.
-> Purpose: define how `reconstruct` should be reintroduced without reviving the
-> retired runtime ontology generator path.
+> Status: design contract with bounded observer runtime and integral exploration target.
+> Purpose: define how `reconstruct` should operate as an integral exploration
+> loop without reviving the retired runtime ontology generator or legacy
+> Explorer/fact_type path.
 
 ## 1. Position
 
 `reconstruct` is a host-LLM-led ontology reconstruction process with
 deterministic runtime gates. It is not a runtime ontology generator.
 
+`reconstruct` uses integral exploration. Runtime observes bounded source
+structure, host LLM lenses judge semantic meaning and gaps, an LLM-authored
+source frontier selects unjudged source refs for the next observation round, and
+runtime validates that frontier before observing the next source slice.
+
 `reconstruct` is material-aware from the start. A reconstruction target may be
 code, a spreadsheet, a document, a database, a mixed bundle, or an unsupported
 material. The process must classify the target's `target_material_kind` before
@@ -19,7 +25,7 @@ The shared goal contract for this axis is
 
 The active full product runtime remains `review`. `reconstruct` now has a
 bounded MCP surface for source profile listing, source observation, directive
-validation, post-Seed mock execution, status, and result reads. The runtime path
+validation, direct-call semantic execution, status, and result reads. The runtime path
 is not a general ontology generator: it requires pluggable LLM-owned directive
 authors and confirmation providers for Seed content, claim realization,
 competency questions, assessments, failure classifications, revision proposals,
@@ -29,8 +35,8 @@ Retired material stays retired:
 
 | Retired surface | Current status |
 |---|---|
-| `development-records/archive/retired-processes-20260526/processes/reconstruct.md` | historical integral-exploration process |
-| `development-records/archive/retired-runtime-legacy-20260526/explorers/` | historical explorer profiles |
+| `development-records/archive/retired-processes-20260526/processes/reconstruct.md` | historical Explorer/fact_type implementation; integral-loop principle may be reintroduced only under the current ownership boundary |
+| `development-records/archive/retired-runtime-legacy-20260526/explorers/` | historical semantic Explorer profiles; do not revive as runtime observers |
 | `src/core-runtime/evolve/commands/reconstruct.ts` | retired placeholder path that wrote `ontology-draft.md` |
 
 The current design seat is:
@@ -38,6 +44,7 @@ The current design seat is:
 ```text
 .onto/processes/reconstruct/reconstruct-boundary-contract.md
 .onto/processes/reconstruct/reconstruct-execution-ux-contract.md
+.onto/processes/reconstruct/top-level-concept-discovery-contract.md
 .onto/processes/reconstruct/source-profile-contract.md
 .onto/processes/reconstruct/source-profiles/
 .onto/processes/shared/pipeline-execution-ledger-contract.md
@@ -57,12 +64,14 @@ profiles, write preparation artifacts, validate source-observation boundaries,
 validate `SourceObservationDirective` evidence refs, validate
 `SeedCandidateDirective` shape plus evidence refs, validate post-Seed artifacts,
 compute deterministic metrics, and assemble `reconstruct-record.yaml`. The
-runner orchestrates these gates and delegates semantic directives to a pluggable
-directive author.
+implemented direct-call slice now includes initial source frontier, lens
+judgment, exploration synthesis, source-frontier validation, Seed, confirmation,
+CQ, assessment, failure, revision, stop, and final-output artifacts.
+Domain-context selection remains explicitly deferred.
 
 `src/core-api/reconstruct-api.ts` exposes these helpers as a bounded library
 facade for MCP tooling. It can prepare reconstruct artifacts, list source
-profiles, validate LLM-authored directive files, run the post-Seed mock loop,
+profiles, validate LLM-authored directive files, run the direct-call reconstruct loop,
 assemble records, and read status/result artifacts. It does not author semantic
 directives.
 
@@ -117,6 +126,18 @@ design-local in this contract.
 Do not introduce a TypeScript type, public artifact field, or MCP field with a
 new reconstruct concept name before this gate is closed.
 
+Seat categories:
+
+- `shared`: registered in `.onto/authority/core-lexicon.yaml` and reusable
+  across processes.
+- `reconstruct-local runtime`: may appear in reconstruct artifacts or TS
+  implementation only under this contract.
+- `reconstruct-local semantic artifact`: LLM-authored artifact shape; runtime
+  may validate it but must not author its meaning.
+- `directive shape`: structured LLM output name, not an ontology entity.
+- `design shorthand`: prose-only helper term. It must not become a TS type,
+  MCP field, public artifact field, or runtime status value.
+
 Current concept decisions:
 
 | Name | Decision | Reason |
@@ -124,33 +145,42 @@ Current concept decisions:
 | `target_material_kind` | promoted shared term | Review, reconstruct, and evolve all need a target-material axis that is separate from domain, medium, target input kind, and artifact role. |
 | `PipelineExecutionLedger` | promoted shared term | Review, reconstruct, evolve, and later pipelines need the same runtime-owned artifact trust/provenance projection. |
 | `source_kind` | not used for material classification | Review already uses `source_kind` for context-source artifacts. Reconstruct must not overload it to mean code/spreadsheet/document/database. |
-| `SourceProfile` | reconstruct design-local until runtime attachment | A profile guides observation for one `target_material_kind`; it is not a semantic explorer and not yet an active runtime artifact. |
-| `SourceObservation` | reconstruct design-local until runtime attachment | Runtime-produced structural observation with stable ids; not an ontology fact and not legacy `fact_type`. |
+| `SourceProfile` | reconstruct-local runtime contract | A profile guides observation for one `target_material_kind`; it is not a semantic explorer. Public meaning is limited to the profile files under `.onto/processes/reconstruct/source-profiles/`. |
+| `SourceObservation` | reconstruct-local runtime artifact | Runtime-produced structural observation with stable ids; not an ontology fact and not legacy `fact_type`. |
 | `SourceAdapter` | implementation boundary | Adapter identity may appear in artifacts later, but it is not an entity. |
-| `ReconstructDirective` | schema/union name | LLM-authored directive envelope, not an entity. |
-| `SeedConfirmation` | reconstruct design-local | User/host-mediated confirmation artifact for a Seed candidate; not a semantic concept by itself. |
-| `CompetencyQuestion` | reconstruct design-local | LLM-authored question artifact used to test a confirmed Seed against its declared purpose. |
-| `ClaimRealization` | reconstruct design-local | Claim-level stance about whether a Seed claim is observed behavior, declared intent, contract presence, fixture-only evidence, deferred/non-goal, or unknown. |
-| `CompetencyQuestionAssessment` | reconstruct design-local | LLM-authored assessment of every authoritative competency question against the confirmed Seed and evidence. |
-| `FailureClassification` | reconstruct design-local | LLM-authored explanation of why a competency question or claim cannot be trusted for the declared purpose. |
-| `RevisionProposal` | reconstruct design-local | LLM-authored bounded proposal to reuse, extend, rename, split, reject, or defer ontology content. |
+| `ExplorationRound` | reconstruct-local runtime grouping | One bounded observe → lens judgment → synthesis → frontier cycle. It groups artifacts but does not own semantic truth. |
+| `ReconstructLensJudgment` | reconstruct-local semantic artifact | LLM lens output that labels observations, names gaps, refines evidence certainty, and proposes next-source needs without directly traversing source. |
+| `ExplorationSynthesis` | reconstruct-local semantic artifact | Host LLM synthesis that integrates lens judgments into a round result and source frontier without adding a new independent perspective. |
+| `SourceFrontier` | reconstruct-local semantic artifact plus runtime validation | LLM-authored list of unjudged source refs requested for the next observation round, validated by runtime for boundary, support, duplication, and judgment coverage identity. |
+| `ReconstructDirective` | directive shape | LLM-authored directive envelope, not an entity. |
+| `OntologySeed` | reconstruct-local semantic artifact until promoted | Evidence-backed execution meaning contract confirmed by the user. Runtime may validate shape and refs but must not generate Seed meaning. |
+| `SeedConfirmation` | reconstruct-local semantic artifact | User/host-mediated confirmation artifact for a Seed candidate; not a semantic concept by itself. |
+| `CompetencyQuestion` | shared ontology-design term, reconstruct-local artifact instances | The term exists in core lexicon; reconstruct owns run-specific `competency-questions.yaml` artifact instances. |
+| `ClaimRealization` | reconstruct-local semantic artifact | Claim-level stance about whether a Seed claim is observed behavior, declared intent, contract presence, fixture-only evidence, deferred/non-goal, or unknown. |
+| `CompetencyQuestionAssessment` | reconstruct-local semantic artifact | LLM-authored assessment of every authoritative competency question against the confirmed Seed and evidence. |
+| `FailureClassification` | reconstruct-local semantic artifact | LLM-authored explanation of why a competency question or claim cannot be trusted for the declared purpose. |
+| `RevisionProposal` | reconstruct-local semantic artifact | LLM-authored bounded proposal to reuse, extend, rename, split, reject, or defer ontology content. |
 | `ReconstructMetrics` | reconstruct design-local | Runtime projection from existing artifacts; counts and pass rates, not a quality judgment. |
 | `StopDecision` | reconstruct design-local | LLM-authored directive that interprets metrics for the declared purpose. |
-| `ReconstructRunManifest` | reconstruct design-local | Runtime execution manifest for the reconstruct mock path. |
+| `ReconstructRunManifest` | reconstruct design-local | Runtime execution manifest for reconstruct runs. |
 | `FinalOutput` | shared artifact role, reconstruct-local seat | Human-readable result text grounded in reconstruct artifacts; not an ontology draft authority. |
 | `ReconstructStageId` | reconstruct design-local | Stable append-only stage identifier for progress, manifests, status reads, and implementation planning. |
-| `RuntimeGate` | design shorthand only | Runtime implementation should use specific validators, boundary policy, and failure artifacts instead of a generic public concept. |
-| `DomainContextPack` | design shorthand only | Use selected domain-document refs from invocation/binding rather than creating a new domain context entity. |
+| `RuntimeGate` | design shorthand only | Runtime implementation must use named validation stages, boundary policy, and failure artifacts instead of a generic public concept. |
+| `DomainContextPack` | design shorthand only | Use `domain-context-selection.yaml`, selected domain-document refs, and invocation binding rather than creating a new domain context entity. |
 
-## 4. Core Concepts
+## 4. Registered And Reconstruct-Local Terms
 
 | Concept | Meaning | Owner |
 |---|---|---|
 | `TargetMaterialKind` | Shared runtime axis for how the target must be read or validated: `code`, `spreadsheet`, `document`, `database`, `mixed`, or `unknown` | `.onto/authority/core-lexicon.yaml` |
-| `OntologySeed` | Smallest evidence-backed execution meaning contract confirmed by the user | LLM authored, user confirmed |
+| `OntologySeed` | Smallest evidence-backed execution meaning contract confirmed by the user; reconstruct-local until promoted to shared lexicon | LLM authored, user confirmed |
 | `SourceProfile` | Reconstruct-local observation profile for one `target_material_kind` | `.onto/processes/reconstruct/source-profiles/` |
 | `SourceAdapter` | Runtime observer that returns material structure without ontology meaning | TS runtime |
 | `SourceObservation` | Runtime-produced structural fact about paths, cells, formulas, schemas, headings, symbols, or code patterns | TS runtime |
+| `ExplorationRound` | Bounded cycle that observes a source slice, runs reconstruct lens judgments, synthesizes gaps, and validates the next source frontier | runtime manifest plus host LLM artifacts |
+| `ReconstructLensJudgment` | Lens-authored semantic judgment over observed source evidence, including candidate labels, gaps, certainty refinements, and next-source needs | host LLM |
+| `ExplorationSynthesis` | Integrated round result that preserves lens disagreements and converts accepted gaps into a source frontier | host LLM |
+| `SourceFrontier` | Synthesized request for the next unjudged source refs to observe, including rationale, priority, and expected evidence value | host LLM authored, runtime validated |
 | `ReconstructDirective` | LLM-authored structured output submitted to a runtime gate | host LLM |
 | `SeedConfirmation` | User/host-mediated decision over the Seed candidate before downstream questions and metrics | user/host mediated |
 | `ClaimRealization` | Claim-level evidence stance used to separate observed runtime behavior from declared design intent, schema presence, fixture-only evidence, deferred scope, and unknowns | host LLM |
@@ -159,10 +189,14 @@ Current concept decisions:
 | `FailureClassification` | Cause classification for unanswered, contradicted, unsupported, or deferred questions and claims | host LLM |
 | `RevisionProposal` | Bounded change proposal derived from failures and claim realization gaps | host LLM |
 | `ReconstructMetrics` | Deterministic projection from validation, confirmation, and question artifacts | TS runtime |
-| `ReconstructRunManifest` | Step and artifact-ref manifest for the bounded mock path | TS runtime |
+| `ReconstructRunManifest` | Step and artifact-ref manifest for reconstruct runs | TS runtime |
 | `PipelineExecutionLedger` | Shared trust/provenance projection over reconstruct stages, validations, outputs, and upstream/downstream boundaries | TS runtime |
-| `RuntimeGate` | Design shorthand for shape, source existence, evidence ref, and metric validation | TS runtime |
-| `DomainContextPack` | Design shorthand for domain documents selected by invocation/binding | `.onto/domains/` plus invocation binding |
+
+Design shorthand names such as `RuntimeGate` and `DomainContextPack` may appear
+in explanatory prose only. Runtime and MCP schemas must expose the specific
+stage or artifact names instead, such as
+`seed-candidate-validation.yaml`, `domain-context-selection.yaml`, or
+`source-frontier-validation.yaml`.
 
 The domain axis and material axis must not be collapsed:
 
@@ -180,9 +214,9 @@ Initial bounded tools are exposed through `src/core-api/reconstruct-api.ts`.
 | Tool | Status | Runtime responsibility | Explicit non-responsibility |
 |---|---|---|---|
 | `onto.list_source_profiles` | active | list source profiles, target material kinds, scan targets, and support status | choose ontology meaning |
-| `onto.observe_source` | active | materialize target profile, inventory, source observations, and initial reconstruct record | infer entities, relations, actions, properties, or rules |
+| `onto.observe_source` | active | materialize target profile, inventory, source observations, and initial reconstruct record for the bound target or a validated frontier | infer entities, relations, actions, properties, or rules |
 | `onto.validate_reconstruct_directive` | active | validate LLM-authored source-observation or Seed-candidate directive shape and evidence refs | repair or rewrite the directive |
-| `onto.reconstruct` | active | orchestrate the bounded post-Seed mock loop from target refs and intent to final output, run manifest, and reconstruct record; requires explicit mock semantic/confirmation realization until live providers exist | author ontology meaning |
+| `onto.reconstruct` | active | orchestrate the bounded artifact-backed path from target refs and intent through direct-call semantic authoring, runtime validation gates, final output, run manifest, and reconstruct record | author ontology meaning |
 | `onto.reconstruct_status` | active | read `reconstruct-record.yaml` stage and artifact refs | infer missing semantic content |
 | `onto.reconstruct_result` | active | read record, run manifest, and final output text | rewrite or improve the result |
 
@@ -190,11 +224,28 @@ MCP remains a thin tool surface. It must expose bounded runtime facts and prompt
 inputs for host presentation; it must not become a second reconstruct semantics
 implementation.
 
-Current `onto.reconstruct` calls must explicitly set
-`semanticAuthorRealization=mock` and `confirmationProviderRealization=mock`.
-The run manifest records both realization values. A completed mock run proves the
-runtime gates and artifact path, not live host-LLM semantic authorship or
-user-mediated confirmation.
+Current `onto.reconstruct` calls default to
+`semanticAuthorRealization=direct_call` and
+`confirmationProviderRealization=direct_call`. The run manifest records both
+realization values. Missing provider/model/credential configuration, invalid
+LLM-authored artifact shape, and failed runtime validation gates fail loud.
+Test-only mock helpers may exist inside tests, but they are not product
+completion evidence.
+
+### 5.1 Execution Profile Truth
+
+The run manifest must record an execution profile. These profile labels are
+manifest/status values, not ontology concepts.
+
+| Profile | Completion claim allowed | Required disclosure |
+|---|---|---|
+| `observer_gate_slice` | Runtime classified material, inventoried sources, observed structure, and validated available directive refs. | No Seed, lens judgment, domain context, frontier, CQ, revision, or final ontology direction may be implied. |
+| `mock_semantic_slice` | Test/fixture-only harness exercised post-Seed artifact flow with mock semantic author and mock confirmation provider. | Mock authorship, skipped live exploration, skipped domain-context selection, skipped user confirmation, and narrowed downstream authority must be visible in manifest, status, result, and final output. This profile is not product completion evidence. |
+| `full_integral_exploration` | Trusted observation, lens judgment, source frontier, domain-context, Seed, confirmation, CQ, assessment, failure, revision, metrics, stop, and final-output artifacts were produced or explicitly skipped with trusted reasons. | Every skipped or deferred stage must have stage status, reason, and downstream authority impact. |
+
+A status of `completed` always means "completed for this execution profile".
+It must not be rendered as completed full reconstruct unless the execution
+profile is `full_integral_exploration` and all required stage trust gates pass.
 
 ## 6. Invocation And Boundary Prelude
 
@@ -219,29 +270,36 @@ from expanding their own boundary.
 0. InvocationInterpretation and InvocationBinding
 1. Target material profiling
 2. Source inventory
-3. Source observation through material-specific SourceAdapter
-4. LLM writes SourceObservationDirective
-5. Runtime validates observation directive
-6. LLM selects domain-document context refs
-7. Runtime validates domain-context selection and source snapshot refs
-8. LLM writes SeedCandidateDirective
-9. Runtime validates Seed evidence and shape
-10. LLM writes ClaimRealizationDirective
-11. Runtime validates claim realization refs and stance enums
-12. User or host confirms Seed claims at claim level
-13. Runtime validates confirmation transitions and derived claim sets
-14. LLM writes authoritative competency questions
-15. Runtime validates competency question ids, claim links, and evidence refs
-16. LLM assesses every authoritative competency question
-17. Runtime validates question assessment completeness and refs
-18. LLM classifies material failures and unresolved gaps
-19. Runtime validates failure classifications and linkage
-20. LLM proposes bounded revisions or deferrals
-21. Runtime validates revision proposal ids, targets, and actions
-22. Runtime computes deterministic metrics from artifacts
-23. LLM writes StopDecisionDirective
-24. LLM writes final decision-ready output grounded in artifact refs
-25. User confirms final ontology direction if needed
+3. Runtime writes the initial source frontier from bound target refs
+4. Exploration round loop:
+   4.1 Runtime observes the current frontier through material-specific SourceAdapters
+   4.2 Runtime records cumulative SourceObservations with round ids
+   4.3 LLM writes SourceObservationDirective for evidence-candidate selection
+   4.4 Runtime validates observation directive
+   4.5 Reconstruct lenses write independent ReconstructLensJudgment artifacts
+   4.6 Host LLM synthesizes judgments into SourceFrontierDirective
+   4.7 Runtime validates source frontier for boundary, support, duplication, and ref existence
+   4.8 If accepted frontier refs remain, repeat the loop with the next source slice
+5. LLM selects domain-document context refs from the accumulated evidence needs
+6. Runtime validates domain-context selection and source snapshot refs
+7. LLM writes SeedCandidateDirective from trusted observation and judgment artifacts
+8. Runtime validates Seed evidence and shape
+9. LLM writes ClaimRealizationDirective
+10. Runtime validates claim realization refs and stance enums
+11. User or host confirms Seed claims at claim level
+12. Runtime validates confirmation transitions and derived claim sets
+13. LLM writes authoritative competency questions
+14. Runtime validates competency question ids, claim links, and evidence refs
+15. LLM assesses every authoritative competency question
+16. Runtime validates question assessment completeness and refs
+17. LLM classifies material failures and unresolved gaps
+18. Runtime validates failure classifications and linkage
+19. LLM proposes bounded revisions or deferrals
+20. Runtime validates revision proposal ids, targets, and actions
+21. Runtime computes deterministic metrics from artifacts
+22. LLM writes StopDecisionDirective
+23. LLM writes final decision-ready output grounded in artifact refs
+24. User confirms final ontology direction if needed
 ```
 
 This flow intentionally uses the review product pattern: LLM-authored meaning,
@@ -258,9 +316,14 @@ ids rather than prose labels.
 | `invocation_binding` | interpretation and binding refs | host LLM plus runtime |
 | `target_material_profile` | `target-material-profile.yaml` | runtime |
 | `source_inventory` | `source-inventory.yaml` | runtime |
+| `initial_source_frontier` | `initial-source-frontier.yaml` | runtime |
 | `source_observation` | `source-observations.yaml` | runtime |
-| `observation_directive` | `source-observation-directive.yaml` | host LLM |
-| `observation_directive_validation` | `source-observation-directive-validation.yaml` | runtime |
+| `observation_directive` | `rounds/{round_id}/source-observation-directive.yaml` | host LLM |
+| `observation_directive_validation` | `rounds/{round_id}/source-observation-directive-validation.yaml` | runtime |
+| `lens_judgment` | `rounds/{round_id}/lens-judgments/{lens_id}.yaml` | host LLM |
+| `exploration_synthesis` | `rounds/{round_id}/exploration-synthesis.yaml` | host LLM |
+| `source_frontier` | `rounds/{round_id}/source-frontier.yaml` | host LLM |
+| `source_frontier_validation` | `rounds/{round_id}/source-frontier-validation.yaml` | runtime |
 | `domain_context_selection` | `domain-context-selection.yaml` | host LLM |
 | `domain_context_selection_validation` | `domain-context-selection-validation.yaml` | runtime |
 | `seed_candidate` | `seed-candidate.yaml` | host LLM |
@@ -287,6 +350,9 @@ Rules:
 - Existing stage ids must not be renamed after runtime exposure.
 - Optional stages must be recorded as `skipped` with a reason, not omitted from
   the manifest.
+- Skipped stages must record `authority_impact`, especially when skipping live
+  lens judgment, source-frontier exploration, domain-context selection, user
+  confirmation, or CQ assessment narrows the final result's trust claim.
 - Terminal halted stages must keep already-produced artifacts immutable unless a
   future explicit continuation contract says otherwise.
 - New stages may be appended between semantic phases only when their input and
@@ -321,8 +387,12 @@ views may expose ids, but must not become a second source of truth.
 
 | Id family | Authority artifact |
 |---|---|
+| initial source frontier ids | `initial-source-frontier.yaml` |
 | source observation ids | `source-observations.yaml` |
-| selected observation ids | `source-observation-directive.yaml` |
+| selected observation ids | `rounds/{round_id}/source-observation-directive.yaml` |
+| exploration round ids | `reconstruct-run-manifest.yaml` |
+| lens judgment ids | `rounds/{round_id}/lens-judgments/{lens_id}.yaml` |
+| source frontier ids | `rounds/{round_id}/source-frontier.yaml` |
 | domain context ids and `domain_snapshot_id` | `domain-context-selection.yaml` |
 | Seed claim ids | `seed-candidate.yaml` |
 | claim realization ids | `claim-realization-map.yaml` |
@@ -332,7 +402,48 @@ views may expose ids, but must not become a second source of truth.
 | failure ids | `failure-classification.yaml` |
 | proposal ids | `revision-proposal.yaml` |
 
-### 7.4 Claim Realization Stances
+### 7.4 Integral Exploration Loop
+
+An exploration round is the smallest repeatable reconstruct unit. It starts from
+a runtime-validated source frontier and ends with either a validated next
+frontier or a declared no-next-frontier rationale.
+
+Round rules:
+
+- Lenses may request additional source refs, but they must not fetch those refs
+  directly.
+- Source frontier requests must cite the judgment or gap that created the need,
+  the expected evidence value, and the material kind if known.
+- Runtime validates frontier refs for declared boundary, existing inventory or
+  discoverability, material support, duplicate observation, duplicate judgment,
+  and unsafe broadness.
+- Runtime records accepted, rejected, already-observed, unsupported, and
+  out-of-bound frontier refs separately.
+- A source ref is considered unjudged only when no trusted lens judgment has
+  already covered the relevant observation scope for the declared purpose.
+- Accumulated Seed evidence may use only trusted observations, validated
+  observation directives, trusted lens judgments, and validated frontier records.
+
+Frontier validation must record enough identity data to explain duplicate,
+stale, repeat, and re-exploration decisions:
+
+- canonical source ref key
+- material kind
+- adapter id and adapter version or profile version
+- source snapshot hash or source mtime/hash basis when available
+- observation scope key
+- profile id and profile version
+- lens set id and lens prompt version when a judgment is involved
+- domain snapshot id when domain context has been selected
+- declared purpose scope id or normalized purpose summary
+- prior trusted observation refs and judgment refs used for the decision
+
+The loop may pause or halt when the next useful source is outside the declared
+boundary, unsupported by adapters, too broad to validate safely, or requires a
+user decision. A no-next-frontier rationale is an LLM-authored judgment, not a
+runtime quality decision.
+
+### 7.5 Claim Realization Stances
 
 `claim-realization-map.yaml` must classify every Seed claim with one of these
 stances:
@@ -346,7 +457,7 @@ stances:
 | `deferred_or_non_goal` | The claim belongs to deferred scope or a declared non-goal. |
 | `unknown` | The available artifacts do not justify a stronger stance. |
 
-### 7.5 Claim Confirmation State Rules
+### 7.6 Claim Confirmation State Rules
 
 Seed confirmation is claim-level. A single run may contain accepted, rejected,
 partial, and deferred claims.
@@ -366,16 +477,39 @@ partial, and deferred claims.
 - `deferred_claim_ids`
 - `cq_eligible_claim_ids`
 
-### 7.6 Competency Question Authority
+### 7.7 Competency Question Authority
 
 `competency-questions.yaml` is the authoritative competency-question set for a
 run. It is authored after Seed confirmation so that questions test the confirmed
 Seed and declared purpose, not a discarded draft.
 
+`competency-questions-validation.yaml` must prove every
+`cq_eligible_claim_id` from `seed-confirmation-validation.yaml` appears in at
+least one competency question. Questions may group related claims, but an
+accepted claim cannot silently bypass CQ assessment.
+
 `competency-question-assessment.yaml` must assess every authoritative question
 exactly once. Domain-provided question templates are not in-scope unless
 `domain-context-selection.yaml` explicitly admits them into the run.
 
+### 7.8 Full Ontology Coverage Obligations
+
+A run may present itself as full ontology reconstruction only when the
+LLM-authored artifacts and runtime validation gates cover these ontology-domain
+dimensions, or explicitly mark them unresolved, deferred, unsupported, or
+out-of-scope:
+
+- classification or hierarchy placement
+- labels, aliases, synonyms, and homonym risks
+- relation and property intent with evidence refs
+- version, deprecation, and migration implications
+- module or authority seat for newly proposed concepts
+- reuse, extension, rename, split, reject, or defer decisions
+- mapping or alignment to selected domain documents and existing lexicon terms
+
+Runtime validates artifact shape, ids, and evidence refs for these dimensions.
+Runtime must not infer the ontology meaning itself.
+
 ## 8. Prompt-Backed Reference Path
 
 Before runtime replacement, reconstruct needs at least one prompt-backed
@@ -389,6 +523,7 @@ The reference run may be host-LLM-authored, but it must preserve:
 - the same artifact seats
 - the same evidence-ref discipline
 - the same runtime/non-runtime ownership boundary
+- at least one observe → lens judgment → source frontier loop
 - an acceptance observation describing usefulness, missing evidence, and drift
 
 Runtime implementation may replace only one deterministic boundary at a time:
@@ -399,22 +534,30 @@ calculation, then MCP exposure.
 
 | Directive | Purpose | Runtime gate |
 |---|---|---|
-| `SourceObservationDirective` | choose which runtime observations are evidence candidates | observation id, material kind, source ref, and location validation |
+| `SourceObservationDirective` | choose which runtime observations are evidence candidates for one round | observation id, material kind, source ref, round id, and location validation |
+| `ReconstructLensJudgmentDirective` | label observations, identify semantic gaps, refine certainty, and request next-source needs from one lens perspective | lens id, observation refs, claim/gap ids, evidence refs, and no-direct-source-read validation |
+| `ExplorationSynthesisDirective` | compose lens judgments into an integrated round result without adding a new independent perspective | source judgment refs, conflict handling refs, and preservation of minority/open gaps |
+| `SourceFrontierDirective` | request unjudged source refs for the next observation round or declare no-next-frontier rationale | boundary, inventory, material support, duplicate, broadness, and expected-evidence validation |
 | `DomainContextSelectionDirective` | choose domain documents and explain why | context existence, scope, and `domain_snapshot_id` validation |
-| `SeedCandidateDirective` | propose purpose, non-goals, entities, relations, actions, properties, and rules | schema shape, prior observation-directive status, selected observation, and evidence ref validation |
+| `SeedCandidateDirective` | propose purpose, non-goals, entities, relations, actions, properties, and rules with separate stable `claim_id` and user-facing `name` | schema shape, required non-generic claim name, prior observation-directive status, selected observation, and evidence ref validation |
 | `ClaimRealizationDirective` | classify each Seed claim's evidence stance | claim id, stance enum, source/evidence ref, and rationale presence validation |
-| `EvidenceMapDirective` | connect claims to evidence | dangling ref and duplicate evidence checks |
 | `SeedConfirmationDirective` | record claim-level accepted, rejected, partial, or deferred confirmation | state transition, duplicate claim, missing claim, and derived-set validation |
 | `CompetencyQuestionDirective` | define the authoritative execution question set and scope boundaries | duplicate id, closed question set, claim linkage, and evidence-ref validation |
 | `CompetencyQuestionAssessmentDirective` | answer or mark every authoritative question | exactly-once question coverage, answer-state enum, claim linkage, and evidence-ref validation |
 | `FailureClassificationDirective` | classify why a question or claim cannot be trusted for the declared purpose | enum, question/result linkage, claim linkage, and materiality rationale checks |
-| `OntologyRevisionProposal` | propose reuse, extend, rename, split, reject, or defer decisions | proposal id, target id, action enum, schema, and regression checks |
+| `RevisionProposalDirective` | propose reuse, extend, rename, split, reject, or defer decisions | proposal id, target id, action enum, schema, and regression checks |
 | `StopDecisionDirective` | decide continue, stop, or ask user based on metrics and purpose | metrics presence and enum validation |
 | `FinalOutputDirective` | present decision-ready user-facing output | artifact provenance, section presence, and unresolved/deferred disclosure checks |
 
 Every semantic claim in a Seed or revision proposal needs evidence refs. A claim
 without evidence remains a hypothesis or open question.
 
+Evidence mapping is not a separate authority unless this contract later adds an
+explicit artifact seat for it. Evidence refs are owned by the artifact that makes
+the claim, assessment, failure, proposal, or final-output statement. Any future
+evidence-map view must be a projection over those owning artifacts and must not
+duplicate evidence authority.
+
 ## 10. Artifact Truth
 
 The reconstruct session should write artifacts under a dedicated session root,
@@ -427,66 +570,104 @@ Current and provisional artifact contract:
 |---|---|---|---|
 | `target-material-profile.yaml` | runtime | helper implemented | selected target material kind, candidates, confidence, selected source profiles, and unsupported-material status |
 | `source-inventory.yaml` | runtime | helper implemented | selected source roots, material-specific inventory units, and scan boundaries |
+| `initial-source-frontier.yaml` | runtime | implemented | initial frontier derived from invocation binding and source inventory; authority for the first observation frontier |
 | `source-observations.yaml` | runtime | helper implemented | adapter id, material kind, location, structural data, and stable observation ids |
-| `source-observation-directive.yaml` | LLM | implemented through pluggable author | selected observations and evidence-candidate rationale |
-| `source-observation-directive-validation.yaml` | runtime | helper implemented | validation status and violations for LLM-selected observation refs |
+| `source-observation-directive.yaml` | LLM | helper implemented for current single-slice path; projection only after round artifacts exist | compatibility projection of selected observations and evidence-candidate rationale; must record projection metadata and no downstream authority when round-scoped artifacts exist |
+| `source-observation-directive-validation.yaml` | runtime | helper implemented for current single-slice path; projection only after round artifacts exist | compatibility projection of validation status and violations; must record projection metadata and no downstream authority when round-scoped artifacts exist |
+| `rounds/{round_id}/source-observation-directive.yaml` | LLM | implemented for round 1 | round-scoped selected observations and evidence-candidate rationale |
+| `rounds/{round_id}/source-observation-directive-validation.yaml` | runtime | implemented for round 1 | round-scoped validation status and violations for LLM-selected observation refs |
+| `rounds/{round_id}/lens-judgments/{lens_id}.yaml` | LLM | implemented for round 1 direct-call path | independent reconstruct lens judgment over trusted observations, including labels, gaps, certainty refinements, and source needs |
+| `rounds/{round_id}/exploration-synthesis.yaml` | LLM | implemented for round 1 direct-call path | integrated round result that preserves conflicts and prepares frontier selection |
+| `rounds/{round_id}/source-frontier.yaml` | LLM | implemented for round 1 direct-call path | requested next source refs, priorities, rationale, and no-next-frontier judgment |
+| `rounds/{round_id}/source-frontier-validation.yaml` | runtime | implemented for round 1 direct-call path | accepted/rejected frontier refs with boundary, support, duplicate, and broadness validation |
 | `domain-context-selection.yaml` | LLM | future | chosen domain context refs and rationale |
 | `domain-context-selection-validation.yaml` | runtime | future | context existence, scope, and snapshot validation |
-| `seed-candidate.yaml` | LLM | implemented through pluggable author | proposed Ontology Seed before user confirmation |
-| `seed-candidate-validation.yaml` | runtime | helper implemented | validation status and violations for LLM-authored Seed claim shape and observation evidence refs |
-| `claim-realization-map.yaml` | LLM | mock loop implemented through pluggable author | evidence stance for every Seed claim |
+| `seed-candidate.yaml` | LLM | implemented through pluggable author | proposed Ontology Seed before user confirmation; every claim carries `claim_id`, `name`, `statement`, and evidence refs |
+| `seed-candidate-validation.yaml` | runtime | helper implemented | validation status and violations for LLM-authored Seed claim shape, non-generic claim names, and observation evidence refs |
+| `claim-realization-map.yaml` | LLM | implemented through pluggable direct-call author | evidence stance for every Seed claim |
 | `claim-realization-map-validation.yaml` | runtime | implemented | claim id, stance enum, and evidence linkage validation |
-| `seed-confirmation.yaml` | user/host mediated | mock loop implemented through pluggable provider | claim-level accepted, rejected, partial, or deferred Seed decisions |
+| `seed-confirmation.yaml` | user/host mediated | implemented through pluggable direct-call provider | claim-level accepted, rejected, partial, or deferred Seed decisions |
 | `seed-confirmation-validation.yaml` | runtime | implemented | confirmation transition validation and derived claim sets |
 | `competency-questions.yaml` | LLM | implemented through pluggable author | authoritative execution questions and boundaries |
-| `competency-questions-validation.yaml` | runtime | implemented | closed CQ set, duplicate id, claim-link, and evidence validation |
-| `competency-question-assessment.yaml` | LLM | mock loop implemented through pluggable author | answer status and evidence basis for every authoritative question |
+| `competency-questions-validation.yaml` | runtime | implemented | closed CQ set, duplicate id, eligible-claim coverage, claim-link, and evidence validation |
+| `competency-question-assessment.yaml` | LLM | implemented through pluggable direct-call author | answer status and evidence basis for every authoritative question |
 | `competency-question-assessment-validation.yaml` | runtime | implemented | exactly-once coverage, status enum, and evidence validation |
-| `failure-classification.yaml` | LLM | mock loop implemented through pluggable author | failed or unsafe-to-trust question and claim causes |
+| `failure-classification.yaml` | LLM | implemented through pluggable direct-call author | failed or unsafe-to-trust question and claim causes |
 | `failure-classification-validation.yaml` | runtime | implemented | failure enum, linkage, and materiality rationale validation |
-| `revision-proposal.yaml` | LLM | mock loop implemented through pluggable author | bounded ontology changes, deferrals, or rejection proposals |
+| `revision-proposal.yaml` | LLM | implemented through pluggable direct-call author | bounded ontology changes, deferrals, or rejection proposals |
 | `revision-proposal-validation.yaml` | runtime | implemented | proposal id, target id, action enum, and regression guard validation |
 | `reconstruct-metrics.yaml` | runtime | implemented | deterministic counts and pass rates |
 | `stop-decision.yaml` | LLM | implemented through pluggable author | continue, stop, or ask-user judgment |
 | `final-output.md` | LLM | implemented through pluggable author and provenance-checked by runtime | user-facing result text grounded in artifacts |
 | `reconstruct-run-manifest.yaml` | runtime assembly | implemented | step list, owner boundary, performed-by provenance, happy-path scope, artifact refs, and execution profile |
-| `reconstruct-record.yaml` | runtime assembly | helper implemented, primary artifact in mock loop | primary structured reconstruct artifact with material, validation, and artifact refs |
+| `reconstruct-record.yaml` | runtime assembly | implemented, primary artifact | primary structured reconstruct artifact with material, validation, and artifact refs |
 
 These artifact names are provisional but contract-owned. Runtime implementation
 must either implement this contract or update this contract before code lands.
 Runtime code must not silently fix a different schema.
 
-The current mock runtime path explicitly implements:
+The current direct-call runtime path explicitly implements:
 
-- target material profile, inventory, and source observations
+- target material profile, inventory, initial source frontier, and source observations
 - source-observation directive plus validation
+- round 1 reconstruct lens judgments
+- exploration synthesis
+- source-frontier selection plus validation
 - Seed candidate plus validation
 - claim realization plus validation
-- Seed confirmation through an explicit mock confirmation provider
+- Seed confirmation through an explicit host-mediated direct-call provider
 - Seed confirmation validation and derived claim sets
-- competency questions through an explicit mock directive author
+- competency questions through an explicit direct-call directive author
 - competency-question validation and assessment
 - failure classification plus validation
 - revision proposal plus validation
 - deterministic reconstruct metrics
-- stop decision and provenance-checked final output through an explicit mock directive author
+- stop decision and provenance-checked final output through an explicit direct-call directive author
 - reconstruct run manifest and primary reconstruct record
 
-The current mock runtime path explicitly defers:
+The current direct-call runtime path explicitly defers:
 
 - `domain-context-selection.yaml`
 - `domain-context-selection-validation.yaml`
 
 These deferred artifacts require additional host/user semantic decisions and
-must not be implied by a completed mock run.
+must not be implied by a completed run. `reconstruct-run-manifest.yaml`,
+`reconstruct-record.yaml`, status payloads, result payloads, and
+`final-output.md` must expose these stages as skipped or deferred for the
+current execution profile.
 
-`reconstruct-record.yaml` is the primary artifact for the mock path in the same
+`reconstruct-record.yaml` is the primary artifact for reconstruct in the same
 way `review-record.yaml` is primary for review.
 
+### 10.1 Seed Validation Prerequisites
+
+`SeedCandidateDirective` validation is profile-sensitive:
+
+- In `full_integral_exploration`, Seed candidate validation requires trusted
+  source observations, validated observation directives, trusted lens judgments,
+  validated source-frontier records or a trusted no-next-frontier rationale,
+  validated domain-context selection or a trusted skipped-stage authority
+  impact, and accepted source snapshot refs.
+- In `mock_semantic_slice`, Seed candidate validation may prove only the
+  test/fixture artifact flow. It must record skipped live exploration and
+  skipped domain-context selection as authority limits, and it must not be used
+  as product completion evidence.
+- In `observer_gate_slice`, Seed candidate validation must be skipped unless a
+  host-supplied Seed candidate artifact is explicitly provided and validated
+  against existing trusted observations.
+
+No profile may present a Seed as confirmed unless `seed-confirmation.yaml` and
+`seed-confirmation-validation.yaml` exist and are trusted for that profile.
+
 ## 11. Completion Rule
 
 Runtime computes, but does not decide:
 
+- exploration round count
+- observed source ref count by round
+- new observation count by round
+- accepted and rejected source frontier ref counts
+- already-observed, unsupported, and out-of-bound frontier ref counts
 - evidence ref count
 - Seed concept count
 - claim realization stance counts
@@ -532,12 +713,15 @@ Runtime attachment is ready only when all of these are true:
    `.onto/processes/reconstruct/source-profiles/`.
 4. `target_material_kind` is recorded before source adapter selection.
 5. Source adapter output has stable observation ids and boundary failure rules.
-6. Directive validation has schemas for every meaning directive it accepts.
-7. Metrics are defined as deterministic projections from existing artifacts.
-8. MCP schemas expose only bounded facts and artifact refs.
-9. Stage ids are stable and recorded in status, run manifest, and records.
-10. Cross-artifact id authority is explicit and validators reject dangling refs.
-11. Final output provenance is validated against artifact ids rather than prose.
+6. Source frontier validation rejects out-of-bound, unsupported, duplicate, and
+   unsafe-broad next-source requests.
+7. Lens judgment artifacts are context-isolated and cannot directly fetch source.
+8. Directive validation has schemas for every meaning directive it accepts.
+9. Metrics are defined as deterministic projections from existing artifacts.
+10. MCP schemas expose only bounded facts and artifact refs.
+11. Stage ids are stable and recorded in status, run manifest, and records.
+12. Cross-artifact id authority is explicit and validators reject dangling refs.
+13. Final output provenance is validated against artifact ids rather than prose.
 
 ## 13. Verification Target
 
@@ -558,6 +742,9 @@ The first end-to-end fixture may use the `day1co/day1co-ai-usage-dashboard`
 repository or an equivalent temporary fixture. An equivalent fixture must cover:
 
 - multiple selected source observations
+- at least two exploration rounds or one validated no-next-frontier rationale
+- at least one accepted source frontier ref and one rejected or already-observed
+  frontier ref
 - at least five Seed claims
 - at least one accepted claim and one rejected, partial, or deferred claim
 - at least one competency question that is not fully answered