docs: correct false upstream-filing commitments to honest declining status - #138
Merged
Merged
Conversation
…tatus specs/EXTENSIONS.md §25, §29, and §33 each carried `upstream action: deferred, ..., review-by: 2026-09-05` — a commitment to file spec-correction PRs at strongdm/attractor. That commitment was never real: the principal had already declined this action, and the evidence rules it out independently of that: strongdm/attractor has had no commits since 2026-03-17 (~5 months), has issues disabled, has no CONTRIBUTING guide, and its own open community spec-correction PRs (#9 'Correct Attractor spec inconsistencies', #10 '8 spec improvements from building a PHP/Laravel implementation') have sat unmerged for 4+ months. Our own earlier attempt there (#6) was closed, not merged. Changed all three entries from the deferred-with-date form to `declining, reason: <one-line>`, stating plainly that the divergence is tracked in this ledger instead — which is what actually serves consumers of this engine, filing or no filing. The Entry Format section only documented two legal `upstream action:` forms (a real link, or deferred-with-date); extended it to explicitly permit `declining, reason: <one-line reason>` as a third legal form, with a note on when it applies and what would warrant reopening the entry. The non-date-review-by prohibition is unchanged. Swept SPEC_CONFORMANCE.md, README.md, PRINCIPLES.md, docs/, and the rest of specs/EXTENSIONS.md for other undated promises of an upstream spec-correction PR: found none carrying a similar false commitment (PRINCIPLES.md's two walk-upstream notes and feedback.py's docstring describe a recommended upstream change and point readers to the ledger for current disposition, but make no dated or otherwise falsifiable promise of their own). Extended modules/loop-pipeline/tests/test_extensions_ledger_integrity.py with a structural guard: every `upstream action:` value in the live ledger must open with one of the legal forms (link / deferred-with-date / declining / not applicable), and every `deferred` value must carry a real `review-by: YYYY-MM-DD` date. Proven RED against a synthetic vague-promise value and GREEN against one example of each legal form, plus the live ledger itself. This does not (and cannot) judge whether a given reason is factually true — only that the value is shaped like one of the ledger's legal forms at all. 🤖 Generated with [Amplifier](https://github.com/microsoft/amplifier) Co-Authored-By: Amplifier <240397093+microsoft-amplifier@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
specs/EXTENSIONS.md§25, §29, and §33 each carriedupstream action: deferred, reason: ..., review-by: 2026-09-05— a commitment to file spec-correctionPRs against
strongdm/attractor. That commitment was written into a shippedpublic ledger even though the principal had already explicitly declined this
action weeks earlier ("skip #2"). This PR corrects it.
Why the previous value was false
Re-verified independently rather than taking the prior claim on faith:
strongdm/attractorhas had no commits since 2026-03-17 (~5 monthsquiet as of this PR).
CONTRIBUTINGguide.months: #9 "Correct Attractor spec inconsistencies"
(opened 2026-03-26) and #10 "8 spec improvements from building a
PHP/Laravel implementation"
(opened 2026-03-29).
was closed, not merged.
(2026-03-17), is the same day the repo went quiet.
Filing another spec-correction PR there would not land.
decliningis thehonest value;
deferred, ..., review-by: <date>was not.What changed
upstream action:changed fromdeferred, reason: ..., review-by: 2026-09-05todeclining, reason: <one-line, evidence-based>,stating plainly that the divergence stays tracked in this ledger instead —
which is what actually serves consumers of this engine, filing or no
filing.
upstream action:values (a real link, or deferred-with-date). Extendedit to explicitly permit
declining, reason: <one-line reason>as a thirdlegal form — otherwise the three corrected entries above would violate
the very format they sit under. The existing "no non-date
review-byvalues" rule is unchanged.
SPEC_CONFORMANCE.md,README.md,PRINCIPLES.md,docs/, and the rest ofspecs/EXTENSIONS.mdfor any other undatedpromise of an upstream spec-correction PR. Found none carrying the same
false commitment.
PRINCIPLES.md's two walk-upstream notes (§25, §33) andfeedback.py's docstring (§29) describe the recommended upstream changeand point readers to the ledger entry for current disposition, but make
no dated or otherwise falsifiable promise of their own — left unchanged.
modules/loop-pipeline/tests/test_extensions_ledger_integrity.pywith astructural check that every
upstream action:value in the live ledgeropens with one of the legal forms (link / deferred-with-date / declining
/ not applicable), and that every
deferredvalue carries a realreview-by: YYYY-MM-DDdate. Proven RED against a synthetic vague-promisevalue and GREEN against one example of each legal form plus the live
file. This cannot (and does not try to) judge whether a given reason is
true — only that the value is shaped like a legal form at all.
Gates
test_extensions_ledger_integrity.py: 8/8 passed (4 pre-existing + 4 new).test_engine_semantics_doc_guard.py+test_topological_lint.py+test_command_content_lint.py+test_examples_lint_clean.py: 135/135passed.
loop-pipelinesuite: 1794 passed, 1 skipped (pre-existing skip,unrelated).
git diff --check: clean.by the existing guard test, still green after this change (no headings
touched, only body/value text).
Not in scope
This PR does not re-litigate whether §25/§29/§33 are the right
engineering decisions — only that their
upstream action:field states thetrue plan rather than a plan already known to be false.
🤖 Generated with Amplifier
Co-Authored-By: Amplifier 240397093+microsoft-amplifier@users.noreply.github.com