You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Seal ATS-1 1.0.0-draft.3 with behavioral AC semantics #4
PR #3 / merge d3b121dfd262b87834b64317e94769718b72a29f accepted D-G after adversarial review. Promote it as a separate sealed normative edition; do not mutate draft.2 in place.
Scope
Create spec/ATS-1/1.0.0-draft.3/ from the sealed draft.2 baseline with only D-G semantic changes:
§9.3.2: acceptance_criterion = canonical falsifiable behavioral proposition, not evidence.
§9.3.9: exact REQ↔AC mapping; test/evidence instruments cannot substitute for AC; load-bearing rule; scope-fidelity/no-hidden-obligation rule; normative thresholds remain in REQ/AC.
§9.3.10 and §9.3.20 wording aligned.
Add ATS-REQ-004 as review_required, SPECIFY: advisory, TRANSFORM: advisory so current no-D3 implementation does not create a mandatory semantic/model pass.
D1 may catch structural/test-shaped failures but may not certify load-bearing semantics by absence.
Required evidence before default flip
behavioral conforming fixture;
test-shaped negative;
non-load-bearing negative;
scope-widening/hidden-obligation negative;
spec/registry statement identity;
package manifest and offline validator PASS;
draft.1 and draft.2 byte identity unchanged;
repository public gate PASS.
Version law
normative edition: 1.0.0-draft.3 — yes, this is the appropriate bump;
skill pack: no bump merely for opening the normative edition; bump only if canonical skill bytes/default behavior change;
DEFAULT_SPEC_VERSION remains draft.1 for historical interpretation;
do not move AUTHORING_SPEC_VERSION or config/policies/fleet_policy.json from draft.2 until the sealed draft.3 package is validated and imported;
after that gate, flip new durable authoring to draft.3 in a separate auditable commit/PR and regenerate any policy IDs/derived assets required by the repo.
Non-goals
No schema fields, evidence-planning ontology, failure-mechanism field, new D3 implementation, new mandatory lint pass, or historical corpus migration.
PR Make ATS-1 draft.3 the new-authoring default #6 moved new durable authoring / fleet policy to draft.3, preserved draft.1 legacy interpretation, kept implementation 0.5.0, generated skill pack 0.1.4, and hardened the stale-draft1 verifier.
PR Bind skill pack 0.1.4 to merged draft.3 source #7 rebound the 0.1.4 manifest to merged master source commit 70ddb27c12df8fbd426730ce92ef03f4040bb0d8, so SOURCE-COMMIT reproduction does not depend on retaining a pre-squash branch.
Final gates: repo validation 13/13; draft.1, draft.2, and draft.3 package validators PASS; skill-pack verification PASS; CLI smoke 28/28; publication/unit gates PASS; hermetic OSS capstone PASS; generated pack byte-idempotent on replay.
Final master closure commit after provenance rebind: 2ed03a31abcfd60749ef051e9399011969d7534e.
Activity
GauravAlbal commentedon Aug 25, 2026
Completed.
1.0.0-draft.3as a separate normative edition with behavioral AC semantics andATS-REQ-004advisory semantics; draft.1/draft.2 remained untouched.0.5.0, generated skill pack0.1.4, and hardened the stale-draft1 verifier.70ddb27c12df8fbd426730ce92ef03f4040bb0d8, so SOURCE-COMMIT reproduction does not depend on retaining a pre-squash branch.Final gates: repo validation 13/13; draft.1, draft.2, and draft.3 package validators PASS; skill-pack verification PASS; CLI smoke 28/28; publication/unit gates PASS; hermetic OSS capstone PASS; generated pack byte-idempotent on replay.
Final master closure commit after provenance rebind:
2ed03a31abcfd60749ef051e9399011969d7534e.