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
Commit d6a3029
Browse filesBrowse the repository at this point in the historyBrowse files
Apply F1-F5 from the independent review of c85072d. Keep the pending proposal, requirement IDs and obligations unchanged; leave F6-F13 for explicit follow-up.
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Copilot-Session: b9e09d66-a487-47cf-a05a-5ae014d3ab12
| `resolved_by` | Resolution provenance; for a local entry, its declaring-parent anchor. Proposed [req-lk-024](#req-lk-024) repairs a removed parent's anchor to a verified surviving parent during uninstall. Not a complete incoming-edge set. |
1040
+
| `resolved_by` | Resolution provenance; for a local entry, its declaring-parent anchor. See proposed [Section 5.2.2](#522-uninstall-reachability-preservation-proposed) for a pending amendment affecting this field. Not a complete incoming-edge set. |
1041
1041
| `package_type` | One of `apm_package`, `skill_bundle`, etc. |
1042
1042
| `skill_subset` | Selected skill names for dependencies that expose selectable skills (see [Section 8.1](#81-primitive-types)). |
1043
1043
| `deployed_files` | Project-relative paths the consumer wrote for this entry. |
@@ -1355,8 +1355,8 @@ unsafe, or ambiguous such that safe removal cannot be established, the
1355
1355
consumer MUST preserve the uncertain candidate entries and their required
1356
1356
installed material. It MUST emit an actionable diagnostic identifying the
1357
1357
failed verification with enough context to inspect or restore the evidence, without
1358
-
exposing secrets. It MUST NOT treat an unknown subtree as empty or use a
1359
-
partially verified graph to authorize uncertain deletion.
1358
+
exposing secrets (see [req-sc-007](#req-sc-007)). It MUST NOT treat an unknown
1359
+
subtree as empty or use a partially verified graph to authorize uncertain deletion.
1360
1360
1361
1361
A dry-run preview of this cleanup MUST make the same preserve/remove
1362
1362
decisions from the same evidence, including uncertainty, without changing
@@ -3834,6 +3834,8 @@ detection MUST scope per-dependency, not globally.
3834
3834
For supported dependency aliases, [req-mf-025](#req-mf-025) constrains
3835
3835
destinations and records canonical placement for later cleanup. Containment
3836
3836
alone does not establish ownership or authorize deletion of existing content.
3837
+
Proposed [req-lk-024](#req-lk-024) preserves reachable entries and fails closed
3838
+
on uncertain evidence during uninstall-time orphan cleanup.
3837
3839
3838
3840
### 10.8 Policy bypass via crafted manifest
3839
3841
@@ -3898,7 +3900,7 @@ every stored hash, foreclosing algorithm-ambiguity attacks.
@@ -4781,7 +4783,7 @@ staged-replacement capability, not every consumer implementation.
4781
4783
4782
4784
| Revision | Date | Changes |
4783
4785
|----------|------|---------|
4784
-
| Revision pending (#2270, proposed) | 2026-10-21 | Adds [req-lk-024](#req-lk-024), Section 5.2.2: preserve reachable transitive entries and installed material in either parent-removal order, repair coherent surviving-parent/local-path anchors, permit final-parent cleanup, preserve uncertain candidates with an actionable diagnostic, and keep cleanup previews read-only. Reconciles resolution provenance with lifecycle anchors without changing traversal or lock formats. This is a new hard conformance obligation, not errata: implementations deleting reachable or uncertain candidates, retaining stale anchors, leaking final orphans, or mutating previews can newly fail. Section 9.2/9.4 classification and revision selection remain pending; a breaking classification requires the minor/migration route, not a patch label. Section 9.3 non-author approvals, subsequent public comment, applicable Section 9.5 migration and publication remain outstanding. The conditional req-rpl-002 proposal, historical waivers, shared-file rules and release commitments are unchanged. Statement count: 136 -> 137 (132 MUST, 5 SHOULD). |
4786
+
| Revision pending (#2270, proposed) | 2026-10-21 | Adds [req-lk-024](#req-lk-024), Section 5.2.2: preserve reachable transitive entries and installed material in either parent-removal order, repair coherent surviving-parent/local-path anchors, permit final-parent cleanup, preserve uncertain candidates with an actionable diagnostic, and keep cleanup previews read-only. Reconciles resolution provenance with lifecycle anchors without changing traversal or lock formats. This is a new hard conformance obligation, not errata: implementations deleting reachable or uncertain candidates, retaining stale anchors, leaking final orphans, or mutating previews can newly fail. Section 9.2/9.4 classification and revision selection remain pending; a breaking classification requires the minor/migration route, not a patch label. Section 9.3 non-author approvals, subsequent public comment, applicable Section 9.5 migration and publication remain outstanding. The conditional req-rpl-002 proposal, historical waivers, shared-file rules and release commitments are unchanged. Statement count: 136 -> 137 (132 MUST, 5 SHOULD). Also corrects the Section 7.4 lockfile-fragment worked-example citation from req-rs-010 to req-rs-001 (resolved_by provenance, not conflict diagnostics). |
4785
4787
4786
4788
The independently drafted 0.1.52, 0.1.53 and 0.1.55 proposals each add one MUST;
4787
4789
0.1.54 adds four. The proposed #2270 amendment adds one. Together,
0 commit comments