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

chore(anchor): re-pin systemet upstream to mainline 0af1a2f6#28
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 added the gitar-approved Added by Gitar label Jul 28, 2026

@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

gitar-approved Added by Gitar

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