hyf_v1_jev.steps.json (310496B)
1 { 2 "spec_id": "hyf_v1_jev", 3 "format_version": 1, 4 "commit_convention": "<area>: <imperative lowercase description>", 5 "steps": [ 6 { 7 "id": "S001", 8 "title": "Record baseline and command discovery", 9 "phase": "A — discovery and durable contract adoption", 10 "purpose": "Establish facts before modifying a possibly newer checkout.", 11 "scope": "Inspect current instructions, HEAD, dirty worktree, README, manifests, source modules and last commit subjects; record actual tools/tasks, target matrix and Rust applicability. Reproduce baseline checks without changing runtime behavior.", 12 "files": [ 13 "docs/specs/hyf_v1_jev/implementation/BASELINE_RUN.md", 14 "current AGENTS.md", 15 "pixi.toml", 16 "flake.nix" 17 ], 18 "tests": "Run documented baseline tests; record missing toolchain or pre-existing failures and verify no unrelated files are modified.", 19 "requirements": [ 20 "HYF-CORE-001", 21 "HYF-CORE-006", 22 "HYF-REL-002", 23 "HYF-REL-003" 24 ], 25 "introduces_tasks": [], 26 "commit_message": "spec: record baseline and command discovery", 27 "expected_result": "Inspect current instructions, HEAD, dirty worktree, README, manifests, source modules and last commit subjects; record actual tools/tasks, target matrix and Rust applicability. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 28 "verification_commands": [ 29 "git diff --check", 30 "pixi run test" 31 ], 32 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 33 "conditional_cargo_commands": [ 34 "cargo check --workspace --locked", 35 "cargo test --workspace --locked", 36 "cargo fmt --all -- --check", 37 "cargo clippy --workspace --all-targets --locked -- -D warnings" 38 ], 39 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 40 "dependencies": [] 41 }, 42 { 43 "id": "S002", 44 "title": "Adopt durable approved specifications", 45 "phase": "A — discovery and durable contract adoption", 46 "purpose": "Make product intent available inside the actual repository.", 47 "scope": "Import approved specs, ADRs, plan and source ledger into the current documentation convention; label proposed bindings, open gates and original handoff evidence. Do not copy a source implementation or overwrite user docs.", 48 "files": [ 49 "docs/specs/hyf_v1_jev/", 50 "implementation progress ledger" 51 ], 52 "tests": "Check local document paths, requirement IDs, status claims and consistency with applicable repository instructions.", 53 "requirements": [ 54 "HYF-CORE-004", 55 "HYF-REL-001", 56 "HYF-REL-002" 57 ], 58 "introduces_tasks": [], 59 "commit_message": "spec: adopt durable approved specifications", 60 "expected_result": "Import approved specs, ADRs, plan and source ledger into the current documentation convention; label proposed bindings, open gates and original handoff evidence. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 61 "verification_commands": [ 62 "git diff --check", 63 "pixi run test" 64 ], 65 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 66 "conditional_cargo_commands": [ 67 "cargo check --workspace --locked", 68 "cargo test --workspace --locked", 69 "cargo fmt --all -- --check", 70 "cargo clippy --workspace --all-targets --locked -- -D warnings" 71 ], 72 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 73 "dependencies": [ 74 "S001" 75 ] 76 }, 77 { 78 "id": "S003", 79 "title": "Bind fixture authority and installation paths", 80 "phase": "A — discovery and durable contract adoption", 81 "purpose": "Prevent divergent canonical wire contracts.", 82 "scope": "Document discovered parent authority and local offline mirror; assign repo-local domain/provider fixture ownership and one adopted active location. Preserve old fixture manifest and avoid a runtime parent-checkout dependency.", 83 "files": [ 84 "tests/fixtures/v1/manifest.json", 85 "tests/fixtures/hyf_v1_jev/manifest.json", 86 "spec fixture-ownership note" 87 ], 88 "tests": "Verify old manifest unchanged unless justified; validate new paths and parent-unavailable standalone behavior by inspection/test setup.", 89 "requirements": [ 90 "HYF-CORE-005", 91 "HYF-TEST-001", 92 "HYF-TEST-002" 93 ], 94 "introduces_tasks": [], 95 "commit_message": "spec: bind fixture authority and installation paths", 96 "expected_result": "Document discovered parent authority and local offline mirror; assign repo-local domain/provider fixture ownership and one adopted active location. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 97 "verification_commands": [ 98 "git diff --check", 99 "pixi run test" 100 ], 101 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 102 "conditional_cargo_commands": [ 103 "cargo check --workspace --locked", 104 "cargo test --workspace --locked", 105 "cargo fmt --all -- --check", 106 "cargo clippy --workspace --all-targets --locked -- -D warnings" 107 ], 108 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 109 "dependencies": [ 110 "S002" 111 ] 112 }, 113 { 114 "id": "S004", 115 "title": "Bind additive operation envelopes", 116 "phase": "A — discovery and durable contract adoption", 117 "purpose": "Resolve wire details before writing operation code.", 118 "scope": "Map the three approved operation semantics onto the existing envelope, choose version strategy, known-field rules and correlation behavior; add actual request/response schema definitions and valid/invalid contract examples without advertising operations.", 119 "files": [ 120 "schemas/hyf_v1_jev/", 121 "docs/specs/hyf_v1_jev/specs/API_CONTRACTS.md", 122 "contract examples" 123 ], 124 "tests": "Validate examples and unsupported-version/unknown-field decisions; compare old wire fixtures and ensure no existing envelope is silently redefined.", 125 "requirements": [ 126 "HYF-BUY-006", 127 "HYF-CORE-005", 128 "HYF-CORE-004" 129 ], 130 "introduces_tasks": [], 131 "commit_message": "spec: bind additive operation envelopes", 132 "expected_result": "Map the three approved operation semantics onto the existing envelope, choose version strategy, known-field rules and correlation behavior; add actual request/response schema definitions and valid/invalid contract examples without advertising operations. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 133 "verification_commands": [ 134 "git diff --check", 135 "pixi run test" 136 ], 137 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 138 "conditional_cargo_commands": [ 139 "cargo check --workspace --locked", 140 "cargo test --workspace --locked", 141 "cargo fmt --all -- --check", 142 "cargo clippy --workspace --all-targets --locked -- -D warnings" 143 ], 144 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 145 "dependencies": [ 146 "S003" 147 ] 148 }, 149 { 150 "id": "S005", 151 "title": "Bind quantity and money representations", 152 "phase": "A — discovery and durable contract adoption", 153 "purpose": "Make arithmetic behavior explicit before implementation.", 154 "scope": "Choose supported exact representation, unit dimensions, precision/overflow/rounding rules and price basis fields consistent with the repo; document unknown and approximation alternatives. Keep unapproved production conversion catalogues unresolved.", 155 "files": [ 156 "schemas/hyf_v1_jev/quantity", 157 "schemas/hyf_v1_jev/money", 158 "domain contract note" 159 ], 160 "tests": "Add schema examples for exact, approximate, unknown, invalid and boundary amounts; have expected arithmetic independently reviewed.", 161 "requirements": [ 162 "HYF-DATA-003", 163 "HYF-DATA-004", 164 "HYF-DATA-005", 165 "HYF-DATA-006" 166 ], 167 "introduces_tasks": [], 168 "commit_message": "spec: bind quantity and money representations", 169 "expected_result": "Choose supported exact representation, unit dimensions, precision/overflow/rounding rules and price basis fields consistent with the repo; document unknown and approximation alternatives. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 170 "verification_commands": [ 171 "git diff --check", 172 "pixi run test" 173 ], 174 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 175 "conditional_cargo_commands": [ 176 "cargo check --workspace --locked", 177 "cargo test --workspace --locked", 178 "cargo fmt --all -- --check", 179 "cargo clippy --workspace --all-targets --locked -- -D warnings" 180 ], 181 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 182 "dependencies": [ 183 "S004" 184 ] 185 }, 186 { 187 "id": "S006", 188 "title": "Bind temporal and evidence semantics", 189 "phase": "A — discovery and durable contract adoption", 190 "purpose": "Remove ambiguous time/span assumptions.", 191 "scope": "Choose source/evaluation/ingestion time distinctions, date-only/window boundaries, absent-zone behavior, exact span offset convention and correction references; do not assume byte offsets already exist in the wire API.", 192 "files": [ 193 "schemas/hyf_v1_jev/source", 194 "temporal/evidence contract note" 195 ], 196 "tests": "Add Unicode/span and relative-time contract examples plus ambiguous local-time and final-window-boundary cases.", 197 "requirements": [ 198 "HYF-DATA-001", 199 "HYF-DATA-002", 200 "HYF-DATA-007", 201 "HYF-DATA-008", 202 "HYF-DATA-010" 203 ], 204 "introduces_tasks": [], 205 "commit_message": "spec: bind temporal and evidence semantics", 206 "expected_result": "Choose source/evaluation/ingestion time distinctions, date-only/window boundaries, absent-zone behavior, exact span offset convention and correction references; do not assume byte offsets already exist in the wire API. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 207 "verification_commands": [ 208 "git diff --check", 209 "pixi run test" 210 ], 211 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 212 "conditional_cargo_commands": [ 213 "cargo check --workspace --locked", 214 "cargo test --workspace --locked", 215 "cargo fmt --all -- --check", 216 "cargo clippy --workspace --all-targets --locked -- -D warnings" 217 ], 218 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 219 "dependencies": [ 220 "S005" 221 ] 222 }, 223 { 224 "id": "S007", 225 "title": "Bind typed outcome and reason taxonomy", 226 "phase": "A — discovery and durable contract adoption", 227 "purpose": "Prevent contradictory result/error states.", 228 "scope": "Define known/unresolved field alternatives, review state, business eligibility, execution degradation and stable reason-code mapping to existing error conventions; separate no-match from provider failure.", 229 "files": [ 230 "schemas/hyf_v1_jev/outcomes", 231 "src/hyf_core/errors.mojo design notes" 232 ], 233 "tests": "Validate success-with-uncertainty and failed-operation examples; reject contradictory status combinations at schema boundaries.", 234 "requirements": [ 235 "HYF-CORE-003", 236 "HYF-BUY-003", 237 "HYF-MATCH-001", 238 "HYF-JEV-008" 239 ], 240 "introduces_tasks": [], 241 "commit_message": "spec: bind typed outcome and reason taxonomy", 242 "expected_result": "Define known/unresolved field alternatives, review state, business eligibility, execution degradation and stable reason-code mapping to existing error conventions; separate no-match from provider failure. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 243 "verification_commands": [ 244 "git diff --check", 245 "pixi run test" 246 ], 247 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 248 "conditional_cargo_commands": [ 249 "cargo check --workspace --locked", 250 "cargo test --workspace --locked", 251 "cargo fmt --all -- --check", 252 "cargo clippy --workspace --all-targets --locked -- -D warnings" 253 ], 254 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 255 "dependencies": [ 256 "S006" 257 ] 258 }, 259 { 260 "id": "S008", 261 "title": "Register the acceptance corpus as planned", 262 "phase": "A — discovery and durable contract adoption", 263 "purpose": "Bring canonical cases into the repo without pretending behavior exists.", 264 "scope": "Install synthetic scenarios and raw payloads with requirement/provenance/activation metadata; map handoff projections to chosen types/contracts and record one source of truth. Mark future behavior planned, not passed.", 265 "files": [ 266 "tests/fixtures/hyf_v1_jev/", 267 "schemas/hyf_v1_jev/fixture", 268 "requirement registry" 269 ], 270 "tests": "Validate fixture syntax and nonempty expectations; prove planned cases are not counted in behavioral pass totals.", 271 "requirements": [ 272 "HYF-TEST-001", 273 "HYF-TEST-010", 274 "HYF-TEST-011" 275 ], 276 "introduces_tasks": [], 277 "commit_message": "spec: register the acceptance corpus as planned", 278 "expected_result": "Install synthetic scenarios and raw payloads with requirement/provenance/activation metadata; map handoff projections to chosen types/contracts and record one source of truth. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 279 "verification_commands": [ 280 "git diff --check", 281 "pixi run test" 282 ], 283 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 284 "conditional_cargo_commands": [ 285 "cargo check --workspace --locked", 286 "cargo test --workspace --locked", 287 "cargo fmt --all -- --check", 288 "cargo clippy --workspace --all-targets --locked -- -D warnings" 289 ], 290 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 291 "dependencies": [ 292 "S007" 293 ] 294 }, 295 { 296 "id": "S009", 297 "title": "Implement fixture structural validation", 298 "phase": "A — discovery and durable contract adoption", 299 "purpose": "Make malformed fixtures fail loudly.", 300 "scope": "Add repo-owned validation for duplicate IDs, dangling paths/requirements, unknown assertion operators, empty expectations, provenance and raw-payload declarations; keep intentional invalid wire bytes outside ordinary JSON parsing.", 301 "files": [ 302 "tests/fixture_loader.mojo", 303 "new fixture validator support", 304 "schemas/hyf_v1_jev/" 305 ], 306 "tests": "Negative tests corrupt each validator rule and must fail; valid corpus passes without provider or network.", 307 "requirements": [ 308 "HYF-TEST-003", 309 "HYF-TEST-001" 310 ], 311 "introduces_tasks": [], 312 "commit_message": "spec: implement fixture structural validation", 313 "expected_result": "Add repo-owned validation for duplicate IDs, dangling paths/requirements, unknown assertion operators, empty expectations, provenance and raw-payload declarations; keep intentional invalid wire bytes outside ordinary JSON parsing. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 314 "verification_commands": [ 315 "git diff --check", 316 "pixi run test" 317 ], 318 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 319 "conditional_cargo_commands": [ 320 "cargo check --workspace --locked", 321 "cargo test --workspace --locked", 322 "cargo fmt --all -- --check", 323 "cargo clippy --workspace --all-targets --locked -- -D warnings" 324 ], 325 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 326 "dependencies": [ 327 "S008" 328 ] 329 }, 330 { 331 "id": "S010", 332 "title": "Add requirement traceability validation", 333 "phase": "A — discovery and durable contract adoption", 334 "purpose": "Make acceptance coverage machine-checkable.", 335 "scope": "Link every approved requirement to verification methods, planned tests or named external gates and step IDs; fail dangling/uncovered mappings without requiring future behavior to pass before activation.", 336 "files": [ 337 "requirement registry", 338 "test traceability support", 339 "pixi.toml" 340 ], 341 "tests": "Test missing requirement, unknown fixture/step, duplicate references and valid external-gate mappings. Introduce test-spec task using available repo-approved tooling.", 342 "requirements": [ 343 "HYF-CORE-004", 344 "HYF-TEST-003", 345 "HYF-TEST-011", 346 "HYF-TEST-012" 347 ], 348 "introduces_tasks": [ 349 "test-spec" 350 ], 351 "commit_message": "spec: add requirement traceability validation", 352 "expected_result": "Link every approved requirement to verification methods, planned tests or named external gates and step IDs; fail dangling/uncovered mappings without requiring future behavior to pass before activation. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 353 "verification_commands": [ 354 "git diff --check", 355 "pixi run test", 356 "pixi run test-spec" 357 ], 358 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 359 "conditional_cargo_commands": [ 360 "cargo check --workspace --locked", 361 "cargo test --workspace --locked", 362 "cargo fmt --all -- --check", 363 "cargo clippy --workspace --all-targets --locked -- -D warnings" 364 ], 365 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 366 "dependencies": [ 367 "S009" 368 ] 369 }, 370 { 371 "id": "S011", 372 "title": "Test assertion projection semantics", 373 "phase": "A — discovery and durable contract adoption", 374 "purpose": "Avoid permissive or self-fulfilling golden comparisons.", 375 "scope": "Implement typed projection assertions for exact business values, forbidden extras, presence/absence and explicit tolerances; reject unknown operators. Do not reuse production matching logic as an oracle.", 376 "files": [ 377 "tests/fixture_assertions.mojo", 378 "new projection/assertion tests" 379 ], 380 "tests": "Prove incorrect extra claims, wrong ordering, missing revision, wrong numeric types and out-of-tolerance diagnostics fail.", 381 "requirements": [ 382 "HYF-TEST-008", 383 "HYF-TEST-010", 384 "HYF-DATA-009" 385 ], 386 "introduces_tasks": [], 387 "commit_message": "spec: test assertion projection semantics", 388 "expected_result": "Implement typed projection assertions for exact business values, forbidden extras, presence/absence and explicit tolerances; reject unknown operators. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 389 "verification_commands": [ 390 "git diff --check", 391 "pixi run test", 392 "pixi run test-spec" 393 ], 394 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 395 "conditional_cargo_commands": [ 396 "cargo check --workspace --locked", 397 "cargo test --workspace --locked", 398 "cargo fmt --all -- --check", 399 "cargo clippy --workspace --all-targets --locked -- -D warnings" 400 ], 401 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 402 "dependencies": [ 403 "S010" 404 ] 405 }, 406 { 407 "id": "S012", 408 "title": "Add a bounded repo-owned build check", 409 "phase": "A — discovery and durable contract adoption", 410 "purpose": "Compile the real entry point using the current toolchain.", 411 "scope": "Discover supported Mojo compile/check syntax and introduce a repository-owned build check for hyfd if absent; ensure it terminates without waiting indefinitely on stdin. Do not add Cargo or upgrade dependencies incidentally.", 412 "files": [ 413 "pixi.toml", 414 "build-check wrapper if needed", 415 "src/main.mojo" 416 ], 417 "tests": "Execute the build/check task on the declared local target; verify failures return nonzero and unsupported targets are reported truthfully.", 418 "requirements": [ 419 "HYF-CORE-001", 420 "HYF-REL-003", 421 "HYF-TEST-012" 422 ], 423 "introduces_tasks": [ 424 "check-build" 425 ], 426 "commit_message": "spec: add a bounded repo-owned build check", 427 "expected_result": "Discover supported Mojo compile/check syntax and introduce a repository-owned build check for hyfd if absent; ensure it terminates without waiting indefinitely on stdin. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 428 "verification_commands": [ 429 "git diff --check", 430 "pixi run test", 431 "pixi run test-spec", 432 "pixi run check-build" 433 ], 434 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 435 "conditional_cargo_commands": [ 436 "cargo check --workspace --locked", 437 "cargo test --workspace --locked", 438 "cargo fmt --all -- --check", 439 "cargo clippy --workspace --all-targets --locked -- -D warnings" 440 ], 441 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 442 "dependencies": [ 443 "S011" 444 ] 445 }, 446 { 447 "id": "S013", 448 "title": "Add format and static-check discovery", 449 "phase": "A — discovery and durable contract adoption", 450 "purpose": "Make code-health checks reproducible rather than assumed.", 451 "scope": "Bind available current formatting/static tools to check-only repo tasks; document unsupported categories explicitly and preserve existing conventions. Do not claim a lint exists when the toolchain lacks it.", 452 "files": [ 453 "pixi.toml", 454 "repository tooling docs", 455 "optional check wrapper" 456 ], 457 "tests": "Check a deliberate formatting violation in a temporary fixture where tool support exists; document applicable command outputs and no-source-change check behavior.", 458 "requirements": [ 459 "HYF-REL-003", 460 "HYF-CORE-006" 461 ], 462 "introduces_tasks": [], 463 "commit_message": "spec: add format and static-check discovery", 464 "expected_result": "Bind available current formatting/static tools to check-only repo tasks; document unsupported categories explicitly and preserve existing conventions. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 465 "verification_commands": [ 466 "git diff --check", 467 "pixi run test", 468 "pixi run test-spec", 469 "pixi run check-build" 470 ], 471 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 472 "conditional_cargo_commands": [ 473 "cargo check --workspace --locked", 474 "cargo test --workspace --locked", 475 "cargo fmt --all -- --check", 476 "cargo clippy --workspace --all-targets --locked -- -D warnings" 477 ], 478 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 479 "dependencies": [ 480 "S012" 481 ] 482 }, 483 { 484 "id": "S014", 485 "title": "Enforce architectural import boundaries", 486 "phase": "A — discovery and durable contract adoption", 487 "purpose": "Stop authority/provider concerns leaking into pure domain code.", 488 "scope": "Add a lightweight repo-owned boundary check for domain I/O/provider/credential imports and prohibited local workflow paths; encode allowed runtime/application dependency direction without a general architecture framework.", 489 "files": [ 490 "tools or tests architecture checker", 491 "pixi.toml", 492 "module boundary config" 493 ], 494 "tests": "Negative small source fixtures violate each rule and fail; current intended module graph passes or deviations are narrowly documented.", 495 "requirements": [ 496 "HYF-CORE-002", 497 "HYF-CORE-003", 498 "HYF-CORE-006" 499 ], 500 "introduces_tasks": [ 501 "test-architecture" 502 ], 503 "commit_message": "spec: enforce architectural import boundaries", 504 "expected_result": "Add a lightweight repo-owned boundary check for domain I/O/provider/credential imports and prohibited local workflow paths; encode allowed runtime/application dependency direction without a general architecture framework. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 505 "verification_commands": [ 506 "git diff --check", 507 "pixi run test", 508 "pixi run test-spec", 509 "pixi run test-architecture", 510 "pixi run check-build" 511 ], 512 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 513 "conditional_cargo_commands": [ 514 "cargo check --workspace --locked", 515 "cargo test --workspace --locked", 516 "cargo fmt --all -- --check", 517 "cargo clippy --workspace --all-targets --locked -- -D warnings" 518 ], 519 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 520 "dependencies": [ 521 "S013" 522 ] 523 }, 524 { 525 "id": "S015", 526 "title": "Establish per-step evidence reporting", 527 "phase": "A — discovery and durable contract adoption", 528 "purpose": "Make progress resumable and reviewable.", 529 "scope": "Add the adopted step ledger/report template and a check for valid step/result states; preserve original package evidence as historical. Merge AGENTS guidance narrowly and prohibit silent skip/reorder/broadening.", 530 "files": [ 531 "AGENTS.md", 532 "implementation/STATUS.md", 533 "implementation/DEVIATIONS.md", 534 "step ledger" 535 ], 536 "tests": "Validate report state transitions and links; review that no unrun source/model check is labeled passed.", 537 "requirements": [ 538 "HYF-REL-001", 539 "HYF-REL-002", 540 "HYF-CORE-004" 541 ], 542 "introduces_tasks": [], 543 "commit_message": "spec: establish per-step evidence reporting", 544 "expected_result": "Add the adopted step ledger/report template and a check for valid step/result states; preserve original package evidence as historical. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 545 "verification_commands": [ 546 "git diff --check", 547 "pixi run test", 548 "pixi run test-spec", 549 "pixi run test-architecture", 550 "pixi run check-build" 551 ], 552 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 553 "conditional_cargo_commands": [ 554 "cargo check --workspace --locked", 555 "cargo test --workspace --locked", 556 "cargo fmt --all -- --check", 557 "cargo clippy --workspace --all-targets --locked -- -D warnings" 558 ], 559 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 560 "dependencies": [ 561 "S014" 562 ] 563 }, 564 { 565 "id": "S016", 566 "title": "Add source identity and revision types", 567 "phase": "B — pure domain primitives", 568 "purpose": "Keep trust-bearing values distinct from model text.", 569 "scope": "Implement typed source/actor/farm/need/lot references and revision wrappers within existing Mojo idioms; require explicit construction and bounded validated external values.", 570 "files": [ 571 "src/hyf_core/domain/source.mojo (proposed)", 572 "domain test entry", 573 "pixi.toml" 574 ], 575 "tests": "Unit tests for valid/invalid/empty identities and revision preservation; introduce test-domain and wire it into default test.", 576 "requirements": [ 577 "HYF-DATA-001", 578 "HYF-DATA-009", 579 "HYF-CORE-003" 580 ], 581 "introduces_tasks": [ 582 "test-domain" 583 ], 584 "commit_message": "core: add source identity and revision types", 585 "expected_result": "Implement typed source/actor/farm/need/lot references and revision wrappers within existing Mojo idioms; require explicit construction and bounded validated external values. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 586 "verification_commands": [ 587 "git diff --check", 588 "pixi run test", 589 "pixi run test-spec", 590 "pixi run test-architecture", 591 "pixi run check-build", 592 "pixi run test-domain" 593 ], 594 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 595 "conditional_cargo_commands": [ 596 "cargo check --workspace --locked", 597 "cargo test --workspace --locked", 598 "cargo fmt --all -- --check", 599 "cargo clippy --workspace --all-targets --locked -- -D warnings" 600 ], 601 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 602 "dependencies": [ 603 "S015" 604 ] 605 }, 606 { 607 "id": "S017", 608 "title": "Add evidence reference types", 609 "phase": "B — pure domain primitives", 610 "purpose": "Anchor interpretations to exact supplied evidence.", 611 "scope": "Implement span and record-field references using the chosen contract, with source revision linkage and no arbitrary external dereference.", 612 "files": [ 613 "src/hyf_core/domain/evidence.mojo", 614 "domain evidence tests" 615 ], 616 "tests": "Validate Unicode boundaries, out-of-range/reversed spans, repeated text locations and mismatched revision rejection.", 617 "requirements": [ 618 "HYF-DATA-002", 619 "HYF-DATA-001" 620 ], 621 "introduces_tasks": [], 622 "commit_message": "core: add evidence reference types", 623 "expected_result": "Implement span and record-field references using the chosen contract, with source revision linkage and no arbitrary external dereference. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 624 "verification_commands": [ 625 "git diff --check", 626 "pixi run test", 627 "pixi run test-spec", 628 "pixi run test-architecture", 629 "pixi run check-build", 630 "pixi run test-domain" 631 ], 632 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 633 "conditional_cargo_commands": [ 634 "cargo check --workspace --locked", 635 "cargo test --workspace --locked", 636 "cargo fmt --all -- --check", 637 "cargo clippy --workspace --all-targets --locked -- -D warnings" 638 ], 639 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 640 "dependencies": [ 641 "S016" 642 ] 643 }, 644 { 645 "id": "S018", 646 "title": "Add known and unresolved field alternatives", 647 "phase": "B — pure domain primitives", 648 "purpose": "Preserve ambiguity without sentinel values.", 649 "scope": "Implement explicit typed value/unresolved alternatives plus extraction method and review metadata; reject contradictory construction rather than scattered boolean checks.", 650 "files": [ 651 "src/hyf_core/domain/field.mojo", 652 "field tests" 653 ], 654 "tests": "Test known zero versus unknown, absent versus false, approximation metadata and invalid known-plus-unresolved state.", 655 "requirements": [ 656 "HYF-CORE-003", 657 "HYF-BUY-003", 658 "HYF-DATA-003" 659 ], 660 "introduces_tasks": [], 661 "commit_message": "core: add known and unresolved field alternatives", 662 "expected_result": "Implement explicit typed value/unresolved alternatives plus extraction method and review metadata; reject contradictory construction rather than scattered boolean checks. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 663 "verification_commands": [ 664 "git diff --check", 665 "pixi run test", 666 "pixi run test-spec", 667 "pixi run test-architecture", 668 "pixi run check-build", 669 "pixi run test-domain" 670 ], 671 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 672 "conditional_cargo_commands": [ 673 "cargo check --workspace --locked", 674 "cargo test --workspace --locked", 675 "cargo fmt --all -- --check", 676 "cargo clippy --workspace --all-targets --locked -- -D warnings" 677 ], 678 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 679 "dependencies": [ 680 "S017" 681 ] 682 }, 683 { 684 "id": "S019", 685 "title": "Add bounded exact quantity arithmetic", 686 "phase": "B — pure domain primitives", 687 "purpose": "Make threshold decisions independent of binary float noise.", 688 "scope": "Implement the approved numeric representation and checked add/subtract/compare with explicit overflow and rounding behavior; do not broaden supported precision.", 689 "files": [ 690 "src/hyf_core/domain/quantity.mojo", 691 "quantity tests" 692 ], 693 "tests": "Independent boundary examples cover exact equality, overflow, invalid negatives and permitted explicit adjustment representation.", 694 "requirements": [ 695 "HYF-DATA-003", 696 "HYF-TEST-008" 697 ], 698 "introduces_tasks": [], 699 "commit_message": "core: add bounded exact quantity arithmetic", 700 "expected_result": "Implement the approved numeric representation and checked add/subtract/compare with explicit overflow and rounding behavior; do not broaden supported precision. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 701 "verification_commands": [ 702 "git diff --check", 703 "pixi run test", 704 "pixi run test-spec", 705 "pixi run test-architecture", 706 "pixi run check-build", 707 "pixi run test-domain" 708 ], 709 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 710 "conditional_cargo_commands": [ 711 "cargo check --workspace --locked", 712 "cargo test --workspace --locked", 713 "cargo fmt --all -- --check", 714 "cargo clippy --workspace --all-targets --locked -- -D warnings" 715 ], 716 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 717 "dependencies": [ 718 "S018" 719 ] 720 }, 721 { 722 "id": "S020", 723 "title": "Add unit dimensions and conversion rules", 724 "phase": "B — pure domain primitives", 725 "purpose": "Allow only justified comparable quantities.", 726 "scope": "Implement known unit dimensions and exact supported conversions using versioned supplied rules; reject dimension mismatch and unknown unit identifiers.", 727 "files": [ 728 "src/hyf_core/domain/units.mojo", 729 "unit conversion tests" 730 ], 731 "tests": "Mass equivalence and threshold tests; incompatible mass/count/volume conversion remains unresolved or invalid under contract.", 732 "requirements": [ 733 "HYF-DATA-004", 734 "HYF-DATA-003" 735 ], 736 "introduces_tasks": [], 737 "commit_message": "core: add unit dimensions and conversion rules", 738 "expected_result": "Implement known unit dimensions and exact supported conversions using versioned supplied rules; reject dimension mismatch and unknown unit identifiers. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 739 "verification_commands": [ 740 "git diff --check", 741 "pixi run test", 742 "pixi run test-spec", 743 "pixi run test-architecture", 744 "pixi run check-build", 745 "pixi run test-domain" 746 ], 747 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 748 "conditional_cargo_commands": [ 749 "cargo check --workspace --locked", 750 "cargo test --workspace --locked", 751 "cargo fmt --all -- --check", 752 "cargo clippy --workspace --all-targets --locked -- -D warnings" 753 ], 754 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 755 "dependencies": [ 756 "S019" 757 ] 758 }, 759 { 760 "id": "S021", 761 "title": "Add trusted pack conversion support", 762 "phase": "B — pure domain primitives", 763 "purpose": "Avoid fabricating box and bunch weights.", 764 "scope": "Apply explicitly supplied versioned product-pack conversions only to matching products/packs; preserve unknown conversions and provenance.", 765 "files": [ 766 "src/hyf_core/domain/pack.mojo", 767 "pack tests" 768 ], 769 "tests": "Known pack conversion passes; absent, wrong-product, conflicting and stale conversion references do not produce invented mass.", 770 "requirements": [ 771 "HYF-DATA-004", 772 "HYF-DATA-009" 773 ], 774 "introduces_tasks": [], 775 "commit_message": "core: add trusted pack conversion support", 776 "expected_result": "Apply explicitly supplied versioned product-pack conversions only to matching products/packs; preserve unknown conversions and provenance. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 777 "verification_commands": [ 778 "git diff --check", 779 "pixi run test", 780 "pixi run test-spec", 781 "pixi run test-architecture", 782 "pixi run check-build", 783 "pixi run test-domain" 784 ], 785 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 786 "conditional_cargo_commands": [ 787 "cargo check --workspace --locked", 788 "cargo test --workspace --locked", 789 "cargo fmt --all -- --check", 790 "cargo clippy --workspace --all-targets --locked -- -D warnings" 791 ], 792 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 793 "dependencies": [ 794 "S020" 795 ] 796 }, 797 { 798 "id": "S022", 799 "title": "Preserve approximation through normalization", 800 "phase": "B — pure domain primitives", 801 "purpose": "Do not create precision that the source never provided.", 802 "scope": "Carry approximation qualifier and original expression through exact unit conversion; prohibit synthesized uncertainty intervals.", 803 "files": [ 804 "src/hyf_core/domain/quantity.mojo", 805 "normalization tests" 806 ], 807 "tests": "About-80-lb stays approximate after conversion; no lower/upper bounds appear unless supplied by source; exact value remains exact.", 808 "requirements": [ 809 "HYF-DATA-005", 810 "HYF-FARM-004" 811 ], 812 "introduces_tasks": [], 813 "commit_message": "core: preserve approximation through normalization", 814 "expected_result": "Carry approximation qualifier and original expression through exact unit conversion; prohibit synthesized uncertainty intervals. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 815 "verification_commands": [ 816 "git diff --check", 817 "pixi run test", 818 "pixi run test-spec", 819 "pixi run test-architecture", 820 "pixi run check-build", 821 "pixi run test-domain" 822 ], 823 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 824 "conditional_cargo_commands": [ 825 "cargo check --workspace --locked", 826 "cargo test --workspace --locked", 827 "cargo fmt --all -- --check", 828 "cargo clippy --workspace --all-targets --locked -- -D warnings" 829 ], 830 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 831 "dependencies": [ 832 "S021" 833 ] 834 }, 835 { 836 "id": "S023", 837 "title": "Add price and currency types", 838 "phase": "B — pure domain primitives", 839 "purpose": "Keep financial conditions semantically separate.", 840 "scope": "Implement exact price amount, currency, unit/pack basis and declared fee/minimum-order context; represent not-stated independently. No FX service is introduced.", 841 "files": [ 842 "src/hyf_core/domain/price.mojo", 843 "price tests" 844 ], 845 "tests": "Unknown price differs from zero, currencies/bases cannot be silently mixed and unsupported conversions remain unresolved.", 846 "requirements": [ 847 "HYF-DATA-006", 848 "HYF-DATA-003" 849 ], 850 "introduces_tasks": [], 851 "commit_message": "core: add price and currency types", 852 "expected_result": "Implement exact price amount, currency, unit/pack basis and declared fee/minimum-order context; represent not-stated independently. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 853 "verification_commands": [ 854 "git diff --check", 855 "pixi run test", 856 "pixi run test-spec", 857 "pixi run test-architecture", 858 "pixi run check-build", 859 "pixi run test-domain" 860 ], 861 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 862 "conditional_cargo_commands": [ 863 "cargo check --workspace --locked", 864 "cargo test --workspace --locked", 865 "cargo fmt --all -- --check", 866 "cargo clippy --workspace --all-targets --locked -- -D warnings" 867 ], 868 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 869 "dependencies": [ 870 "S022" 871 ] 872 }, 873 { 874 "id": "S024", 875 "title": "Add source and evaluation time types", 876 "phase": "B — pure domain primitives", 877 "purpose": "Separate business time from execution timing.", 878 "scope": "Implement typed source/ingestion/evaluation timestamps, date-only values and known/unknown timezone context per the bound contract.", 879 "files": [ 880 "src/hyf_core/domain/time.mojo", 881 "time tests" 882 ], 883 "tests": "Test explicit zone, absent zone, date-only roundtrip, invalid timestamps and separate evaluation time on replay.", 884 "requirements": [ 885 "HYF-DATA-007", 886 "HYF-DATA-008" 887 ], 888 "introduces_tasks": [], 889 "commit_message": "core: add source and evaluation time types", 890 "expected_result": "Implement typed source/ingestion/evaluation timestamps, date-only values and known/unknown timezone context per the bound contract. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 891 "verification_commands": [ 892 "git diff --check", 893 "pixi run test", 894 "pixi run test-spec", 895 "pixi run test-architecture", 896 "pixi run check-build", 897 "pixi run test-domain" 898 ], 899 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 900 "conditional_cargo_commands": [ 901 "cargo check --workspace --locked", 902 "cargo test --workspace --locked", 903 "cargo fmt --all -- --check", 904 "cargo clippy --workspace --all-targets --locked -- -D warnings" 905 ], 906 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 907 "dependencies": [ 908 "S023" 909 ] 910 }, 911 { 912 "id": "S025", 913 "title": "Implement source-anchored date resolution", 914 "phase": "B — pure domain primitives", 915 "purpose": "Make relative dates stable on replay.", 916 "scope": "Resolve supported relative expressions using source time/zone and versioned locale rules; return unresolved for unsupported/ambiguous input rather than guessing.", 917 "files": [ 918 "src/hyf_core/normalization/dates.mojo", 919 "relative-date tests" 920 ], 921 "tests": "Replay the same source at later evaluation time; intended supported Friday resolution stays fixed; missing context remains unresolved.", 922 "requirements": [ 923 "HYF-DATA-007", 924 "HYF-TEST-007" 925 ], 926 "introduces_tasks": [], 927 "commit_message": "core: implement source-anchored date resolution", 928 "expected_result": "Resolve supported relative expressions using source time/zone and versioned locale rules; return unresolved for unsupported/ambiguous input rather than guessing. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 929 "verification_commands": [ 930 "git diff --check", 931 "pixi run test", 932 "pixi run test-spec", 933 "pixi run test-architecture", 934 "pixi run check-build", 935 "pixi run test-domain" 936 ], 937 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 938 "conditional_cargo_commands": [ 939 "cargo check --workspace --locked", 940 "cargo test --workspace --locked", 941 "cargo fmt --all -- --check", 942 "cargo clippy --workspace --all-targets --locked -- -D warnings" 943 ], 944 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 945 "dependencies": [ 946 "S024" 947 ] 948 }, 949 { 950 "id": "S026", 951 "title": "Handle local-time ambiguity and window boundaries", 952 "phase": "B — pure domain primitives", 953 "purpose": "Avoid daylight-saving and date-boundary errors.", 954 "scope": "Implement selected ambiguous/nonexistent local-time policy and interval/date-only comparisons without model arithmetic; preserve unresolved cases.", 955 "files": [ 956 "src/hyf_core/normalization/dates.mojo", 957 "temporal boundary tests" 958 ], 959 "tests": "Test daylight-saving repeated/missing times, inclusive/exclusive window edges and timezone-rule version effects.", 960 "requirements": [ 961 "HYF-DATA-007", 962 "HYF-DATA-009" 963 ], 964 "introduces_tasks": [], 965 "commit_message": "core: handle local-time ambiguity and window boundaries", 966 "expected_result": "Implement selected ambiguous/nonexistent local-time policy and interval/date-only comparisons without model arithmetic; preserve unresolved cases. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 967 "verification_commands": [ 968 "git diff --check", 969 "pixi run test", 970 "pixi run test-spec", 971 "pixi run test-architecture", 972 "pixi run check-build", 973 "pixi run test-domain" 974 ], 975 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 976 "conditional_cargo_commands": [ 977 "cargo check --workspace --locked", 978 "cargo test --workspace --locked", 979 "cargo fmt --all -- --check", 980 "cargo clippy --workspace --all-targets --locked -- -D warnings" 981 ], 982 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 983 "dependencies": [ 984 "S025" 985 ] 986 }, 987 { 988 "id": "S027", 989 "title": "Separate harvest age from record recency", 990 "phase": "B — pure domain primitives", 991 "purpose": "Prevent a recently edited listing from appearing freshly harvested.", 992 "scope": "Represent harvest, verification and record-update times separately and expose only justified freshness attributes.", 993 "files": [ 994 "src/hyf_core/domain/supply.mojo (proposed)", 995 "freshness tests" 996 ], 997 "tests": "Recent record with old/unknown harvest does not inherit fresh-harvest status; stale verification remains visible.", 998 "requirements": [ 999 "HYF-DATA-008", 1000 "HYF-MATCH-003" 1001 ], 1002 "introduces_tasks": [], 1003 "commit_message": "core: separate harvest age from record recency", 1004 "expected_result": "Represent harvest, verification and record-update times separately and expose only justified freshness attributes. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1005 "verification_commands": [ 1006 "git diff --check", 1007 "pixi run test", 1008 "pixi run test-spec", 1009 "pixi run test-architecture", 1010 "pixi run check-build", 1011 "pixi run test-domain" 1012 ], 1013 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1014 "conditional_cargo_commands": [ 1015 "cargo check --workspace --locked", 1016 "cargo test --workspace --locked", 1017 "cargo fmt --all -- --check", 1018 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1019 ], 1020 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1021 "dependencies": [ 1022 "S026" 1023 ] 1024 }, 1025 { 1026 "id": "S028", 1027 "title": "Add product references and taxonomy views", 1028 "phase": "B — pure domain primitives", 1029 "purpose": "Bind terms to authorized catalogue evidence.", 1030 "scope": "Implement resolved/unresolved product references and immutable bounded taxonomy view input; no marketplace search or hidden catalogue database.", 1031 "files": [ 1032 "src/hyf_core/domain/product.mojo", 1033 "product tests" 1034 ], 1035 "tests": "Unknown aliases remain unresolved; exact catalogue ID/version preserved; cross-product pack rules do not apply.", 1036 "requirements": [ 1037 "HYF-FARM-008", 1038 "HYF-DATA-009" 1039 ], 1040 "introduces_tasks": [], 1041 "commit_message": "core: add product references and taxonomy views", 1042 "expected_result": "Implement resolved/unresolved product references and immutable bounded taxonomy view input; no marketplace search or hidden catalogue database. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1043 "verification_commands": [ 1044 "git diff --check", 1045 "pixi run test", 1046 "pixi run test-spec", 1047 "pixi run test-architecture", 1048 "pixi run check-build", 1049 "pixi run test-domain" 1050 ], 1051 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1052 "conditional_cargo_commands": [ 1053 "cargo check --workspace --locked", 1054 "cargo test --workspace --locked", 1055 "cargo fmt --all -- --check", 1056 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1057 ], 1058 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1059 "dependencies": [ 1060 "S027" 1061 ] 1062 }, 1063 { 1064 "id": "S029", 1065 "title": "Add supply claim types", 1066 "phase": "B — pure domain primitives", 1067 "purpose": "Represent per-product statements without mutating inventory.", 1068 "scope": "Implement status, reported attributes, evidence and unresolved fields for offers/forecasts/unavailability/corrections; avoid authoritative-stock constructors from raw claims.", 1069 "files": [ 1070 "src/hyf_core/domain/claims.mojo", 1071 "claim tests" 1072 ], 1073 "tests": "Multi-product claim sets and forecast/offer distinction; attempts to treat claim quantity as confirmed available stock fail type/policy checks.", 1074 "requirements": [ 1075 "HYF-FARM-001", 1076 "HYF-FARM-002", 1077 "HYF-FARM-004" 1078 ], 1079 "introduces_tasks": [], 1080 "commit_message": "core: add supply claim types", 1081 "expected_result": "Implement status, reported attributes, evidence and unresolved fields for offers/forecasts/unavailability/corrections; avoid authoritative-stock constructors from raw claims. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1082 "verification_commands": [ 1083 "git diff --check", 1084 "pixi run test", 1085 "pixi run test-spec", 1086 "pixi run test-architecture", 1087 "pixi run check-build", 1088 "pixi run test-domain" 1089 ], 1090 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1091 "conditional_cargo_commands": [ 1092 "cargo check --workspace --locked", 1093 "cargo test --workspace --locked", 1094 "cargo fmt --all -- --check", 1095 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1096 ], 1097 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1098 "dependencies": [ 1099 "S028" 1100 ] 1101 }, 1102 { 1103 "id": "S030", 1104 "title": "Add proposed supply change types", 1105 "phase": "B — pure domain primitives", 1106 "purpose": "Distinguish update operations and target scope.", 1107 "scope": "Represent addition, remaining balance, replacement, withdrawal, correction and unresolved operation with source and expected target revision where available.", 1108 "files": [ 1109 "src/hyf_core/domain/changes.mojo", 1110 "change tests" 1111 ], 1112 "tests": "Three twenty-box operations differ; ambiguous target has no applicable mutation; correction references are required by contract.", 1113 "requirements": [ 1114 "HYF-FARM-003", 1115 "HYF-FARM-007", 1116 "HYF-DATA-010" 1117 ], 1118 "introduces_tasks": [], 1119 "commit_message": "core: add proposed supply change types", 1120 "expected_result": "Represent addition, remaining balance, replacement, withdrawal, correction and unresolved operation with source and expected target revision where available. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1121 "verification_commands": [ 1122 "git diff --check", 1123 "pixi run test", 1124 "pixi run test-spec", 1125 "pixi run test-architecture", 1126 "pixi run check-build", 1127 "pixi run test-domain" 1128 ], 1129 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1130 "conditional_cargo_commands": [ 1131 "cargo check --workspace --locked", 1132 "cargo test --workspace --locked", 1133 "cargo fmt --all -- --check", 1134 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1135 ], 1136 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1137 "dependencies": [ 1138 "S029" 1139 ] 1140 }, 1141 { 1142 "id": "S031", 1143 "title": "Add clarification and review models", 1144 "phase": "B — pure domain primitives", 1145 "purpose": "Make follow-up questions explicit and actionable.", 1146 "scope": "Implement material blocker/clarification target and review state tied to source field/proposed change; leave persistence and UI layout outside core.", 1147 "files": [ 1148 "src/hyf_core/domain/review.mojo", 1149 "review tests" 1150 ], 1151 "tests": "Optional missing price is nonblocking for a draft; ambiguous withdrawal is blocking for application; unrelated clarification is rejected.", 1152 "requirements": [ 1153 "HYF-FARM-005", 1154 "HYF-BUY-005" 1155 ], 1156 "introduces_tasks": [], 1157 "commit_message": "core: add clarification and review models", 1158 "expected_result": "Implement material blocker/clarification target and review state tied to source field/proposed change; leave persistence and UI layout outside core. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1159 "verification_commands": [ 1160 "git diff --check", 1161 "pixi run test", 1162 "pixi run test-spec", 1163 "pixi run test-architecture", 1164 "pixi run check-build", 1165 "pixi run test-domain" 1166 ], 1167 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1168 "conditional_cargo_commands": [ 1169 "cargo check --workspace --locked", 1170 "cargo test --workspace --locked", 1171 "cargo fmt --all -- --check", 1172 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1173 ], 1174 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1175 "dependencies": [ 1176 "S030" 1177 ] 1178 }, 1179 { 1180 "id": "S032", 1181 "title": "Add revisioned clarification merge rules", 1182 "phase": "B — pure domain primitives", 1183 "purpose": "Preserve source history and conflict visibility.", 1184 "scope": "Combine supplied clarification evidence into a new interpretation view without modifying original source; detect stale/conflicting links deterministically.", 1185 "files": [ 1186 "src/hyf_core/domain/review.mojo", 1187 "clarification merge tests" 1188 ], 1189 "tests": "Original text unchanged; valid linked answer resolves its field only; conflicting/stale answers return review state.", 1190 "requirements": [ 1191 "HYF-FARM-006", 1192 "HYF-DATA-010" 1193 ], 1194 "introduces_tasks": [], 1195 "commit_message": "core: add revisioned clarification merge rules", 1196 "expected_result": "Combine supplied clarification evidence into a new interpretation view without modifying original source; detect stale/conflicting links deterministically. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1197 "verification_commands": [ 1198 "git diff --check", 1199 "pixi run test", 1200 "pixi run test-spec", 1201 "pixi run test-architecture", 1202 "pixi run check-build", 1203 "pixi run test-domain" 1204 ], 1205 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1206 "conditional_cargo_commands": [ 1207 "cargo check --workspace --locked", 1208 "cargo test --workspace --locked", 1209 "cargo fmt --all -- --check", 1210 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1211 ], 1212 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1213 "dependencies": [ 1214 "S031" 1215 ] 1216 }, 1217 { 1218 "id": "S033", 1219 "title": "Add demand line and constraint types", 1220 "phase": "B — pure domain primitives", 1221 "purpose": "Represent buyer intent without losing strength or exclusions.", 1222 "scope": "Implement typed need/line references, quantities, required/preferred/excluded/permitted conditions and source applicability; no generated order type.", 1223 "files": [ 1224 "src/hyf_core/domain/demand.mojo", 1225 "demand model tests" 1226 ], 1227 "tests": "Multiple lines retain independent quantities; optional preferences are not mandatory; contradictory condition sets are representable as unresolved.", 1228 "requirements": [ 1229 "HYF-BUY-001", 1230 "HYF-BUY-002", 1231 "HYF-BUY-003" 1232 ], 1233 "introduces_tasks": [], 1234 "commit_message": "core: add demand line and constraint types", 1235 "expected_result": "Implement typed need/line references, quantities, required/preferred/excluded/permitted conditions and source applicability; no generated order type. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1236 "verification_commands": [ 1237 "git diff --check", 1238 "pixi run test", 1239 "pixi run test-spec", 1240 "pixi run test-architecture", 1241 "pixi run check-build", 1242 "pixi run test-domain" 1243 ], 1244 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1245 "conditional_cargo_commands": [ 1246 "cargo check --workspace --locked", 1247 "cargo test --workspace --locked", 1248 "cargo fmt --all -- --check", 1249 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1250 ], 1251 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1252 "dependencies": [ 1253 "S032" 1254 ] 1255 }, 1256 { 1257 "id": "S034", 1258 "title": "Add authoritative supply snapshot views", 1259 "phase": "B — pure domain primitives", 1260 "purpose": "Provide enough immutable context for feasibility.", 1261 "scope": "Implement supplier/lot/product/revision, known unreserved quantity, fulfillment, times, price and verification attributes as authority-supplied read models.", 1262 "files": [ 1263 "src/hyf_core/domain/supply.mojo", 1264 "supply snapshot tests" 1265 ], 1266 "tests": "Missing quantity stays unknown; duplicate identity/conflicting revision detected; source claims cannot silently construct verified snapshots.", 1267 "requirements": [ 1268 "HYF-MATCH-003", 1269 "HYF-DATA-009", 1270 "HYF-DATA-010" 1271 ], 1272 "introduces_tasks": [], 1273 "commit_message": "core: add authoritative supply snapshot views", 1274 "expected_result": "Implement supplier/lot/product/revision, known unreserved quantity, fulfillment, times, price and verification attributes as authority-supplied read models. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1275 "verification_commands": [ 1276 "git diff --check", 1277 "pixi run test", 1278 "pixi run test-spec", 1279 "pixi run test-architecture", 1280 "pixi run check-build", 1281 "pixi run test-domain" 1282 ], 1283 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1284 "conditional_cargo_commands": [ 1285 "cargo check --workspace --locked", 1286 "cargo test --workspace --locked", 1287 "cargo fmt --all -- --check", 1288 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1289 ], 1290 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1291 "dependencies": [ 1292 "S033" 1293 ] 1294 }, 1295 { 1296 "id": "S035", 1297 "title": "Add eligibility outcome types", 1298 "phase": "B — pure domain primitives", 1299 "purpose": "Encode mandatory precedence in a small pure constructor.", 1300 "scope": "Implement pass/fail/unknown checks and eligible/conditional/ineligible result composition over applicable mandatory conditions.", 1301 "files": [ 1302 "src/hyf_core/matching/eligibility.mojo", 1303 "eligibility tests" 1304 ], 1305 "tests": "Truth-table tests: fail dominates unknown; unknown dominates all-pass; optional omissions do not block; contradictory states rejected.", 1306 "requirements": [ 1307 "HYF-MATCH-001", 1308 "HYF-MATCH-002" 1309 ], 1310 "introduces_tasks": [], 1311 "commit_message": "core: add eligibility outcome types", 1312 "expected_result": "Implement pass/fail/unknown checks and eligible/conditional/ineligible result composition over applicable mandatory conditions. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1313 "verification_commands": [ 1314 "git diff --check", 1315 "pixi run test", 1316 "pixi run test-spec", 1317 "pixi run test-architecture", 1318 "pixi run check-build", 1319 "pixi run test-domain" 1320 ], 1321 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1322 "conditional_cargo_commands": [ 1323 "cargo check --workspace --locked", 1324 "cargo test --workspace --locked", 1325 "cargo fmt --all -- --check", 1326 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1327 ], 1328 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1329 "dependencies": [ 1330 "S034" 1331 ] 1332 }, 1333 { 1334 "id": "S036", 1335 "title": "Add allocation and plan types", 1336 "phase": "B — pure domain primitives", 1337 "purpose": "Represent fulfillment explicitly instead of ranked IDs.", 1338 "scope": "Implement demand-line allocations, underlying lot identity/revision, single-supplier plan, coverage and alternative-plan semantics without selecting plans yet.", 1339 "files": [ 1340 "src/hyf_core/matching/plan.mojo", 1341 "plan type tests" 1342 ], 1343 "tests": "Invalid quantities/references fail; alternative plans do not imply aggregate simultaneous reservation; unsupported mode represented.", 1344 "requirements": [ 1345 "HYF-MATCH-004", 1346 "HYF-MATCH-005", 1347 "HYF-MATCH-007" 1348 ], 1349 "introduces_tasks": [], 1350 "commit_message": "core: add allocation and plan types", 1351 "expected_result": "Implement demand-line allocations, underlying lot identity/revision, single-supplier plan, coverage and alternative-plan semantics without selecting plans yet. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1352 "verification_commands": [ 1353 "git diff --check", 1354 "pixi run test", 1355 "pixi run test-spec", 1356 "pixi run test-architecture", 1357 "pixi run check-build", 1358 "pixi run test-domain" 1359 ], 1360 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1361 "conditional_cargo_commands": [ 1362 "cargo check --workspace --locked", 1363 "cargo test --workspace --locked", 1364 "cargo fmt --all -- --check", 1365 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1366 ], 1367 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1368 "dependencies": [ 1369 "S035" 1370 ] 1371 }, 1372 { 1373 "id": "S037", 1374 "title": "Add coverage and limitation types", 1375 "phase": "B — pure domain primitives", 1376 "purpose": "Avoid claims about records never examined.", 1377 "scope": "Represent authorized input scope, truncation, evaluated counts and planner-mode limitations independently of no-match status.", 1378 "files": [ 1379 "src/hyf_core/matching/coverage.mojo", 1380 "coverage tests" 1381 ], 1382 "tests": "Empty input, truncated input and unsupported planner mode yield distinguishable limitations without global-unavailability claims.", 1383 "requirements": [ 1384 "HYF-MATCH-010", 1385 "HYF-MATCH-003" 1386 ], 1387 "introduces_tasks": [], 1388 "commit_message": "core: add coverage and limitation types", 1389 "expected_result": "Represent authorized input scope, truncation, evaluated counts and planner-mode limitations independently of no-match status. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1390 "verification_commands": [ 1391 "git diff --check", 1392 "pixi run test", 1393 "pixi run test-spec", 1394 "pixi run test-architecture", 1395 "pixi run check-build", 1396 "pixi run test-domain" 1397 ], 1398 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1399 "conditional_cargo_commands": [ 1400 "cargo check --workspace --locked", 1401 "cargo test --workspace --locked", 1402 "cargo fmt --all -- --check", 1403 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1404 ], 1405 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1406 "dependencies": [ 1407 "S036" 1408 ] 1409 }, 1410 { 1411 "id": "S038", 1412 "title": "Add execution and provenance types", 1413 "phase": "B — pure domain primitives", 1414 "purpose": "Keep operational success separate from business conclusions.", 1415 "scope": "Implement actual semantic version references, execution outcome/degradation and safe diagnostics; preserve existing envelope metadata compatibility.", 1416 "files": [ 1417 "src/hyf_core/metadata.mojo", 1418 "src/hyf_core/provenance.mojo", 1419 "execution metadata tests" 1420 ], 1421 "tests": "No-match can be completed; timeout cannot be reported as business unavailability; requested versus actual model/version distinguished.", 1422 "requirements": [ 1423 "HYF-DATA-009", 1424 "HYF-JEV-008", 1425 "HYF-RUN-008" 1426 ], 1427 "introduces_tasks": [], 1428 "commit_message": "core: add execution and provenance types", 1429 "expected_result": "Implement actual semantic version references, execution outcome/degradation and safe diagnostics; preserve existing envelope metadata compatibility. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1430 "verification_commands": [ 1431 "git diff --check", 1432 "pixi run test", 1433 "pixi run test-spec", 1434 "pixi run test-architecture", 1435 "pixi run check-build", 1436 "pixi run test-domain" 1437 ], 1438 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1439 "conditional_cargo_commands": [ 1440 "cargo check --workspace --locked", 1441 "cargo test --workspace --locked", 1442 "cargo fmt --all -- --check", 1443 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1444 ], 1445 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1446 "dependencies": [ 1447 "S037" 1448 ] 1449 }, 1450 { 1451 "id": "S039", 1452 "title": "Define the narrow semantic evaluator boundary", 1453 "phase": "C — evaluator contracts and pure provider handling", 1454 "purpose": "Allow provider replacement without changing domain APIs.", 1455 "scope": "Add typed internal question/answer requests for bounded semantic tasks and a result/error boundary; avoid public Jev types and a generic plugin framework.", 1456 "files": [ 1457 "src/hyf_application/ports.mojo (proposed)", 1458 "src/hyf_assist/contract.mojo", 1459 "port tests" 1460 ], 1461 "tests": "Compile-time/contract tests prohibit inventory authority in evaluator; unsupported task returns typed failure.", 1462 "requirements": [ 1463 "HYF-CORE-003", 1464 "HYF-JEV-001", 1465 "HYF-JEV-002" 1466 ], 1467 "introduces_tasks": [], 1468 "commit_message": "provider: define the narrow semantic evaluator boundary", 1469 "expected_result": "Add typed internal question/answer requests for bounded semantic tasks and a result/error boundary; avoid public Jev types and a generic plugin framework. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1470 "verification_commands": [ 1471 "git diff --check", 1472 "pixi run test", 1473 "pixi run test-spec", 1474 "pixi run test-architecture", 1475 "pixi run check-build", 1476 "pixi run test-domain" 1477 ], 1478 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1479 "conditional_cargo_commands": [ 1480 "cargo check --workspace --locked", 1481 "cargo test --workspace --locked", 1482 "cargo fmt --all -- --check", 1483 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1484 ], 1485 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1486 "dependencies": [ 1487 "S038" 1488 ] 1489 }, 1490 { 1491 "id": "S040", 1492 "title": "Add deterministic wall and monotonic clock ports", 1493 "phase": "C — evaluator contracts and pure provider handling", 1494 "purpose": "Control temporal behavior without global mocking.", 1495 "scope": "Expose minimal clock interfaces at the runtime/application boundary with production and test implementations; core still receives explicit time values.", 1496 "files": [ 1497 "src/hyf_application/clock.mojo", 1498 "tests/support/clock.mojo" 1499 ], 1500 "tests": "Virtual wall changes do not alter monotonic budgets; source-time interpretation stays independent of current clock.", 1501 "requirements": [ 1502 "HYF-RUN-004", 1503 "HYF-TEST-007" 1504 ], 1505 "introduces_tasks": [], 1506 "commit_message": "provider: add deterministic wall and monotonic clock ports", 1507 "expected_result": "Expose minimal clock interfaces at the runtime/application boundary with production and test implementations; core still receives explicit time values. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1508 "verification_commands": [ 1509 "git diff --check", 1510 "pixi run test", 1511 "pixi run test-spec", 1512 "pixi run test-architecture", 1513 "pixi run check-build", 1514 "pixi run test-domain" 1515 ], 1516 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1517 "conditional_cargo_commands": [ 1518 "cargo check --workspace --locked", 1519 "cargo test --workspace --locked", 1520 "cargo fmt --all -- --check", 1521 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1522 ], 1523 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1524 "dependencies": [ 1525 "S039" 1526 ] 1527 }, 1528 { 1529 "id": "S041", 1530 "title": "Implement strict scripted evaluator", 1531 "phase": "C — evaluator contracts and pure provider handling", 1532 "purpose": "Test real orchestration with controlled semantic answers.", 1533 "scope": "Add test-only scripted evaluator keyed by expected typed input, explicit answer/failure and call count; unmatched/unconsumed calls fail with bounded diagnostics.", 1534 "files": [ 1535 "tests/support/scripted_evaluator.mojo", 1536 "evaluator harness tests" 1537 ], 1538 "tests": "Wrong request, extra call and missing call fail; no path to a live provider exists; seeded responses are reproducible.", 1539 "requirements": [ 1540 "HYF-TEST-006", 1541 "HYF-TEST-005" 1542 ], 1543 "introduces_tasks": [], 1544 "commit_message": "provider: implement strict scripted evaluator", 1545 "expected_result": "Add test-only scripted evaluator keyed by expected typed input, explicit answer/failure and call count; unmatched/unconsumed calls fail with bounded diagnostics. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1546 "verification_commands": [ 1547 "git diff --check", 1548 "pixi run test", 1549 "pixi run test-spec", 1550 "pixi run test-architecture", 1551 "pixi run check-build", 1552 "pixi run test-domain" 1553 ], 1554 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1555 "conditional_cargo_commands": [ 1556 "cargo check --workspace --locked", 1557 "cargo test --workspace --locked", 1558 "cargo fmt --all -- --check", 1559 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1560 ], 1561 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1562 "dependencies": [ 1563 "S040" 1564 ] 1565 }, 1566 { 1567 "id": "S042", 1568 "title": "Add source-span candidate discovery", 1569 "phase": "C — evaluator contracts and pure provider handling", 1570 "purpose": "Make extraction candidates an explicit tested stage.", 1571 "scope": "Discover supported product/quantity/date spans with bounded context and stable source associations; use supplied taxonomy; preserve unresolved terms and truncation.", 1572 "files": [ 1573 "src/hyf_core/interpretation/candidates.mojo", 1574 "candidate tests" 1575 ], 1576 "tests": "Repeated numbers, multi-crop text, negation context, unknown words and maximum spans are covered; source offsets remain correct.", 1577 "requirements": [ 1578 "HYF-FARM-008", 1579 "HYF-JEV-002", 1580 "HYF-DATA-002" 1581 ], 1582 "introduces_tasks": [], 1583 "commit_message": "provider: add source-span candidate discovery", 1584 "expected_result": "Discover supported product/quantity/date spans with bounded context and stable source associations; use supplied taxonomy; preserve unresolved terms and truncation. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1585 "verification_commands": [ 1586 "git diff --check", 1587 "pixi run test", 1588 "pixi run test-spec", 1589 "pixi run test-architecture", 1590 "pixi run check-build", 1591 "pixi run test-domain" 1592 ], 1593 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1594 "conditional_cargo_commands": [ 1595 "cargo check --workspace --locked", 1596 "cargo test --workspace --locked", 1597 "cargo fmt --all -- --check", 1598 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1599 ], 1600 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1601 "dependencies": [ 1602 "S041" 1603 ] 1604 }, 1605 { 1606 "id": "S043", 1607 "title": "Add versioned semantic question bundles", 1608 "phase": "C — evaluator contracts and pure provider handling", 1609 "purpose": "Control model instructions as reviewed configuration.", 1610 "scope": "Define bounded status, update-role, constraint-strength and evidence-sufficiency question templates with explicit scope and unknown options; no production thresholds invented.", 1611 "files": [ 1612 "src/hyf_application/questions/", 1613 "bundle tests and manifest" 1614 ], 1615 "tests": "Golden request semantics retain explicit product/field references; question IDs alone never carry meaning; bundle version changes are detected.", 1616 "requirements": [ 1617 "HYF-JEV-002", 1618 "HYF-JEV-006", 1619 "HYF-BUY-002" 1620 ], 1621 "introduces_tasks": [], 1622 "commit_message": "provider: add versioned semantic question bundles", 1623 "expected_result": "Define bounded status, update-role, constraint-strength and evidence-sufficiency question templates with explicit scope and unknown options; no production thresholds invented. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1624 "verification_commands": [ 1625 "git diff --check", 1626 "pixi run test", 1627 "pixi run test-spec", 1628 "pixi run test-architecture", 1629 "pixi run check-build", 1630 "pixi run test-domain" 1631 ], 1632 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1633 "conditional_cargo_commands": [ 1634 "cargo check --workspace --locked", 1635 "cargo test --workspace --locked", 1636 "cargo fmt --all -- --check", 1637 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1638 ], 1639 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1640 "dependencies": [ 1641 "S042" 1642 ] 1643 }, 1644 { 1645 "id": "S044", 1646 "title": "Implement Jev request serialization", 1647 "phase": "C — evaluator contracts and pure provider handling", 1648 "purpose": "Build the real evaluation protocol independently of chat completions.", 1649 "scope": "Serialize model/state/questions using tested JSON facilities; enforce supported types/criteria shapes and configured bounds before I/O.", 1650 "files": [ 1651 "src/hyf_provider/jev/request.mojo (proposed)", 1652 "provider request fixtures", 1653 "pixi.toml" 1654 ], 1655 "tests": "Structural equality against synthetic expected requests; invalid question shapes/options/empty criteria rejected; introduce test-jev-contract.", 1656 "requirements": [ 1657 "HYF-JEV-001", 1658 "HYF-JEV-002", 1659 "HYF-JEV-009" 1660 ], 1661 "introduces_tasks": [ 1662 "test-jev-contract" 1663 ], 1664 "commit_message": "provider: implement Jev request serialization", 1665 "expected_result": "Serialize model/state/questions using tested JSON facilities; enforce supported types/criteria shapes and configured bounds before I/O. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1666 "verification_commands": [ 1667 "git diff --check", 1668 "pixi run test", 1669 "pixi run test-spec", 1670 "pixi run test-architecture", 1671 "pixi run check-build", 1672 "pixi run test-domain", 1673 "pixi run test-jev-contract" 1674 ], 1675 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1676 "conditional_cargo_commands": [ 1677 "cargo check --workspace --locked", 1678 "cargo test --workspace --locked", 1679 "cargo fmt --all -- --check", 1680 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1681 ], 1682 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1683 "dependencies": [ 1684 "S043" 1685 ] 1686 }, 1687 { 1688 "id": "S045", 1689 "title": "Parse typed Choice and Noul answers", 1690 "phase": "C — evaluator contracts and pure provider handling", 1691 "purpose": "Respect different provider answer shapes.", 1692 "scope": "Decode required top-level/model/usage fields and Choice/Noul answer fields with explicit type validation; no source identity copying from responses.", 1693 "files": [ 1694 "src/hyf_provider/jev/response.mojo", 1695 "Choice/Noul fixtures" 1696 ], 1697 "tests": "Correct Noul works without confidence; wrong type, unknown choice and missing required fields fail.", 1698 "requirements": [ 1699 "HYF-JEV-004", 1700 "HYF-JEV-005", 1701 "HYF-DATA-001" 1702 ], 1703 "introduces_tasks": [], 1704 "commit_message": "provider: parse typed Choice and Noul answers", 1705 "expected_result": "Decode required top-level/model/usage fields and Choice/Noul answer fields with explicit type validation; no source identity copying from responses. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1706 "verification_commands": [ 1707 "git diff --check", 1708 "pixi run test", 1709 "pixi run test-spec", 1710 "pixi run test-architecture", 1711 "pixi run check-build", 1712 "pixi run test-domain", 1713 "pixi run test-jev-contract" 1714 ], 1715 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1716 "conditional_cargo_commands": [ 1717 "cargo check --workspace --locked", 1718 "cargo test --workspace --locked", 1719 "cargo fmt --all -- --check", 1720 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1721 ], 1722 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1723 "dependencies": [ 1724 "S044" 1725 ] 1726 }, 1727 { 1728 "id": "S046", 1729 "title": "Parse ordered Score answers", 1730 "phase": "C — evaluator contracts and pure provider handling", 1731 "purpose": "Preserve rubric semantics rather than assume normalized values.", 1732 "scope": "Decode score, legend, probabilities and confidence; bind expected rubric levels and normalize only through explicit later composition.", 1733 "files": [ 1734 "src/hyf_provider/jev/response.mojo", 1735 "Score fixtures" 1736 ], 1737 "tests": "Two/three/multiple-level rubrics, string level keys, invalid legends and out-of-range raw values are tested.", 1738 "requirements": [ 1739 "HYF-JEV-004", 1740 "HYF-JEV-005" 1741 ], 1742 "introduces_tasks": [], 1743 "commit_message": "provider: parse ordered Score answers", 1744 "expected_result": "Decode score, legend, probabilities and confidence; bind expected rubric levels and normalize only through explicit later composition. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1745 "verification_commands": [ 1746 "git diff --check", 1747 "pixi run test", 1748 "pixi run test-spec", 1749 "pixi run test-architecture", 1750 "pixi run check-build", 1751 "pixi run test-domain", 1752 "pixi run test-jev-contract" 1753 ], 1754 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1755 "conditional_cargo_commands": [ 1756 "cargo check --workspace --locked", 1757 "cargo test --workspace --locked", 1758 "cargo fmt --all -- --check", 1759 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1760 ], 1761 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1762 "dependencies": [ 1763 "S045" 1764 ] 1765 }, 1766 { 1767 "id": "S047", 1768 "title": "Validate answer sets and numerical consistency", 1769 "phase": "C — evaluator contracts and pure provider handling", 1770 "purpose": "Reject structurally plausible but semantically malformed provider output.", 1771 "scope": "Require exact expected answer ID/type sets, finite bounded diagnostics, correct probability sets/sums and declared consistency tolerances; reject unapproved model drift.", 1772 "files": [ 1773 "src/hyf_provider/jev/validation.mojo", 1774 "malformed response corpus" 1775 ], 1776 "tests": "Missing/extra IDs, NaN/raw invalid JSON, infinity overflow, distribution mismatch, score mismatch and model mismatch fail safely.", 1777 "requirements": [ 1778 "HYF-JEV-004", 1779 "HYF-JEV-006" 1780 ], 1781 "introduces_tasks": [], 1782 "commit_message": "provider: validate answer sets and numerical consistency", 1783 "expected_result": "Require exact expected answer ID/type sets, finite bounded diagnostics, correct probability sets/sums and declared consistency tolerances; reject unapproved model drift. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1784 "verification_commands": [ 1785 "git diff --check", 1786 "pixi run test", 1787 "pixi run test-spec", 1788 "pixi run test-architecture", 1789 "pixi run check-build", 1790 "pixi run test-domain", 1791 "pixi run test-jev-contract" 1792 ], 1793 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1794 "conditional_cargo_commands": [ 1795 "cargo check --workspace --locked", 1796 "cargo test --workspace --locked", 1797 "cargo fmt --all -- --check", 1798 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1799 ], 1800 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1801 "dependencies": [ 1802 "S046" 1803 ] 1804 }, 1805 { 1806 "id": "S048", 1807 "title": "Map Jev failures into stable internal outcomes", 1808 "phase": "C — evaluator contracts and pure provider handling", 1809 "purpose": "Avoid string-matched transport errors and public leakage.", 1810 "scope": "Define auth, request validation, capacity, transport, deadline and answer-contract error mapping with safe bounded diagnostics; distinguish business result types.", 1811 "files": [ 1812 "src/hyf_provider/jev/errors.mojo", 1813 "src/hyf_core/errors.mojo", 1814 "error mapping tests" 1815 ], 1816 "tests": "401/422 permanent, 429/529 transient policy categories and malformed-success failures retain distinct codes with no secrets.", 1817 "requirements": [ 1818 "HYF-JEV-008", 1819 "HYF-RUN-005", 1820 "HYF-RUN-008" 1821 ], 1822 "introduces_tasks": [], 1823 "commit_message": "provider: map Jev failures into stable internal outcomes", 1824 "expected_result": "Define auth, request validation, capacity, transport, deadline and answer-contract error mapping with safe bounded diagnostics; distinguish business result types. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1825 "verification_commands": [ 1826 "git diff --check", 1827 "pixi run test", 1828 "pixi run test-spec", 1829 "pixi run test-architecture", 1830 "pixi run check-build", 1831 "pixi run test-domain", 1832 "pixi run test-jev-contract" 1833 ], 1834 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1835 "conditional_cargo_commands": [ 1836 "cargo check --workspace --locked", 1837 "cargo test --workspace --locked", 1838 "cargo fmt --all -- --check", 1839 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1840 ], 1841 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1842 "dependencies": [ 1843 "S047" 1844 ] 1845 }, 1846 { 1847 "id": "S049", 1848 "title": "Add provider response projection tests", 1849 "phase": "C — evaluator contracts and pure provider handling", 1850 "purpose": "Verify adapter output against domain expectations.", 1851 "scope": "Map validated provider answers to internal semantic results without rebuilding trusted text/IDs; retain probabilities and actual configuration diagnostics as approved.", 1852 "files": [ 1853 "src/hyf_provider/jev/adapter.mojo", 1854 "projection contract fixtures" 1855 ], 1856 "tests": "Injected alternate original text/IDs cannot replace source values; raw Score and normalized diagnostic are not confused; unknown evidence retained.", 1857 "requirements": [ 1858 "HYF-DATA-001", 1859 "HYF-DATA-009", 1860 "HYF-JEV-005" 1861 ], 1862 "introduces_tasks": [], 1863 "commit_message": "provider: add provider response projection tests", 1864 "expected_result": "Map validated provider answers to internal semantic results without rebuilding trusted text/IDs; retain probabilities and actual configuration diagnostics as approved. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1865 "verification_commands": [ 1866 "git diff --check", 1867 "pixi run test", 1868 "pixi run test-spec", 1869 "pixi run test-architecture", 1870 "pixi run check-build", 1871 "pixi run test-domain", 1872 "pixi run test-jev-contract" 1873 ], 1874 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1875 "conditional_cargo_commands": [ 1876 "cargo check --workspace --locked", 1877 "cargo test --workspace --locked", 1878 "cargo fmt --all -- --check", 1879 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1880 ], 1881 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1882 "dependencies": [ 1883 "S048" 1884 ] 1885 }, 1886 { 1887 "id": "S050", 1888 "title": "Add data-minimized state projection", 1889 "phase": "C — evaluator contracts and pure provider handling", 1890 "purpose": "Limit what leaves the application boundary.", 1891 "scope": "Project only authorized relevant source/context/product/need information into Jev state; preserve essential negation/association context and exclude secrets/unneeded private fields.", 1892 "files": [ 1893 "src/hyf_application/provider_state.mojo", 1894 "minimization tests" 1895 ], 1896 "tests": "Golden outbound state excludes credentials/private address/unrelated records; minimal removal does not drop tested semantic context.", 1897 "requirements": [ 1898 "HYF-JEV-009", 1899 "HYF-SEC-004", 1900 "HYF-SEC-005" 1901 ], 1902 "introduces_tasks": [], 1903 "commit_message": "provider: add data-minimized state projection", 1904 "expected_result": "Project only authorized relevant source/context/product/need information into Jev state; preserve essential negation/association context and exclude secrets/unneeded private fields. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1905 "verification_commands": [ 1906 "git diff --check", 1907 "pixi run test", 1908 "pixi run test-spec", 1909 "pixi run test-architecture", 1910 "pixi run check-build", 1911 "pixi run test-domain", 1912 "pixi run test-jev-contract" 1913 ], 1914 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1915 "conditional_cargo_commands": [ 1916 "cargo check --workspace --locked", 1917 "cargo test --workspace --locked", 1918 "cargo fmt --all -- --check", 1919 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1920 ], 1921 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1922 "dependencies": [ 1923 "S049" 1924 ] 1925 }, 1926 { 1927 "id": "S051", 1928 "title": "Plan independent and dependent question stages", 1929 "phase": "C — evaluator contracts and pure provider handling", 1930 "purpose": "Prevent invalid within-call dependencies and uncontrolled fan-out.", 1931 "scope": "Implement bounded grouping of independent questions and explicit later dependent stages, charging request/question/state budgets; avoid unnecessary calls on deterministic failures.", 1932 "files": [ 1933 "src/hyf_application/evaluation_plan.mojo", 1934 "plan tests" 1935 ], 1936 "tests": "Dependent answer use happens after validated prior response; max calls/questions enforced; shared answers not treated as independent evidence.", 1937 "requirements": [ 1938 "HYF-JEV-003", 1939 "HYF-JEV-009", 1940 "HYF-RUN-004" 1941 ], 1942 "introduces_tasks": [], 1943 "commit_message": "provider: plan independent and dependent question stages", 1944 "expected_result": "Implement bounded grouping of independent questions and explicit later dependent stages, charging request/question/state budgets; avoid unnecessary calls on deterministic failures. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1945 "verification_commands": [ 1946 "git diff --check", 1947 "pixi run test", 1948 "pixi run test-spec", 1949 "pixi run test-architecture", 1950 "pixi run check-build", 1951 "pixi run test-domain", 1952 "pixi run test-jev-contract" 1953 ], 1954 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1955 "conditional_cargo_commands": [ 1956 "cargo check --workspace --locked", 1957 "cargo test --workspace --locked", 1958 "cargo fmt --all -- --check", 1959 "cargo clippy --workspace --all-targets --locked -- -D warnings" 1960 ], 1961 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 1962 "dependencies": [ 1963 "S050" 1964 ] 1965 }, 1966 { 1967 "id": "S052", 1968 "title": "Add a TypeSafe runtime profile", 1969 "phase": "D — runtime configuration and transport", 1970 "purpose": "Introduce Jev without changing existing max_local configuration semantics.", 1971 "scope": "Extend runtime parsing with explicit provider/model/endpoint/secret-reference/timeout fields following existing conventions; disabled by default pending operator configuration.", 1972 "files": [ 1973 "src/hyf_runtime/config.mojo", 1974 "src/hyf_provider/config.mojo", 1975 "runtime config tests" 1976 ], 1977 "tests": "Existing max_local fixtures still parse; invalid/unknown combinations fail; real credentials never appear in checked-in examples.", 1978 "requirements": [ 1979 "HYF-RUN-006", 1980 "HYF-JEV-001", 1981 "HYF-SEC-005" 1982 ], 1983 "introduces_tasks": [], 1984 "commit_message": "runtime: add a TypeSafe runtime profile", 1985 "expected_result": "Extend runtime parsing with explicit provider/model/endpoint/secret-reference/timeout fields following existing conventions; disabled by default pending operator configuration. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 1986 "verification_commands": [ 1987 "git diff --check", 1988 "pixi run test", 1989 "pixi run test-spec", 1990 "pixi run test-architecture", 1991 "pixi run check-build", 1992 "pixi run test-runtime-contract", 1993 "pixi run test-jev-contract" 1994 ], 1995 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 1996 "conditional_cargo_commands": [ 1997 "cargo check --workspace --locked", 1998 "cargo test --workspace --locked", 1999 "cargo fmt --all -- --check", 2000 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2001 ], 2002 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2003 "dependencies": [ 2004 "S051" 2005 ] 2006 }, 2007 { 2008 "id": "S053", 2009 "title": "Separate capability support and permission", 2010 "phase": "D — runtime configuration and transport", 2011 "purpose": "Remove deterministic implementation as an accidental registration gate.", 2012 "scope": "Represent implementation support, provider configuration, assistance permission, readiness and operation exposure independently; retain existing discovery compatibility.", 2013 "files": [ 2014 "src/hyf_core/capabilities/registry.mojo", 2015 "src/hyf_assist/contract.mojo", 2016 "registry tests" 2017 ], 2018 "tests": "Assisted-only support can be represented without advertising unimplemented work; disabled/unconfigured distinctions are stable.", 2019 "requirements": [ 2020 "HYF-RUN-006", 2021 "HYF-BUY-006", 2022 "HYF-CORE-005" 2023 ], 2024 "introduces_tasks": [], 2025 "commit_message": "runtime: separate capability support and permission", 2026 "expected_result": "Represent implementation support, provider configuration, assistance permission, readiness and operation exposure independently; retain existing discovery compatibility. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2027 "verification_commands": [ 2028 "git diff --check", 2029 "pixi run test", 2030 "pixi run test-spec", 2031 "pixi run test-architecture", 2032 "pixi run check-build", 2033 "pixi run test-runtime-contract", 2034 "pixi run test-jev-contract" 2035 ], 2036 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2037 "conditional_cargo_commands": [ 2038 "cargo check --workspace --locked", 2039 "cargo test --workspace --locked", 2040 "cargo fmt --all -- --check", 2041 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2042 ], 2043 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2044 "dependencies": [ 2045 "S052" 2046 ] 2047 }, 2048 { 2049 "id": "S054", 2050 "title": "Add operation enablement and kill switches", 2051 "phase": "D — runtime configuration and transport", 2052 "purpose": "Permit safe rollout and incident isolation.", 2053 "scope": "Introduce server-controlled per-operation/provider disablement with validated combinations; preserve old capabilities and prohibit end-user flag overrides.", 2054 "files": [ 2055 "src/hyf_runtime/config.mojo", 2056 "runtime selection tests" 2057 ], 2058 "tests": "All flag/permission combinations tested; disabling Jev does not accidentally enable inference fallback or mutate business behavior.", 2059 "requirements": [ 2060 "HYF-RUN-006", 2061 "HYF-REL-006", 2062 "HYF-SEC-005" 2063 ], 2064 "introduces_tasks": [], 2065 "commit_message": "runtime: add operation enablement and kill switches", 2066 "expected_result": "Introduce server-controlled per-operation/provider disablement with validated combinations; preserve old capabilities and prohibit end-user flag overrides. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2067 "verification_commands": [ 2068 "git diff --check", 2069 "pixi run test", 2070 "pixi run test-spec", 2071 "pixi run test-architecture", 2072 "pixi run check-build", 2073 "pixi run test-runtime-contract", 2074 "pixi run test-jev-contract" 2075 ], 2076 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2077 "conditional_cargo_commands": [ 2078 "cargo check --workspace --locked", 2079 "cargo test --workspace --locked", 2080 "cargo fmt --all -- --check", 2081 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2082 ], 2083 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2084 "dependencies": [ 2085 "S053" 2086 ] 2087 }, 2088 { 2089 "id": "S055", 2090 "title": "Implement shared execution budgets", 2091 "phase": "D — runtime configuration and transport", 2092 "purpose": "Charge every stage against one remaining deadline.", 2093 "scope": "Create monotonic request budget and finite resource counters at acceptance; cap by runtime policy and pass remaining values to stages/transport.", 2094 "files": [ 2095 "src/hyf_application/budget.mojo", 2096 "budget tests" 2097 ], 2098 "tests": "Queue-consumed/zero/expired budgets, parsing costs and multiple provider stages cannot reset the deadline; bounded counters tested.", 2099 "requirements": [ 2100 "HYF-RUN-004", 2101 "HYF-RUN-010" 2102 ], 2103 "introduces_tasks": [], 2104 "commit_message": "runtime: implement shared execution budgets", 2105 "expected_result": "Create monotonic request budget and finite resource counters at acceptance; cap by runtime policy and pass remaining values to stages/transport. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2106 "verification_commands": [ 2107 "git diff --check", 2108 "pixi run test", 2109 "pixi run test-spec", 2110 "pixi run test-architecture", 2111 "pixi run check-build", 2112 "pixi run test-runtime-contract", 2113 "pixi run test-jev-contract" 2114 ], 2115 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2116 "conditional_cargo_commands": [ 2117 "cargo check --workspace --locked", 2118 "cargo test --workspace --locked", 2119 "cargo fmt --all -- --check", 2120 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2121 ], 2122 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2123 "dependencies": [ 2124 "S054" 2125 ] 2126 }, 2127 { 2128 "id": "S056", 2129 "title": "Add retry classification and scheduling", 2130 "phase": "D — runtime configuration and transport", 2131 "purpose": "Bound transient recovery without retrying permanent faults.", 2132 "scope": "Implement retry policy over typed failures, remaining time, attempt caps and deterministic test jitter; honor applicable retry timing without nested retry loops.", 2133 "files": [ 2134 "src/hyf_application/retry.mojo", 2135 "virtual-time retry tests" 2136 ], 2137 "tests": "Permanent faults cause no retry; temporary capacity retries stop at budget/attempt cap; retry delay cannot exceed remaining budget.", 2138 "requirements": [ 2139 "HYF-RUN-005", 2140 "HYF-TEST-007" 2141 ], 2142 "introduces_tasks": [], 2143 "commit_message": "runtime: add retry classification and scheduling", 2144 "expected_result": "Implement retry policy over typed failures, remaining time, attempt caps and deterministic test jitter; honor applicable retry timing without nested retry loops. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2145 "verification_commands": [ 2146 "git diff --check", 2147 "pixi run test", 2148 "pixi run test-spec", 2149 "pixi run test-architecture", 2150 "pixi run check-build", 2151 "pixi run test-runtime-contract", 2152 "pixi run test-jev-contract" 2153 ], 2154 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2155 "conditional_cargo_commands": [ 2156 "cargo check --workspace --locked", 2157 "cargo test --workspace --locked", 2158 "cargo fmt --all -- --check", 2159 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2160 ], 2161 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2162 "dependencies": [ 2163 "S055" 2164 ] 2165 }, 2166 { 2167 "id": "S057", 2168 "title": "Add circuit and readiness state", 2169 "phase": "D — runtime configuration and transport", 2170 "purpose": "Avoid needless remote health roundtrips and failure storms.", 2171 "scope": "Implement minimal bounded provider health/circuit state if needed by selected runtime; local liveness remains distinct and no per-request preflight inference is added.", 2172 "files": [ 2173 "src/hyf_runtime/provider_health.mojo", 2174 "virtual-time state tests" 2175 ], 2176 "tests": "Open/half-open/recovered transitions, provider disablement and process-live/provider-down states; actual inference call counts verified.", 2177 "requirements": [ 2178 "HYF-RUN-005", 2179 "HYF-RUN-008" 2180 ], 2181 "introduces_tasks": [], 2182 "commit_message": "runtime: add circuit and readiness state", 2183 "expected_result": "Implement minimal bounded provider health/circuit state if needed by selected runtime; local liveness remains distinct and no per-request preflight inference is added. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2184 "verification_commands": [ 2185 "git diff --check", 2186 "pixi run test", 2187 "pixi run test-spec", 2188 "pixi run test-architecture", 2189 "pixi run check-build", 2190 "pixi run test-runtime-contract", 2191 "pixi run test-jev-contract" 2192 ], 2193 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2194 "conditional_cargo_commands": [ 2195 "cargo check --workspace --locked", 2196 "cargo test --workspace --locked", 2197 "cargo fmt --all -- --check", 2198 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2199 ], 2200 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2201 "dependencies": [ 2202 "S056" 2203 ] 2204 }, 2205 { 2206 "id": "S058", 2207 "title": "Build the strict local provider server", 2208 "phase": "D — runtime configuration and transport", 2209 "purpose": "Exercise production HTTP without real Jev.", 2210 "scope": "Create a test-only scripted local endpoint that owns a port-zero listener, reports readiness, reads complete requests and asserts expected path/headers/body/calls.", 2211 "files": [ 2212 "tests/support/jev_server.mojo", 2213 "server harness tests" 2214 ], 2215 "tests": "Wrong body/path/extra call/missing call fail; fragmented requests larger than one read work; no reserve-rebind or external fallback.", 2216 "requirements": [ 2217 "HYF-TEST-006", 2218 "HYF-TEST-007", 2219 "HYF-TEST-005" 2220 ], 2221 "introduces_tasks": [], 2222 "commit_message": "runtime: build the strict local provider server", 2223 "expected_result": "Create a test-only scripted local endpoint that owns a port-zero listener, reports readiness, reads complete requests and asserts expected path/headers/body/calls. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2224 "verification_commands": [ 2225 "git diff --check", 2226 "pixi run test", 2227 "pixi run test-spec", 2228 "pixi run test-architecture", 2229 "pixi run check-build", 2230 "pixi run test-runtime-contract", 2231 "pixi run test-jev-contract" 2232 ], 2233 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2234 "conditional_cargo_commands": [ 2235 "cargo check --workspace --locked", 2236 "cargo test --workspace --locked", 2237 "cargo fmt --all -- --check", 2238 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2239 ], 2240 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2241 "dependencies": [ 2242 "S057" 2243 ] 2244 }, 2245 { 2246 "id": "S059", 2247 "title": "Add local transport failure scripting", 2248 "phase": "D — runtime configuration and transport", 2249 "purpose": "Test boundary faults without fragile sleeps.", 2250 "scope": "Extend the server with explicit status/raw-body/connection-close/blocked-read scripts and bounded control handshakes; preserve simple deterministic behavior.", 2251 "files": [ 2252 "tests/support/jev_server.mojo", 2253 "raw provider fixtures" 2254 ], 2255 "tests": "Invalid JSON, malformed HTTP, truncated body, close-before-response and delay-release scripts are reproducible and cleaned up.", 2256 "requirements": [ 2257 "HYF-JEV-004", 2258 "HYF-RUN-007", 2259 "HYF-TEST-007" 2260 ], 2261 "introduces_tasks": [], 2262 "commit_message": "runtime: add local transport failure scripting", 2263 "expected_result": "Extend the server with explicit status/raw-body/connection-close/blocked-read scripts and bounded control handshakes; preserve simple deterministic behavior. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2264 "verification_commands": [ 2265 "git diff --check", 2266 "pixi run test", 2267 "pixi run test-spec", 2268 "pixi run test-architecture", 2269 "pixi run check-build", 2270 "pixi run test-runtime-contract", 2271 "pixi run test-jev-contract" 2272 ], 2273 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2274 "conditional_cargo_commands": [ 2275 "cargo check --workspace --locked", 2276 "cargo test --workspace --locked", 2277 "cargo fmt --all -- --check", 2278 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2279 ], 2280 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2281 "dependencies": [ 2282 "S058" 2283 ] 2284 }, 2285 { 2286 "id": "S060", 2287 "title": "Implement the production Jev HTTP client", 2288 "phase": "D — runtime configuration and transport", 2289 "purpose": "Connect the new adapter through the actual transport dependency.", 2290 "scope": "Add dedicated POST evaluation client with verified external HTTPS, bounded request/response bodies, configured remaining timeout and no chat-completions decoding.", 2291 "files": [ 2292 "src/hyf_provider/jev/client.mojo", 2293 "transport integration tests", 2294 "pixi.toml" 2295 ], 2296 "tests": "Run actual client against strict loopback server for success and typed HTTP failures; introduce test-jev-transport and default offline coverage.", 2297 "requirements": [ 2298 "HYF-JEV-001", 2299 "HYF-SEC-003", 2300 "HYF-RUN-004" 2301 ], 2302 "introduces_tasks": [ 2303 "test-jev-transport" 2304 ], 2305 "commit_message": "runtime: implement the production Jev HTTP client", 2306 "expected_result": "Add dedicated POST evaluation client with verified external HTTPS, bounded request/response bodies, configured remaining timeout and no chat-completions decoding. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2307 "verification_commands": [ 2308 "git diff --check", 2309 "pixi run test", 2310 "pixi run test-spec", 2311 "pixi run test-architecture", 2312 "pixi run check-build", 2313 "pixi run test-runtime-contract", 2314 "pixi run test-jev-contract", 2315 "pixi run test-jev-transport" 2316 ], 2317 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2318 "conditional_cargo_commands": [ 2319 "cargo check --workspace --locked", 2320 "cargo test --workspace --locked", 2321 "cargo fmt --all -- --check", 2322 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2323 ], 2324 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2325 "dependencies": [ 2326 "S059" 2327 ] 2328 }, 2329 { 2330 "id": "S061", 2331 "title": "Test TLS verification and endpoint policy", 2332 "phase": "D — runtime configuration and transport", 2333 "purpose": "Prevent test flexibility from weakening production security.", 2334 "scope": "Implement/verify certificate and hostname checks, allowed external scheme and credential-preserving redirect policy using local generated test credentials and discovered dependency features.", 2335 "files": [ 2336 "src/hyf_provider/jev/client.mojo", 2337 "runtime endpoint validation", 2338 "local TLS tests" 2339 ], 2340 "tests": "Untrusted/expired/wrong-host certificates and cross-origin credential redirects fail; local test exception cannot be selected by request content.", 2341 "requirements": [ 2342 "HYF-SEC-003", 2343 "HYF-SEC-005", 2344 "HYF-TEST-004" 2345 ], 2346 "introduces_tasks": [], 2347 "commit_message": "runtime: test TLS verification and endpoint policy", 2348 "expected_result": "Implement/verify certificate and hostname checks, allowed external scheme and credential-preserving redirect policy using local generated test credentials and discovered dependency features. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2349 "verification_commands": [ 2350 "git diff --check", 2351 "pixi run test", 2352 "pixi run test-spec", 2353 "pixi run test-architecture", 2354 "pixi run check-build", 2355 "pixi run test-runtime-contract", 2356 "pixi run test-jev-contract", 2357 "pixi run test-jev-transport" 2358 ], 2359 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2360 "conditional_cargo_commands": [ 2361 "cargo check --workspace --locked", 2362 "cargo test --workspace --locked", 2363 "cargo fmt --all -- --check", 2364 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2365 ], 2366 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2367 "dependencies": [ 2368 "S060" 2369 ] 2370 }, 2371 { 2372 "id": "S062", 2373 "title": "Integrate bounded client retry and budget behavior", 2374 "phase": "D — runtime configuration and transport", 2375 "purpose": "Prove policy works with the real transport.", 2376 "scope": "Connect typed transport outcomes to the approved retry/circuit/budget implementation; ensure exactly one retry owner and correct remaining deadline on each attempt.", 2377 "files": [ 2378 "src/hyf_application/provider_execution.mojo", 2379 "transport policy tests" 2380 ], 2381 "tests": "429/529 scripted recovery, 401/422 no retry, exhaustion, malformed success and interrupted transport preserve safe result categories.", 2382 "requirements": [ 2383 "HYF-RUN-004", 2384 "HYF-RUN-005", 2385 "HYF-JEV-008" 2386 ], 2387 "introduces_tasks": [], 2388 "commit_message": "runtime: integrate bounded client retry and budget behavior", 2389 "expected_result": "Connect typed transport outcomes to the approved retry/circuit/budget implementation; ensure exactly one retry owner and correct remaining deadline on each attempt. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2390 "verification_commands": [ 2391 "git diff --check", 2392 "pixi run test", 2393 "pixi run test-spec", 2394 "pixi run test-architecture", 2395 "pixi run check-build", 2396 "pixi run test-runtime-contract", 2397 "pixi run test-jev-contract", 2398 "pixi run test-jev-transport" 2399 ], 2400 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2401 "conditional_cargo_commands": [ 2402 "cargo check --workspace --locked", 2403 "cargo test --workspace --locked", 2404 "cargo fmt --all -- --check", 2405 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2406 ], 2407 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2408 "dependencies": [ 2409 "S061" 2410 ] 2411 }, 2412 { 2413 "id": "S063", 2414 "title": "Verify transport cleanup and local cancellation", 2415 "phase": "D — runtime configuration and transport", 2416 "purpose": "Avoid leaked sockets/tasks and false remote-cancellation claims.", 2417 "scope": "Add cleanup paths and bounded cancellation/termination behavior using actual transport capabilities; document unsupported mechanisms instead of inventing a public cancel API.", 2418 "files": [ 2419 "src/hyf_provider/jev/client.mojo", 2420 "transport lifecycle tests" 2421 ], 2422 "tests": "Timeout/read-block/cancel/connection-error all release local resources; watchdog prevents hangs and output never claims remote charges ceased.", 2423 "requirements": [ 2424 "HYF-RUN-007", 2425 "HYF-TEST-007" 2426 ], 2427 "introduces_tasks": [], 2428 "commit_message": "runtime: verify transport cleanup and local cancellation", 2429 "expected_result": "Add cleanup paths and bounded cancellation/termination behavior using actual transport capabilities; document unsupported mechanisms instead of inventing a public cancel API. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2430 "verification_commands": [ 2431 "git diff --check", 2432 "pixi run test", 2433 "pixi run test-spec", 2434 "pixi run test-architecture", 2435 "pixi run check-build", 2436 "pixi run test-runtime-contract", 2437 "pixi run test-jev-contract", 2438 "pixi run test-jev-transport" 2439 ], 2440 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2441 "conditional_cargo_commands": [ 2442 "cargo check --workspace --locked", 2443 "cargo test --workspace --locked", 2444 "cargo fmt --all -- --check", 2445 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2446 ], 2447 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2448 "dependencies": [ 2449 "S062" 2450 ] 2451 }, 2452 { 2453 "id": "S064", 2454 "title": "Add runtime composition for Jev", 2455 "phase": "D — runtime configuration and transport", 2456 "purpose": "Wire real and test boundaries without public test switches.", 2457 "scope": "Construct provider/evaluator/clock/budgets from trusted runtime configuration and dependencies; test injection is test-only and max_local remains supported.", 2458 "files": [ 2459 "src/hyf_runtime/composition.mojo (proposed)", 2460 "composition tests" 2461 ], 2462 "tests": "Real-config selection, disabled/unconfigured states and injected test evaluator compile and behave consistently; no production fixture fallback.", 2463 "requirements": [ 2464 "HYF-CORE-003", 2465 "HYF-RUN-006", 2466 "HYF-TEST-005" 2467 ], 2468 "introduces_tasks": [], 2469 "commit_message": "runtime: add runtime composition for Jev", 2470 "expected_result": "Construct provider/evaluator/clock/budgets from trusted runtime configuration and dependencies; test injection is test-only and max_local remains supported. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2471 "verification_commands": [ 2472 "git diff --check", 2473 "pixi run test", 2474 "pixi run test-spec", 2475 "pixi run test-architecture", 2476 "pixi run check-build", 2477 "pixi run test-runtime-contract", 2478 "pixi run test-jev-contract", 2479 "pixi run test-jev-transport" 2480 ], 2481 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2482 "conditional_cargo_commands": [ 2483 "cargo check --workspace --locked", 2484 "cargo test --workspace --locked", 2485 "cargo fmt --all -- --check", 2486 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2487 ], 2488 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2489 "dependencies": [ 2490 "S063" 2491 ] 2492 }, 2493 { 2494 "id": "S065", 2495 "title": "Extract existing orchestration from stdio", 2496 "phase": "E — interpretation use cases", 2497 "purpose": "Make transport independent without rewriting business behavior.", 2498 "scope": "Move current provider execution orchestration into an application module and adapt stdio to call it; keep old query rewrite outputs and fallback metadata unchanged.", 2499 "files": [ 2500 "src/hyf_stdio/provider_execution.mojo", 2501 "src/hyf_application/", 2502 "legacy regression tests", 2503 "pixi.toml" 2504 ], 2505 "tests": "Run old assisted/unavailable/unsupported cases through both boundary and stdio; introduce test-application for real orchestrator tests.", 2506 "requirements": [ 2507 "HYF-CORE-003", 2508 "HYF-CORE-005", 2509 "HYF-JEV-008" 2510 ], 2511 "introduces_tasks": [ 2512 "test-application" 2513 ], 2514 "commit_message": "application: extract existing orchestration from stdio", 2515 "expected_result": "Move current provider execution orchestration into an application module and adapt stdio to call it; keep old query rewrite outputs and fallback metadata unchanged. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2516 "verification_commands": [ 2517 "git diff --check", 2518 "pixi run test", 2519 "pixi run test-spec", 2520 "pixi run test-architecture", 2521 "pixi run check-build", 2522 "pixi run test-domain", 2523 "pixi run test-application" 2524 ], 2525 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2526 "conditional_cargo_commands": [ 2527 "cargo check --workspace --locked", 2528 "cargo test --workspace --locked", 2529 "cargo fmt --all -- --check", 2530 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2531 ], 2532 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2533 "dependencies": [ 2534 "S064" 2535 ] 2536 }, 2537 { 2538 "id": "S066", 2539 "title": "Validate interpretation source context", 2540 "phase": "E — interpretation use cases", 2541 "purpose": "Protect trusted evidence before inference.", 2542 "scope": "Implement common source/revision/actor/context validation and bounded input normalization, with no implicit authentication or arbitrary URL fetching.", 2543 "files": [ 2544 "src/hyf_application/interpretation_context.mojo", 2545 "context tests" 2546 ], 2547 "tests": "Missing/mismatched source revisions and cross-scope supplied context reject before provider invocation; legitimate source text preserved.", 2548 "requirements": [ 2549 "HYF-DATA-001", 2550 "HYF-SEC-001", 2551 "HYF-SEC-002" 2552 ], 2553 "introduces_tasks": [], 2554 "commit_message": "application: validate interpretation source context", 2555 "expected_result": "Implement common source/revision/actor/context validation and bounded input normalization, with no implicit authentication or arbitrary URL fetching. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2556 "verification_commands": [ 2557 "git diff --check", 2558 "pixi run test", 2559 "pixi run test-spec", 2560 "pixi run test-architecture", 2561 "pixi run check-build", 2562 "pixi run test-domain", 2563 "pixi run test-application" 2564 ], 2565 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2566 "conditional_cargo_commands": [ 2567 "cargo check --workspace --locked", 2568 "cargo test --workspace --locked", 2569 "cargo fmt --all -- --check", 2570 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2571 ], 2572 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2573 "dependencies": [ 2574 "S065" 2575 ] 2576 }, 2577 { 2578 "id": "S067", 2579 "title": "Interpret product-specific supply status", 2580 "phase": "E — interpretation use cases", 2581 "purpose": "Implement first farm-update semantic stage.", 2582 "scope": "Use candidate mentions and explicit bounded questions to return per-product offer/forecast/unavailable/unclear semantic results; copy evidence from original source.", 2583 "files": [ 2584 "src/hyf_application/farm_update.mojo", 2585 "farm status fixtures" 2586 ], 2587 "tests": "Tomatoes and basil receive separate states; negation and forecast remain distinct; scripted provider call shapes verified.", 2588 "requirements": [ 2589 "HYF-FARM-001", 2590 "HYF-FARM-002", 2591 "HYF-JEV-002" 2592 ], 2593 "introduces_tasks": [], 2594 "commit_message": "application: interpret product-specific supply status", 2595 "expected_result": "Use candidate mentions and explicit bounded questions to return per-product offer/forecast/unavailable/unclear semantic results; copy evidence from original source. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2596 "verification_commands": [ 2597 "git diff --check", 2598 "pixi run test", 2599 "pixi run test-spec", 2600 "pixi run test-architecture", 2601 "pixi run check-build", 2602 "pixi run test-domain", 2603 "pixi run test-application" 2604 ], 2605 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2606 "conditional_cargo_commands": [ 2607 "cargo check --workspace --locked", 2608 "cargo test --workspace --locked", 2609 "cargo fmt --all -- --check", 2610 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2611 ], 2612 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2613 "dependencies": [ 2614 "S066" 2615 ] 2616 }, 2617 { 2618 "id": "S068", 2619 "title": "Associate quantities with farm products", 2620 "phase": "E — interpretation use cases", 2621 "purpose": "Prevent quantities migrating between crops.", 2622 "scope": "Select supported quantity spans/roles for each identified product and pass them to deterministic normalization; return unresolved when associations conflict.", 2623 "files": [ 2624 "src/hyf_application/farm_update.mojo", 2625 "quantity association fixtures" 2626 ], 2627 "tests": "Multiple numbers/crops, repeated quantities, totals versus remaining and no quantity produce correct evidence-backed fields.", 2628 "requirements": [ 2629 "HYF-FARM-004", 2630 "HYF-DATA-002", 2631 "HYF-DATA-004" 2632 ], 2633 "introduces_tasks": [], 2634 "commit_message": "application: associate quantities with farm products", 2635 "expected_result": "Select supported quantity spans/roles for each identified product and pass them to deterministic normalization; return unresolved when associations conflict. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2636 "verification_commands": [ 2637 "git diff --check", 2638 "pixi run test", 2639 "pixi run test-spec", 2640 "pixi run test-architecture", 2641 "pixi run check-build", 2642 "pixi run test-domain", 2643 "pixi run test-application" 2644 ], 2645 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2646 "conditional_cargo_commands": [ 2647 "cargo check --workspace --locked", 2648 "cargo test --workspace --locked", 2649 "cargo fmt --all -- --check", 2650 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2651 ], 2652 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2653 "dependencies": [ 2654 "S067" 2655 ] 2656 }, 2657 { 2658 "id": "S069", 2659 "title": "Interpret supply update operations", 2660 "phase": "E — interpretation use cases", 2661 "purpose": "Represent additions and balances distinctly.", 2662 "scope": "Map source semantics into proposed addition/remaining/replacement/withdrawal/correction operations without applying them; preserve ambiguous operation state.", 2663 "files": [ 2664 "src/hyf_application/farm_update.mojo", 2665 "update operation fixtures" 2666 ], 2667 "tests": "Another/left/total twenty-box messages differ; contradictory wording requests review; no inventory write dependency exists.", 2668 "requirements": [ 2669 "HYF-FARM-003", 2670 "HYF-FARM-009" 2671 ], 2672 "introduces_tasks": [], 2673 "commit_message": "application: interpret supply update operations", 2674 "expected_result": "Map source semantics into proposed addition/remaining/replacement/withdrawal/correction operations without applying them; preserve ambiguous operation state. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2675 "verification_commands": [ 2676 "git diff --check", 2677 "pixi run test", 2678 "pixi run test-spec", 2679 "pixi run test-architecture", 2680 "pixi run check-build", 2681 "pixi run test-domain", 2682 "pixi run test-application" 2683 ], 2684 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2685 "conditional_cargo_commands": [ 2686 "cargo check --workspace --locked", 2687 "cargo test --workspace --locked", 2688 "cargo fmt --all -- --check", 2689 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2690 ], 2691 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2692 "dependencies": [ 2693 "S068" 2694 ] 2695 }, 2696 { 2697 "id": "S070", 2698 "title": "Resolve authorized change targets", 2699 "phase": "E — interpretation use cases", 2700 "purpose": "Prevent broad or stale withdrawals.", 2701 "scope": "Resolve proposed changes only against bounded authorized supplied target records; retain unknown/conflicting targets and expected revisions.", 2702 "files": [ 2703 "src/hyf_application/farm_update.mojo", 2704 "target fixtures" 2705 ], 2706 "tests": "Basil unavailable does not withdraw unrelated crop/lot; ambiguous multiple basil targets block application; stale target evidence preserved for review.", 2707 "requirements": [ 2708 "HYF-FARM-007", 2709 "HYF-DATA-010", 2710 "HYF-SEC-001" 2711 ], 2712 "introduces_tasks": [], 2713 "commit_message": "application: resolve authorized change targets", 2714 "expected_result": "Resolve proposed changes only against bounded authorized supplied target records; retain unknown/conflicting targets and expected revisions. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2715 "verification_commands": [ 2716 "git diff --check", 2717 "pixi run test", 2718 "pixi run test-spec", 2719 "pixi run test-architecture", 2720 "pixi run check-build", 2721 "pixi run test-domain", 2722 "pixi run test-application" 2723 ], 2724 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2725 "conditional_cargo_commands": [ 2726 "cargo check --workspace --locked", 2727 "cargo test --workspace --locked", 2728 "cargo fmt --all -- --check", 2729 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2730 ], 2731 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2732 "dependencies": [ 2733 "S069" 2734 ] 2735 }, 2736 { 2737 "id": "S071", 2738 "title": "Interpret farm fulfillment and timing claims", 2739 "phase": "E — interpretation use cases", 2740 "purpose": "Keep reports distinct from guaranteed delivery.", 2741 "scope": "Extract offered method/window/area evidence and deterministically resolve supported time expressions; missing slot/area remains unresolved where material.", 2742 "files": [ 2743 "src/hyf_application/farm_update.mojo", 2744 "fulfillment/time fixtures" 2745 ], 2746 "tests": "Friday from source context, unknown delivery area/slot and ambiguous timezone do not become confirmed commitments.", 2747 "requirements": [ 2748 "HYF-DATA-007", 2749 "HYF-FARM-004", 2750 "HYF-MATCH-008" 2751 ], 2752 "introduces_tasks": [], 2753 "commit_message": "application: interpret farm fulfillment and timing claims", 2754 "expected_result": "Extract offered method/window/area evidence and deterministically resolve supported time expressions; missing slot/area remains unresolved where material. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2755 "verification_commands": [ 2756 "git diff --check", 2757 "pixi run test", 2758 "pixi run test-spec", 2759 "pixi run test-architecture", 2760 "pixi run check-build", 2761 "pixi run test-domain", 2762 "pixi run test-application" 2763 ], 2764 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2765 "conditional_cargo_commands": [ 2766 "cargo check --workspace --locked", 2767 "cargo test --workspace --locked", 2768 "cargo fmt --all -- --check", 2769 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2770 ], 2771 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2772 "dependencies": [ 2773 "S070" 2774 ] 2775 }, 2776 { 2777 "id": "S072", 2778 "title": "Assemble farm review and clarification output", 2779 "phase": "E — interpretation use cases", 2780 "purpose": "Make interpretation useful without overclaiming authority.", 2781 "scope": "Combine validated claims/changes/evidence into reviewable result and material next-action questions; keep optional missing information nonblocking for drafting.", 2782 "files": [ 2783 "src/hyf_application/farm_update.mojo", 2784 "review output fixtures" 2785 ], 2786 "tests": "Optional price omission permits draft; ambiguous withdrawal target blocks apply; correct claims present and incorrect extras absent.", 2787 "requirements": [ 2788 "HYF-FARM-005", 2789 "HYF-FARM-009", 2790 "HYF-TEST-010" 2791 ], 2792 "introduces_tasks": [], 2793 "commit_message": "application: assemble farm review and clarification output", 2794 "expected_result": "Combine validated claims/changes/evidence into reviewable result and material next-action questions; keep optional missing information nonblocking for drafting. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2795 "verification_commands": [ 2796 "git diff --check", 2797 "pixi run test", 2798 "pixi run test-spec", 2799 "pixi run test-architecture", 2800 "pixi run check-build", 2801 "pixi run test-domain", 2802 "pixi run test-application" 2803 ], 2804 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2805 "conditional_cargo_commands": [ 2806 "cargo check --workspace --locked", 2807 "cargo test --workspace --locked", 2808 "cargo fmt --all -- --check", 2809 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2810 ], 2811 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2812 "dependencies": [ 2813 "S071" 2814 ] 2815 }, 2816 { 2817 "id": "S073", 2818 "title": "Apply explicit farm clarification context", 2819 "phase": "E — interpretation use cases", 2820 "purpose": "Support follow-up without hidden session memory.", 2821 "scope": "Read supplied linked clarification evidence and produce a new interpretation preserving original source and revision relationships; reject unrelated/stale answers.", 2822 "files": [ 2823 "src/hyf_application/farm_update.mojo", 2824 "farm clarification journey" 2825 ], 2826 "tests": "Quantity clarification resolves its field only; original message unchanged; source corrections do not silently overwrite prior accepted state.", 2827 "requirements": [ 2828 "HYF-FARM-006", 2829 "HYF-DATA-010" 2830 ], 2831 "introduces_tasks": [], 2832 "commit_message": "application: apply explicit farm clarification context", 2833 "expected_result": "Read supplied linked clarification evidence and produce a new interpretation preserving original source and revision relationships; reject unrelated/stale answers. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2834 "verification_commands": [ 2835 "git diff --check", 2836 "pixi run test", 2837 "pixi run test-spec", 2838 "pixi run test-architecture", 2839 "pixi run check-build", 2840 "pixi run test-domain", 2841 "pixi run test-application" 2842 ], 2843 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2844 "conditional_cargo_commands": [ 2845 "cargo check --workspace --locked", 2846 "cargo test --workspace --locked", 2847 "cargo fmt --all -- --check", 2848 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2849 ], 2850 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2851 "dependencies": [ 2852 "S072" 2853 ] 2854 }, 2855 { 2856 "id": "S074", 2857 "title": "Handle farm inference failures safely", 2858 "phase": "E — interpretation use cases", 2859 "purpose": "Do not replace unavailable inference with false certainty.", 2860 "scope": "Return specified unresolved/degraded or typed error results for provider/schema/budget failure; never auto-confirm a heuristic farm interpretation.", 2861 "files": [ 2862 "src/hyf_application/farm_update.mojo", 2863 "failure fixtures" 2864 ], 2865 "tests": "Provider timeout, invalid answer and disabled provider preserve source/review status and produce no stock or mutation claims.", 2866 "requirements": [ 2867 "HYF-JEV-008", 2868 "HYF-FARM-009", 2869 "HYF-RUN-004" 2870 ], 2871 "introduces_tasks": [], 2872 "commit_message": "application: handle farm inference failures safely", 2873 "expected_result": "Return specified unresolved/degraded or typed error results for provider/schema/budget failure; never auto-confirm a heuristic farm interpretation. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2874 "verification_commands": [ 2875 "git diff --check", 2876 "pixi run test", 2877 "pixi run test-spec", 2878 "pixi run test-architecture", 2879 "pixi run check-build", 2880 "pixi run test-domain", 2881 "pixi run test-application" 2882 ], 2883 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2884 "conditional_cargo_commands": [ 2885 "cargo check --workspace --locked", 2886 "cargo test --workspace --locked", 2887 "cargo fmt --all -- --check", 2888 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2889 ], 2890 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2891 "dependencies": [ 2892 "S073" 2893 ] 2894 }, 2895 { 2896 "id": "S075", 2897 "title": "Discover buyer demand lines", 2898 "phase": "E — interpretation use cases", 2899 "purpose": "Build explicit raw-input demand decomposition.", 2900 "scope": "Use bounded candidate discovery and semantic associations to identify independent demand lines, preserving unsupported/ambiguous products and source references.", 2901 "files": [ 2902 "src/hyf_application/buyer_request.mojo", 2903 "multi-line fixtures" 2904 ], 2905 "tests": "Two products/two quantities remain separate; unknown product and repeated phrase are not collapsed into a guessed line.", 2906 "requirements": [ 2907 "HYF-BUY-001", 2908 "HYF-FARM-008", 2909 "HYF-DATA-002" 2910 ], 2911 "introduces_tasks": [], 2912 "commit_message": "application: discover buyer demand lines", 2913 "expected_result": "Use bounded candidate discovery and semantic associations to identify independent demand lines, preserving unsupported/ambiguous products and source references. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2914 "verification_commands": [ 2915 "git diff --check", 2916 "pixi run test", 2917 "pixi run test-spec", 2918 "pixi run test-architecture", 2919 "pixi run check-build", 2920 "pixi run test-domain", 2921 "pixi run test-application" 2922 ], 2923 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2924 "conditional_cargo_commands": [ 2925 "cargo check --workspace --locked", 2926 "cargo test --workspace --locked", 2927 "cargo fmt --all -- --check", 2928 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2929 ], 2930 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2931 "dependencies": [ 2932 "S074" 2933 ] 2934 }, 2935 { 2936 "id": "S076", 2937 "title": "Interpret condition strength and negation", 2938 "phase": "E — interpretation use cases", 2939 "purpose": "Keep preferences from becoming requirements or permissions.", 2940 "scope": "Map each condition to required/preferred/excluded/permitted/not-stated with applicable line/request scope; preserve explicit negation and uncertainty.", 2941 "files": [ 2942 "src/hyf_application/buyer_request.mojo", 2943 "constraint fixtures" 2944 ], 2945 "tests": "Delivery not pickup, ideally delivered, explicit seconds permission and unstated substitution are handled separately.", 2946 "requirements": [ 2947 "HYF-BUY-002", 2948 "HYF-BUY-003" 2949 ], 2950 "introduces_tasks": [], 2951 "commit_message": "application: interpret condition strength and negation", 2952 "expected_result": "Map each condition to required/preferred/excluded/permitted/not-stated with applicable line/request scope; preserve explicit negation and uncertainty. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2953 "verification_commands": [ 2954 "git diff --check", 2955 "pixi run test", 2956 "pixi run test-spec", 2957 "pixi run test-architecture", 2958 "pixi run check-build", 2959 "pixi run test-domain", 2960 "pixi run test-application" 2961 ], 2962 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 2963 "conditional_cargo_commands": [ 2964 "cargo check --workspace --locked", 2965 "cargo test --workspace --locked", 2966 "cargo fmt --all -- --check", 2967 "cargo clippy --workspace --all-targets --locked -- -D warnings" 2968 ], 2969 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 2970 "dependencies": [ 2971 "S075" 2972 ] 2973 }, 2974 { 2975 "id": "S077", 2976 "title": "Normalize buyer quantity time and price conditions", 2977 "phase": "E — interpretation use cases", 2978 "purpose": "Reuse deterministic primitives instead of model arithmetic.", 2979 "scope": "Associate spans then normalize through existing quantity/unit/time/money rules; preserve material unresolved fields and original expressions.", 2980 "files": [ 2981 "src/hyf_application/buyer_request.mojo", 2982 "normalization fixtures" 2983 ], 2984 "tests": "Pack ambiguity, exact threshold, missing date zone and unknown price/currency produce correct known/unresolved needs.", 2985 "requirements": [ 2986 "HYF-DATA-003", 2987 "HYF-DATA-004", 2988 "HYF-DATA-006", 2989 "HYF-DATA-007" 2990 ], 2991 "introduces_tasks": [], 2992 "commit_message": "application: normalize buyer quantity time and price conditions", 2993 "expected_result": "Associate spans then normalize through existing quantity/unit/time/money rules; preserve material unresolved fields and original expressions. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 2994 "verification_commands": [ 2995 "git diff --check", 2996 "pixi run test", 2997 "pixi run test-spec", 2998 "pixi run test-architecture", 2999 "pixi run check-build", 3000 "pixi run test-domain", 3001 "pixi run test-application" 3002 ], 3003 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3004 "conditional_cargo_commands": [ 3005 "cargo check --workspace --locked", 3006 "cargo test --workspace --locked", 3007 "cargo fmt --all -- --check", 3008 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3009 ], 3010 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3011 "dependencies": [ 3012 "S076" 3013 ] 3014 }, 3015 { 3016 "id": "S078", 3017 "title": "Detect contradictory buyer requirements", 3018 "phase": "E — interpretation use cases", 3019 "purpose": "Expose conflicts rather than silently choose a last token.", 3020 "scope": "Validate incompatible requirements and exclusions across applicable scopes; return review/clarification state rather than an invented resolved intent.", 3021 "files": [ 3022 "src/hyf_application/buyer_request.mojo", 3023 "contradiction fixtures" 3024 ], 3025 "tests": "Delivery required and delivery forbidden; incompatible quantities/time conditions; scoped versus request-level conflicts are covered.", 3026 "requirements": [ 3027 "HYF-BUY-003", 3028 "HYF-BUY-005" 3029 ], 3030 "introduces_tasks": [], 3031 "commit_message": "application: detect contradictory buyer requirements", 3032 "expected_result": "Validate incompatible requirements and exclusions across applicable scopes; return review/clarification state rather than an invented resolved intent. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3033 "verification_commands": [ 3034 "git diff --check", 3035 "pixi run test", 3036 "pixi run test-spec", 3037 "pixi run test-architecture", 3038 "pixi run check-build", 3039 "pixi run test-domain", 3040 "pixi run test-application" 3041 ], 3042 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3043 "conditional_cargo_commands": [ 3044 "cargo check --workspace --locked", 3045 "cargo test --workspace --locked", 3046 "cargo fmt --all -- --check", 3047 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3048 ], 3049 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3050 "dependencies": [ 3051 "S077" 3052 ] 3053 }, 3054 { 3055 "id": "S079", 3056 "title": "Assemble reviewable typed buyer needs", 3057 "phase": "E — interpretation use cases", 3058 "purpose": "Provide the stable input contract for matching.", 3059 "scope": "Return typed needs with evidence, revisions, constraints and explicit review state; support supplied linked clarification without creating orders.", 3060 "files": [ 3061 "src/hyf_application/buyer_request.mojo", 3062 "consumer-contract fixtures" 3063 ], 3064 "tests": "Typed output roundtrips to matching input; material questions are exposed; no order/reservation artifacts or hidden memory appear.", 3065 "requirements": [ 3066 "HYF-BUY-004", 3067 "HYF-BUY-005", 3068 "HYF-FARM-006" 3069 ], 3070 "introduces_tasks": [], 3071 "commit_message": "application: assemble reviewable typed buyer needs", 3072 "expected_result": "Return typed needs with evidence, revisions, constraints and explicit review state; support supplied linked clarification without creating orders. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3073 "verification_commands": [ 3074 "git diff --check", 3075 "pixi run test", 3076 "pixi run test-spec", 3077 "pixi run test-architecture", 3078 "pixi run check-build", 3079 "pixi run test-domain", 3080 "pixi run test-application" 3081 ], 3082 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3083 "conditional_cargo_commands": [ 3084 "cargo check --workspace --locked", 3085 "cargo test --workspace --locked", 3086 "cargo fmt --all -- --check", 3087 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3088 ], 3089 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3090 "dependencies": [ 3091 "S078" 3092 ] 3093 }, 3094 { 3095 "id": "S080", 3096 "title": "Handle buyer interpretation failures safely", 3097 "phase": "E — interpretation use cases", 3098 "purpose": "Keep execution problems separate from unavailable supply.", 3099 "scope": "Implement bounded failure/degradation semantics for disabled/invalid/timed-out provider responses without emitting a fabricated confirmed need.", 3100 "files": [ 3101 "src/hyf_application/buyer_request.mojo", 3102 "buyer failure fixtures" 3103 ], 3104 "tests": "Inference failure remains review/error; not-stated conditions are not converted to false; source and version metadata preserved.", 3105 "requirements": [ 3106 "HYF-JEV-008", 3107 "HYF-BUY-003", 3108 "HYF-RUN-004" 3109 ], 3110 "introduces_tasks": [], 3111 "commit_message": "application: handle buyer interpretation failures safely", 3112 "expected_result": "Implement bounded failure/degradation semantics for disabled/invalid/timed-out provider responses without emitting a fabricated confirmed need. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3113 "verification_commands": [ 3114 "git diff --check", 3115 "pixi run test", 3116 "pixi run test-spec", 3117 "pixi run test-architecture", 3118 "pixi run check-build", 3119 "pixi run test-domain", 3120 "pixi run test-application" 3121 ], 3122 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3123 "conditional_cargo_commands": [ 3124 "cargo check --workspace --locked", 3125 "cargo test --workspace --locked", 3126 "cargo fmt --all -- --check", 3127 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3128 ], 3129 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3130 "dependencies": [ 3131 "S079" 3132 ] 3133 }, 3134 { 3135 "id": "S081", 3136 "title": "Validate typed matching input and scope", 3137 "phase": "F — deterministic matching and semantic ranking", 3138 "purpose": "Prevent authorization or string-reparse shortcuts.", 3139 "scope": "Accept bound typed need and supplied authorized snapshots/coverage; reject inconsistent identity/version/context and do not reparse rewritten query text.", 3140 "files": [ 3141 "src/hyf_application/buyer_match.mojo", 3142 "matching input tests" 3143 ], 3144 "tests": "Cross-scope records reject before inference; reviewed need semantics retained; missing required context yields explicit input/unresolved handling.", 3145 "requirements": [ 3146 "HYF-BUY-004", 3147 "HYF-MATCH-003", 3148 "HYF-SEC-001" 3149 ], 3150 "introduces_tasks": [], 3151 "commit_message": "matching: validate typed matching input and scope", 3152 "expected_result": "Accept bound typed need and supplied authorized snapshots/coverage; reject inconsistent identity/version/context and do not reparse rewritten query text. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3153 "verification_commands": [ 3154 "git diff --check", 3155 "pixi run test", 3156 "pixi run test-spec", 3157 "pixi run test-architecture", 3158 "pixi run check-build", 3159 "pixi run test-domain", 3160 "pixi run test-application" 3161 ], 3162 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3163 "conditional_cargo_commands": [ 3164 "cargo check --workspace --locked", 3165 "cargo test --workspace --locked", 3166 "cargo fmt --all -- --check", 3167 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3168 ], 3169 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3170 "dependencies": [ 3171 "S080" 3172 ] 3173 }, 3174 { 3175 "id": "S082", 3176 "title": "Validate and index supplied lots", 3177 "phase": "F — deterministic matching and semantic ranking", 3178 "purpose": "Prevent duplicate stock and quadratic duplicate scans.", 3179 "scope": "Create bounded identity/revision indexing with explicit duplicate/conflict policy; no external market retrieval is added.", 3180 "files": [ 3181 "src/hyf_core/matching/candidates.mojo", 3182 "duplicate fixture tests" 3183 ], 3184 "tests": "Duplicate same-lot records cannot double supply; conflicting revisions are not independent lots; maximum candidate bound enforced.", 3185 "requirements": [ 3186 "HYF-MATCH-005", 3187 "HYF-DATA-010", 3188 "HYF-RUN-002" 3189 ], 3190 "introduces_tasks": [], 3191 "commit_message": "matching: validate and index supplied lots", 3192 "expected_result": "Create bounded identity/revision indexing with explicit duplicate/conflict policy; no external market retrieval is added. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3193 "verification_commands": [ 3194 "git diff --check", 3195 "pixi run test", 3196 "pixi run test-spec", 3197 "pixi run test-architecture", 3198 "pixi run check-build", 3199 "pixi run test-domain", 3200 "pixi run test-application" 3201 ], 3202 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3203 "conditional_cargo_commands": [ 3204 "cargo check --workspace --locked", 3205 "cargo test --workspace --locked", 3206 "cargo fmt --all -- --check", 3207 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3208 ], 3209 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3210 "dependencies": [ 3211 "S081" 3212 ] 3213 }, 3214 { 3215 "id": "S083", 3216 "title": "Implement product and substitution checks", 3217 "phase": "F — deterministic matching and semantic ranking", 3218 "purpose": "Gate product feasibility before preference scores.", 3219 "scope": "Check catalogue product compatibility and explicit permitted substitutions using trusted/versioned evidence; uncertain semantic premises remain unknown.", 3220 "files": [ 3221 "src/hyf_core/matching/product_check.mojo", 3222 "product fixtures" 3223 ], 3224 "tests": "Wrong crop fails despite high score; unknown alias conditional; explicit permitted substitute differs from unstated permission.", 3225 "requirements": [ 3226 "HYF-MATCH-001", 3227 "HYF-MATCH-002", 3228 "HYF-BUY-003" 3229 ], 3230 "introduces_tasks": [], 3231 "commit_message": "matching: implement product and substitution checks", 3232 "expected_result": "Check catalogue product compatibility and explicit permitted substitutions using trusted/versioned evidence; uncertain semantic premises remain unknown. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3233 "verification_commands": [ 3234 "git diff --check", 3235 "pixi run test", 3236 "pixi run test-spec", 3237 "pixi run test-architecture", 3238 "pixi run check-build", 3239 "pixi run test-domain", 3240 "pixi run test-application" 3241 ], 3242 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3243 "conditional_cargo_commands": [ 3244 "cargo check --workspace --locked", 3245 "cargo test --workspace --locked", 3246 "cargo fmt --all -- --check", 3247 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3248 ], 3249 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3250 "dependencies": [ 3251 "S082" 3252 ] 3253 }, 3254 { 3255 "id": "S084", 3256 "title": "Implement grade and required-attribute checks", 3257 "phase": "F — deterministic matching and semantic ranking", 3258 "purpose": "Avoid treating semantic plausibility as verified attributes.", 3259 "scope": "Evaluate explicitly required grade/certification/attribute conditions only from accepted evidence; distinguish culinary preference from safety or verification.", 3260 "files": [ 3261 "src/hyf_core/matching/attribute_check.mojo", 3262 "grade/attribute tests" 3263 ], 3264 "tests": "Permitted seconds pass grade condition; required unverified certification remains unknown; unrelated marketing does not verify facts.", 3265 "requirements": [ 3266 "HYF-MATCH-001", 3267 "HYF-MATCH-008" 3268 ], 3269 "introduces_tasks": [], 3270 "commit_message": "matching: implement grade and required-attribute checks", 3271 "expected_result": "Evaluate explicitly required grade/certification/attribute conditions only from accepted evidence; distinguish culinary preference from safety or verification. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3272 "verification_commands": [ 3273 "git diff --check", 3274 "pixi run test", 3275 "pixi run test-spec", 3276 "pixi run test-architecture", 3277 "pixi run check-build", 3278 "pixi run test-domain", 3279 "pixi run test-application" 3280 ], 3281 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3282 "conditional_cargo_commands": [ 3283 "cargo check --workspace --locked", 3284 "cargo test --workspace --locked", 3285 "cargo fmt --all -- --check", 3286 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3287 ], 3288 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3289 "dependencies": [ 3290 "S083" 3291 ] 3292 }, 3293 { 3294 "id": "S085", 3295 "title": "Implement fulfillment method and area checks", 3296 "phase": "F — deterministic matching and semantic ranking", 3297 "purpose": "Require feasible delivery/pickup rather than a bonus.", 3298 "scope": "Evaluate requested method and known service-area compatibility under supplied domain rules; unknown area remains conditional.", 3299 "files": [ 3300 "src/hyf_core/matching/fulfillment_check.mojo", 3301 "fulfillment fixtures" 3302 ], 3303 "tests": "Delivery-only request versus pickup offer fails; missing area cannot pass; optional delivery preference is not a mandatory exclusion.", 3304 "requirements": [ 3305 "HYF-MATCH-001", 3306 "HYF-MATCH-002", 3307 "HYF-BUY-002" 3308 ], 3309 "introduces_tasks": [], 3310 "commit_message": "matching: implement fulfillment method and area checks", 3311 "expected_result": "Evaluate requested method and known service-area compatibility under supplied domain rules; unknown area remains conditional. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3312 "verification_commands": [ 3313 "git diff --check", 3314 "pixi run test", 3315 "pixi run test-spec", 3316 "pixi run test-architecture", 3317 "pixi run check-build", 3318 "pixi run test-domain", 3319 "pixi run test-application" 3320 ], 3321 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3322 "conditional_cargo_commands": [ 3323 "cargo check --workspace --locked", 3324 "cargo test --workspace --locked", 3325 "cargo fmt --all -- --check", 3326 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3327 ], 3328 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3329 "dependencies": [ 3330 "S084" 3331 ] 3332 }, 3333 { 3334 "id": "S086", 3335 "title": "Implement availability and window checks", 3336 "phase": "F — deterministic matching and semantic ranking", 3337 "purpose": "Use real source/snapshot times rather than weekend keywords.", 3338 "scope": "Compare supported normalized windows and verification freshness policies; preserve unknown slot/time evidence and explicit stale limitations.", 3339 "files": [ 3340 "src/hyf_core/matching/time_check.mojo", 3341 "window fixtures" 3342 ], 3343 "tests": "Nonoverlapping windows fail; unknown slot conditional; boundary inclusion and record-versus-harvest age distinctions tested.", 3344 "requirements": [ 3345 "HYF-DATA-007", 3346 "HYF-DATA-008", 3347 "HYF-MATCH-001" 3348 ], 3349 "introduces_tasks": [], 3350 "commit_message": "matching: implement availability and window checks", 3351 "expected_result": "Compare supported normalized windows and verification freshness policies; preserve unknown slot/time evidence and explicit stale limitations. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3352 "verification_commands": [ 3353 "git diff --check", 3354 "pixi run test", 3355 "pixi run test-spec", 3356 "pixi run test-architecture", 3357 "pixi run check-build", 3358 "pixi run test-domain", 3359 "pixi run test-application" 3360 ], 3361 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3362 "conditional_cargo_commands": [ 3363 "cargo check --workspace --locked", 3364 "cargo test --workspace --locked", 3365 "cargo fmt --all -- --check", 3366 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3367 ], 3368 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3369 "dependencies": [ 3370 "S085" 3371 ] 3372 }, 3373 { 3374 "id": "S087", 3375 "title": "Implement applicable price and minimum-order checks", 3376 "phase": "F — deterministic matching and semantic ranking", 3377 "purpose": "Compare only compatible known commercial conditions.", 3378 "scope": "Evaluate stated ceilings/minimums against exact currency/basis/fee context; unresolved costs remain unknown only when material to a mandatory condition.", 3379 "files": [ 3380 "src/hyf_core/matching/price_check.mojo", 3381 "price fixtures" 3382 ], 3383 "tests": "Missing optional price does not invent zero; unknown required total cost conditional; incompatible currencies/bases not silently compared.", 3384 "requirements": [ 3385 "HYF-DATA-006", 3386 "HYF-MATCH-001" 3387 ], 3388 "introduces_tasks": [], 3389 "commit_message": "matching: implement applicable price and minimum-order checks", 3390 "expected_result": "Evaluate stated ceilings/minimums against exact currency/basis/fee context; unresolved costs remain unknown only when material to a mandatory condition. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3391 "verification_commands": [ 3392 "git diff --check", 3393 "pixi run test", 3394 "pixi run test-spec", 3395 "pixi run test-architecture", 3396 "pixi run check-build", 3397 "pixi run test-domain", 3398 "pixi run test-application" 3399 ], 3400 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3401 "conditional_cargo_commands": [ 3402 "cargo check --workspace --locked", 3403 "cargo test --workspace --locked", 3404 "cargo fmt --all -- --check", 3405 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3406 ], 3407 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3408 "dependencies": [ 3409 "S086" 3410 ] 3411 }, 3412 { 3413 "id": "S088", 3414 "title": "Implement per-lot quantity feasibility", 3415 "phase": "F — deterministic matching and semantic ranking", 3416 "purpose": "Use exact available stock under buyer quantity policy.", 3417 "scope": "Check available/unreserved quantity after trusted conversion; preserve approximate or unknown authority quantities under review policy.", 3418 "files": [ 3419 "src/hyf_core/matching/quantity_check.mojo", 3420 "quantity fixtures" 3421 ], 3422 "tests": "50 required versus 30 with partial disallowed fails; equal threshold passes; unknown unreserved quantity conditional regardless of reported harvest.", 3423 "requirements": [ 3424 "HYF-DATA-003", 3425 "HYF-MATCH-001", 3426 "HYF-MATCH-006" 3427 ], 3428 "introduces_tasks": [], 3429 "commit_message": "matching: implement per-lot quantity feasibility", 3430 "expected_result": "Check available/unreserved quantity after trusted conversion; preserve approximate or unknown authority quantities under review policy. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3431 "verification_commands": [ 3432 "git diff --check", 3433 "pixi run test", 3434 "pixi run test-spec", 3435 "pixi run test-architecture", 3436 "pixi run check-build", 3437 "pixi run test-domain", 3438 "pixi run test-application" 3439 ], 3440 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3441 "conditional_cargo_commands": [ 3442 "cargo check --workspace --locked", 3443 "cargo test --workspace --locked", 3444 "cargo fmt --all -- --check", 3445 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3446 ], 3447 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3448 "dependencies": [ 3449 "S087" 3450 ] 3451 }, 3452 { 3453 "id": "S089", 3454 "title": "Compose applicable checks before ranking", 3455 "phase": "F — deterministic matching and semantic ranking", 3456 "purpose": "Centralize hard-condition precedence across dimensions.", 3457 "scope": "Aggregate check results with stable reasons and evidence, keeping conditional/ineligible/eligible sets distinct; do not call semantic ranker for known disqualified items.", 3458 "files": [ 3459 "src/hyf_core/matching/eligibility.mojo", 3460 "src/hyf_application/buyer_match.mojo" 3461 ], 3462 "tests": "All fail/unknown/pass combinations and optional omissions tested; high-score ineligible injection cannot cross the boundary; zero wasted calls asserted.", 3463 "requirements": [ 3464 "HYF-MATCH-001", 3465 "HYF-MATCH-002", 3466 "HYF-JEV-009" 3467 ], 3468 "introduces_tasks": [], 3469 "commit_message": "matching: compose applicable checks before ranking", 3470 "expected_result": "Aggregate check results with stable reasons and evidence, keeping conditional/ineligible/eligible sets distinct; do not call semantic ranker for known disqualified items. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3471 "verification_commands": [ 3472 "git diff --check", 3473 "pixi run test", 3474 "pixi run test-spec", 3475 "pixi run test-architecture", 3476 "pixi run check-build", 3477 "pixi run test-domain", 3478 "pixi run test-application" 3479 ], 3480 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3481 "conditional_cargo_commands": [ 3482 "cargo check --workspace --locked", 3483 "cargo test --workspace --locked", 3484 "cargo fmt --all -- --check", 3485 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3486 ], 3487 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3488 "dependencies": [ 3489 "S088" 3490 ] 3491 }, 3492 { 3493 "id": "S090", 3494 "title": "Group compatible lots by supplier", 3495 "phase": "F — deterministic matching and semantic ranking", 3496 "purpose": "Prepare bounded multi-lot plans without multi-supplier orchestration.", 3497 "scope": "Group only same-supplier compatible product/pack/fulfillment/time lots under selected domain rules; unknown compatibility remains visible.", 3498 "files": [ 3499 "src/hyf_core/matching/grouping.mojo", 3500 "grouping fixtures" 3501 ], 3502 "tests": "Compatible lots combine; cross-supplier or incompatible fulfillment lots cannot become one silently valid plan.", 3503 "requirements": [ 3504 "HYF-MATCH-004", 3505 "HYF-MATCH-008" 3506 ], 3507 "introduces_tasks": [], 3508 "commit_message": "matching: group compatible lots by supplier", 3509 "expected_result": "Group only same-supplier compatible product/pack/fulfillment/time lots under selected domain rules; unknown compatibility remains visible. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3510 "verification_commands": [ 3511 "git diff --check", 3512 "pixi run test", 3513 "pixi run test-spec", 3514 "pixi run test-architecture", 3515 "pixi run check-build", 3516 "pixi run test-domain", 3517 "pixi run test-application" 3518 ], 3519 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3520 "conditional_cargo_commands": [ 3521 "cargo check --workspace --locked", 3522 "cargo test --workspace --locked", 3523 "cargo fmt --all -- --check", 3524 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3525 ], 3526 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3527 "dependencies": [ 3528 "S089" 3529 ] 3530 }, 3531 { 3532 "id": "S091", 3533 "title": "Implement bounded single-line allocation", 3534 "phase": "F — deterministic matching and semantic ranking", 3535 "purpose": "Produce quantity-valid plans from compatible lots.", 3536 "scope": "Allocate a demand line over a bounded compatible same-supplier set using explicit deterministic ordering and exact arithmetic; return truncation/unsupported limits honestly.", 3537 "files": [ 3538 "src/hyf_core/matching/allocator.mojo", 3539 "independent single-line oracle tests" 3540 ], 3541 "tests": "20+30 meets 50 without overshoot; 20+20 fails full request; bounds terminate deterministically; no optimality claim.", 3542 "requirements": [ 3543 "HYF-MATCH-004", 3544 "HYF-MATCH-005", 3545 "HYF-TEST-008" 3546 ], 3547 "introduces_tasks": [], 3548 "commit_message": "matching: implement bounded single-line allocation", 3549 "expected_result": "Allocate a demand line over a bounded compatible same-supplier set using explicit deterministic ordering and exact arithmetic; return truncation/unsupported limits honestly. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3550 "verification_commands": [ 3551 "git diff --check", 3552 "pixi run test", 3553 "pixi run test-spec", 3554 "pixi run test-architecture", 3555 "pixi run check-build", 3556 "pixi run test-domain", 3557 "pixi run test-application" 3558 ], 3559 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3560 "conditional_cargo_commands": [ 3561 "cargo check --workspace --locked", 3562 "cargo test --workspace --locked", 3563 "cargo fmt --all -- --check", 3564 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3565 ], 3566 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3567 "dependencies": [ 3568 "S090" 3569 ] 3570 }, 3571 { 3572 "id": "S092", 3573 "title": "Enforce conservation across multiple demand lines", 3574 "phase": "F — deterministic matching and semantic ranking", 3575 "purpose": "Stop one lot being reused twice within a plan.", 3576 "scope": "Track residual stock by underlying lot through multi-line allocations and validate every completed plan independently of planner heuristics.", 3577 "files": [ 3578 "src/hyf_core/matching/allocator.mojo", 3579 "src/hyf_core/matching/plan_validation.mojo" 3580 ], 3581 "tests": "Shared lot across two lines cannot exceed stock; duplicate candidate IDs do not evade conservation; independent small enumeration oracle compares feasibility.", 3582 "requirements": [ 3583 "HYF-MATCH-005", 3584 "HYF-BUY-001", 3585 "HYF-TEST-008" 3586 ], 3587 "introduces_tasks": [], 3588 "commit_message": "matching: enforce conservation across multiple demand lines", 3589 "expected_result": "Track residual stock by underlying lot through multi-line allocations and validate every completed plan independently of planner heuristics. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3590 "verification_commands": [ 3591 "git diff --check", 3592 "pixi run test", 3593 "pixi run test-spec", 3594 "pixi run test-architecture", 3595 "pixi run check-build", 3596 "pixi run test-domain", 3597 "pixi run test-application" 3598 ], 3599 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3600 "conditional_cargo_commands": [ 3601 "cargo check --workspace --locked", 3602 "cargo test --workspace --locked", 3603 "cargo fmt --all -- --check", 3604 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3605 ], 3606 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3607 "dependencies": [ 3608 "S091" 3609 ] 3610 }, 3611 { 3612 "id": "S093", 3613 "title": "Represent explicit partial-fulfillment outcomes", 3614 "phase": "F — deterministic matching and semantic ranking", 3615 "purpose": "Respect buyer permission and disclose uncovered demand.", 3616 "scope": "Allow partial plans only under an explicit bound buyer policy; report covered and uncovered quantities/lines without calling a partial plan full fulfillment.", 3617 "files": [ 3618 "src/hyf_core/matching/allocator.mojo", 3619 "partial-plan fixtures" 3620 ], 3621 "tests": "Partial denied fails shortage; partial permitted carries exact deficit; unknown partial policy cannot grant permission.", 3622 "requirements": [ 3623 "HYF-MATCH-006", 3624 "HYF-BUY-003" 3625 ], 3626 "introduces_tasks": [], 3627 "commit_message": "matching: represent explicit partial-fulfillment outcomes", 3628 "expected_result": "Allow partial plans only under an explicit bound buyer policy; report covered and uncovered quantities/lines without calling a partial plan full fulfillment. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3629 "verification_commands": [ 3630 "git diff --check", 3631 "pixi run test", 3632 "pixi run test-spec", 3633 "pixi run test-architecture", 3634 "pixi run check-build", 3635 "pixi run test-domain", 3636 "pixi run test-application" 3637 ], 3638 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3639 "conditional_cargo_commands": [ 3640 "cargo check --workspace --locked", 3641 "cargo test --workspace --locked", 3642 "cargo fmt --all -- --check", 3643 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3644 ], 3645 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3646 "dependencies": [ 3647 "S092" 3648 ] 3649 }, 3650 { 3651 "id": "S094", 3652 "title": "Represent alternative plans and planner limitations", 3653 "phase": "F — deterministic matching and semantic ranking", 3654 "purpose": "Avoid global or simultaneous-commitment overclaims.", 3655 "scope": "Return bounded alternative plans with coverage and supported single-supplier mode; clarify that alternatives may share stock but cannot all be assumed reservable.", 3656 "files": [ 3657 "src/hyf_core/matching/plan.mojo", 3658 "src/hyf_core/matching/coverage.mojo" 3659 ], 3660 "tests": "Unsupported multi-supplier request is explicit; no eligible supplied plan does not imply global absence; alternatives never mark inventory reserved.", 3661 "requirements": [ 3662 "HYF-MATCH-004", 3663 "HYF-MATCH-007", 3664 "HYF-MATCH-010" 3665 ], 3666 "introduces_tasks": [], 3667 "commit_message": "matching: represent alternative plans and planner limitations", 3668 "expected_result": "Return bounded alternative plans with coverage and supported single-supplier mode; clarify that alternatives may share stock but cannot all be assumed reservable. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3669 "verification_commands": [ 3670 "git diff --check", 3671 "pixi run test", 3672 "pixi run test-spec", 3673 "pixi run test-architecture", 3674 "pixi run check-build", 3675 "pixi run test-domain", 3676 "pixi run test-application" 3677 ], 3678 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3679 "conditional_cargo_commands": [ 3680 "cargo check --workspace --locked", 3681 "cargo test --workspace --locked", 3682 "cargo fmt --all -- --check", 3683 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3684 ], 3685 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3686 "dependencies": [ 3687 "S093" 3688 ] 3689 }, 3690 { 3691 "id": "S095", 3692 "title": "Gate semantic suitability on sufficient evidence", 3693 "phase": "F — deterministic matching and semantic ranking", 3694 "purpose": "Keep missing evidence out of ordered rubrics.", 3695 "scope": "Implement evidence-sufficiency selection before scoring each relevant semantic dimension; unknown mandatory premises remain conditional and optional unknown scores are labeled.", 3696 "files": [ 3697 "src/hyf_application/match_semantics.mojo", 3698 "evidence gating fixtures" 3699 ], 3700 "tests": "Unknown is not midpoint; low suitability differs from insufficient evidence; no model call changes prior mandatory failures.", 3701 "requirements": [ 3702 "HYF-MATCH-008", 3703 "HYF-JEV-002" 3704 ], 3705 "introduces_tasks": [], 3706 "commit_message": "matching: gate semantic suitability on sufficient evidence", 3707 "expected_result": "Implement evidence-sufficiency selection before scoring each relevant semantic dimension; unknown mandatory premises remain conditional and optional unknown scores are labeled. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3708 "verification_commands": [ 3709 "git diff --check", 3710 "pixi run test", 3711 "pixi run test-spec", 3712 "pixi run test-architecture", 3713 "pixi run check-build", 3714 "pixi run test-domain", 3715 "pixi run test-application" 3716 ], 3717 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3718 "conditional_cargo_commands": [ 3719 "cargo check --workspace --locked", 3720 "cargo test --workspace --locked", 3721 "cargo fmt --all -- --check", 3722 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3723 ], 3724 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3725 "dependencies": [ 3726 "S094" 3727 ] 3728 }, 3729 { 3730 "id": "S096", 3731 "title": "Add culinary-use semantic scoring", 3732 "phase": "F — deterministic matching and semantic ranking", 3733 "purpose": "Use Jev for a narrowly defined valuable preference.", 3734 "scope": "Build a versioned rubric for stated culinary fit using relevant authorized product/request context; exclude quantity/date/price/transaction decisions.", 3735 "files": [ 3736 "src/hyf_application/questions/culinary_fit", 3737 "src/hyf_application/match_semantics.mojo" 3738 ], 3739 "tests": "Exact outbound question/state and scripted ordered Score response mapped; safety/certification conclusions are not produced.", 3740 "requirements": [ 3741 "HYF-JEV-007", 3742 "HYF-MATCH-008", 3743 "HYF-JEV-009" 3744 ], 3745 "introduces_tasks": [], 3746 "commit_message": "matching: add culinary-use semantic scoring", 3747 "expected_result": "Build a versioned rubric for stated culinary fit using relevant authorized product/request context; exclude quantity/date/price/transaction decisions. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3748 "verification_commands": [ 3749 "git diff --check", 3750 "pixi run test", 3751 "pixi run test-spec", 3752 "pixi run test-architecture", 3753 "pixi run check-build", 3754 "pixi run test-domain", 3755 "pixi run test-application" 3756 ], 3757 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3758 "conditional_cargo_commands": [ 3759 "cargo check --workspace --locked", 3760 "cargo test --workspace --locked", 3761 "cargo fmt --all -- --check", 3762 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3763 ], 3764 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3765 "dependencies": [ 3766 "S095" 3767 ] 3768 }, 3769 { 3770 "id": "S097", 3771 "title": "Compose normalized versioned preferences", 3772 "phase": "F — deterministic matching and semantic ranking", 3773 "purpose": "Make unlike rubric scales comparable deliberately.", 3774 "scope": "Normalize raw scores to declared scales and combine justified deterministic preference metrics with explicit versioned weights; missing dimensions follow approved policy.", 3775 "files": [ 3776 "src/hyf_core/matching/rank.mojo", 3777 "score normalization fixtures" 3778 ], 3779 "tests": "Three-level 0..2 and two-level 0..1 normalization, unknown dimension behavior, no success-probability labeling and finite arithmetic tested.", 3780 "requirements": [ 3781 "HYF-MATCH-009", 3782 "HYF-JEV-005" 3783 ], 3784 "introduces_tasks": [], 3785 "commit_message": "matching: compose normalized versioned preferences", 3786 "expected_result": "Normalize raw scores to declared scales and combine justified deterministic preference metrics with explicit versioned weights; missing dimensions follow approved policy. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3787 "verification_commands": [ 3788 "git diff --check", 3789 "pixi run test", 3790 "pixi run test-spec", 3791 "pixi run test-architecture", 3792 "pixi run check-build", 3793 "pixi run test-domain", 3794 "pixi run test-application" 3795 ], 3796 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3797 "conditional_cargo_commands": [ 3798 "cargo check --workspace --locked", 3799 "cargo test --workspace --locked", 3800 "cargo fmt --all -- --check", 3801 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3802 ], 3803 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3804 "dependencies": [ 3805 "S096" 3806 ] 3807 }, 3808 { 3809 "id": "S098", 3810 "title": "Use deterministic efficient ranking and tie breaks", 3811 "phase": "F — deterministic matching and semantic ranking", 3812 "purpose": "Eliminate incidental order and list-copy growth.", 3813 "scope": "Sort eligible and conditional groups separately with stable deterministic tie policy; bound alternatives and preserve reasons independent of output order.", 3814 "files": [ 3815 "src/hyf_core/matching/rank.mojo", 3816 "permutation and complexity tests" 3817 ], 3818 "tests": "Permuting fixed candidates/premises preserves ordering; ties stable; ineligible excluded; bounded input scaling measured without brittle timing assertions.", 3819 "requirements": [ 3820 "HYF-MATCH-009", 3821 "HYF-MATCH-002", 3822 "HYF-RUN-002" 3823 ], 3824 "introduces_tasks": [], 3825 "commit_message": "matching: use deterministic efficient ranking and tie breaks", 3826 "expected_result": "Sort eligible and conditional groups separately with stable deterministic tie policy; bound alternatives and preserve reasons independent of output order. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3827 "verification_commands": [ 3828 "git diff --check", 3829 "pixi run test", 3830 "pixi run test-spec", 3831 "pixi run test-architecture", 3832 "pixi run check-build", 3833 "pixi run test-domain", 3834 "pixi run test-application" 3835 ], 3836 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3837 "conditional_cargo_commands": [ 3838 "cargo check --workspace --locked", 3839 "cargo test --workspace --locked", 3840 "cargo fmt --all -- --check", 3841 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3842 ], 3843 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3844 "dependencies": [ 3845 "S097" 3846 ] 3847 }, 3848 { 3849 "id": "S099", 3850 "title": "Generate evidence-backed match explanations", 3851 "phase": "F — deterministic matching and semantic ranking", 3852 "purpose": "Expose verified reasons and unresolved actions without model prose.", 3853 "scope": "Render safe reason-code/evidence projections and next-confirmation requirements from assessments/plans; do not leak private source text by default.", 3854 "files": [ 3855 "src/hyf_application/match_output.mojo", 3856 "consumer explanation fixtures" 3857 ], 3858 "tests": "Conditional versus eligible labels, uncovered demand, private evidence filtering and no reserved/global-no-supply wording assertions.", 3859 "requirements": [ 3860 "HYF-MATCH-007", 3861 "HYF-MATCH-010", 3862 "HYF-SEC-004" 3863 ], 3864 "introduces_tasks": [], 3865 "commit_message": "matching: generate evidence-backed match explanations", 3866 "expected_result": "Render safe reason-code/evidence projections and next-confirmation requirements from assessments/plans; do not leak private source text by default. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3867 "verification_commands": [ 3868 "git diff --check", 3869 "pixi run test", 3870 "pixi run test-spec", 3871 "pixi run test-architecture", 3872 "pixi run check-build", 3873 "pixi run test-domain", 3874 "pixi run test-application" 3875 ], 3876 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3877 "conditional_cargo_commands": [ 3878 "cargo check --workspace --locked", 3879 "cargo test --workspace --locked", 3880 "cargo fmt --all -- --check", 3881 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3882 ], 3883 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3884 "dependencies": [ 3885 "S098" 3886 ] 3887 }, 3888 { 3889 "id": "S100", 3890 "title": "Handle semantic-ranking failure without changing feasibility", 3891 "phase": "F — deterministic matching and semantic ranking", 3892 "purpose": "Provide honest degraded advisory matching.", 3893 "scope": "Use the declared deterministic preference fallback or partial assessment when Jev is unavailable; retain all mandatory unknowns/failures and actual backend status.", 3894 "files": [ 3895 "src/hyf_application/buyer_match.mojo", 3896 "ranking outage fixtures" 3897 ], 3898 "tests": "Jev timeout preserves eligibility categories, labels degradation and never returns failure as business unavailability; no hidden heuristic stock inference.", 3899 "requirements": [ 3900 "HYF-JEV-008", 3901 "HYF-MATCH-001", 3902 "HYF-RUN-008" 3903 ], 3904 "introduces_tasks": [], 3905 "commit_message": "matching: handle semantic-ranking failure without changing feasibility", 3906 "expected_result": "Use the declared deterministic preference fallback or partial assessment when Jev is unavailable; retain all mandatory unknowns/failures and actual backend status. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3907 "verification_commands": [ 3908 "git diff --check", 3909 "pixi run test", 3910 "pixi run test-spec", 3911 "pixi run test-architecture", 3912 "pixi run check-build", 3913 "pixi run test-domain", 3914 "pixi run test-application" 3915 ], 3916 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3917 "conditional_cargo_commands": [ 3918 "cargo check --workspace --locked", 3919 "cargo test --workspace --locked", 3920 "cargo fmt --all -- --check", 3921 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3922 ], 3923 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3924 "dependencies": [ 3925 "S099" 3926 ] 3927 }, 3928 { 3929 "id": "S101", 3930 "title": "Implement persistent bounded request reading", 3931 "phase": "G — public process and wire integration", 3932 "purpose": "Replace one-shot execution without changing business dispatch.", 3933 "scope": "Read newline-delimited frames until EOF using bounded buffering and correct UTF-8/frame boundaries; retain chosen final-frame policy.", 3934 "files": [ 3935 "src/hyf_stdio/server.mojo", 3936 "process reader tests" 3937 ], 3938 "tests": "Fragmented and coalesced requests, escaped newlines, empty EOF and bounded partial EOF cases work per contract; no unbounded input.", 3939 "requirements": [ 3940 "HYF-RUN-001", 3941 "HYF-RUN-002", 3942 "HYF-CORE-005" 3943 ], 3944 "introduces_tasks": [], 3945 "commit_message": "stdio: implement persistent bounded request reading", 3946 "expected_result": "Read newline-delimited frames until EOF using bounded buffering and correct UTF-8/frame boundaries; retain chosen final-frame policy. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3947 "verification_commands": [ 3948 "git diff --check", 3949 "pixi run test", 3950 "pixi run test-spec", 3951 "pixi run test-architecture", 3952 "pixi run check-build", 3953 "pixi run test-runtime-contract", 3954 "pixi run test-jev-transport" 3955 ], 3956 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3957 "conditional_cargo_commands": [ 3958 "cargo check --workspace --locked", 3959 "cargo test --workspace --locked", 3960 "cargo fmt --all -- --check", 3961 "cargo clippy --workspace --all-targets --locked -- -D warnings" 3962 ], 3963 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 3964 "dependencies": [ 3965 "S100" 3966 ] 3967 }, 3968 { 3969 "id": "S102", 3970 "title": "Flush ordered responses and isolate diagnostics", 3971 "phase": "G — public process and wire integration", 3972 "purpose": "Make persistent use observable and deadlock-resistant.", 3973 "scope": "Write complete responses in sequence, flush appropriately and keep diagnostics on stderr; bound output handling and honor one-in-flight contract.", 3974 "files": [ 3975 "src/hyf_stdio/server.mojo", 3976 "src/hyf_stdio response writer", 3977 "process tests" 3978 ], 3979 "tests": "Multiple requests without closing stdin receive responses; stderr noise cannot corrupt JSON; slow reader/output limits remain bounded.", 3980 "requirements": [ 3981 "HYF-RUN-001", 3982 "HYF-RUN-003", 3983 "HYF-RUN-007" 3984 ], 3985 "introduces_tasks": [], 3986 "commit_message": "stdio: flush ordered responses and isolate diagnostics", 3987 "expected_result": "Write complete responses in sequence, flush appropriately and keep diagnostics on stderr; bound output handling and honor one-in-flight contract. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 3988 "verification_commands": [ 3989 "git diff --check", 3990 "pixi run test", 3991 "pixi run test-spec", 3992 "pixi run test-architecture", 3993 "pixi run check-build", 3994 "pixi run test-runtime-contract", 3995 "pixi run test-jev-transport" 3996 ], 3997 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 3998 "conditional_cargo_commands": [ 3999 "cargo check --workspace --locked", 4000 "cargo test --workspace --locked", 4001 "cargo fmt --all -- --check", 4002 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4003 ], 4004 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4005 "dependencies": [ 4006 "S101" 4007 ] 4008 }, 4009 { 4010 "id": "S103", 4011 "title": "Recover from malformed framed requests", 4012 "phase": "G — public process and wire integration", 4013 "purpose": "Keep one bad message from poisoning the session.", 4014 "scope": "Return existing-compatible safe errors for recoverable invalid frames and continue; apply explicit fail/close policy for oversized/unrecoverable framing.", 4015 "files": [ 4016 "src/hyf_stdio/server.mojo", 4017 "raw protocol fixtures" 4018 ], 4019 "tests": "Valid-invalid-valid yields expected responses; missing ID handled without fabrication; size/depth/invalid UTF-8 behavior bounded.", 4020 "requirements": [ 4021 "HYF-RUN-002", 4022 "HYF-CORE-005" 4023 ], 4024 "introduces_tasks": [], 4025 "commit_message": "stdio: recover from malformed framed requests", 4026 "expected_result": "Return existing-compatible safe errors for recoverable invalid frames and continue; apply explicit fail/close policy for oversized/unrecoverable framing. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4027 "verification_commands": [ 4028 "git diff --check", 4029 "pixi run test", 4030 "pixi run test-spec", 4031 "pixi run test-architecture", 4032 "pixi run check-build", 4033 "pixi run test-runtime-contract", 4034 "pixi run test-jev-transport" 4035 ], 4036 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4037 "conditional_cargo_commands": [ 4038 "cargo check --workspace --locked", 4039 "cargo test --workspace --locked", 4040 "cargo fmt --all -- --check", 4041 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4042 ], 4043 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4044 "dependencies": [ 4045 "S102" 4046 ] 4047 }, 4048 { 4049 "id": "S104", 4050 "title": "Prepare gated descriptors for new operations", 4051 "phase": "G — public process and wire integration", 4052 "purpose": "Prepare capability metadata without advertising handlers before their wire paths exist.", 4053 "scope": "Add descriptors for internally implemented pipelines but keep each public operation unadvertised/unavailable until its real wire handler and process tests land in S105, S106 or S107. Preserve legacy discovery behavior and policy/configuration distinctions.", 4054 "files": [ 4055 "src/hyf_core/capabilities/registry.mojo", 4056 "discovery fixtures" 4057 ], 4058 "tests": "Internal supported metadata is represented without public callable advertisement; attempts to invoke unbound operations remain safely unavailable; old discovery fixtures pass.", 4059 "requirements": [ 4060 "HYF-BUY-006", 4061 "HYF-RUN-006", 4062 "HYF-CORE-005" 4063 ], 4064 "introduces_tasks": [], 4065 "commit_message": "stdio: prepare gated descriptors for new operations", 4066 "expected_result": "Descriptors cannot advertise a callable operation before a real handler is registered. Existing public behavior remains green.", 4067 "verification_commands": [ 4068 "git diff --check", 4069 "pixi run test", 4070 "pixi run test-spec", 4071 "pixi run test-architecture", 4072 "pixi run check-build", 4073 "pixi run test-runtime-contract", 4074 "pixi run test-jev-transport" 4075 ], 4076 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4077 "conditional_cargo_commands": [ 4078 "cargo check --workspace --locked", 4079 "cargo test --workspace --locked", 4080 "cargo fmt --all -- --check", 4081 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4082 ], 4083 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4084 "dependencies": [ 4085 "S103" 4086 ] 4087 }, 4088 { 4089 "id": "S105", 4090 "title": "Expose farm_update interpretation over stdio", 4091 "phase": "G — public process and wire integration", 4092 "purpose": "Connect approved public surface to the real pipeline.", 4093 "scope": "Bind selected farm input/output schema to domain/application types and dispatcher; runtime budgets/identity checks precede inference. Register and advertise this operation only in the same tested change that installs its real handler, subject to enablement policy.", 4094 "files": [ 4095 "src/hyf_stdio dispatch/codec modules", 4096 "farm wire fixtures" 4097 ], 4098 "tests": "Real hyfd plus strict local Jev server produces evidence-backed farm result; invalid input, review and failure cases pass with no mutation side effects.", 4099 "requirements": [ 4100 "HYF-BUY-006", 4101 "HYF-FARM-009", 4102 "HYF-TEST-005" 4103 ], 4104 "introduces_tasks": [], 4105 "commit_message": "stdio: expose farm_update interpretation over stdio", 4106 "expected_result": "Bind selected farm input/output schema to domain/application types and dispatcher; runtime budgets/identity checks precede inference. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4107 "verification_commands": [ 4108 "git diff --check", 4109 "pixi run test", 4110 "pixi run test-spec", 4111 "pixi run test-architecture", 4112 "pixi run check-build", 4113 "pixi run test-runtime-contract", 4114 "pixi run test-jev-transport" 4115 ], 4116 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4117 "conditional_cargo_commands": [ 4118 "cargo check --workspace --locked", 4119 "cargo test --workspace --locked", 4120 "cargo fmt --all -- --check", 4121 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4122 ], 4123 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4124 "dependencies": [ 4125 "S104" 4126 ] 4127 }, 4128 { 4129 "id": "S106", 4130 "title": "Expose buyer_request interpretation over stdio", 4131 "phase": "G — public process and wire integration", 4132 "purpose": "Deliver typed demand creation without order authority.", 4133 "scope": "Add actual wire codec/dispatch for buyer interpretation and material clarification outputs; preserve metadata/error conventions. Register and advertise this operation only in the same tested change that installs its real handler, subject to enablement policy.", 4134 "files": [ 4135 "src/hyf_stdio dispatch/codec modules", 4136 "buyer interpretation wire fixtures" 4137 ], 4138 "tests": "Multi-line/negation/unknown/failed-provider cases traverse built hyfd and production adapter; no hidden session state required.", 4139 "requirements": [ 4140 "HYF-BUY-001", 4141 "HYF-BUY-002", 4142 "HYF-BUY-005", 4143 "HYF-TEST-005" 4144 ], 4145 "introduces_tasks": [], 4146 "commit_message": "stdio: expose buyer_request interpretation over stdio", 4147 "expected_result": "Add actual wire codec/dispatch for buyer interpretation and material clarification outputs; preserve metadata/error conventions. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4148 "verification_commands": [ 4149 "git diff --check", 4150 "pixi run test", 4151 "pixi run test-spec", 4152 "pixi run test-architecture", 4153 "pixi run check-build", 4154 "pixi run test-runtime-contract", 4155 "pixi run test-jev-transport" 4156 ], 4157 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4158 "conditional_cargo_commands": [ 4159 "cargo check --workspace --locked", 4160 "cargo test --workspace --locked", 4161 "cargo fmt --all -- --check", 4162 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4163 ], 4164 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4165 "dependencies": [ 4166 "S105" 4167 ] 4168 }, 4169 { 4170 "id": "S107", 4171 "title": "Expose buyer_request matching over stdio", 4172 "phase": "G — public process and wire integration", 4173 "purpose": "Return typed feasible plans through the canonical process.", 4174 "scope": "Bind typed needs, snapshots/coverage and match outputs to the actual wire contract; no rewritten query parsing or implicit retrieval added. Register and advertise this operation only in the same tested change that installs its real handler, subject to enablement policy.", 4175 "files": [ 4176 "src/hyf_stdio dispatch/codec modules", 4177 "buyer match wire fixtures" 4178 ], 4179 "tests": "Built daemon verifies fail/unknown/pass, compatible-lot plans, stale/duplicate inputs, coverage and degraded ranking results.", 4180 "requirements": [ 4181 "HYF-BUY-004", 4182 "HYF-MATCH-003", 4183 "HYF-MATCH-004", 4184 "HYF-TEST-005" 4185 ], 4186 "introduces_tasks": [], 4187 "commit_message": "stdio: expose buyer_request matching over stdio", 4188 "expected_result": "Bind typed needs, snapshots/coverage and match outputs to the actual wire contract; no rewritten query parsing or implicit retrieval added. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4189 "verification_commands": [ 4190 "git diff --check", 4191 "pixi run test", 4192 "pixi run test-spec", 4193 "pixi run test-architecture", 4194 "pixi run check-build", 4195 "pixi run test-runtime-contract", 4196 "pixi run test-jev-transport" 4197 ], 4198 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4199 "conditional_cargo_commands": [ 4200 "cargo check --workspace --locked", 4201 "cargo test --workspace --locked", 4202 "cargo fmt --all -- --check", 4203 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4204 ], 4205 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4206 "dependencies": [ 4207 "S106" 4208 ] 4209 }, 4210 { 4211 "id": "S108", 4212 "title": "Exercise new-operation configuration matrix", 4213 "phase": "G — public process and wire integration", 4214 "purpose": "Prove public policy behaves correctly under all supported flags.", 4215 "scope": "Add full disabled/unconfigured/denied/ready/provider-down matrices for each new operation plus retained max_local/legacy modes.", 4216 "files": [ 4217 "tests/test_stdio_contract.mojo", 4218 "runtime/discovery fixtures" 4219 ], 4220 "tests": "No flag combination bypasses permissions, revives unimplemented capability or silently confirms stock via fallback.", 4221 "requirements": [ 4222 "HYF-RUN-006", 4223 "HYF-JEV-008", 4224 "HYF-CORE-005" 4225 ], 4226 "introduces_tasks": [], 4227 "commit_message": "stdio: exercise new-operation configuration matrix", 4228 "expected_result": "Add full disabled/unconfigured/denied/ready/provider-down matrices for each new operation plus retained max_local/legacy modes. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4229 "verification_commands": [ 4230 "git diff --check", 4231 "pixi run test", 4232 "pixi run test-spec", 4233 "pixi run test-architecture", 4234 "pixi run check-build", 4235 "pixi run test-runtime-contract", 4236 "pixi run test-jev-transport" 4237 ], 4238 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4239 "conditional_cargo_commands": [ 4240 "cargo check --workspace --locked", 4241 "cargo test --workspace --locked", 4242 "cargo fmt --all -- --check", 4243 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4244 ], 4245 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4246 "dependencies": [ 4247 "S107" 4248 ] 4249 }, 4250 { 4251 "id": "S109", 4252 "title": "Preserve and extend wire compatibility corpus", 4253 "phase": "G — public process and wire integration", 4254 "purpose": "Share only actual stable public contracts.", 4255 "scope": "Add finalized new wire scenarios under discovered canonical sync workflow while preserving old scenarios; update local mirror/checksum metadata without requiring parent checkout.", 4256 "files": [ 4257 "tests/fixtures/v1/", 4258 "authorized parent canonical family", 4259 "sync tooling docs" 4260 ], 4261 "tests": "Old local fixtures pass; standalone tests work parent-absent; authorized parent verification records real sync or explicit external blocker.", 4262 "requirements": [ 4263 "HYF-CORE-005", 4264 "HYF-TEST-002", 4265 "HYF-REL-004" 4266 ], 4267 "introduces_tasks": [], 4268 "commit_message": "stdio: preserve and extend wire compatibility corpus", 4269 "expected_result": "Add finalized new wire scenarios under discovered canonical sync workflow while preserving old scenarios; update local mirror/checksum metadata without requiring parent checkout. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4270 "verification_commands": [ 4271 "git diff --check", 4272 "pixi run test", 4273 "pixi run test-spec", 4274 "pixi run test-architecture", 4275 "pixi run check-build", 4276 "pixi run test-runtime-contract", 4277 "pixi run test-jev-transport" 4278 ], 4279 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4280 "conditional_cargo_commands": [ 4281 "cargo check --workspace --locked", 4282 "cargo test --workspace --locked", 4283 "cargo fmt --all -- --check", 4284 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4285 ], 4286 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4287 "dependencies": [ 4288 "S108" 4289 ] 4290 }, 4291 { 4292 "id": "S110", 4293 "title": "Verify daemon shutdown and long-session cleanup", 4294 "phase": "G — public process and wire integration", 4295 "purpose": "Ensure persistent sessions do not leak resources.", 4296 "scope": "Handle EOF/errors/host termination with bounded cleanup of provider connections and internal state; update process helpers to own child lifetimes correctly.", 4297 "files": [ 4298 "src/hyf_stdio/server.mojo", 4299 "tests/stdio_process_helper.mojo", 4300 "lifecycle tests" 4301 ], 4302 "tests": "Repeated mixed requests, abrupt pipe closure, provider crash and watchdog termination leave no orphan child/socket/descriptor growth.", 4303 "requirements": [ 4304 "HYF-RUN-007", 4305 "HYF-RUN-001", 4306 "HYF-TEST-007" 4307 ], 4308 "introduces_tasks": [], 4309 "commit_message": "stdio: verify daemon shutdown and long-session cleanup", 4310 "expected_result": "Handle EOF/errors/host termination with bounded cleanup of provider connections and internal state; update process helpers to own child lifetimes correctly. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4311 "verification_commands": [ 4312 "git diff --check", 4313 "pixi run test", 4314 "pixi run test-spec", 4315 "pixi run test-architecture", 4316 "pixi run check-build", 4317 "pixi run test-runtime-contract", 4318 "pixi run test-jev-transport" 4319 ], 4320 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4321 "conditional_cargo_commands": [ 4322 "cargo check --workspace --locked", 4323 "cargo test --workspace --locked", 4324 "cargo fmt --all -- --check", 4325 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4326 ], 4327 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4328 "dependencies": [ 4329 "S109" 4330 ] 4331 }, 4332 { 4333 "id": "S111", 4334 "title": "Add the farm review-confirmation journey", 4335 "phase": "H — journey and adversarial acceptance", 4336 "purpose": "Verify handoff semantics across multiple calls.", 4337 "scope": "Create a test application simulation for source→interpret→clarify→review→authorized-command proposal, using real Hyf operations and no production inventory storage.", 4338 "files": [ 4339 "tests/journeys/farm_update.mojo", 4340 "journey fixtures", 4341 "pixi.toml" 4342 ], 4343 "tests": "Original evidence preserved, material answer resolves intended field and Hyf performs no write; introduce test-journeys into offline default suite.", 4344 "requirements": [ 4345 "HYF-FARM-005", 4346 "HYF-FARM-006", 4347 "HYF-FARM-009", 4348 "HYF-CORE-002" 4349 ], 4350 "introduces_tasks": [ 4351 "test-journeys" 4352 ], 4353 "commit_message": "test: add the farm review-confirmation journey", 4354 "expected_result": "Create a test application simulation for source→interpret→clarify→review→authorized-command proposal, using real Hyf operations and no production inventory storage. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4355 "verification_commands": [ 4356 "git diff --check", 4357 "pixi run test", 4358 "pixi run test-spec", 4359 "pixi run test-architecture", 4360 "pixi run check-build", 4361 "pixi run test-domain", 4362 "pixi run test-application", 4363 "pixi run test-journeys" 4364 ], 4365 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4366 "conditional_cargo_commands": [ 4367 "cargo check --workspace --locked", 4368 "cargo test --workspace --locked", 4369 "cargo fmt --all -- --check", 4370 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4371 ], 4372 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4373 "dependencies": [ 4374 "S110" 4375 ] 4376 }, 4377 { 4378 "id": "S112", 4379 "title": "Add the buyer interpretation-match journey", 4380 "phase": "H — journey and adversarial acceptance", 4381 "purpose": "Verify typed intent survives end-to-end composition.", 4382 "scope": "Run raw buyer request through interpretation, explicit material review and matching against synthetic authorized snapshots; use real domain/application/stdio adapters.", 4383 "files": [ 4384 "tests/journeys/buyer_request.mojo", 4385 "complete journey fixtures" 4386 ], 4387 "tests": "Negation/quantity/grade/date persist across operation boundaries; eligible/conditional labels and no reservation claim verified.", 4388 "requirements": [ 4389 "HYF-BUY-004", 4390 "HYF-BUY-005", 4391 "HYF-MATCH-007" 4392 ], 4393 "introduces_tasks": [], 4394 "commit_message": "test: add the buyer interpretation-match journey", 4395 "expected_result": "Run raw buyer request through interpretation, explicit material review and matching against synthetic authorized snapshots; use real domain/application/stdio adapters. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4396 "verification_commands": [ 4397 "git diff --check", 4398 "pixi run test", 4399 "pixi run test-spec", 4400 "pixi run test-architecture", 4401 "pixi run check-build", 4402 "pixi run test-domain", 4403 "pixi run test-application", 4404 "pixi run test-journeys" 4405 ], 4406 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4407 "conditional_cargo_commands": [ 4408 "cargo check --workspace --locked", 4409 "cargo test --workspace --locked", 4410 "cargo fmt --all -- --check", 4411 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4412 ], 4413 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4414 "dependencies": [ 4415 "S111" 4416 ] 4417 }, 4418 { 4419 "id": "S113", 4420 "title": "Simulate duplicate and stale authority responses", 4421 "phase": "H — journey and adversarial acceptance", 4422 "purpose": "Make external handoff expectations testable locally.", 4423 "scope": "Add explicit test-only authority behavior for duplicate accepted source revisions, stale expected versions and changed stock; do not represent it as production persistence.", 4424 "files": [ 4425 "tests/journeys/authority_contract.mojo", 4426 "integration contract notes" 4427 ], 4428 "tests": "Duplicate applies once in simulation, stale update conflicts and stock change requires revalidation; report real-service gate still open.", 4429 "requirements": [ 4430 "HYF-DATA-010", 4431 "HYF-MATCH-011", 4432 "HYF-REL-004" 4433 ], 4434 "introduces_tasks": [], 4435 "commit_message": "test: simulate duplicate and stale authority responses", 4436 "expected_result": "Add explicit test-only authority behavior for duplicate accepted source revisions, stale expected versions and changed stock; do not represent it as production persistence. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4437 "verification_commands": [ 4438 "git diff --check", 4439 "pixi run test", 4440 "pixi run test-spec", 4441 "pixi run test-architecture", 4442 "pixi run check-build", 4443 "pixi run test-domain", 4444 "pixi run test-application", 4445 "pixi run test-journeys" 4446 ], 4447 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4448 "conditional_cargo_commands": [ 4449 "cargo check --workspace --locked", 4450 "cargo test --workspace --locked", 4451 "cargo fmt --all -- --check", 4452 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4453 ], 4454 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4455 "dependencies": [ 4456 "S112" 4457 ] 4458 }, 4459 { 4460 "id": "S114", 4461 "title": "Add multi-tenant and evidence-disclosure adversaries", 4462 "phase": "H — journey and adversarial acceptance", 4463 "purpose": "Test authorization consistency before and after inference.", 4464 "scope": "Exercise cross-scope sources/snapshots, ID collisions, provider-state minimization and output evidence filtering under trusted host context.", 4465 "files": [ 4466 "tests/security/scope.mojo", 4467 "security fixtures" 4468 ], 4469 "tests": "Forbidden records never reach provider/output; consumer string cannot grant authority; no private text leaks via reason explanations.", 4470 "requirements": [ 4471 "HYF-SEC-001", 4472 "HYF-SEC-004", 4473 "HYF-MATCH-003" 4474 ], 4475 "introduces_tasks": [], 4476 "commit_message": "test: add multi-tenant and evidence-disclosure adversaries", 4477 "expected_result": "Exercise cross-scope sources/snapshots, ID collisions, provider-state minimization and output evidence filtering under trusted host context. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4478 "verification_commands": [ 4479 "git diff --check", 4480 "pixi run test", 4481 "pixi run test-spec", 4482 "pixi run test-architecture", 4483 "pixi run check-build", 4484 "pixi run test-domain", 4485 "pixi run test-application", 4486 "pixi run test-journeys" 4487 ], 4488 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4489 "conditional_cargo_commands": [ 4490 "cargo check --workspace --locked", 4491 "cargo test --workspace --locked", 4492 "cargo fmt --all -- --check", 4493 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4494 ], 4495 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4496 "dependencies": [ 4497 "S113" 4498 ] 4499 }, 4500 { 4501 "id": "S115", 4502 "title": "Add source-instruction injection regressions", 4503 "phase": "H — journey and adversarial acceptance", 4504 "purpose": "Prove source text cannot select actions or infrastructure.", 4505 "scope": "Submit messages containing fake system instructions, endpoints and role claims through both interpretation surfaces and matching context.", 4506 "files": [ 4507 "tests/security/source_data.mojo", 4508 "adversarial source fixtures" 4509 ], 4510 "tests": "No arbitrary network/tool calls, endpoint/model changes, privilege elevation or inventory mutations; original text remains evidence only.", 4511 "requirements": [ 4512 "HYF-SEC-002", 4513 "HYF-DATA-001" 4514 ], 4515 "introduces_tasks": [], 4516 "commit_message": "test: add source-instruction injection regressions", 4517 "expected_result": "Submit messages containing fake system instructions, endpoints and role claims through both interpretation surfaces and matching context. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4518 "verification_commands": [ 4519 "git diff --check", 4520 "pixi run test", 4521 "pixi run test-spec", 4522 "pixi run test-architecture", 4523 "pixi run check-build", 4524 "pixi run test-domain", 4525 "pixi run test-application", 4526 "pixi run test-journeys" 4527 ], 4528 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4529 "conditional_cargo_commands": [ 4530 "cargo check --workspace --locked", 4531 "cargo test --workspace --locked", 4532 "cargo fmt --all -- --check", 4533 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4534 ], 4535 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4536 "dependencies": [ 4537 "S114" 4538 ] 4539 }, 4540 { 4541 "id": "S116", 4542 "title": "Verify secret and telemetry redaction", 4543 "phase": "H — journey and adversarial acceptance", 4544 "purpose": "Make diagnostics safe under success and failure.", 4545 "scope": "Add structured redaction and bounded trace/version/error emissions at runtime/provider boundaries; use bounded metric dimensions and no raw payload defaults.", 4546 "files": [ 4547 "src/hyf_runtime/telemetry.mojo", 4548 "redaction tests", 4549 "error fixtures" 4550 ], 4551 "tests": "Synthetic secret markers never appear in stdout/stderr/logs/traces; error diagnostics bounded; no unbounded source IDs as metric labels.", 4552 "requirements": [ 4553 "HYF-RUN-008", 4554 "HYF-SEC-005", 4555 "HYF-SEC-004" 4556 ], 4557 "introduces_tasks": [], 4558 "commit_message": "test: verify secret and telemetry redaction", 4559 "expected_result": "Add structured redaction and bounded trace/version/error emissions at runtime/provider boundaries; use bounded metric dimensions and no raw payload defaults. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4560 "verification_commands": [ 4561 "git diff --check", 4562 "pixi run test", 4563 "pixi run test-spec", 4564 "pixi run test-architecture", 4565 "pixi run check-build", 4566 "pixi run test-domain", 4567 "pixi run test-application", 4568 "pixi run test-journeys" 4569 ], 4570 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4571 "conditional_cargo_commands": [ 4572 "cargo check --workspace --locked", 4573 "cargo test --workspace --locked", 4574 "cargo fmt --all -- --check", 4575 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4576 ], 4577 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4578 "dependencies": [ 4579 "S115" 4580 ] 4581 }, 4582 { 4583 "id": "S117", 4584 "title": "Resolve optional cache scope explicitly", 4585 "phase": "H — journey and adversarial acceptance", 4586 "purpose": "Avoid an unneeded persistence subsystem.", 4587 "scope": "Record no-cache decision for v1 unless measured repository evidence justifies a narrow existing cache integration; if present implement bounded tenant/source/context/version keys and invalidation in this scoped change.", 4588 "files": [ 4589 "architecture decision note", 4590 "existing cache module only if present", 4591 "cache or no-cache tests" 4592 ], 4593 "tests": "No-cache path has isolated request state; any actual cache tests cover tenant collisions, revision/model/time changes and stale availability nonreuse.", 4594 "requirements": [ 4595 "HYF-RUN-009", 4596 "HYF-DATA-009", 4597 "HYF-SEC-001" 4598 ], 4599 "introduces_tasks": [], 4600 "commit_message": "test: resolve optional cache scope explicitly", 4601 "expected_result": "Record no-cache decision for v1 unless measured repository evidence justifies a narrow existing cache integration; if present implement bounded tenant/source/context/version keys and invalidation in this scoped change. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4602 "verification_commands": [ 4603 "git diff --check", 4604 "pixi run test", 4605 "pixi run test-spec", 4606 "pixi run test-architecture", 4607 "pixi run check-build", 4608 "pixi run test-domain", 4609 "pixi run test-application", 4610 "pixi run test-journeys" 4611 ], 4612 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4613 "conditional_cargo_commands": [ 4614 "cargo check --workspace --locked", 4615 "cargo test --workspace --locked", 4616 "cargo fmt --all -- --check", 4617 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4618 ], 4619 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4620 "dependencies": [ 4621 "S116" 4622 ] 4623 }, 4624 { 4625 "id": "S118", 4626 "title": "Add quantity and eligibility properties", 4627 "phase": "H — journey and adversarial acceptance", 4628 "purpose": "Generalize beyond golden happy paths.", 4629 "scope": "Use bounded seeded generators for exact-unit equivalence, mandatory precedence and uncertainty preservation; save minimal failing counterexamples.", 4630 "files": [ 4631 "tests/properties/quantity_eligibility.mojo", 4632 "regression corpus" 4633 ], 4634 "tests": "Fixed seeds reproduce, near-boundary arithmetic remains correct and deliberately raised semantic scores cannot override failed requirements.", 4635 "requirements": [ 4636 "HYF-MATCH-001", 4637 "HYF-MATCH-002", 4638 "HYF-DATA-003", 4639 "HYF-TEST-009" 4640 ], 4641 "introduces_tasks": [], 4642 "commit_message": "test: add quantity and eligibility properties", 4643 "expected_result": "Use bounded seeded generators for exact-unit equivalence, mandatory precedence and uncertainty preservation; save minimal failing counterexamples. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4644 "verification_commands": [ 4645 "git diff --check", 4646 "pixi run test", 4647 "pixi run test-spec", 4648 "pixi run test-architecture", 4649 "pixi run check-build", 4650 "pixi run test-domain", 4651 "pixi run test-application", 4652 "pixi run test-journeys" 4653 ], 4654 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4655 "conditional_cargo_commands": [ 4656 "cargo check --workspace --locked", 4657 "cargo test --workspace --locked", 4658 "cargo fmt --all -- --check", 4659 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4660 ], 4661 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4662 "dependencies": [ 4663 "S117" 4664 ] 4665 }, 4666 { 4667 "id": "S119", 4668 "title": "Add allocation conservation and ordering properties", 4669 "phase": "H — journey and adversarial acceptance", 4670 "purpose": "Find shared-lot and nondeterministic ranking bugs.", 4671 "scope": "Generate small compatible/duplicate/multi-line cases and compare to independent feasibility checks; permute fixed inputs and assert stable declared results.", 4672 "files": [ 4673 "tests/properties/allocation_rank.mojo", 4674 "independent test oracle" 4675 ], 4676 "tests": "Per-plan conservation holds, alternatives distinguished, tie ordering stable and failing seeds become minimized reviewed regressions.", 4677 "requirements": [ 4678 "HYF-MATCH-005", 4679 "HYF-MATCH-009", 4680 "HYF-TEST-008", 4681 "HYF-TEST-009" 4682 ], 4683 "introduces_tasks": [], 4684 "commit_message": "test: add allocation conservation and ordering properties", 4685 "expected_result": "Generate small compatible/duplicate/multi-line cases and compare to independent feasibility checks; permute fixed inputs and assert stable declared results. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4686 "verification_commands": [ 4687 "git diff --check", 4688 "pixi run test", 4689 "pixi run test-spec", 4690 "pixi run test-architecture", 4691 "pixi run check-build", 4692 "pixi run test-domain", 4693 "pixi run test-application", 4694 "pixi run test-journeys" 4695 ], 4696 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4697 "conditional_cargo_commands": [ 4698 "cargo check --workspace --locked", 4699 "cargo test --workspace --locked", 4700 "cargo fmt --all -- --check", 4701 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4702 ], 4703 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4704 "dependencies": [ 4705 "S118" 4706 ] 4707 }, 4708 { 4709 "id": "S120", 4710 "title": "Seed representative guard faults", 4711 "phase": "H — journey and adversarial acceptance", 4712 "purpose": "Demonstrate tests detect the failures they claim to prevent.", 4713 "scope": "Temporarily mutate selected guards in a controlled test harness or mutation procedure, verify failing tests and restore production source before commit; record results only.", 4714 "files": [ 4715 "tests fault-seeding harness or documented procedure", 4716 "evidence reports" 4717 ], 4718 "tests": "Unknown-as-pass, inverted quantity compare and bypassed revision check are detected; committed production source is not mutated.", 4719 "requirements": [ 4720 "HYF-TEST-009", 4721 "HYF-TEST-008", 4722 "HYF-REL-002" 4723 ], 4724 "introduces_tasks": [], 4725 "commit_message": "test: seed representative guard faults", 4726 "expected_result": "Temporarily mutate selected guards in a controlled test harness or mutation procedure, verify failing tests and restore production source before commit; record results only. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4727 "verification_commands": [ 4728 "git diff --check", 4729 "pixi run test", 4730 "pixi run test-spec", 4731 "pixi run test-architecture", 4732 "pixi run check-build", 4733 "pixi run test-domain", 4734 "pixi run test-application", 4735 "pixi run test-journeys" 4736 ], 4737 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4738 "conditional_cargo_commands": [ 4739 "cargo check --workspace --locked", 4740 "cargo test --workspace --locked", 4741 "cargo fmt --all -- --check", 4742 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4743 ], 4744 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4745 "dependencies": [ 4746 "S119" 4747 ] 4748 }, 4749 { 4750 "id": "S121", 4751 "title": "Fuzz bounded parsers and protocol inputs", 4752 "phase": "H — journey and adversarial acceptance", 4753 "purpose": "Stress malformed boundaries without nondeterministic hangs.", 4754 "scope": "Add reproducible bounded fuzz/property cases for JSON/frame/span/quantity parsing and provider answers using available repo tooling; keep raw bytes distinct from fixture JSON.", 4755 "files": [ 4756 "tests/fuzz or property harness", 4757 "raw regression fixtures" 4758 ], 4759 "tests": "Size/depth/UTF-8/number failures are typed and bounded; watchdogs prove no hang; discovered counterexamples persisted with seed.", 4760 "requirements": [ 4761 "HYF-RUN-002", 4762 "HYF-JEV-004", 4763 "HYF-TEST-009" 4764 ], 4765 "introduces_tasks": [], 4766 "commit_message": "test: fuzz bounded parsers and protocol inputs", 4767 "expected_result": "Add reproducible bounded fuzz/property cases for JSON/frame/span/quantity parsing and provider answers using available repo tooling; keep raw bytes distinct from fixture JSON. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4768 "verification_commands": [ 4769 "git diff --check", 4770 "pixi run test", 4771 "pixi run test-spec", 4772 "pixi run test-architecture", 4773 "pixi run check-build", 4774 "pixi run test-domain", 4775 "pixi run test-application", 4776 "pixi run test-journeys" 4777 ], 4778 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4779 "conditional_cargo_commands": [ 4780 "cargo check --workspace --locked", 4781 "cargo test --workspace --locked", 4782 "cargo fmt --all -- --check", 4783 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4784 ], 4785 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4786 "dependencies": [ 4787 "S120" 4788 ] 4789 }, 4790 { 4791 "id": "S122", 4792 "title": "Enforce offline environment isolation", 4793 "phase": "H — journey and adversarial acceptance", 4794 "purpose": "Prevent accidental credentials or live network in default tests.", 4795 "scope": "Sanitize environment and isolate dirs/config/secrets across test runners; deny external networking with supported target mechanism or fail-closed transport plus documented residual limits.", 4796 "files": [ 4797 "tests/support/environment.mojo", 4798 "test runner", 4799 "isolation tests" 4800 ], 4801 "tests": "Set fake developer credentials and external endpoint variables; default runs cannot use them or reach live network; loopback remains functional.", 4802 "requirements": [ 4803 "HYF-TEST-004", 4804 "HYF-TEST-007", 4805 "HYF-SEC-005" 4806 ], 4807 "introduces_tasks": [], 4808 "commit_message": "test: enforce offline environment isolation", 4809 "expected_result": "Sanitize environment and isolate dirs/config/secrets across test runners; deny external networking with supported target mechanism or fail-closed transport plus documented residual limits. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4810 "verification_commands": [ 4811 "git diff --check", 4812 "pixi run test", 4813 "pixi run test-spec", 4814 "pixi run test-architecture", 4815 "pixi run check-build", 4816 "pixi run test-domain", 4817 "pixi run test-application", 4818 "pixi run test-journeys" 4819 ], 4820 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4821 "conditional_cargo_commands": [ 4822 "cargo check --workspace --locked", 4823 "cargo test --workspace --locked", 4824 "cargo fmt --all -- --check", 4825 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4826 ], 4827 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4828 "dependencies": [ 4829 "S121" 4830 ] 4831 }, 4832 { 4833 "id": "S123", 4834 "title": "Add single-case and seed replay support", 4835 "phase": "H — journey and adversarial acceptance", 4836 "purpose": "Make failures economical to diagnose locally.", 4837 "scope": "Provide documented repository-owned case selection and seed replay with sanitized failure artifacts; use current test tooling instead of inventing unsupported flags.", 4838 "files": [ 4839 "test runner", 4840 "pixi tasks or documented argv", 4841 "local runbook" 4842 ], 4843 "tests": "Select a known case, reject unknown IDs/seeds appropriately, reproduce saved counterexample and run full suite unchanged.", 4844 "requirements": [ 4845 "HYF-TEST-009", 4846 "HYF-TEST-012", 4847 "HYF-REL-002" 4848 ], 4849 "introduces_tasks": [], 4850 "commit_message": "test: add single-case and seed replay support", 4851 "expected_result": "Provide documented repository-owned case selection and seed replay with sanitized failure artifacts; use current test tooling instead of inventing unsupported flags. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4852 "verification_commands": [ 4853 "git diff --check", 4854 "pixi run test", 4855 "pixi run test-spec", 4856 "pixi run test-architecture", 4857 "pixi run check-build", 4858 "pixi run test-domain", 4859 "pixi run test-application", 4860 "pixi run test-journeys" 4861 ], 4862 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4863 "conditional_cargo_commands": [ 4864 "cargo check --workspace --locked", 4865 "cargo test --workspace --locked", 4866 "cargo fmt --all -- --check", 4867 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4868 ], 4869 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4870 "dependencies": [ 4871 "S122" 4872 ] 4873 }, 4874 { 4875 "id": "S124", 4876 "title": "Enforce acceptance activation checkpoints", 4877 "phase": "H — journey and adversarial acceptance", 4878 "purpose": "Prevent planned scenarios disappearing into green totals.", 4879 "scope": "Validate required_from_step bindings against adopted progress and actual registered executable tests; final mode requires every mandatory case with no silent skip or unimplemented projection.", 4880 "files": [ 4881 "fixture runner/manifest", 4882 "requirement checker", 4883 "completion tests" 4884 ], 4885 "tests": "Missing activated test fails; future planned count separate; final check rejects planned/blocked cases as completion even when schema-valid.", 4886 "requirements": [ 4887 "HYF-TEST-011", 4888 "HYF-TEST-003", 4889 "HYF-REL-002" 4890 ], 4891 "introduces_tasks": [], 4892 "commit_message": "test: enforce acceptance activation checkpoints", 4893 "expected_result": "Validate required_from_step bindings against adopted progress and actual registered executable tests; final mode requires every mandatory case with no silent skip or unimplemented projection. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4894 "verification_commands": [ 4895 "git diff --check", 4896 "pixi run test", 4897 "pixi run test-spec", 4898 "pixi run test-architecture", 4899 "pixi run check-build", 4900 "pixi run test-domain", 4901 "pixi run test-application", 4902 "pixi run test-journeys" 4903 ], 4904 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4905 "conditional_cargo_commands": [ 4906 "cargo check --workspace --locked", 4907 "cargo test --workspace --locked", 4908 "cargo fmt --all -- --check", 4909 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4910 ], 4911 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4912 "dependencies": [ 4913 "S123" 4914 ] 4915 }, 4916 { 4917 "id": "S125", 4918 "title": "Add bounded process soak testing", 4919 "phase": "I — operational and release verification", 4920 "purpose": "Detect long-session resource leaks separately from fast tests.", 4921 "scope": "Create repeatable local mixed-operation soak with strict loopback provider, captured resource counts and fixed workload limits; do not infer live provider latency.", 4922 "files": [ 4923 "tests/soak", 4924 "pixi.toml", 4925 "resource report format" 4926 ], 4927 "tests": "Run repeated requests, timeout failures and shutdown; memory/descriptors/children remain within approved measured bounds; introduce test-soak.", 4928 "requirements": [ 4929 "HYF-RUN-007", 4930 "HYF-RUN-010", 4931 "HYF-REL-006" 4932 ], 4933 "introduces_tasks": [ 4934 "test-soak" 4935 ], 4936 "commit_message": "ops: add bounded process soak testing", 4937 "expected_result": "Create repeatable local mixed-operation soak with strict loopback provider, captured resource counts and fixed workload limits; do not infer live provider latency. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4938 "verification_commands": [ 4939 "git diff --check", 4940 "pixi run test", 4941 "pixi run test-spec", 4942 "pixi run test-architecture", 4943 "pixi run check-build", 4944 "pixi run test-soak" 4945 ], 4946 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4947 "conditional_cargo_commands": [ 4948 "cargo check --workspace --locked", 4949 "cargo test --workspace --locked", 4950 "cargo fmt --all -- --check", 4951 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4952 ], 4953 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4954 "dependencies": [ 4955 "S124" 4956 ] 4957 }, 4958 { 4959 "id": "S126", 4960 "title": "Measure candidate and plan resource envelopes", 4961 "phase": "I — operational and release verification", 4962 "purpose": "Set production caps from evidence rather than guesses.", 4963 "scope": "Benchmark bounded candidate indexing, compatibility grouping, plan enumeration and ranking with stated target/toolchain/workload; document limits/truncation behavior and proposed owner-reviewed caps.", 4964 "files": [ 4965 "benchmarks or tests/resource", 4966 "runtime limit docs" 4967 ], 4968 "tests": "Correctness still holds at caps; oversized inputs terminate predictably; reports distinguish algorithmic limits from timing variability.", 4969 "requirements": [ 4970 "HYF-RUN-002", 4971 "HYF-RUN-010", 4972 "HYF-MATCH-004" 4973 ], 4974 "introduces_tasks": [], 4975 "commit_message": "ops: measure candidate and plan resource envelopes", 4976 "expected_result": "Benchmark bounded candidate indexing, compatibility grouping, plan enumeration and ranking with stated target/toolchain/workload; document limits/truncation behavior and proposed owner-reviewed caps. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 4977 "verification_commands": [ 4978 "git diff --check", 4979 "pixi run test", 4980 "pixi run test-spec", 4981 "pixi run test-architecture", 4982 "pixi run check-build" 4983 ], 4984 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 4985 "conditional_cargo_commands": [ 4986 "cargo check --workspace --locked", 4987 "cargo test --workspace --locked", 4988 "cargo fmt --all -- --check", 4989 "cargo clippy --workspace --all-targets --locked -- -D warnings" 4990 ], 4991 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 4992 "dependencies": [ 4993 "S125" 4994 ] 4995 }, 4996 { 4997 "id": "S127", 4998 "title": "Add live Jev contract smoke command", 4999 "phase": "I — operational and release verification", 5000 "purpose": "Verify actual account/protocol only when explicitly authorized.", 5001 "scope": "Implement small synthetic opt-in smoke using production request/client/parser and pinned model; no hidden execution from default tests or prerequisite skips.", 5002 "files": [ 5003 "tests/live/jev_smoke", 5004 "pixi.toml", 5005 "provider runbook" 5006 ], 5007 "tests": "Offline tests verify opt-in/credential preconditions; authorized live run records actual result or remains blocked; introduce smoke-jev.", 5008 "requirements": [ 5009 "HYF-JEV-010", 5010 "HYF-JEV-006", 5011 "HYF-REL-005" 5012 ], 5013 "introduces_tasks": [ 5014 "smoke-jev" 5015 ], 5016 "commit_message": "ops: add live Jev contract smoke command", 5017 "expected_result": "Implement small synthetic opt-in smoke using production request/client/parser and pinned model; no hidden execution from default tests or prerequisite skips. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5018 "verification_commands": [ 5019 "git diff --check", 5020 "pixi run test", 5021 "pixi run test-spec", 5022 "pixi run test-architecture", 5023 "pixi run check-build" 5024 ], 5025 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5026 "conditional_cargo_commands": [ 5027 "cargo check --workspace --locked", 5028 "cargo test --workspace --locked", 5029 "cargo fmt --all -- --check", 5030 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5031 ], 5032 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5033 "dependencies": [ 5034 "S126" 5035 ] 5036 }, 5037 { 5038 "id": "S128", 5039 "title": "Add raw-input semantic evaluation runner", 5040 "phase": "I — operational and release verification", 5041 "purpose": "Measure real model quality separately from stub correctness.", 5042 "scope": "Create opt-in runner that exercises candidate discovery, actual question building/adapter and composition from reviewed raw cases; emit versioned metrics/report data.", 5043 "files": [ 5044 "evals/hyf_v1_jev/runner", 5045 "pixi.toml", 5046 "evaluation report schema" 5047 ], 5048 "tests": "Offline runner tests use synthetic answers; live output is not invented; include field/claim/withdrawal/eligibility/clarification and cost metrics; introduce eval-jev.", 5049 "requirements": [ 5050 "HYF-JEV-010", 5051 "HYF-TEST-008", 5052 "HYF-REL-005" 5053 ], 5054 "introduces_tasks": [ 5055 "eval-jev" 5056 ], 5057 "commit_message": "ops: add raw-input semantic evaluation runner", 5058 "expected_result": "Create opt-in runner that exercises candidate discovery, actual question building/adapter and composition from reviewed raw cases; emit versioned metrics/report data. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5059 "verification_commands": [ 5060 "git diff --check", 5061 "pixi run test", 5062 "pixi run test-spec", 5063 "pixi run test-architecture", 5064 "pixi run check-build" 5065 ], 5066 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5067 "conditional_cargo_commands": [ 5068 "cargo check --workspace --locked", 5069 "cargo test --workspace --locked", 5070 "cargo fmt --all -- --check", 5071 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5072 ], 5073 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5074 "dependencies": [ 5075 "S127" 5076 ] 5077 }, 5078 { 5079 "id": "S129", 5080 "title": "Define evaluation labeling and holdout policy", 5081 "phase": "I — operational and release verification", 5082 "purpose": "Avoid tuning and assessing on the same answers.", 5083 "scope": "Add domain label instructions, ambiguity adjudication, farm/time split and controlled holdout references with data provenance/privacy controls; no private corpus is fabricated.", 5084 "files": [ 5085 "evals/hyf_v1_jev/labeling_policy.md", 5086 "dataset manifest", 5087 "owner gate record" 5088 ], 5089 "tests": "Validate dataset IDs/revisions and split separation; synthetic development examples marked non-production; missing approved corpus remains explicit release blocker.", 5090 "requirements": [ 5091 "HYF-JEV-010", 5092 "HYF-REL-005", 5093 "HYF-SEC-004" 5094 ], 5095 "introduces_tasks": [], 5096 "commit_message": "ops: define evaluation labeling and holdout policy", 5097 "expected_result": "Add domain label instructions, ambiguity adjudication, farm/time split and controlled holdout references with data provenance/privacy controls; no private corpus is fabricated. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5098 "verification_commands": [ 5099 "git diff --check", 5100 "pixi run test", 5101 "pixi run test-spec", 5102 "pixi run test-architecture", 5103 "pixi run check-build" 5104 ], 5105 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5106 "conditional_cargo_commands": [ 5107 "cargo check --workspace --locked", 5108 "cargo test --workspace --locked", 5109 "cargo fmt --all -- --check", 5110 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5111 ], 5112 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5113 "dependencies": [ 5114 "S128" 5115 ] 5116 }, 5117 { 5118 "id": "S130", 5119 "title": "Freeze quality and service acceptance gates", 5120 "phase": "I — operational and release verification", 5121 "purpose": "Make release thresholds predeclared and reviewable.", 5122 "scope": "Record owner-approved risk-slice quality, review workload, latency/cost/load and account/security criteria from pilot evidence; without owner data retain unfulfilled gates rather than invent values.", 5123 "files": [ 5124 "release criteria record", 5125 "eval/load reports", 5126 "open-questions status" 5127 ], 5128 "tests": "Validate report completeness and threshold-before-evaluation evidence; do not execute private/live workload without authorization.", 5129 "requirements": [ 5130 "HYF-RUN-010", 5131 "HYF-REL-005", 5132 "HYF-REL-002" 5133 ], 5134 "introduces_tasks": [], 5135 "commit_message": "ops: freeze quality and service acceptance gates", 5136 "expected_result": "Record owner-approved risk-slice quality, review workload, latency/cost/load and account/security criteria from pilot evidence; without owner data retain unfulfilled gates rather than invent values. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5137 "verification_commands": [ 5138 "git diff --check", 5139 "pixi run test", 5140 "pixi run test-spec", 5141 "pixi run test-architecture", 5142 "pixi run check-build" 5143 ], 5144 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5145 "conditional_cargo_commands": [ 5146 "cargo check --workspace --locked", 5147 "cargo test --workspace --locked", 5148 "cargo fmt --all -- --check", 5149 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5150 ], 5151 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5152 "dependencies": [ 5153 "S129" 5154 ] 5155 }, 5156 { 5157 "id": "S131", 5158 "title": "Document real authority integration contracts", 5159 "phase": "I — operational and release verification", 5160 "purpose": "Name actual owners instead of relying on simulated guarantees.", 5161 "scope": "Discover authorized source/workflow/inventory/reservation services and map version/idempotency/revalidation handoffs; keep production storage outside Hyf.", 5162 "files": [ 5163 "integration contract docs", 5164 "authorized consumer tests if available" 5165 ], 5166 "tests": "Run real-service duplicate/stale/stock-race integration commands when available; otherwise record owner/environment/blocker precisely without declaring gate passed.", 5167 "requirements": [ 5168 "HYF-CORE-002", 5169 "HYF-MATCH-011", 5170 "HYF-REL-004" 5171 ], 5172 "introduces_tasks": [], 5173 "commit_message": "ops: document real authority integration contracts", 5174 "expected_result": "Discover authorized source/workflow/inventory/reservation services and map version/idempotency/revalidation handoffs; keep production storage outside Hyf. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5175 "verification_commands": [ 5176 "git diff --check", 5177 "pixi run test", 5178 "pixi run test-spec", 5179 "pixi run test-architecture", 5180 "pixi run check-build" 5181 ], 5182 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5183 "conditional_cargo_commands": [ 5184 "cargo check --workspace --locked", 5185 "cargo test --workspace --locked", 5186 "cargo fmt --all -- --check", 5187 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5188 ], 5189 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5190 "dependencies": [ 5191 "S130" 5192 ] 5193 }, 5194 { 5195 "id": "S132", 5196 "title": "Verify parent fixture and validation integration", 5197 "phase": "I — operational and release verification", 5198 "purpose": "Respect existing shared authority and orchestration.", 5199 "scope": "Use discovered authorized parent sync/check command for finalized public fixtures; preserve standalone operation and no local .github workflows.", 5200 "files": [ 5201 "parent canonical fixtures and root .act only if authorized", 5202 "local mirror metadata" 5203 ], 5204 "tests": "Record actual parent compatibility result or explicit missing-checkout gate; local offline tests remain independent and green.", 5205 "requirements": [ 5206 "HYF-TEST-002", 5207 "HYF-CORE-006", 5208 "HYF-REL-004" 5209 ], 5210 "introduces_tasks": [], 5211 "commit_message": "ops: verify parent fixture and validation integration", 5212 "expected_result": "Use discovered authorized parent sync/check command for finalized public fixtures; preserve standalone operation and no local . Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5213 "verification_commands": [ 5214 "git diff --check", 5215 "pixi run test", 5216 "pixi run test-spec", 5217 "pixi run test-architecture", 5218 "pixi run check-build" 5219 ], 5220 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5221 "conditional_cargo_commands": [ 5222 "cargo check --workspace --locked", 5223 "cargo test --workspace --locked", 5224 "cargo fmt --all -- --check", 5225 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5226 ], 5227 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5228 "dependencies": [ 5229 "S131" 5230 ] 5231 }, 5232 { 5233 "id": "S133", 5234 "title": "Exercise provider disablement and rollback", 5235 "phase": "I — operational and release verification", 5236 "purpose": "Prove operational recovery preserves accepted business state.", 5237 "scope": "Use local scripted failures to exercise operation/provider switches, safe degradation and versioned configuration rollback; distinguish host business review from Hyf rollback.", 5238 "files": [ 5239 "runbooks/provider incident and promotion", 5240 "runtime rollback tests" 5241 ], 5242 "tests": "Provider down and model mismatch trigger expected switch/recovery; no accepted records are deleted; cache invalidation tested only if cache exists.", 5243 "requirements": [ 5244 "HYF-REL-006", 5245 "HYF-JEV-006", 5246 "HYF-JEV-008" 5247 ], 5248 "introduces_tasks": [], 5249 "commit_message": "ops: exercise provider disablement and rollback", 5250 "expected_result": "Use local scripted failures to exercise operation/provider switches, safe degradation and versioned configuration rollback; distinguish host business review from Hyf rollback. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5251 "verification_commands": [ 5252 "git diff --check", 5253 "pixi run test", 5254 "pixi run test-spec", 5255 "pixi run test-architecture", 5256 "pixi run check-build" 5257 ], 5258 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5259 "conditional_cargo_commands": [ 5260 "cargo check --workspace --locked", 5261 "cargo test --workspace --locked", 5262 "cargo fmt --all -- --check", 5263 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5264 ], 5265 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5266 "dependencies": [ 5267 "S132" 5268 ] 5269 }, 5270 { 5271 "id": "S134", 5272 "title": "Add consumer examples and truthful command documentation", 5273 "phase": "I — operational and release verification", 5274 "purpose": "Make the shipped surfaces understandable without chat history.", 5275 "scope": "Document actual schemas/tasks/states and complete synthetic farm/buyer examples, privacy caveats, confirmation/revalidation handoffs and unsupported modes.", 5276 "files": [ 5277 "README or docs", 5278 "examples", 5279 "public API docs", 5280 "runbooks" 5281 ], 5282 "tests": "Execute offline examples via built daemon/strict provider; check all documented commands exist and no example implies reservation/global market coverage.", 5283 "requirements": [ 5284 "HYF-BUY-006", 5285 "HYF-MATCH-010", 5286 "HYF-TEST-012", 5287 "HYF-REL-002" 5288 ], 5289 "introduces_tasks": [], 5290 "commit_message": "ops: add consumer examples and truthful command documentation", 5291 "expected_result": "Document actual schemas/tasks/states and complete synthetic farm/buyer examples, privacy caveats, confirmation/revalidation handoffs and unsupported modes. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5292 "verification_commands": [ 5293 "git diff --check", 5294 "pixi run test", 5295 "pixi run test-spec", 5296 "pixi run test-architecture", 5297 "pixi run check-build" 5298 ], 5299 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5300 "conditional_cargo_commands": [ 5301 "cargo check --workspace --locked", 5302 "cargo test --workspace --locked", 5303 "cargo fmt --all -- --check", 5304 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5305 ], 5306 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5307 "dependencies": [ 5308 "S133" 5309 ] 5310 }, 5311 { 5312 "id": "S135", 5313 "title": "Aggregate repository-local release validation", 5314 "phase": "I — operational and release verification", 5315 "purpose": "Provide one honest offline quality entry point.", 5316 "scope": "Add validate-local aggregating fixture/traceability, architecture, discovered format/static/build and all required offline suites; preserve default pixi test and separate live/soak tasks.", 5317 "files": [ 5318 "pixi.toml", 5319 "validation wrapper", 5320 "command-contract tests" 5321 ], 5322 "tests": "Forced failing subcheck returns nonzero; no live command hidden in aggregate; missing required test cannot be skipped; introduce validate-local.", 5323 "requirements": [ 5324 "HYF-TEST-012", 5325 "HYF-REL-002", 5326 "HYF-REL-003" 5327 ], 5328 "introduces_tasks": [ 5329 "validate-local" 5330 ], 5331 "commit_message": "ops: aggregate repository-local release validation", 5332 "expected_result": "Add validate-local aggregating fixture/traceability, architecture, discovered format/static/build and all required offline suites; preserve default pixi test and separate live/soak tasks. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5333 "verification_commands": [ 5334 "git diff --check", 5335 "pixi run test", 5336 "pixi run test-spec", 5337 "pixi run test-architecture", 5338 "pixi run check-build", 5339 "pixi run validate-local" 5340 ], 5341 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5342 "conditional_cargo_commands": [ 5343 "cargo check --workspace --locked", 5344 "cargo test --workspace --locked", 5345 "cargo fmt --all -- --check", 5346 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5347 ], 5348 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5349 "dependencies": [ 5350 "S134" 5351 ] 5352 }, 5353 { 5354 "id": "S136", 5355 "title": "Verify supported targets and feature matrix", 5356 "phase": "I — operational and release verification", 5357 "purpose": "Avoid claiming cross-platform support from one local run.", 5358 "scope": "Run or arrange authorized repo-owned checks on current supported targets with locked tooling and documented feature/config matrices; conditional Cargo only for actual relevant workspaces.", 5359 "files": [ 5360 "target validation reports", 5361 "repo-owned command docs" 5362 ], 5363 "tests": "Record each target/version/flag result or blocker; avoid blind all-features and unsupported tool claims; do not broaden the target matrix without approval.", 5364 "requirements": [ 5365 "HYF-REL-003", 5366 "HYF-RUN-006", 5367 "HYF-TEST-004" 5368 ], 5369 "introduces_tasks": [], 5370 "commit_message": "ops: verify supported targets and feature matrix", 5371 "expected_result": "Run or arrange authorized repo-owned checks on current supported targets with locked tooling and documented feature/config matrices; conditional Cargo only for actual relevant workspaces. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5372 "verification_commands": [ 5373 "git diff --check", 5374 "pixi run test", 5375 "pixi run test-spec", 5376 "pixi run test-architecture", 5377 "pixi run check-build", 5378 "pixi run validate-local" 5379 ], 5380 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5381 "conditional_cargo_commands": [ 5382 "cargo check --workspace --locked", 5383 "cargo test --workspace --locked", 5384 "cargo fmt --all -- --check", 5385 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5386 ], 5387 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5388 "dependencies": [ 5389 "S135" 5390 ] 5391 }, 5392 { 5393 "id": "S137", 5394 "title": "Audit final requirement and fixture closure", 5395 "phase": "I — operational and release verification", 5396 "purpose": "Confirm every approved local behavior has executable evidence.", 5397 "scope": "Run final activation/traceability check and inspect all remaining gates, fixtures, docs, secrets, compatibility and import boundaries; fix only defects within this final audit scope.", 5398 "files": [ 5399 "requirement registry", 5400 "test manifests", 5401 "implementation ledger", 5402 "final audit report" 5403 ], 5404 "tests": "All mandatory local cases run; no unexplained skipped/obsolete steps; negative assertion tests pass; external gates remain separately classified.", 5405 "requirements": [ 5406 "HYF-TEST-011", 5407 "HYF-CORE-004", 5408 "HYF-REL-001", 5409 "HYF-REL-002" 5410 ], 5411 "introduces_tasks": [], 5412 "commit_message": "ops: audit final requirement and fixture closure", 5413 "expected_result": "Run final activation/traceability check and inspect all remaining gates, fixtures, docs, secrets, compatibility and import boundaries; fix only defects within this final audit scope. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5414 "verification_commands": [ 5415 "git diff --check", 5416 "pixi run test", 5417 "pixi run test-spec", 5418 "pixi run test-architecture", 5419 "pixi run check-build", 5420 "pixi run validate-local" 5421 ], 5422 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5423 "conditional_cargo_commands": [ 5424 "cargo check --workspace --locked", 5425 "cargo test --workspace --locked", 5426 "cargo fmt --all -- --check", 5427 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5428 ], 5429 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5430 "dependencies": [ 5431 "S136" 5432 ] 5433 }, 5434 { 5435 "id": "S138", 5436 "title": "Publish the implementation readiness report locally", 5437 "phase": "I — operational and release verification", 5438 "purpose": "Finish the handoff without claiming unauthorized production release.", 5439 "scope": "Record final commit range, files/modules delivered, real commands/results, model/account/authority/target gates and rollback readiness; leave clean reviewed source and no unrelated changes. Do not push/publish/deploy.", 5440 "files": [ 5441 "implementation/FINAL_REPORT.md", 5442 "implementation/STATUS.md", 5443 "release checklist" 5444 ], 5445 "tests": "Run validate-local and required applicable suites; inspect git status/diff/history; report local, model and production readiness independently with owners for blockers.", 5446 "requirements": [ 5447 "HYF-REL-001", 5448 "HYF-REL-002", 5449 "HYF-REL-004", 5450 "HYF-REL-005", 5451 "HYF-REL-006" 5452 ], 5453 "introduces_tasks": [], 5454 "commit_message": "ops: publish the implementation readiness report locally", 5455 "expected_result": "Record final commit range, files/modules delivered, real commands/results, model/account/authority/target gates and rollback readiness; leave clean reviewed source and no unrelated changes. Existing supported behavior remains green; this step does not claim completion of later or external gates.", 5456 "verification_commands": [ 5457 "git diff --check", 5458 "pixi run test", 5459 "pixi run test-spec", 5460 "pixi run test-architecture", 5461 "pixi run check-build", 5462 "pixi run validate-local" 5463 ], 5464 "discovery_checks": "Run discovered check-only formatter/static/lint and actual daemon build/type check for touched source. Discover focused-case syntax before use; do not invent commands. Apply current supported configuration/feature checks relevant to this change.", 5465 "conditional_cargo_commands": [ 5466 "cargo check --workspace --locked", 5467 "cargo test --workspace --locked", 5468 "cargo fmt --all -- --check", 5469 "cargo clippy --workspace --all-targets --locked -- -D warnings" 5470 ], 5471 "cargo_condition": "Only in a discovered relevant actual Rust workspace touched by this step; otherwise record N/A (Mojo core), never create a Cargo manifest. Discover workspace/feature matrix and use --manifest-path as needed; no blind --all-features.", 5472 "dependencies": [ 5473 "S137" 5474 ] 5475 } 5476 ] 5477 }