Skip to content

chore(debt): re-measure Debtfile probes - #1302

Merged
hyperpolymath merged 7 commits into
mainfrom
chore/debt-measure
Oct 20, 2026
Merged

hyperpolymath merged 7 commits into
mainfrom
chore/debt-measure

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Machine-written by .github/workflows/debt-measure.yml. Counts follow the probes; ceilings only ever fall. A ceiling that needs to RISE is not done here — raise it in a human PR with a Debt-exception: trailer.

Summary

Closes #

Type of change

  • 🐛 Bug fix (non-breaking change that fixes an issue)
  • ✨ New feature (non-breaking change that adds functionality)
  • 💥 Breaking change (would change existing behaviour)
  • 🕳️ Soundness fix (fixes a checker/proof false-negative)
  • 📖 Documentation
  • 🧹 Refactor / tech debt (behaviour-preserving)
  • ⚡ Performance
  • 🔧 Build / CI / tooling

How has this been verified?

Checklist

  • My commits are signed (git commit -S).
  • I ran the project's own checks/tests locally and they pass.
  • New files carry the correct SPDX-License-Identifier (code/config MPL-2.0,
    prose CC-BY-SA-4.0); I did not relicense existing files.
  • Docs are updated, and no public claim now overstates what the code does.
  • I have not introduced a soundness hole (or I have flagged where I might have).

Notes for reviewers

Machine-written by .github/workflows/debt-measure.yml. Counts follow the probes; ceilings only ever fall. A ceiling that needs to RISE is not done here — raise it in a human PR with a Debt-exception: trailer.
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 19, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-20T13:16:39.017337Z 55f3540 New commits
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@coderabbitai

coderabbitai Bot commented Oct 19, 2026 •

Copy link
Copy Markdown
Contributor

Review in Change Stack →

Warning

Review limit reached

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Next included review available in 14 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

Learn how review limits work.

Review configuration:

⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: 5efd01e3-1a6d-4f64-b9ce-0f9dcd93dd38
📥 Commits

Reviewing files that changed from the base of the PR and between b02d8e4 and 55f3540.

📒 Files selected for processing: 1
  • .machine_readable/Debtfile.a2ml

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: 55393f2b-4dbe-402e-91ac-b6860f3f2d91
📥 Commits

Reviewing files that changed from the base of the PR and between 9edd8c2 and b02d8e4.

📒 Files selected for processing: 1
  • .machine_readable/Debtfile.a2ml

Included review availability: This review used your included allowance. Your plan provides up to 1 included review per hour; 0 remain after this review.

📝 Summary

Summary by CodeRabbit

  • Chores
    • Updated project maintenance tracking to reflect one fewer script without tests and one fewer TODO/FIXME marker.
    • Recorded three remaining Deno-related items; the existing threshold for this category remains unchanged.

The debt baseline file now records lower counts and ceilings for gate-scripts-without-tests and todo-fixme-markers. The deno-residue count increased from 0 to 3, while its ceiling remains 1.

Changes: Debt baselines

Layer / File(s) Summary
Update debt baseline values
.machine_readable/Debtfile.a2ml
The gate-scripts-without-tests count and ceiling decreased from 32 to 31. The todo-fixme-markers count and ceiling decreased from 84 to 83. The deno-residue count increased from 0 to 3; its ceiling remains 1.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~3 minutes

Change: Other

Merge Risk: ⚪ Minimal · up to b02d8

The updated count records an existing breach without causing it. No PR-introduced issue remains that should block merging.

Architecture risk: 🔵 Low · up to b02d8

The changed surface does not map to a changed system, dependency edge, entrypoint, or external dependency.

Changed systems: None identified.

Architecture concerns
No architecture-level concerns identified.

Review details

Before / after behavior

  • observed — Modified behavior in .machine_readable/Debtfile.a2ml: gate-scripts-without-tests count and ceiling decrease from 32 to 31.
  • observed — Modified behavior in .machine_readable/Debtfile.a2ml: todo-fixme-markers count and ceiling decrease from 84 to 83.
  • observed — Modified behavior in .machine_readable/Debtfile.a2ml: deno-residue count increases from 0 to 3; its ceiling remains 1.
Pre-merge checks: Passed 5
Check name Status Explanation
Title check Passed The title clearly identifies the debt measurement change and matches the changeset.
Description check Passed The description explains that the workflow re-measures Debtfile probes and applies ceiling rules. It is related to the changeset, although it provides no verification results.
Docstring Coverage Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check Passed Check skipped because no linked issues were found for this pull request.
Full details: Docstring Coverage

Explanation

No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0 files. (1 skipped: 1 unsupported.)

  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Warning

CI annotation context is incomplete: annotation collection unavailable or limited

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@github-actions

github-actions Bot commented Oct 19, 2026 •

Copy link
Copy Markdown
Contributor

DEED–K9 green

🟢 conformant · commit 55f3540fa374 · run 39428580896

Category Status Pass Fail Indeterminate N/A Since previous revision
DEED syntax 🟢 conformant 4 0 0 0 — no comparable baseline
K9 contract typecheck 🟢 conformant 1 0 0 0 — no comparable baseline
K9 validator self-test 🟢 conformant 37 0 0 0 — no comparable baseline
K9 positive/negative controls 🟢 conformant 27 0 0 0 — no comparable baseline
K9 live corpus (L0–L2) 🟢 conformant 12 0 0 2 — no comparable baseline
K9 live corpus (L0–L2): 2 finding(s) / scope notes
  • 2-protocols/k9-coordination/examples/minimal.k9 — not_applicable: Routed to another dialect; not validated as a K9 contract.
  • coordination.k9 — not_applicable: Routed to another dialect; not validated as a K9 contract.

Scope: DEED syntax and K9 contracts L0–L2. L3 signature verification and routed coordination dialects are not certified. Green is limited to this scope. Orange is missing evidence; grey is an explicit scope exclusion. Logs and report.json are in the dated conformance-evidence artifact on the linked run.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: e12f5787d1

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +54 to +55
- count: 83
- ceiling: 83

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Re-measure TODO markers after updating from main

At this reviewed commit, running this entry's exact probe returns 84, not 83; docs/reorg/2026-10-14-tidy/WORK-ORDERS-2026-10-19.adoc is the additional matching file. Lowering both values to 83 therefore records a stale result and makes scripts/run-debtfile.sh report an unexpected 84 > ceiling 83 breach even after the intentional Deno breach is resolved. Re-measure against the final tree and retain a ceiling of at least 84 unless the additional marker is removed.

Useful? React with 👍 / 👎.

@coderabbitai

coderabbitai Bot commented Oct 19, 2026

Copy link
Copy Markdown
Contributor

Add Carrot credits or activate Agent usage billing to use Autofix

@sonarqubecloud

Copy link
Copy Markdown

@hyperpolymath
hyperpolymath enabled auto-merge (squash) October 20, 2026 13:15
@hyperpolymath
hyperpolymath enabled auto-merge (squash) October 20, 2026 13:26
@hyperpolymath
hyperpolymath merged commit 93705b1 into main Oct 20, 2026
67 of 69 checks passed
@hyperpolymath
hyperpolymath deleted the chore/debt-measure branch October 20, 2026 13:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant