Skip to content

docs(e0): record 5 owner rulings on merge honesty, add 7 work orders - #1121

Merged
hyperpolymath merged 2 commits into
mainfrom
marina/gifted-volta-jaw1wj-merge-rulings
Nov 14, 2026
Merged

hyperpolymath merged 2 commits into
mainfrom
marina/gifted-volta-jaw1wj-merge-rulings

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

What

12 files, documents only. No code changes.

Part Change
docs/design/2026-11-14-merge-honesty.adoc Status RULED. A new part records the 5 rulings of the owner. 5 statements are corrected (see below).
docs/operations/e0-closeout/work-orders/E0-18 to E0-24 7 new work orders, 1 or more for each ruling.
docs/operations/e0-closeout/README.adoc The 7 rows, their order, and the cap totals.
E0-07, E0-08, E0-10 A "Theory inputs" part with 4 proved results and their limits.

Why

The owner ruled on 2026-11-14, through the selector, on the 5 decisions of the design note:

Decision Ruling Work order
1 Label the merge now, and rule on the split after a measurement E0-18
2 A category match or a fuzzy match reaches review at most E0-19
3 A new pattern key that does not depend on wording, as its own design work order E0-20
4 3 small work orders now for the 3 plain defects E0-21, E0-22, E0-23
5 An untrained novelty network means novel E0-24

The owner also asked for the theory inputs after the second recon.

Corrections to the design note

The review of the note (hypatia pull request 1114, merged) left 5 findings. I checked each against the code. All 5 were right:

  • The gate does not read :untrained as "not novel". The coordinator sets is_novel to false (lib/neural/coordinator.ex, line 765), and the guard reads that field.
  • The cost of the label is medium, not small: the matcher returns the recipe only, and the router carries no kind of match.
  • A label does not split 2 findings that share 1 pattern id. That needs the new key of decision 3.
  • The fix check by finding must come before the measurement of rates for each pattern.
  • Acceptance A3 of issue 984 does not forbid a wide subject. The note no longer says that it does.

Evidence

  • A dry run of scripts/api-agents/run-work-order.sh accepts all 22 hypatia work orders, the 7 new ones included.
  • The cited source files have no change between b660d08, where I read them, and 3b8551c (git diff --stat printed nothing).
  • asciidoctor --failure-level WARN builds each changed document with no message. bash scripts/check-readme-claims.sh passes. ./hypatia scan . reports 0 findings on the changed files.
  • The theory results were read at echo-types dedda75 and residual-evidence-types 6f94640. I checked that each cited theorem is at its cited line.

Not done

  • No work order has run. The 7 new caps ($46 in total) are estimates.
  • No prover was run. A use of a theory result in Hypatia is a transcription, and its match to the Agda is assumed.
  • 4 of the 7 new work orders rest on a result that is inferred from the code and has no test. Each of them starts with a test that must fail today, and stops if it passes.
  • The measurement of option C has no work order yet. It needs E0-18 and E0-22 first.
  • E0-18 to E0-24 are not part of the 7 acceptance statements of issue 984. The README says so.

Generated by Claude Code

The owner ruled on 2026-11-14 on the 5 decisions of
docs/design/2026-11-14-merge-honesty.adoc. This change records them and
turns each into a work order:

- E0-18: each outcome names its pattern and its kind of match.
- E0-19: a category or fuzzy match reaches review at most.
- E0-20: the pattern identity, as a design note for a ruling.
- E0-21, E0-22, E0-23: the 3 plain defects (fuzzy ranking, fix check by
  finding, placeholder cluster).
- E0-24: an untrained novelty network means novel.

The design note is corrected where its review was right: the cost of
the label, the fix check as a condition of the measurement, the limit
of the label under the pattern id of today, the claim on acceptance
A3, and the field that the novelty gate reads.

E0-07, E0-08 and E0-10 get a "Theory inputs" part with 4 proved results
from echo-types and residual-evidence-types, and their limits.

No code changes. A dry run of the launch script accepts all 22 hypatia
work orders.

Co-Authored-By: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0136P7Zo6gLzkvuBQK3T9P23
@coderabbitai

coderabbitai Bot commented Nov 14, 2026 •

Copy link
Copy Markdown
Contributor

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 22 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

  • Source mode: Auto
  • Repository: Unavailable
  • Branch: Unavailable
  • File: No configuration file from this repository applied
  • Commit: Unavailable
  • Layers: Organization UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: 16ad06ba-fa90-4304-9fb1-2e4be75c8019
Commits

Reviewing files that changed from the base of the PR and between f294d4b and df66f59.

Files selected for processing: 12

  • docs/design/2026-11-14-merge-honesty.adoc
  • docs/operations/e0-closeout/README.adoc
  • docs/operations/e0-closeout/work-orders/E0-07-withdrawn-evidence.adoc
  • docs/operations/e0-closeout/work-orders/E0-08-receipt-design.adoc
  • docs/operations/e0-closeout/work-orders/E0-10-receipt-idris2-model.adoc
  • docs/operations/e0-closeout/work-orders/E0-18-merge-label.adoc
  • docs/operations/e0-closeout/work-orders/E0-19-merged-match-tier.adoc
  • docs/operations/e0-closeout/work-orders/E0-20-pattern-identity.adoc
  • docs/operations/e0-closeout/work-orders/E0-21-fuzzy-rank.adoc
  • docs/operations/e0-closeout/work-orders/E0-22-fix-check-by-finding.adoc
  • docs/operations/e0-closeout/work-orders/E0-23-placeholder-cluster.adoc
  • docs/operations/e0-closeout/work-orders/E0-24-novelty-fail-closed.adoc
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

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

@hyperpolymath
hyperpolymath marked this pull request as ready for review November 14, 2026 19:44
@hyperpolymath
hyperpolymath merged commit ec90609 into main Nov 14, 2026
41 of 42 checks passed
@hyperpolymath
hyperpolymath deleted the marina/gifted-volta-jaw1wj-merge-rulings branch November 14, 2026 19:44
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Nov 14, 2026 •

Copy link
Copy Markdown
Codex Review Summary: ✅ Completed

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

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-11-14T19:50:20.343703Z df66f59 Draft marked ready
🔒 Security Review ✅ Completed 2026-11-14T19:48:06.964498Z df66f59 Draft marked ready
ℹ️ 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.

@sonarqubecloud

Copy link
Copy Markdown

@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: df66f59ecb

ℹ️ 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 +46 to +48
. Carry the pattern id and the kind of match from the router to the outcome
row through the `metadata` map of `record_outcome/5`. Write them as
`"pattern_id"` and `"match_kind"`.

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P1 Badge Carry match kind across the dispatch-runner boundary

The production route and outcome write are not connected in-process: DispatchManifest serializes the routed action, then gitbot-fleet's runner later invokes mix hypatia.record_outcome. The manifest and CLI currently have no match_kind handoff, so carrying it only through the router and record_outcome/5 metadata can satisfy a local test while real outcome rows still receive "unknown". E0-18 must include the manifest, CLI, and gitbot-fleet runner transport (or add a dependent fleet work order) so it records the kind chosen for the actual dispatch.

Useful? React with 👍 / 👎.

Comment on lines +62 to +64
* By the owner ruling of 2026-11-14 on
`docs/design/2026-11-14-merge-honesty.adoc`, the receipt also names the
pattern and the kind of match (`exact`, `category`, `fuzzy`). See `E0-18`.

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 Make receipt emission depend on E0-18

This newly requires receipts to name the match kind, but E0-09 still depends only on E0-05 and E0-08, while the README schedules E0-18 independently “in any order.” If E0-09 runs first, none of its three learning entry points receives the dispatch match kind, so it must either stop under its unfillable-field condition or emit receipts without the owner-required label; no later work order backfills those receipts. Add E0-18 as a dependency of E0-09 and order it before receipt emission.

Useful? React with 👍 / 👎.

Comment on lines +53 to +54
* Another network of the 8 also returns a fixed value. List it. Do not
change it here.

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 Resolve the known sequence placeholder before E0-23

This stop condition already holds on the measured baseline: SequenceModel.handle_call/3 explicitly implements a placeholder that ignores the finding and returns confidence 0.0 for an empty buffer or 0.3 otherwise, while Coordinator.derive_confidence/1 assigns that result weight 0.05. Consequently every E0-23 run must stop here before removing the VAE's unsupported confidence. Either include the sequence placeholder in the decided remediation or create its follow-up work order and permit E0-23 to finish.

Useful? React with 👍 / 👎.

Comment on lines +42 to +44
. Rank by hit count, then by confidence, then by recipe id, so that the
result does not depend on the order of the files.
. Match a keyword as a whole word.

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 Count distinct fuzzy keywords

The ranking instruction does not require deduplicating keywords extracted from multiple pattern IDs, so repeated words can masquerade as multiple hits. For example, recipe-secret-to-env contains hardcoded in three pattern IDs; a description containing only that word would score three hits and can beat recipe-fix-hardcoded-secrets matching two distinct terms such as hardcoded and credential. Require unique matched keywords before ranking so the new score measures description overlap rather than repetition in recipe metadata.

Useful? React with 👍 / 👎.

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.

3 participants