project-tiny-context-harness 0.7.0 → 0.7.2

package/dist/commands/long-task-revision.js

@@ -63,8 +63,21 @@ async function compile(workdir, args) {
         await clearFinalReceipt(compiled.repository_root, workdir);
     }
     await clearAuthorityRevision(workdir);
+    printCompileResult(compiled, previous, preserveProgress, revisionCapture.proposal);
+}
+function printCompileResult(compiled, previous, preserveProgress, revisionProposal) {
+    const firstAuthorityLock = previous === null;
+    const authorityChanged = previous !== null &&
+        previous.compiled_identity !== compiled.compiled_identity;
     console.log(JSON.stringify({
         status: "compiled",
+        lifecycle_event: firstAuthorityLock
+            ? "authority_locked"
+            : authorityChanged
+                ? "authority_revision_adopted"
+                : "authority_recompiled_unchanged",
+        delivery_completed_by_this_event: false,
+        native_goal_effect: "none",
         task_id: compiled.task.id,
         compiled_identity: compiled.compiled_identity,
         authority_revision: compiled.authority_revision,
@@ -72,10 +85,15 @@ async function compile(workdir, args) {
         outcomes: compiled.outcomes.map((outcome) => outcome.key),
         claim_coverage: compiled.claim_coverage,
         progress_preserved: preserveProgress,
-        authority_revision_change: revisionCapture.proposal
-            ? projectAuthorityRevisionDecision(revisionCapture.proposal)
+        authority_revision_change: revisionProposal
+            ? projectAuthorityRevisionDecision(revisionProposal)
             : null,
-        execution_model_checkpoint: executionModelCheckpoint(previous === null),
+        next_action: firstAuthorityLock
+            ? "Complete the one-time model choice, then begin rolling implementation."
+            : authorityChanged
+                ? "Run status or resume, then continue rolling implementation or repair under the adopted Authority Revision."
+                : "Continue rolling implementation or repair under the active Authority.",
+        execution_model_checkpoint: executionModelCheckpoint(firstAuthorityLock),
     }));
 }
 async function compileForCommand(workdir, revise, previous, capture) {
@@ -101,8 +119,11 @@ async function printPendingDecision(workdir, previous) {
     console.log(JSON.stringify({
         status: "authority_revision_pending",
         acceptance_authorized: false,
+        delivery_completed_by_this_event: false,
+        native_goal_effect: "none",
         active_compiled_identity: previous?.compiled_identity ?? null,
         pending_authority_revision: projectAuthorityRevisionDecision(pending),
+        next_action: "Ask the user to approve or reject this exact material revision; keep the previous Authority active.",
     }));
 }
 async function diagnoseRevision(workdir, args) {
@@ -120,7 +141,13 @@ async function approveRevision(workdir, args) {
     if (!revision)
         throw new Error("--revision requires a value");
     await approvePendingAuthorityRevision(workdir, revision);
-    console.log(JSON.stringify({ status: "authority_revision_approved", revision }));
+    console.log(JSON.stringify({
+        status: "authority_revision_approved",
+        revision,
+        delivery_completed_by_this_event: false,
+        native_goal_effect: "none",
+        next_action: "Run compile --revise to atomically adopt the approved revision, then return to rolling implementation or repair.",
+    }));
 }
 function executionModelCheckpoint(firstAuthorityLock) {
     if (!firstAuthorityLock)

package/dist/commands/long-task.js

@@ -68,6 +68,9 @@ export async function longTask(args) {
             workdir,
             workflow_status: result.workflow_status,
             external_confirmations: result.external_confirmations,
+            acceptance_scope: result.acceptance_scope,
+            closed_scope: result.closed_scope,
+            native_goal_effect: result.native_goal_effect,
         }));
         return;
     }
@@ -101,7 +104,11 @@ async function verify(workdir, args) {
 async function finalGate(workdir, args) {
     rejectUnknown(args, []);
     const result = await runDeliveryFinalGate(workdir);
-    console.log(JSON.stringify(result));
+    console.log(JSON.stringify({
+        ...result,
+        acceptance_scope: "declared_machine_authority",
+        native_goal_effect: "none",
+    }));
     if (result.workflow_status !== "machine_accepted" &&
         result.workflow_status !== "machine_accepted_external_pending")
         process.exitCode = 1;

package/dist/lib/long-task-authority-revision-summary.js

@@ -57,6 +57,21 @@ export function summarizeAuthorityRevision(diff, outcomeKeys) {
         write_scope_expanded: diff.owner_or_path_boundary_changed,
         risk_changed: diff.risk_changed,
         external_confirmations_changed: diff.external_confirmations_changed,
+        semantic_fields_changed: uniqueSorted([
+            ...diff.product_semantics_changed,
+            ...diff.global_semantics_changed,
+        ]),
+        source_claim_changes: uniqueSorted([
+            ...diff.source_claims_added,
+            ...diff.source_claims_removed_or_changed,
+        ]),
+        product_claim_changes: uniqueSorted([
+            ...diff.product_claims_added.map((claim) => `${claim}:added`),
+            ...diff.product_claims_removed.map((claim) => `${claim}:removed`),
+            ...diff.product_claims_changed.map((claim) => `${claim}:changed`),
+        ]),
+        proof_reductions: uniqueSorted(diff.reduction_reasons.filter((reason) => PROOF_REDUCTION_REASONS.has(reason))),
+        external_confirmation_changes: uniqueSorted(diff.external_confirmation_changes),
         added_verification_dependencies: uniqueSorted([
             ...diff.verification_inputs_added,
             ...diff.input_paths_added,
@@ -76,13 +91,29 @@ export function projectAuthorityRevisionDecision(value) {
         verification_inputs_added: value.revision_diff.verification_inputs_added ?? [],
         input_paths_added: value.revision_diff.input_paths_added ?? [],
         external_confirmations_changed: value.revision_diff.external_confirmations_changed ?? false,
+        external_confirmation_changes: value.revision_diff.external_confirmation_changes ?? [],
     };
+    const computedSummary = summarizeAuthorityRevision(diff, value.affected_outcomes_or_contracts);
+    const storedSummary = value.approval_summary;
     return {
         revision_identity: value.revision_identity,
         change_class: value.change_class ?? classifyAuthorityRevision(diff),
         approval_required: value.approval_required ?? true,
-        approval_summary: value.approval_summary ??
-            summarizeAuthorityRevision(diff, value.affected_outcomes_or_contracts),
+        approval_summary: storedSummary
+            ? {
+                ...computedSummary,
+                ...storedSummary,
+                semantic_fields_changed: storedSummary.semantic_fields_changed ??
+                    computedSummary.semantic_fields_changed,
+                source_claim_changes: storedSummary.source_claim_changes ??
+                    computedSummary.source_claim_changes,
+                product_claim_changes: storedSummary.product_claim_changes ??
+                    computedSummary.product_claim_changes,
+                proof_reductions: storedSummary.proof_reductions ?? computedSummary.proof_reductions,
+                external_confirmation_changes: storedSummary.external_confirmation_changes ??
+                    computedSummary.external_confirmation_changes,
+            }
+            : computedSummary,
     };
 }
 function scopeAffectedOutcomes(diff) {

package/dist/lib/long-task-authority-revision-types.d.ts

@@ -10,6 +10,11 @@ export interface AuthorityRevisionApprovalSummaryV2 {
     write_scope_expanded: boolean;
     risk_changed: boolean;
     external_confirmations_changed: boolean;
+    semantic_fields_changed: string[];
+    source_claim_changes: string[];
+    product_claim_changes: string[];
+    proof_reductions: string[];
+    external_confirmation_changes: string[];
     added_verification_dependencies: string[];
     expanded_owner_paths: string[];
     expanded_expected_change_paths: string[];
@@ -79,6 +84,7 @@ export interface AuthorityRevisionDiffV2 {
     counterfactuals_removed: string[];
     population_weakened: string[];
     external_confirmations_changed: boolean;
+    external_confirmation_changes: string[];
     verifier_content_changed: boolean;
     verifier_runtime_locator_changed: boolean;
     verifier_files_changed: string[];

package/dist/lib/long-task-authority-revision.js

@@ -80,7 +80,8 @@ export function authorityRevisionDiff(previous, next, nextHashes, nextMaterials,
     const riskChanged = previous.authority_hashes.risk_authority_hash !==
         nextHashes.risk_authority_hash;
     const acceptanceChanged = acceptanceSemanticsChanged(previous, next);
-    const externalConfirmationsChanged = !same(previous.global.acceptance.external_confirmations, next.global.acceptance.external_confirmations);
+    const externalConfirmationChanges = keyedAuthorityChanges(previous.global.acceptance.external_confirmations, next.global.acceptance.external_confirmations);
+    const externalConfirmationsChanged = externalConfirmationChanges.length > 0;
     const monotonic = isMonotonicAcceptanceStrengthening(previous, next);
     const reductionReasons = [
         ...(productClaimsAdded.length ? ["product_claim_added"] : []),
@@ -175,6 +176,7 @@ export function authorityRevisionDiff(previous, next, nextHashes, nextMaterials,
         counterfactuals_removed: counterfactualsRemoved,
         population_weakened: populationWeakened,
         external_confirmations_changed: externalConfirmationsChanged,
+        external_confirmation_changes: externalConfirmationChanges,
         ...verifierDiff,
         source_claims_changed: previous.authority_hashes.source_authority_hash !==
             nextHashes.source_authority_hash,
@@ -194,3 +196,21 @@ export function authorityRevisionDiff(previous, next, nextHashes, nextMaterials,
         reduction_reasons: [...new Set(reductionReasons)],
     };
 }
+function keyedAuthorityChanges(before, after) {
+    const beforeByKey = new Map(before.map((item) => [item.key, item]));
+    const afterByKey = new Map(after.map((item) => [item.key, item]));
+    return [
+        ...before
+            .filter((item) => !afterByKey.has(item.key))
+            .map((item) => `${item.key}:removed`),
+        ...after
+            .filter((item) => !beforeByKey.has(item.key))
+            .map((item) => `${item.key}:added`),
+        ...before
+            .filter((item) => {
+            const candidate = afterByKey.get(item.key);
+            return candidate !== undefined && !same(item, candidate);
+        })
+            .map((item) => `${item.key}:changed`),
+    ].sort();
+}

package/dist/lib/long-task-status-v2.d.ts

@@ -8,6 +8,8 @@ export interface DeliveryStatusV2 {
     effective_risk: "standard" | "strict";
     workspace_snapshot_sha256: string;
     acceptance_authority: "live_final_gate_required";
+    acceptance_scope: "declared_machine_authority";
+    native_goal_effect: "none";
     final_result: AuditGateStatusV2;
     final_workflow_status: FinalReceiptV2["workflow_status"] | null;
     external_confirmations: ExternalConfirmationV2[];
@@ -29,11 +31,16 @@ export interface StopCheckDeliveryResultV2 {
     reason: string;
     workflow_status?: FinalReceiptV2["workflow_status"];
     external_confirmations?: ExternalConfirmationV2[];
+    acceptance_scope?: "declared_machine_authority";
+    native_goal_effect?: "none";
     message?: string;
 }
 export interface CloseDeliveryResultV2 {
     status: "closed";
     workflow_status: Extract<FinalReceiptV2["workflow_status"], "machine_accepted" | "machine_accepted_external_pending">;
     external_confirmations: ExternalConfirmationV2[];
+    acceptance_scope: "declared_machine_authority";
+    closed_scope: "machine_authority";
+    native_goal_effect: "none";
 }
 export declare function closeDeliveryTask(workdir: string): Promise<CloseDeliveryResultV2>;

package/dist/lib/long-task-status-v2.js

@@ -48,6 +48,8 @@ async function readDeliveryStatusForAuthority(active) {
         effective_risk: compiled.effective_risk,
         workspace_snapshot_sha256: current.snapshot_sha256,
         acceptance_authority: "live_final_gate_required",
+        acceptance_scope: "declared_machine_authority",
+        native_goal_effect: "none",
         final_result: projection.finalResult,
         final_workflow_status: projection.finalWorkflowStatus,
         external_confirmations: compiled.global.acceptance.external_confirmations,
@@ -94,6 +96,8 @@ export async function resumeDeliveryTask(workdir) {
         context_refs: compiled.task.context_refs,
         git,
         acceptance_authority: "live_final_gate_required",
+        acceptance_scope: "declared_machine_authority",
+        native_goal_effect: "none",
         last_gate: status.final_result,
         final_workflow_status: status.final_workflow_status,
         external_confirmations: status.external_confirmations,
@@ -221,11 +225,9 @@ export async function stopCheckDeliveryTask(workdirInput, messageText = "") {
                 reason: result.workflow_status,
                 workflow_status: result.workflow_status,
                 external_confirmations: result.external_confirmations,
-                ...(result.workflow_status === "machine_accepted_external_pending"
-                    ? {
-                        message: externalPendingMessage(result.external_confirmations),
-                    }
-                    : {}),
+                acceptance_scope: "declared_machine_authority",
+                native_goal_effect: "none",
+                message: acceptedScopeMessage(result.workflow_status, result.external_confirmations),
             };
         }
         return {
@@ -272,13 +274,19 @@ export async function closeDeliveryTask(workdir) {
         status: "closed",
         workflow_status: result.workflow_status,
         external_confirmations: result.external_confirmations,
+        acceptance_scope: "declared_machine_authority",
+        closed_scope: "machine_authority",
+        native_goal_effect: "none",
     };
 }
-function externalPendingMessage(confirmations) {
+function acceptedScopeMessage(workflowStatus, confirmations) {
+    const scope = "Declared machine Authority accepted and cleared. This result has no direct effect on the platform-native Goal; before completing it, confirm current Goal/user meaning is fully represented by accepted Source and no revision, blocker, or omitted requirement remains.";
+    if (workflowStatus === "machine_accepted")
+        return scope;
     const pending = confirmations
         .map((confirmation) => `${confirmation.key} (${confirmation.owner})`)
         .join(", ");
-    return `Machine-verifiable scope accepted. Complete external delivery remains pending: ${pending}. Do not report complete external delivery.`;
+    return `${scope} Complete external delivery remains pending: ${pending}. Do not report complete external delivery.`;
 }
 function nextAction(status) {
     if (status.pending_authority_revision)

package/migrations/README.md

@@ -1,8 +1,8 @@
-# Migrations
-
-Schema migrations for Harness config and managed file layout belong here.
-
-Version 0.6.0 includes `long-task-v1-retirement`. It safely removes the
-retired repo-local Hook, reports a legacy active projection as
-`manual_required`, and deliberately does not import V1 progress or receipts
-into the V2 Claim/Evidence authority.
+# Migrations
+
+Schema migrations for Harness config and managed file layout belong here.
+
+Version 0.6.0 includes `long-task-v1-retirement`. It safely removes the
+retired repo-local Hook, reports a legacy active projection as
+`manual_required`, and deliberately does not import V1 progress or receipts
+into the V2 Claim/Evidence authority.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "project-tiny-context-harness",
-  "version": "0.7.0",
+  "version": "0.7.2",
   "description": "Minimal project memory and validation harness for AI coding agents.",
   "license": "MIT",
   "author": "Seven128",

package/source-mappings.yaml

@@ -1,25 +1,25 @@
-source_mappings:
-  - source: ".codex/ty-context-managed/agents/AGENTS_CORE.md"
-    target: "packages/ty-context/assets/agents/AGENTS_CORE.md"
-    mode: "copy-file"
-  - source: "README.md"
-    target: "packages/ty-context/assets/README.md"
-    mode: "copy-file"
-  - source: "README.zh-CN.md"
-    target: "packages/ty-context/assets/README.zh-CN.md"
-    mode: "copy-file"
-  - source: ".codex/ty-context-managed/context_templates"
-    target: "packages/ty-context/assets/context_templates"
-    mode: "copy-tree"
-  - source: ".codex/ty-context-managed/skills"
-    target: "packages/ty-context/assets/skills"
-    mode: "copy-tree"
-  - source: ".codex/ty-context-managed/make/ty-context.mk"
-    target: "packages/ty-context/assets/make/ty-context.mk"
-    mode: "copy-file"
-  - source: ".codex/ty-context-managed/minimal_tools"
-    target: "packages/ty-context/assets/tools"
-    mode: "copy-tree"
-  - source: ".github/workflows/harness.yml"
-    target: "packages/ty-context/assets/github/harness.yml"
-    mode: "copy-file"
+source_mappings:
+  - source: ".codex/ty-context-managed/agents/AGENTS_CORE.md"
+    target: "packages/ty-context/assets/agents/AGENTS_CORE.md"
+    mode: "copy-file"
+  - source: "README.md"
+    target: "packages/ty-context/assets/README.md"
+    mode: "copy-file"
+  - source: "README.zh-CN.md"
+    target: "packages/ty-context/assets/README.zh-CN.md"
+    mode: "copy-file"
+  - source: ".codex/ty-context-managed/context_templates"
+    target: "packages/ty-context/assets/context_templates"
+    mode: "copy-tree"
+  - source: ".codex/ty-context-managed/skills"
+    target: "packages/ty-context/assets/skills"
+    mode: "copy-tree"
+  - source: ".codex/ty-context-managed/make/ty-context.mk"
+    target: "packages/ty-context/assets/make/ty-context.mk"
+    mode: "copy-file"
+  - source: ".codex/ty-context-managed/minimal_tools"
+    target: "packages/ty-context/assets/tools"
+    mode: "copy-tree"
+  - source: ".github/workflows/harness.yml"
+    target: "packages/ty-context/assets/github/harness.yml"
+    mode: "copy-file"