agentera 3.0.0-dev.7 → 3.0.0-dev.72

package/bundle/references/analysis/verification-policy.yaml

@@ -0,0 +1,266 @@
+schemaVersion: agentera.verificationPolicy.v1
+
+# This file is the sole authority for CLI test ownership and policy composition.
+# A matching explicit rule is required for specialized owners. Files with no
+# explicit match belong to default_owner; multiple explicit matches are invalid.
+inventory:
+  root: packages/cli/test
+  suffix: .test.ts
+  default_owner: source
+  rules:
+    - owner: stress
+      path: packages/cli/test/stress/entityStorageStress.test.ts
+    - owner: performance
+      path: packages/cli/test/performance/entityAuthorityPerformance.test.ts
+      evidence_producer: true
+    - owner: capacity
+      prefix: packages/cli/test/capacity/
+    - owner: package
+      prefix: packages/cli/test/packaging/
+
+# Full-overlap validation accepts this governed YAML byte stream and the owner
+# command's JSON result-file bytes as its only evidence authorities. Parsed
+# objects are internal implementation details: callers cannot supply policy or
+# reporter objects directly. The source proof requires exactly one matching
+# conditional assertion in the declared file and nowhere else in the
+# source-owner inventory.
+overlap:
+  max_diagnostic_utf8_bytes: 8192
+  allowed_pending_assertion:
+    owner: source
+    path: packages/cli/test/build/generatedOutputPublication.test.ts
+    suite: generated generation publication
+    title: reads one real Darwin process identity independently of caller locale and timezone
+    status: skipped
+    executes_when:
+      platform: darwin
+
+# Release source qualification executes this evidence DAG without changing the
+# owner inventories or public commands above. generated-overlap is the only
+# checkout generated-output writer and the only execution origin for source,
+# package, build, and overlap evidence.
+release_qualification:
+  schedule_authority: references/adapters/package-publication.json#qualification.source.dag
+  deadline_authority: references/adapters/package-publication.json#benchmark.timeouts.sourceQualificationMs
+  deadline_behavior: the source coordinator passes the actual absolute deadline;
+    overlap stops new work at the contract cleanup margin, settles owned children,
+    removes its generated state on failure, and returns before the contract parent margin
+  isolation: distinct_home_cache_user_global_config_and_report_per_child
+  resource_isolation: performance_runs_alone_after_batch_a_settles_with_one_worker_and_no_other_marked_owner_then_capacity_runs_serially_before_readers
+  failure:
+    first_observed_owner: preserved
+    cancellable_process_groups: cancel
+    generated_overlap: cooperative_stop_settle_and_cleanup_without_parent_force_kill
+    performance_after_batch_failure: forbidden
+    capacity_after_performance_failure: forbidden
+    barrier_b_after_capacity_failure: forbidden
+    barrier_b_after_performance_failure: forbidden
+    barrier_b_after_batch_failure: forbidden
+    receipt_after_any_failure: forbidden
+  source_generated_access:
+    checkout_generated_write: forbidden
+    conditional_read_when_present:
+      - packages/cli/.agentera-generated/current/bundle
+    authority: source tests may compare a settled bundled schema when present;
+      they never construct, publish, replace, or clean checkout generated output
+
+owners:
+  source:
+    config: packages/cli/vite.config.ts
+    correction: Run `pnpm -C packages/cli test:source`; fix the reported source test or its source setup.
+  stress:
+    config: packages/cli/vite.config.ts
+    correction: Run `pnpm -C packages/cli test:stress`; fix the named stress invariant or its fixture.
+  performance:
+    config: packages/cli/vite.config.ts
+    correction: Run `pnpm -C packages/cli test:performance`; check runner conditions and fix the named budget regression.
+    execution:
+      workers: 1
+      authoritative_runner:
+        provider: github_actions
+        runs_on: ubuntu-24.04
+        runner_class: github-hosted-ubuntu-24.04
+        runner_class_environment: AGENTERA_PERFORMANCE_RUNNER_CLASS
+        runner_identity_environment: AGENTERA_PERFORMANCE_RUNNER_IDENTITY
+        actions_environment: GITHUB_ACTIONS
+        platform: linux
+        architecture: x64
+    integration:
+      path: packages/cli/test/integration/performanceOwner.integration.mjs
+      command: [pnpm, run, test:performance:integration]
+    evidence:
+      schema_version: agentera.entityAuthorityPerformanceEvidence.v1
+      authority: references/artifacts/state-storage-authority.yaml#entity_target.measurement_contract
+      stdout_format: newline_delimited_json_record_amid_runner_output
+      max_utf8_bytes: 65536
+    forwarding:
+      # Delimiters are invocation syntax and are never forwarded. Every explicit
+      # file selection must resolve to exact inventory files and retain this
+      # owner's evidence producer.
+      safe_options:
+        --no-color: none
+        --logHeapUsage: none
+        --printConsoleTrace: none
+        --includeTaskLocation: none
+      forbidden_options:
+        -t: test-name selection can skip owned evidence
+        --testNamePattern: test-name selection can skip owned evidence
+        --exclude: file exclusion changes owner suite membership
+        --include: file inclusion changes owner suite membership
+        --dir: scan-root selection changes owner suite membership
+        -r: root configuration can redirect owner discovery
+        --root: root configuration can redirect owner discovery
+        -c: config selection can replace the owner configuration
+        --config: config selection can replace the owner configuration
+        --changed: change selection can skip owned evidence
+        --shard: sharding can skip owned evidence
+        --project: project selection can redirect owner execution
+        --tagsFilter: tag selection can skip owned evidence
+        --reporter: reporter selection can suppress the evidence line
+        --outputFile: output redirection can suppress the evidence line
+        --silent: output suppression can hide the evidence line
+        --hideSkippedTests: output filtering can hide owner diagnostics
+  capacity:
+    config: packages/cli/vite.config.ts
+    correction: Run `pnpm -C packages/cli test:capacity`; fix the named production-capacity invariant or its fixture.
+    execution:
+      workers: 1
+  package:
+    config: packages/cli/vite.package.config.ts
+    correction: Run `pnpm -C packages/cli verify:package`; fix package construction or the extracted-package assertion.
+    execution:
+      wall_time_budget_ms: 60000
+      budget_basis:
+        baseline:
+          source: docs/packaging/v3-release-workflow-baseline.json#measurements.package
+          command: pnpm -C packages/cli run verify:package
+          serial_runs_ms: [611675, 386578, 307207]
+          minimum_ms: 307207
+          note: Task 1 recorded a contention fingerprint, so the minimum is a historical ceiling rather than a direct target.
+        controlled_measurement:
+          measured_on: 2026-08-10
+          command: pnpm -C packages/cli run verify:package
+          serial_runs_ms: [12376, 11666, 11047]
+          owner_wall_time_runs_ms: [11415, 10789, 10202]
+          minimum_ms: 11047
+          median_ms: 11666
+          maximum_ms: 12376
+          test_files: 2
+          passed_tests: 11
+          fixture_construction_cycles: 2
+          deterministic_pack_runs: 2
+          extracted_smoke_runs: 1
+          machine:
+            platform: Linux x86_64
+            processor: AMD Ryzen 7 9800X3D
+            logical_cpus: 16
+            node: 22.23.2
+            pnpm: 10.30.3
+            load_average_at_start:
+              - [15.69, 16.16, 15.30]
+              - [13.97, 15.76, 15.18]
+              - [12.79, 15.38, 15.07]
+          conditions: Serial commands with existing dependencies and caches, no intentional verification overlap, and two independent construction roots per command.
+        remote_cold_measurement:
+          measured_on: 2026-08-12
+          owner_wall_time_ms: 28714
+          conditions: GitHub-hosted Ubuntu 24.04 with a shared Corepack download cache and otherwise isolated package state.
+        calibration_history:
+          superseded_single_construction_command_runs_ms: [7500, 7738, 7604, 11733, 11012, 9967, 14293]
+          note: These runs calibrated the candidate limits but do not represent the final two-construction snapshot.
+          rejected_candidate:
+            budget_ms: 10000
+            owner_wall_time_ms: 10429
+            command_wall_time_ms: 11733
+            outcome: tests_passed_budget_failed
+          stricter_candidate_validation:
+            budget_ms: 15000
+            owner_wall_time_runs_ms: [9859, 8962, 13069]
+            command_wall_time_runs_ms: [11012, 9967, 14293]
+            outcome: passed_repeatedly_before_final_fixture_strengthening
+        derivation:
+          formula: min(baseline_minimum_ms, max(ceil(controlled_maximum_ms * 1.25 / 5000) * 5000, ceil(remote_cold_ms * 2 / 5000) * 5000))
+          controlled_headroom_multiplier: 1.25
+          remote_cold_headroom_multiplier: 2
+          rounding_quantum_ms: 5000
+
+# Deterministic simultaneous-publication and stale-lock recovery evidence remains
+# source-owned. The independent 100-repetition stale-lock race is stress-owned.
+mixed_files: []
+# Deterministic response-cap behavior remains source-owned. Production-scale
+# capacity and machine-sensitive performance have separate owners and run in
+# that order during scheduled/release verification.
+
+policies:
+  targeted: [source]
+  precommit: [source]
+  fast: [source]
+  local: [source]
+  merge: [source, package]
+  scheduled: [source, stress, performance, capacity]
+  release: [source, stress, performance, capacity, package]
+
+# Task 1 classified probabilistic stale-lock repetition as scheduled/release
+# evidence after proportional deterministic lock correctness remained in source.
+# Therefore merge receives lock evidence through source, while scheduled also
+# executes the stress owner.
+
+# Pre-commit routing marks authority, verification, and specialized-owner
+# surfaces as ci_owned. The local hook runs only source-owned route guards and
+# typecheck; required CI executes the unchanged release policy authoritatively.
+# All other paths retain targeted source routing.
+conservative_routing:
+  exact:
+    - .lefthook.yml
+    - protocol.yaml
+    - registry.json
+    - packages/cli/package.json
+    - packages/cli/vite.config.ts
+    - packages/cli/vite.package.config.ts
+    - packages/cli/vitest.shared.ts
+    - packages/cli/scripts/verify-lane.mjs
+    - packages/cli/scripts/performance-evidence.mjs
+    - packages/cli/scripts/overlap-pending.mjs
+    - packages/cli/test/integration/performanceOwner.integration.mjs
+    - packages/cli/scripts/build-package.mjs
+    - packages/cli/scripts/generated-output.mjs
+    - packages/cli/scripts/copy-bundle.mjs
+    - packages/cli/scripts/generate-extract-corpus-parity.mjs
+    - packages/cli/scripts/verification-barrier.mjs
+    - packages/cli/scripts/verify-generated-overlap.mjs
+    - packages/cli/scripts/observe-capability-source.mjs
+    - packages/cli/scripts/observe-runtime-artifact.mjs
+    - packages/cli/scripts/pack-package.mjs
+    - packages/cli/scripts/package-construction.mjs
+    - packages/cli/scripts/reject-direct-prepack.mjs
+    - packages/cli/scripts/publication-transaction.mjs
+    - packages/cli/scripts/release-qualification.mjs
+    - packages/cli/scripts/release-readiness.mjs
+    - packages/cli/scripts/release-benchmark.mjs
+    - packages/cli/src/validate/activationConjunction.ts
+    - packages/cli/src/validate/activationArtifactEvidence.ts
+    - packages/cli/src/validate/activationArtifactEvidenceTypes.ts
+    - packages/cli/src/validate/activationEvidenceManifest.ts
+    - packages/cli/src/validate/activationPackageSemantics.ts
+    - packages/cli/src/validate/bootstrapAuthority.ts
+    - packages/cli/src/registries/activationTuples.ts
+    - packages/cli/src/registries/packagePublication.ts
+    - packages/cli/test/sourceSetup.ts
+    - packages/cli/test/state/todoDocsEntities.test.ts
+    - packages/cli/test/upgrade/upgradeEntityCutover.test.ts
+    - packages/cli/test/scripts/precommitVitest.test.ts
+    - packages/cli/test/helpers/sourceSubprocess.ts
+    - packages/cli/test/helpers/runtimeBootstrapMatrix.ts
+    - packages/cli/test/helpers/preCutoverBootstrapDispatcher.mjs
+    - packages/cli/test/helpers/runtimeProofCliBoundary.mjs
+    - packages/cli/test/integration/runtimeBootstrapMatrix.test.ts
+    - packages/cli/test/integration/sourcePackageParity.test.ts
+    - references/analysis/verification-policy.yaml
+    - scripts/precommit-vitest.sh
+  prefixes:
+    - .github/workflows/
+    - packages/cli/test/capacity/
+    - packages/cli/test/packaging/
+    - references/adapters/
+    - references/artifacts/
+    - skills/

package/bundle/references/artifacts/artifact-registry-interface-model.yaml

@@ -12,19 +12,24 @@ source_of_truth:
   producer_field: meta.producer
   consumers_field: meta.consumers
   artifact_type_field: meta.artifact_type
+  implementation_status_field: meta.implementation_status
   added_contract_fields:
     display_name: >-
       Human-facing canonical artifact name used by capability schemas, docs.yaml
       mapping keys, validators, and bounded CLI override lookup.
     scope: >-
       Where the artifact lives and how path overrides may apply.
+    implementation_status: >-
+      Whether registry relationships describe shipped behavior or an explicitly
+      declared-deferred contract.
     path_template: >-
       Structured path facts when meta.path contains a placeholder or points to a
       global, archive, or local-harness location.
   single_authority_rule: >-
     Consumers may project these facts into views, but must not maintain separate
-    display-name, default-path, producer, consumer, scope, type, or special-case
-    maps outside this registry Interface and runtime docs.yaml override loading.
+    display-name, default-path, producer, consumer, scope, type, implementation
+    status, or special-case maps outside this registry Interface and runtime
+    docs.yaml override loading.
 record:
   required_groups:
     - identity
@@ -61,6 +66,7 @@ record:
       owns:
         - producer capability IDs
         - consumer capability IDs
+        - implementation status
       required_fields:
         producers: list[string]
         consumers: list[string]
@@ -89,7 +95,7 @@ record:
       owns:
         - global profile artifact
         - plan archive artifact
-        - optimera harness path
+        - optimize harness path with optimera read compatibility
         - objective-scoped path placeholders
         - global/local/project-root/project-agent-state distinctions
       required_fields:
@@ -172,6 +178,9 @@ required_artifact_identities:
     - artifact_id: vision
       display_name: VISION.md
       default_path: .agentera/vision.yaml
+    - artifact_id: glossary
+      display_name: GLOSSARY.md
+      default_path: .agentera/glossary.yaml
   project_root:
     - artifact_id: todo
       display_name: TODO.md
@@ -185,7 +194,7 @@ required_artifact_identities:
   objective_scoped:
     - artifact_id: objective
       display_name: OBJECTIVE.md
-      default_path: .agentera/optimera/<name>/objective.yaml
+      default_path: .agentera/optimize/<name>/objective.yaml
       path_template:
         placeholder: <name>
         meaning: active objective directory name
@@ -193,7 +202,7 @@ required_artifact_identities:
           - <objective-name>
     - artifact_id: experiments
       display_name: EXPERIMENTS.md
-      default_path: .agentera/optimera/<name>/experiments.yaml
+      default_path: .agentera/optimize/<name>/experiments.yaml
       path_template:
         placeholder: <name>
         meaning: active objective directory name
@@ -221,11 +230,11 @@ explicit_special_cases:
       placeholder: '{date}'
       meaning: archive date or archive-safe plan suffix
     docs_yaml_can_override_path: false
-  - artifact_id: optimera_harness
+  - artifact_id: optimize_harness
     display_name: harness
     artifact_type: local_harness
     scope: local_harness
-    default_path: .agentera/optimera/<name>/harness
+    default_path: .agentera/optimize/<name>/harness
     path_template:
       placeholder: <name>
       meaning: active objective directory name
@@ -236,7 +245,7 @@ explicit_special_cases:
     display_name: benchmark_context
     artifact_type: cli_context
     scope: cli_context
-    default_path: agentera prime --context optimize --format json#benchmark_context
+    default_path: npx -y agentera@next prime --context optimize --format json#benchmark_context
     producers:
       - agentera
     consumers: