Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
91c80da
stage-c: enforce YAML frontmatter on all Markdown files
devin-ai-integration[bot] Apr 20, 2026
61ab1f5
fix(stage-c): correct total_standards metadata to 60 (actual entry co…
devin-ai-integration[bot] Apr 20, 2026
e598d9b
stage-c: route evidence/failure_log to register:audit + strip merge m…
devin-ai-integration[bot] Apr 20, 2026
cd9f82f
stage-c: remove stray Stage F domain scaffolds from this PR
devin-ai-integration[bot] Apr 20, 2026
0475d23
feat(stage-f): add 5 civilizational polymath domains
devin-ai-integration[bot] Apr 20, 2026
73dcbb1
stage-c: properly resolve scaffold README merge-conflicts
devin-ai-integration[bot] Apr 20, 2026
f84e213
stage-f: address Devin Review info-level comments on PR #148
devin-ai-integration[bot] Apr 20, 2026
65555af
stage-g: add src/noways impossibility proofs + src/enumerations catalogs
devin-ai-integration[bot] Apr 20, 2026
0f66f72
stage-c: add body content to two previously empty frontmatter-only .m…
aidoruao Apr 20, 2026
f68f96a
stage-g: address Devin Review — strict non-dict rejection, None-safe …
devin-ai-integration[bot] Apr 20, 2026
e2b2274
fix(stage-g): cross-file key uniqueness + Heisenberg terminology + _a…
devin-ai-integration[bot] Apr 20, 2026
bca83b4
fix(stage-g): export check_all_keys_unique_across_files from package
devin-ai-integration[bot] Apr 20, 2026
49535c9
fix(stage-g): complete cross-file collision diagnostics + reduce e-ap…
devin-ai-integration[bot] Apr 20, 2026
da97a19
audit(stage-a): hashed investigative taxonomy + gap-analysis JSONL
devin-ai-integration[bot] Apr 20, 2026
6e20d77
fix(stage-a): address Devin Review — assert ban, wire ASSERT_USE scan…
devin-ai-integration[bot] Apr 20, 2026
be35803
fix(stage-a): Devin Review round 2 — window bleed, IGNORECASE, jsonl …
devin-ai-integration[bot] Apr 20, 2026
b0e2a8a
fix(stage-a): address Devin Review round 3 — docstring pairs + FLOAT_…
devin-ai-integration[bot] Apr 20, 2026
309e0ad
cleanup(stage-b): eliminate float() calls and stubs in production code
devin-ai-integration[bot] Apr 20, 2026
fb1be8a
fix(stage-b): address Devin Review comments on PR #142
devin-ai-integration[bot] Apr 20, 2026
8bff53e
fix(stage-b): CompletionPhase.PHASE_4_REST -> PHASE_4_COMMONWEALTH in…
devin-ai-integration[bot] Apr 20, 2026
1702ffd
fix(stage-b): address Devin Review — d_necessity KripkeFrame fixture …
devin-ai-integration[bot] Apr 20, 2026
2ecaae1
chore: normalize CRLF to LF in Kimi session logs
devin-ai-integration[bot] Apr 20, 2026
1ee654a
Merge remote-tracking branch 'origin/devin/1776650369-stage-a-hashed-…
devin-ai-integration[bot] Apr 20, 2026
4ea788f
Merge branch 'devin/1776653723-stage-b-cleanup-sweep' into devin/1776…
devin-ai-integration[bot] Apr 20, 2026
7849641
Merge branch 'devin/1776656199-stage-c-yaml-frontmatter' into devin/1…
devin-ai-integration[bot] Apr 20, 2026
f7f2df3
Merge branch 'devin/1776668000-stage-f-civilizational-polymath-domain…
devin-ai-integration[bot] Apr 20, 2026
ccf27ca
Merge branch 'devin/1776658119-stage-g-deepseek-bounded-closure' into…
devin-ai-integration[bot] Apr 20, 2026
3a9ac8e
docs: add UNIVERSAL_ONBOARDING.md — bijective system plan for any AI …
devin-ai-integration[bot] Apr 20, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
5 changes: 5 additions & 0 deletions .github/copilot-instructions.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
---
tags: [github, copilot-instructions]
register: governance
---

# Copilot Agent Instructions

You are a **software engineering agent**, not a warden. You have full write access to this repository.
Expand Down
34 changes: 34 additions & 0 deletions .github/workflows/frontmatter-enforcement.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
name: Frontmatter Enforcement

on:
pull_request:
paths:
- "**/*.md"
- "tools/frontmatter_audit.py"
- ".github/workflows/frontmatter-enforcement.yml"
push:
branches:
- main
paths:
- "**/*.md"
- "tools/frontmatter_audit.py"
- ".github/workflows/frontmatter-enforcement.yml"

jobs:
frontmatter-audit:
name: YAML frontmatter audit
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 1

- name: Set up Python 3.12
uses: actions/setup-python@v5
with:
python-version: "3.12"

- name: Verify every Markdown file has frontmatter
run: |
python tools/frontmatter_audit.py --verify
5 changes: 5 additions & 0 deletions ABSOLUTE_GIT_SYNC_PROOF.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
---
tags: [absolute-git-sync-proof]
register: documentation
---

# ABSOLUTE GIT SYNCHRONIZATION PROOF
## Cryptographic Verification of Phase 12 Repository State

Expand Down
5 changes: 5 additions & 0 deletions AGENT.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
---
tags: [agent]
register: documentation
---

# AGENT.md - Orthogonal Engineering Glass-Box Boundary Agent

**Version:** 1.11
Expand Down
5 changes: 5 additions & 0 deletions AGENT_FEED.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
---
tags: [agent-feed]
register: documentation
---

<!-- AGENT_FEED.md — append-only state witness ledger (PR #40) -->
<!-- Do not edit existing rows. Append new rows only. -->

Expand Down
Loading
Loading