project-tiny-context-harness 0.2.84 → 0.6.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +163 -428
- package/assets/README.md +283 -455
- package/assets/README.zh-CN.md +199 -123
- package/assets/agents/AGENTS_CORE.md +54 -67
- package/assets/context_templates/context.toml +3 -0
- package/assets/context_templates/global.md +6 -6
- package/assets/github/harness.yml +2 -2
- package/assets/skills/context_development_engineer/SKILL.md +91 -107
- package/assets/skills/context_product_plan/SKILL.md +18 -28
- package/assets/skills/context_surface_contract/SKILL.md +35 -38
- package/assets/skills/context_uiux_design/SKILL.md +31 -30
- package/assets/skills/long-task-workflow/SKILL.md +76 -0
- package/assets/skills/long-task-workflow/agents/openai.yaml +4 -0
- package/assets/skills/long-task-workflow/references/authority-lifecycle.md +41 -0
- package/assets/skills/long-task-workflow/references/contract-authoring.md +62 -0
- package/assets/skills/long-task-workflow/references/evidence-design.md +45 -0
- package/assets/skills/normal-long-task/SKILL.md +12 -489
- package/assets/skills/source-plan-authoring/SKILL.md +379 -0
- package/assets/tools/validate_context.py +293 -127
- package/dist/cli.js +3 -1
- package/dist/commands/check-modularity.js +33 -10
- package/dist/commands/composite-campaign.d.ts +1 -0
- package/dist/commands/composite-campaign.js +8 -0
- package/dist/commands/composite-long-task.d.ts +1 -6
- package/dist/commands/composite-long-task.js +7 -157
- package/dist/commands/delivery-set.d.ts +1 -0
- package/dist/commands/delivery-set.js +8 -0
- package/dist/commands/disable.d.ts +1 -0
- package/dist/commands/disable.js +15 -0
- package/dist/commands/enable.d.ts +1 -0
- package/dist/commands/enable.js +14 -0
- package/dist/commands/export-context-args.js +13 -4
- package/dist/commands/export-context.js +18 -7
- package/dist/commands/index.js +42 -30
- package/dist/commands/init.js +12 -6
- package/dist/commands/long-task-authoring.d.ts +3 -0
- package/dist/commands/long-task-authoring.js +92 -0
- package/dist/commands/long-task-explain.d.ts +1 -0
- package/dist/commands/long-task-explain.js +52 -0
- package/dist/commands/long-task.d.ts +1 -0
- package/dist/commands/long-task.js +226 -0
- package/dist/commands/package-source.js +2 -2
- package/dist/commands/upgrade.js +10 -10
- package/dist/index.d.ts +11 -1
- package/dist/index.js +8 -0
- package/dist/lib/config.js +34 -8
- package/dist/lib/context-default-footprint.d.ts +16 -0
- package/dist/lib/context-default-footprint.js +107 -0
- package/dist/lib/context-export.js +105 -41
- package/dist/lib/context-graph-snapshot.d.ts +18 -0
- package/dist/lib/context-graph-snapshot.js +171 -0
- package/dist/lib/context-manifest-schema.d.ts +28 -0
- package/dist/lib/context-manifest-schema.js +150 -0
- package/dist/lib/context-manifest.js +28 -20
- package/dist/lib/context-templates.js +5 -5
- package/dist/lib/design-md.js +1 -1
- package/dist/lib/doctor.js +54 -1
- package/dist/lib/harness-root.js +25 -8
- package/dist/lib/init.js +6 -3
- package/dist/lib/legacy-managed-scan.js +23 -7
- package/dist/lib/legacy-sdlc-migration.js +21 -11
- package/dist/lib/long-task-acceptance-reference.d.ts +22 -0
- package/dist/lib/long-task-acceptance-reference.js +46 -0
- package/dist/lib/long-task-acceptance-shape.d.ts +5 -0
- package/dist/lib/long-task-acceptance-shape.js +131 -0
- package/dist/lib/long-task-activation-validation.d.ts +21 -0
- package/dist/lib/long-task-activation-validation.js +136 -0
- package/dist/lib/long-task-artifacts.d.ts +5 -0
- package/dist/lib/long-task-artifacts.js +34 -0
- package/dist/lib/long-task-assertions-v2.d.ts +22 -0
- package/dist/lib/long-task-assertions-v2.js +212 -0
- package/dist/lib/long-task-authoring-authority-preview.d.ts +5 -0
- package/dist/lib/long-task-authoring-authority-preview.js +85 -0
- package/dist/lib/long-task-authoring-preflight-diagnostics.d.ts +8 -0
- package/dist/lib/long-task-authoring-preflight-diagnostics.js +179 -0
- package/dist/lib/long-task-authoring-preflight-repair-order.d.ts +8 -0
- package/dist/lib/long-task-authoring-preflight-repair-order.js +95 -0
- package/dist/lib/long-task-authoring-preflight-types.d.ts +46 -0
- package/dist/lib/long-task-authoring-preflight-types.js +38 -0
- package/dist/lib/long-task-authoring-preflight.d.ts +3 -0
- package/dist/lib/long-task-authoring-preflight.js +44 -0
- package/dist/lib/long-task-authority-material-diff.d.ts +17 -0
- package/dist/lib/long-task-authority-material-diff.js +152 -0
- package/dist/lib/long-task-authority-materials.d.ts +7 -0
- package/dist/lib/long-task-authority-materials.js +83 -0
- package/dist/lib/long-task-authority-policy.d.ts +168 -0
- package/dist/lib/long-task-authority-policy.js +181 -0
- package/dist/lib/long-task-authority-revision-details.d.ts +19 -0
- package/dist/lib/long-task-authority-revision-details.js +192 -0
- package/dist/lib/long-task-authority-revision-enforcement.d.ts +3 -0
- package/dist/lib/long-task-authority-revision-enforcement.js +41 -0
- package/dist/lib/long-task-authority-revision-types.d.ts +50 -0
- package/dist/lib/long-task-authority-revision-types.js +1 -0
- package/dist/lib/long-task-authority-revision.d.ts +4 -0
- package/dist/lib/long-task-authority-revision.js +188 -0
- package/dist/lib/long-task-authority-transition-policy.d.ts +62 -0
- package/dist/lib/long-task-authority-transition-policy.js +62 -0
- package/dist/lib/long-task-authority-types.d.ts +96 -0
- package/dist/lib/long-task-authority-types.js +1 -0
- package/dist/lib/long-task-authority.d.ts +7 -0
- package/dist/lib/long-task-authority.js +142 -0
- package/dist/lib/long-task-boundary-check.d.ts +15 -0
- package/dist/lib/long-task-boundary-check.js +9 -0
- package/dist/lib/long-task-check-evidence-decoder.d.ts +3 -0
- package/dist/lib/long-task-check-evidence-decoder.js +74 -0
- package/dist/lib/long-task-check-execution-policy.d.ts +18 -0
- package/dist/lib/long-task-check-execution-policy.js +36 -0
- package/dist/lib/long-task-check-runner.d.ts +2 -0
- package/dist/lib/long-task-check-runner.js +181 -0
- package/dist/lib/long-task-check-shape.d.ts +2 -0
- package/dist/lib/long-task-check-shape.js +136 -0
- package/dist/lib/long-task-claim-definitions.d.ts +7 -0
- package/dist/lib/long-task-claim-definitions.js +78 -0
- package/dist/lib/long-task-claim-proof-policy.d.ts +4 -0
- package/dist/lib/long-task-claim-proof-policy.js +57 -0
- package/dist/lib/long-task-claims.d.ts +10 -0
- package/dist/lib/long-task-claims.js +187 -0
- package/dist/lib/long-task-context-authority-topology.d.ts +7 -0
- package/dist/lib/long-task-context-authority-topology.js +37 -0
- package/dist/lib/long-task-context-authority.d.ts +14 -0
- package/dist/lib/long-task-context-authority.js +66 -0
- package/dist/lib/long-task-contract-types.d.ts +203 -0
- package/dist/lib/long-task-contract-types.js +1 -0
- package/dist/lib/long-task-counterfactual-claim-policy.d.ts +10 -0
- package/dist/lib/long-task-counterfactual-claim-policy.js +57 -0
- package/dist/lib/long-task-counterfactual-sandbox.d.ts +6 -0
- package/dist/lib/long-task-counterfactual-sandbox.js +87 -0
- package/dist/lib/long-task-counterfactual-types.d.ts +24 -0
- package/dist/lib/long-task-counterfactual-types.js +1 -0
- package/dist/lib/long-task-delivery-compiler.d.ts +10 -0
- package/dist/lib/long-task-delivery-compiler.js +129 -0
- package/dist/lib/long-task-delivery-parser.d.ts +13 -0
- package/dist/lib/long-task-delivery-parser.js +90 -0
- package/dist/lib/long-task-delivery-preflight.d.ts +5 -0
- package/dist/lib/long-task-delivery-preflight.js +151 -0
- package/dist/lib/long-task-delivery-shape.d.ts +5 -0
- package/dist/lib/long-task-delivery-shape.js +5 -0
- package/dist/lib/long-task-delivery-types.d.ts +8 -0
- package/dist/lib/long-task-delivery-types.js +8 -0
- package/dist/lib/long-task-delivery-validation.d.ts +3 -0
- package/dist/lib/long-task-delivery-validation.js +175 -0
- package/dist/lib/long-task-evidence-adapter-policy.d.ts +4 -0
- package/dist/lib/long-task-evidence-adapter-policy.js +15 -0
- package/dist/lib/long-task-evidence-adapter-types.d.ts +1 -0
- package/dist/lib/long-task-evidence-adapter-types.js +1 -0
- package/dist/lib/long-task-evidence-findings.d.ts +5 -0
- package/dist/lib/long-task-evidence-findings.js +113 -0
- package/dist/lib/long-task-evidence-sensitivity-policy.d.ts +4 -0
- package/dist/lib/long-task-evidence-sensitivity-policy.js +98 -0
- package/dist/lib/long-task-evidence-v2.d.ts +5 -0
- package/dist/lib/long-task-evidence-v2.js +226 -0
- package/dist/lib/long-task-explain-acceptance-link.d.ts +46 -0
- package/dist/lib/long-task-explain-acceptance-link.js +96 -0
- package/dist/lib/long-task-explain-claim-links.d.ts +45 -0
- package/dist/lib/long-task-explain-claim-links.js +88 -0
- package/dist/lib/long-task-explain-source-links.d.ts +93 -0
- package/dist/lib/long-task-explain-source-links.js +51 -0
- package/dist/lib/long-task-final-v2.d.ts +2 -0
- package/dist/lib/long-task-final-v2.js +124 -0
- package/dist/lib/long-task-finding-context.d.ts +3 -0
- package/dist/lib/long-task-finding-context.js +63 -0
- package/dist/lib/long-task-freshness.d.ts +3 -0
- package/dist/lib/long-task-freshness.js +80 -0
- package/dist/lib/long-task-hook-install.d.ts +9 -0
- package/dist/lib/long-task-hook-install.js +184 -0
- package/dist/lib/long-task-hook-preflight.d.ts +7 -0
- package/dist/lib/long-task-hook-preflight.js +58 -0
- package/dist/lib/long-task-observation-ownership.d.ts +2 -0
- package/dist/lib/long-task-observation-ownership.js +22 -0
- package/dist/lib/long-task-outcome-parser.d.ts +4 -0
- package/dist/lib/long-task-outcome-parser.js +100 -0
- package/dist/lib/long-task-paths.d.ts +49 -0
- package/dist/lib/long-task-paths.js +418 -0
- package/dist/lib/long-task-playwright-counterfactual-policy.d.ts +7 -0
- package/dist/lib/long-task-playwright-counterfactual-policy.js +125 -0
- package/dist/lib/long-task-playwright-evidence.d.ts +6 -0
- package/dist/lib/long-task-playwright-evidence.js +244 -0
- package/dist/lib/long-task-product-shape.d.ts +6 -0
- package/dist/lib/long-task-product-shape.js +73 -0
- package/dist/lib/long-task-progress.d.ts +4 -0
- package/dist/lib/long-task-progress.js +114 -0
- package/dist/lib/long-task-protected-files.d.ts +1 -0
- package/dist/lib/long-task-protected-files.js +30 -0
- package/dist/lib/long-task-required-proof-surfaces.d.ts +2 -0
- package/dist/lib/long-task-required-proof-surfaces.js +13 -0
- package/dist/lib/long-task-requirement-shape.d.ts +2 -0
- package/dist/lib/long-task-requirement-shape.js +18 -0
- package/dist/lib/long-task-risk-surfaces.d.ts +2 -0
- package/dist/lib/long-task-risk-surfaces.js +60 -0
- package/dist/lib/long-task-risk-types.d.ts +5 -0
- package/dist/lib/long-task-risk-types.js +12 -0
- package/dist/lib/long-task-risk.d.ts +9 -0
- package/dist/lib/long-task-risk.js +132 -0
- package/dist/lib/long-task-root-shape.d.ts +4 -0
- package/dist/lib/long-task-root-shape.js +86 -0
- package/dist/lib/long-task-runner-environment.d.ts +7 -0
- package/dist/lib/long-task-runner-environment.js +57 -0
- package/dist/lib/long-task-runner-files.d.ts +3 -0
- package/dist/lib/long-task-runner-files.js +39 -0
- package/dist/lib/long-task-runner-freeze.d.ts +2 -0
- package/dist/lib/long-task-runner-freeze.js +168 -0
- package/dist/lib/long-task-runtime-types.d.ts +214 -0
- package/dist/lib/long-task-runtime-types.js +1 -0
- package/dist/lib/long-task-shape-primitives.d.ts +17 -0
- package/dist/lib/long-task-shape-primitives.js +81 -0
- package/dist/lib/long-task-source-authority-types.d.ts +13 -0
- package/dist/lib/long-task-source-authority-types.js +1 -0
- package/dist/lib/long-task-source-claim-validation.d.ts +5 -0
- package/dist/lib/long-task-source-claim-validation.js +96 -0
- package/dist/lib/long-task-source-continuity.d.ts +4 -0
- package/dist/lib/long-task-source-continuity.js +57 -0
- package/dist/lib/long-task-source-inventory.d.ts +2 -0
- package/dist/lib/long-task-source-inventory.js +21 -0
- package/dist/lib/long-task-source-item-parser.d.ts +3 -0
- package/dist/lib/long-task-source-item-parser.js +112 -0
- package/dist/lib/long-task-source-shape.d.ts +2 -0
- package/dist/lib/long-task-source-shape.js +56 -0
- package/dist/lib/long-task-source-target-continuity.d.ts +4 -0
- package/dist/lib/long-task-source-target-continuity.js +80 -0
- package/dist/lib/long-task-source-target-index.d.ts +12 -0
- package/dist/lib/long-task-source-target-index.js +76 -0
- package/dist/lib/long-task-source-validation.d.ts +3 -0
- package/dist/lib/long-task-source-validation.js +46 -0
- package/dist/lib/long-task-state.d.ts +91 -0
- package/dist/lib/long-task-state.js +611 -0
- package/dist/lib/long-task-status-projection.d.ts +21 -0
- package/dist/lib/long-task-status-projection.js +116 -0
- package/dist/lib/long-task-status-v2.d.ts +37 -0
- package/dist/lib/long-task-status-v2.js +306 -0
- package/dist/lib/long-task-technical-shape.d.ts +3 -0
- package/dist/lib/long-task-technical-shape.js +44 -0
- package/dist/lib/long-task-verifier-authority.d.ts +12 -0
- package/dist/lib/long-task-verifier-authority.js +47 -0
- package/dist/lib/long-task-verifier-identity.d.ts +2 -0
- package/dist/lib/long-task-verifier-identity.js +55 -0
- package/dist/lib/long-task-verifier-v2.d.ts +13 -0
- package/dist/lib/long-task-verifier-v2.js +266 -0
- package/dist/lib/long-task-workspace-runtime-types.d.ts +23 -0
- package/dist/lib/long-task-workspace-runtime-types.js +1 -0
- package/dist/lib/long-task-workspace.d.ts +25 -0
- package/dist/lib/long-task-workspace.js +366 -0
- package/dist/lib/managed-file.js +20 -5
- package/dist/lib/migrations.js +156 -32
- package/dist/lib/modularity.d.ts +27 -1
- package/dist/lib/modularity.js +499 -23
- package/dist/lib/package-json-config.js +14 -5
- package/dist/lib/package-source.js +15 -3
- package/dist/lib/profiles.d.ts +13 -0
- package/dist/lib/profiles.js +66 -0
- package/dist/lib/schema-guard.js +4 -2
- package/dist/lib/source-files.js +14 -7
- package/dist/lib/source-pack-classify.js +91 -19
- package/dist/lib/source-pack-config.js +25 -8
- package/dist/lib/source-pack-export.js +84 -25
- package/dist/lib/source-pack-manifest.js +18 -6
- package/dist/lib/source-pack-records.js +35 -11
- package/dist/lib/source-pack-render.js +47 -18
- package/dist/lib/stable-json.d.ts +2 -0
- package/dist/lib/stable-json.js +21 -0
- package/dist/lib/strict-codec.d.ts +4 -0
- package/dist/lib/strict-codec.js +65 -0
- package/dist/lib/sync-engine.js +76 -24
- package/dist/lib/types.d.ts +8 -1
- package/dist/lib/upgrade.js +4 -3
- package/dist/lib/validators.js +218 -191
- package/dist/long-task-hook.d.ts +2 -0
- package/dist/long-task-hook.js +55 -0
- package/dist/schemas/long-task-delivery-v2/long-task-delivery-v2.schema.json +340 -0
- package/dist/schemas/long-task-delivery-v2/long-task-outcomes-v2.schema.json +18 -0
- package/migrations/README.md +8 -3
- package/package.json +17 -6
- package/source-mappings.yaml +0 -3
- package/assets/protected-harness-baseline.json +0 -20
- package/assets/skills/composite-long-task-workflow/SKILL.md +0 -244
- package/assets/skills/composite-long-task-workflow/assets/execution-binding.template.md +0 -57
- package/assets/skills/composite-long-task-workflow/assets/goal-objective.template.md +0 -17
- package/assets/skills/composite-long-task-workflow/references/composite-long-task-workflow-protocol.md +0 -675
- package/dist/commands/superpowers.d.ts +0 -1
- package/dist/commands/superpowers.js +0 -8
- package/dist/lib/composite-long-task-renderer.d.ts +0 -12
- package/dist/lib/composite-long-task-renderer.js +0 -109
- package/dist/lib/plan-acceptance-artifacts.d.ts +0 -1
- package/dist/lib/plan-acceptance-artifacts.js +0 -220
- package/dist/lib/plan-acceptance-evidence.d.ts +0 -2
- package/dist/lib/plan-acceptance-evidence.js +0 -108
- package/dist/lib/plan-acceptance-json.d.ts +0 -15
- package/dist/lib/plan-acceptance-json.js +0 -133
- package/dist/lib/plan-acceptance-validator.d.ts +0 -2
- package/dist/lib/plan-acceptance-validator.js +0 -209
- package/dist/lib/plan-contract-validator.d.ts +0 -2
- package/dist/lib/plan-contract-validator.js +0 -127
- package/dist/lib/plan-validator-common.d.ts +0 -24
- package/dist/lib/plan-validator-common.js +0 -196
- package/dist/lib/superpowers-task-ac010.d.ts +0 -6
- package/dist/lib/superpowers-task-ac010.js +0 -26
- package/dist/lib/superpowers-task-assertion-normalizers.d.ts +0 -3
- package/dist/lib/superpowers-task-assertion-normalizers.js +0 -74
- package/dist/lib/superpowers-task-assertions.d.ts +0 -20
- package/dist/lib/superpowers-task-assertions.js +0 -257
- package/dist/lib/superpowers-task-attempt.d.ts +0 -4
- package/dist/lib/superpowers-task-attempt.js +0 -102
- package/dist/lib/superpowers-task-command-run-correlation.d.ts +0 -8
- package/dist/lib/superpowers-task-command-run-correlation.js +0 -103
- package/dist/lib/superpowers-task-command-specs.d.ts +0 -3
- package/dist/lib/superpowers-task-command-specs.js +0 -52
- package/dist/lib/superpowers-task-compile-diagnostics.d.ts +0 -5
- package/dist/lib/superpowers-task-compile-diagnostics.js +0 -20
- package/dist/lib/superpowers-task-compile-guards.d.ts +0 -2
- package/dist/lib/superpowers-task-compile-guards.js +0 -66
- package/dist/lib/superpowers-task-compile.d.ts +0 -6
- package/dist/lib/superpowers-task-compile.js +0 -133
- package/dist/lib/superpowers-task-completion-output.d.ts +0 -52
- package/dist/lib/superpowers-task-completion-output.js +0 -228
- package/dist/lib/superpowers-task-conformance.d.ts +0 -2
- package/dist/lib/superpowers-task-conformance.js +0 -24
- package/dist/lib/superpowers-task-contradictions.d.ts +0 -6
- package/dist/lib/superpowers-task-contradictions.js +0 -126
- package/dist/lib/superpowers-task-current-evidence.d.ts +0 -3
- package/dist/lib/superpowers-task-current-evidence.js +0 -176
- package/dist/lib/superpowers-task-delivery.d.ts +0 -4
- package/dist/lib/superpowers-task-delivery.js +0 -96
- package/dist/lib/superpowers-task-derive.d.ts +0 -14
- package/dist/lib/superpowers-task-derive.js +0 -382
- package/dist/lib/superpowers-task-events.d.ts +0 -1
- package/dist/lib/superpowers-task-events.js +0 -13
- package/dist/lib/superpowers-task-evidence-kernel.d.ts +0 -19
- package/dist/lib/superpowers-task-evidence-kernel.js +0 -347
- package/dist/lib/superpowers-task-evidence-records.d.ts +0 -2
- package/dist/lib/superpowers-task-evidence-records.js +0 -55
- package/dist/lib/superpowers-task-evidence.d.ts +0 -10
- package/dist/lib/superpowers-task-evidence.js +0 -147
- package/dist/lib/superpowers-task-fields.d.ts +0 -22
- package/dist/lib/superpowers-task-fields.js +0 -276
- package/dist/lib/superpowers-task-final-card.d.ts +0 -3
- package/dist/lib/superpowers-task-final-card.js +0 -24
- package/dist/lib/superpowers-task-gates.d.ts +0 -12
- package/dist/lib/superpowers-task-gates.js +0 -155
- package/dist/lib/superpowers-task-harness-drift.d.ts +0 -11
- package/dist/lib/superpowers-task-harness-drift.js +0 -90
- package/dist/lib/superpowers-task-next-slices.d.ts +0 -1
- package/dist/lib/superpowers-task-next-slices.js +0 -12
- package/dist/lib/superpowers-task-protected-baseline.d.ts +0 -10
- package/dist/lib/superpowers-task-protected-baseline.js +0 -66
- package/dist/lib/superpowers-task-source-compile.d.ts +0 -5
- package/dist/lib/superpowers-task-source-compile.js +0 -226
- package/dist/lib/superpowers-task-source-parser.d.ts +0 -23
- package/dist/lib/superpowers-task-source-parser.js +0 -218
- package/dist/lib/superpowers-task-state-schema.d.ts +0 -440
- package/dist/lib/superpowers-task-state-schema.js +0 -66
- package/dist/lib/superpowers-task-state-shape.d.ts +0 -3
- package/dist/lib/superpowers-task-state-shape.js +0 -50
- package/dist/lib/superpowers-task-state.d.ts +0 -16
- package/dist/lib/superpowers-task-state.js +0 -246
- package/dist/lib/superpowers-task-status.d.ts +0 -2
- package/dist/lib/superpowers-task-status.js +0 -24
- package/dist/lib/superpowers-task-under-specified.d.ts +0 -7
- package/dist/lib/superpowers-task-under-specified.js +0 -61
- package/dist/lib/superpowers-task-unregistered-evidence.d.ts +0 -11
- package/dist/lib/superpowers-task-unregistered-evidence.js +0 -72
- package/dist/lib/superpowers-task-validator.d.ts +0 -5
- package/dist/lib/superpowers-task-validator.js +0 -290
|
@@ -1,675 +0,0 @@
|
|
|
1
|
-
# Composite Long-Task Workflow Protocol
|
|
2
|
-
|
|
3
|
-
## Expected Runtime Effect / 预期实现效果
|
|
4
|
-
|
|
5
|
-
`composite-long-task-workflow` is Tiny Context's Superpowers-backed composite long-task workflow Skill. It is not the Tiny Context Workflow Contract itself and is not an ordinary target-mode prompt generator. Its job is to combine three upstream authority inputs, Tiny Context workflow rules, project Context, official Superpowers execution methods, canonical task state and acceptance evidence into a recoverable, auditable Codex Goal workflow whose completion can be computed.
|
|
6
|
-
|
|
7
|
-
The workflow prevents long-running implementation drift across many turns, agents, slices, validators and context compactions: product-intent drift, missing Context updates, scope shrinkage, plan/implementation mismatch, incomplete AC evidence, sampled proof pretending to be full population, passing tests pretending to be acceptance, and audit completion pretending to be product completion.
|
|
8
|
-
|
|
9
|
-
## Execution Order
|
|
10
|
-
|
|
11
|
-
The fusion order is fixed:
|
|
12
|
-
|
|
13
|
-
```text
|
|
14
|
-
Tiny Context Workflow Contract
|
|
15
|
-
-> confirm three-input source authority
|
|
16
|
-
-> compile task-state.json
|
|
17
|
-
-> enter Superpowers implementation slices
|
|
18
|
-
-> each slice updates canonical state and evidence
|
|
19
|
-
-> derive local audit / matrix / verdict / progress / evidence views
|
|
20
|
-
-> run gates
|
|
21
|
-
-> final-gate computes product_goal_complete
|
|
22
|
-
```
|
|
23
|
-
|
|
24
|
-
## Workflow Identity
|
|
25
|
-
|
|
26
|
-
This protocol is the detailed execution contract for `composite-long-task-workflow`: a Tiny Context-owned composite workflow adapter for Superpowers-backed long-task execution. It is not the Tiny Context Workflow Contract itself, not a durable project Context file, not a business fact source, not a normal target-mode prompt generator and not an official Superpowers fork.
|
|
27
|
-
|
|
28
|
-
## Authority Model
|
|
29
|
-
|
|
30
|
-
Authority is fixed before implementation starts: Product / Architecture Source owns intent, scope and boundaries; Technical Realization Plan owns PI implementation and plan conformance; Acceptance Checklist owns AC completion semantics and proof layers; `task-state.json` is the only execution state source; `events.ndjson` is append-only; `derived/**` is generated reading output only.
|
|
31
|
-
|
|
32
|
-
## Slice Protocol
|
|
33
|
-
|
|
34
|
-
Implementation advances through coherent slices. Each slice selects related PI / AC / proof-layer gaps, performs implementation and verification work, records canonical evidence, writes and applies `slice-delta.json`, derives views and runs slice-gate. Shared provider/browser/runtime/security proof environments use epoch-gate instead of repeating the full final gate after every slice.
|
|
35
|
-
|
|
36
|
-
## Evidence Protocol
|
|
37
|
-
|
|
38
|
-
Evidence is canonical state, not prose. Every proof record enters `task-state.evidence[]` with evidence id, slice id, type, command or artifact paths, command exit code when applicable, `proves`, `does_not_prove`, freshness, redaction, reviewability / reproduction data and, for machine-verifiable layers, an `assertion_result`. Strict final completion uses EvidenceRecordV2 records bound to the current attempt, source bundle, product source hash, technical plan hash, acceptance checklist hash, git head, worktree fingerprint, command spec/run id, command line/exit code, artifact path/SHA/mtime, target AC ids, target PI ids, target proof layers, assertion status/exit code, positive assertions, negative assertions, invalid completion signals, negative evidence scan and required test ids. Evidence must be fresh, reviewable and free of secrets, raw credentials, tokens, cookies and long raw payloads.
|
|
39
|
-
|
|
40
|
-
Canonical proof layers are `code`, `api_schema`, `worker_runtime`, `data_artifact`, `integration`, `ui_browser`, `security_redaction`, `all_provider_all_runner`, `cleanup_stale_scan` and `test`; legacy aliases map `runtime -> worker_runtime`, `browser -> ui_browser`, `api -> api_schema`, `data -> data_artifact` and `security -> security_redaction`. `code` cannot complete a machine-backed AC by itself. Machine-verifiable layers are not complete from descriptions, screenshots, final cards, validator passes, matrix rows, verdict rows, evidence-index rows, final-summary text, historical `events.ndjson` complete events, auditor prose, summary-only AC proof or unregistered temporary JSON. They require current-attempt EvidenceRecordV2 plus `assertion_result.schema_version=assertion-result-v2`, `assertion_result.status=passed`, assertion exit code `0`, command exit code `0`, target AC/PI/layer coverage, passed positive and negative assertions, no invalid completion signal and reviewable artifacts. UI/browser layers also require owner surface, route/path, user action, browser/playwright/UI assertion evidence and a passed `negative_evidence_scan` with matching target proof layers and checked invalid completion signals.
|
|
41
|
-
|
|
42
|
-
The Trusted Evidence Kernel marks a machine-blocking AC `under_specified` when it lacks an assertion command, assertion artifacts, positive assertions, negative assertions, invalid completion signals, required UI/browser proof, concrete assertion result production or any non-generated final evidence path. Under-specified ACs block related PIs and force `product_goal_complete=false`. AC-010 / final-gate summary proof only summarizes fresh current EvidenceRecordV2 proof for the other ACs; it cannot bootstrap missing, failed, stale or under-specified ACs and is invalidated with `final_gate_cannot_bootstrap_from_summary_only` when it tries.
|
|
43
|
-
|
|
44
|
-
Strict V2 source fields are canonical. Product Source must carry Scope Fit, owner, primary capability and assertion policy fields. PI items must carry owner boundary, primary capability path, trigger/state/observable contracts, assertion support, required assertion commands and invalid implementation shortcuts. ACs must carry assertion command, artifacts, positive/negative assertions, machine-blocking flag, invalid completion signals and assertion-result requirement. Unknown, duplicate, table or missing canonical fields block compile; the workflow must not generate, infer, rewrite or repair the Technical Realization Plan or Acceptance Checklist.
|
|
45
|
-
|
|
46
|
-
## Derived Views
|
|
47
|
-
|
|
48
|
-
`derived/**` contains generated reading views only: local audit, plan-conformance matrix, final acceptance verdict, progress ledger, evidence index (`md` and `json`), context alignment and final summary. Matrix, verdict and evidence-index views may summarize `assertion_status`, blocking assertion failures and negative evidence findings, but they never replace assertion execution and never rewrite Product / Architecture Source, Technical Realization Plan, Acceptance Checklist or `task-state.json`.
|
|
49
|
-
|
|
50
|
-
## Gates
|
|
51
|
-
|
|
52
|
-
The runtime gate sequence is slice-gate for one slice, epoch-gate for shared proof environments and final-gate for product completion. Plan conformance is judged against the Technical Realization Plan, acceptance evidence is judged against the Acceptance Checklist, and final-gate is the only path that computes `product_goal_complete`.
|
|
53
|
-
|
|
54
|
-
## Required Bootstrap
|
|
55
|
-
|
|
56
|
-
Every executor first reads `execution-binding.md`, `workflow-protocol.md`, the three input files, `task-state.json` and current `derived/**` views. If state is missing or stale, initialize or compile through `ty-context composite-long-task init <workdir>` and `ty-context composite-long-task compile <workdir>` before choosing the next implementation slice.
|
|
57
|
-
|
|
58
|
-
## Tiny Context Contract Layer
|
|
59
|
-
|
|
60
|
-
The workflow uses Context Priority Ladder, Context Delta, Source-to-Context Coverage, Context-to-Implementation Binding, Contract Conformance and Context drift check as the durable-fact and implementation-binding layer. These rules constrain the composite workflow, but the composite workflow does not replace or register itself as the Tiny Context Workflow Contract.
|
|
61
|
-
|
|
62
|
-
## Superpowers Execution Binding
|
|
63
|
-
|
|
64
|
-
Superpowers remains the execution layer: prefer `superpowers:subagent-driven-development` when subagents are available, use `superpowers:executing-plans` otherwise, use `superpowers:test-driven-development` for behavior gaps and run `superpowers:verification-before-completion` before completion claims. Tiny Context may wrap Superpowers with authority, conformance and acceptance gates, but must not redefine, duplicate or fork official Superpowers mechanics.
|
|
65
|
-
|
|
66
|
-
## Final Gate Protocol
|
|
67
|
-
|
|
68
|
-
Final completion always runs through the Trusted Evidence Kernel, then through the completion-output resolver. Final gate, `validate-superpowers-state`, state-backed `validate-plan-acceptance` and derived completion views use the same kernel and resolver result. Superpowers verification, validators, auditor checks and generated views are useful execution checks, but they are not proof authority or completion-output authority. The AC Evidence Assertion Gate and Negative Evidence Scan Gate are enforced inside the kernel, not by trusting generated matrix or verdict text. The final gate itself runs in fixed order: load the three inputs, recompute source hashes, load task state, resolve the current attempt, load required command specs, load command-run records, load registered EvidenceRecords, discard stale evidence, scan unregistered assertion JSON, run contradiction scan, run AC-010 bootstrap prevention, run under-specified AC checks, run Harness Drift Lock, run protected baseline guard, validate scope conflicts, recompute every AC, recompute every PI, recompute `acceptance_target_status`, recompute `product_goal_complete`, resolve `completion_output_status`, regenerate `derived/**` and append an event.
|
|
69
|
-
|
|
70
|
-
The final gate recomputes from current source hashes, current attempt, required command specs/runs, registered EvidenceRecordV2 records, contradiction scan, Harness Drift Lock and protected baseline state. It ignores stale passed artifacts, historical complete events, stale derived complete views, matrix/verdict/evidence-index/final-summary rows, validator passes, final cards, auditor prose, AC summary-only proof, unregistered temporary JSON and hand-written status files as proof. The completion-output resolver ignores those same surfaces as authority and emits only `accept`, `reject` or `blocked`. Newer failed commands, Playwright `.last-run.json`, `test-results/**/error-context.md`, JUnit/JSON reporter failures, negative evidence artifacts, owner DOM forbidden states, task-state false/partial values and derived/state mismatch block completion for the affected AC/layer. If historical completion conflicts with current recompute, report `Historical stale completion event detected and ignored.` and `Current recomputed product_goal_complete=false.`
|
|
71
|
-
|
|
72
|
-
Harness Drift Lock: `product_task` is blocked when the current attempt changed Playwright specs, tests, assertion generators, AC010 helpers, evidence writers, final-gate, validator, derive, task-state reducer, this workflow Skill/protocol or related Makefile/package test targets. The output must include `harness_drift_detected`, `acceptance_target_status=blocked`, `product_goal_complete=false` and `本轮修改了验收工具链或测试本身,不能用被修改后的验收证明同一轮产品完成。请拆成独立 harness_task。` A `harness_task` must include adversarial fixtures with expected final-gate outcomes for stale evidence, historical complete, derived contradiction, AC010 summary-only, target mismatch, API-only-for-UI, negative evidence after pass, source hash mismatch, dirty worktree mismatch, missing assertion_result, test weakening, scope leakage, missing UI/browser owner-surface proof, missing negative semantic proof and one happy path; it never proves product completion. HFC-003 is the durable false-completion regression suite: 35 committed mini workdirs plus one runner cover the Trusted Evidence Kernel, completion-output resolver, generated-output scanner, selected CLI smoke paths and one happy path. `protected-harness-baseline.json` blocks product-task changes to protected harness surfaces and requires a baseline reason plus fixtures for harness-task changes.
|
|
73
|
-
|
|
74
|
-
## Completion State Machine
|
|
75
|
-
|
|
76
|
-
`audit_task_complete` means the workflow or audit pass finished. `acceptance_target_status` is the acceptance verdict. `product_goal_complete` is computed only by final-gate. `completion_output_status` is computed only by the final-gate completion-output resolver and is the only official generated final-answer status. Implementation/execution Goal completion requires both `product_goal_complete=true` and `completion_output_status=accept`. A read-only audit goal may finish at audit completion only while saying `Audit workflow completed; acceptance target not complete.` for non-accepted targets.
|
|
77
|
-
|
|
78
|
-
## Forbidden Shortcuts
|
|
79
|
-
|
|
80
|
-
Tests alone do not prove plan conformance. Superpowers review does not prove AC acceptance. Sample evidence does not prove full population unless the AC allows it. Browser screenshots, final cards, validator passes, matrix/verdict rows, evidence-index/final-summary rows, unregistered JSON and prose evidence are auxiliary only for machine-verifiable ACs unless a passed assertion report is bound to the target AC/layer. Derived files, local audit, validator output and auditor reports cannot rewrite Product / Plan / Checklist. Local audit cannot mark product completion. Agents must not handwrite `product_goal_complete`.
|
|
81
|
-
|
|
82
|
-
## Hallucination Guard
|
|
83
|
-
|
|
84
|
-
The protocol must prevent false fusion: do not interpret the composite workflow as the Tiny Context Workflow Contract itself; do not register `workflow-protocol.md` in `project_context/context.toml`; do not treat it as a business fact source; do not use local audit, tests, Superpowers review, sampled evidence, screenshots, final cards, matrix/verdict rows, validator passes, stale generated output or final-gate failure as product completion; do not let those surfaces promote `completion_output_status` to `accept`; do not claim full alignment with unresolved Source-to-Context Coverage or Context-to-Implementation Binding gaps; and do not call a Codex implementation Goal complete before final-gate passes and resolver status is `accept`.
|
|
85
|
-
|
|
86
|
-
## Blocker Protocol
|
|
87
|
-
|
|
88
|
-
Maximize autonomous progress with repository tools, local app/browser sessions, CLI auth, credential helpers and authorized elevation. Stop only for locally unsatisfiable blockers such as MFA, missing permission, unavailable credentials, external approval or legal/system limits, and return the minimal user action list plus the next agent step.
|
|
89
|
-
|
|
90
|
-
## 1. Materials Entering Agent Context
|
|
91
|
-
|
|
92
|
-
The executor must see and fuse these materials together:
|
|
93
|
-
|
|
94
|
-
```text
|
|
95
|
-
1. Tiny Context Workflow Contract
|
|
96
|
-
- Context Priority Ladder
|
|
97
|
-
- Context Delta
|
|
98
|
-
- Source-to-Context Coverage
|
|
99
|
-
- Context-to-Implementation Binding
|
|
100
|
-
- Contract Conformance
|
|
101
|
-
- Context drift check
|
|
102
|
-
|
|
103
|
-
2. Project durable Context
|
|
104
|
-
- project_context/global.md
|
|
105
|
-
- project_context/architecture.md
|
|
106
|
-
- project_context/context.toml
|
|
107
|
-
- matching project_context/areas/**/*
|
|
108
|
-
- DESIGN.md when applicable
|
|
109
|
-
|
|
110
|
-
3. Three long-task authority inputs
|
|
111
|
-
- Product / Architecture Source
|
|
112
|
-
- Technical Realization Plan
|
|
113
|
-
- Acceptance Checklist
|
|
114
|
-
|
|
115
|
-
4. Composite workflow protocol artifacts
|
|
116
|
-
- workflow-protocol.md
|
|
117
|
-
- execution-binding.md
|
|
118
|
-
- goal-objective.txt
|
|
119
|
-
|
|
120
|
-
5. Official Superpowers execution layer
|
|
121
|
-
- superpowers:subagent-driven-development
|
|
122
|
-
- superpowers:executing-plans
|
|
123
|
-
- superpowers:test-driven-development
|
|
124
|
-
- superpowers:verification-before-completion
|
|
125
|
-
|
|
126
|
-
6. State and audit kernel
|
|
127
|
-
- task-state.json
|
|
128
|
-
- events.ndjson
|
|
129
|
-
- derived/**
|
|
130
|
-
- task-state.evidence[]
|
|
131
|
-
- slice / epoch / final gates
|
|
132
|
-
```
|
|
133
|
-
|
|
134
|
-
The fusion order is not free-form. The executor first applies the Tiny Context Workflow Contract, then confirms the three-input source authority, then compiles state, then uses Superpowers implementation slices, then updates canonical state/evidence, derives reading views, runs gates and lets final-gate compute completion.
|
|
135
|
-
|
|
136
|
-
## 2. Phase One: Workflow Contract First
|
|
137
|
-
|
|
138
|
-
After receiving a Goal, the executor must not start with code. It first applies Tiny Context workflow rules:
|
|
139
|
-
|
|
140
|
-
```text
|
|
141
|
-
1. Read project_context/global.md, architecture.md, context.toml and relevant area/role Context.
|
|
142
|
-
2. Decide Product Context Delta and Technical Context Delta.
|
|
143
|
-
3. If either is required, update the smallest owning Context before implementation.
|
|
144
|
-
4. Build Source-to-Context Coverage for the three inputs:
|
|
145
|
-
- whether each source item is covered by existing Context;
|
|
146
|
-
- whether Context must be added or updated;
|
|
147
|
-
- whether it is task-local only;
|
|
148
|
-
- whether it is explicitly out of scope;
|
|
149
|
-
- whether a user decision is needed.
|
|
150
|
-
5. For high-risk implementation, build Context-to-Implementation Binding:
|
|
151
|
-
- which surfaces each Context fact must reach;
|
|
152
|
-
- expected implementation paths;
|
|
153
|
-
- forbidden shortcuts;
|
|
154
|
-
- verification paths.
|
|
155
|
-
```
|
|
156
|
-
|
|
157
|
-
This phase answers whether the task changes durable facts, whether Context supports implementation, which product/architecture/API/schema/state/surface/verification facts must be written first, and which concrete paths and verification entries the implementation must bind to.
|
|
158
|
-
|
|
159
|
-
If Source-to-Context Coverage still has `new_context_required`, `under_scoped` or `needs_user_decision`, do not claim the plan was fully implemented. If Context-to-Implementation Binding still has `missing`, `partial`, `blocked` or `contradicted_by_current_state`, do not claim Context-to-code alignment.
|
|
160
|
-
|
|
161
|
-
## 3. Phase Two: Three Inputs Lock Task Authority
|
|
162
|
-
|
|
163
|
-
The authority relationship is fixed:
|
|
164
|
-
|
|
165
|
-
```text
|
|
166
|
-
Product / Architecture Source
|
|
167
|
-
= intent, scope, boundaries, owner surface, delivery scope, full population / sample semantics.
|
|
168
|
-
|
|
169
|
-
Technical Realization Plan
|
|
170
|
-
= PI items, implementation paths, API/schema, state machine, worker/runtime, UI/IA, required tests, plan conformance.
|
|
171
|
-
|
|
172
|
-
Acceptance Checklist
|
|
173
|
-
= AC items, completion semantics, required proof layers, invalid evidence, fail conditions, acceptance verdict.
|
|
174
|
-
```
|
|
175
|
-
|
|
176
|
-
`task-state.json` is compiled from these inputs. `derived/**`, local audit, matrix, verdict, validator output and auditor reports cannot rewrite them. Project Context also preserves this authority model: source owns intent/scope/boundaries, plan owns executable blueprint and plan conformance, checklist owns AC completion semantics and proof layers.
|
|
177
|
-
|
|
178
|
-
## 4. Phase Three: Compile The State Kernel
|
|
179
|
-
|
|
180
|
-
When initializing or resuming a task, the executor confirms this workdir shape:
|
|
181
|
-
|
|
182
|
-
```text
|
|
183
|
-
tmp/ty-context/plan-acceptance/<plan-slug>/
|
|
184
|
-
product-architecture-source.md
|
|
185
|
-
technical-realization-plan.md
|
|
186
|
-
acceptance-checklist.md
|
|
187
|
-
workflow-protocol.md
|
|
188
|
-
execution-binding.md
|
|
189
|
-
task-state.json
|
|
190
|
-
events.ndjson
|
|
191
|
-
derived/**
|
|
192
|
-
```
|
|
193
|
-
|
|
194
|
-
If `task-state.json` is absent or uncompiled, use the public command path:
|
|
195
|
-
|
|
196
|
-
```bash
|
|
197
|
-
ty-context composite-long-task init <workdir>
|
|
198
|
-
ty-context composite-long-task compile <workdir>
|
|
199
|
-
```
|
|
200
|
-
|
|
201
|
-
Legacy/internal compatibility may exist as an equivalent implementation namespace only:
|
|
202
|
-
|
|
203
|
-
```bash
|
|
204
|
-
ty-context superpowers init <workdir>
|
|
205
|
-
ty-context superpowers compile <workdir>
|
|
206
|
-
```
|
|
207
|
-
|
|
208
|
-
The compiled state forms:
|
|
209
|
-
|
|
210
|
-
```text
|
|
211
|
-
Plan graph:
|
|
212
|
-
PI -> AC
|
|
213
|
-
AC -> required proof layers
|
|
214
|
-
delivery scope
|
|
215
|
-
sample / full population boundary
|
|
216
|
-
owner surfaces
|
|
217
|
-
forbidden shortcuts
|
|
218
|
-
|
|
219
|
-
State kernel:
|
|
220
|
-
task-state.json = only execution state source
|
|
221
|
-
events.ndjson = append-only event log
|
|
222
|
-
derived/** = generated reading views only
|
|
223
|
-
```
|
|
224
|
-
|
|
225
|
-
The goal of this phase is to turn natural-language plans into a state-machine-traceable task graph.
|
|
226
|
-
|
|
227
|
-
## 5. Phase Four: Superpowers Enters Implementation
|
|
228
|
-
|
|
229
|
-
Superpowers organizes implementation execution:
|
|
230
|
-
|
|
231
|
-
```text
|
|
232
|
-
- Prefer superpowers:subagent-driven-development when subagents are available.
|
|
233
|
-
- Use superpowers:executing-plans when subagents are unavailable or insufficient.
|
|
234
|
-
- Use superpowers:test-driven-development for behavior changes.
|
|
235
|
-
- Use superpowers:verification-before-completion before any completion claim.
|
|
236
|
-
```
|
|
237
|
-
|
|
238
|
-
Tiny Context does not copy, fork or override official Superpowers execution mechanics. It wraps them with:
|
|
239
|
-
|
|
240
|
-
```text
|
|
241
|
-
source authority gate
|
|
242
|
-
plan conformance gate
|
|
243
|
-
acceptance evidence gate
|
|
244
|
-
state consistency gate
|
|
245
|
-
final completion gate
|
|
246
|
-
```
|
|
247
|
-
|
|
248
|
-
Superpowers manages how to move implementation forward efficiently. Tiny Context checks whether implementation drifted from the source, plan and ACs.
|
|
249
|
-
|
|
250
|
-
## 6. Phase Five: What An Implementation Slice Is
|
|
251
|
-
|
|
252
|
-
An implementation slice is not an arbitrary file chunk, page chunk or API chunk. It is the smallest coherent execution unit that closes related gaps.
|
|
253
|
-
|
|
254
|
-
A slice should:
|
|
255
|
-
|
|
256
|
-
```text
|
|
257
|
-
1. Bind 2-4 strongly related missing layers.
|
|
258
|
-
2. Usually share one or more of:
|
|
259
|
-
- same AC;
|
|
260
|
-
- same PI;
|
|
261
|
-
- same runtime scenario;
|
|
262
|
-
- same owner surface;
|
|
263
|
-
- same proof environment;
|
|
264
|
-
- same verification path group.
|
|
265
|
-
3. Advance both implementation and evidence.
|
|
266
|
-
4. End by updating task-state and reducing explicit plan/AC/proof gaps.
|
|
267
|
-
```
|
|
268
|
-
|
|
269
|
-
A slice usually:
|
|
270
|
-
|
|
271
|
-
```text
|
|
272
|
-
- modifies implementation code;
|
|
273
|
-
- modifies API/schema/state/worker/runtime/UI/IA when required;
|
|
274
|
-
- runs required tests or smoke checks;
|
|
275
|
-
- captures evidence;
|
|
276
|
-
- writes slice-delta.json;
|
|
277
|
-
- applies the slice delta;
|
|
278
|
-
- derives views;
|
|
279
|
-
- runs slice-gate.
|
|
280
|
-
```
|
|
281
|
-
|
|
282
|
-
A slice cannot only say "some work was done." Its `progress_value` must explain which gap it closed and why that reduces later rework.
|
|
283
|
-
|
|
284
|
-
## 7. Phase Six: Slice Delta Updates State
|
|
285
|
-
|
|
286
|
-
After every slice, progress must enter `task-state.json` through structured state update. Do not handwrite derived results and do not report progress only in chat.
|
|
287
|
-
|
|
288
|
-
`slice-delta.json` must express at least:
|
|
289
|
-
|
|
290
|
-
```text
|
|
291
|
-
slice_id
|
|
292
|
-
slice_goal
|
|
293
|
-
touched_plan_items
|
|
294
|
-
touched_acs
|
|
295
|
-
code_changes
|
|
296
|
-
evidence_records
|
|
297
|
-
closed_layers
|
|
298
|
-
remaining_layers
|
|
299
|
-
blockers
|
|
300
|
-
cleanup_assertions
|
|
301
|
-
progress_value
|
|
302
|
-
```
|
|
303
|
-
|
|
304
|
-
Each evidence record enters `task-state.evidence[]` and includes:
|
|
305
|
-
|
|
306
|
-
```text
|
|
307
|
-
evidence_id
|
|
308
|
-
slice_id
|
|
309
|
-
type
|
|
310
|
-
command
|
|
311
|
-
artifact_paths
|
|
312
|
-
proves
|
|
313
|
-
does_not_prove
|
|
314
|
-
freshness
|
|
315
|
-
redaction
|
|
316
|
-
reviewability / reproduction_steps
|
|
317
|
-
assertion_result for machine-verifiable layers
|
|
318
|
-
negative_evidence_scan with target_proof_layers where invalid completion signals must be ruled out
|
|
319
|
-
```
|
|
320
|
-
|
|
321
|
-
`proves` and `does_not_prove` are both required because evidence must say what it proves and what it does not prove. This prevents samples, passing tests, screenshots, mocks or local audit text from being reused as full acceptance.
|
|
322
|
-
|
|
323
|
-
## 8. Phase Seven: Local Audit And Derived Views
|
|
324
|
-
|
|
325
|
-
After state changes, run:
|
|
326
|
-
|
|
327
|
-
```bash
|
|
328
|
-
ty-context composite-long-task derive <workdir>
|
|
329
|
-
```
|
|
330
|
-
|
|
331
|
-
Legacy/internal compatibility may exist as:
|
|
332
|
-
|
|
333
|
-
```bash
|
|
334
|
-
ty-context superpowers derive <workdir>
|
|
335
|
-
```
|
|
336
|
-
|
|
337
|
-
The generated views are:
|
|
338
|
-
|
|
339
|
-
```text
|
|
340
|
-
derived/local-audit.md
|
|
341
|
-
derived/plan-conformance-matrix.md
|
|
342
|
-
derived/final-acceptance-verdict.md
|
|
343
|
-
derived/progress-ledger.md
|
|
344
|
-
derived/evidence-index.json
|
|
345
|
-
derived/evidence-index.md
|
|
346
|
-
derived/context-alignment.md
|
|
347
|
-
derived/final-summary.md
|
|
348
|
-
```
|
|
349
|
-
|
|
350
|
-
Their roles:
|
|
351
|
-
|
|
352
|
-
```text
|
|
353
|
-
local-audit.md
|
|
354
|
-
= recovery view for future sessions or subagents.
|
|
355
|
-
|
|
356
|
-
plan-conformance-matrix.md
|
|
357
|
-
= whether PIs were implemented, whether evidence maps correctly, and whether implementation drifted from the Technical Plan.
|
|
358
|
-
|
|
359
|
-
final-acceptance-verdict.md
|
|
360
|
-
= whether ACs satisfy required proof layers, what is missing, and what cannot be accepted.
|
|
361
|
-
|
|
362
|
-
progress-ledger.md
|
|
363
|
-
= separate progress for AC acceptance, engineering implementation, runtime/proof, system capability, sample, real object, full population and workflow overhead.
|
|
364
|
-
|
|
365
|
-
evidence-index.md
|
|
366
|
-
= index from evidence_id to proved object, artifact, command and does_not_prove boundary.
|
|
367
|
-
|
|
368
|
-
context-alignment.md
|
|
369
|
-
= alignment state for Context Delta, Source-to-Context Coverage and Context-to-Implementation Binding.
|
|
370
|
-
|
|
371
|
-
final-summary.md
|
|
372
|
-
= whether completion is currently possible, why not, and what comes next.
|
|
373
|
-
```
|
|
374
|
-
|
|
375
|
-
All `derived/**` files are generated views, not authority. They must not be hand-edited as completion evidence. Local audit is not Context, not quality proof and not a global task manager; it is only a recovery and audit view.
|
|
376
|
-
|
|
377
|
-
## 9. Phase Eight: Slice Gate And Epoch Gate
|
|
378
|
-
|
|
379
|
-
After each slice, run:
|
|
380
|
-
|
|
381
|
-
```bash
|
|
382
|
-
ty-context composite-long-task slice-gate <workdir> --slice <slice-id>
|
|
383
|
-
```
|
|
384
|
-
|
|
385
|
-
Slice gate checks:
|
|
386
|
-
|
|
387
|
-
```text
|
|
388
|
-
- whether the slice closed a real PI/AC/proof-layer gap;
|
|
389
|
-
- whether fresh reviewable evidence exists;
|
|
390
|
-
- whether required machine-verifiable proof layers have passed assertion results;
|
|
391
|
-
- whether negative evidence findings invalidate the layer or AC;
|
|
392
|
-
- whether evidence entered task-state.evidence[];
|
|
393
|
-
- whether closed_layers are actually proved;
|
|
394
|
-
- whether remaining_layers were not falsely closed;
|
|
395
|
-
- whether blockers are recorded truthfully;
|
|
396
|
-
- whether derived views match task-state.
|
|
397
|
-
```
|
|
398
|
-
|
|
399
|
-
When multiple slices reuse one provider/browser/runtime/security proof environment, run:
|
|
400
|
-
|
|
401
|
-
```bash
|
|
402
|
-
ty-context composite-long-task epoch-gate <workdir> --epoch <epoch-id>
|
|
403
|
-
```
|
|
404
|
-
|
|
405
|
-
Epoch gate validates the shared proof environment in batch, avoids running full final gate after every slice, and prevents shared runtime/browser/provider evidence from being reused after contamination or staleness.
|
|
406
|
-
|
|
407
|
-
## 10. Phase Nine: Plan Conformance Gate
|
|
408
|
-
|
|
409
|
-
Plan conformance is judged by the Technical Realization Plan, not by the executor's summary.
|
|
410
|
-
|
|
411
|
-
Each PI answers:
|
|
412
|
-
|
|
413
|
-
```text
|
|
414
|
-
- Was the PI actually implemented?
|
|
415
|
-
- Do implementation paths match implementation_paths?
|
|
416
|
-
- Are owner_surfaces correct?
|
|
417
|
-
- Were forbidden_surfaces avoided?
|
|
418
|
-
- Did API/schema/state/runtime/data/UI/IA land according to the Plan?
|
|
419
|
-
- Were required_tests executed or blocked with reason?
|
|
420
|
-
- Can related_acs be traced through evidence?
|
|
421
|
-
```
|
|
422
|
-
|
|
423
|
-
`derived/plan-conformance-matrix.md` is only a view. The authoritative state is `task-state.json` plus evidence records.
|
|
424
|
-
|
|
425
|
-
Forbidden substitutions:
|
|
426
|
-
|
|
427
|
-
```text
|
|
428
|
-
- "code changed" does not prove plan conformance;
|
|
429
|
-
- "tests passed" does not prove PI completion;
|
|
430
|
-
- "Superpowers review passed" does not prove Plan Conformance Gate;
|
|
431
|
-
- convenient current-code paths do not override the Technical Realization Plan.
|
|
432
|
-
```
|
|
433
|
-
|
|
434
|
-
## 11. Phase Ten: Acceptance Evidence Gate
|
|
435
|
-
|
|
436
|
-
AC completion is decided by the Acceptance Checklist. Every AC must satisfy its declared `required_proof_layers`.
|
|
437
|
-
|
|
438
|
-
Proof layers may include:
|
|
439
|
-
|
|
440
|
-
```text
|
|
441
|
-
code
|
|
442
|
-
api_schema
|
|
443
|
-
worker_runtime
|
|
444
|
-
data_artifact
|
|
445
|
-
ui_browser
|
|
446
|
-
security_redaction
|
|
447
|
-
all_provider_all_runner
|
|
448
|
-
cleanup_stale_scan
|
|
449
|
-
test
|
|
450
|
-
```
|
|
451
|
-
|
|
452
|
-
AC completion requires:
|
|
453
|
-
|
|
454
|
-
```text
|
|
455
|
-
1. Every required proof layer has fresh reviewable evidence.
|
|
456
|
-
2. evidence.proves explicitly covers that layer.
|
|
457
|
-
3. evidence.does_not_prove does not expose a scope substitution problem.
|
|
458
|
-
4. Machine-verifiable required layers have assertion_result.status=passed and exit code 0.
|
|
459
|
-
5. Positive and negative assertions passed for the target AC/layer.
|
|
460
|
-
6. Negative evidence scan has no forbidden owner-surface state.
|
|
461
|
-
7. No missing required layers.
|
|
462
|
-
8. No material drift.
|
|
463
|
-
9. No stale artifact.
|
|
464
|
-
10. No raw secret/token/cookie/payload leak.
|
|
465
|
-
11. No sibling surface / sample object / mock substitution for owner surface or full population.
|
|
466
|
-
12. When full_population_required=true, sample evidence cannot replace full-population evidence.
|
|
467
|
-
```
|
|
468
|
-
|
|
469
|
-
This gate enables an external reviewer to follow the evidence chain. Auditor subagents may find gaps but are not proof sources.
|
|
470
|
-
|
|
471
|
-
Invalid evidence for UI/browser AC completion includes screenshot-only proof, component screenshots, storybook pages, viewmodels, mocks, unit-only proof, API-only proof, diagnostic pages, final cards, matrix/verdict rows, validator passes and prose summaries. Forbidden final owner-surface states such as `未验证`, `不可用`, `暂不可用` or `页面无明显变化` invalidate the relevant AC/layer.
|
|
472
|
-
|
|
473
|
-
## 12. Phase Eleven: Delivery Scope And Full Population Stay Separate
|
|
474
|
-
|
|
475
|
-
The workflow always distinguishes:
|
|
476
|
-
|
|
477
|
-
```text
|
|
478
|
-
system_capability_build
|
|
479
|
-
representative_sample_validation
|
|
480
|
-
full_population_operation
|
|
481
|
-
mixed_scope_requires_boundary
|
|
482
|
-
out_of_scope_backlog
|
|
483
|
-
```
|
|
484
|
-
|
|
485
|
-
Typical forbidden claims:
|
|
486
|
-
|
|
487
|
-
```text
|
|
488
|
-
- framework complete does not mean all real objects complete;
|
|
489
|
-
- several objects succeeded does not mean automation capability complete;
|
|
490
|
-
- sample provider succeeded does not mean all-provider complete;
|
|
491
|
-
- UI screenshot exists does not mean owner surface primary path is closed;
|
|
492
|
-
- final card, matrix, verdict or validator pass does not mean a machine-verifiable AC has assertion-backed evidence;
|
|
493
|
-
- tests passed does not mean AC accepted;
|
|
494
|
-
- local audit passed does not mean product_goal_complete.
|
|
495
|
-
```
|
|
496
|
-
|
|
497
|
-
If Product / Plan / Checklist disagree on delivery scope, state records:
|
|
498
|
-
|
|
499
|
-
```text
|
|
500
|
-
scope_conflict_requires_decision
|
|
501
|
-
```
|
|
502
|
-
|
|
503
|
-
Completion is blocked until the source conflict is resolved. Validators inspect explicit fields; they do not infer business scope from prose.
|
|
504
|
-
|
|
505
|
-
## 13. Phase Twelve: Fixed Final Gate Order
|
|
506
|
-
|
|
507
|
-
Before final completion, the kernel order is fixed:
|
|
508
|
-
|
|
509
|
-
```text
|
|
510
|
-
1. load product-architecture-source.md, technical-realization-plan.md, acceptance-checklist.md
|
|
511
|
-
2. recompute source hashes
|
|
512
|
-
3. load task-state.json
|
|
513
|
-
4. resolve current_attempt
|
|
514
|
-
5. load required command specs
|
|
515
|
-
6. load command-run records
|
|
516
|
-
7. load registered EvidenceRecordV2 records
|
|
517
|
-
8. discard stale evidence
|
|
518
|
-
9. scan unregistered assertion JSON
|
|
519
|
-
10. contradiction scan
|
|
520
|
-
11. run AC-010 bootstrap prevention
|
|
521
|
-
12. run under-specified AC checks
|
|
522
|
-
13. run Harness Drift Lock
|
|
523
|
-
14. run protected baseline guard
|
|
524
|
-
15. recompute every AC
|
|
525
|
-
16. recompute every PI
|
|
526
|
-
17. recompute acceptance_target_status
|
|
527
|
-
18. recompute product_goal_complete
|
|
528
|
-
19. resolve completion_output_status
|
|
529
|
-
20. regenerate derived/**
|
|
530
|
-
21. append event
|
|
531
|
-
```
|
|
532
|
-
|
|
533
|
-
Legacy/internal compatibility may exist as:
|
|
534
|
-
|
|
535
|
-
```text
|
|
536
|
-
ty-context superpowers final-gate <workdir>
|
|
537
|
-
```
|
|
538
|
-
|
|
539
|
-
Only final-gate computes:
|
|
540
|
-
|
|
541
|
-
```text
|
|
542
|
-
product_goal_complete=true
|
|
543
|
-
completion_output_status=accept
|
|
544
|
-
```
|
|
545
|
-
|
|
546
|
-
Implementation / execution Goals complete only after both computed values are present.
|
|
547
|
-
|
|
548
|
-
## 14. Completion Semantics
|
|
549
|
-
|
|
550
|
-
The workflow distinguishes:
|
|
551
|
-
|
|
552
|
-
```text
|
|
553
|
-
audit_task_complete
|
|
554
|
-
= whether the audit/reporting task finished.
|
|
555
|
-
|
|
556
|
-
acceptance_target_status
|
|
557
|
-
= AC acceptance target state.
|
|
558
|
-
|
|
559
|
-
product_goal_complete
|
|
560
|
-
= whether implementation/execution is truly complete.
|
|
561
|
-
|
|
562
|
-
completion_output_status
|
|
563
|
-
= official generated final-answer status: accept, reject or blocked.
|
|
564
|
-
```
|
|
565
|
-
|
|
566
|
-
Rules:
|
|
567
|
-
|
|
568
|
-
```text
|
|
569
|
-
1. Do not handwrite product_goal_complete.
|
|
570
|
-
2. product_goal_complete is computed only by final-gate.
|
|
571
|
-
3. Do not handwrite completion_output_status.
|
|
572
|
-
4. completion_output_status=accept requires product_goal_complete=true and accepted target status.
|
|
573
|
-
5. audit_task_complete=true is not product completion.
|
|
574
|
-
6. If completion_output_status is reject or blocked, do not say Goal achieved, completed, accepted or done.
|
|
575
|
-
7. A read-only audit task may end, but must say:
|
|
576
|
-
Audit workflow completed; acceptance target not complete.
|
|
577
|
-
8. Implementation / execution Goal mode can call update_goal complete only when product_goal_complete=true and completion_output_status=accept.
|
|
578
|
-
```
|
|
579
|
-
|
|
580
|
-
This must stay visible in Skill and Goal objective because Codex Goal mode can otherwise confuse "audit workflow ended" with "product target accepted."
|
|
581
|
-
|
|
582
|
-
## 15. Blocker Strategy
|
|
583
|
-
|
|
584
|
-
The executor maximizes autonomous progress:
|
|
585
|
-
|
|
586
|
-
```text
|
|
587
|
-
- reuse local app login sessions;
|
|
588
|
-
- reuse browser sessions;
|
|
589
|
-
- reuse CLI auth;
|
|
590
|
-
- reuse OS credential helpers;
|
|
591
|
-
- try authorized sudo / gsudo / administrator elevation first;
|
|
592
|
-
- solve locally discoverable command/page/script/config/test/log issues before pausing.
|
|
593
|
-
```
|
|
594
|
-
|
|
595
|
-
Only these are user blockers:
|
|
596
|
-
|
|
597
|
-
```text
|
|
598
|
-
- MFA;
|
|
599
|
-
- account not logged in and cannot self-service login;
|
|
600
|
-
- insufficient permissions;
|
|
601
|
-
- external approval;
|
|
602
|
-
- payment or paid-source authorization;
|
|
603
|
-
- platform policy or legal restriction;
|
|
604
|
-
- credentials or decisions that only the user can supply.
|
|
605
|
-
```
|
|
606
|
-
|
|
607
|
-
When reporting a blocker, include the minimal user action:
|
|
608
|
-
|
|
609
|
-
```text
|
|
610
|
-
- exact page/system/command to open;
|
|
611
|
-
- exact field or value location;
|
|
612
|
-
- sensitive values not to send;
|
|
613
|
-
- what the agent will do next;
|
|
614
|
-
- why completion is currently impossible.
|
|
615
|
-
```
|
|
616
|
-
|
|
617
|
-
## 16. Final Expected Effect
|
|
618
|
-
|
|
619
|
-
The result is a recoverable long-running loop:
|
|
620
|
-
|
|
621
|
-
```text
|
|
622
|
-
Tiny Context Workflow Contract
|
|
623
|
-
-> Context Delta
|
|
624
|
-
-> Context update or confirmation
|
|
625
|
-
-> Source-to-Context Coverage
|
|
626
|
-
-> Context-to-Implementation Binding
|
|
627
|
-
|
|
628
|
-
Three inputs
|
|
629
|
-
-> lock product intent, technical plan and acceptance semantics
|
|
630
|
-
-> compile PI/AC/proof graph
|
|
631
|
-
|
|
632
|
-
Superpowers
|
|
633
|
-
-> implementation slices
|
|
634
|
-
-> multi-agent / TDD / executing-plans implementation
|
|
635
|
-
|
|
636
|
-
Each slice
|
|
637
|
-
-> code/API/runtime/UI changes
|
|
638
|
-
-> evidence capture
|
|
639
|
-
-> slice-delta update
|
|
640
|
-
-> apply-slice-delta
|
|
641
|
-
-> derive audit / matrix / verdict / progress / evidence views
|
|
642
|
-
-> slice-gate / epoch-gate
|
|
643
|
-
|
|
644
|
-
Final
|
|
645
|
-
-> Plan Conformance Gate
|
|
646
|
-
-> Acceptance Evidence Gate
|
|
647
|
-
-> External Reviewer / stale-overclaim scan
|
|
648
|
-
-> final-gate
|
|
649
|
-
-> product_goal_complete=true and completion_output_status=accept before Codex Goal completion
|
|
650
|
-
```
|
|
651
|
-
|
|
652
|
-
One-sentence definition:
|
|
653
|
-
|
|
654
|
-
```text
|
|
655
|
-
The expected runtime effect of the composite long-task workflow is to make a Codex agent fuse Tiny Context fact/process constraints, three upstream task authorities, Superpowers long-task execution and a task-state evidence state machine in one context; execution goes Context first, then Plan, then Superpowers slices, and completion is judged by state-backed gates for plan conformance, AC evidence, product_goal_complete and completion_output_status so long tasks do not drift in implementation, acceptance or completion claims.
|
|
656
|
-
```
|
|
657
|
-
|
|
658
|
-
## 17. Forbidden Wrong Fusion / 不允许的错误融合
|
|
659
|
-
|
|
660
|
-
The workflow must explicitly prevent these interpretations:
|
|
661
|
-
|
|
662
|
-
```text
|
|
663
|
-
Do not interpret the composite long-task workflow as the Tiny Context Workflow Contract itself.
|
|
664
|
-
Do not register workflow-protocol.md in project_context/context.toml.
|
|
665
|
-
Do not treat workflow-protocol.md as a business fact source.
|
|
666
|
-
Do not let derived/** rewrite Product / Plan / Checklist.
|
|
667
|
-
Do not treat local audit as quality proof.
|
|
668
|
-
Do not treat Superpowers review as plan conformance or AC acceptance.
|
|
669
|
-
Do not treat sample evidence as full-population proof.
|
|
670
|
-
Do not claim full implementation when Context Delta is required but Context is not updated.
|
|
671
|
-
Do not claim full alignment while Source-to-Context Coverage / Context-to-Implementation Binding has unresolved gaps.
|
|
672
|
-
Do not handwrite product_goal_complete.
|
|
673
|
-
Do not handwrite completion_output_status.
|
|
674
|
-
Do not call update_goal complete before final-gate passes and completion_output_status=accept.
|
|
675
|
-
```
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
export declare function superpowers(args: string[]): Promise<void>;
|