Skip to content

chore(anchor): re-pin systemet upstream to mainline 0af1a2f6 - #28

Merged
hyperpolymath merged 1 commit into
mainfrom
chore/repin-systemet-mainline
Jul 28, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
chore/repin-systemet-mainline

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Re-pins the ANCHOR off the dead ba5930dc side lineage onto systemet mainline — which now actually contains the ET ledger, the proven ET-2, and accepted ADR-0002. This was the standing "come back down" step; it costs nothing (the old lineage's content was rescued via anytype PR #12 + systemet #17/#24/#27).

Closes #13.

The ANCHOR pinned ba5930dc (2026-07-18), a superseded side lineage from before
the ET ledger existed. Its content was rescued into systemet mainline (PR #17
mechanization, #24/#27 ET-2 closure), so the pin pointed at history nothing
implements anymore.

New pin 0af1a2f6 = systemet main 2026-07-28, which contains: the citable
ET-1..ET-15 obligation ledger, the mechanized L1/L2 core with ET-2 (conversion
decidability) PROVEN and axiom-audit clean, and accepted ADR-0002 (ET-16
adopted narrowly - the parametric L0Observation interface this kernel will
eventually instantiate for its real target).

Drops the corresponding [blockers-and-issues] entry from STATE.a2ml.
Closes #13.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@sonarqubecloud

Copy link
Copy Markdown

@gitar-bot

gitar-bot Bot commented Jul 28, 2026

Copy link
Copy Markdown
CI failed: CI failures caused by repository policy violations: a banned Nix file was detected, root directory shape validation failed due to unallowlisted files, and K9 contract files failed validation due to missing required metadata and magic numbers.

Overview

3 unique tool validation failures were encountered in CI, spanning policy enforcement checks on package managers, root directory layout, and K9 contract definitions.

Failures

Nix File Policy Violation (confidence: high)

  • Type: tooling
  • Affected jobs: 90191423397
  • Related to change: unclear
  • Root cause: The repository contains flake.nix, which violates the estate-wide policy banning Nix files in favor of Guix.
  • Suggested fix: Remove flake.nix and migrate any required package configurations to Guix (guix.scm).

Root Shape Allowlist Failure (confidence: high)

  • Type: tooling
  • Affected jobs: 90191423411
  • Related to change: unclear
  • Root cause: Files or directories were added to the repository root without updating the allowlist file (.machine_readable/root-allow.txt).
  • Suggested fix: Add the newly introduced root entries to .machine_readable/root-allow.txt or move them into appropriate subdirectories.

K9 Contract Validation Failure (confidence: high)

  • Type: tooling
  • Affected jobs: 90191423414
  • Related to change: unclear
  • Root cause: K9 contract files lack mandatory fields, formatting, pedigree blocks, and the required 'K9!' magic number on their first non-empty line.
  • Suggested fix: Update all .k9.ncl files to include the 'K9!' magic number and valid pedigree/metadata blocks, or run the local generator tool (k9iser).

Summary

  • Change-related failures: 3 tooling and policy validation failures (exact relation to PR unclear from logs alone)
  • Infrastructure/flaky failures: 0 infrastructure or flaky test failures
  • Recommended action: Remove any banned Nix files, update the root directory allowlist for new root files, and correct the formatting and metadata in the K9 contract files.
Code Review ✅ Approved

Re-pins the ANCHOR upstream dependency to mainline commit 0af1a2f6 to incorporate the ET ledger, ET-2, and accepted ADR-0002. No issues found.

Auto-approved and auto-merge armed: No blocking issues found.
Please see Auto-approve Docs for details on setting custom approval criteria. — merges when pipeline and required approvals pass.

Tip

Comment Gitar fix CI or enable auto-apply: gitar auto-apply:on

Options

Auto-apply is off → Gitar will not commit updates to this branch.
Display: compact → Showing less information.

Comment with these commands to change the behavior for this request:

Auto-apply Compact
gitar auto-apply:on         
gitar display:verbose         

Was this helpful? React with 👍 / 👎 | Gitar

@gitar-bot

gitar-bot Bot commented Jul 28, 2026

Copy link
Copy Markdown

⚠️ Gitar auto-approved this PR but could not enable auto-merge: auto-merge is disabled for this repository — enable "Allow auto-merge" in the repository settings.

@gitar-bot gitar-bot 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.

Gitar has auto-approved this PR and enabled auto-merge (configure)

@hyperpolymath
hyperpolymath merged commit 6e12468 into main Jul 28, 2026
40 of 44 checks passed
@hyperpolymath
hyperpolymath deleted the chore/repin-systemet-mainline branch July 28, 2026 05:51
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.

[ET-L2] Refresh the systemet pin: ba5930dc predates the citable ET ledger

1 participant