Skip to content

Foreign-harness gap reports — the inspect scoreboard pipeline #39

Description

@SollanSystems

Foreign-harness gap reports — the inspect scoreboard pipeline

Contribute a read-only loop inspect gap report for another public harness layout —
the second entry in an "inspect N public harnesses" scoreboard.

Problem / opportunity

docs/gap-reports/superpowers.md is the template and the first entry. Composes,
doesn't compete:
a gap report reads a foreign layout read-only and names the gaps a
loop-contract would close at the finish line — it is not a criticism of the foreign
harness or of the (fictional) work in the fixture. inspect labels a foreign layout
advisory: true; a foreign layout is read for gaps, never graded as a failing
contract.

The template's provenance rules are load-bearing:

  • every claim is checkable against one vendored, sanitized fixture checked into
    examples/ — no version-general claims about the foreign harness itself;
  • the report carries the §14 A1–E1 conformance table (condensed from
    reference/repo-os-contract.md §14), read against that fixture;
  • complement framing throughout ("composes, doesn't compete").

Proposal

For another public harness layout: vendor a fictional, sanitized fixture under
examples/<harness>-run/, then author docs/gap-reports/<harness>.md following
docs/gap-reports/superpowers.md — the provenance blockquote, the §14 A1–E1 table,
the inspect reading, and "what emitting the contract would add," with every factual
claim restricted to the fixture.

The gate that proves the fix

python3 -m loop inspect examples/<harness>-run   # produces a scored report

The exit criteria follow the scripts/test_foreign_inspect.py patterns (scored,
foreign_layout labeled, advisory: true), and the report follows the template's
provenance rules.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    help wantedExtra attention is needed

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions